arXiv++ Combinatorics

A permutation of the multiset $\{1^m,2^m,\dots,n^m\}$ is a canon permutation if the subsequence formed by the $j$th copy of each element of $[n]:=\{1,2,\dots,n\}$ is identical for all $j\in[m]$. Canon permutations were introduced by Elizalde and are motivated by pattern-avoiding concepts such as (quasi-)Stirling permutations. He proved that the descent polynomial of canon permutations exhibits a surprising product structure; as a further consequence, it is palindromic. Our goal is to understand canon permutations from the viewpoint of Stanley's $(P,ω)$-partitions, along the way generalizing Elizalde's definition and results. We start with a labeled poset $P$ and extend it in a natural way to canon labelings of the product poset $P \times [n]$. The resulting descent polynomial has a product structure which arises naturally from the theory of $(P,ω)$-partitions and simplifies existing proofs. When $P$ is graded, this theory also implies palindromicity. We include results on weak descent polynomials, an amphibian construction between canon permutations and multiset permutations, giving rise to dissonant canon permutations, as well as $γ$-positivity and interpretations of descent polynomials of canon permutations.

Orbit-span and dimension problems for designs have been studied in several classical association schemes using a variety of methods. Recently, through a detailed analysis of total trades, Ghorbani et al. showed that the orbit of a fixed combinatorial design asymptotically attains the full dimension permitted by the design equations. Analogous dimension-saturation results for the global spans of index-one designs in the bilinear forms and Grassmann schemes were obtained via laborious eigenvalue computations. In this paper, we work with the top fiber $X$ of a graded poset carrying a compatible transitive action of a finite group $G$, and assume that the induced Schurian association scheme on $X$ is commutative. For the multiplicity-free decomposition $\mathbb{C}^{X}=U_{0}\oplus U_{1}\oplus\cdots\oplus U_{m}$, we prove that, under explicit spectral and quantitative conditions, the $G$-orbit of the characteristic vector of any $t$-design spans the maximal submodule $U_{0}\oplus U_{t+1}\oplus U_{t+2}\oplus\cdots\oplus U_{m}$ allowed by the $t$-design definition. We verify these conditions asymptotically for the Hamming, bilinear forms, Johnson, and Grassmann schemes. This recovers the fixed-orbit saturation theorem of Ghorbani et al. for combinatorial designs, gives a new result for orthogonal arrays, and asymptotically extends the previous bilinear forms and Grassmann results to orbit spans of individual designs of arbitrary fixed index.

For a finite subset $I$ of positive integers, the descent polynomial $\mathcal{D}(I;n)$ counts the number of permutations in $S_n$ that have descent set $I$. We generalize descent polynomials by considering permutations with a specific subset $S$ of common inversions called $\mathbf{h}$-inversions, where $\mathbf{h} = (\mathbf{h}(1), \mathbf{h}(2), \ldots )$ is a weakly increasing sequence of positive integers such that $\mathbf{h}(i)> i$. We prove that this more general count, denoted by $\mathcal{I}_\mathbf{h}(S;n)$, is also a polynomial. We give three explicit expansions for $\mathcal{I}_\mathbf{h}(S;n)$, prove the coefficients for two of these expansions are log-concave, and define a graded generalization.

Exceptional CR-quadrics are studied. An example of an exceptional (4,4)-quadric is constructed; it realizes the minimum exceptional type with respect to both n and k. Its graded Lie algebra is described. The available information on exceptional types is summarized, and the lattice of CR-types is decomposed into the disjoint union of three sets: A, the types for which exceptional quadrics are impossible; B, the types for which examples of exceptional quadrics are known; and C, the types whose status is currently unknown (neither an example nor a nonexistence proof is known). Several questions are posed.

We study graph systems generated by $Δ$-Y and Y-$Δ$ moves and prove that, for initial graphs of minimum degree at least $7$, $Δ$-Y moves alone generate every reachable graph. As a consequence, for $n\ge 8$, the $Δ$-Y system generated from the complete graph of $n$ vertices is canonically isomorphic as graded directed graphs to the space of partial Steiner systems on $n$ points.

