group
10263 papers tagged with this keyword
On inversion sets and the weak order in Coxeter groups
Published in European Journal of Combinatorics, vol. 55, pp. 1-19 (2016)
• View Publication
• BIB
In this article, we investigate the existence of joins in the weak order of an infinite Coxeter group W. We give a geometric characterization of the existence of a join for a subset X in W in terms of the inversion sets of its elements and their position relative to the imaginary cone. Finally, we discuss inversion sets of infinite reduced words and the notions of biconvex and biclosed sets of positive roots.
Polar Root Polytopes that are Zonotopes
Published in Séminaire Lotharingien de Combinatoire 73 (2015), B73a
• Search Publication
Let $\mathcal P_Φ$ be the root polytope of a finite irreducible crystallographic root system $Φ$, i.e., the convex hull of all roots in $Φ$. The polar of $\mathcal P_Φ$, denoted $\mathcal P_Φ^*$, coincides with the union of the orbit of the fundamental alcove under the action of the Weyl group. In this paper, we establishes which polytopes $\mathcal P_Φ^*$ are zonotopes and which are not. The proof is constructive.
Special matchings and parabolic Kazhdan-Lusztig polynomials
Published in Transactions of the American Mathematical Society, 368 (2016), 5247-5269
• View Publication
• BIB
We prove that the combinatorial concept of a special matching can be used to compute the parabolic Kazhdan-Lusztig polynomials of doubly laced Coxeter groups and of dihedral Coxeter groups. In particular, for this class of groups which includes all Weyl groups, our results generalize to the parabolic setting the main results in [Advances in Math. {202} (2006), 555-601]. As a consequence, the parabolic Kazhdan-Lusztig polynomial indexed by $u$ and $v$ depends only on the poset structure of the Bruhat interval from the identity element to $v$ and on which elements of that interval are minimal coset representatives.
The irreducible unipotent modules of the finite general linear groups via tableaux
Published
• View Publication
• BIB
We construct the irreducible unipotent modules of the finite general linear groups using tableaux. Our construction is analogous to that of James (1976) for the symmetric groups, answering an open question as to whether such a construction exists. Our modules are defined over any field containing a nontrivial $p^\text{th}$ root of unity (where $p$ is the defining characteristic of the group). We show that our modules are isomorphic to those constructed by James (1984), although the two constructions utilize quite different approaches. Finally we look closer at the complex irreducible unipotent modules, providing motivation for our construction.
The Catalan combinatorics of the hereditary artin algebras
Published
• View Publication
• BIB
This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler.
Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories and there is a wealth of bijections, the Ingalls-Thomas bijections, between sets of modules and subcategories.
If H is representation-finite, one may look at the corresponding numbers of modules or subcategories. Such Dynkin functions (they attach to a Dynkin diagram an integer) are displayed in chapter 1. In a mysterious way, many Dynkin functions can be described using the exponents of the Weyl group. According to Shapiro and Kostant, the exponents are given by the height partition of the root poset. A recent result of Abe-Barakat-Cuntz-Hoge-Terao allows to determine them inductively, going up in a chain of ideals in the root poset, looking at the corresponding hyperplane arrangements.
Chapter 4 deals with the case of the linearly oriented quiver of Dynkin type A. Here P is identified with the lattice NC of non-crossing partitions as introduced by Kreweras (now an important tool in several parts of mathematics, for example in free probability theory). We review some classical problems which are related to the maximal chains in NC: to count labeled trees as well as parking functions. The combinatorics of the Dynkin case A is just the combinatorics of the Catalan numbers; in an appendix, we discuss the nature of classical Catalan combinatorics.
Signed group orthogonal designs and their applications
Published
• View Publication
• BIB
Craigen introduced and studied {\it signed group Hadamard matrices} extensively in \cite{Craigenthesis, Craigen}. Livinskyi \cite{Ivan}, following Craigen's lead, studied and provided a better estimate for the asymptotic existence of signed group Hadamard matrices and consequently improved the asymptotic existence of Hadamard matrices. In this paper, we introduce and study signed group orthogonal designs. The main results include a method for finding signed group orthogonal designs for any $k$-tuple of positive integer and then an application to obtain orthogonal designs from signed group orthogonal designs, namely, for any $k$-tuple $\big(u_1, u_2, ..., u_{k}\big)$ of positive integers, we show that there is an integer $N=N(u_1, u_2, ..., u_k)$ such that for each $n\ge N$, a full orthogonal design (no zero entries) of type $\big(2^nu_1,2^nu_2,...,2^nu_{k}\big)$ exists . This is an alternative approach to the results obtained in \cite{EK}.
Words in Linear Groups, Random Walks, Automata and P-Recursiveness
Published
• View Publication
• BIB
Fix a finite set $S \subset {GL}(k,\mathbb{Z})$. Denote by $a_n$ the number of products of matrices in $S$ of length $n$ that are equal to 1. We show that the sequence $\{a_n\}$ is not always P-recursive. This answers a question of Kontsevich.
Lattices from Hermitian function fields
Published in J. Algebra 447 (2016) 560-579
• Search Publication
We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.
The CI problem for infinite groups
Published
• View Publication
• BIB
A finite group $G$ is a DCI-group if, whenever $S$ and $S'$ are subsets of $G$ with the Cayley graphs Cay$(G,S)$ and Cay$(G,S')$ isomorphic, there exists an automorphism $\varphi$ of $G$ with $\varphi(S)=S'$. It is a CI-group if this condition holds under the restricted assumption that $S=S^{-1}$. We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly (D)CI$_f$-group if the same condition holds under the restricted assumption that $S$ is finite; and an infinite group is a (D)CI$_f$-group if the same condition holds whenever $S$ is both finite and generates $G$.
We prove that an infinite (D)CI-group must be a torsion group that is not locally-finite. We find infinite families of groups that are (D)CI$_f$-groups but not strongly (D)CI$_f$-groups, and that are strongly (D)CI$_f$-groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely characterise the locally-finite DCI-graphs on $\mathbb Z^n$. We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CI-group exists.
Rotor-routing orbits in directed graphs and the Picard group
In [5], Holroyd, Levine, Mészáros, Peres, Propp and Wilson characterize recurrent chip-and-rotor configurations for strongly connected digraphs. However, the number of steps needed to recur, and the number of orbits is left open for general digraphs. Recently, these questions were answered by Pham [6], using linear algebraic methods. We give new, purely combinatorial proofs for these formulas. We also relate rotor-router orbits to the chip-firing game: The number of recurrent rotor-router unicycle-orbits equals the order of the Picard group of the graph, defined in the sense of [1], and during a period, the same chip-moves happen, as during firing the period vector in the chip-firing game.
The structure of rainbow-free colorings for linear equations on three variables in Zp
Let p be a prime number and Zp be the cyclic group of order p. A coloring of Zp is called rainbow-free with respect to a certain equation, if it contains no rainbow solution of the same, that is, a solution whose elements have pairwise distinct colors. In this paper we describe the structure of rainbow-free 3-colorings of Zp with respect to all linear equations on three variables. Consequently, we determine those linear equations on three variables for which every 3-coloring (with nonempty color classes) of Zp contains a rainbow solution of it.
VC-sets and generic compact domination
Published
• View Publication
• BIB
Let X be a closed subset of a locally compact second countable group G whose family of translates has finite VC-dimension. We show that the topological border of X has Haar measure 0. Under an extra technical hypothesis, this also holds if X is constructible. We deduce from this generic compact domination for definably amenable NIP groups.
The Bruhat order on conjugation-invariant sets of involutions in the symmetric group
Published
• View Publication
• BIB
Let $I_n$ be the set of involutions in the symmetric group $S_n$, and for $A \subseteq \{0,1,\ldots,n\}$, let \[ F_n^A=\{σ\in I_n \mid \text{$σ$ has $a$ fixed points for some $a \in A$}\}. \] We give a complete characterisation of the sets $A$ for which $F_n^A$, with the order induced by the Bruhat order on $S_n$, is a graded poset. In particular, we prove that $F_n^{\{1\}}$ (i.e., the set of involutions with exactly one fixed point) is graded, which settles a conjecture of Hultman in the affirmative. When $F_n^A$ is graded, we give its rank function. We also give a short new proof of the EL-shellability of $F_n^{\{0\}}$ (i.e., the set of fixed point-free involutions), which was recently proved by Can, Cherniavsky, and Twelbeck.
Keywords: Bruhat order, symmetric group, involution, conjugacy class, graded poset, EL-shellability
Cyclotomic graphs and perfect codes
Published
• View Publication
• BIB
We study two families of cyclotomic graphs and perfect codes in them. They are Cayley graphs on the additive group of $\mathbb{Z}[ζ_m]/A$, with connection sets $\{\pm (ζ_m^i + A): 0 \le i \le m-1\}$ and $\{\pm (ζ_m^i + A): 0 \le i \le φ(m) - 1\}$, respectively, where $ζ_m$ ($m \ge 2$) is an $m$th primitive root of unity, $A$ a nonzero ideal of $\mathbb{Z}[ζ_m]$, and $φ$ Euler's totient function. We call them the $m$th cyclotomic graph and the second kind $m$th cyclotomic graph, and denote them by $G_{m}(A)$ and $G^*_{m}(A)$, respectively. We give a necessary and sufficient condition for $D/A$ to be a perfect $t$-code in $G^*_{m}(A)$ and a necessary condition for $D/A$ to be such a code in $G_{m}(A)$, where $t \ge 1$ is an integer and $D$ an ideal of $\mathbb{Z}[ζ_m]$ containing $A$. In the case when $m = 3, 4$, $G_m((α))$ is known as an Eisenstein-Jacobi and Gaussian networks, respectively, and we obtain necessary conditions for $(β)/(α)$ to be a perfect $t$-code in $G_m((α))$, where $0 \ne α, β\in \mathbb{Z}[ζ_m]$ with $β$ dividing $α$. In the literature such conditions are known to be sufficient when $m=4$ and $m=3$ under an additional condition. We give a classification of all first kind Frobenius circulants of valency $2p$ and prove that they are all $p$th cyclotomic graphs, where $p$ is an odd prime. Such graphs belong to a large family of Cayley graphs that are efficient for routing and gossiping.
Infinite symmetric groups and combinatorial constructions of topological field theory type
Published in Russian Mathematical Surveys, 2015, 70:4, 715--773
• View Publication
• BIB
The paper contains a survey of train constructions for infinite symmetric groups and related groups. For certain pairs (a group $G$, a subgroup $K$), we construct categories, whose morphisms are two-dimensional surfaces tiled by polygons and colored in a certain way. A product of morphisms is a gluing of combinatorial bordisms. For a unitary representation of $G$ we assign a functor from the category of bordisms to the category of Hilbert spaces and bounded operators. The construction has numerous variations, instead of surfaces there arise also one-dimensional objects of Brauer diagram type, multi-dimensional pseudomanifolds, bipartite graphs
Quotient graphs for power graphs
Published
• View Publication
• BIB
In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusion controlled permutation group. We make use of the proper quotient power graph $\widetilde{\mathcal{P}}_0(G)$, the proper order graph $\mathcal{O}_0(G)$ and the proper type graph $\mathcal{T}_0(G)$. We show that all those graphs are quotient of $\mathcal{P}_0(G)$ and demonstrate a strong link between them dealing with $G=S_n$. We find simultaneously $c(\mathcal{P}_0(S_n))$ as well as the number of components of $\widetilde{\mathcal{P}}_0(S_n)$, $\mathcal{O}_0(S_n)$ and $\mathcal{T}_0(S_n)$.
Inductively free Multiderivations of Braid arrangements
Published
• View Publication
• BIB
The reflection arrangement of a Coxeter group is a well known instance of a free hyperplane arrangement. In 2002, Terao showed that equipped with a constant multiplicity each such reflection arrangement gives rise to a free multiarrangement. In this note we show that this multiarrangment satisfies the stronger property of inductive freeness in case the Coxeter group is of type $A$.
When are finite projective planes magic?
Published
• View Publication
• BIB
This article studies a generalization of magic squares to finite projective planes. In traditional magic squares the entries come from the natural numbers. This does not work for finite projective planes, so we instead use Abelian groups. For each finite projective plane we demonstrate a small group over which the plane can labeled magically. In the prime order case we classify all groups over which the projective plane can be made magic.
A Frobenius formula for the structure coefficients of double-class algebras of Gelfand pairs
Published in Communications in Algebra 45(11) (2017) 4944-4959
• View Publication
• BIB
We generalise some well known properties of irreducible characters of finite groups to zonal spherical functions of Gelfand pairs. This leads to a Frobenius formula for Gelfand pairs. For a given Gelfand pair, the structure coefficients of its associated double-class algebra can be written in terms of zonal spherical functions. This is a generalisation of the Frobenius formula which writes the structure coefficients of the center of a finite group algebra in terms of irreducible characters.
Combinatorial Heat and Wave Equations on Certain Classes of Infinite Cayley and Coset Graphs
The combinatorial heat and wave equations on all finite Cayley and coset graphs with discrete time variable was solved by Lal {\it et al}. In this paper, the results of the above paper are extended for infinite Cayley and coset graphs, whenever the associated groups are discrete, abelian and finitely generated. Furthermore, we study the solution of the combinatorial heat and wave equations on a $k$-regular tree whose associated group is a non-abelian free group on $k$ generators, each of order~$2$. It turns out that in case of Cayley graphs the solutions to combinatorial heat and wave equations are weighted sum of the initial functions over balls of certain radius which are dependent on the discrete time variable.