arXiv++ Combinatorics

We characterize four groups of Clifford circuits for Calderbank--Shor--Steane (CSS) codes that are relevant to fault-tolerant logical operations. First, we show that every code-preserving Clifford circuit is a product of Z-diagonal circuits, composed of S and CZ gates, and their X-basis analogues. Second, we define the two-fold transversal group, generated by depth-one two-local code-preserving circuits, and show that each of its elements can be expressed as a product of layers consisting of either Z-diagonal, X-diagonal, or CNOT gates. As a corollary, every transversal gate is a product of three transversal diagonal circuits; for connected non-self-dual codes, two such circuits suffice. We further show that every code-preserving automorphism circuit, consisting of single-qubit Clifford gates and permutations, has a normal form comprising a Hadamard layer, a permutation, and two diagonal circuits. We also define a two-fold automorphism group, in which a depth-one two-local circuit may be code-preserving up to a permutation, and show that its logical image can be larger than that of the two-fold transversal group. For 136 CSS codes, we provide explicit generators and determine the logical image of the two-fold transversal group. We find 78 codes whose full logical Clifford group is generated by two-fold-transversal circuits, including codes of distances 3, 4, 5, 6, 8, and 12, with respective rates $2/5$, $3/4$, $1/9$, $1/5$, $2/5$, and $3/56$. We construct three families of CSS codes from bipartite grids, cut-complements, and quadrics, many of which realize the full logical Clifford group in this way. More generally, the induced logical group can be large even when it is not full logical Clifford group: it has order at least $460\,800$ for the gross code and roughly $10^{26}$ for a clustered-cyclic code.

Kazhdan--Lusztig $W$-graphs encode the cell structure of Hecke algebras, while their bidirected connected components are called molecules. In finite type~$A$, the Robinson--Schensted correspondence describes cells and molecules, and Beissinger's row insertion constructs the common tableau associated with an involution. In affine type~$A$, the affine matrix-ball construction assigns an affine permutation a pair of tabloids together with a dominant weight, and Marberg introduced affine FPF $W$-graphs indexed by affine fixed-point-free involutions. We prove that, for an affine fixed-point-free involution, complete two-cycle truncations followed by finite row Beissinger insertion asymptotically recover both its common AMBC tabloid and its dominant weight. We also identify the bidirected edges of $Γ_n^{\m}$ with dual equivalence moves under AMBC, obtaining a classification of its molecule.

This paper provides formulas for Koornwinder polynomials in analogy with the creation formula, the alcove walk formula and the non-attacking fillings formula for the type $GL_n$ Macdonald polynomials. We state the creation formula in terms of the divided-difference operators used in Schubert calculus, and we use a box-greedy reduced word to reformulate the alcove walk formula in terms of uncompressed set-valued tableaux. Then two types of compression, ``around-the-end compression'' and ``across-the-$0$-gap compression'', are used to derive a formula for Koornwinder polynomials in terms of compressed set-valued tableaux. Throughout we work in the full generality of relative Koornwinder polynomials, which are the analogues of the permuted basement Macdonald polynomials used in the type $GL_n$ case.

Let $\mathfrak{B}_n$ denote the hyperoctahedral group. The type $B$ coinvariant rings $R_{\mathfrak{B}_n}^{(k,j)}$ are quotients of the ring of polynomials in $k$ sets of $n$ commuting variables and $j$ sets of $n$ anticommuting variables by the ideal generated by the diagonal $\mathfrak{B}_n$-invariants without constant term. Building upon the work of Kim--Rhoades (2022), we give an explicit formula for the bigraded Frobenius series of $R_{\mathfrak{B}_n}^{(0,2)}$: the bigraded multiplicity of each irreducible $\mathfrak{B}_n$-character is a single Schur polynomial, so $R_{\mathfrak{B}_n}^{(0,2)}$ is multiplicity-free as a $\operatorname{GL}_2 \times \mathfrak{B}_n$-module. We then determine that the trigraded multiplicity of the sign character of $R_{\mathfrak{B}_n}^{(0,3)}$ is given by a single Schur function. Finally, for all $k$ and $j$, we determine the multiplicity of the standard character in the type $A$ coinvariant ring $R_{n}^{(k,j)}$, as well as the multiplicities of the characters indexed by the bipartitions $((n-1),(1))$ and $((n-1,1),\varnothing)$ in $R_{\mathfrak{B}_n}^{(k,j)}$. These are the first nontrivial characters established for all $(k,j)$ in either of types $A$ or $B$.