We prove that the magnitude of the tope graph of a simple oriented matroid is the specialization at $x=-1$ of the motivic zeta function of its underlying matroid. This refines the Las Vergnas--Zaslavsky theorem and defines magnitude for arbitrary matroids. For simple orientable matroids, we compute the order of the pole at $q=-1$ from chains of flats and identify it with the Varchenko--Gelfand degree of the tope parity function. Comparing pole orders, we construct a rank-six real arrangement $\mathcal A$ such that $\operatorname{Mag}(\mathcal A;-t)$ has infinitely many negative coefficients, disproving Koizumi--Liu's eventual sign alternation conjecture. We then construct a canonical multiplicative Varchenko--Gelfand filtration on the mod-$2$ magnitude cohomology of a simple oriented matroid and show that its graded dimensions recover the full motivic zeta function.

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.

Let $I$ be a monomial ideal in a standard graded polynomial ring and let $\overline{I}$ denote its integral closure. We study the relationship between $\mathrm{v}(I)$ and $\mathrm{v}(\overline{I})$. We prove that $\mathrm{v}(\overline{I}) \leq \mathrm{v}(I)$ for monomial ideals in two variables, for equigenerated monomial ideals in three variables and for several special classes of monomial ideals, while providing examples showing that this inequality does not hold in general. For the edge ideal $I(G)$ of a connected graph $G$, we show that $\mathrm{v}(I(G)^k)=\mathrm{v}(\overline{I(G)^k}) = 2k-1$ for all $k \geq 1+|E(G)|$. Moreover, when $G$ is disconnected, we prove that $\mathrm{v}(\overline{I(G)^k})\leq\mathrm{v}({I(G)^k})$ for all sufficiently large $k$.

Graded Möbius algebras were a key tool in the proof of the Dowling-Wilson Top Heavy Conjecture. They are commutative algebras whose Hilbert functions recover the Whitney numbers of the second kind, i.e. the number of flats of a given rank. The graded Betti numbers of the defining ideal of a graded Möbius algebra refine the Hilbert function and describe its minimal free resolution. In this paper we derive precise formulas for the graded Betti numbers of the defining ideals of graded Möbius algebra for any uniform matroid. We also study when the graded Möbius algebra of an arbitrary matroid is linearly presented.

The equivalence classes of boundary conditions of a gauge theory on a two-dimensional orbifold are the fibres of a marginal map, indexed by an affine semigroup: one generator per alphabet label, graded by weight, embedded by its local data at the fixed points. This note identifies that semigroup. Without weights the configuration has a name and a literature, whose results about our cases are attributed here: over $\mathbb{Z}_2$ it is the cut configuration of an explicit graph in the sense of Sturmfels-Sullivant --- the four-cycle for $T^2/\mathbb{Z}_2$, the wheel $W_4$ for $S^1/\mathbb{Z}_2\times S^1/\mathbb{Z}_2$ --- verified as an equality of configurations; over $\mathbb{Z}_m$ with equal cone orders, the group-based phylogenetic model on a claw tree; with unequal orders, a mixed-order variant we do not find in the literature; for higher products, the binary hierarchical model of a cross-polytope boundary complex. The product orbifold's ring is a row of a 2008 table --- codimension, degree, minimal generators, normality --- every invariant of which our machinery reproduced without knowing of it. What none of the three covers is the alphabet with weights, which arise from induction to higher-dimensional irreducibles of a non-abelian space group and from conjugate-pair recombination over real or quaternionic ground. That sector is adjacent to, but not identified with, the non-abelian direction Sturmfels and Sullivant raised in 2005, and is where our contributions sit: gluing trees for the weighted alphabets and the orthogonal and symplectic columns, and the group-based model on the tripod, a complete intersection exactly when the finite abelian group has order at most three. The first group beyond $\mathbb{Z}_3$ separates local from global: the $\mathbb{Z}_4$ tripod is a complete intersection on the Zariski-open set the phylogenetics literature works in, and not globally.

