group
10226 papers tagged with this keyword
$n \times n \times n$ Rubik's Cubes and God's Number
The Rubik's Cube is the most popular puzzle in the world. Two of its studied aspects are God's Number, the minimum number of turns necessary to solve any state, and the first law of cubology, a solvability criterion. We modify previous statements of the first law of cubology for $n \times n \times n$ Rubik's Cubes, and prove necessary and sufficient solvability conditions. We compute the order of the Rubik's Cube group and the number of distinct configurations of the $n \times n \times n$ Rubik's Cube. Finally, we derive a lower bound for God's Number using the group theoretical results and a counting argument.
q-ary Propelinear Perfect Codes from the Regular Subgroups of the GA(r,q) and Their Ranks
Published
• View Publication
• BIB
We propose a new method of constructing q-ary propelinear perfect codes. The approach utilizes permutations of the fixed length q-ary vectors that arise from the automorphisms of the regular subgroups of the affine group. For any prime q it is shown that the new class contains an infinite series of q-ary propelinear perfect codes of varying ranks of growing length.
Fire retainment on Cayley graphs
Published in Discrete Mathematics Discrete Mathematics, Volume 346, Issue 1, January 2023, 113176
• View Publication
• BIB
We study the fire-retaining problem on groups, a quasi-isometry invariant introduced by Martínez-Pedroza and Prytula [8], related to the firefighter problem. We prove that any Cayley graph with degree-$d$ polynomial growth does not satisfy $\{f(n)\}$-retainment, for any $f(n) = o(n^{d-2})$, matching the upper bound given for the firefighter problem for these graphs. In the exponential growth regime we prove general lower bounds for direct products and wreath products. These bounds are tight, and show that for exponential-growth groups a wide variety of behaviors is possible. In particular, we construct, for any $d\geq 1$, groups that satisfy $\{n^{d}\}$-retainment but not $o(n^d)$-retainment, as well as groups that do not satisfy sub-exponential retainment.
Chromatic Quasisymmetric Class Functions for combinatorial Hopf monoids
Published
• View Publication
• BIB
We study the chromatic quasisymmetric class function of a linearized combinatorial Hopf monoid. Given a linearized combinatorial Hopf monoid $H$, and an $H$-structure $h$ on a set $N$, there are proper colorings of $h$, generalizing graph colorings and poset partitions. We show that the automorphism group of $h$ acts on the set of proper colorings. The chromatic quasisymmetric class function enumerates the fixed points of this action, weighting each coloring with a monomial. For the Hopf monoid of graphs this invariant generalizes Stanley's chromatic symmetric function and specializes to the orbital chromatic polynomial of Cameron and Kayibi.
We also introduce the flag quasisymmetric class function of a balanced relative simplicial complex equipped with a group action. We show that, under certain conditions, the chromatic quasisymmetric class function of $h$ is the flag quasisymmetric class function of a balanced relative simplicial complex that we call the coloring complex of $h$. We use this result to deduce various inequalities for the associated orbital polynomial invariants. We apply these results to several examples related to enumerating graph colorings, poset partitions, generic functions on matroids or generalized permutohedra, and others.
Automorphism groups and normal forms in Normaliz
Published
• View Publication
• BIB
We discuss the computation of automorphism groups and normal forms of cones and polyhedra in Normaliz, and indicate its implementation via nauty. The types of automorphisms include integral, rational, Euclidean and combinatorial, as well as algebraic for polytopes defined over real algebraic number fields. Examples treated in detail are the icosahedron and linear ordering polytopes whose Euclidean automorphism groups are determined.
On images of subshifts under injective morphisms of symbolic varieties
Published
• View Publication
• BIB
We show that the image of a subshift $X$ under various injective morphisms of symbolic algebraic varieties over monoid universes with algebraic variety alphabets is a subshift of finite type, resp. a sofic subshift, if and only if so is $X$. Similarly, let $G$ be a countable monoid and let $A$, $B$ be Artinian modules over a ring. We prove that for every closed subshift submodule $Σ\subset A^G$ and every injective $G$-equivariant uniformly continuous module homomorphism $τ\colon Σ\to B^G$, a subshift $Δ\subset Σ$ is of finite type, resp. sofic, if and only if so is the image $τ(Δ)$. Generalizations for admissible group cellular automata over admissible Artinian group structure alphabets are also obtained.
On the Gauss-Epple homomorphism of the braid group $B_n$, and generalizations to Artin groups of crystallographic type
In this paper, we introduce a broad family of group homomorphisms that we name the Gauss-Epple homomorphisms. In the setting of braid groups, the Gauss-Epple invariant was originally defined by Epple based on a note of Gauss as an action of the braid group $B_n$ on the set $\{1, \dots, n\}\times\mathbb{Z}$; we prove that it is well-defined. We consider the associated group homomorphism from $B_n$ to the symmetric group $\text{Sym}(\{1, \dots, n\}\times\mathbb{Z})$. We prove that this homomorphism factors through $\mathbb{Z}^n\rtimes S_n$ (in fact, its image is an order 2 subgroup of the previous group). We also describe the kernel of the homomorphism and calculate the asymptotic probability that it contains a random braid of a given length. Furthermore, we discuss the super-Gauss-Epple homomorphism, a homomorphism which extends the generalization of the Gauss-Epple homomorphism and describe a related 1-cocycle of the symmetric group $S_n$ on the set of antisymmetric $n\times n$ matrices over the integers. We then generalize the super-Gauss-Epple homomorphism and the associated 1-cocycle to Artin groups of finite type. For future work, we suggest studying possible generalizations to complex reflection groups and computing the vector spaces of Gauss-Epple analogues.
Fixed points, descents, and inversions in parabolic double cosets of the symmetric group
We consider statistics on permutations chosen uniformly at random from fixed parabolic double cosets of the symmetric group. We show that the distribution of fixed points is asymptotically Poisson and establish central limit theorems for the distribution of descents and inversions. Our proofs use Stein's method with size-bias coupling and dependency graphs, which also gives convergence rates for our distributional approximations. As applications of our size-bias coupling and dependency graph constructions, we obtain concentration of measure results on the number of fixed points, descents, and inversions.
Hecke triangle Groups and Dessin d'enfant
In this work we will construct bipartite graphs, famously known as Dessin d'enfant, corresponding to finite index subgroups of Hecke triangle groups $(2, q, \infty )$. Then using a results of \cite{ll} we shall show the correspondences among the special polygons, the bi-partite graph, and the tree diagram for a finite index subgroup of the Hecke triangle groups $(2, q, \infty )$.
Perfect codes in vertex-transitive graphs
Published
• View Publication
• BIB
Given a graph $Γ$, a perfect code in $Γ$ is an independent set $C$ of vertices of $Γ$ such that every vertex outside of $C$ is adjacent to a unique vertex in $C$, and a total perfect code in $Γ$ is a set $C$ of vertices of $Γ$ such that every vertex of $Γ$ is adjacent to a unique vertex in $C$. To study (total) perfect codes in vertex-transitive graphs, we generalize the concept of subgroup (total) perfect code of a finite group introduced in \cite{HXZ18} as follows: Given a finite group $G$ and a subgroup $H$ of $G$, a subgroup $A$ of $G$ containing $H$ is called a subgroup (total) perfect code of the pair $(G,H)$ if there exists a coset graph $Cos(G,H,U)$ such that the set consisting of left cosets of $H$ in $A$ is a (total) perfect code in $Cos(G,H,U)$. We give a necessary and sufficient condition for a subgroup $A$ of $G$ containing $H$ to be a (total) perfect code of the pair $(G,H)$ and generalize a few known results of subgroup (total) perfect codes of groups. We also construct some examples of subgroup perfect codes of the pair $(G,H)$ and propose a few problems for further research.
A characterization of the symmetry groups of mono-monostatic convex bodies
Published
• View Publication
• BIB
Answering a question of Conway and Guy in a 1968 paper, Lángi in 2021 proved the existence of a monostable polyhedron with $n$-fold rotational symmetry for any $n \geq 3$, and arbitrarily close to a Euclidean ball. In this paper we strengthen this result by characterizing the possible symmetry groups of all mono-monostatic smooth convex bodies and convex polyhedra. Our result also answers a stronger version of the question of Conway and Guy, asked in the above paper of Lángi.
The dual approach to the $K(π, 1)$ conjecture
Published in Geometric Methods in Group Theory: Papers Dedicated to Ruth Charney, pp. 177-202, 2025
• Search Publication
Dual presentations of Coxeter groups have recently led to breakthroughs in our understanding of affine Artin groups. In particular, they led to the proof of the $K(π, 1)$ conjecture and to the solution of the word problem. Will the "dual approach" extend to more general classes of Coxeter and Artin groups? In this paper, we describe the techniques used to prove the $K(π, 1)$ conjecture for affine Artin groups and we ask a series of questions that are mostly open beyond the spherical and affine cases.
Expected value of letters of permutations with a given number of $k$-cycles
In this paper, we study permutations $π\in S_n$ with exactly $m$ transpositions. In particular, we are interested in the expected value of $π(1)$ when such permutations are chosen uniformly at random. When $n$ is even, this expected value is approximated closely by $(n+1)/2$, with an error term that is related to the number isometries of the $(n/2-m)$-dimensional hypercube that move every face. Furthermore, when $k \mid n$, this construction generalizes to allow us to compute the expected value of $π(1)$ for permutations with exactly $m$ $k$-cycles. In this case, the expected value has an error term which is related instead to the number derangements of the generalized symmetric group $S(k,n/k-m)$.
When $k$ does not divide $n$, the expected value of $π(1)$ is precisely $(n+1)/2$. Indirectly, this suggests the existence of a reversible algorithm to insert a letter into a permutation which preserves the number of $k$-cycles, which we construct.
A web basis of invariant polynomials from noncrossing partitions
Published in Advances in Mathematics 408, Paper No. 108603, 2022, 33 pages
• View Publication
• BIB
The irreducible representations of symmetric groups can be realized as certain graded pieces of invariant rings, equivalently as global sections of line bundles on partial flag varieties. There are various ways to choose useful bases of such Specht modules $S^λ$. Particularly powerful are web bases, which make important connections with cluster algebras and quantum link invariants. Unfortunately, web bases are only known in very special cases -- essentially, only the cases $λ=(d,d)$ and $λ=(d,d,d)$. Building on work of B. Rhoades (2017), we construct an apparent web basis of invariant polynomials for the $2$-parameter family of Specht modules with $λ$ of the form $(d,d,1^\ell)$. The planar diagrams that appear are noncrossing set partitions, and we thereby obtain geometric interpretations of earlier enumerative results in combinatorial dynamics.
On Cayley representations of central Cayley graphs over almost simple groups
Published in J. Algebr. Comb .57, 227-237 (2023)
• View Publication
• BIB
A Cayley graph over a group $G$ is said to be central if its connection set is a normal subset of $G$. We prove that every central Cayley graph over a simple group $G$ has at most two pairwise nonequivalent Cayley representations over $G$ associated with the subgroups of $Sym(G)$ induced by left and right multiplications of $G$. We also provide an algorithm which, given a central Cayley graph $Γ$ over an almost simple group $G$ whose socle is of a bounded index, finds the full set of pairwise nonequivalent Cayley representations of $Γ$ over $G$ in time polynomial in size of $G$.
Sequences of symmetry groups of infinite words
Published
• View Publication
• BIB
In this paper we introduce a new notion of a sequence of symmetry groups of an infinite word. Given a subgroup $G_n$ of the symmetric group $S_n$, it acts on the set of finite words of length $n$ by permutation. We associate to an infinite word $w$ a sequence $(G_n(w))_{n\geq 1}$ of its symmetry groups: For each $n$, a symmetry group of $w$ is a subgroup $G_n(w)$ of the symmetric group $S_n$ such that $g(v)$ is a factor of $w$ for each permutation $g \in G_n(w)$ and each factor $v$ of length $n$ of $w$. We study general properties of the symmetry groups of infinite words and characterize the sequences of symmetry groups of several families of infinite words. We show that for each subgroup $G$ of $S_n$ there exists an infinite word $w$ with $G_n(w)=G$. On the other hand, the structure of possible sequences $(G_n(w))_{n\geq 1}$ is quite restrictive: we show that they cannot contain for each order $n$ certain cycles, transpositions and some other permutations. The sequences of symmetry groups can also characterize a generalized periodicity property. We prove that symmetry groups of Sturmian words and more generally Arnoux-Rauzy words are of order two for large enough $n$; on the other hand, symmetry groups of certain Toeplitz words have exponential growth.
Permutations of counters on a table
We consider a game in which a blindfolded player attempts to set $n$ counters lying on the vertices of a rotating regular $n$-gon table simultaneously to $0$. When the counters count$\pmod{m}$ we simplify the argument of Bar Yehuda, Etzion, and Moran (1993) showing that the player can win if and only if $n = 1$, $m = 1$, or $(n, m) = (p^a, p^b)$ for some prime $p$ and $a, b \in \mathbb{N}$. We broadly generalize the result to the setting where the counters can be permuted by any element of a subset of the symmetric group $S \subseteq S_n$, with the original formulation corresponding to $S = \mathbb{Z}_n$ (rotations of the table).
When are symmetric ideals monomial?
Published
• View Publication
• BIB
We study conditions on polynomials such that the ideal generated by their orbits under the symmetric group action becomes a monomial ideal or has a monomial radical. If the polynomials are homogeneous, we expect that such an ideal has a monomial radical if their coefficients are sufficiently general with respect to their supports. We prove this for instance in the case where some generator contains a power of a variable. Moreover, if the polynomials have only square-free terms and their coefficients do not sum to zero, then in a larger polynomial ring the ideal itself is square-free monomial. This has implications also for symmetric ideals of the infinite polynomial ring.
Hurwitz numbers for reflection groups I: Generatingfunctionology
Published in Enum. Comb. Appl. 2:3 (2022) Article S2R20
• View Publication
• BIB
The classical Hurwitz numbers count the fixed-length transitive transposition factorizations of a permutation, with a remarkable product formula for the case of minimum length (genus $0$). We study the analogue of these numbers for reflection groups with the following generalization of transitivity: say that a reflection factorization of an element in a reflection group $W$ is full if the factors generate the whole group $W$. We compute the generating function for full factorizations of arbitrary length for an arbitrary element in a group in the combinatorial family $G(m, p, n)$ of complex reflection groups in terms of the generating functions of the symmetric group $\mathfrak{S}_n$ and the cyclic group of order $m/p$. As a corollary, we obtain leading-term formulas which count minimum-length full reflection factorizations of an arbitrary element in $G(m,p,n)$ in terms of the Hurwitz numbers of genus $0$ and $1$ and number-theoretic functions. We also study the structural properties of such generating functions for any complex reflection group; in particular, we show via representation-theoretic methods that they can by expressed as finite sums of exponentials of the variable.
Representations of Coxeter groups and homology of Coxeter graphs
We classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to the second-highest 2-sided cell in the sense of Kazhdan-Lusztig. We also give a description of the cell representation provided by this 2-sided cell, and find out all its simple quotients for simply laced Coxeter system with no more than one circuit in the Coxeter graph.