Let $\Bbbk$ be an algebraically closed field of characteristic zero, let $V=\Bbbk^\ell$ and $W=\Bbbk^m$, and set \[ \mathcal R_{\ell,m}=\operatorname{Sym}(\operatorname{Sym}^2V\otimes W)^{U_V}. \] We construct an explicit skew-symmetrizable seed $Σ_{\ell,m}$ by restricting and folding the determinantal seed for the flagged $m$-arrow Kronecker quiver. For every $\ell,m\ge2$, we have \[ \mathcal R_{\ell,m}=\mathcal U(Σ_{\ell,m}), \] with polynomial frozen coefficients, and $Σ_{\ell,m}$ admits a reddening sequence. The theta basis extends across the frozen boundary exactly for parameters in a rational polyhedral cone $\mathscr C_{\ell,m}$. Its weight fibers count the multigraded highest-weight multiplicities of $\mathcal R_{\ell,m}$, and the Jacobi--Trudi identity expresses symmetric-square plethysm coefficients as finite alternating sums of these counts. Optimized frozens give an explicit finite system of inequalities for $\mathscr C_{\ell,m}$.

Aihara developed an algorithm for Brauer tree algebras, which we call a mutation reduction, for getting from a Brauer tree algebra to the simpler Brauer star algebra using a sequence of mutations centered on edges. Schaps and Zvi, using the Schaps-Zakay theory of pointing the tree, showed that different algorithms for the sequence of mutations give permutations of the edges. Kozakai gave a new algorithm for a mutation reduction that depends on a given pointing and describes the evolution of the pointing under the mutation reduction. In this paper, we define a pointed generalized Aihara algorithm and show that its permutation is the identity. We give a general form for the permutations resulting from Kozakai's algorithm, which we illustrate with examples from uni-branch binary trees.

We consider degenerate principal series representations $\operatorname{Ind}_P^Gχ$ over finite fields, where $G$ is a classical subgroup of $\operatorname{GL}_{2n}$, and $P$ is the Siegel parabolic subgroup. For example, we show that this representation is always multiplicity-free and irreducible for generic characters $χ$. We then discuss a particular intertwining operator $I$ on $\operatorname{Ind}_P^Gχ$ and its related combinatorics. Firstly, this operator $I$ produces families of diagonalizable antitriangular matrices with well-behaved eigenvalues. Secondly, applying $I$ to a special vector in $\operatorname{Ind}_P^Gχ$ leads us to various matrix Gauss sums, whose evaluations imply an explicit equidistribution result of the trace and determinant of symmetric and alternating invertible matrices.

