Skip to content
DraconiticResearch
Search Sources API
194,067 studies31 sourcesUpdated 44 min ago
PreprintarXiv licencearXiv

Duality, rigidity, and peeling for multisegments: on hypotheses of Mitra, Offen, and Sayag

Abstract

Mitra, Offen, and Sayag introduced distinguished multisegments and multisegments of Speh type, and proposed that every distinguished multisegment is of Speh type, together with a related duality hypothesis (see A. Mitra, O. Offen, and E. Sayag, Klyachko Models for Ladder Representations, Documenta Math. 22 (2017), 611-657). They proved these statements for sets of segments and when at most two segments share an endpoint. We develop a combinatorial theory of relevant decompositions and prove that relevance is preserved under the involution Δ↦Δ∨ together with reversal of standard order. Hence, m is distinguished if and only if m∨ is distinguished, so the two hypotheses are equivalent. We define Sm(Δ)=∑t≥0(−1)tm(νtΔ) and show that m is of Speh type if and only if Sm(Δ)≥0 for every segment Δ. Using rigidity properties, we obtain a peeling theorem and a numerical tameness condition, and prove both hypotheses for every tame multisegment, extending the previously known classes. Finally, we construct a five-segment multisegment that is not distinguished, although every standard order with non-increasing endpoints admits a non-trivial relevant decomposition. Thus, endpoint-ordered witnesses alone cannot prove the hypothesis in general. The remaining case reduces to multisegments for which both m and m∨ are non-tame.

Related

  1. Super Howe duality and rigidity of hybrid Fourier transforms
    Jing-Song Huang, Yongzhi Luan, Yinuo Xue
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryQuantum physics & quantum informationarXiv
  2. Axioms and internal rigidity of spectral duality structures
    Juan Antonio Vega Coso
    arXivPreprintarXiv licenceFull textAlgebra & number theoryProbabilityarXiv
  3. Quantum Optimal Transport Barycenters: Existence, Duality, and Gaussian Rigidity
    Augusto Gerolin, Zhiyi Lin
    arXivPreprintCC BY 4.0Full textAnalysis & PDEsQuantum physics & quantum informationarXiv
  4. A base-$8$ upper bound for planar peeling sequences
    André Hisatsuga, Griffin Johnston, Rafael Miyazaki
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsarXiv
  5. Scaling limits for peeling explorations of the Brownian half-plane
    Mathieu Mourichoux, Armand Riera
    arXivPreprintCC BY-SA 4.0Full textProbabilityarXiv
BibTeX
@misc{sharma2026duality,
  title = {{Duality, rigidity, and peeling for multisegments: on hypotheses of Mitra, Offen, and Sayag}},
  author = {Hariom Sharma},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.21384},
  eprint = {2609.21384},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.21384},
}
RIS
TY  - UNPB
TI  - Duality, rigidity, and peeling for multisegments: on hypotheses of Mitra, Offen, and Sayag
AU  - Hariom Sharma
PY  - 2026
DA  - 2026/09/18
PB  - arXiv
DO  - 10.48550/arxiv.2609.21384
UR  - https://arxiv.org/abs/2609.21384
AB  - Mitra, Offen, and Sayag introduced distinguished multisegments and multisegments of Speh type, and proposed that every distinguished multisegment is of Speh type, together with a related duality hypothesis (see A. Mitra, O. Offen, and E. Sayag, Klyachko Models for Ladder Representations, Documenta Math. 22 (2017), 611-657). They proved these statements for sets of segments and when at most two segments share an endpoint. We develop a combinatorial theory of relevant decompositions and prove that relevance is preserved under the involution Δ↦Δ^∨ together with reversal of standard order. Hence, m is distinguished if and only if m^∨ is distinguished, so the two hypotheses are equivalent. We define S_m(Δ)=∑_t≥0(−1)^tm(ν^tΔ) and show that m is of Speh type if and only if S_m(Δ)≥0 for every segment Δ. Using rigidity properties, we obtain a peeling theorem and a numerical tameness condition, and prove both hypotheses for every tame multisegment, extending the previously known classes. Finally, we construct a five-segment multisegment that is not distinguished, although every standard order with non-increasing endpoints admits a non-trivial relevant decomposition. Thus, endpoint-ordered witnesses alone cannot prove the hypothesis in general. The remaining case reduces to multisegments for which both m and m^∨ are non-tame.
ER  -