Abstract
Zigzags in thin chamber complexes are investigated, in particular, all zigzags in the Coxeter complexes are described. Using this description, we show that the lengths of all zigzags in the simplex \(\alpha _{n}\), the crosspolytope \(\beta _{n}\), the 24cell, the icosahedron and the 600cell are equal to the Coxeter numbers of \(\mathsf{A}_{n}\), \(\mathsf{B}_{n}=\mathsf{C}_{n}\), \(\mathsf{F}_{4}\) and \(\mathsf{H}_{i}\), \(i=3,4\), respectively. We also discuss in which cases two faces in a thin chamber complex can be connected by a zigzag.
1 Introduction
In the present paper, we investigate zigzags in thin chamber complexes which are interesting in the context of Tits buildings [15]. In fact, these are abstract polytopes, where all facets are simplices. The wellknown Coxeter complexes form an important subclass of thin chamber complexes. The zigzags in a complex are the orbits of the action of a special operator T on the set of flags of this complex. The operator T transfers every flag F to a flag whose faces are adjacent to the faces of F. The main question under discussion is the following: in which cases can two faces of a complex be connected by a zigzag?
The notion of Petrie polygon for polytopes is one of the central concepts of famous Coxeter’s book [2]. For embedded graphs the same objects appear as zigzags in [4, 6, 7], geodesics in [9] and leftright paths in [14]. Their highdimensional analogues are considered in [5, 16], see also [7, Chap. 8]. Following [4,5,6,7] we call such objects zigzags.
Consider an abstract polytope \({\mathcal P}\) of rank n and one of its flags F. Let \(X_{i}\) be the iface from this flag. There is the unique iface \(X'_{i}\) adjacent to \(X_{i}\) and incident to all other faces from \({\mathcal P}\). We define \(\sigma _{i}(F)\) as the flag obtained from F by replacing \(X_{i}\) on \(X'_{i}\) and introduce the operator
which acts on the set of all flags. In [5, 7] zigzags are defined as the orbits of this action. Similarly, for every permutation \(\delta \) on the set \(\{0,1,\ldots , n1\}\) we consider the operator
and come to generalized zigzags. Note that such objects were first considered in [16] and named Petrie schemes.
Now, let us consider the associated flag complex \({\mathfrak F}({\mathcal P})\) which is a thin chamber complex of the same rank n. In Sect. 3.4, we show that there is a natural onetoone correspondence between generalized zigzags in \({\mathcal P}\) and zigzags in \({\mathfrak F}({\mathcal P})\). For this reason, it is natural to restrict the general zigzag theory on the case of zigzags in thin chamber complexes and associated with the operator T only.
We describe all zigzags of Coxeter complexes in terms of Coxeter elements and show that the length of zigzags depends on the associated Coxeter number (Sect. 3.3). For example, the Coxeter complexes for \(\mathsf{A}_{n}\), \(\mathsf{B}_{n}=\mathsf{C}_{n}\), \(\mathsf{F}_{4}\) and \(\mathsf{H}_{i}\), \(i=3,4\), are the flag complexes of the simplex \(\alpha _{n}\), the crosspolytope \(\beta _{n}\), the 24cell, the icosahedron and the 600cell (respectively) and all zigzags in these complexes are induced by generalized zigzags in the above mentioned polytopes. In particular, this implies that the lengths of zigzags in the polytopes are equal to the corresponding Coxeter numbers. On the other hand, the Coxeter systems \(\mathsf{D}_{n}\) and \(\mathsf{E}_{i}\), \(i=6,7,8\), are related to the halfcube \(\frac{1}{2}\gamma _{n}\) and the \(\mathsf{E}\)polytopes \(2_{21}\), \(3_{21}\), \(4_{21}\) (respectively). However, the associated Coxeter numbers are different from the lengths of zigzags in the polytopes. We explain why this occurs.
We say that two faces are zconnected if there is a zigzag joining them. If a thin chamber complex is zsimple, i.e. every zigzag is not selfintersecting, then the zconnectedness of any pair of faces implies that the complex is a simplex. The main result of this part concerns the zconnectedness of facets (Theorem 4.7). We consider the graph consisting of all facets, whose edges are pairs intersecting in a ridge. We determine a class of path geodesics in this graph which can be extended to zigzags. For zsimple complexes, this gives the full description of path geodesics extendible to zigzags.
2 Thin Simplicial Complexes
2.1 Definitions and Examples
Let \(\Delta \) be an abstract simplicial complex over a finite set V, i.e. \(\Delta \) is formed by subsets of V such that every oneelement subset belongs to \(\Delta \) and for every \(X\in \Delta \) all subsets of X belong to \(\Delta \). Elements of \(\Delta \) are called faces and maximal faces are said to be facets. We say that \(X\in \Delta \) is a kface if \(X=k+1\). Recall that 0faces and 1faces are known as vertices and edges, respectively, and the empty set is the unique \((1)\)face. We will always suppose that the simplicial complex \(\Delta \) is pure, i.e. all facets are of the same cardinality n. Then the number n is the rank of the simplicial complex.
Our second assumption is that \(\Delta \) is thin. This means that every ridge, i.e. \((n2)\)face, is contained in precisely two distinct facets (cf. [15, Sect. 1.3]). Two facets are said to be adjacent if their intersection is a ridge.
Let k be a natural number not greater than \(n2\). If a \((k1)\)face Y is contained in a \((k+1)\)face Z, then there are precisely two kfaces \(X_{1}\) and \(X_{2}\) such that
(the set \(Z\setminus Y\) contains only two vertices and \(X_{1},X_{2}\) are the kfaces containing Y and one of these vertices). We say that two distinct kfaces \(X_{1}\) and \(X_{2}\) are adjacent if there exist a \((k1)\)face Y and a \((k+1)\)face Z satisfying the above inclusion.
For every \(k\in \{0,1,\ldots ,n1\}\) we denote by \(\Gamma _{k}(\Delta )\) the graph whose vertex set consists of all kfaces and whose edges are pairs of adjacent faces. This graph is one of socalled Wythoff kaleidoscopes [2]. Following [15, Sect. 1.3] we say that \(\Delta \) is a chamber complex if the graph \(\Gamma _{n1}(\Delta )\) is connected. This condition guarantees that \(\Gamma _{k}(\Delta )\) is connected for every k. Indeed, for any two kfaces X, Y with \(k<n1\) we take facets \(X',Y'\) containing X, Y (respectively); using a path in \(\Gamma _{n1}(\Delta )\) connecting \(X'\) with \(Y'\) we construct a path of \(\Gamma _{k}(\Delta )\) connecting X with Y.
Let us consider a connected simple graph. The path distance d(v, w) between vertices v and w in this graph is the smallest number d such that there is a path of length d connecting these vertices (see, for example, [3, Sect. 15.1]). Every path of length d(v, w) connecting v and w is called a geodesic. The path distance on \(\Gamma _{k}(\Delta )\) will be considered in Sect. 4.
Example 2.1
The nsimplex \(\alpha _{n}\) is the simplicial complex whose vertex set is the \((n+1)\)element set
and whose nonempty faces are proper subsets of \([n+1]\). The crosspolytope \(\beta _{n}\) is the simplicial complex whose vertex set is the set
and whose faces are all subsets \(X\subset [n]_{\pm }\) such that for every \(i\in X\) we have \(i\not \in X\). It is clear that \(\alpha _{n}\) and \(\beta _{n}\) are thin chamber complexes of rank n. Every \(\Gamma _{k}(\alpha _{n})\) is the Johnson graph \(J(n+1,k+1)\) and \(\Gamma _{n1}(\beta _{n})\) is the ndimensional cube graph.
Example 2.2
Let \(\Delta _{1}\) and \(\Delta _{2}\) be thin chamber complexes over sets \(V_{1}\) and \(V_{2}\), respectively. The join \(\Delta _{1}*\Delta _{2}\) is the simplicial complex whose vertex set is the disjoint union \(V_{1}\sqcup V_{2}\) and whose faces are all subsets of type \(X_{1}\sqcup X_{2}\), where \(X_{i}\in \Delta _{i}\). This is a thin chamber complex of rank \(n_{1}+n_{2}\), where \(n_{i}\) is the rank of \(\Delta _{i}\).
Example 2.3
Let \({\mathcal P}\) be a partially ordered set presented as the disjoint union of subsets \({\mathcal P}_{1},{\mathcal P}_{0},\ldots ,{\mathcal P}_{n1},{\mathcal P}_{n}\) such that for any \(X\in {\mathcal P}_i\) and \(Y\in {\mathcal P}_{j}\) satisfying \(X<Y\) we have \(i<j\). The elements of \({\mathcal P}_{k}\) are called kfaces. There is the unique \((1)\)face and the unique nface which are the minimal and maximal elements, respectively. Also, we suppose that every flag, i.e. a maximal linearly ordered subset, contains precisely n elements distinct from the \((1)\)face and nface. Then \({\mathcal P}\) is an abstract polytope of rank n if the following conditions hold:

