1 Introduction

One of the most important notions in statistics is the notion of dependence of random variables. When we measure the dependence, we often try to describe it with a single real number. The most commonly used measure is Pearson’s correlation coefficient, which measures linear dependence. For the random pair (XY) Pearson’s correlation coefficient depends not only on the degree of association between X and Y but also on the marginal distributions of the pair (XY). If we want to measure only the degree of association, we need measures that do not depend on the marginals of the random vector, but only on the copula connecting its components. This is often done with the help of a concordance measure, or its generalization, weak concordance measure.

Intuitively, two continuous random variables X and Y are in concordance when large values of X occur simultaneously with large values of Y. More precisely, two realizations \((x_1,y_1)\) and \((x_2,y_2)\) of the random vector (XY) are concordant when \((x_2-x_1)(y_2-y_1) >0\) and they are discordant when \((x_2-x_1)(y_2-y_1) <0\). We can measure the concordance of a pair of random variables (XY) in various ways, see [26]. The most commonly used concordance measures are Spearman’s rho, Kendall’s tau, Gini’s gamma and Blomqvist’s beta (denoted, respectively, by \(\rho \), \(\tau \), \(\gamma \) and \(\beta \)), and a weak concordance measure Spearman’s footrule (denoted by \(\phi \)). These measures have been studied intensively since their introduction. Recent references for bivariate concordance measures include [8,9,10, 16, 20, 24, 25] and their multivariate generalizations were studied in [1, 5, 29, 30], to name just a few.

Given their widespread use in a variety of practical applications, it is natural to compare different concordance measures in terms of the values that they can attain. In particular, if a value of one measure is known, we may ask what are the possible values of the other measures. In this paper, we study the possible values of Kendall’s tau, if the value of some other (weak) concordance measure is given.

The investigation of the above question was started by Daniels [3] and Durbin and Stuart [7], who compared Spearman’s rho and Kendall’s tau and gave some estimates for the values of the two measures. The exact region of all possible pairs of values \((\tau (C),\rho (C))\), \(C \in \mathcal {C}\), was only determined recently in [27]. The regions determined by Blomqvist’s beta and the other three concordance measures (Spearman’s rho, Kendall’s tau, and Gini’s gamma) are given in [23] as an exercise for the reader, while the region determined by Blomqvist’s beta and Spearman’s footrule is given in [16]. The region determined by Spearman’s footrule and Gini’s gamma is given in [17], and the region determined by Spearman’s footrule and Spearman’s rho is considered in [18]. Observe that the only remaining regions involving Kendall’s tau are the regions for Kendall’s tau with respect to Gini’s gamma and Spearman’s footrule. These two regions are determined in the present paper.

The paper is structured as follows. In Sect. 2, we give some basic definitions that will be used throughout the paper and recall the known exact regions involving Kendall’s tau. In Sect. 3 we determine the exact region between Kendall’s tau and Spearman’s footrule by showing that the two measures satisfy

$$\begin{aligned} \frac{4}{3}\phi (C)-\frac{1}{3} \leqslant \tau (C) \leqslant \frac{2}{3}\phi (C)+\frac{1}{3} \end{aligned}$$

for any copula C, and in Sect. 4, we show that the exact region between Kendall’s tau and Gini’s gamma is determined by the inequalities

$$\begin{aligned} \max \left\{ \frac{2}{3} \gamma (C)-\frac{1}{3},2\gamma (C)-1\right\} \leqslant \tau (C) \leqslant \min \left\{ \frac{2}{3} \gamma (C)+\frac{1}{3},2\gamma (C)+1\right\} . \end{aligned}$$

In both cases the bounds are attained. In Sect. 5, we give the similarity measure between Kendall’s tau and other (weak) concordance measures.

2 Preliminaries

Let \(\mathbb {I}=[0,1]\) be the unit interval and \(R=[u_1,u_2]\times [v_1,v_2]\) a rectangle contained in \(\mathbb {I}^2\) with \(u_1 \leqslant u_2\) and \(v_1 \leqslant v_2\). Given a real function \(C :\mathbb {I}^2 \rightarrow \mathbb {R}\), we define the C-volume of rectangle R by \(V_C(R)=C(u_2,v_2)-C(u_2,v_1)-C(u_1,v_2)+C(u_1,v_1)\). A (bivariate) copula is a function \(C:\mathbb {I}^2 \rightarrow \mathbb {I}\) with the following properties:

  1. (i)

    \(C(0,v)=C(u,0)=0\) for all \(u,v \in \mathbb {I}\) (C is grounded),

  2. (ii)

    \(C(u,1)=u\) and \(C(1,v)=v\) for all \(u,v \in \mathbb {I}\) (C has uniform marginals), and

  3. (iii)

    \(V_C(R) \ge 0\) for every rectangle \(R \subseteq \mathbb {I}^2\) (C is \(2-\)increasing).

