REVIEW 2 major objections 1 minor
The exact joint region of Kendall’s tau, Spearman’s footrule and Blomqvist’s beta is fully determined by the already-known pairwise regions of (footrule, beta) and (tau, footrule).
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-15 02:56 UTC pith:B7TAIHVJ
load-bearing objection Clean exact triple region for three classical concordance measures; the real news is that beta adds no sharp restriction once footrule is fixed. the 2 major comments →
The exact region determined by Kendall's tau, Spearman's footrule and Blomqvist's beta
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The exact region Ω_{τ,φ,β} consists of all triples (t,p,b) satisfying -1 ≤ b ≤ 1, (3/16)(1+b)^{2} - 1/2 ≤ p ≤ 1 - (3/8)(1-b)^{2} and (4/3)p - 1/3 ≤ t ≤ (2/3)p + 1/3. Equivalently, the known exact (φ,β)- and (τ,φ)-regions already characterise the joint region, so that once Spearman’s footrule is fixed, Blomqvist’s beta imposes no additional sharp restriction on Kendall’s tau.
What carries the argument
Two one-parameter families of shuffles of the upper Fréchet–Hoeffding bound M that realise the extreme values of Kendall’s tau along the lower boundary of the (φ,β)-region; these families are then spread by ordinal sums, and the vertical fibres are filled by the biaffinity of the concordance function.
Load-bearing premise
That two specific one-parameter families of shuffles of M attain the extreme values of Kendall’s tau along the entire lower boundary of the already-known (footrule, beta) region, and that ordinal sums together with biaffinity then fill every vertical fibre.
What would settle it
Exhibit a single bivariate copula whose (tau, footrule, beta) triple lies outside the three inequalities, or prove that the claimed extreme shuffles fail to attain the lower tau bound for some beta on the boundary of the (footrule, beta) region.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript determines the exact attainable set Ω_{τ,φ,β} of joint values of Kendall's tau, Spearman's footrule and Blomqvist's beta over all bivariate copulas. It asserts that this set consists precisely of the triples (t,p,b) satisfying the three displayed inequalities −1≤b≤1, (3/16)(1+b)²−1/2≤p≤1−(3/8)(1−b)² and (4/3)p−1/3≤t≤(2/3)p+1/3, which are exactly the known sharp pairwise bounds for (φ,β) and (τ,φ). Consequently, once φ is fixed, β imposes no further sharp restriction on τ. The argument is described as constructive: two one-parameter families of shuffles of M attain the extreme values of τ along the lower (φ,β)-boundary, ordinal sums spread those families through the region, and biaffinity of the concordance function fills the vertical fibres. The paper further claims convexity of Ω, rectangular fixed-footrule sections, an affine symmetry of the fibres about τ=φ, and volume equal to 31/40.
Significance. If the characterization is correct, the work closes a natural gap in the geometry of classical concordance measures by showing that the joint (τ,φ,β)-region is completely determined by the already-known pairwise regions. The structural conclusion—that Blomqvist's beta adds no sharp restriction on Kendall's tau once Spearman's footrule is fixed—is non-obvious and of clear interest to copula theory. The constructive route via shuffles of M, ordinal sums and biaffinity, together with the explicit volume computation, would constitute a solid contribution provided the constructions and boundary verifications hold. Only the abstract is available for this review, so the significance assessment remains conditional on the full proofs.
major comments (2)
- [Abstract (constructive proof sketch)] The central claim that Ω_{τ,φ,β} coincides with the product of the known exact (φ,β)- and (τ,φ)-regions rests entirely on the constructive argument sketched in the abstract. Without the full text one cannot inspect the two one-parameter families of shuffles of M, verify that they indeed realize the extreme values of τ along the entire lower boundary of the (φ,β)-region, or confirm that ordinal sums of those families together with biaffinity fill every vertical fibre. These steps are load-bearing; their correctness cannot be assessed from the abstract alone.
- [Abstract (volume, convexity, sections)] The volume claim Vol(Ω_{τ,φ,β})=31/40 and the assertions of convexity and rectangular fixed-footrule sections are concrete geometric statements that follow from the characterization. Their verification likewise requires the explicit parameterizations and the fibre-filling argument, which are not supplied in the abstract. Until those details are available the numerical and geometric claims remain unchecked.
minor comments (1)
- [Abstract] The abstract is clearly written and the inequalities are stated cleanly. Once the full manuscript is available, standard presentation checks (notation consistency for the concordance function, explicit definitions of the shuffle families, figure quality if any) will be needed; none can be performed from the abstract alone.
Circularity Check
No significant circularity identified; abstract describes a constructive geometric characterization of an attainable set of concordance measures.
full rationale
The abstract claims an exact characterization of the joint attainable region Ω_{τ,φ,β} over all bivariate copulas, asserting that it coincides with the intersection of the already-known exact pairwise (φ,β) and (τ,φ) regions (so that β adds no further sharp restriction on τ once φ is fixed). The proof sketch is constructive and geometric: two one-parameter families of shuffles of M realize the extreme values of τ along the lower (φ,β) boundary; ordinal sums spread those families through the region; and biaffinity of the concordance function fills the vertical fibres. Volume 31/40, convexity, rectangular fixed-footrule sections, and an affine fibre symmetry about τ=φ are then derived from the region itself. No free parameters are fitted to data and then re-presented as predictions; no quantity is defined in terms of the target result; and no uniqueness theorem or ansatz is imported solely by self-citation in a load-bearing way that can be exhibited from the abstract. Reference to the 'known' pairwise regions is ordinary dependence on prior literature, not a definitional loop. Because the full text is unavailable the constructions cannot be re-verified, but that is an information gap rather than an identified circular reduction. Under the hard rules (quote-and-exhibit only; no speculation; honest non-finding expected), the score is 0 with empty steps.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Standard definition of bivariate copulas and the Fréchet–Hoeffding bounds M and W
- domain assumption Definitions of Kendall's tau, Spearman's footrule and Blomqvist's beta as functionals on copulas
- domain assumption The already-known exact pairwise regions for (φ,β) and (τ,φ)
- domain assumption Biaffinity of the concordance function used to fill vertical fibres
read the original abstract
We determine the exact region $\Omega_{\tau,\phi,\beta}:=\{(\tau(C),\phi(C),\beta(C)):C\in\mathcal{C}\}$ of possible joint values of Kendall's tau, Spearman's footrule and Blomqvist's beta over the class $\mathcal{C}$ of all bivariate copulas. The region consists precisely of all triples $(t,p,b)$ satisfying $-1\le b\le 1$, $\frac{3}{16}(1+b)^2-\frac12\le p\le 1-\frac38(1-b)^2$ and $\frac43 p-\frac13\le t\le \frac23 p+\frac13$. In other words, the known exact $(\phi,\beta)$- and $(\tau,\phi)$-regions already characterize the joint region, so that, once the value of Spearman's footrule is fixed, Blomqvist's beta imposes no additional sharp restriction on the possible values of Kendall's tau. The proof is constructive: two one-parameter families of shuffles of $M$ realize the extreme values of Kendall's tau along the lower boundary of the $(\phi,\beta)$-region, ordinal sums spread these families through the whole region, and the vertical fibres are filled using the biaffinity of the concordance function. We further show that $\Omega_{\tau,\phi,\beta}$ is convex with rectangular fixed-footrule sections, identify an affine symmetry of its fibres about $\tau=\phi$, and compute its volume, which equals $\frac{31}{40}$.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.