arXiv++ Combinatorics

We establish a quantum super Schur--Weyl duality for the mirabolic Hecke algebra \(H_n^{\mathrm{mir}}(q)\) with \(q\) indeterminate and determine the corresponding bimodule decomposition. The centralizer of the mirabolic action is shown as a direct sum of homogeneous quantum Schur superalgebras. We describe the tensor-space annihilator and the resulting faithful quotient. When nonzero, the annihilator is generated by an explicit spectral idempotent attached to the smallest rectangle excluded by the hook condition. From the quantum super Schur--Weyl duality, we derive a super Frobenius formula for mirabolic Hecke algebras. This formula then yields a Murnaghan--Nakayama rule and Regev-type formulas for the irreducible characters. We also construct a super mirabolic RSK bijection from words in a super alphabet with an additional even letter to hook semistandard insertion tableaux together with recording pairs that distinguish the positions of the additional letter. This correspondence yields a Roichman formula for irreducible characters of \(H_n^{\mathrm{mir}}(q)\). Finally, we establish a parameter-inversion isomorphism between \(H_n^{\mathrm{mir}}(q^{-1})\) and the \(q\)-rook monoid algebra \(R_n(q)\) and use it to transport the duality, annihilators, and character formulas in both directions. The transported tensor decomposition provides a representation-theoretic interpretation of hook and two-row character sums for \(R_n(q)\).

For every prime power $q$ and every integer $r\geq5$ coprime to $6$, we construct a maximum $2$-scattered $\mathbb{F}_q$-subspace of $V(r,q^6)$. The construction is a two-dimensional $\mathbb{F}_{q^r}$-subspace of $\mathbb{F}_{q^{6r}}$, viewed as an $r$-dimensional vector space over $\mathbb{F}_{q^6}$. A trace argument reduces the proof to the complementarity of two $\mathbb{F}_{q^r}$-subspaces. We establish this complementarity by separating two cases, which lead to a cubic polynomial obstruction and a quadratic norm obstruction. The associated rank-metric code is a $[2r,r,4]_{q^6/q}$ MRD code equivalent to its dual. Taking the cases $r=5,7$ and direct sums with the standard dimension-three construction gives maximum $2$-scattered subspaces of $V(r,q^6)$ for every $q$ and every $r\geq3$ except $r=4$. When $q$ is an odd power of $2$, the known dimension-four construction also covers this remaining case.

We study the dimension defect of finitely many subspaces over an arbitrary field. We derive a symmetric, nonrecursive Grassmann-type formula for the dimension of their sum. The formula expresses the total dimension loss through intersections of a distinguished subspace with partial sums of the remaining subspaces, with coefficients determined by the number of subspaces involved. We also show that the formula admits a Shapley-value interpretation for the associated representable polymatroid. Grouping the correction terms by the number of participating subspaces yields a nonnegative dimension-defect profile. We prove that this profile is monotone and identify its successive gaps with the discrete curvatures of the average-rank profile. These gaps give exact remainders in two-sided defect bounds. Equality in either bound holds precisely when the images of the subspaces in the quotient by their common intersection form an internal direct sum. We also give an exact geometric decomposition of the Kinser slack into nonnegative quotient dimensions and characterize equality. Averaging these slacks over permutations and contractions recovers every defect curvature except the final one; additional representability constraints remain in the individual ordered slacks. Weighted and dual formulas accompany the expansion, and entropy analogues express the defect levels and curvatures as averages of mutual and conditional mutual information, respectively.

Every balanced instance of the stable marriage problem with strict complete preferences has a unique finest partition into prime blocks, and that single partition simultaneously factors three different structures: the reachable execution digraph as a Cartesian product, the proposal-prefix antimatroid as a direct sum, and the stable-matching lattice as a direct product. The converse fails, and fails at every size from two on: two explicit families share the identical Boolean-cube execution while one is maximally decomposable with a single stable matching and the other is prime with n. Uniqueness yields an exact census, a recursion counting the prime instances at every size, under which exactly 88,478,208 of the 110,075,314,176 profiles with four agents on each side are decomposable and the decomposable fraction is asymptotically n! / n^(2n). The blocks are characterised as the square components of the mutual-rank filtration, so the partition is computable in polynomial time and the factorisation is a tool rather than only a fact.

