group
10405 papers tagged with this keyword
Stability phenomena in the homology of tree braid groups
Published in Algebr. Geom. Topol. 18 (2018) 2305-2337
• View Publication
• BIB
For a tree $G$, we study the changing behaviors in the homology groups $H_i(B_nG)$ as $n$ varies, where $B_nG := π_1($UConf$_n(G))$. We prove that the ranks of these homologies can be described by a single polynomial for all $n$, and construct this polynomial explicitly in terms of invariants of the tree $G$. To accomplish this we prove that the group $\bigoplus_n H_i(B_nG)$ can be endowed with the structure of a finitely generated graded module over an integral polynomial ring, and further prove that it naturally decomposes as a direct sum of graded shifts of squarefree monomial ideals. Following this, we spend time considering how our methods might be generalized to braid groups of arbitrary graphs, and make various conjectures in this direction.
Enumeration of cubic Cayley graphs on dihedral groups
Published in Acta Mathematica Sinica, English Series, 2017, 33(7): 996-1010
• View Publication
• BIB
Let $p$ be an odd prime, and $D_{2p}=\langle a,b\mid a^p=b^2=1,bab=a^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we completely classify the cubic Cayley graphs on $D_{2p}$ up to isomorphism by means of spectral method. By the way, we show that two cubic Cayley graphs on $D_{2p}$ are isomorphic if and only if they are cospectral. Moreover, we obtain the number of isomorphic classes of cubic Cayley graphs on $D_{2p}$ by using Gauss' celebrated law of quadratic reciprocity.
On two-quotient strong starters for $\mathbb{F}_q$
Published in Utilitas Mathematica-2019
• Search Publication
Let $G$ be a finite additive abelian group of odd order $n$, and let $G^*=G\setminus\{0\}$ be the set of non-zero elements. A starter for $G$ is a set $S=\{\{x_i,y_i\}:i=1,\ldots,\frac{n-1}{2}\}$ such that $\{x_1,\ldots,x_\frac{n-1}{2},y_1,\ldots,y_\frac{n-1}{2}\}=G^*$ and $\{\pm(x_i-y_i):i=1,\ldots,\frac{n-1}{2}\}=G^*$. Moreover, if $\left|\left\{x_i+y_i:i=1,\ldots,\frac{n-1}{2}\right\}\right|=\frac{n-1}{2}$, then $S$ is called a strong starter for $G$. A starter $S$ for $G$ is a $k$ quotient starter if there exists $Q\subseteq G^*$ of cardinality $k$ such that $y_i/x_i\in Q$ or $x_i/y_i\in Q$, for $i=1,\ldots,\frac{n-1}{2}$. In this paper, we give examples of two-quotient strong starters for $\mathbb{F}_q$, where $q=2^kt+1$ is a prime power with $k>1$ a positive integer and $t$ an odd integer greater than 1.
Linked systems of symmetric group divisible designs
Published
• View Publication
• BIB
We introduce the concept of linked systems of symmetric group divisible designs. The connection with association schemes is established, and as a consequence we obtain an upper bound on the number of symmetric group divisible designs which are linked. Several examples of linked systems of symmetric group divisible designs are provided.
Automorphism groups of a class of cubic Cayley graphs on symmetric groups
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group of degree $n$ with $n\geq 3$. Set $S=\{c_n=(1\ 2\ldots \ n),c_n^{-1},(1\ 2)\}$. Let $Γ_n=\mathrm{Cay}(S_n,S)$ be the Cayley graph on $S_n$ with respect to $S$. In this paper, we show that $Γ_n$ ($n\geq 13$) is a normal Cayley graph, and that the full automorphism group of $Γ_n$ is equal to $\mathrm{Aut}(Γ_n)=R(S_n)\rtimes \langle\mathrm{Inn}(φ)\rangle\cong S_n\rtimes \mathbb{Z}_2$, where $R(S_n)$ is the right regular representation of $S_n$, $φ=(1\ 2)(3\ n)(4\ n-1)(5\ n-2)\cdots$ $(\in S_n)$, and $\mathrm{Inn}(φ)$ is the inner isomorphism of $S_n$ induced by $φ$.
Asymptotics of Symmetry in Matroids
Published
• View Publication
• BIB
We prove that asymptotically almost all matroids have a trivial automorphism group, or an automorphism group generated by a single transposition. Additionally, we show that asymptotically almost all sparse paving matroids have a trivial automorphism group.
The $μ$-permanent, a new graph labeling, and a known integer sequence
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.
Markov Chains from Descent Operators on Combinatorial Hopf Algebras
We develop a general theory for Markov chains whose transition probabilities are the coefficients of descent operators on combinatorial Hopf algebras. These model the breaking-then-recombining of combinational objects. Examples include the various card-shuffles of Diaconis, Fill and Pitman, Fulman's restriction-then-induction chains on the representations of the symmetric group, and a plethora of new chains on trees, partitions and permutations. The eigenvalues of these chains can be calculated in a uniform manner using Hopf algebra structure theory, and there is a simple expression for their stationary distributions. For an important subclass of chains analogous to the top-to-random shuffle, we derive a full right eigenbasis, from which follow exact expressions for expectations of certain statistics of interest. This greatly generalises the coproduct-then-product chains previously studied in joint work with Persi Diaconis and Arun Ram.
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.