We prove Dennin's conjecture (Conjecture 8.9 of arXiv:2506.21052) that his variant of dual RSK correspondence is symmetric when restricted to biGrassmannian permutations. For a binary matrix $A$, let $A^\dagger$ denote its transpose-complement, and let $\operatorname{ins}(A)$ and $\operatorname{rec}(A)$ denote its insertion and recording tableaux. We prove that $\operatorname{ins}(A^\dagger) = \overline{\operatorname{rec}(A)}$, where the bar denotes the natural complement of the recording tableau. Our proof uses rectification of super pipe dreams and a downward induction on suffixes of $A$.
Lesniewski and Ruskai conjectured that the contraction coefficient of every monotone Riemannian metric under a unital stochastic map equals the Hilbert--Schmidt contraction on the traceless subspace. We disprove the conjecture with an explicit entanglement-breaking qutrit channel induced by a doubly stochastic $3\times...
We construct a symmetric numerical semigroup $\Gamma$ of multiplicity $56$, embedding dimension $26$, and Frobenius number $181$ such that, over every field $k$, the one-dimensional Gorenstein local domain $R=k[t^\Gamma]_{\mathfrak{m}}$ has a nonprincipal ideal $I=(t^{56},t^{70})R$ for which $I\otimes_R\operatorname{Ho...
Under such an assumption, STP becomes a candidate preimage-resistant relation whose implications for commitments, proofs of knowledge of multiplicative witnesses, and authentication can be stated precisely.
In 1997, Belinsky conjectured that, for convex subsequences, the logarithmic growth condition of Carleson, Trigub, and Zagorodni\u{\i} is necessary and sufficient for the arithmetic means of subsequential Fourier partial sums to converge at every Lebesgue point of every integrable function. We disprove the sufficiency...
We extend Balmer's tensor-triangular geometry to arbitrary presentably symmetric monoidal $\infty$-categories $\mathcal V$ by introducing the atomic smashing frame. This construction is functorial in $\mathcal V$, recovers the classical Balmer spectrum in the stable compactly-rigidly generated case, and yields a formul...
Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a right Auslander-Reiten-Serre (ARS for short) duality $(\tau, \eta)$ in the sense of Iyama, Nakaoka and Palu. We show $(\tau, \eta)$ induces right ARS dualities on the relative theories of $(\mathcal{C},\mathbb{E},\mathfrak{s})$. Under rela...
Jiwei He, Ji-Xin Pan· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
