The support of the five-piece shuffle on the elementary arc #
def
Papers.AnsariRockelSteinmassl2026RhoGamma.FivePieceSupport
(d : ℝ)
(x : Fin 2 → ↑unitInterval)
:
The middle antidiagonal and the two pairs of parallel corner segments.
Equations
- One or more equations did not get rendered due to their size.
Instances For
theorem
Papers.AnsariRockelSteinmassl2026RhoGamma.elementary_shuffle_support
{s : ℝ}
(hs : 1 ≤ s)
:
have A := ProbabilityTheory.Copula.RankRegion.RhoGamma.AuxiliaryCertificate.halfShift s hs;
∀ᵐ (x : Fin 2 → ↑unitInterval) ∂A.copula.toMeasure, FivePieceSupport (A.z / 2) x
Example 3.10: the constructed optimizer is carried by exactly the stated five segments.