Regular semisimple Hessenberg varieties are subvarieties of flag varieties defined for any reductive group. Their cohomology carries a representation of the associated Weyl group, known as the dot action representation. In type $A$, these representations can be computed using the chromatic quasisymmetric functions of naturally labeled unit interval graphs. We prove that restricting the dot action representation of any Weyl group to a type $A$ parabolic subgroup yields a representation isomorphic to a direct sum of type $A$ dot action representations. This work is motivated by the conjecture that an analogous property holds for all parabolic subgroups. In particular, for classical Weyl groups of types $B/C$ and $D$, we use chromatic symmetric functions to provide a streamlined, combinatorial formula for the restriction to a specific maximal type $A$ parabolic subgroup. As an application, we prove a conjecture of Lesnevich regarding the representations associated with ideals of types $B$ and $C$ identified under the standard poset isomorphism. Specifically, we show that the corresponding dot action representations are isomorphic if and only if the ideals determine the same reflection sets in their respective root systems. Furthermore, we show that a Catalan number counts the total number of such ideals.

For a finite simple graph $G = (V, E)$, we consider the quotient algebra $\mathcal M(G)$ of the polynomial ring in the variables $u_e$ (for $e \in E$) by the ideal generated by all products $u_e u_f$ for non-disjoint edges $e$ and $f$ (including all squares $u_e^2$). This quotient is called the matching algebra of $G$, since it has a basis indexed by the matchings of $G$. In this quotient, we define a subalgebra $\mathcal D(G)$ generated by the signed incidence sums $θ_v=\sum_{e=(v,w)}u_e-\sum_{e=(w,v)}u_e$ for all $v \in V$ (where all edges of $G$ are oriented arbitrarily); we call this the Dunkl matching algebra. We show that, as a graded vector space, $\mathcal D(G)$ is dual to the span of all polynomials $p_M = \prod_{(i,j) \in M} (x_i - x_j)$, where $M$ ranges over all matchings of $G$. For the complete graph $K_n$, the latter span is a direct sum of two-row Specht modules (one in each degree); thus its Hilbert series is that of the Catalan triangle, and, in characteristic zero, the Dunkl matching algebra can be presented by linear and quadratic relations. For arbitrary graphs, we formulate the saturation problem of deciding when the selected matching Specht generators $p_M$ in a given degree $k$ span the full two-row Specht module $S^{(n-k,k)}$. We show that saturation in degree $k$ forces $k$-connectivity, that saturation in degree $2$ is equivalent to $2$-connectivity, and that $k$-linked graphs are saturated in degree $k$. We also prove saturation in every possible degree whenever the complement of $G$ is a matching. We show that the Dunkl matching algebra equals the full matching algebra exactly for forests, and give an explicit Hilbert series formula for unicyclic graphs.

We give an algorithm counting the permutations that avoid a fixed pattern of the following form: the direct sum of an increasing pattern and 231. The first members of the family are 1342 and 12453. For each member the algorithm uses polynomially many operations and stored integers, with degrees that grow linearly in the length of the pattern. It comes from a recurrence that reads a permutation from left to right and records the constraints that the letters read so far impose on those still unread. This recurrence has exponentially many states, but part of each state is protected: later steps carry it along unchanged and do not depend on it, and factoring the protected part out leaves a dynamic program of polynomial size. For 12453 a translation symmetry sharpens the bounds to degree seven for the operations and degree four for the storage. We also compute the number of 12453-avoiding permutations of every length up to 150. The previously published series, due to Biers-Ariel (2019), reached length 38. We also give a sampler of uniformly random avoiders. A floating-point implementation of it, proved to be within total variation distance $3.5\cdot10^{-5}$ of uniform for ideal random bits, draws the one million 12453-avoiding permutations of length 300 shown in a heatmap. The literal and kernel recurrences for 1342 and 12453 are verified in the Lean 4 proof assistant.