Any copula C induces a probability measure \(\mu _C\) on the Borel \(\sigma \)-algebra in \(\mathbb {I}^2\). This measure is uniquely determined by the property \(\mu _C(R)=V_C(R)\) for all rectangles \(R \subseteq \mathbb {I}^2\). Furthermore, measure \(\mu _C\) is bistochastic in the sense that \(\mu _C(B\times \mathbb {I})=\mu _C(\mathbb {I}\times B)=\lambda (B)\) for any Borel set \(B \subseteq \mathbb {I}\), where \(\lambda \) denotes the Lebesgue measure on \(\mathbb {I}\). The set of all bivariate copulas will be denoted by \(\mathcal {C}\). It is well known that this set is compact in the sup norm. For any copula C its diagonal will be denoted by \(\delta _C\), i.e., \(\delta _C(u)=C(u,u)\) for all \(u \in \mathbb {I}\).

Given two copulas C and D, we denote \(C\leqslant D\) if \(C(u,v)\leqslant D(u,v)\) for all \((u,v)\in \mathbb {I}^2\). This is the so-called pointwise order of copulas. For any copula C, we have \(W \leqslant C \leqslant M\), where \(W(u,v)=\max \{0,u+v-1\}\) and \(M(u,v)=\min \{u,v\}\) are the lower and upper Fréchet-Hoeffding bounds for the set of all copulas. Furthermore, any copula C induces reflected copulas \(C^{\sigma _{1}}\) and \(C^{\sigma _2}\) defined by \(C^{\sigma _1}(u,v) =v-C(1-u,v)\) and \(C^{\sigma _2}(u,v)=u-C(u,1-v)\) for all \((u,v) \in \mathbb {I}^2\).

Let \(h :\mathbb {I}\rightarrow \mathbb {I}\) be a measure preserving bijection, where \(\mathbb {I}\) is equipped with the Lebesgue measure \(\lambda \). Then, the function defined by

$$\begin{aligned} C(u,v)=\lambda (\{t \in \mathbb {I}; t\leqslant u, h(t)\leqslant v \}) \end{aligned}$$
(1)

is a copula whose mass in concentrated on the graph of h, i.e., \(\mu _C(\{(t,h(t)); t \in \mathbb {I}\})=1\). Particular examples of such copulas are the so-called shuffles of min. A shuffle of min

$$\begin{aligned} C = M(n, J, \pi , \omega ) \end{aligned}$$

is determined by a positive integer n, a partition \(J=\{J_1,J_2,\ldots , J_n\}\) of the interval \(\mathbb {I}\) into n pieces, where \(J_i=[u_{i-1},u_i]\) and \(0 =u_0 \leqslant u_1 \leqslant u_2 \leqslant \ldots \leqslant u_{n-1} \leqslant u_n=1\), shortly written as \((n-1)\)-tuple of splitting points \(J=(u_1, u_2, \ldots , u_{n-1})\), a permutation \(\pi \in S_n\), written as n-tuple of images \(\pi = (\pi (1), \pi (2), \ldots , \pi (n))\), and a mapping \(\omega : \{1, 2, \ldots , n\} \rightarrow \{-1, 1\}\), written as n-tuple of images \(\omega = (\omega (1), \omega (2), \ldots , \omega (n))\). The mass of C is concentrated on the diagonals of the squares \(J_i \times [v_{\pi (i)-1} \times v_{\pi (i)}]\), where \(0= v_0 \leqslant v_1 \leqslant v_2\leqslant \ldots \leqslant v_{n-1} \leqslant v_n = 1\). Hence, C is defined by the measure preserving bijection \(h_C :\mathbb {I}\rightarrow \mathbb {I}\) given by