(P1)
If \(k\in \{0,1,\ldots ,n1\}\), then for any \((k1)\)face Y and \((k+1)\)face Z satisfying \(Y<Z\) there are precisely two kfaces \(X_{i}\), \(i=1,2\), such that \(Y<X_{i}<Z\).

(P2)
\({\mathcal P}\) is strongly connected (see, for example, [12]).
Every thin chamber complex of rank n can be considered as an abstract npolytope whose \((n1)\)faces are \((n1)\)simplices. If \({\mathcal P}\) is an abstract npolytope, then the associated flag complex \({\mathfrak F}({\mathcal P})\) is the simplicial complex whose vertices are the faces of \({\mathcal P}\) and whose facets are the flags. This is a thin simplicial complex of rank n and (P2) guarantees that \({\mathfrak F}({\mathcal P})\) is a chamber complex.
A simplicial complex is kneighborly if any k distinct vertices form a face. Then \(\alpha _n\) can be characterized as the unique nneighborly thin chamber complex of rank n. We will use the following fact which follows from a more general result [8, p. 123].
Fact 2.4
If a thin chamber complex of rank n is kneighborly and \(k>\lfloor n/2\rfloor \), then it is the nsimplex \(\alpha _n\).
Example 2.5
The join \(\alpha _{n}*\alpha _{m}\) with \(n\le m\) is a thin chamber complex of rank \(n+m\) which is nneighborly and not \((n+1)\)neighborly.
2.2 Coxeter Complexes
Let W be a finite group generated by a set S whose elements are involutions and denoted by \(s_{1},\ldots ,s_{n}\). For any distinct \(i,j\in [n]\) we write \(m_{ij}\) for the order of the element \(s_{i}s_{j}\). Then \(m_{ij}=m_{ji}\ge 2\) and the condition \(m_{ij}=2\) is equivalent to the fact that \(s_{i}\) and \(s_{j}\) commute. We suppose that (W, S) is a Coxeter system, i.e. W is the quotient of the free group over S by the normal subgroup generated by all elements of type \((s_{i}s_{j})^{m_{ij}}\). The associated diagram \(\mathrm{D}(W,S)\) is the graph whose vertex set is S and \(s_{i}\) is connected with \(s_{j}\) by an edge of order \(m_{ij}2\) (the vertices are disjoint if \(m_{ij}=2\)). All finite Coxeter systems are known [11], in particular, every finite irreducible Coxeter system is one of the following:
For every subset \(I=\{i_{1},\ldots ,i_{k}\}\subset [n]\) we denote by \(W^{I}\) the subgroup generated by the set
In particular, for every \(i\in [n]\) the subgroup \(W^{i}\) is generated by \(S\setminus \{s_{i}\}\). The following properties are wellknown (see, for example, [1, Sect. 2.4]):

(C1)
\(W^{I}\cap W^{J}=W^{I\cup J}\) for any subsets \(I,J\subset [n]\),