We prove that the generalized moment-cumulant relations introduced in [arXiv:1711.00219] are given by the action of the Eulerian idempotents on the Solomon-Tits algebras, whose direct sum builds up the Hopf algebra of Word Quasi-Symmetric Functions $\WQSym$. We prove $t$-analogues of these identities (in which the coefficient of $t$ gives back the original version), and a similar $t$-analogue of Goldberg's formula for the coefficients of the Hausdorff series. This amounts to the determination of the action of all the Eulerian idempotents on a product of exponentials.

The multiplication operator of an idempotent in a metrized commutative nonassociative algebra is a self-adjoint linear endomorphism whose spectrum reflects the algebraic and geometric structure encoded in the algebra. Although for general algebras the spectra of idempotents can behave arbitrarily, for the most interesting classes -- among them algebras of Clifford and Jordan type arising in geometry -- the spectrum is highly constrained. We consider a family of algebras determined by a partial Steiner triple system (PSTS) with blocks decorated by signs, each block determining an idempotent; even for the simplest PSTS the resulting algebras can be quite complicated. For decorations of the Grassmannian PSTS $G_2(m)$, whose blocks are $3$-subsets of an $m$-element set and whose points parametrize an underlying incidence geometry, the spectra behave rigidly: the spectrum with multiplicity of a block idempotent is a function of a single combinatorial parameter, the number of negatively signed Pasch configurations -- quadrilateral subconfigurations -- containing the block. The resulting block spectra organize into a spectral profile, recovered by binomial inversion from a hierarchy of moment invariants. For a distinguished family of decorations, the associated algebras are axial algebras satisfying a fusion law independent of $m$, and for these algebras there is given an alternative explicit matrix model exhibiting the rigidity directly; the even part of this model is a direct sum containing a polar algebra summand, linking the construction to polar algebras and symmetric Clifford systems.

Let $P$ be a finite connected poset and let $Λ_P$ be the opposite endomorphism algebra of the direct sum of all interval representations of $P$ over a field. Via projectivization, this algebra governs resolutions relative to interval-decomposable representations, which arise naturally in persistence theory. We first show that $Λ_P$ carries a Reedy algebra structure in the sense of Dalezios--Šťov\'ıček. Its Reedy degree is given by the cardinality of the indexing interval, and the induced quasi-hereditary order is given by reverse interval cardinality. With respect to the resulting quasi-hereditary structure, we give a concrete combinatorial description of the standard modules and construct explicit projective resolutions of these modules. Using these resolutions, we reduce the calculation of standard--simple Ext groups to the reduced cohomology of simplicial complexes determined by the interval combinatorics. Order reversal gives the corresponding simple--costandard formula. Building on these calculations, we determine all simple--simple Ext groups. These groups are one-dimensional in a unique degree when the corresponding pair of intervals is saturated, and vanish otherwise. As a consequence, we obtain an exact combinatorial formula for the global dimension of $Λ_P$, which in particular shows that it is independent of the coefficient field. As an application, for the $m$ by $\ell$ grid $G_{m,\ell}$ with $m\geq\ell\geq2$, we give the explicit formula $\operatorname{gldim}Λ_{G_{m,\ell}}=\min\{2\ell,m+\ell-2\}$. This also gives an explicit formula for the interval-resolution global dimension of these grids, settling the corresponding grid conjectures of Asashiba--Escolar--Nakashima--Yoshiwaki and determining the stable value and the precise stabilization threshold.

In this paper, we settle a conjecture of Polujan and Pott by constructing an explicit, infinite family of Maiorana--McFarland bent functions $f_t$ in $2(2^t-1)$ variables with algebraic degree $°(f_t) = t + 1$ for any integer $t \ge 2$. Our construction builds upon a minimal commutative algebra $I_t$, which naturally induces a triangular set-partition polynomial permutation $P_t$. By identifying an elementary abelian subgroup within the direct sum $ I_t \oplus I_t^*$, we establish an explicit nonlinear coordinate transformation that pulls $f_t$ back to a canonical quadratic form. This linearizes the translation development $\operatorname{Dev}(D_{f_t})$ under an exotic group structure and proves that it is isomorphic to the classical symplectic design $S^\pm(2(2^t-1))$, thereby fully resolving the conjecture.

