arXiv++ Combinatorics

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.

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

In this paper we classify cubic vertex-transitive graphs of girth $7$, based on their signature. Such a graph is either a truncation of an arc-transitive dihedral scheme on a $7$-regular graph, the skeleton of a rotary map of type $\{7,3\}$, a member of an infinite family of Cayley graphs, or is one of the of the generalised Petersen graphs $\text{Pet}(13,5)$, $\text{Pet}(15,4)$, $\text{Pet}(17,4)$ or the Coxeter graph. We show that for a cubic vertex-transitive graphs $Γ$ of girth $7$, if every edge of $Γ$ is contained in the same number of $7$-cycles, then $Γ$ is also arc-transitive.

Genevois introduced and investigated mediangle graphs as a common generalization of median graphs (1-sekeleta of CAT(0) cube complexes) and Coxeter graphs (Cayley graphs of Coxeter systems) and studied groups acting on them. He asked if mediangle graphs can be endowed with the structure of a contractible cell complex. We answer this in the affirmative by proving that bipartite mediangle graphs are tope graphs of finitary Complexes of Oriented Matroids (COMs). We also show that the oriented matroids (OMs) constituting the cells of COMs arising from bipartite mediangle graphs are exactly the simplicial OMs.

Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph in a natural way. In a recent paper, Awik et al.~proved that when a Coxeter system is simply laced and triangle free (i.e., the corresponding Coxeter graph has no three-cycles), the braid graph for a reduced expression is a partial cube (i.e., isometric to a subgraph of a hypercube). In this paper, we will provide an alternate proof of this fact, as well as determine the minimal dimension hypercube into which a braid graph can be isometrically embedded, which addresses an open question posed by Awik et al. For our main result, we prove that braid graphs in simply-laced triangle-free Coxeter systems are median, which is a strengthening of previous results.

Let $SGL_n(\mathbb{F}_2)$ be the set of all invertible $n\times n$ symmetric matrices over the binary field $\mathbb{F}_2$. Let $Γ_n$ be the graph with the vertex set $SGL_n(\mathbb{F}_2)$ where a pair of matrices $\{A,B\}$ form an edge if and only if $\textrm{rank}(A-B)=1$. In particular, $Γ_3$ is the well-known Coxeter graph. The distance function $d(A,B)$ in $Γ_n$ is described for all matrices $A,B\in SGL_n(\mathbb{F}_2)$. The diameter of $Γ_n$ is computed. For odd $n\geq 3$, it is shown that each matrix $A\in SGL_n(\mathbb{F}_2)$ such that $d(A,I)=\frac{n+5}{2}$ and $\textrm{rank}(A-I)=\frac{n+1}{2}$ where $I$ is the identity matrix induces a self-dual code in $\mathbb{F}_2^{n+1}$. Conversely, each self-dual code $C$ induces a family ${\cal F}_C$ of such matrices $A$. The families given by distinct self-dual codes are disjoint. The identification $C\leftrightarrow {\cal F}_C$ provides a graph theoretical description of self-dual codes. A result of Janusz (2007) is reproved and strengthened by showing that the orthogonal group ${\cal O}_n(\mathbb{F}_2)$ acts transitively on the set of all self-dual codes in $\mathbb{F}_2^{n+1}$.

