arXiv++ Combinatorics

Let $(W,S)$ be a Coxeter system and let $J\subseteq S$. The right $J$-ascent set $$ A_R^J(w)=\{s\in S\mid ws\in{}^JW,\ \ell(ws)=\ell(w)+1\} $$ is a natural refinement of the classical ascent set adapted to the parabolic quotient ${}^JW$. We establish a local transition formula describing the behaviour of $J$-ascent sets under right multiplication by a simple reflection. As a consequence, for every $w\in{}^JW$ and every $s\in A_R^J(w)$, we prove that $$ \Bigl||A_R^J(w)|-|A_R^J(ws)|\Bigr| \leq \max\{1,\text{deg}(s)-1\}. $$

For a Coxeter system $(W,S)$ of finite rank and an involutive automorphism $\ast:W\to W$ which preserves $S$, we prove that the length-generating function $\sum_{z\in\mathbf{I}_{W,\ast}}q^{\ell(z)}$ of the set of $\ast$-twisted involutions is rational. We derive recurrence relations analogous to the well-known recurrence relations expressing the growth series $W(q):=\sum_{w\in W}q^{\ell(w)}$ in terms of the growth series $W_I(q)$ of the parabolic subgroups of $W$. Our result extends to any subset $\mathcal{C}$ of $\ast$-twisted involutions that is closed under $\ast$-twisted conjugation. We use these recurrence relations to give an alternative proof of a power-series identity for twisted involutions due to Lusztig.

Let $\mathcal I_n^B$ be the involutions of the hyperoctahedral group $\mathfrak B_n$, and let $\des^B$ denote the descent number with respect to the natural Coxeter order. We derive the fixed-point-refined Worpitzky identity \[ \sum_{n\ge0}\frac{\mathcal F_n(p,t)\,z^n}{(1-t)^{n+1}} =\sum_{m\ge0} \frac{(1+pz)^m\,t^m}{(1-pz)^{m+1}(1-z^2)^{m(m+1)}}, \quad \mathcal F_n(p,t)=\sum_{π\in\mathcal I_n^B}p^{\fixB(π)}t^{\des^B(π)}. \] Extracting the stratum with $j$ two-cycles and $f$ fixed positions yields a one-parameter deformation of the fixed-point-free Worpitzky series of Wan, Gao, Li and Yang. After the change of variables $x=t/(1+t)^2$, this deformation becomes a positive binomial transform. More precisely, if \[ P_j(x)=\sum_sD_{2j,s}x^s \] is the fixed-point-free $γ$-polynomial, then the transform coefficients $A_{j,r}(x)$ are determined by \[ \sum_{r\ge0}A_{j,r}(x)W^r =\sum_{s=0}^{j}D_{2j,s}x^s (1+4xW)^{2j-2s}(1+2W+4xW^2)^s, \] and the $γ$-polynomial of the $(j,f)$-stratum is \[ Φ_{j,f}(x)=\sum_{r=0}^{f}\binom fr A_{j,r}(x). \] This manifestly positive transform is the main structural result of the paper. As consequences, every fixed cycle-type stratum is $γ$-positive and $\mathcal F_n(p,t)$ is coefficientwise $γ$-positive in the fixed-point variable $p$. The cases $f=0$ and $p=1$ recover, respectively, the fixed-point-free theorem of Wan--Gao--Li--Yang and the all-involution theorem of Cao--Liu. We also give explicit formulas for the first binomial layers and for the strata with one and two two-cycles.