$$\begin{aligned} h_C(u) = {\left\{ \begin{array}{ll} u + v_{\pi (i)-1} - u_{i-1}; &{} u \in (u_{i-1}, u_i), \omega (i) = 1, \\ v_{\pi (i)} + u_{i-1} - u; &{} u \in (u_{i-1}, u_i), \omega (i) = -1, \\ v_i; &{} u= u_i. \end{array}\right. } \end{aligned}$$

Furthermore, C is the copula of uniformly distributed random variables U and V on \(\mathbb {I}\) with the property \(P(V=h_C(U)) =1\). For more details see [23, Sect. 3.2.3].

In [26], Scarsini introduced formal axioms for concordance measures. These are mappings that assign to each copula a real number in \([-1,1]\) and are meant to measure the degree of concordance/discordance between the components of random vectors. Recall that two observations (xy) and \((x',y')\) from a random vector (XY) are concordant if \((x-x')(y-y')>0\) and discordant if \((x-x')(y-y')<0\). For the formal definition of concordance measures and further details, we refer the reader to [6, 23]. Here, we give the properties of concordance measures, which we will need in the sequel: if \(\kappa \) is a concordance measure, then \(\kappa (M) = 1\), \(\kappa (C^{\sigma _1}) = \kappa (C^{\sigma _2}) = -\kappa (C)\) for any copula \(C \in \mathcal {C}\), \(\kappa \) is continuous with respect to the pointwise convergence, and \(\kappa \) is monotone increasing with respect to the pointwise order.

Many of the most important bivariate concordance measures, including Kendall’s tau and Gini’s gamma, can be expressed with the so-called concordance function \(\mathcal {Q}\), introduced by Kruskal [19]. If \((X_1,Y_1)\) and \((X_2,Y_2)\) are pairs of continuous random variables, then the concordance function of random vectors \((X_1,Y_1)\) and \((X_2,Y_2)\) depends only on the corresponding copulas \(C_1\) and \(C_2\) and is given by (see [23, Theorem 5.1.1])

$$\begin{aligned} \mathcal {Q}=\mathcal {Q}(C_1,C_2)= 4 \int _{\mathbb {I}^2} C_2(u,v)dC_1(u,v) -1. \end{aligned}$$
(2)

It turns out that the concordance function is symmetric in its arguments, i.e., \(\mathcal {Q}(C_1,C_2)=\mathcal {Q}(C_2,C_1)\), and has several other useful properties, see [23, Corollary 5.1.2] and [15, Sect. 3].

The most important concordance measures include Spearman’s rho, Kendall’s tau, Gini’s gamma and Blomqvist’s beta. Here, we only define Kendall’s tau and Gini’s gamma and refer the reader to [23, Sect. 5] for the definition of the other two. With the concordance function at hand, Kendall’s tau can be defined by

$$\begin{aligned} \tau (C)=\mathcal {Q}(C,C)= 4\int _{\mathbb {I}^2} C(u,v) dC(u,v) - 1, \end{aligned}$$
(3)

and Gini’s gamma by

$$\begin{aligned} \gamma (C)=\mathcal {Q}(C,M)+\mathcal {Q}(C,W) = 4\int _0^1 C(u,u) du + 4\int _0^1 C(u,1-u) du - 2.\nonumber \\ \end{aligned}$$
(4)

In [20], Liebscher considered weak concordance measures, which are slightly more general mappings than concordance measures (the formal definition can be found in Liebscher’s paper). The most important example of a weak concordance measure is Spearman’s footrule defined by

$$\begin{aligned} \phi (C)=\frac{1}{2}\left( 3\mathcal {Q}(C,M)-1\right) =6\int _0^1 C(u,u) du - 2. \end{aligned}$$
(5)

Spearman’s footrule is not a true concordance measure since its range is \([-\frac{1}{2},1]\). There is an abundance of information in the literature on all three (weak) concordance measures defined above, including discussions on their statistical meaning. Kendall’s tau was investigated in [11, 13, 14, 31], Gini’s gamma in [2, 12, 22], and Spearman’s footrule in [4, 12, 28, 30].

Connections between different (weak) concordance measures were investigated in [9, 16,17,18, 27]. Here we only give the results which include Kendall’s tau for the sake of completeness. For any copula \(C \in \mathcal {C}\) we have

$$\begin{aligned} \frac{1}{4}(1+\beta (C))^2 -1 \le \tau (C) \le 1 - \frac{1}{4}(1-\beta (C))^2 \end{aligned}$$

and the bounds are attained (see [23]). The bounds for Kendall’s tau with respect to Spearman’s rho are given by

$$\begin{aligned} -\Psi (-\rho (C)) \le \tau (C) \le \Psi (\rho (C)), \end{aligned}$$

where \(\Psi : [-1, 1] \rightarrow [-1, 1]\) is the inverse of \(\Phi : [-1, 1] \rightarrow [-1, 1]\),

$$\begin{aligned} \Phi (x) = {\left\{ \begin{array}{ll} -1; &{} \text {if }x=-1,\\ \Phi _n(x); &{} \text {if }x \in [-1+\frac{2}{n}, -1+\frac{2}{n-1}] \text { for some }n \geqslant 2, \end{array}\right. } \end{aligned}$$

and for every \(n \in \mathbb {N}, n \ge 2,\) \(\Phi _n: [-1+\frac{2}{n}, 1] \rightarrow [-1, 1]\) is a function

$$\begin{aligned} \Phi _n(x) = -1 - \frac{4}{n^2} + \frac{3}{n} + \frac{3x}{n} - \frac{n-2}{\sqrt{2}n^2\sqrt{n-1}}(n-2+nx)^{3/2}. \end{aligned}$$

The bounds are attained, see [27].

Figure 1 depicts the exact regions determined by Spearman’s rho and Kendall’s tau and by Blomqvist’s beta and Kendall’s tau.

Fig. 1
figure 1

The exact regions determined by Spearman’s rho and Kendall’s tau (left) and by Blomqvist’s beta and Kendall’s tau (right)

3 The Exact Region Determined by \(\tau \) and \(\phi \)

In this section we will describe the exact region determined by Kendall’s tau and Spearman’s footrule.

Proposition 1

Let \(h: \mathbb {I}\rightarrow \mathbb {I}\) be a bijective measure preserving function. Let \(C\in \mathcal {C}\) be a copula defined by (1) with the mass concentrated on the graph of h, i.e. \(\mu _C(\{(u,h(u)), u \in \mathbb {I}\})=1\). Then

$$\begin{aligned} \tau (C) \geqslant \frac{4}{3} \phi (C) - \frac{1}{3}. \end{aligned}$$

Proof

We estimate the integral

$$\begin{aligned} I= & {} \iint _{\mathbb {I}^2} C(u, v)dC(u, v) = \int _0^1 C(u, h(u))du \nonumber \\\geqslant & {} \int _0^1 C(\min \{u, h(u)\},\min \{u, h(u)\})du \nonumber \\= & {} \int _{\{u\in \mathbb {I}; u< h(u)\}} C(u, u)du + \int _{\{u\in \mathbb {I}; u \geqslant h(u)\}} C(h(u), h(u))du \nonumber \\= & {} \int _0^1 C(u, u)du + \int _0^1 C(h(u), h(u))du \nonumber \\{} & {} - \left( \int _{\{u\in \mathbb {I}; u \geqslant h(u)\}} C(u, u)du + \int _{\{u\in \mathbb {I}; u < h(u)\}} C(h(u), h(u))du \right) \nonumber \\{} & {} \begin{aligned}&= \int _0^1 C(u, u)du + \int _0^1 C(h(u), h(u))du \\&\quad - \int _0^1 C(\max \{u, h(u)\},\max \{u, h(u)\})du. \end{aligned}\nonumber \\ \end{aligned}$$
(6)

We introduce a new variable \(t=h(u)\) into the second to last integral in (6) to get

$$\begin{aligned} \int _0^1 C(h(u), h(u))du = \int _0^1 C(t, t)dh^{-1}(t) = \int _0^1 C(t, t)dt, \end{aligned}$$

since h is bijective and measure preserving. By looking at the mass of the copula C inside the rectangle from the origin to the point \((\max \{u, h(u)\},\) \(\max \{u,h(u)\})\), we obtain

$$\begin{aligned}&C(\max \{u, h(u)\},\max \{u, h(u)\}) \\&\quad = \lambda (\{t \in \mathbb {I}; t \leqslant \max \{u, h(u)\}, h(t) \leqslant \max \{u, h(u)\}\}) \\&\quad = \int _0^1 f(t,u)dt , \end{aligned}$$

where

$$\begin{aligned} f(t,u) = {\left\{ \begin{array}{ll} 1; &{} \max \{t, h(t)\} \leqslant \max \{u, h(u)\}, \\ 0; &{} \text {otherwise}. \end{array}\right. } \end{aligned}$$

Notice that \(f(t,u) + f(u,t) = 1\) almost everywhere on \(\mathbb {I}^2\), since

$$\begin{aligned} \lambda ^2(\{(t,u)\in \mathbb {I}^2; \max \{t, h(t)\} = \max \{u, h(u)\}\}) = 0, \end{aligned}$$

where \(\lambda ^2\) is the Lebesgue measure on \(\mathbb {I}^2\). It follows that the last integral in (6) equals

$$\begin{aligned} \int _0^1 C(\max \{u, h(u)\},\max \{u, h(u)\})du = \iint _{\mathbb {I}^2} f(t,u)dtdu = \frac{1}{2}. \end{aligned}$$

We finally obtain that

$$\begin{aligned} I = \iint _{\mathbb {I}^2} C(u, v)dC(u, v) \geqslant 2 \int _0^1 C(u, u)du - \frac{1}{2} \end{aligned}$$

and

$$\begin{aligned} \tau (C) = 4 I -1 \geqslant 8 \int _0^1 C(u, u)du - 3 = 8 \cdot \frac{\phi (C)+2}{6} -3 = \frac{4}{3}\phi (C)-\frac{1}{3}. \end{aligned}$$

\(\square \)

The following example gives copulas for which the bound of Proposition 1 is attained.

Example 2

Let \(a \in [0, 1]\) and let \(A_a\) be a shuffle of min

$$\begin{aligned} A_a = M(2, (a), (1, 2), (1, -1)). \end{aligned}$$

The scatterplot of copula \(A_a\) is shown in Fig. 2 (left). Notice that \(A_0 = W\) and \(A_1 = M\). We have

$$\begin{aligned} \delta _{A_a}(u) = {\left\{ \begin{array}{ll} u; &{} 0 \leqslant u \leqslant a, \\ a; &{} a \leqslant u \leqslant \frac{a+1}{2}, \\ 2u-1; &{} \frac{a+1}{2} \leqslant u \leqslant 1, \end{array}\right. } \end{aligned}$$

and

$$\begin{aligned} h_{A_a}(u) = {\left\{ \begin{array}{ll} u; &{} 0 \leqslant u < a, \\ a+1-u; &{} a \leqslant u \leqslant 1. \end{array}\right. } \end{aligned}$$

It follows that

$$\begin{aligned} \phi (A_a) = -\textstyle \frac{3}{2} a^2 + 3a -\frac{1}{2} \ \ \text {and} \ \ \tau (A_a) = -2a^2 + 4a - 1, \end{aligned}$$

so that \(\tau (A_a) = \frac{4}{3}\phi (A_a)-\frac{1}{3}\) and the point \((\phi (A_a), \tau (A_a))\) lies on the line segment AB, where \(A(-\frac{1}{2}, -1)\) and B(1, 1). Every point on this line segment is attained by some \(A_a\) with \(a \in [0,1]\).

Fig. 2
figure 2

The scatterplots of copulas \(A_a\) and \(B_a\) from Examples 2 and 3

In next example, we give copulas that will correspond to the points on the lower bound of the region determined by Kendall’s tau and Spearman’s footrule.

Example 3

Let \(a \in [\frac{1}{2}, 1]\) and let \(B_a\) be a shuffle of min

$$\begin{aligned} B_a = M(2, (a), (2, 1), (1, 1)). \end{aligned}$$

The scatterplot of copula \(B_a\) is shown in Fig. 2 (right). Notice that \(B_1 = M\). We have

$$\begin{aligned} \delta _{B_a}(u) = {\left\{ \begin{array}{ll} 0; &{} 0 \leqslant u \leqslant 1-a, \\ u+a-1; &{} 1-a \leqslant u \leqslant a, \\ 2u-1; &{} a \leqslant u \leqslant 1, \end{array}\right. } \end{aligned}$$

and

$$\begin{aligned} h_{B_a}(u) = {\left\{ \begin{array}{ll} u+1-a; &{} 0 \leqslant u< a, \\ u-a; &{} a \leqslant u < 1, \\ 1; &{} u=1. \end{array}\right. } \end{aligned}$$

It follows that

$$\begin{aligned} \phi (B_a) = 6a^2 - 6a + 1 \ \ \text {and} \ \ \tau (B_a) = 4a^2 - 4a + 1, \end{aligned}$$

so that \(\tau (B_a) = \frac{2}{3}\phi (B_a)+\frac{1}{3}\) and the point \((\phi (B_a), \tau (B_a))\) lies on the line segment CB, where \(C(-\frac{1}{2}, 0)\) and B(1, 1). Every point on this line segment is attained by some \(B_a\) with \(a \in [\frac{1}{2},1]\).

We can now describe the exact region determined by \(\tau \) and \(\phi \).

Theorem 4

The exact region determined by Kendall’s tau and Spearman’s footrule of all points \(\{(\phi (C),\tau (C)) \in [-\frac{1}{2},1] \times [-1,1];~C \in \mathcal {C}\}\) is a triangular region given by

$$\begin{aligned} \frac{4}{3}\phi (C)-\frac{1}{3} \leqslant \tau (C) \leqslant \frac{2}{3}\phi (C)+\frac{1}{3}. \end{aligned}$$

Proof

We will first prove that the lower bound from Proposition 1 holds for any copula C.

Let \(\varepsilon >0\). Since \(\tau \) is a concordance measure, there exists \(\delta >0\) such that for every copula \(C'\) with \(\sup _{(u,v) \in \mathbb {I}^2} |C(u,v)-C'(u,v)| < \delta \) we have \(|\tau (C) - \tau (C')| < \varepsilon \). By [21] there exists a shuffle of min \(C'\) with \(\sup _{(u,v) \in \mathbb {I}^2} |C(u,v)-C'(u,v)| < \min \{\varepsilon ,\delta \}\). Hence \(|\phi (C)-\phi (C')| < 6\varepsilon \) by the definition of \(\phi \) and

$$\begin{aligned} \tau (C)> \tau (C') - \varepsilon \geqslant \frac{4}{3}\phi (C')+\frac{1}{3} - \varepsilon > \frac{4}{3}\phi (C)+\frac{1}{3} - 9\varepsilon \end{aligned}$$

by Proposition 1. By sending \(\varepsilon \) to 0, we obtain the desired lower bound.

Next we prove the upper bound. For any copula C we can estimate

$$\begin{aligned} \tau (C) = 4 \iint _{\mathbb {I}^2} C(u,v)dC(u,v) -1 \leqslant 4 \iint _{\mathbb {I}^2} M(u,v)dC(u,v) -1. \end{aligned}$$

Since the concordance function is symmetric we obtain

$$\begin{aligned} \tau (C)&\leqslant 4 \iint _{\mathbb {I}^2} C(u,v)dM(u,v) -1 = 4 \int _0^1 C(u,u)du -1 \\&= 4 \cdot \frac{\phi (C)+2}{6} -1 = \frac{2}{3}\phi (C)+\frac{1}{3} \end{aligned}$$

as claimed.

So, any copula C satisfies the given inequalities and all the points on the upper and lower boundary of the region are attained by copulas from Examples 2 and 3. It remains to be shown that all the points in between are attained as well.

Fix \(p\in [-\frac{1}{2},1]\). By the above there exist copulas \(C_\ell \) and \(C_u\) such that \(\phi (C_\ell )=\phi (C_u)=p\), \(\tau (C_\ell )=\frac{4}{3} p-\frac{1}{3}\), and \(\tau (C_u)=\frac{2}{3} p+\frac{1}{3}\). Define a map \(v :[0,1] \rightarrow [-\frac{1}{2},1]\times [-1,1]\) by \(v(t)=(\phi (C_t),\tau (C_t))\), where \(C_t=tC_u+(1-t)C_\ell \). Then \(v(0)=(p,\frac{4}{3} p-\frac{1}{3})\) and \(v(1)=(p,\frac{2}{3} p+\frac{1}{3})\). Furthermore, \(\phi (C_t)=t\phi (C_u)+(1-t)\phi (C_\ell )=p\) for all \(t \in [0,1]\), so the image of v is contained in the line segment connecting the points v(0) and v(1). Since \(\phi \) and \(\tau \) are weak concordance measures, the map v is also continuous, hence, its image is connected. This implies that the image of v is precisely the line segment connecting the points v(0) and v(1). Since p was arbitrary, this concludes the proof. \(\square \)

The exact region determined by Kendall’s tau and Spearman’s footrule is a triangle with vertices \(A(-\frac{1}{2}, -1)\), B(1, 1),  and \(C(-\frac{1}{2}, 0)\), shown in Fig. 3.

Fig. 3
figure 3

The exact region determined by Kendall’s tau and Spearman’s footrule

4 The Exact Region Determined by \(\tau \) and \(\gamma \)

In this section, we will describe the exact region determined by Kendall’s tau and Gini’s gamma. We first provide examples of copulas that will correspond to the points on the boundary of the region.

Example 5

Let \(a \in [0,\frac{1}{2}]\) and define shuffles of min

$$\begin{aligned} C_a&= M(2, (a), (1, 2), (-1, -1)),\\ D_a&= M(3, (a,1-a), (1, 2, 3), (-1, 1, -1)). \end{aligned}$$

The scatterplot of copulas \(C_a\) and \(D_a\) are shown in Fig. 4. We have

$$\begin{aligned} C_a(u,u)&= {\left\{ \begin{array}{ll} 0; &{} 0 \leqslant u \leqslant \frac{a}{2}, \\ 2u-a; &{} \frac{a}{2} \leqslant u \leqslant a, \\ a; &{} a \leqslant u \leqslant \frac{a+1}{2},\\ 2u-1; &{} \frac{a+1}{2} \leqslant u \leqslant 1, \end{array}\right. } \\ C_a(u,1-u)&= {\left\{ \begin{array}{ll} u; &{} 0 \leqslant u \leqslant a, \\ a; &{} a \leqslant u \leqslant 1-a, \\ 1-u; &{} 1-a \leqslant u \leqslant 1, \end{array}\right. }\\ D_a(u,u)&= {\left\{ \begin{array}{ll} 0; &{} 0 \leqslant u \leqslant \frac{a}{2}, \\ 2u-a; &{} \frac{a}{2} \leqslant u \leqslant a, \\ u; &{} a \leqslant u \leqslant 1-a,\\ 1-a; &{} 1-a \leqslant u \leqslant 1-\frac{a}{2},\\ 2u-1; &{} 1-\frac{a}{2} \leqslant u \leqslant 1, \end{array}\right. } \\ D_a(u,1-u)&= {\left\{ \begin{array}{ll} u; &{} 0 \leqslant u \leqslant \frac{1}{2}, \\ 1-u; &{} \frac{1}{2} \leqslant u \leqslant 1, \end{array}\right. } \\ h_{C_a}(u)&= {\left\{ \begin{array}{ll} a-u; &{} 0 \leqslant u \leqslant a, \\ a+1-u; &{} a< u < 1,\\ 1; &{} u=1, \end{array}\right. } \end{aligned}$$
Fig. 4
figure 4

The scatterplots of copulas \(C_a\) and \(D_a\) from Example 5

and

$$\begin{aligned} h_{D_a}(u) = {\left\{ \begin{array}{ll} a-u; &{} 0 \leqslant u \leqslant a, \\ u; &{} a< u < 1-a, \\ 2-a-u; &{} 1-a \leqslant u \leqslant 1. \end{array}\right. } \end{aligned}$$

It follows that

$$\begin{aligned} \gamma (C_a) = -6a^2+6a-1 \ \ \text {and} \ \ \tau (C_a) = -4a^2+4a-1, \\ \gamma (D_a) = -2a^2+1 \ \ \text {and} \ \ \tau (D_a) = -4a^2+1, \end{aligned}$$

so that \(\tau (C_a) = \frac{2}{3}\gamma (C_a)-\frac{1}{3}\), \(\gamma (C_a) \in [-1,\frac{1}{2}]\), and \(\tau (D_a) = 2\gamma (D_a)-1\), \(\gamma (D_a) \in [\frac{1}{2},1]\). The point \((\gamma (C_a), \tau (C_a))\) lies on the line segment AB, and the point \((\gamma (D_a), \tau (D_a))\) lies on the line segment BC, where \(A(-1, -1)\), \(B(\frac{1}{2}, 0)\) and C(1, 1). Every point on these line segments is attained by some \(C_a\) or \(D_a\) with \(a \in [0, \frac{1}{2}]\).

We can now describe the exact region determined by \(\tau \) and \(\gamma \).

Theorem 6

The exact region determined by Kendall’s tau and Gini’s gamma of all points \(\{(\gamma (C),\tau (C)) \in [-1,1] \times [-1,1];~C \in \mathcal {C}\}\) is given by

$$\begin{aligned} \max \left\{ \frac{2}{3} \gamma (C)-\frac{1}{3},2\gamma (C)-1\right\} \leqslant \tau (C) \leqslant \min \left\{ \frac{2}{3} \gamma (C)+\frac{1}{3},2\gamma (C)+1\right\} . \end{aligned}$$

Proof

For any copula C, we have

$$\begin{aligned} \int _0^1 C^{\sigma _2}(u,u)du=\frac{1}{2}-\int _0^1 C(u,1-u)du, \end{aligned}$$

hence

$$\begin{aligned} \gamma (C)&=4\int _0^1 C(u,u)du+4\left( \frac{1}{2}-\int _0^1 C^{\sigma _2}(u,u)du\right) -2 \\&=4\cdot \frac{\phi (C)+2}{6}-4\cdot \frac{\phi (C^{\sigma _2})+2}{6}=\\&=\frac{2}{3} (\phi (C)-\phi (C^{\sigma _2})). \end{aligned}$$

Since \(\tau \) is a concordance measure, we infer

$$\begin{aligned} \tau (C)=\frac{2}{3} \tau (C)+\frac{1}{3} \tau (C)=\frac{2}{3} \tau (C)-\frac{1}{3} \tau (C^{\sigma _2}). \end{aligned}$$

Using Theorem 4 to estimate both terms on the right-hand side, we obtain

$$\begin{aligned} \tau (C)\leqslant & {} \frac{2}{3}\left( \frac{2}{3}\phi (C)+\frac{1}{3}\right) -\frac{1}{3}\left( \frac{4}{3}\phi (C^{\sigma _2})-\frac{1}{3}\right) \nonumber \\= & {} \frac{4}{9} (\phi (C)-\phi (C^{\sigma _2}))+\frac{1}{3}=\frac{2}{3} \gamma (C)+\frac{1}{3}. \end{aligned}$$
(7)

On the other hand, we may use Theorem 4 and the inequality \(\phi (C)\geqslant -\frac{1}{2}\) to estimate

$$\begin{aligned} \tau (C) =-\tau (C^{\sigma _2})\leqslant & {} -\frac{4}{3}\phi (C^{\sigma _2})+\frac{1}{3}=\frac{4}{3}\cdot \left( -\frac{1}{2}\right) -\frac{4}{3}\phi (C^{\sigma _2})+1\nonumber \\\leqslant & {} \frac{4}{3} (\phi (C)-\phi (C^{\sigma _2}))+1=2 \gamma (C)+1. \end{aligned}$$
(8)

Inequalities (7) and (8) imply

$$\begin{aligned} \tau (C) \leqslant \min \left\{ \frac{2}{3} \gamma (C)+\frac{1}{3},2\gamma (C)+1\right\} , \end{aligned}$$
(9)

which proves the upper bound for \(\tau (C)\). We obtain the lower bound if we apply inequality (9) to \(C^{\sigma _2}\)

$$\begin{aligned} \tau (C) =-\tau (C^{\sigma _2})&\geqslant -\min \left\{ \frac{2}{3} \gamma (C^{\sigma _2})+\frac{1}{3},2\gamma (C^{\sigma _2})+1\right\} \\&=-\min \left\{ -\frac{2}{3} \gamma (C)+\frac{1}{3},-2\gamma (C)+1\right\} \\&=\max \left\{ \frac{2}{3} \gamma (C)-\frac{1}{3},2\gamma (C)-1\right\} . \end{aligned}$$

Example 5 implies that any point on the lower boundary is attained by either \(A_a\) or \(B_a\) with \(a \in [0,\frac{1}{2}]\). Furthermore, by an analogous argument as above, any point on the upper boundary is attained by either \(A_a^{\sigma _2}\) or \(B_a^{\sigma _2}\) with \(a \in [0,\frac{1}{2}]\). The proof that any point in between is also attained is similar as the corresponding part of the proof of Theorem 4. \(\square \)

The exact region determined by Kendall’s tau and Gini’s gamma is a parallelogram with vertices \(A(-1, -1)\), \(B(\frac{1}{2},0)\), C(1, 1),  and \(D(-\frac{1}{2}, 0)\), shown in Fig. 5.

Fig. 5
figure 5

The exact region determined by Kendall’s tau and Gini’s gamma

5 Concordance Similarity Measure Between Kendall’s Tau and Other Concordance Measures

In paper [17] the authors introduce the \((\kappa _1, \kappa _2)\)-similarity measure between (weak) concordance measures \(\kappa _1\) and \(\kappa _2\) as

$$\begin{aligned} \kappa sm(\kappa _1, \kappa _2) = 1 - \frac{A(\kappa _1, \kappa _2)}{(1-\kappa _1(W))(1-\kappa _2(W))}, \end{aligned}$$

where \(A(\kappa _1, \kappa _2)\) is the area of the exact region determined by \(\kappa _1\) and \(\kappa _2\). They also compute concordance similarity measure between the pairs Kendall’s tau and Spearman’s rho \(\kappa sm(\tau , \rho ) = 0.7114\) and between Kendall’s tau and Blomqvist’s beta \(\kappa sm(\tau , \beta ) = \frac{1}{3} = 0.3333\).

We now compute concordance similarity measure between the pairs Kendall’s tau and Spearman’s footrule and between Kendall’s tau and Gini’s gamma. We have

$$\begin{aligned} A(\tau , \phi ) = \textstyle \mathrm {area\ } \Delta A(-\frac{1}{2},-1)B(1,1)C(-\frac{1}{2},0) = \frac{3}{4}, \end{aligned}$$

so \(\kappa sm(\tau , \phi ) = 1 - \frac{1}{3} A(\tau , \phi ) = \frac{3}{4} = 0.75\), and

$$\begin{aligned} A(\tau , \gamma ) = \textstyle \mathrm {area\ } A(-1,-1)B(\frac{1}{2},0)C(1,1)D(-\frac{1}{2},0) = 1, \end{aligned}$$

so \(\kappa sm(\tau , \gamma ) = 1 - \frac{1}{4} A(\tau , \gamma ) = \frac{3}{4} = 0.75\). Table 1 gives all the values

Table 1 Concordance similarity measure between Kendall’s tau and other (weak) concordance measures

Thus, knowing the value of Blomqvist’s beta gives us in average very little information about possible values of Kendall’s tau. On the other hand, knowing the value of Spearman’s rho, Spearman’s footrule, or Gini’s gamma gives us more information about possible values of Kendall’s tau. The amount of information is in average almost the same for all three measures.