We develop a localized persistent theory of commutative algebra for Stanley-Reisner rings, based on local cohomology supported at a coordinate prime rather than at the maximal ideal. The construction is modeled on the persistent Stanley-Reisner theory of Suwayyid and Wei (arXiv:2503.23482) and its functorial development for graphs and hypergraphs (arXiv:2512.17619), in which invariants of the face ring such as graded Betti numbers and f- and h-vectors are persisted across a filtration. That framework is built from the minimal free resolution and is thus Tor-theoretic; we work instead on the injective side, and the resulting modules record information localized at a single vertex, complementing the global picture given by maximal-support local cohomology. For a vertex prime $p_i = (x_j : j \neq i)$ we prove an exact $\mathbb{Z}^n$-graded decomposition of $H^q_{p_i}(k[Δ])$ into the maximal-support local cohomology of the deletion and of the link of the vertex $i$, the first in $x_i$-degree zero and the second repeated in every positive $x_i$-degree; at the level of graded dimensions this recovers the vertex-prime case of Rahimi's bigraded formula. With Hochster's formula this yields a closed combinatorial description of every multigraded piece. Building on this structure we introduce per-vertex persistent local cohomology numbers, prove a persistent links-Hochster formula, obtain interval decompositions of the resulting reversed-arrow persistence modules and a bottleneck stability theorem, retain multiplication by the uninverted variable as a morphism of persistence modules that the two barcodes alone do not determine, and extend the theory to an arbitrary coordinate prime, where the multiplication maps of the uninverted variables assemble into a commuting Boolean diagram of persistence modules.

By a simple homogenization process, one may turn a $q$-analog into a symmetric $(q,t)$-analog. Although simple, this bijective correspondence makes many concepts and identities become more natural, and proofs follow readily from classical properties of symmetric functions in two variables. A more intricate non-homogeneous extension is also developed. We illustrate this approach, revisiting recent developments in the study of $γ$-positivity, Lucas analogues, and the monoid of Cyclotomic generating functions. This also leads naturally to new constructions and conjectures. We further explore other avenues of investigations, included graded and equivariant $γ$-positivity and $γ$-anti-positivity (also known as alternatingly $γ$-positive).

For a row-finite weighted graph $(E,w)$, Preusser showed that the monoid $\mathcal{V}(L_k(E,w))$ of finitely generated projective modules over the weighted Leavitt path algebra $L_k(E,w)$ is isomorphic to a combinatorially defined weighted graph monoid $\mathcal{M}(E,w)$. We study two structural properties of $\mathcal{M}(E,w)$: confluence and cancellativity. We introduce a reduction system on the free commutative monoid presenting $\mathcal{M}(E,w)$, obtain sufficient conditions for non-confluence by constructing explicit non-confluent triples, and provide a complete confluence characterization for certain classes of weighted graphs. Turning to cancellativity, we work within Preusser's class of weighted graphs satisfying Condition (LPA), for which $L_k(E,w)$ is isomorphic to an unweighted Leavitt path algebra $L_k(F)$ via a two-step construction. We introduce an auxiliary graph associated to the intermediate step of this construction and use it to give a graph-theoretic characterization of when $\mathcal{M}(E,w)$ is cancellative. Finally, under Condition (LPA), we show that Preusser's construction upgrades to a graded isomorphism $L_k(E,w) \cong_{\operatorname{gr}} L_k(F)$ with respect to the standard $\mathbb{Z}^{λ(E,w)}$-grading of weighted Leavitt path algebras, yielding $\mathcal{V}^{\operatorname{gr}}(L_k(E,w)) \cong \mathcal{V}^{\operatorname{gr}}(L_k(F))$ as $\mathbb{Z}^{λ(E,w)}$-monoids.

