arXiv++ Combinatorics

We prove that no strongly regular graph with parameters $(266, 45, 0, 9)$ exists. The proof is formalized in Lean 4 and Mathlib without external infeasibility certificates or assumed classification theorems. A hypothetical graph gives a rank-$12$ integral Gram lattice with an integral centroid. A Lorentzian change of form, a marked $D_7$ gluing, and an explicit rank-six complement produce a positive-definite even unimodular lattice of rank $24$, together with the original indexed family of $220$ vectors. Harmonic theta identities and a root-isolation inequality force the root system $A_{11} \perp D_7 \perp E_6$. First and second moments then exclude the possible complements: the final case reduces to an impossible binary projection identity $4x + 4y - 2z = 50$. A type-$A$ subcase is closed by a separate classification-free proof of the known nonexistence of a quasi-symmetric $2$-$(56, 12, 9)$ design with intersections $0, 3$. That argument constructs a Krein graph and forces a Steiner $3$-$(12, 4, 1)$ design, contradicting its replication equation. The formal theorem depends only on the three standard Lean axioms and has also been checked independently with nanoda. The archived formalization is release v2.0.0.

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.

Let Phi be an irreducible reduced crystallographic root system of rank r, and let N be the number of positive coroots. A previous theorem (arXiv:2608.16363, Theorem 3.3) identifies the first pole below 2/h as q_2 = (r-1)/(N-1) and expresses its residue as a sum of periods attached to the simple walls of the dominant chamber. We evaluate that wall-period sum for all four classical families. The identity q_2 (N-1) = r-1 removes the radial variable from every wall integral. The resulting projective integrals reduce to mixed Dotsenko-Fateev chambers in type A_r, to those chambers together with a Selberg endpoint in types B_r and C_r, and to a single chamber family in type D_r. The chamber recurrences give explicit sine weights in types A, B, and C. In type D, a terminating basic-hypergeometric sum at a root of unity reduces to a finite cyclotomic product. We also show that the corresponding exceptional wall restrictions are not reflection arrangements, so this particular reduction does not extend directly to the exceptional types.

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.

We derive the equality between one-dimensional sums associated with tensor products of Kirillov-Reshetikhin column crystals of classical affine types and Lusztig q-analogues of weight multiplicities. The matching of the corresponding root systems is suggested by Howe duality. Our main tool is the dual Cauchy formula for Koornwinder polynomials due to Mimachi, which we combine with specializations in these polynomials. The mentioned dualities are proved for one-dimensional sums of all (twisted and untwisted) classical affine types except types B_n^(1) and D_n^(1). On another hand, all the Lusztig q-analogues of classical type are covered by our dualities, but they may have different parameters depending on the length of the roots in the underlying root system.

For an acyclic cluster algebra, the $c$-vectors are, up to sign, the real Schur roots of the associated root system. We study the two-coordinate projections $(c_v, c_w)$ of this configuration: when the difference $c_v - c_w$ is bounded the image lies in a band of lattice lines, and we ask when the projection fills that band. A band-existence dichotomy, valid in every acyclic type, shows the difference is bounded if and only if the null root satisfies $δ_v = δ_w$. For affine type $\widetilde{A}_n$ (the annulus), in the source-sink orientation, we resolve the filling question completely: every coordinate projection fills its band except along the source-sink diagonal, which carries only the finite regular part. The obstruction is the Auslander--Reiten defect, which a projection sees on its diagonal exactly when the defect is a coordinate difference; the only such pair is the source-sink pair of $\widetilde{A}_n$, so the pattern depends on the chosen seed. More generally, every banded pair of null-root coefficient one fills, except these diagonals. Off the diagonal a banded pair in $\widetilde{E}_7$ fails to fill, so non-filling is not confined to type $\widetilde{A}_n$; a computation classifies the pairs of coefficient at least two over a range of affine types, where this $\widetilde{E}_7$ pair is the only further failure, and the general classification remains open.

We use perfect matchings and labelled Fano planes to construct and study the $2025$ orthogonal bases of positive roots in the $E_8$ root system. The set of these bases forms a highly structured, Bruhat-like graded poset $(Ω, \leq_Q)$ whose rank function can be computed from the cardinalities of so-called generalized Rothe diagrams. We give combinatorial characterizations of these diagrams in terms of matchings and Fano planes, and we explain how to compute the ranks of the elements of $Ω$ using suitable combinatorial statistics such as the weights of perfect matchings. We establish simple formulas for the rank generating functions of $Ω$ and of its 50 congruence classes under a natural order congruence relation. Our derivation of the generating functions contains some intermediate results on general perfect matchings and labelled Fano planes that can be stated without mentioning root systems and may be of independent interest.

We prove that the Opdam-Cherednik kernel, also known as the nonsymmetric Opdam hypergeometric function, can be written as the Laplace transform of a positive measure supported on the convex hull of the Weyl group orbit of its argument. As a consequence, the trigonometric Dunkl intertwining operator is positivity preserving. The main ingredient in the proof is a new formula for the Opdam-Cherednik kernel as a degeneration of nonsymmetric Macdonald polynomials. As a further application, we prove majorization inequalities for Macdonald polynomials and Heckman-Opdam hypergeometric functions associated with arbitrary root systems.