(C2)
if \(v,w\in W\) and \(I,J\subset [n]\) then we have \(wW^{I}=vW^{J}\) only in the case when \(I=J\) and \(w^{1}v\in W^{I}\).
Also, we will use the following obvious equality:
The Coxeter complex \(\Sigma (W,S)\) is the simplicial complex whose vertices are subsets of type \(wW^{i}\) with \(w\in W\) and \(i\in [n]\). The vertices \(X_{1},\ldots ,X_{k}\) form a face if there exists \(w\in W\) such that
This face can be identified with the set
Every facet is of type \(\{wW^{1},\ldots ,wW^{n}\}\) and identified with the element w. So, there is a natural onetoone correspondence between facets of \(\Sigma (W,S)\) and elements of the group W.
Example 2.6
The Coxeter complexes for \(\mathsf{A}_{n}\), \(\mathsf{B}_{n}=\mathsf{C}_{n}\), \(\mathsf{F}_{4}\) and \(\mathsf{H}_{i}\), \(i=3,4\), are the flag complexes of \(\alpha _{n}\), \(\beta _{n}\), the 24cell, the icosahedron and the 600cell, respectively. Note that the 24cell is not a simplicial complex.
For every \(w\in W\) the left multiplication \(L_{w}\) sending \(vW^{i}\) to \(wvW^{i}\) is an automorphism of the complex \(\Sigma (W,S)\). Also, automorphisms of the diagram \(\mathrm{D}(W,S)\) (if they exist) induce automorphisms of \(\Sigma (W,S)\). The automorphism group of \(\Sigma (W,S)\) is generated by the left multiplications and the automorphisms induced by automorphisms of the diagram (this statement easily follows from [1, Corollary 3.2.6]).
The graph \(\Gamma _{n1}(\Sigma (W,S))\) coincides with the Cayley graph \(\mathrm{C}(W,S)\) whose vertex set is W and elements \(w,v\in W\) are adjacent vertices if \(v=ws_{i}\) for a certain \(s_{i}\in S\). Indeed, maximal faces \(\{wW^{1},\ldots ,wW^{n}\}\) and \(\{vW^{1},\ldots ,vW^{n}\}\) are different precisely in one vertex if and only if there is a unique \(i\in [n]\) such that \(wW^{i}\ne vW^{i}\), in other words,
and we get the required equality.
Example 2.7
For the dihedral Coxeter system \(\mathsf{I}_{2}(m)\) the Cayley graph is the (2m)cycle. The Cayley graph of \(\mathsf{A}_{n}\) is the 1skeleton of the permutohedron [17]; in the general case, the corresponding polytope is called a Wpermutohedron [10]. See [1, Figs. 3.3] for the Cayley graph of \(\mathsf{H}_{3}\).
The length l(w) of an element \(w\in W\) is the smallest length of an expression for w consisting of elements from S. Such an expression is called reduced if its length is equal to l(w). Note that elements in a reduced expression are not necessarily mutually distinct. The path distance between \(v,w\in W\) in the Cayley graph \(\mathrm{C}(W,S)\) is equal to \(l(v^{1}w)=l(w^{1}v)\).
3 Zigzags in Thin Simplicial Complexes
In this section, we will always suppose that \(\Delta \) is a thin simplicial complex of rank n over a finite set V. Sometimes, \(\Delta \) is assumed to be a thin chamber complex.
3.1 Flags
Every flag of \(\Delta \) can be obtained from a certain sequence of n vertices which form a facet. Indeed, if \(x_{0},x_{1},\ldots ,x_{n1}\) is such a sequence, then the corresponding flag is
Any reenumeration of these vertices gives another flag which contains the facet consisting of the vertices.
If F is the flag corresponding to a vertex sequence \(x_{0},x_{1},\ldots ,x_{n1}\), then the flag R(F) obtained from the reverse sequence \(x_{n1},\ldots , x_{1},x_{0}\) is called the reverse of F, in other words, the reverse of (2) is the flag
This definition is equivalent to [7, Def. 8.2].
Now, let F be the flag formed by \(X_{0}, \ldots , X_{n1}\), where every \(X_{i}\) is an iface. Then for every \(i\in \{0,\ldots ,n1\}\) there is the unique iface \(X'_{i}\) adjacent to \(X_{i}\) and incident to all other \(X_{j}\). We denote by \(\sigma _{i}(F)\) the flag obtained from F by replacing \(X_{i}\) on \(X'_{i}\). For every flag F we define
Suppose that F is the flag obtained from a vertex sequence \(x_{0},x_{1},\ldots ,x_{n1}\). There is the unique vertex \(x_{n}\ne x_{0}\) such that \(x_{1},\ldots ,x_{n}\) form a facet. An easy verification shows that T(F) is the flag corresponding to the sequence \(x_{1},\ldots ,x_{n}\).
Lemma 3.1
For every flag F we have \(\textit{TRT}(F)=R(F)\).
Proof
As above, we suppose that \(x_{0},x_{1},\ldots ,x_{n1}\) and \(x_{1},\ldots ,x_{n}\) are the sequences corresponding to the flags F and T(F), respectively. Then the sequence \(x_{n},\ldots ,x_{1}\) corresponds to the flag RT(F). This implies that \(\textit{TRT}(F)\) is defined by the sequence \(x_{n1},\ldots ,x_{1},x_{0}\) and we get the claim. \(\square \)
Using similar arguments we can prove the following.
Lemma 3.2
If A is an automorphism of \(\Delta \), then for every flag F we have \(AT(F)=\textit{TA}(F)\).
3.2 Zigzags and Their Shadows
For every flag F the sequence
(we assume that 0 belongs to \({\mathbb N}\)) is called a zigzag. Since our simplicial complex is finite, we have \(T^{l}(F)=F\) for some \(l>0\). The smallest number \(l>0\) satisfying this condition is said to be the length of the zigzag. For any number i the sequence
is also a zigzag; it is obtained from Z by a cyclic permutation of the flags. All such zigzags will be identified with Z.
The kshadow of a zigzag \(\{F_{i}\}_{i\in {\mathbb N}}\) is the sequence \(\{X_{i}\}_{i\in {\mathbb N}}\), where every \(X_{i}\) is the kface from the flag \(F_{i}\).
Proposition 3.3
Every zigzag can be uniquely reconstructed from any of the shadows.
Proof
Let \(Z=\{F_{i}\}_{i\in {\mathbb N}}\) be a zigzag of length l and let \(\{X_{i}\}_{i\in {\mathbb N}}\) be the kshadow of Z. The required statement is a consequence of the following two observations. If \(k>0\) then the \((k1)\)shadow is the sequence
Similarly, if \(k< n1\) then the \((k+1)\)shadow consists of all \(X_{i}\cup X_{i+1}\). \(\square \)
Proposition 3.4
If a sequence \(Z=\{F_{1},\ldots , F_{l}\}\) is a zigzag of length l, then the same holds for the sequence
Proof
If \(Z=\{F_{1},\ldots , F_{l}\}\) is a zigzag, then for every \(i\in [l]\) we have \(F_{i}=T^{i1}(F)\), where \(F=F_{1}\). By Lemma 3.1,
if \(i\ge 2\) and
This means that R(Z) is a zigzag of length l. \(\square \)
Following [7, Def. 8.2], we say that the zigzag R(Z) is the reverse of Z.
Remark 3.5
Let \(Z=\{F_{1},\ldots ,F_{l}\}\) be a zigzag. Denote by \(F^{k}_{i}\) the kface belonging to the flag \(F_{i}\). For every k the sequence \(F^{k}_{1},\ldots ,F^{k}_{l}\) is the kshadow of Z. The \((n1)\)shadow of the reverse zigzag is
Then, by Proposition 3.3, the \((n2)\)shadow of the reverse zigzag is
Step by step, we establish that
is the \((ni1)\)shadow of the reverse zigzag for every i satisfying \(1\le i\le n1\). In particular, if \(x_{1},\ldots ,x_{l}\) is the 0shadow of Z, then
is the 0shadow of R(Z).
Consider the flag F defined by a vertex sequence \(x_{0},x_{1},\ldots ,x_{n1}\), i.e.
There is the unique facet containing \(x_{1},\ldots ,x_{n1}\) and distinct from the facet of F. In this facet, we take the unique vertex \(x_{n}\) distinct from \(x_{1},\ldots ,x_{n1}\). It was noted above that T(F) is the flag
We apply the same arguments to the latter flag and get a certain vertex \(x_{n+1}\). Recurrently, we construct a sequence of vertices \(\{x_{i}\}_{i\in {\mathbb N}}\) such that \(T^{i}(F)\) is the flag
The sequence \(\{x_{i}\}_{i\in {\mathbb N}}\) is the 0shadow of the zigzag \(\{T^{i}(F)\}_{i\in {\mathbb N}}\). For every \(i\in {\mathbb N}\) the following assertions are fulfilled:

(Z1)
\(x_{i}, x_{i+1},\ldots , x_{i+n1}\) form a facet,

(Z2)
\(x_{i}\ne x_{n+i}\).
If l is the length of the zigzag, then \(l>n\) and \(x_{i+l}=x_{i}\) for all \(i\in {\mathbb N}\). The equality \(x_{i}=x_{j}\) is possible for some distinct \(i,j\in \{0,1,\ldots ,l1\}\) only in the case when \(ij>n\). We say that the zigzag \(\{T^{i}(F)\}_{i\in {\mathbb N}}\) is simple if \(x_{0},x_{1}.\ldots ,x_{l1}\) are mutually distinct. In this case, the kshadow is formed by l mutually distinct kfaces for every k. The complex \(\Delta \) is said to be zsimple if every zigzag is simple.
Proposition 3.6
If \(\{x_{i}\}_{i\in {\mathbb N}}\) is a sequence of vertices satisfying (Z1) and (Z2) for every i, then all flags of type (3) form a zigzag and \(\{x_{i}\}_{i\in {\mathbb N}}\) is the 0shadow of this zigzag.
Proof
Easy verification. \(\square \)
Suppose that a zigzag Z is the reverse of itself, i.e. R(Z) can be obtained from Z by a cyclic permutation of the flags. Then the 0shadow of Z is a sequence of type
and for a sufficiently large m the distance between two exemplars of \(x_{m}\) is not greater than n. This contradicts (Z1). So, every zigzag is not the reverse of itself. In what follows, every zigzag will be identified with its reverse.
We say that \(\Delta \) is zuniform if all zigzags are of the same length.
Lemma 3.7
If \(\Delta \) is zuniform and the length of zigzags is equal to l, then there are precisely n!N / 2l zigzags, where N is the number of facets in \(\Delta \).
Proof
By the definition, zigzags are the orbits of the action of the operator T on the set of flags. Thus, the sum of the lengths of all zigzags is equal to the number of flags. There are precisely n!N distinct flags. Since every zigzag is identified with its reverse, we get precisely n!N / 2l zigzags. \(\square \)
Example 3.8
There is a natural onetoone correspondence between zigzags of \(\alpha _{n}\) and permutation on the set \([n+1]\). Every zigzag is of length \(n+1\) and Lemma 3.7 implies that the number of zigzag is equal to \(\frac{n!}{2}\).
There is the following characterization of nsimplex in terms of the length of zigzags.
Proposition 3.9
Suppose that \(\Delta \) is a thin chamber complex. Then it contains a zigzag of length \(n+1\) if and only if it is the nsimplex \(\alpha _{n}\).
Proof
By Example 3.8, every zigzag in \(\alpha _{n}\) is of length \(n+1\). Conversely, suppose that Z is a zigzag of length \(n+1\). It follows from (Z1) and (Z2) that the 0shadow of Z consists of \(n+1\) mutually distinct vertices. Denote by X the subset of V formed by these \(n+1\) vertices. By (Z1), every nelement subset of X is a facet of \(\Delta \). Since every \((n1)\)element subset of X is the intersection of two such facets, the connectedness of \(\Gamma _{n1}(\Delta )\) guarantees that there are no other facets in \(\Delta \). \(\square \)
Example 3.10
The 0shadow of every zigzag in \(\beta _{n}\) is a sequence of the following type:
where \(i_{1},\ldots ,i_{n}\) form a facet. Thus, all zigzags are of length 2n. Since \(\beta _{n}\) has precisely \(2^{n}\) facets, Lemma 3.7 shows that there are precisely \(2^{n2}(n1)!\) zigzags.
The 0shadows of zigzags considered in Examples 3.8 and 3.10 consist of all vertices of the complex. For the general case this fails.
By Lemma 3.2, every automorphism of \(\Delta \) sends zigzags to zigzags. We say that \(\Delta \) is ztransitive if for any two zigzags there is an automorphism of \(\Delta \) transferring one of them to the other. The complexes \(\alpha _{n}\), \(\beta _{n}\) are ztransitive. Also, they are zsimple.
3.3 Zigzags in Coxeter Complexes
Let (W, S) be, as in Sect. 2.2, a finite Coxeter system and let \(s_{1},\ldots ,s_{n}\) be the elements of S. For every permutation \(\delta \) on the set [n] we consider the corresponding Coxeter element
It is wellknown that the order of this element does not depend on \(\delta \) [11, Sect. 3.16]. This order is denoted by h and called the Coxeter number. All Coxeter numbers are known [11, p. 80, Table 2]. Also, we denote by \(E_{\delta }\) the flag in \(\Sigma (W,S)\) obtained from the following sequence of vertices
The facet in this flag is identified with the identity element e. The second facet containing \(W^{\delta (2)},\ldots , W^{\delta (n)}\) is
This facet is identified with \(s_{\delta (1)}\). So, the flag \(T(E_{\delta })\) is defined by the sequence
The facet containing \(W^{\delta (3)},\ldots ,W^{\delta (n)},s_{\delta (1)}W^{\delta (1)}\) and distinct from \(s_{\delta (1)}\) is
This facet is identified with \(s_{\delta (1)}s_{\delta (2)}\) and the flag \(T^{2}(E_{\delta })\) is related to the vertex sequence
Similarly, we show that for every \(i\in [n1]\) the flag \(T^{i}(E_{\delta })\) is defined by the sequence
and the flag \(T^{n}(E_{\delta })\) corresponds to the sequence
Using (1) we rewrite the latter sequence as follows
Therefore,
(recall that \(L_{w}\) is the left multiplication sending every \(vW^{i}\) to \(wvW^{i}\), see Sect. 2.2). Since \(L_{s_{\delta }}\) is an automorphism of \(\Sigma (W,S)\), Lemma 3.2 implies that
for every \(i\in {\mathbb N}\), in particular,
Thus the length of the zigzag \(\{T^{i}(E_{\delta })\}_{i\in {\mathbb N}}\) is equal to nh and the 0shadow is
The \((n1)\)shadow of this zigzag is the following:
For every number \(m<h\) the element \(s^{m}_{\delta }\) does not belong to any \(W^{i}\) (see [16, Theorem 3.1]). This implies that the zigzag \(\{T^{i}(E_{\delta })\}_{i\in {\mathbb N}}\) is simple.
For every flag F in \(\Sigma (W,S)\) there exist \(w\in W\) and a permutation \(\delta \) on the set [n] such that \(F=L_{w}(E_{\delta })\). The automorphism \(L_{w}\) sends the zigzag \(\{T^{i}(E_{\delta })\}_{i\in {\mathbb N}}\) to the zigzag \(\{T^{i}(F)\}_{i\in {\mathbb N}}\). The 0shadow of the latter zigzag is
and the \((n1)\)shadow is
Since \(\Sigma (W,S)\) is zuniform and contains precisely W facets, we can find the number of zigzags in \(\Sigma (W,S)\) using Lemma 3.7.
So, we get the following.
Proposition 3.11
The following assertions are fulfilled:

(1)
the Coxeter complex \(\Sigma (W,S)\) is zsimple;

(2)
there are precisely \(W(n1)!/2h\) distinct zigzags in \(\Sigma (W,S)\) and the length of every zigzag is equal to nh, where h is the Coxeter number corresponding to (W, S) and \(n=S\);

(3)
the 0shadow and the \((n1)\)shadow of every zigzag in \(\Sigma (W,S)\) are described by the formulas (4) and (5), respectively.
The existence of an automorphism of \(\Sigma (W,S)\) transferring the flag defined by the sequence \(W^{1},\ldots ,W^{n}\) to the flag associated to the sequence \(W^{\delta (1)},\ldots ,W^{\delta (n)}\) is equivalent to the fact that the permutation \(\delta \) induces an automorphism of the diagram \(\mathrm{D}(W,S)\). So, \(\Sigma (W,S)\) is ztransitive only in some special cases when every permutation on the set [n] induces an automorphism of the diagram.
3.4 Generalized Zigzags
Let \(\delta \) be a permutation on the set \(\{0,1,\ldots ,n1\}\). Consider the operator
on the set of flags in \(\Delta \). For every flag F the sequence \(\{T^{i}_{\delta }(F)\}_{i\in {\mathbb N}}\) will be called a \(\delta \)zigzag. Also, we say that this is a generalized zigzag. As in Sect. 3.2, we define the length and shadows of generalized zigzags.
Remark 3.12
Let F be a flag in \(\Delta \) and let \(Z=\{F,T(F),\ldots ,T^{l1}(F)\}\) be the associated zigzag. The operator \(\tilde{T}=\sigma _{0}\sigma _{1}\cdots \sigma _{n1}\) coincides with \(T^{1}\) and we have
Therefore, \(\{F,\tilde{T}(F),\ldots ,\tilde{T}^{l1}(F)\}\) is the zigzag reversed to Z. Similarly, we show that the generalized zigzags defined by the operator \(\sigma _{\delta (0)}\sigma _{\delta (1)}\cdots \sigma _{\delta (n1)}\) are reversed to the generalized zigzags obtained from \(T_{\delta }\).
Let F be a flag of \(\Delta \) whose kface is denoted by \(X_{k}\) for every \(k\in \{0,1,\ldots ,n1\}\). This is a facet in the flag complex \({\mathfrak F}(\Delta )\) and we consider the zigzag Z in \({\mathfrak F}(\Delta )\) defined by the vertex sequence
where \(\delta \) is a certain permutation on the set \(\{0,1,\ldots ,n1\}\). Let \(\{Y_{i}\}_{i\in {\mathbb N}}\) be the 0shadow of this zigzag. Then
and \(Y_{n}\) is the \(\delta (0)\)face in the flag \(\sigma _{\delta (0)}(F)\). Similarly, \(Y_{n+1}\) is the \(\delta (1)\)face in the flag \(\sigma _{\delta (1)}\sigma _{\delta (0)}(F)\). Step by step, we establish that \(Y_{n+i}\) is the \(\delta (i)\)face in the flag
for every \(i\in \{0,1,\ldots ,n1\}\). Therefore, \(Y_{n},Y_{n+1},\ldots ,Y_{2n1}\) belong to the flag \(T_{\delta }(F)\). The same arguments show that \(Y_{kn+i}\) is the \(\delta (i)\)face in the flag \(T^{k}_{\delta }(F)\) for every \(k\in {\mathbb N}\) and \(i\in \{0,1,\ldots ,n1\}\). In other words, the 0shadow of Z is formed by the faces from the \(\delta \)zigzag \(\{T^{i}_{\delta }(F)\}_{i\in {\mathbb N}}\), i.e.
Thus the length of Z is equal to nl, where l is the length of \(\{T^{i}_{\delta }(F)\}_{i\in {\mathbb N}}\). It is trivial that Z is simple if and only if \(\{T^{i}_{\delta }(F)\}_{i\in {\mathbb N}}\) is simple. In particular, we have proved the following.
Proposition 3.13
There is a natural onetoone correspondence between zigzags in \({\mathfrak F}(\Delta )\) and generalized zigzags in \(\Delta \). The length of a zigzag in \({\mathfrak F}(\Delta )\) is equal to nl, where l is the length of the corresponding generalized zigzag in \(\Delta \).
Lemma 3.7 implies the following.
Corollary 3.14
If \({\mathfrak F}(\Delta )\) is zuniform and the length of generalized zigzags in \(\Delta \) is equal to l, then there are precisely \((n1)!N/2l\) generalized zigzags, where N is the number of flags in \(\Delta \).
Clearly, generalized zigzags can be defined in abstract polytopes and Proposition 3.13 holds for this case. Recall that the flag complexes of \(\alpha _{n}\), \(\beta _{n}\), the 24cell, the icosahedron and the 600cell are the Coxeter complexes of \(\mathsf{A}_{n}\), \(\mathsf{B}_{n}=\mathsf{C}_{n}\), \(\mathsf{F}_{4}\) and \(\mathsf{H}_{i}\), \(i=3,4\) (respectively). Propositions 3.11 and 3.13 imply the following.
Corollary 3.15
The lengths of generalized zigzags in \(\alpha _{n}\), \(\beta _{n}\), the 24cell, the icosahedron and the 600cell are equal to the corresponding Coxeter numbers
respectively.
Note that all values from Corollary 3.14 were given in [5, 7], but the connection with Coxeter numbers is new.
Now, we consider the halfcube \(\frac{1}{2}\gamma _{n}\) and the \(\mathsf{E}\)polytopes \(2_{21}\), \(3_{21}\), \(4_{21}\) associated to the Coxeter systems \(\mathsf{D}_{n}\) and \(\mathsf{E}_i\), \(i=6,7,8\) (respectively). The zigzag lengths of these polytopes are not equal to the corresponding Coxeter numbers. The Coxeter numbers of \(\mathsf{E}_i\), \(i=6,7,8\), are 12, 18, 30 and, by [5, 7], the zigzag lengths of the \({\textsf {E}}\)polytopes are 18, 90, 36. The Coxeter number of \(\mathsf{D}_{n}\) is equal to \(2(n1)\) and the zigzag length of \(\frac{1}{2}\gamma _{n}\) can be found in [5, 7] for \(n\le 13\).
The following example explains this noncoincidence.
Example 3.16
For every \(i\in [n1]\) we denote by \({\mathcal F}_{i}\) the set of all ifaces in \(\beta _{n}\). Then \({\mathcal F}_{n1}\) can be presented as the disjoint union of two subsets \({\mathcal F}_{+}\) and \({\mathcal F}_{}\) satisfying the following condition: for any \(X,Y\in {\mathcal F}_{s}\), \(s\in \{+,\}\) the number \(nX\cap Y\) is even and this number is odd if \(X\in {\mathcal F}_{+}\) and \(Y\in {\mathcal F}_{}\). Suppose that (W, S) is the Coxeter system of type \(\mathsf{D}_{n}\) (the corresponding diagram is on the figure below).
Recall that the vertices of the Coxeter complex \(\Sigma (W,S)\) are all subsets \(wW^{i}\), \(w\in W\) and \(i\in [n]\). For every \(i\in [n2]\) the vertices of type \(wW^{i}\) correspond to the elements of \({\mathcal F}_{i1}\) and the vertices of types \(wW^{n1}\) and \(wW^{n}\) correspond to the elements of \({\mathcal F}_{+}\) and \({\mathcal F}_{}\) (respectively), see [13, Example 2.7] for the details. For every \(i\in [n1]\) the ifaces of the hypercube \(\gamma _{n}\) can be identified with the elements of \({\mathcal F}_{n1i}\). In the case when the vertex set of the halfcube \(\frac{1}{2}\gamma _{n}\) is \({\mathcal F}_{+}\), the 2faces of \(\frac{1}{2}\gamma _{n}\) are the elements of \({\mathcal F}_{n3}\cup {\mathcal F}_{}\). In other words, the 2faces of \(\frac{1}{2}\gamma _{n}\) give two different types of vertices in the Coxeter complex. This means that zigzags in the Coxeter complex of \(\mathsf{D}_{n}\) cannot be obtained from generalized zigzags in \(\frac{1}{2}\gamma _{n}\) as it was described in Proposition 3.13. For the same reason zigzags in the Coxeter complexes of \(\mathsf{E}_i\), \(i=6,7,8\), are not induced by generalized zigzags of the associated \(\mathsf{E}\)polytopes.
4 ZConnectedness of Faces
In this section, we suppose that \(\Delta \) is a thin chamber complex of rank n. Then every \(\Gamma _{k}(\Delta )\) is connected. We say that two faces X and Y in \(\Delta \) are zconnected if there is a zigzag such that X and Y are contained in some flags of this zigzag.
Example 4.1
In the nsimplex \(\alpha _{n}\), any two faces are zconnected. This easily follows from the fact that every zigzag is defined by a certain enumeration of the set \([n+1]\) (Example 3.8).
Example 4.2
If \(n\ge 3\), then the complex \(\beta _{n}\) contains pairs of faces which are not zconnected. Consider, for example, the edges
Up to a cyclic permutation, the 0shadow of a zigzag containing \(\{i,j\}\) is of type
where each of \(i_{1},\ldots ,i_{n2}\) is not equal to \(\pm i\) or \(\pm j\) (see Example 3.10). The corresponding zigzag does not contain \(\{i,j\}\). Similarly, we can show that the kfaces
are not zconnected if \(k<n1\). Recall that \(\Gamma _{n1}(\beta _{n})\) is the ndimensional cube graph. It is easy to see that every geodesic of this graph is contained in the \((n1)\)shadow of a certain zigzag.
4.1 ZConnectedness of Facets and Normal Geodesics
If \(\Delta \) is \(\alpha _{n}\) or \(\beta _{n}\), then
for any two facets X, Y. Recall that d(X, Y) is the path distance between X and Y in \(\Gamma _{n1}(\Delta )\). For the general case this distance formula fails. Consider, for example, an ngonal bipyramid; if \(n\ge 6\), then it contains two faces X, Y with a common vertex and such that \(d(X,Y)>2\). In the general case, we have
for any two facets X, Y in \(\Delta \).
We say that facets X and Y form a distance normal pair if the equality (6) holds. In this case, we have \(d(X,Y)\le n\). Any two adjacent facets form a distance normal pair. If the path distance between two facets is equal to 2, then they form a distance normal pair. It was noted above that any two facets in \(\alpha _{n}\) or \(\beta _{n}\) form a distance normal pair.
Example 4.3
Let (W, S) be a Coxeter system and \(S=n\). Consider the associated Coxeter complex \(\Sigma (W,S)\). By Sect. 2.2, the graph \(\Gamma _{n1}(\Sigma (W,S))\) can be naturally identified with the Cayley graph \(\mathrm{C}(W,S)\). Let \(s_{i}\) and \(s_{j}\) be noncommuting elements of S. The path distance between the identity element e and \(w=s_{i}s_{j}s_{i}\) in \(\mathrm{C}(W,S)\) is equal to 3. On the other hand, e and w correspond to the facets \(\{W^{1},\ldots ,W^{n}\}\) and \(\{wW^{1},\ldots ,wW^{n}\}\), respectively. Since we have \(wW^{k}=W^{k}\) for every \(k\ne i,j\), the intersection of these facets contains precisely \(n2\) vertices and they do not form a distance normal pair.
The latter example can be generalized as follows.
Example 4.4
Let w and v be elements of W such that \(l(w^{1}v)\le n\). Then \(d(w,v)\le n\). The facets of \(\Sigma (W,S)\) corresponding to w and v form a distance normal pair if and only if there is a reduced expression for \(w^{1}v\) whose elements are mutually distinct (the existence of such an expression implies that all reduced expressions of \(w^{1}v\) satisfy the same condition).
Let \(X=X_{0},X_{1},\ldots ,X_{m}=Y\) be a geodesic in \(\Gamma _{n1}(\Delta )\). Then \(d(X,Y)=m\). We say that this geodesic is normal if any two \(X_{i},X_{j}\) satisfying \(d(X_{i},X_{j})\le n\) form a distance normal pair (if \(m\le n\), then this means that X and Y form a distance normal pair). If \(d(X,Y)>n\), then the fact that X and Y are connected by a normal geodesic does not guarantee that every geodesic connecting them is normal.
Example 4.5
It is not difficult to construct a thin chamber complex of rank 3 satisfying the following conditions:

there are faces X, Y satisfying \(d(X,Y)=4\) and connected by a normal geodesic,

there is a face \(X'\) adjacent to X and intersecting Y precisely in a vertex,

\(d(X',Y)=3\).
So, \(X'\) and Y do not form a distance normal pair. Let \(X',X_{1},X_{2},Y\) be a geodesic connecting \(X'\) and Y. The the geodesic \(X,X',X_{1},X_{2},Y\) is not normal.
The \((n1)\)shadows of zigzags in \(\Delta \) are closed (not necessarily simple) paths in \(\Gamma _{n1}(\Delta )\). We say that a path \(X_{1},\ldots ,X_{m}\) is contained in a path \(Y_{1},\ldots ,Y_{k}\) (or \(Y_{1},\ldots ,Y_{k}\) contains \(X_{1},\ldots ,X_{m}\)) if there is a number j such that \(Y_{j+i}=X_{i}\) for every \(i\in \{0,1,\ldots ,m\}\). It is clear that every path contained in a normal geodesic is a normal geodesic.
Lemma 4.6
If Z is a simple zigzag in \(\Delta \), then every geodesic of \(\Gamma _{n1}(\Delta )\) contained in the \((n1)\)shadow of Z is normal.
Proof
Easy verification. \(\square \)
Theorem 4.7
Every normal geodesic of \(\Gamma _{n1}(\Delta )\) is contained in the \((n1)\)shadow of a certain zigzag of \(\Delta \) and the following assertions are fulfilled:

(1)
if this geodesic is of length \(m\le n\), then there are at most \((nm)!\) zigzags whose \((n1)\)shadows contain the geodesic;

(2)
if the length of the geodesic is greater than n, then it is contained in the \((n1)\)shadow of the unique zigzag.
Theorem 4.7 together with Lemma 4.6 give the following.
Corollary 4.8
Suppose that \(\Delta \) is zsimple. A geodesic of \(\Gamma _{n1}(\Delta )\) is contained in the \((n1)\)shadow of a certain zigzag if and only if it is normal.
Remark 4.9
Example 4.4 shows that for the Coxeter complexes Theorem 4.7 easily follows from Proposition 3.11.
4.2 Proof of Theorem 4.7
Let \(X_{0},X_{1},\ldots ,X_{m}\) be a normal geodesic in \(\Gamma _{n1}(\Delta )\). First, we consider the case when \(m\le n\) and prove the statement by induction.
If \(m=1\), then we take vertices \(x_{0},x_{1},\ldots ,x_{n}\) such that
For every permutation \(\delta \) on the set \([n1]\) we consider the sequence
and denote by \(F_{\delta }\) the associated flag
Since the vertices \(x_{\delta (1)},\ldots ,x_{\delta (n1)}\) belong to \(X_{1}\), the facet of the flag \(T(F_{\delta })\) is \(X_{1}\). It is easy to see that every zigzag whose \((n1)\)shadow contains the path \(X_{0},X_{1}\) is of type \(\{T^{i}(F_{\delta })\}_{i\in {\mathbb N}}\). Since \(\Delta \) is not assumed to be zsimple, the zigzags corresponding to the distinct flags \(F_{\delta }\) and \(F_{\gamma }\) may be coincident or the zigzag defined by \(F_{\delta }\) is the reverse of the zigzag defined by \(F_{\gamma }\). Therefore, there are at most \((n1)!\) zigzags satisfying the required condition.
Let \(m>1\). Then \(X_{0}, X_{1},\ldots X_{m1}\) is a normal geodesic and, by the inductive hypothesis, it is contained in the \((n1)\)shadow of a certain zigzag Z. Let \(\{x_{i}\}_{i\in {\mathbb N}}\) be the 0shadow of Z. We suppose that the vertices \(x_{0},x_{1},\ldots ,x_{n1}\) belong to \(X_{0}\). Then
for every \(i\in [m1]\).
If \(n=m\), then \(X_{0}\cap X_{m}=\emptyset \), in particular, \(x_{n1}\not \in X_{n}\). Since
and \(X_{n}\) are adjacent, the vertices \(x_{n},\ldots ,x_{2n2}\) belong to \(X_{n}\). This implies that \(X_{n}\) coincides with the facet \(\{x_{n},\ldots ,x_{2n1}\}\) and the geodesic \(X_{0},X_{1},\ldots ,X_{n}\) is contained in the \((n1)\)shadow of Z. This is the unique zigzag whose \((n1)\)shadow contains this geodesic. Indeed, every \(x_{i}\), \(i\in \{0,1,\ldots , n1\}\), is the unique vertex belonging to \(X_{i}\setminus X_{i+1}\) and Z is completely determined by the list of the first n vertices in the 0shadow.
Consider the case when \(m<n\). The face
consists of \(nm+1\ge 2\) vertices and coincides with the intersection of \(X_{0}\) and \(X_{m1}\). Since \(X_{0}\) and \(X_{m}\) form a distance normal pair and \(d(X_{0},X_{m})=m\), the face \(A\cap X_{m}\) contains precisely \(nm\) vertices. So, there is the unique number \(t\in \{m1,\ldots ,n1\}\) such that \(x_{t}\not \in X_{m}\). For every permutation \(\delta \) on the set \(\{m1,\ldots ,n1\}\setminus {t}\) we consider the vertex sequence
(the symbol \(\widehat{}\) means that the corresponding element is omitted) and denote by \(F_{\delta }\) the flag obtained from this sequence. This flag defines the zigzag
Obviously, the first n vertices in the 0shadow of \(Z_{\delta }\) are (7). The next \(m1\) vertices are \(x_{n},\ldots ,x_{n+m2}\) which means that the \((n1)\)shadow of \(Z_{\delta }\) contains the geodesic \(X_{0},X_{1},\ldots ,X_{m1}\). The mth element in the \((n1)\)shadow of \(Z_{\delta }\) is adjacent to \(X_{m1}\) and does not contain \(x_{t}\). This implies that it coincides with \(X_{m}\). Therefore, the geodesic \(X_{0},X_{1},\ldots ,X_{m}\) is contained in the \((n1)\)shadow of \(Z_{\delta }\). Using the fact that \(x_{i}\) is the unique vertex in \(X_{i}\setminus X_{i+1}\) for \(i\in \{0,1,\ldots ,m2\}\), \(x_{t}\) is the unique vertex in \(X_{m1}\setminus X_{m}\) and
we show that every zigzag whose \((n1)\)shadow contains \(X_{0},X_{1},\ldots ,X_{m}\) is of type \(Z_{\delta }\). As above, for distinct permutations \(\delta \) and \(\gamma \) the zigzags \(Z_{\delta }\) and \(Z_{\gamma }\) may be coincident. For this reason, there are at most \((nm)!\) such zigzags.
Now, we suppose that \(m>n\). For every \(i\in \{0,1,\ldots , mn\}\) we have
and the facets \(X_{i},X_{i+n}\) form a distance normal pair. It was established above that there is the unique zigzag \(Z_{i}\) whose \((n1)\)shadow contains the geodesic \(X_{i},\ldots , X_{i+n}\). If \(i<mn\), then the geodesic \(X_{i+1},\ldots , X_{i+n}\) is contained in the \((n1)\)shadows of \(Z_{i}\) and \(Z_{i+1}\). Since
there is the unique zigzag whose \((n1)\)shadow contains \(X_{i+1},\ldots , X_{i+n}\). Thus \(Z_{i}\) coincides with \(Z_{i+1}\) for every \(i<nm\). This means that all zigzags \(Z_{i}\) are coincident and we get the claim.
4.3 ZConnectedness of Nonmaximal Faces
Two faces X and Y of the same nonmaximal rank \(k\ge 1\) are said to be weakly adjacent if their intersection is a \((k1)\)face and there is no face containing both X and Y. This is a modification of the relation defined for nonmaximal singular subspaces of polar spaces [13, Subsection 4.6.2]. Note that the nonmaximal faces of \(\beta _{n}\) considered in Example 4.2 are weakly adjacent.
Lemma 4.10
For every \(k\in [n2]\) any pair of weakly adjacent kfaces in \(\Delta \) cannot be connected by a simple zigzag.
Proof
Let \(\{x_{i}\}_{i\in {\mathbb N}}\) be the 0shadow of a zigzag connecting weakly adjacent kfaces X and Y. If the zigzag is simple, then there exists i such that
one of X, Y is \(\{x_{i},\ldots ,x_{i+k}\}\) and the other is \(\{x_{i+1},\ldots ,x_{i+k+1}\}\). Since the rank k is not maximal, we have \(k+2\le n\) and
is a face which contradicts the fact that X and Y are weakly adjacent. \(\square \)
A possible zconnectedness for two weakly adjacent faces is described in the following example.
Example 4.11
Let \(\{x_{i}\}_{i\in {\mathbb N}}\) be the 0shadow of a zigzag. The length l of the zigzag is assumed to be sufficiently large. Also, we suppose that the zigzag is not simple and there exist \(i,j\in [l1]\) and \(k<n1\) such that
and
If the vertices \(x_{i1},x_{i},\ldots ,x_{i+k1},x_{j+k}\) do not form a face (this means that \(j+ki>n1\)), then
are weakly adjacent kfaces connected by our zigzag.
Lemma 4.12
If \(\Delta \) is zsimple and any two edges of \(\Delta \) are zconnected, then \(\Delta \) is 3neighborly.
Proof
By Lemma 4.10, there exist no pairs of weakly adjacent edges, i.e. any two edges with a common vertex are adjacent. If \(x_{0},x_{1},\ldots ,x_{m}\) is a path in \(\Gamma _{0}(\Delta )\), then the edges \(x_{0}x_{1}\) and \(x_{1}x_{2}\) are adjacent which implies that \(x_{0},x_{2}\) are adjacent vertices and \(x_{0},x_{2},\ldots ,x_{m}\) is a path in \(\Gamma _{0}(\Delta )\). Step by step, we show that the vertices \(x_{0}\) and \(x_{m}\) are adjacent. Since the graph \(\Gamma _{0}(\Delta )\) is connected, any two distinct vertices are adjacent. Let \(x_{1},x_{2},x_{3}\) be three distinct vertices of \(\Delta \). It was established above that they are mutually adjacent. Then the edges \(x_{1}x_{2}\) and \(x_{2}x_{3}\) are adjacent and we get the claim. \(\square \)
The previous lemma can be generalized as follows.
Proposition 4.13
If \(\Delta \) is zsimple and there is a nonzero number \(k<n1\) such that any two faces of the same nonzero rank \(\le k\) are zconnected, then \(\Delta \) is \((k+2)\)neighborly.
Proof
The statement coincides with Lemma 4.12 if \(k=1\). Let \(k\ge 2\). Lemma 4.12 states that \(\Delta \) is 3neighborly. It follows from Lemma 4.10 that for every \(i\in [k]\) two ifaces are adjacent if their intersection is a \((i1)\)face. Therefore, if X is a 4element subset in the vertex set, then any two distinct 3element subsets of X are adjacent 2faces and X is a 3face. Step by step, we establish that every subset consisting of not greater than \(k+2\) vertices is a face. \(\square \)
Proposition 4.13 together with Fact 2.4 give the following.
Corollary 4.14
Suppose that, as in Proposition 4.13, \(\Delta \) is zsimple and there is a nonzero number \(k<n1\) such that any two faces of the same nonzero dimension \(\le k\) are zconnected. If \(k>\lfloor n/2\rfloor 2\), then \(\Delta \) is the nsimplex.
References
Björner, A., Brenti, F.: Combinatorics of Coxeter Groups. Graduate Texts in Mathematics, vol. 231. Springer, New York (2005)
Coxeter, H.S.M.: Regular Polytopes, 3rd edn. Dover, New York (1973)
Deza, M.M., Deza, E.: Encyclopedia of Distances, 4th edn. Springer, Berlin (2016)
Deza, M., Dutour, M.: Zigzag structure of simple bifaced polyhedra. Comb. Probab. Comput. 14(1–2), 31–57 (2005). arXiv:math/0212352 (2002)
Deza, M., Dutour, M.: Zigzag structure of complexes. Southeast Asian Bull. Math. 29(2), 301–320 (2005). arXiv:math/0405279 (2004)
Deza, M., Dutour, M., Fowler, P.W.: Zigzags, railroads, and knots in fullerenes. J. Chem. Inf. Comput. Sci. 44(4), 1282–1293 (2004)
Deza, M.M., Dutour Sikirić, M., Shtogrin, M.I.: Geometric Structure of ChemistryRelevant Graphs: Zigzags and Central Circuits. Forum for Interdisciplinary Mathematics, vol. 1. Springer, New Delhi (2015)
Grünbaum, B.: Convex polytopes. In: Kaibel, V., Klee, V., Ziegler, G. (eds.) Graduate Texts in Mathematics, vol. 221, 2nd edn. Springer, New York (2003)
Grünbaum, B., Motzkin, T.S.: The number of hexagons and the simplicity of geodesics on certain polyhedra. Can. J. Math. 15, 744–751 (1963)
Hohlweg, C.: Permutahedra and associahedra: generalized associahedra from the geometry of finite reflection groups. In: MüllerHoissen, F., et al. (eds.) Associahedra, Tamari Lattices and Related Structures, Progress in Mathematics, vol. 299, pp. 129–159. Birkhäuser, Basel (2012)
Humphreys, J.E.: Reflection Groups and Coxeter Groups. Cambridge Studies in Advanced Mathematics, vol. 29. Cambridge University Press, Cambridge (1990)
McMullen, P., Schulte, E.: Abstract Regular Polytopes. Encyclopedia of Mathematics and its Applications, vol. 92. Cambridge University Press, Cambridge (2002)
Pankov, M.: Grassmannians of Classical Buildings. Algebra and Discrete Mathematics, vol. 2. World Scientific, Hackensack (2010)
Shank, H.: The theory of leftright paths. In: Street, A.P., Wallis, W.D. (eds.) Combinatorial Mathematics III. Lecture Notes in Mathematics, vol. 452, pp. 42–54. Springer, Berlin (1975)
Tits, J.: Buildings of Spherical Type and Finite BNPairs. Lecture Notes in Mathematics, vol. 386. Springer, Berlin (1974)
Williams, G.: Petrie schemes. Can. J. Math. 57(4), 844–870 (2005)
Ziegler, G.M.: Lectures on Polytopes. Graduate Texts in Mathematics, vol. 152. Springer, New York (1995)
Acknowledgements
The authors thank Mathieu Dutour Sikirić for interest and discussion and Christophe Hohlweg for remarks concerning Coxeter groups. Also, they are grateful to anonymous referee who appealed their attention to [16].
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in charge János Pach
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Deza, M., Pankov, M. Zigzag Structure of Thin Chamber Complexes. Discrete Comput Geom 59, 363–382 (2018). https://doi.org/10.1007/s004540179954z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s004540179954z
Keywords
 Zigzag
 Thin chamber complex
 Coxeter complex