group
10399 papers tagged with this keyword
A Note on Subgroup Perfect Codes in Cayley Graphs
Published
• View Publication
• BIB
In this paper, we give a necessary and sufficient condition for a subgroup to be a perfect code for finite groups. As an application, we determine all subgroup perfect codes of extraspecial 2-groups and finite groups whose Sylow 2-subgroup is extraspecial.
Cancellation of a critical pair in discrete Morse theory and its effect on (co)boundary operators
Published
• View Publication
• BIB
Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to the computation of homology groups of a simpler chain complex. This homology computation hinges on an efficient enumeration of gradient trajectories. The technique of cancelling pairs of critical simplices reduces the number of critical simplices, though it also perturbs the gradient trajectories. In this article, we demonstrate that (the matrix of) a certain modified boundary operator of interest can be derived from the corresponding original boundary operator through a sequence of elementary row operations. Thus, it eliminates the need of enumeration of the new gradient trajectories. We also obtain a similar result for coboundary operators.
A Coboundary Temperely-Lieb Category for $\mathfrak{sl}_2$-Crystals
Published
• View Publication
• BIB
By considering a suitable renormalization of the Temperley--Lieb category, we study its specialization to the case $q=0$. Unlike the $q\neq 0$ case, the obtained monoidal category, $\mathcal{TL}_0(\Bbbk)$, is not rigid or braided. We provide a closed formula for the Jones--Wenzl projectors in $\mathcal{TL}_0(\Bbbk)$ and give semisimple bases for its endomorphism algebras. We explain how to obtain the same basis using the representation theory of finite inverse monoids, via the associated Möbius inversion. We then describe a coboundary structure on $\mathcal{TL}_0(\Bbbk)$ and show that its idempotent completion is coboundary monoidally equivalent to the category of $\mathfrak{sl}_{2}$-crystals. This gives a diagrammatic description of the commutor for $\mathfrak{sl}_{2}$-crystals defined by Henriques and Kamnitzer and of the resulting action of the cactus group. We also study fiber functors of $\mathcal{TL}_0(\Bbbk)$ and discuss how they differ from the $q\neq 0$ case.
Extended weak order for the affine symmetric group
The extended weak order on a Coxeter group $W$ is the poset of biclosed sets in its root system. In (Barkley-Speyer 2024), it was shown that when $W=\widetilde{S}_n$ is the affine symmetric group, then the extended weak order is a quotient of the lattice $L_n$ of translation-invariant total orderings of the integers. In this article, we give a combinatorial introduction to $L_n$ and the extended weak order on $\widetilde{S}_n$. We show that $L_n$ is an algebraic completely semidistributive lattice. We describe its canonical join representations using a cyclic version of Reading's non-crossing arc diagrams. We also show analogous statements for the lattice of all total orders of the integers, which is the extended weak order on the symmetric group $S_\infty$. A key property of both of these lattices is that they are profinite; we also prove that a profinite lattice is join semidistributive if and only if its compact elements have canonical join representations. We conjecture that the extended weak order of any Coxeter group is a profinite semidistributive lattice.
Graph Powers of Groups
The Lights Out Puzzle, played on a graph $Γ$, has been studied using linear algebra over $\mathbb{F}_2$ and more generally over $\mathbb{Z}/k\mathbb{Z}$. We generalize the setting by allowing the states of vertices to be the elements of a group $G$, where a \textit{click} in vertex $v$ multiplies the state of $v$ and its neighbors by an element $g \in G$ on the right.
Starting with the identity element $e \in G$ for all vertices, the totality of all achievable state configurations forms a group $G^Γ$. This group generalizes parallel products of group actions and provides a rich structure for analysis. For many graphs, which we term ``RA'' (reducible to abelian), the problem reduces -- regardless of $G$ -- to a linear algebra question over $\mathbb{Z}$. We discuss a chain of five different subgroups consisting of commutators and introduce techniques for showing that families of graphs are RA using each. In particular, using Heisenberg groups, we establish that a graph is RA precisely when a certain lattice spans $\mathbb{Z}^{|Γ|}$. While most graphs appear to be RA, we show the odd-dimensional cube graphs $Q_{2n+1}$ and folded cube graphs $\square_d$, for $d$ odd or 2, are not.
Diagrammatic Categories which arise from Representation Graphs
The main result of this paper utilizes the representation graph of a group $G$, $R(V,G)$, and gives a general construction of a diagrammatic category $\mathbf{Dgrams}_{R(V,G)}$. The proof of the main theorem shows that, given explicit criteria, there is an equivalence of categories between a quotient category of $\mathbf{Dgrams}_{R(V,G)}$ and a full subcategory of $G-\textbf{mod}$ with objects being the tensor products of finitely many irreducible $G$-modules.
Transposes in the $q$-deformed modular group and their applications to $q$-deformed rational numbers
The (right) $q$-deformed rational numbers was introduced by Morier-Genoud and Ovsienko, and its left variant, whose numerators and denominators are essentially the normalized Jones polynomials of rational links, by Bapat, Becker and Licata. These notions are based on continued fractions and the $q$-deformed modular group $\operatorname{PSL}_q(2,\mathbb{Z})$-actions. In this paper, we introduce the \textit{$q$-transpose} for matrices in $\operatorname{PSL}_q(2,\mathbb{Z})$ to refine the basic perspective of the theory. For example, we present a new proof and a refinement of a theorem of Leclere and Morier-Genoud stating that the trace of $A \in \operatorname{PSL}(2,\mathbb{Z})$ is always palindromic and sign coherent. We also show arithmetic/combinatorial results on left $q$-deformed rationals (e.g., the criterion for their palindromicity). Finally, we discuss the connection to the conjecture of Kantarcı Oğuz on circular fence posets.
Descent set distribution for permutations with cycles of only odd or only even lengths
Published
• View Publication
• BIB
It is known that the number of permutations in the symmetric group $S_{2n}$ with cycles of odd lengths only is equal to the number of permutations with cycles of even lengths only. We prove a refinement of this equality, involving descent sets: the number of permutations in $S_{2n}$ with a prescribed descent set and all cycles of odd lengths is equal to the number of permutations with the complementary descent set and all cycles of even lengths. There is also a variant for $S_{2n+1}$. The proof uses generating functions for character values and applies a new identity on higher Lie characters.
Subgroups of Bestvina-Brady groups
Published
• View Publication
• BIB
In "Subgroups of Graph Groups", 1987, J. Alg., Droms proved that all the subgroups of a right-angled Artin group (RAAG) defined by a finite simplicial graph $Γ$ are themselves RAAGs if, and only if, $Γ$ has no induced square graph nor line-graph of length $3$. The present work provides a similar result for specific normal subgroups of RAAGs, called Bestvina-Brady groups: We characterize those graphs in which every subgroup of such a group is itself a RAAG. In turn, we confirm several Galois theoretic conjectures for the pro-$p$ completions of these groups.
Parking Spaces for Complex Reflection Groups
We answer an open problem of arXiv:1204.1760 and arXiv:1205.4293, extending their work to irreducible well--generated complex reflection groups $W$. We define a combinatorial $W$-noncrossing parking space and an algebraic $W$-parking space for such $W$, and exhibit a $(W \times C)$-equivariant isomorphism between the two. As a consequence of this isomorphism, we enumerate the $W$-noncrossing parking functions. Finally, we extend our results to the Fuss case. We prove the results for all such complex reflection groups except $G_{34}$, $E_7,$ and $E_8$.
Edge-transitive cubic graphs: Cataloguing and Enumeration
Published
• View Publication
• BIB
This paper deals with finite cubic ($3$-regular) graphs whose automorphism group acts transitively on the edges of the graph. Such graphs split into two broad classes, namely arc-transitive and semisymmetric cubic graphs, and then these divide respectively into $7$ types (according to a classification by Djoković and Miller (1980)) and $15$ types (according to a classification by Goldschmidt(1980)), in terms of certain group amalgams. Such graphs of small order were previously known up to orders $2048$ and $768$, respectively, and we have extended each of the two lists of all such graphs up to order $10000$. Before describing how we did that, we carry out an analysis of the $22$ amalgams, to show which of the finitely-presented groups associated with the $15$ Goldschmidt amalgams can be faithfully embedded in one or more of the other $21$ (as subgroups of finite index), complementing what is already known about such embeddings of the $7$ Djoković-Miller groups in each other. We also give an example of a graph of each of the $22$ types, and in most cases, describe the smallest such graph, and we then use regular coverings to prove that there are infinitely many examples of each type. Finally, we discuss the asymptotic enumeration of the graph orders, proving that if $f_{\mathcal C}(n)$ is the number of cubic edge-transitive graphs of type ${\mathcal C}$ on at most $n$ vertices, then there exist positive real constants $a$ and $b$ and a positive integer $n_0$ such that $n^{a \log(n)} \le f_{\mathcal C}(n) \le n^{b \log(n)}$ for all $\ n\ge n_0$.
Kronecker classes and cliques in derangement graphs
Published
• View Publication
• BIB
Given a permutation group $G$, the derangement graph of $G$ is defined with vertex set $G$, where two elements $x$ and $y$ are adjacent if and only if $xy^{-1}$ is a derangement. We establish that, if $G$ is transitive with degree exceeding 30, then the derangement graph of $G$ contains a complete subgraph with four vertices.
As a consequence, if $G$ is a normal subgroup of $A$ such that $|A : G| = 3$, and if $U$ is a subgroup of $G$ satisfying $G = \bigcup_{a \in A} U^a$, then $|G : U| \leq 10$. This result provides support for a conjecture by Neumann and Praeger concerning Kronecker classes.
Éléments de comptage sur les générateurs du groupe modulaire et les $λ$-quiddités
The aim of this article is to count the $n$-tuples of positive integers $(a_{1},\ldots,a_{n})$ solutions of the equation $\begin{pmatrix} a_{n} & -1 \\[4pt] 1 & 0 \end{pmatrix} \begin{pmatrix} a_{n-1} & -1 \\[4pt] 1 & 0 \end{pmatrix} \cdots \begin{pmatrix} a_{1} & -1 \\[4pt] 1 & 0 \end{pmatrix}=\pm M$ when $M$ is equal to the generators of the modular group $S=\begin{pmatrix} 0 & -1 \\[4pt] 1 & 0 \end{pmatrix}$ and $T=\begin{pmatrix} 1 & 1 \\[4pt] 0 & 1 \end{pmatrix}$. To count these elements, we will study the $λ$-quiddities, which are the solutions of the equation in the case $M=Id$ (related to Coxeter's friezes), whose last component is fixed.
Strongly Regular Graphs with Generalized Denniston and Dual Generalized Denniston Parameters
We construct two families of strongly regular Cayley graphs, or equivalently, partial difference sets, based on elementary abelian groups. The parameters of these two families are generalizations of the Denniston and the dual Denniston parameters, in contrast to the well known Latin square type and negative Latin square type parameters. The two families unify and subsume a number of existing constructions which have been presented in various contexts such as strongly regular graphs, partial difference sets, projective sets, and projective two-weight codes, notably including Denniston's seminal construction concerning maximal arcs in classical projective planes with even order. Our construction generates further momentum in this area, which recently saw exciting progress on the construction of the analogue of the famous Denniston partial difference sets in odd characteristic.
Simple games with minimum
Published
• View Publication
• BIB
Every simple game is a monotone Boolean function. For the other direction we just have to exclude the two constant functions. The enumeration of monotone Boolean functions with distinguishable variables is also known as the Dedekind's problem. The corresponding number for nine variables was determined just recently by two disjoint research groups. Considering permutations of the variables as symmetries we can also speak about non-equivalent monotone Boolean functions (or simple games). Here we consider simple games with minimum, i.e., simple games with a unique minimal winning vector. A closed formula for the number of such games is found as well as its dimension in terms of the number of players and equivalence classes of players.
The Moebius function on the lattice of normal subgroups
By studying lattices of normal subgroups, especially those of the socle and radical, an expression is obtained for the minimal number of conjugacy classes required to generate a group. This number is shown to be captured by the character table. The Moebius function is then used to extract information on the faithful irreducible representations of a group.
On 3-isoregularity of multicirculants
A graph is said to be $k$-{\em isoregular} if any two vertex subsets of cardinality at most $k$, that induce subgraphs of the same isomorphism type, have the same number of neighbors. It is shown that no $3$-isoregular bicirculant (and more generally, no locally $3$-isoregular bicirculant) of order twice an odd number exists. Further, partial results for bicirculants of order twice an even number as well as tricirculants of specific orders, are also obtained. Since $3$-isoregular graphs are necessarily strongly regular, the above result about bicirculants, among other, brings us a step closer to obtaining a direct proof of a classical consequence of the Classification of Finite Simple Groups that no simply primitive group of degree twice a prime exists for primes greater than $5$.
On the minimum cut-sets of the power graph of a finite cyclic group, II
Published
• View Publication
• BIB
The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple graph with vertex set $G$ and two distinct vertices are adjacent if one of them is a power of the other. Let $n=p_1^{n_1}p_2^{n_2}\cdots p_r^{n_r},$ where $p_1,p_2,\ldots,p_r$ are primes with $p_1<p_2<\cdots <p_r$ and $n_1,n_2,\ldots, n_r$ are positive integers. For the cyclic group $C_n$ of order $n$, the minimum cut-sets of $\mathcal{P}(C_n)$ are characterized in \cite{cps} for $r\leq 3$. Recently, in \cite{MPS}, certain cut-sets of $\mathcal{P}(C_n)$ are identified such that any minimum cut-set of $\mathcal{P}(C_n)$ must be one of them. In this paper, for $r\geq 4$, we explicitly determine the minimum cut-sets, in particular, the vertex connectivity of $\mathcal{P}(C_n)$ when: (i) $n_r\geq 2$, (ii) $r=4$ and $n_r=1$, and (iii) $r=5$, $n_r=1$, $p_1\geq 3$.
Cayley graphs on elementary abelian groups of extreme degree have complete cores
Nešetřil and Šámal asked whether every cubelike graph has a cubelike core. Mančinska, Pivotto, Roberson and Royle answered this question in the affirmative for cubelike graphs whose core has at most $32$ vertices. When the core of a cubelike graph has at most $16$ vertices, they gave a list of these cores, from which it follows that every cubelike graph with degree strictly less than $5$ has a complete core. We prove the following extension: if the degree of a cubelike graph is either strictly less than $5$ or at least $5$ less than the number of its vertices, then its core is complete and induced by a $\mathbb{F}_2$-vector subspace of its vertices. Thus we also answer Nešetřil and Šámal's question in the affirmative for cubelike graphs with degree at least $5$ less than the number of vertices. Our result is sharp as the $5$-regular folded $5$-cube and its graph complement are both non-complete cubelike graph cores. We also prove analogous results for Cayley graphs on elementary abelian $p$-groups for odd primes $p$.
Character factorisations, $z$-asymmetric partitions and plethysm
The Verschiebung operators $\varphi_t $ are a family of endomorphisms on the ring of symmetric functions, one for each integer $t\geq2$. Their action on the Schur basis has its origins in work of Littlewood and Richardson, and is intimately related with the decomposition of a partition into its $t$-core and $t$-quotient. Namely, they showed that the action on $s_λ$ is zero if the $t$-core of the indexing partition is nonempty, and otherwise it factors as a product of Schur functions indexed by the $t$-quotient. Much more recently, Lecouvey and, independently, Ayyer and Kumari have provided similar formulae for the characters of the symplectic and orthogonal groups, where again the combinatorics of cores and quotients plays a fundamental role. We embed all of these character factorisations in an infinite family involving an integer $z$ and parameter $q$ using a very general symmetric function defined by Hamel and King. The proof hinges on a new characterisation of the $t$-cores and $t$-quotients of $z$-asymmetric partitions which generalise the well-known classifications for self-conjugate and doubled distinct partitions. We also explain the connection between these results, plethysms of symmetric functions and characters of the symmetric group.