group
10258 papers tagged with this keyword
Subalgebras of Solomon's descent algebra based on alternating runs
Published in Journal of Combinatorial Theory, Series A, 158(2018), 36-65
• View Publication
• BIB
The number of alternating runs is a natural permutation statistic. We show it can be used to define some commutative subalgebras of the symmetric group algebra, and more precisely of the descent algebra. The Eulerian peak algebras naturally appear as subalgebras of our run algebras. We also calculate the orthogonal idempotents for run algebras in terms of noncommutative symmetric functions.
Perfect codes in Cayley graphs
Published
• View Publication
• BIB
Given a graph $Γ$, a subset $C$ of $V(Γ)$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than one to exactly one vertex in $C$, and a subset $C$ of $V(Γ)$ is called a total perfect code in $Γ$ if every vertex of $Γ$ is adjacent to exactly one vertex in $C$. In this paper we study perfect codes and total perfect codes in Cayley graphs, with a focus on the following themes: when a subgroup of a given group is a (total) perfect code in a Cayley graph of the group; and how to construct new (total) perfect codes in a Cayley graph from known ones using automorphisms of the underlying group. We prove several results around these questions.
Chains in shard lattices and BHZ posets
Published
• View Publication
• BIB
For every finite Coxeter group W , we prove that the number of chains in the shard intersection lattice introduced by Reading on the one hand and in the BHZ poset introduced by Bergeron, Zabrocki and the third author on the other hand, are the same. We also show that these two partial orders are related by an equality between generating series for their M{ö}bius numbers, and provide a dimension-preserving bijection between the order complex on the BHZ poset and the pulling triangulation of the permutahedron arising from the right weak order, analogous to the bijection defined by Reading between the order complex of the shard poset and the same triangulation of the permutahedron.
Multiplicity-free Kronecker products of characters of the symmetric groups
Published
• View Publication
• BIB
We provide a classification of multiplicity-free inner tensor products of irreducible characters of symmetric groups, thus confirming a conjecture of Bessenrodt. Concurrently, we classify all multiplicity-free inner tensor products of skew characters of the symmetric groups. We also provide formulae for calculating the decomposition of these tensor products.
Color groups of colorings of $N$-planar modules
Published in J. Phys.: Conf. Ser. 809 (2017) 012029
• View Publication
• BIB
A submodule of a $\mathbb{Z}$-module determines a coloring of the module where each coset of the submodule is associated to a unique color. Given a submodule coloring of a $\mathbb{Z}$-module, the group formed by the symmetries of the module that induces a permutation of colors is referred to as the color group of the coloring. In this contribution, a method to solve for the color groups of colorings of $N$-planar modules where $N=4$ and $N=6$ are given. Examples of colorings of rectangular lattices and of the vertices of the Ammann-Beenker tiling are given to exhibit how these methods may be extended to the general case.
On parking functions and the zeta map in types B,C and D
Published
• View Publication
• BIB
Let $Φ$ be an irreducible crystallographic root system with Weyl group $W$, coroot lattice $\check{Q}$ and Coxeter number $h$. Recently the second named author defined a uniform $W$-isomorphism $ζ$ between the finite torus $\check{Q}/(mh+1)\check{Q}$ and the set of non-nesting parking fuctions $\operatorname{Park}^{(m)}(Φ)$. If $Φ$ is of type $A_{n-1}$ and $m=1$ this map is equivalent to a map defined on labelled Dyck paths that arises in the study of the Hilbert series of the space of diagonal harmonics.
In this paper we investigate the case $m=1$ for the other infinite families of root systems ($B_n$, $C_n$ and $D_n$). In each type we define models for the finite torus and for the set of non-nesting parking functions in terms of labelled lattice paths. The map $ζ$ can then be viewed as a map between these combinatorial objects. Our work entails new bijections between (square) lattice paths and ballot paths.
Lower Bounds on Words Separation: Are There Short Identities in Transformation Semigroups?
Published
• View Publication
• BIB
The words separation problem, originally formulated by Goralcik and Koubek (1986), is stated as follows. Let $Sep(n)$ be the minimum number such that for any two words of length $\le n$ there is a deterministic finite automaton with $Sep(n)$ states, accepting exactly one of them. The problem is to find the asymptotics of the function $Sep$. This problem is inverse to finding the asymptotics of the length of the shortest identity in full transformation semigroups $T_k$. The known lower bound on $Sep$ stems from the unary identity in $T_k$. We find the first series of identities in $T_k$ which are shorter than the corresponding unary identity for infinitely many values of $k$, and thus slightly improve the lower bound on $Sep(n)$. Then we present some short positive identities in symmetric groups, improving the lower bound on separating words by permutational automata by a multiplicative constant. Finally, we present the results of computer search for short identities for small $k$.
On the generalized restricted sumsets in abelian groups
Published
• View Publication
• BIB
Suppose that $A$, $B$ and $S$ are non-empty subsets of a finite abelian group $G$. Then the generalized restricted sumset $$ A\stackrel{S}+B:=\{a+b:\,a\in A,\ b\in B,\ a-b\not\in S\} $$ contains at least $$ \min\{|A|+|B|-3|S|,p(G)\} $$ elements, where $p(G)$ is the least prime factor of $|G|$. Further, we also have $$ |A\stackrel{S}+B|\geq \min\{|A|+|B|-|S|-2,p(G)\}, $$ provided that both $|A|$ and $|B|$ are large with respect to $|S|$.
On the complexity of finite subgraphs of the curve graph
Published in Osaka Journal of Mathematics 55 (2018), 795-808
• Search Publication
We say a graph has property $\mathcal{P}_{g,p}$ when it is an induced subgraph of the curve graph of a surface of genus $g$ with $p$ punctures. Two well-known graph invariants, the chromatic and clique numbers, can provide obstructions to $\mathcal{P}_{g,p}$. We introduce a new invariant of a graph, the 'nested complexity length', which provides a novel obstruction to $\mathcal{P}_{g,p}$. For the curve graph this invariant captures the topological complexity of the surface in graph-theoretic terms; indeed we show that its value is $6g-6+2p$, i.e. twice the size of a maximal multicurve on the surface. As a consequence we show that large half-graphs do not have $\mathcal{P}_{g,p}$, and we deduce quantitatively that almost all finite graphs which pass the chromatic and clique tests do not have $\mathcal{P}_{g,p}$. We also reinterpret our obstruction in terms of the first-order theory of the curve graph, and in terms of RAAG subgroups of the mapping class group (following Kim and Koberda). Finally, we show that large multipartite subgraphs cannot have $\mathcal{P}_{g,p}$. This allows us to compute the upper density of the curve graph, and to conclude that clique size, chromatic number, and nested complexity length are not sufficient to determine $\mathcal{P}_{g,p}$.
Wigner law for matrices with dependent entries - a perturbative approach
Published in J. Phys. A: Math. Theor. 50 (2017) 16LT02
• View Publication
• BIB
We show that Wigner semi-circle law holds for Hermitian matrices with dependent entries, provided the deviation of the cumulants from the normalised Gaussian case obeys a simple power law bound in the size of the matrix. To establish this result, we use replicas interpreted as a zero-dimensional quantum field theoretical model whose effective potential obey a renormalisation group equation.
Alphabet-Almost-Simple 2-Neighbour Transitive Codes
Published
• View Publication
• BIB
Let $X$ be a subgroup of the full automorphism group of the Hamming graph $H(m,q)$, and $C$ a subset of the vertices of the Hamming graph. We say that $C$ is an \emph{$(X,2)$-neighbour transitive code} if $X$ is transitive on $C$, as well as $C_1$ and $C_2$, the sets of vertices which are distance $1$ and $2$ from the code. This paper begins the classification of $(X,2)$-neighbour transitive codes where the action of $X$ on the entries of the Hamming graph has a non-trivial kernel. There exists a subgroup of $X$ with a $2$-transitive action on the alphabet; this action is thus almost-simple or affine. If this $2$-transitive action is almost simple we say $C$ is \emph{alphabet-almost-simple}. The main result in this paper states that the only alphabet-almost-simple $(X,2)$-neighbour transitive code with minimum distance $δ\geq 3$ is the repetition code in $H(3,q)$, where $q\geq 5$.
Schur partition theorems via perfect crystal
Motivated by spin modular representations of the symmetric groups, we propose two generalizations of the Schur regular partitions for an odd integer $p\geq 3$. One forms a subset of the set of $p$-strict partitions, and the other forms that of strict partitions. We prove that each set has a basic $A^{(2)}_{p-1}$-crystal structure. For $p=3$, it reproves Schur's 1926 partition theorem, a mod 6 analog of Rogers-Ramanujan partition theorem (RRPT). For $p=5$, it gives a computer-free proof of a conjecture by Andrews during his 3-parameter generalization of RRPT, which was first proved by Andrews-Bessenrodt-Olsson.
The Berenstein-Kirillov group and cactus groups
Published
• View Publication
• BIB
Berenstein and Kirillov have studied the action of Bender-Knuth moves on semistandard tableaux. Losev has studied a cactus group action in Kazhdan-Lusztig theory; in type $A$ this action can also be identified in the work of Henriques and Kamnitzer. We establish the relationship between the two actions. We show that the Berenstein-Kirillov group is a quotient of the cactus group. We use this to derive previously unknown relations in the Berenstein-Kirillov group. We also determine precise implications between subsets of relations in the two groups, which yields a presentation for cactus groups in terms of Bender-Knuth generators.
Pattern-Avoiding Polytopes
Published
• View Publication
• BIB
Two well-known polytopes whose vertices are indexed by permutations in the symmetric group $\mathfrak{S}_n$ are the permutohedron $P_n$ and the Birkhoff polytope $B_n$. We consider polytopes $P_n(Π)$ and $B_n(Π)$, whose vertices correspond to the permutations in $\mathfrak{S}_n$ avoiding a set of patterns $Π$. For various choices of $Π$, we explore the Ehrhart polynomials and $h^*$-vectors of these polytopes as well as other aspects of their combinatorial structure.
For $P_n(Π)$, we consider all subsets $Π\subseteq \mathfrak{S}_3$ and are able to provide results in most cases. To illustrate, $P_n(123,132)$ is a Pitman-Stanley polytope, the number of interior lattice points in $P_n(132,312)$ is a derangement number, and the normalized volume of $P_n(123,231,312)$ is the number of trees on $n$ vertices.
The polytopes $B_n(Π)$ seem much more difficult to analyze, so we focus on four particular choices of $Π$. First we show that the $B_n(231,321)$ is exactly the Chan-Robbins-Yuen polytope. Next we prove that for any $Π$ containing $\{123,312\}$ we have $h^*(B_n(Π))=1$. Finally, we study $B_n(132,312)$ and $\widetilde{B}_n(123)$, where the tilde indicates that we choose vertices corresponding to alternating permutations avoiding the pattern $123$. In both cases we use order complexes of posets and techniques from toric algebra to construct regular, unimodular triangulations of the polytopes. The posets involved turn out to be isomorphic to the lattices of Young diagrams contained in a certain shape, and this permits us to give an exact expression for the normalized volumes of the corresponding polytopes via the hook formula. Finally, Stanley's theory of $(P,ω)$-partitions allows us to show that their $h^*$-vectors are symmetric and unimodal.
Various questions and conjectures are presented throughout.
Mirror graphs: graph theoretical characterization of reflection arrangements and finite Coxeter groups
Published
• View Publication
• BIB
Mirror graphs were introduced by Brešar et al. in 2004 as an intriguing class of graphs: vertex-transitive, isometrically embeddable into hypercubes, having a strong connection with regular maps and polytope structure. In this article we settle the structure of mirror graphs by characterizing them as precisely the Cayley graphs of the finite Coxeter groups or equivalently the tope graphs of reflection arrangements - well understood and classified structures. We provide a polynomial algorithm for their recognition.
A study of the Structural Properties of finite $G$-graphs and their Characterisation
The $G$-graph $Γ(G,S)$ is a graph from the group $G$ generated by $S\subseteq G$, where the vertices are the right cosets of the cyclic subgroups $\langle s \rangle, s\in S$ with $k$-edges between two distinct cosets if there is an intersection of $k$ elements. In this thesis, after presenting some important properties of $G$-graphs, we show how the $G$-graph depends on the generating set of the group. We give the $G$-graphs of the symmetric group, alternating group and the semi-dihedral group with respect to various generating sets. We give a characterisation of finite $G$-graphs; in the general case and a bipartite case. Using these characterisations, we give several classes of graphs that are $G$-graphs. For instance, we consider the Turán graphs, the platonic graphs and biregular graphs such as the Levi graphs of geometric configurations. We emphasis the structural properties of $G$-graphs and their relations to the group $G$ and the generating set $S$.
As preliminary results for further studies, we give the adjacency matrix and spectrum of various finite $G$-graphs. As an application, we compute the energy of these graphs. We also present some preliminary results on infinite $G$-graphs where we consider the $G$-graphs of the infinite group $SL_2(\mathbb{Z})$ and an infinite non-Abelian matrix group.
Association schemes all of whose symmetric fusion schemes are integral
Published in Ars Mathematica Contemporanea 13.2 (2017): 331-341
• View Publication
• BIB
In this paper we aim to characterize association schemes all of whose symmetric fusion schemes have only integral eigenvalues, and classify those obtained from a regular action of a finite group by taking its orbitals.
Odd extensions of transitive groups via symmetric graphs
Published
• View Publication
• BIB
When dealing with symmetry properties of mathematical objects, one of the fundamental questions is to determine their full automorphism group. In this paper this question is considered in the context of even/odd permutations dichotomy. More precisely: when is it that existence of automorphisms acting as even permutations on the vertex set of a graph, called {\em even automorphisms}, forces existence of automorphisms that act as odd permutations, called {\em odd automorphisms}. As a first step towards resolving the above question, a complete information on existence of odd automorphisms in cubic symmetric graphs is given.
Characterization of intersecting families of maximum size in $PSL(2,q)$
Published in J. Comb. Theory A. 157 (2018), 461-499
• View Publication
• BIB
We consider the action of the $2$-dimensional projective special linear group $PSL(2,q)$ on the projective line $PG(1,q)$ over the finite field $\F_q$, where $q$ is an odd prime power. A subset $S$ of $PSL(2,q)$ is said to be an intersecting family if for any $g_1,g_2 \in S$, there exists an element $x\in PG(1,q)$ such that $x^{g_1}= x^{g_2}$. It is known that the maximum size of an intersecting family in $PSL(2,q)$ is $q(q-1)/2$. We prove that all intersecting families of maximum size are cosets of point stabilizers for all odd prime powers $q>3$.
Enumerative Properties of Posets Corresponding to a Certain Class of No Strategy Games
In this paper, we consider a game beginning with a multiset of elements from a group. On a move, two elements are replaced by their sum. This is a no strategy game, and can be modeled as a graded poset with the rank of a node equal to the cardinality of its multiset. We study the enumerative properties of certain variations of this game, such as the number of ways to play them and their numbers of end states. This leads to several new sequences, as well as new interpretations of classic sequences such as those found in the Catalan and Motzkin triangles.