Condorcet domains are subsets of permutations that ensure pairwise majority voting yields acyclic outcomes, and they form an active area of research at the intersection of social choice theory and combinatorics. In this paper, we extend the theory of Condorcet domains to the broader setting of arbitrary finite Coxeter groups. The core contribution of our approach is the introduction of Condorcet root posets, defined on the chosen root systems. Notably, we establish a natural bijection between closed Condorcet domains and Condorcet root posets, which facilitates the study of Condorcet domains. Using this correspondence, we extend the median graph representation of closed Condorcet domains to arbitrary finite Coxeter groups, demonstrating that these domains can be characterized by the skeletons of their associated Condorcet root posets. These results are novel even in type $A$. Furthermore, these posets give a unified language that efficiently captures a wide range of desirable properties of Condorcet domains, such as being maximal, connected, peak-pit, and of tiling type. Using this framework, we strengthen and generalize several classical results: we establish that a maximal Condorcet domain is connected if and only if it is peak-pit; we prove that the tiling-type property is equivalent to the combination of being maximal and connected, and having maximal width; and we show that strictly positive voting profiles on connected Condorcet domains yield outcomes with only simple ties.

We introduce and study integral planes associated with crystallographic and non-crystallographic integral systems in real composition algebras. For an integral order $\Order$ in such an algebra we define the plane $\Order^{2}$ with quadratic form $Q(x,y)=\NN(x)+\NN(y)$, the axis shell, the balanced shell, and the corresponding unit-normalised spherical polytopes. For ten crystallographic orders we recover, in one uniform construction, the orthogonal-direct-sum root systems $2A_{1}$, $A_{2}\oplus A_{2}$, $4A_{1}$, $D_{4}\oplus D_{4}$, $16A_{1}$, and $E_{8}\oplus E_{8}$ (with classical-polytope realisations including the square, the 16-cell, the 24-cell, and the Gosset polytope $4_{21}$); for two non-crystallographic orders we obtain $H_{2}\oplus H_{2}$ (decagonal tegum) and $H_{4}\oplus H_{4}$ (600-cell tegum) over $\Z[\golden]$. We prove a rank-obstruction theorem that closes, unconditionally and by a purely Coxeter-theoretic argument, the existence question for an indecomposable rank-eight golden octonion order: no such order can exist. On the balanced shell side, we identify the genuine algebraic Hopf map $\Hopfmap_{A}(a,b)=(2a\bar b,\NN(a)-\NN(b))$ and prove that its restriction to the balanced shell is a finite principal fibration of the unit loop, valid both for the associative case and for the alternative Moufang case.

In this note, we establish the periodicity of chains of affine standard Lyndon words in all types and determine tight bounds on that periodicity, greatly generalizing the $A$-type results of arXiv:2305.16299. Our approach crucially utilizes the convexity and monotonicity of arXiv:2505.15432 together with the new idea to consider the polarization of the root system given by increasing and decreasing chains.

Balanced and well-balanced subsets of the set of positive roots of compact Lie algebras arise naturally in problems related to Hermitian and spin geometry. In this paper we compute the maximal and minimal size of well-balanced subsets in all simple root systems.

The extended affine Weyl group of a root system is the semidirect product of the corresponding Weyl group by its coweight lattice. The stabilizer subgroup of the extended affine Weyl group with respect to the corresponding fundamental alcove induces a subgroup of automorphisms of the extended Dynkin diagram. In this paper, we construct a finite root system by folding by the elements of the subgroup.

An equivariant characteristic quasi-polynomial is a quasi-polynomial in $q$ consisting of the permutation character on the mod $q$ complement of the corresponding Coxeter arrangement. This concept is a refinement of the conventional characteristic quasi-polynomials of root systems. In this paper, we will show equivariant-theoretic refinements of the some properties of characteristic quasi-polynomials of root systems. Furthermore, we will explicitly compute equivariant characteristic quasi-polynomials of all irreducible reduced root systems and discuss the relationship with root systems constructed by the folding of the extended Dynkin diagrams.

Given a root system $R$, two roots are said to be \emph{strongly orthogonal} if neither their sum nor difference is a root. Gashi defined a family of graphs with vertices labelled by sums of $k$-element strongly orthogonal subsets of roots, and edges connect vertices whose difference is also a vertex. Gashi and the current authors established Erdős--Ko--Rado type results for graphs developed from Type $A$ root systems. In this paper, we study graphs developed from the exceptional root systems $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$. We compute graph-theoretic invariants including regularity, connectivity, and clique numbers, and analyze clique structures with respect to sunflower properties. The automorphism group contains the Weyl group; we use these symmetries to obtain complete counts of maximum cliques and maximum sunflowers. Unlike type $A$, where all maximal cliques are sunflowers for large rank, sunflower cliques comprise at most 11\% of maximum cliques in the simply-laced exceptional types $E_6$, $E_7$, and $E_8$.