For a partition $λ$, let $G_λ^{(β)}$ be the stable $β$-Grothendieck polynomial attached to $λ$. Each homogeneous component of the $β= 1$ specialization $G_λ^{(1)}$ is Schur-positive and hence positive in the fundamental basis of quasisymmetric functions. For $m\ge|λ|$, let $G_{λ,m}^{(1)}$ be the homogeneous degree $m$ component of $G_λ^{(1)}$. In this paper, we first give a direct proof of an expansion of $G_{λ,m}^{(1)}$ in the fundamental basis in terms of standard set-valued tableaux. We then use these tableaux as a basis to define a module of the $0$-Hecke algebra and show that the quasisymmetric characteristic of the resulting module is $G_{λ,m}^{(1)}$. We further show that this module decomposes as a direct sum of weak Bruhat interval modules.

For irreducible components $C_σ$ of Lusztig's nilpotent varieties of type $A$ with graded dimension $(1,2,\dots,n,n-1,\dots,1)$ arising from permutations $σ\in S_n$, we characterize the property that $C_σ\oplus C_σ$ is an irreducible component combinatorially in terms of $σ$. The permutations that occur, which we call \emph{pseudosmooth}, are described by a recursion on direct sums and deleting suitable corners, whose terminal cases are the permutations obtained from \[ 3412,\quad 4231,\quad 35142,\quad 42513,\quad 45312,\quad 426153,\quad 463152,\quad 526413 \] by inflating the entries into consecutive decreasing blocks. The main new input is a hereditary property valid for decompositions of multisegments with disjoint extreme points.

We present improved upper bounds for nine entries of the standard tables of bounds on K_q(n,R), the minimum cardinality of a q-ary code of length n with covering radius R, for q in {6,7}: K_6(7,3)<=232, K_6(8,3)<=1045, K_6(8,4)<=167, K_6(9,4)<=703, K_6(9,5)<=123, K_6(10,4)<=2951, K_6(10,5)<=610, K_7(8,4)<=329, and K_7(9,4)<=1743. The previous best bounds, recorded in Keri's tables (last updated 2011), all arose from general constructions (direct sums and related product rules) rather than from explicit search; to our knowledge these are the first improvements to any upper bound on K_q(n,R) with q>=5 since 2011. The new bounds were found by focused local search seeded with the construction-based incumbents. All nine codes are given explicitly in the ancillary files, together with a standalone verifier; each code was checked by four independent exhaustive verification methods.

We develop a measure-theoretic analogue of matroid theory on standard atomless measure spaces. Motivated by the quotient-convergence framework for submodular set functions, our aim is to identify suitable measurable objects on the limit side of finite matroid theory and to develop their basic structural and optimization theory. We prove that measurable matroids admit equivalent descriptions by independent sets, bases, rank functions, and closure operators. The class includes normalized finite matroids, cycle matroids of graphings, and measurable analogues of partition, nested, lattice path, transversal, and matching matroids. We establish measurable analogues of truncation, elongation, direct sum, duality, and minors. We prove measurable versions of Edmonds' matroid intersection theorem and the Edmonds--Fulkerson matroid union theorem, together with an attainment theorem for common bases. The intersection theorem retains the classical min--max form, with the maximum replaced in general by a supremum. Applied to partition matroids, it gives an exact Hall-deficiency formula for measurable matchings in bipartite graphings and a min--max theorem for continuous bipartite $b$-matchings, with applications to capacity-constrained transport and prescribed cross-sections. We give a rank-expansion criterion under which the supremum is attained. For bipartite graphings, this criterion specializes to the measurable perfect matching theorem of Lyons and Nazarov. For measurable union, the Edmonds--Fulkerson rank formula remains valid. As a main application of measurable union and its attainment theorem, we prove measurable Nash-Williams--Tutte theorems for graphings, characterizing approximate coverings and packings by hyperfinite essential spanning forests and obtaining exact decompositions under strengthened rank inequalities.

We disprove Rota's conjecture that the counts of flats in a matroid according to rank form a unimodal sequence. Furthermore, we show that this sequence can have arbitrarily many peaks. The construction starts by finding a generalized theta graph for which log-concavity fails severely. By taking direct sums, we break log-concavity in many places. We then use Whittle's $q$-lift construction to produce a matroid whose flat counts have many peaks.