Given a Coxeter group $W$ with Coxeter system $(W,S)$, where $S$ is finite. We provide a complete characterization of Boolean intervals in the weak order of $W$ uniformly for all Coxeter groups in terms of independent sets of the Coxeter graph. Moreover, we establish that the number of Boolean intervals of rank $k$ in the weak order of $W$ is ${i_k(Γ_W)\cdot|W|}\,/\,2^{k}$, where $Γ_W$ is the Coxeter graph of $W$ and $i_k(Γ_W)$ is the number of independent sets of size $k$ of $Γ_W$ when $W$ is finite. Specializing to $A_n$, we recover the characterizations and enumerations of Boolean intervals in the weak order of $A_n$ given in arXiv:2306.14734. We provide the analogous results for types $C_n$ and $D_n$, including the related generating functions and additional connections to well-known integer sequences.

Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, we introduce an operator $τ_i\colon W\to W$ (depending on $\mathscr{L}$) that we call a noninvertible Bender--Knuth toggle; this operator restricts to an involution on $\mathscr{L}$ that coincides with $\mathrm{BK}_i$ in type $A$. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm{Pro}_c=τ_{i_n}\cdotsτ_{i_1}$. We say $W$ is futuristic if for every nonempty finite convex set $\mathscr{L}$, every Coxeter element $c$, and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm{Pro}_c^K(u)\in\mathscr{L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When $W$ is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of $W$, then $τ_{i_N}\cdotsτ_{i_1}(W)=\mathscr{L}$; this allows us to determine the smallest integer $\mathrm{M}(c)$ such that $\mathrm{Pro}_c^{\mathrm{M}(c)}(W)=\mathscr{L}$ for all $\mathscr{L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.

We study and classify a class of representations (called generalized geometric representations) of a Coxeter group of finite rank. These representations can be viewed as a natural generalization of the geometric representation. The classification is achieved by using characters of the integral homology group of certain graphs closely related to the Coxeter graph. On this basis, we also provide an explicit description of those representations on which the defining generators of the Coxeter group act by reflections.

A Coxeter group admits infinite-dimensional irreducible complex representations if and only if it is not finite or affine. In this paper, we provide a construction of some of those representations for certain Coxeter groups using some topological information of the corresponding Coxeter graphs.

After long term efforts, it was recently proved in \cite{DKM2} that except for the Peterson graph, every connected vertex-transitive graph of order $rs$ has a Hamilton cycle, where $r$ and $s$ are primes. A natural topic is to solve the hamiltonian problem for connected vertex-transitive graphs of $2rs$. This topic is quite trivial, as the problem is still unsolved even for that of $r=3$. In this paper, it is shown that except for the Coxeter graph, every connected vertex-transitive graph of order $2rs$ contains a Hamilton cycle, provided the automorphism group acts primitively on vertices.

We classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to the second-highest 2-sided cell in the sense of Kazhdan-Lusztig. We also give a description of the cell representation provided by this 2-sided cell, and find out all its simple quotients for simply laced Coxeter system with no more than one circuit in the Coxeter graph.

In this paper, we study the structure of braid graphs in simply-laced Coxeter systems. We prove that every reduced expression has a unique factorization as a product of so-called links, which in turn induces a decomposition of the braid graph into a box product of the braid graphs for each link factor. When the Coxeter graph has no three-cycles, we use the decomposition to prove that braid graphs are partial cubes, i.e., can be isometrically embedded into a hypercube. For a special class of links, called Fibonacci links, we prove that the corresponding braid graphs are Fibonacci cubes.

Simplicial arrangements are classical objects in discrete geometry. Their classification remains an open problem but there is a list conjectured to be complete at least for rank three. A further important class in the theory of hyperplane arrangements with particularly nice geometric, algebraic, topological, and combinatorial properties are the supersolvable arrangements. In this paper we give a complete classification of supersolvable simplicial arrangements (in all ranks). For each fixed rank, our classification already includes almost all known simplicial arrangements. Surprisingly, for irreducible simplicial arrangements of rank greater than three, our result shows that supersolvability imposes a strong integrality property; such an arrangement is called crystallographic. Furthermore we introduce Coxeter graphs for simplicial arrangements which serve as our main tool of investigation.

Given a real $n \times m$ matrix $B$, its operator norm can be defined as $$|B|=\max_{|v|=1}|Bv|.$$ We consider a matrix "small" if it has non-negative integer entries and its operator norm is less than $2$. These matrices correspond to bipartite graphs with spectral radius less than $2$, which can be classified as disjoint unions of Coxeter graphs. This gives a direct route to an $ADE$-classification result in terms of very basic mathematical objects. Our goal here is to see these results as part of a general program of classification of small objects, relating quadratic forms, reflection groups, root systems, and Lie algebras.

Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double coset are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element.

In this article, following [A.~Daneshgar, M.~Hejrati, M.~Madani, {\it On cylindrical graph construction and its applications}, EJC, 23(1) p1.29, 45, 2016] we study the spectra of symmetric cylindrical constructs, generalizing some well-known results on the spectra of a variety of graph products, graph subdivisions by V.~B.~Mnuhin (1980) and the spectra of GI-graphs (see [M.~Conder, T.~Pisanski, and A.~{Ž}itnik, {\it GI-graphs: a new class of graphs with many symmetries}, 40, 209--231 (2014)] and references therein). In particular, we show that for bsymmetric cylinders with no internal vertex the spectra is actually equal to the eigenvalues of a perturbation of the base, and using this, we study the spectra of sparsifications of complete graphs by tree-cylinders. We also, show that a specific version of this construction gives rise to a class of highly symmetric graphs as a generalization of Petersen and Coxeter graphs.

Boyd (1974) proposed a class of infinite ball packings that are generated by inversions. Later, Maxwell (1983) interpreted Boyd's construction in terms of root systems in Lorentz space. In particular, he showed that the space-like weight vectors correspond to a ball packing if and only if the associated Coxeter graph is of "level $2$." In Maxwell's work, the simple roots form a basis of the representations space of the Coxeter group. In several recent studies, the more general based root system is considered, where the simple roots are only required to be positively independent. In this paper, we propose a geometric version of "level" for the root system to replace Maxwell's graph theoretical "level." Then we show that Maxwell's results naturally extend to the more general root systems with positively independent simple roots. In particular, the space-like extreme rays of the Tits cone correspond to a ball packing if and only if the root system is of level $2$. We also present a partial classification of level-$2$ root systems, namely the Coxeter $d$-polytopes of level-$2$ with $d+2$ facets.

We study two families of polynomials that play the same role, in the generalized Temperley Lieb algebra of a Coxeter group, as the Kazhdan Lusztig and R polynomials in the Hecke algebra of the group. Our results include recursions, closed formulas, and other combinatorial properties for these polynomials. We focus mainly on non branching Coxeter graphs.

We introduce the notion of weighted Coxeter graph and associate to it a certain generalization of the standard geometric representation of a Coxeter group. We prove sufficient conditions for faithfulness and non-faithfulness of such a representation. In the case when the weighted Coxeter graph is balanced we discuss how the generalized geometric representation is related to the numbers game played on the Coxeter graph.