In this article, we construct noncommutative cluster varieties, $\mathcal{A}_{R,S}$, for each reduced root system $R$ and marked surface $S$ simultaneously generalizing the cluster varieties of Fock-Goncharov, Li, Goncharov-Shen, Berenstein-Retakh, Goncharov-Kontsevich, and our previously introduced polygonal cluster algebras. Additionally, we define a large class of algebraic groups, we call Jordan split groups. Given a reduced root system $R$ and a family of Jordan algebras, the Lie algebra for $G$ is constructed by unifying the Tits-Kantor-Koecher construction for a single Jordan algebra with the construction of a split Lie algebra. The notion of Jordan split groups is closely related to a grading of its Lie algebra by the root system $R$. We show that these gradings are usually induced by a choice of standard parabolic subalgebra $\mathfrak{p}_Θ$ and we classify $R$-graded pairs $(G,Θ)$ via a condition depending only on the subset $Θ\subset Δ$ of the set of simple roots. Next, we define Jordan algebra points of $\mathcal{A}_{R,S}$ which parameterize $G$-local systems on $S$ with boundary decoration related to cosets $G/U_Θ$ when $G$ is Jordan split of type $R$. When $S$ is a disk, points of $\mathcal{A}_{R,S}$ parameterize configurations of decorated flags. We use this to give noncommutative cluster structures on the double $R$-Bruhat cells of $G$, generalizing the cluster algebras of Berenstein-Fomin-Zelevinsky. When each Jordan algebra is formally real, we say that $G$ has a positive structure with respect to $Θ$. This defines a positive semigroup in $G$. For real algebraic groups, the pairs $(G,Θ)$ which have positive structures are exactly those which admit a positive structure as defined by Guichard-Wienhard and we give algebraic proofs of many of the properties of positive configurations of flags and of positive representations.

We prove that the $q$-Ehrhart series of a hyperplane slice of a cube is a rational function with an explicit denominator that satisfies $q$-reciprocity, confirming a conjecture of Reiner and Rhoades for these polytopes. To do this, we find a generating set for the orbit harmonics ideal, which also yields the Hilbert series and graded Frobenius characteristic of the associated quotient. We further show that the harmonic algebra of a hypersimplex $Δ$ is generated as an algebra by the harmonic space of $Δ$ using structural results on 2-factors of regular multigraphs. In particular, the harmonic algebra is finitely generated, giving a second proof of rationality.

An equivalent formulation of the Riemann hypothesis recently led to a partition expansion naturally indexed by diagonals of the Young lattice. Segovia isolated the hook families $(r,1^m)$ on these diagonals and computed their limiting contributions $ρ_r$, while observing that non-hook families provide a missing contribution. We introduce a bivariate finite generating function that packages all Young shapes on every fixed-excess diagonal at once. For each fixed $r\geq1$, we obtain a diagonal generating polynomial $D_r(n;z)$ and prove \[ A_r(n)\sim C_r\,n\log\log n, \] where $C_r$ is the $(r-1)$st coefficient of an explicit convergent infinite product. Moreover, \[ C_r=\sum_{ν\vdash r-1} C_ν, \] giving a canonical decomposition over the partitions of the excess $r-1$. The one-part contribution is Segovia's hook constant $ρ_r$, while the remaining terms give all non-hook corrections simultaneously. We then refine these constants by introducing coefficients $C_{r,d}$ that record simultaneously the Young-lattice excess $r-1$ and the number $d$ of non-unit rows. Row sums recover the fixed-excess constants $C_r$, while column sums recover the depth decomposition in an Abel-regularized multiple-zeta expansion of $e^γ$. More precisely, each partition $ν\vdash r-1$ is identified with an Abel-regularized multiple-zeta block of depth $\ell(ν)$. Thus the same array $(C_{r,d})$ organizes the decomposition simultaneously by Young-lattice excess and multiple-zeta depth. Our results concern the combinatorial and asymptotic structure of this decomposition, rather than the Riemann hypothesis itself.