Let $(W,S)$ be a finite Coxeter system and let $\mathcal K\subseteq 2^S$ be a simplicial complex. We define a parabolic bar complex ${\mathcal B}_{\mathcal K}(W)$ and prove a decomposition indexed by $w\in W$ in which the $w$-summand is a relative order-complex chain complex determined by the right descent set ${\operatorname{Des}_{R}}(w)$. An explicit integral Morse reduction identifies this summand, up to the Schubert shift $2\ell(w)+1$, with the augmented chains of the induced subcomplex $\mathcal K_{{\operatorname{Des}_{R}}(w)}$. For Weyl groups the complex is the cellular chain complex of \[ {X_{\mathcal K}}(G)={\operatorname*{hocolim}}_{I\in\mathcal K} G/G_I, \] so its homology is a descent-weighted Hochster decomposition. We prove functoriality and a homotopy-detection theorem for inclusions of indexing complexes, an Alexander-duality symmetry for generalized homology spheres, and, for simple $G$, a rigidity theorem characterizing the boundary simplex among the homology-sphere members of the family. For $G=(SU(2))^r$ the construction agrees up to homotopy with $(D^3,S^2)^{\mathcal K}$, and matroid independence complexes give a Tutte-polynomial specialization. The boundary-simplex case recovers the two-generator integral Morse model of the unit adjoint sphere.

In the spirit of Conway and Coxeter, we classify all $\mathbf{Y}$-frieze patterns of type $A_n$. In particular, we settle a conjecture made by de Saint Germain that all such $\mathbf{Y}$-frieze patterns arise from Conway-Coxeter frieze patterns. Moreover, our approach naturally leads to the enumeration of these $\mathbf{Y}$-frieze patterns in terms of Fuss-Catalan numbers.

In this paper we study irreducible simplicial arrangements of projective planes in $\mathbb{P}^{3}(\mathbb{R})$ from combinatorial and projective geometry viewpoints. We first formulate a simpliciality criterion in terms of incidences between rank-two and rank-three flats, together with equivalent formulations using face numbers, reduced restrictions, and characteristic polynomials. We also relate the classical planar restriction data of Grünbaum-Shephard to Ziegler multirestrictions. Our principal result concerns the rank-four special-vertex property: among the irreducible crystallographic Coxeter arrangements of rank four, the arrangements of types $A_4$ and $B_4$ admit a special vertex, whereas those of types $D_4$ and $F_4$ do not. A simplicial deletion chain inside $B_4$ supplies further irreducible examples with a special vertex. Finally, we compare rank-flat, Purdy-type, and Grünbaum-Shephard defects for these arrangements.

Let $W$ be an affine Coxeter group of type $\widetilde{A}_n$, that is, the affine symmetric group $\widetilde{S}_N$ with $N=n+1$, let $T$ be its set of reflections, and let $\mathrm{Red}_T(w)$ be the set of reduced reflection factorizations of an element $w\in W$. The braid group acts on $\mathrm{Red}_T(w)$ by the Hurwitz action. For finite Coxeter groups it is known exactly when this action is transitive, namely precisely for the parabolic quasi-Coxeter elements. We address this problem for the affine type $\widetilde{A}_n$ by determining all orbits of $\mathrm{Red}_T(w)$.

Let $β$ be a coset incidence system and fix a type $j$. We use the orbits of the group of $β$ on pairs of distinct $j$-elements to define a Coxeter graph. The action on the $j$-elements induces an action on the corresponding Coxeter group, so the twisting construction for coset incidence systems can be applied. The resulting coset geometry, called the $j$-diagonals twisting, is always a regular hypertope if $β$ is a regular hypertope. Using this, we show that finite regular hypertope whose diagram is a tree with all but one of the labels equal to four always exist. We also define an extension operation that combines this Coxeter graph with another given Coxeter graph. For regular polytopes, these constructions recover the twisting extensions of McMullen and Schulte.

Several important fans studied at the interface of combinatorics and algebraic geometry arise from barycentric subdivisions of other fans; the central example is the braid arrangement. The collection of faces of the standard simplex forms a basis for the deformation cone of the braid arrangement, i.e. the cone of generalized permutahedra. We reinterpret this simplicial basis as the collection of deep truncations of the standard simplex, and systematically abstract this perspective to produce polytopal bases for the deformation cones of barycentric subdivisions of simplicial projective fans. We further demonstrate that these bases restrict to bases for deformation cones of fans obtained by a sequence of stellar subdivisions induced by a building set. When the starting polytope is smooth with all edge lengths equal to 1, we show that we can upgrade our basis to a collection of flat truncations. We then investigate two extensions of the braid arrangement where we are able to further upgrade our flat truncation basis to an indecomposable polytopal basis: 1.the barycentric subdivision of the normal fan of a product of standard simplices and 2.the barycentric subdivision of the braid arrangement. We discuss connections to, and implications for, Archimedean solids and regular polytopes, permutahedral plates, root polytopes, permutoassociahedra, simple permutonestohedra, cosmohedra, omnitruncations of Coxeter permutahedra, bipermutahedra, $π$-colored fans, and tropical $α$ and $β$ classes.

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|$.

