group
10405 papers tagged with this keyword
Odd length for even hyperoctahedral groups and signed generating functions
Published
• View Publication
• BIB
We define a new statistic on the even hyperoctahedral groups which is a natural analogue of the odd length statistic recently defined and studied on Coxeter groups of types $A$ and $B$. We compute the signed (by length) generating function of this statistic over the whole group and over its maximal and some other quotients and show that it always factors nicely. We also present some conjectures.
Combinatorial descriptions of the crystal structure on certain PBW bases
Published in Transform. Groups 23 (2018), no. 2, 501-525
• View Publication
• BIB
Using the theory of PBW bases, one can realize the crystal $B(\infty)$ for any semisimple Lie algebra over $\mathbf{C}$ using Kostant partitions as the underlying set. In fact there are many such realizations, one for each reduced expression for the longest element of the Weyl group. There is an algorithm to calculate the actions of the crystal operators, but it can be quite complicated. Here we show that, for certain reduced expressions, the crystal operators can also be described by a much simpler bracketing rule. We give conditions describing these reduced expressions, and show that there is at least one example in every type except possibly $E_8$, $F_4$ and $G_2$. We then discuss some examples.
Filters in the partition lattice
Published
• View Publication
• BIB
Given a filter $Δ$ in the poset of compositions of $n$, we form the filter $Π^{*}_Δ$ in the partition lattice. We determine all the reduced homology groups of the order complex of $Π^{*}_Δ$ as ${\mathfrak S}_{n-1}$-modules in terms of the reduced homology groups of the simplicial complex $Δ$ and in terms of Specht modules of border shapes. We also obtain the homotopy type of this order complex. These results generalize work of Calderbank--Hanlon--Robinson and Wachs on the $d$-divisible partition lattice. Our main theorem applies to a plethora of examples, including filters associated to integer knapsack partitions and filters generated by all partitions having block sizes $a$ or~$b$. We also obtain the reduced homology groups of the filter generated by all partitions having block sizes belonging to the arithmetic progression $a, a + d, \ldots, a + (a-1) \cdot d$, extending work of Browdy.
Highlights from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]
This paper brings the main definitions and results from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]. No proofs are given.
Given a simplicial complex $\mathcal{X}$ and a group $G$ acting on $\mathcal{X}$, we define Ramanujan quotients of $\mathcal{X}$. For $G$ and $\mathcal{X}$ suitably chosen this recovers Ramanujan $k$-regular graphs and Ramanujan complexes in the sense of Lubotzky, Samuels and Vishne. Deep results in automorphic representations are used to give new examples of Ramanujan quotients when $\mathcal{X}$ is the affine building of an inner form of $\mathbf{GL}_n$ over a local field of positive characteristic.
Matching and Independence Complexes Related to Small Grids
Published
• View Publication
• BIB
The topology of the matching complex for the $2\times n$ grid graph is mysterious. We describe a discrete Morse matching for a family of independence complexes $\mathrm{Ind}(Δ_n^m)$ that include these matching complexes. Using this matching, we determine the dimensions of the chain spaces for the resulting Morse complexes and derive bounds on the location of non-trivial homology groups for certain $\mathrm{Ind}(Δ_n^m)$. Further, we determine the Euler characteristic of $\mathrm{Ind}(Δ_n^m)$ and prove that several homology groups of $\mathrm{Ind}(Δ_n^m)$ are non-zero.
Discrete solitons in infinite reduced words
Published
• View Publication
• BIB
We consider a discrete dynamical system where the roles of the states and the carrier are played by translations in an affine Weyl group of type $A$. The Coxeter generators are enriched by parameters, and the interactions with the carrier are realized using Lusztig's braid move $(a,b,c) \mapsto (bc/(a+c), a+c, ab/(a+c))$. We use wiring diagrams on a cylinder to interpret chamber variables as $τ$-functions. This allows us to realize our systems as reductions of the Hirota bilinear difference equation and thus obtain $N$-soliton solutions.
Arrangements of ideal type
In 2006 Sommers and Tymoczko defined so called arrangements of ideal type A_I stemming from ideals I in the set of positive roots of a reduced root system. They showed in a case by case argument that A_I is free if the root system is of classical type or G_2 and conjectured that this is also the case for all types. This was established only recently in a uniform manner by Abe, Barakat, Cuntz, Hoge and Terao. The set of non-zero exponents of the free arrangement A_I is given by the dual of the height partition of the roots in the complement of I in the set of positive roots, generalizing the Shapiro-Steinberg-Kostant theorem.
Our first aim in this paper is to investigate a stronger freeness property of the A_I. We show that all A_I are inductively free, with the possible exception of some cases in type E_8.
In the same paper, Sommers and Tymoczko define a Poincaré polynomial I(t) associated with each ideal I which generalizes the Poincaré polynomial W(t) for the underlying Weyl group W. Solomon showed that W(t) satisfies a product decomposition depending on the exponents of W for any Coxeter group W. Sommers and Tymoczko showed in a case by case analysis in type A, B and C, and some small rank exceptional types that a similar factorization property holds for the Poincaré polynomials I(t) generalizing the formula of Solomon for W(t). They conjectured that their multiplicative formula for I(t) holds in all types. Here we show that this conjecture holds inductively in almost all instances.
Critical groups of group representations
Published in Linear Algebra and its Applications 508 (2016) 91-99
• View Publication
• BIB
This paper investigates the critical group of a faithful representation of a finite group. It computes the order of the critical group in terms of the character values, and gives some restrictions on its subgroup structure. It also computes the precise structure of the critical group both for the regular representation of any finite group, and for the reflection representation of the symmetric group.
The critical groups of the Peisert graphs $P^*(q)$
Published in J. Alg. Combinatorics 48(2) (2018), 227-245
• View Publication
• BIB
The critical group of a finite graph is an abelian group defined by the Smith normal form of the Laplacian. We determine the the critical groups of the Peisert graphs, a certain family of strongly regular graphs similar to, but different from, the Paley graphs. It is further shown thatthe adjacency matrices of the two graphs defined over a field of order $p^2$ with $p\equiv 3\pmod 4$ are similar over the $\ell$-local integers for every prime $\ell$. Consequently, each such pair of graphs provides an example where all the corresponding generalized adjacency matrices are both cospectral and equivalent in the sense of Smith normal form.
Automorphism groups of edge-transitive maps
For each of the 14 classes of edge-transitive maps described by Graver and Watkins, necessary and sufficient conditions are given for a group to be the automorphism group of a map, or of an orientable map without boundary, in that class. Extending earlier results of Siran, Tucker and Watkins, these are used to determine which symmetric groups $S_n$ can arise in this way for each class. Similar results are obtained for all finite simple groups, building on work of Leemans and Liebeck, Nuzhin and others on generating sets for such groups. It is also shown that each edge-transitive class realises finite groups of every sufficiently large nilpotence class or derived length, and also realises uncountably many non-isomorphic infinite groups. Edge-transitive embeddings of complete graphs are classified, and there is a detailed discussion of edge-transitive maps with boundary.
Ergodic measures on spaces of infinite matrices over non-Archimedean locally compact fields
Published in Compositio Math. 153 (2017) 2482-2533
• View Publication
• BIB
Let $F$ be a non-discrete non-Archimedean locally compact field and $\mathcal{O}_F$ the ring of integers in $F$. The main results of this paper are Theorem 1.2 that classifies ergodic probability measures on the space $\mathrm{Mat}(\mathbb{N}, F)$ of infinite matrices with enties in $F$ with respect to the natural action of the group $\mathrm{GL}(\infty,\mathcal{O}_F) \times \mathrm{GL}(\infty,\mathcal{O}_F)$ and Theorem 1.6 that, for non-dyadic $F$, classifies ergodic probability measures on the space $\mathrm{Sym}(\mathbb{N}, F)$ of infinite symmetric matrices with respect to the natural action of the group $\mathrm{GL}(\infty,\mathcal{O}_F)$.
Shuffling matrices, Kronecker product and Discrete Fourier Transform
Published in Discrete Applied Mathematics 233 (2017), 1-18
• View Publication
• BIB
We define and investigate a family of permutations matrices, called shuffling matrices, acting on a set of $N=n_1\cdots n_m$ elements, where $m\geq 2$ and $n_i\geq 2$ for any $i=1,\ldots, m$. These elements are identified with the vertices of the $m$-th level of a rooted tree with branch indices $(n_1,\ldots, n_m)$. Each of such matrices is induced by a permutation of $Sym(m)$ and it turns out that, in the case in which one considers the cyclic permutation $(1\ \ldots\ m)$, the corresponding permutation is the classical perfect shuffle. We give a combinatorial interpretation of these permutations in terms of lexicographic order of the vertices of the tree. This allows us to describe their fixed points. We show that our permutation matrices can be used to let the Kronecker product of matrices commute or, more generally, rearrange in an arbitrary order. Moreover, we show that the group generated by such permutations does depend only on the branch indices of the tree, but it is independent from their order. In the case in which such indices coincide, we prove that the corresponding group is a copy of $Sym(m)$ inside $Sym(n^m)$. Finally, we give an application of shuffling matrices in the context of the Discrete Fourier Transform.
Frankl's Conjecture for subgroup lattices
Published in Electron. J. Combin. 24 (2017), no. 3, Paper 25, 9 pages
• View Publication
• BIB
We show that the subgroup lattice of any finite group satisfies Frankl's Union-Closed Conjecture. We show the same for all lattices with a modular coatom, a family which includes all supersolvable and dually semimodular lattices. A common technical result used to prove both may be of some independent interest.
Weyl group $q$-Kreweras numbers and cyclic sieving
Published
• View Publication
• BIB
The paper concerns a definition for $q$-Kreweras numbers for finite Weyl groups $W$, refining the $q$-Catalan numbers for $W$, and arising from work of the second author. We give explicit formulas in all types for the $q$-Kreweras numbers. In the classical types $A, B, C$, we also record formulas for the $q$-Narayana numbers and in the process show that the formulas depend only on the Weyl group (that is, they coincide in types $B$ and $C$). In addition we verify that in the classical types $A,B,C,D$ that the $q$-Kreweras numbers obey the expected cyclic sieving phenomena when evaluated at appropriate roots of unity.
Highest rank of a polytope for $A_n$
Published in Proc. London Math. Soc. 115 (2017), 135-176
• View Publication
• BIB
We prove that the highest rank of a string C-group constructed from an alternating group $Alt_n$ is 0 if $n=3, 4, 6, 7, 8$; 3 if $n=5$; 4 if $n=9$; 5 if $n=10$; 6 if $n=11$; and $\lfloor\frac{n-1}{2}\rfloor$ if $n\geq 12$. This solves a conjecture made by the last three authors in 2012.
The structure theory of Nilspaces I
Published
• View Publication
• BIB
This paper forms the first part of a series by the authors [GMV2,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. Antolín Camarena and Szegedy proved that from these axioms it follows that (certain) nilspaces are isomorphic (in a strong sense) to an inverse limit of nilmanifolds. The aim of our project is to provide a new self-contained treatment of this theory and give new applications to topological dynamics.
This paper provides an introduction to the project from the point of view of applications to higher order Fourier analysis. We define and explain the basic definitions and constructions related to cubespaces and nilspaces and develop the weak structure theory, which is the first stage of the proof of the main structure theorem for nilspaces. Vaguely speaking, this asserts that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group.
We also make some modest innovations and extensions to this theory. In particular, we consider a class of maps that we term fibrations, which are essentially equivalent to what are termed fiber-surjective morphisms by Anatolín Camarena and Szegedy, and we formulate and prove a relative analogue of the weak structure theory alluded to above for these maps. These results find applications elsewhere in the project.
The structure theory of Nilspaces II: Representation as nilmanifolds
Published
• View Publication
• BIB
This paper forms the second part of a series by the authors [GMV1,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C_n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. From these axioms it follows that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group.
Our main result is a new proof of a result due to Antolín Camarena and Szegedy [CS12], stating that if each of these groups is a torus then $X$ is isomorphic (in a strong sense) to a nilmanifold $G/Γ$. We also extend the theorem to a setting where the nilspace arises from a dynamical system $(X,T)$. These theorems are a key stepping stone towards the general structure theorem in [GMV3] (which again closely resembles the main theorem of [CS12]).
The main technical tool, enabling us to deduce algebraic information from topological data, consists of existence and uniqueness results for solutions of certain natural functional equations, again modelled on the theory in [CS12].
The structure theory of Nilspaces III: Inverse limit representations and topological dynamics
Published
• View Publication
• BIB
This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$, satisfying some natural axioms. Our goal is to extend the structure theory of nilspaces obtained by Antolín Camarena and Szegedy, and to provide new proofs.
Our main result is that, under the technical assumption that $C^n(X)$ is a connected space for all $n$, then $X$ is isomorphic (in a strong sense) to an inverse limit of nilmanifolds. This is a direct and slight generalization of the main result of Antolín Camarena and Szegedy.
We also apply our methods to obtain structure theorems in the setting of topological dynamics. Specifically, if $H$ is a group (subject to very mild topological assumptions) and $(H,X)$ is a minimal dynamical system, then we give a simple characterization of the maximal pronilfactor of $X$. This generalizes the case $H = \mathbb{Z}$, which is a theorem of Host, Kra and Maass, although even in that case we give a significantly different proof.
Half-arc-transitive graphs of prime-cube order of small valencies
Published
• View Publication
• BIB
A graph is called {\em half-arc-transitive} if its full automorphism group acts transitively on vertices and edges, but not on arcs. It is well known that for any prime $p$ there is no tetravalent half-arc-transitive graph of order $p$ or $p^2$. Xu~[Half-transitive graphs of prime-cube order, J. Algebraic Combin. 1 (1992) 275-282] classified half-arc-transitive graphs of order $p^3$ and valency $4$. In this paper we classify half-arc-transitive graphs of order $p^3$ and valency $6$ or $8$. In particular, the first known infinite family of half-arc-transitive Cayley graphs on non-metacyclic $p$-groups is constructed.
A counterexample to Thiagarajan's conjecture on regular event structures
Published
• View Publication
• BIB
We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002) that regular event structures correspond exactly to event structures obtained as unfoldings of finite 1-safe Petri nets. The same counterexample is used to disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999) that domains of regular event structures with bounded $\natural$-cliques are recognizable by finite trace automata. Event structures, trace automata, and Petri nets are fundamental models in concurrency theory. There exist nice interpretations of these structures as combinatorial and geometric objects. Namely, from a graph theoretical point of view, the domains of prime event structures correspond exactly to median graphs; from a geometric point of view, these domains are in bijection with CAT(0) cube complexes.
A necessary condition for both conjectures to be true is that domains of regular event structures (with bounded $\natural$-cliques) admit a regular nice labeling. To disprove these conjectures, we describe a regular event domain (with bounded $\natural$-cliques) that does not admit a regular nice labeling. Our counterexample is derived from an example by Wise (1996 and 2007) of a nonpositively curved square complex whose universal cover is a CAT(0) square complex containing a particular plane with an aperiodic tiling. We prove that other counterexamples to Thiagarajan's conjecture arise from aperiodic 4-way deterministic tile sets of Kari and Papasoglu (1999) and Lukkarila (2009).
On the positive side, using breakthrough results by Agol (2013) and Haglund and Wise (2008, 2012) from geometric group theory, we prove that Thiagarajan's conjecture is true for regular event structures whose domains occur as principal filters of hyperbolic CAT(0) cube complexes which are universal covers of finite nonpositively curved cube complexes.