Let $\mathsf{P}$ be a finite graded poset and $Δ_a^{\mathsf{P}}$ the height-$a$ thickening of its diagonal. We study the \emph{window convolution} $C_a=q_{1\sharp}(k_{Δ_a^{\mathsf{P}}}\otimes^{\mathbf L}q_2^\ast(-))$ on $\mathrm{Shv}(\mathsf{P};k)$. An interleaving distance needs the left derived $\mathbb{L}C_a$ to compose as a flow, $\mathbb{L}C_a\mathbb{L}C_b\simeq\mathbb{L}C_{a+b}$; the total meet functor $Φ$ gives rise to the canonical comparison. Finality is sufficient, and necessary where the finality defect of $Φ$ is essential; where $Φ$ is total at a minimal apex with unit windows, it is the failure of a length-two interval to have a single interior element. The flow fails at every branching length-two interval, and with it on the face poset of every finite regular cell complex of dimension $\ge2$. It survives on tame posets, where $\mathrm{id}\Rightarrow\mathbb{L}C_a$ gives a canonical extended interleaving pseudometric on $\operatorname{D^{b}}(\mathrm{Shv}(\mathsf{P};k))$; in the saturation cases computed here it takes no finite value above the length of $\mathsf{P}$, and is finite if and only if the derived colimits agree.

Let $M$ be a simple matroid and let $B(M)$ be the graded Möbius algebra of its lattice of flats. The ordered-basis weights of flats define an inner product for which the adjoints of atom multiplication become ordinary coordinate derivatives under the basis-polynomial realization. From this, we construct a canonical global lowering operator $D_β$ which acts as ordinary differentiation on a canonical ``radial'' copy of a truncated polynomial algebra. Allowing both $D_β$ and the coordinate derivatives to act produces a graded cyclic module with Hilbert series \[ H_{β,M}(q)=\sum_{k=0}^r h_k^β(M)q^k. \] We give examples of matroids with the same Derksen $\mathcal G$-invariant and the same classical apolar Hilbert series but different $H_β$. Hence $H_β$ cannot be the restriction to simple matroids of a valuative matroid invariant. We conjecture that $H_β$ is log-concave and top-heavy in differential degree. For the generalized theta family containing Larson's counterexample to Whitney log-concavity, we compute the first four coefficients and prove the critical log-concavity inequality. Exact computation verifies both conjectures for all $950$ simple matroids on eight elements.

We prove an asymptotic structural property of generic initial ideals. This single phenomenon yields results on Hilbert functions, persistence, hyperplane restriction, graded Betti numbers, combinatorial shadow minimization, and Lefschetz properties.

For every finite-rank crystallographic affine Coxeter system $(W,S)$ and Coxeter element $c$, we construct a minimal linear graded free resolution of the trivial module over $k[M([1,c]_T)]$ supported on a rectified exceptional cluster complex. Hence the affine dual braid monoid algebra is Koszul over every field $k$. The exceptional complex is introduced to recover the principal-fibre topology missing from the direct Reading--Stella labelling. Half-orbit rectification replaces the transjective root labels by ordinary exceptional modules, so that a face $F$ determines an exceptional wide subcategory and the intrinsic weight \[ ω(F)=\operatorname{cox}(\operatorname{wide}\langle F\rangle). \] The resulting principal fibres are induced subcomplexes and split canonically as joins of subcomplexes attached to connected Dynkin and affine blocks; these subcomplexes are contractible. Affine non-lattice divisibility creates the genuinely nonprincipal case. The McCammond--Sulway completion shows that whenever no greatest interval right divisor exists, all maximal interval right divisors share a common nontrivial complete finite Coxeter component. In the associated exceptional-wide decompositions, this common Coxeter component is the Coxeter element of a Dynkin block, and the subcomplex attached to that block occurs as a common contractible join factor. Thus every nonidentity fibre is contractible, and the weighted-face complex is exact, minimal and linear. In particular, $\operatorname{Tor}^{A_c}_q(k,k)$ is indexed by $q$-vertex exceptional cluster faces in internal degree $q$, and $\operatorname{pd}_{A_c}k=|S|$.