We give an explicit description, in terms of the quantum Bruhat graph, of the (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants $\langle \mathcal{O}(- λ), \mathcal{O}^{w}, \mathcal{O}_{u} \rangle_{d}$ for the (full) flag manifold $X = G/B$, where $\mathcal{O}(- λ)$ denotes the class in the (torus-equivariant) $K$-theory ring $K_{T}(X)$ of $X$ of the line bundle $\mathcal{O}_{X}(- λ) = G \times_{B} \mathbb{C}_λ$ over $X = G/B$ associated to a weight $λ\in W \varpi_i$ lying in the Weyl group orbit of a minuscule fundamental weight $\varpi_i$, and $\mathcal{O}_{u}$, $\mathcal{O}^{w}$ are the Schubert and opposite Schubert classes in $K_{T}(X)$ for $u, w \in W$. This result can be thought of as a partial generalization of the quantum $K$-theoretic divisor axiom, which we obtained in our previous work; our proof utilizes a generalization of the Chevalley formula in the (torus-equivariant) quantum $K$-theory ring $QK_{T}(X)$ of $X$, which computes the quantum product with the line bundle class $\mathcal{O}(- λ)$ associated to the weight $λ$ above.

Let $Γ_n(q)$ be the graph whose vertices are the invertible matrices in $\Mat_n(\F_q)$, with two distinct matrices adjacent whenever their sum is singular. A dissociation set is a vertex set inducing a graph of maximum degree at most one. We study the dissociation number of $Γ_n(q)$ by embedding it as an induced subgraph of the total graph $T_n(q)$ on all of $\Mat_n(\F_q)$. A general Laplacian inequality for $k$-independent sets, together with an explicit character computation for the additive group of the matrix ring, gives parity-sensitive upper bounds. For fixed $n$, the resulting bound is of order at most $q^{n^2-n+1}$ for odd $q$ and at most $q^{n^2-2n+2}$ for even $q$. In particular, \[ \diss(Γ_n(q))\le q^{n^2-n+1}-1. \] In the other direction, the regular representation of the extension field $\F_{q^n}$ gives $\diss(Γ_n(q))\ge q^n-1$. We give complete proofs, including a self-contained derivation of the required matrix character sum, and determine the smallest case: $\diss(Γ_2(2))=3$.

We prove a conjecture of Regts and Sevenster: a complex-valued graph parameter $f$ with $f(\varnothing)=1$ has exponentially bounded edge-connection rank if and only if it is a mixed partition function; moreover, the model may be chosen with its numbers of even and odd colours explicitly bounded in terms of the rank bound. From $f$ we construct a connection category, a rigid symmetric $\mathbb{C}$-linear monoidal category whose morphism spaces have the connection ranks as dimensions and whose trace pairings are nondegenerate. The rank hypothesis forces moderate tensor growth, and a recent theorem of Etingof and Penneys then shows that every nilpotent endomorphism has trace zero; together with the nondegeneracy of the trace pairing, this makes the category semisimple, and a theorem of Deligne provides a faithful symmetric tensor functor to finite-dimensional super vector spaces. We then identify the resulting super tensor network with the Regts-Sevenster model exactly, viz. with its Eulerian-subgraph expansion and its sign of $-1$ for every fermionic circuit. An appendix gives an independent and direct proof of the nilpotent-trace step, showing that in a rigid symmetric $\mathbb{C}$-linear category with $\mathrm{End}(\mathbf{1})=\mathbb{C}$, exponentially bounded endomorphism growth makes the trace zeta function of every endomorphism rational, with explicit degree bounds.

Neighboring seeds in a cluster algebra of affine type are seeds that are as close as possible to the boundary of the g-vector fan. This short note highlights the characterization of neighboring seeds given in a recent paper of Reading, Rupel, and Stella and applies that characterization in two ways. We prove a conjecture on the construction of universal geometric cluster algebras of affine type. We also characterize extended exchange matrices of affine type that are mutation-finite.

We study the triple-invariant algebra \[ \Bbbk[\Bbbk^3\otimes\Bbbk^2\otimes\Bbbk^2]^{U_3\times U_2\times U_2}. \] A quotient slice and the induced logarithmic top form determine a signed Markov chart, realized as the fiber $ζ=-1$ of an ordinary cluster family. We prove \[ \mathscr U_{\mathrm{gen}}=\mathcal M_u[u_Δ], \] where $\mathcal M_u$ is a specialized middle cluster algebra and $u_Δ$ is the discriminant of weight $(220;22;22)$. Its theta cone has a sixteen-element Hilbert basis. Pairing its positive- and negative-degree generators reduces each triple-weight space to a single discriminant level determined by the weight. Counting the resulting two-dimensional slice gives an explicit nonnegative finite-sum formula. Determinant reduction extends the formula to all $n\times2\times2$ Kronecker coefficients.

For partitions lambda, mu, nu the Littlewood-Richardson coefficient stretches to a function P(t) = c(t nu; t lambda, t mu) which, by a theorem of Derksen and Weyman, is a polynomial in t. King, Tollu and Toumazet conjectured that P has no negative coefficient. The conjecture is known only for the value at most 2 and is otherwise open. We prove it for all triples whose parts number at most four. The proof is structural: a period-one dilation transfers the Berline-Vergne local Ehrhart formula from an integral dilate back to the rational hive polytope, reducing the statement to the positivity of the Berline-Vergne weight of every two-dimensional transverse cone spanned by rank-four rhombus normals, which we verify exactly (minimum weight 1/9). Vertex integrality and unimodularity of vertex cones are not used, and indeed fail already in rank four. The same local method yields two rank-uniform consequences: for every full-dimensional hive polytope of any rank the top four Ehrhart coefficients are positive, and every full-dimensional five-part hive has all coefficients positive except possibly the linear one. We close by reducing the general conjecture to a single hive-specific effectivity statement and recording the exact obstructions that rule out the standard shortcuts. All finite verifications are accompanied by independent replay scripts.

For every $l\geq1$, we construct explicit closed-form coordinate formulas for the local energy functions on the tensor products $B_l\otimes B_l$ of level-$l$ perfect crystals in classical affine types. A single finite-level max-linear formula covers all seven types: its two branches coincide in type $A_n^{(1)}$, yielding a cyclic maximum of partial sums, whereas in the remaining six types each branch is the maximum of finitely many explicit piecewise-linear expressions in barred coordinates, with type-dependent boundary data. We verify the defining local-energy recursion directly on the finite crystals and derive equivalent recursive forms, allowing the energy to be evaluated without applying the combinatorial $R$-matrix. Substitution into the KMN path character formula gives explicit positive coordinate path sums for the characters of all level-$l$ integrable highest weight modules. After principal specialization, the path exponent can be rewritten as a weighted sum of a position-independent adjacent-pair statistic; comparison with the specialized Weyl--Kac character formula yields a uniform family of level-$l$ Rogers--Ramanujan-type identities equating these sums with explicit infinite products. For a representative low-rank case at level two in each family, we display the complete adjacent-pair degree matrix and list the resulting identities.

We study higher cluster tilting objects through covering functors from derived categories of hereditary algebras. The covering formalism reduces the existence problem to the equivariant problem of finding \(G\)-stable \(d\)-cluster tilting objects in \(d\)-cluster categories. For triangulated categories with finitely many indecomposable objects this gives a complete ADE existence criterion and explicit counting formulas. We also prove that, in finite Frobenius models, the endomorphism algebras of all \(d\)-cluster tilting objects are derived equivalent. Applications are given to Cohen--Macaulay finite categories, finite noncommutative crepant resolutions, and rigidity dimensions of representation-finite self-injective algebras.

We define via generators and relations an extended version of the matroidal Schur algebras introduced in earlier work of the author with Tom Braden. In the case of projective geometries, we relate the representation theory of the resulting algebras to the structure of the modular Steinberg representation of $GL(n,q)$. In the general case we show that the extended matroidal Schur algebras have a triangular, or Reedy, decomposition and are thus quasi-hereditary. We also obtain a new description of the original matroidal Schur algebras and clarify the connection to the flag spaces of Brylawski--Varchenko.

In this paper, we study the random walk on the symmetric group $\mathfrak{S}_n$ generated by the conjugacy class of $k$-cycles, where $2\le k=o(n/(\log n)^4)$. We prove that the walk exhibits hitting-time mixing: at the first time when every card has been touched, the distribution is already close to equilibrium. For odd $k$, the equilibrium measure is the uniform measure on $\mathfrak{A}_n$. For even $k$, the walk first mixes to the parity mixture determined by the hitting time, and in our range this mixture is asymptotically $U_{\mathfrak{S}_n}$. Our argument combines a refined fixed-time approximation for the random $k$-cycle walk near the cutoff window with an auxiliary marking scheme inspired by Jain-Sawhney's work (arXiv:2410.23944) on random transpositions. The main new feature is a parity-compatible coupling which handles both odd and even $k$-cycles in a unified framework. We also prove a hitting-time mixing result in the opposite regime $k\ge n-o(n^{1/2})$, and formulate a conjecture for all $2\le k\le n-1$.

We prove that monomial coefficients in affine families of key and Schubert polynomials are eventually polynomial. The proof combines Demazure operators with vector partition functions and, in the Schubert case, P.~Magyar's orthodontic formula. These coefficient results extend to finite products. Using M.~Watanabe's Schubert duality, we deduce that stretched Schubert structure constants are eventually polynomial, proving a conjecture of I.~Pak and Z.~Slonim. For key polynomials, this resolves the polynomiality part of a conjecture of P.~Alexandersson and E.~Alhajjar.

We consider permutations $q$ in the symmetric group $S_n$ whose Verma multiplicities in the principal block of $\mathcal{O}(\mathfrak{sl}_n)$ satisfy $[M(p):L(q)] \geq 2$. We present a construction along with a diagrammatic visualization, showing how permutations in $S_n$ with this property generate a family of permutations in $S_{n+1}$ that share the same multiplicity property. While the method does not recover all such permutations in $S_{n+1}$, it systematically generates many new examples. In addition, we present all permutations in $S_5$ with $[M(\mathrm{id}):L(q)] \geq 2$ in a Bruhat diagram and describe all permutations in $S_6$ and $S_7$ with non-simple Verma multiplicities.

We resolve the ENO--TV conjecture, a discrete coercivity problem in compactness theory for entropy-stable approximations of hyperbolic conservation laws. For order-$k$ essentially non-oscillatory (ENO) reconstruction from compactly supported cell averages, it asks whether the nonnegative ENO source times the $(k-1)$st power of the amplitude uniformly controls the $(k+1)$st absolute-jump moment. We prove a parity dichotomy: the estimate holds for odd $k\ge3$ and fails for even $k\ge4$; the known second-order case completes the classification. Localization gives a selection-independent finite-difference functional uniformly comparable to the source and reduces the conjecture to discrete interpolation. For odd orders, summation by parts reveals a hidden square; a discrete Gagliardo--Nirenberg inequality yields coercivity. For even orders, Euler-polynomial blocks from the functional's polynomial kernel yield counterexamples that persist under arbitrarily small perturbations making all affected ENO comparisons strict. We also prove two coercive estimates for every $k\ge2$: control of jumps larger than a fixed fraction of the amplitude and of local blocks modulo sampled polynomials of degree at most $k-2$. Via the Cayley--Sylvester decomposition, we compute the dimensions of homogeneous first-cohomology spaces for the lattice shift on polynomial jump profiles. At fourth order, for a cubic flux and a globally strictly convex entropy, a total-degree-seven component of a reduced entropy-flux mismatch represents a nonzero class on profiles of degree at most two and hence has no translation-invariant finite-stencil $C^7$ local primitive at the zero constant state. Odd-order coercivity persists on globally quasi-uniform meshes, whereas for each $k\ge2$ it fails on a fixed irregular mesh even though every interface contribution remains nonnegative. This failure is due to the mesh geometry.