We introduce and study the notion of entropy of affine permutations and prove that it coincides with the atomic length associated with the sum of the fundamental weights for a type $A$ affine root system, as defined by the first two authors. We then establish an analogue of the Granville-Ono theorem by showing that any nonnegative integer can be realised as the entropy of an affine permutation or alternatively, as the size of a core multipartition as introduced by the last two authors. Our proof uses an additive combinatorics theorem due to Hall on difference sets of permutations modulo $n$. More generally, we give a polynomial expression of the atomic length associated with any dominant weight in affine type $A$ and investigate the problem of its universality. Beyond type $A$, we are able to prove that the entropy of affine type $C_n$ permutations is universal when $2n+1$ is prime. This is achieved by establishing an analogue of Hall's theorem for the hyperoctahedral group based on Alon's combinatorial Nullstellensatz. We also propose conjectures generalising the results presented in the paper, each supported by computational evidence. Finally, we show that in any affine classical type, the problem of the universality of the atomic length simplifies in large rank when the weight considered is conveniently adjusted.

A classic result of Conway and Coxeter on frieze patterns has been generalized to a bijection between $p$-angulations of regular polygons and frieze patterns of type $Λ_p$. One of the features of Conway-Coxeter theory is a combinatorial procedure to obtain from the triangulation all entries of the corresponding frieze pattern. We first present a combinatorial algorithm, involving Chebyshev polynomials, for obtaining from a dissection all entries of the corresponding frieze pattern. As an application we obtain a characterisation of frieze patterns of types $Λ_4$ and $Λ_6$ in terms of all entries (not only the quiddity cycle). We then study infinite frieze patterns of type $Λ_p$, which appeared in a preprint by Banaian and Chen, generalizing the infinite frieze patterns of positive integers studied by Baur, Parsons and Tschabold. As our main result we obtain a combinatorial model for infinite frieze patterns of type $Λ_p$, these are in bijection with certain $p$-angulations of an infinite strip. This extends results by Baur, Parsons and Tschabold from $p=3$ to arbitrary $p\ge 3$, and also provides new insight in the classic case. Infinite frieze patterns of positive integers appear in the context of Weyl groupoids. In the final section we extend this to infinite frieze patterns of type $Λ_p$ for any $p\ge 3$ by introducing a generalization of Cartan graphs and Weyl groupoids. We show that, up to equivalence, there is a 1-1 correspondence between connected simply connected Cartan graphs of type $Λ_p$ of rank two with infinitely many vertices permitting a root system and infinite frieze patterns of type $Λ_p$.

In accordance with the Cameron-Goethals-Seidel-Shult Classification Theorem, we extend the characterization of Hoffman colorability of line graphs from (Abiad, Bosma, Van Veluw, 2025) to all connected graphs with smallest eigenvalue at least $-2$; we give a characterization of Hoffman colorability of generalized line graphs, and we completely classify the Hoffman colorable exceptional graphs. The 245 Hoffman colorable exceptional graphs from this classification admit a natural partial ordering, and we determine the 29 graphs that are maximal in this respect, in a way similar to the classification of maximal ($E_8$-representable) exceptional graphs as described in (Cvetković, Rowlinson, Simić, 2004). Lastly, as a byproduct and also similarly as in (loc. cit.), we determine all 39 graphs that are maximal with respect to being representable in the $E_7$ root system.

We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, addressing the limitations of traditional recursive and asymptotic methods. By introducing the Simplicial Successive Decomposition (SSD) framework, we demonstrate that the partition polytope $\mathcal{P}_{n,k}$ is not an arbitrary geometric object, but admits a rigid minimal unimodular triangulation into exactly $N_k = \binom{k}{2}$ simplices. This cardinality is determined by the positive root system of the $A_{k-1}$ Weyl chamber.We decompose Euler's generating function into a finite sum of simplicial rational transforms. By applying Brion's localization theorem and the negative binomial expansion, we derive an exact closed-form formula with $O(1)$ computational complexity. The validity of the model is confirmed through Ehrhart-Macdonald reciprocity, ensuring accuracy in the "Core Collapse" regime where the polytope's interior is empty and continuous volume approximations are inapplicable.

This paper establishes a novel combinatorial framework at the intersection of Lie theory and algebraic combinatorics, based on a generalization of the Kostant game. We begin by reviewing the foundations of root systems, the classification of Dynkin diagrams, and the structure of Weyl groups. Subsequently, we analyze the original Kostant game as a tool for generating positive roots, demonstrating its unique termination on simply-laced diagrams and its role in an alternative classification thereof. The main contribution of this work -- which, to our knowledge, has not been studied before -- is a multi-vertex generalization of the game that allows for the simultaneous modification of multiple vertices of a Dynkin diagram. We prove that the resulting configurations of this new game establish a natural bijection with the elements of the quotient W/W_J of Weyl groups by parabolic subgroups. This formalism is applied to problems in algebraic geometry, specifically addressing cases of the Mukai conjecture via Hilbert polynomials, and is accompanied by a computational implementation in Java. These results offer new combinatorial perspectives for studying root counting problems, the regularity of reduced word languages, and the construction of Young Tableaux.