We study subcategories of the module category of a finite-dimensional algebra that are closed under quotients or submodules. We propose the quotient--submodule equidistribution conjecture: over a representation-finite algebra, the number of quotient-closed subcategories of size $i$ is equal to that of submodule-closed subcategories of size $i$ for every $i$, where size is the number of indecomposable modules in the subcategory. We prove the following cases of the conjecture: (1) the five smallest and five largest values of $i$, hence all algebras with at most nine indecomposable modules; (2) Nakayama algebras; (3) algebras with radical square zero; and (4) representation-directed algebras. In the last case, we classify quotient-closed subcategories by a lower Bruhat interval in a Coxeter group constructed from the Auslander--Reiten quiver, extending the classification of Oppermann--Reiten--Thomas for Dynkin quivers. We also prove that quotient closure defines a finitary convex geometry and classify the functorially finite quotient-closed subcategories by Gen-minimal modules.

Discrete Convex Analysis (DCA) is a discrete analog of continuous convex analysis, originally proposed as a unified theoretical framework for efficiently solvable combinatorial optimization problems. Recently, DCA has proven to be a powerful tool across diverse fields, ranging from operations research to economics and pure mathematics. Motivated by the broad applicability of DCA, this paper establishes a unified theory of discrete convex analysis over discrete structures arising from classical root systems, extending the usual setting of the integer lattice, which essentially corresponds to type A. We adopt the vertex set of the Euclidean Coxeter complex as the primal discrete domain for L-convexity, and the root lattice as the dual discrete domain for M-convexity. Using the associated polyhedral structures, we formulate L- and M-convex functions together with notions of integrality determined by the root system. We show that local optimality guarantees global optimality for these functions. Furthermore, we establish that integral L-convex functions and integral M-convex functions correspond one-to-one via the discrete Fenchel--Legendre conjugate, thereby extending the conjugacy in the original DCA from type A to all classical root systems.

In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.

We show that the order dimension of the poset of regions in a simplicial hyperplane arrangement can exceed its rank, answering a question of Reading and Segovia. Examples are Coxeter arrangements \(H_4\) and \(E_6\), with \( \dim W(H_4) \geq 5\) and \( \dim W(E_6) \geq 7\).

The objective of this work is to determine optimal local restrictions on the coefficients of integer and Gaussian integer continued fractions that imply convergence. We identify all minimal restrictions involving words of length two in the integer case, and we identify all reversible minimal restrictions of length two in the Gaussian integer case. In the integer setting, our classification is equivalent to a classification of minimal unavoidable words of length two in Conway--Coxeter quiddity sequences. We also construct a canonical set of restrictions of infinite cardinality that is strictly stronger than every finite set of restrictions.

Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combinatorics. We introduce a technique that relates the dual braid group generators, the Hecke images of pure braids, and factorization problems in reflection groups to knot invariants. We prove that the $(a,z{=}0)$-HOMFLYPT polynomial can be computed as a solution to such a problem. This technique was motivated by Coxeter--Catalan combinatorics. For example, we give a new proof of EL-shellability of the noncrossing partition lattice using the image of the full twist in the Hecke algebra; in a surprising sort of combinatorial reciprocity, its inverse computes the homotopy type. Similarly, noncrossing partitions naturally arise from our construction applied to positive powers of the full twist, while cluster complexes come from the same construction applied to negative powers. In crystallographic type, we exploit the conjugacy of all Coxeter elements to give the first reflection subword models for rational noncrossing Catalan objects. Our reciprocity gives two models: one generalizing noncrossing partitions, and one generalizing clusters. Applying the same method produces two (rational) noncrossing parking models.

