Pith. sign in

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 →

arxiv 2607.12841 v1 pith:B7TAIHVJ submitted 2026-07-14 math.ST stat.TH

The exact region determined by Kendall's tau, Spearman's footrule and Blomqvist's beta

classification math.ST stat.TH MSC 62H2060E1562H05
keywords bivariate copulasKendall's tauSpearman's footruleBlomqvist's betaexact dependence regionshuffles of Mordinal sumsconcordance measures
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper completely characterises the set of all triples that can arise as the values of Kendall’s tau, Spearman’s footrule and Blomqvist’s beta for some bivariate copula. That set is described by three elementary inequalities: beta between -1 and 1, footrule lying between two quadratic functions of beta, and tau lying between two linear functions of footrule. The decisive observation is that once footrule is fixed, the admissible range for tau does not shrink further when beta is prescribed; the known two-dimensional projections already determine the three-dimensional body. The argument is constructive: two explicit one-parameter families of shuffles of the comonotonicity copula attain the extreme tau values along the lower boundary of the (footrule, beta) region, ordinal sums push those extremes through the whole region, and the biaffine structure of the concordance function fills every vertical fibre. The resulting solid is convex, has rectangular cross-sections of constant footrule, admits an affine symmetry about the line tau = footrule, and has volume exactly 31/40.

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.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 1 minor

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)
  1. [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.
  2. [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)
  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

0 steps flagged

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

0 free parameters · 4 axioms · 0 invented entities

Pure mathematical characterization over the class of all bivariate copulas. No numerical free parameters are fitted. Background axioms are the standard definitions of copulas and of the three concordance measures, plus the already-known exact pairwise regions for (φ,β) and (τ,φ). No new entities are postulated.

axioms (4)
  • domain assumption Standard definition of bivariate copulas and the Fréchet–Hoeffding bounds M and W
    The ambient class C and the building blocks (shuffles of M) rest on classical copula theory.
  • domain assumption Definitions of Kendall's tau, Spearman's footrule and Blomqvist's beta as functionals on copulas
    The coordinates of the region are these three classical measures.
  • domain assumption The already-known exact pairwise regions for (φ,β) and (τ,φ)
    Abstract states that these known regions already characterize the triple region; they are taken as established inputs.
  • domain assumption Biaffinity of the concordance function used to fill vertical fibres
    Invoked to fill the interior once boundary families are constructed.

pith-pipeline@v1.1.0-grok45 · 6203 in / 2455 out tokens · 29771 ms · 2026-07-15T02:56:26.136903+00:00 · methodology

0 comments
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.