We study subhomogeneity of the minimal operator system over a polyhedral cone, or equivalently the size of irreducible Arveson boundary points of free polyhedra. We obtain a complete classification in dimension three for cones (equivalently, dimension two for polytopes): cones with three extreme rays are 1-subhomogeneous, cones with four extreme rays are 2-subhomogeneous, and cones with at least five extreme rays are not subhomogeneous. In the last case, we construct irreducible Arveson boundary points at every even matrix level. We prove that subhomogeneity passes to faces and face quotients. We also determine the size of irreducible Arveson boundary points of free polyhedra over products of two simplices, obtaining a dichotomy between the product of two segments and all remaining cases. As applications, we classify n-dimensional cones with n+1 extreme rays. More generally, when every facet omits at most two extreme rays, we show that subhomogeneity occurs exactly for direct sums of simplicial cones and three-dimensional four-ray cones. We also construct, for a range of fixed dimensions and ray counts, cones exhibiting both subhomogeneous and non-subhomogeneous behavior.

Two general estimates govern the rank of an $h$-scattered $q$-system: the scattered upper bound and the lower bound for systems maximal under inclusion. We determine exactly when they coincide. Besides $m=h+1$ and $m=h+2$, equality occurs precisely when $h$ is even, $m=h+3$, and $k\equiv h/2\pmod{h+1}$. We also prove rigidity in the first two cases: every extremal system is equivalent to either $\mathbb{F}_q^k$ or a direct sum of elementary Gabidulin systems and $\mathbb{F}_q$-directions. For $h=m-3$ and $k=\ell(m-2)+s$, with $1\leq s<(m-2)/2$, the two bounds differ by one, apart from one boundary case. Starting from an arbitrary maximum scattered $q$-system, we construct extremal quasi-maximum $(m-3)$-scattered systems of rank $\ell m+s$. Every such extension preserves lower bounds on the generalized rank weights of the initial code. When an explicit independence condition holds, the construction also produces a nondegenerate dual pair of quasi-MRD codes. We parametrize these extensions by subspaces of a quotient space and derive a uniform lower bound on the number of inequivalent outputs. Known order-two families yield codes separated from every nontrivial direct sum under an explicit numerical condition, while higher-order families are separated from a specified order-one direct-sum class. We conclude with a fully explicit binary example.

We introduce the weak limited augmented Zarankiewicz number $z_{WL}(m,n)$ by relaxing the generalized cycle-free conditions previously used to establish lower bounds for the biquadratic sum-of-squares (SOS) rank. The key innovation is a recursive weakening of Condition~2: we define a dependency graph on nondegenerate 2-edges and require that it be acyclic, together with a technical condition that if a nondegenerate 2-edge has both opposite cells occupied by 1-edges, then the associated biquadratic form must decompose as a direct sum of independent blocks. We prove that these weak conditions suffice for irreducibility of the associated doubly simple biquadratic form, yielding the inequality chain $$ \operatorname{BSR}(m,n) \ge z_{WL}(m,n) \ge z_L(m,n) \ge z(m,n), $$ where $\operatorname{BSR}(m,n)$ is the maximum SOS rank among all $m\times n$ biquadratic forms, $z_L(m,n)$ is the limited augmented Zarankiewicz number, and $z(m,n)$ is the classical Zarankiewicz number. As a concrete application, we construct a $5 \times 3$ augmented graph with two 2-edges that satisfies the weak conditions but violates the original definition. This establishes $$ z_{WL}(5,3) \ge 10, $$ improving the previous limited augmented value \(z_L(5,3)=9\). Consequently, $$ \operatorname{BSR}(5,3) \ge 10. $$

Cayley codes, introduced by Kaufman and Wigderson, are linear codes constructed from a Cayley graph and a smaller linear code. We explore general properties of the class of Cayley codes for finite groups. In particular we give a reduction to Cayley codes for connected Cayley graphs that maintains code properties such as rate, minimum distance and symmetry. Also, for a given Cayley code, we identify a family of symmetric Cayley codes, each associated with a normal edge-transitive Cayley graph, such that the given Cayley code embeds into the direct sum of the symmetric Cayley codes. We analyse several families of examples, in particular studying the behaviour of the Cayley code construction under forming direct products and cartesian products of Cayley graphs, and we pose a number of open questions.