Let $W$ be an arbitrary Coxeter group. The shifted Bruhat interval $[w_1,w_2]\,x^{-1}$, the translate of the Bruhat interval $[w_1,w_2]$ by an element $x$, is partially ordered by the Bruhat order of $W$. These posets arise from affine pavings of Richardson varieties, and in general they are neither twisted intervals nor tilted Bruhat intervals. Our main result is that the shifted lower intervals $[e,w]\,x^{-1}$ are EL-shellable for every Coxeter group, via an explicit labeling of each cover by a reflection. Along the way we show that $[e,w]\,x^{-1}$ is a graded poset with a unique maximum given by the Demazure product and a unique minimum given by an opposite Demazure operator that we introduce.

We show that, up to isometry, there is exactly one compact hyperbolic Coxeter 6-polytope with 10 facets: the polytope $P_{6,10}$ whose Coxeter diagram appears as Figure 5 of Burcroff, attributed there to Bugaenko. Together with the results of Lannér, Kaplinskaja, Esselmann and Felikson-Tumarkin, and the independent classifications of Burcroff and Ma-Zheng in dimensions 4 and 5, this completes the classification of compact hyperbolic Coxeter $d$-polytopes with $d+4$ facets in every dimension. We enumerate all 387 candidate combinatorial types from the complete database of planar order types on 10 points via affine Gale duality, reduce to 11 types using two combinatorial consequences of Lannér's classification and the known classifications with $d+2$ facets and in dimension 5 with 9 facets, and decide those 11 by an exhaustive search over Coxeter labellings with no a priori bound on the dihedral angles. The search terminates with machine-checked exhaustion certificates, and the unique surviving Gram matrix is certified exactly over $\mathbb{Q}(\sqrt2,\sqrt5)$ and independently by CoxIter. The emptiness verdicts are exact as well: forward checking, by integer and real quadratic-field arithmetic, empties ten of the 11 types on its own, and every labelling that reaches a screen and is not accepted is refuted exactly over $\mathbb{Q}(\sqrt2,\sqrt3,\sqrt5)$, by the non-vanishing of a single determinant or, in 19 cases, by interval arithmetic on a compactified domain. No verdict rests on a floating-point tolerance or on a bound on the ultraparallel weights. The same code path, unchanged, reproduces the known censuses of 51 polytopes in dimension 5 and 348 in dimension 4. Code, data and certificates are publicly available. Most of the software was written by an AI assistant under the author's direction.

The existence of Hamilton cycles in connected vertex-transitive graphs is a core open problem in algebraic graph theory, originating from Lovász's 1969 conjecture. All connected vertex-transitive graphs of order $pq$ are known to be Hamiltonian except the Petersen graph, and primitive graph of order $2pq$ are resolved except the Coxeter graph. This paper considers connected vertex-transitive graphs of order $2pq$ where every transitive automorphism subgroup admits a maximal intransitive normal subgroup inducing prime-length orbits. We prove that all such graphs contain a Hamilton cycle, with no new exceptions beyond the already characterized non-qualifying graphs. This result covers a large non-quasiprimitive graphs of order $2pq$, advancing the full resolution of the $2pq$.

For an $n$-dimensional convex body $K$, let $θ_L(K)$ denote its lattice covering density. We prove that there is an absolute constant $C>0$ such that, uniformly over all such bodies, \[ θ_L(K) \le Cn\log n\,(\log\log n)^{10/3+o(1)}. \] The $o(1)$ term is independent of $K$. This improves the previous universal bound $O(n^2)$ of Ordentlich, Regev, and Weiss and, together with the classical linear lower bound of Coxeter, Few, and Rogers for Euclidean balls, determines the optimal polynomial growth exponent of the worst-case lattice covering density. The main innovation is a vertical--horizontal construction that converts a uniform weight estimate on the full Boolean cube into a lattice covering of any convex body. In a low-dimensional vertical space, folded Gaussians and a finite-field Kakeya theorem select, for every translate, a Boolean pattern with total normalized weight $d^{-5/2+o(1)}$. Gaussian marginals transfer the resulting weights to sections of the body, while entropy yields one horizontal lattice with a very small uncovered set. Finite-index lifting then assembles all shifts into a single lattice, and Rogers' completion lemma makes the covering exact.