group
10226 papers tagged with this keyword
Symmetric sequencings and other combinatorial properties of large groups
We prove that Anderson's conjecture on symmetric sequencings and Bailey's conjecture on 2-sequencings hold for sufficiently large groups. In addition, we discuss extensions of partial harmonious sequences and partial R-sequencings. Several further results on double sequencings are presented, both in the context of abelian groups and for sufficiently large non-abelian groups.
On zero-sum problems over metacyclic groups $C_n \rtimes_s C_2$
Let $G$ be a finite group. A finite collection of elements from $G$, where the order is disregarded and repetitions are allowed, is said to be a product-one sequence if its elements can be ordered such that their product in $G$ equals the identity element of $G$. Then, the Gao's constant $\mathsf E (G)$ of $G$ is the smallest integer $\ell$ such that every sequence of length at least $\ell$ has a product-one subsequence of length $|G|$. For a positive integer $n$, we denote by $C_n$ a cyclic group of order $n$. Let $G = C_n \rtimes_s C_2$ with $s^2\equiv 1\pmod n$ be a metacyclic group. The direct and inverse problems of $\mathsf E (G)$ were settled recently, except for the case that $G=C_{3n_2}\rtimes_s C_2$ with $n_2\neq 1$, $\gcd(n_2,6)=1$, $s\equiv -1 \pmod 3$, and $s\equiv 1\pmod {n_2}$. In this paper, we complete the remaining case and hence for all metacyclic groups of the form $G=C_n \rtimes C_2$, the Gao's constant and the associated inverse problem are now fully settled (see Theorem 1.2).
The automorphism groups and identification of some Generalized Paley Graphs
The family of generalized Paley graphs of prime power order $q$ and degree $(q-1)/k$ is studied. It is shown that the automorphism group of a graph in this family is a subgroup of ${\mathrm{AΓL}}(1,q)$ whenever $q$ is sufficiently large relative to $k$. Furthermore, under the same conditions, the Weisfeiler-Leman dimension of these graphs is proved to be at most $5$. In particular, the same bound holds for the Van Lint-Schrijver graphs.
A new proof of an Eğecioğlu--Remmel inverse Kostka matrix problem via a Garsia--Milne involution involving Sym and NSym
Eğecioğlu and Remmel provide a combinatorial proof (using special rim hook tableaux) that the product of the Kostka matrix $K$ and its inverse $K^{-1}$ equals the identity matrix $I$. They then pose the problem of proving the reverse identity $K^{-1}K =I$ combinatorially. Sagan and Lee prove a special case of this identity using overlapping special rim hook tableaux. Loehr and Mendes provide a full proof using bijective matrix algebra that relies on the Eğecioğlu--Remmel map. In this article, we solve the problem in full generality independent of the Eğecioğlu--Remmel bijection. To do this, we start by proving NSym versions of both Kostka matrix identities using sign-reversing involutions involving the tunnel hook coverings recently introduced by the first and third authors. Then we modify our sign-reversing involutions to reduce to Sym. Finally, we show that our bijection is different than the Loehr and Mendes result by constructing an injective map between special rim tableaux and the symmetric group $S_n.$
Generating the symmetric group by three prefix reversals
The cubic pancake graphs are Cayley graphs over the symmetric group $\mathrm{Sym}_n$ generated by three prefix reversals. There is the following open problem: characterize all the sets of three prefix reversals that generate $\mathrm{Sym}_n$. We present a partial answer to this problem, in particular, we characterize all generating sets of three elements that contain at least one of the prefix reversals $r_2, r_3, r_{n-2}$, and $r_{n-1}$. We also give some computational results relating to the diameter and the girth of some cubic pancake graphs.
Multidimensional quadrangle condition and cuboctahedra in latin hypercubes
The well-known quadrangle criterion states that a latin square is istopic to the Cayley table of a group if and only if all quadrangles spanned by the same triple of symbols coincide in the fourth symbol. Gowers and Long (2020) reformulated it in the following way: the Cayley tables of the most associative quasigroups have the maximum number of octahedra.
In the present paper, we state the multidimensional quadrangle condition for $d$-dimensional latin hypercubes in terms of the reconstruction of subcubes of order $2$ from a bundle of $d+1$ entries and in terms of the maximal number of cuboctahedra. In particular, we show that the must associative $d$-ary quasigroups have Cayley tables such that every $2$-dimensional plane is isotopic to a latin square principally isotopic to the Cayley table of a group. We also estimate the number of cuboctahedra in latin squares and hypercubes from below and provide some computational results.
Stabilizing Automorphisms of Quantum Affine Space
We examine the graded automorphism groups of quantum affine spaces and classify these groups for spaces of dimension 7 or less. Using permutation actions on partitions, we investigate cases when the group decomposes as a product of graded automorphism groups of smaller dimensional spaces, and we describe the groups arising from the Kronecker tensor product of independent quantum parameter matrices.
Groups that produce expander graphs
We survey the known group properties that a sequence of finite groups or group actions needs to satisfy to admit subsets of bounded cardinality producing expander Cayley or Schreier graphs. We prove that an infinite amenable group and solvable groups of bounded derived length do not produce expander Schreier graphs, generalizing with easier proofs results of Lubotzky and Weiss for Cayley graphs. In particular, the poor expansion properties of a group action cannot in general be detected by looking at the abelian sections or at the representations above the stabilizer of a point.
A positivity property in the based ring of the lowest two-sided cell
Let $W_{\mathrm{aff}}$ be an extended affine Weyl group and $\mathbf{H}$ and $J$ be the corresponding affine and asymptotic Hecke algebras with standard bases $\{T_x\}$ and $\{t_w\}$, respectively. Viewing $J$ as a subalgebra of the $\mathbf{q}^{-\frac{1}{2}}$-adic completion of $\mathbf{H}$, we give formulas for the coefficient of $T_x$ in $t_w$ for various $x$ and $w$ in the lowest two-sided cell, in terms of generalized exponents of the Langlands dual group, under a hypothesis on the left cell containing $w$. In particular our results hold for the canonical left cell. For such $w$ we also define a seemingly new positive basis for the corresponding subring of $J$. For $\mathrm{GL}_n$, we give partial results for some other cells.
Endomorphism and automorphism graphs of finite groups
Let $G$ be a group. The directed endomorphism graph, $\dend(G)$ of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex $a$ to the vertex $b$ if $a \neq b$ and there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, $\uend(G)$ is the corresponding undirected simple graph. The automorphism graph of $G$ is similarly defined for automorphisms: it is a disjoint union of complete graphs on the orbits of $\Aut(G)$. The endomorphism digraph is a special case of a digraph associated with a transformation monoid, and we begin by introducing this. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on, as well as computing these graphs for some special groups. We conclude with examples showing that things are not always simple.
Flag-transitive $2$-$(v,k,λ)$ designs with $λ\ge (r,λ)^2$
This paper is devoted to the study of $2$-designs with $λ\ge (r,λ)^2$ admitting a flag-transitive automorphism group $G$. The group $G$ has been shown to be point-primitive of either almost simple or affine type. In this paper, we classify the $2$-designs with $λ\geq (r,λ)^2>1$ admitting a flag-transitive almost simple automorphism group with socle $\mathrm{PSL}_n(q)$ or $\mathrm{PSU}_n(q)$ for $n \geq 3$.
Finite groups and arc-transitive maps of square-free Euler characteristic
A characterization is completed for finite groups acting arc-transitively on maps with square-free Euler characteristic, associated with infinite families of regular maps of square-free Euler characteristic presented. This is based on a classification of finite groups of which each Sylow subgroup has a cyclic or dihedral subgroup of prime index.
An integral family of quasi-strongly regular Cayley graphs
Quasi-strongly regular graphs form a significant generalization of strongly regular graphs. We study the eigenvalues of a family of such graphs, $Γ_H(G)$, constructed from a finite group $G$ and a subgroup $H$. Our main results include a sufficient condition for $Γ_H(G)$ to be integral and an explicit computation of its entire spectrum when $H$ is normal, revealing that the spectrum in this case depends only on $|G|$ and the index $[G:H]$.
Cluster scattering diagrams via quiver moduli and tight gradings
We study rank-2 cluster scattering diagrams through moduli spaces of quiver representations and a recently developed combinatorial framework of tight gradings. Combining quiver-theoretic and combinatorial methods, we prove and extend a collection of conjectures posed by Elgin--Reading--Stella concerning the structural and enumerative properties of the wall-function coefficients. The tight grading perspective also provides a new proof of the Weyl group symmetry of the scattering diagram.
On the deep commuting graph of a finite group
Let $G$ be a finite group and let $\tilde{G}$ be a Schur cover of $G$. The deep commuting graph $Δ_D(G)$ of $G$ is a simple graph with vertex set $G$, where two distinct vertices are adjacent if their pre-images commute in $\tilde{G}$. The deep commuting graph of a finite group was first introduced in [P. J. Cameron and B. Kuzma, Between the enhanced power graph and the commuting graph, {\it J. Graph Theory} {\bf 102} (2023), no. 2, 295--303], where the authors have shown that $Δ_D(G)$ is fixed irrespective of the choice of the Schur cover $\tilde{G}$. In this paper, we first prove that $Δ_D(G)$ is complete if and only if $G$ is cyclic. Also, we classify finite simple groups, symmetric groups and alternating groups, for which $Δ_D(G)$ is perfect. In addition, explore several other properties of $Δ_D(G)$ like Eulerianess, universality and connectedness of reduced deep commuting graphs.
Next, we classify the finite abelian groups for which deep commuting graphs coincide with enhance power graphs. We also characterize the dominant vertices for the deep commuting graphs of finite abelian groups and examine the connectedness of the associated reduced deep commuting graphs. These properties of the deep commuting graphs for the non abelian groups like symmetric groups, alternating groups, dihedral groups, generalized quaternion group and Heisenberg groups are also discussed.
Characterizing Transfer Systems for Non-Abelian Groups
For a finite group $G$, the notion of a $G$-transfer system provides homotopy theorists with a combinatorial way to study equivariant objects. In this paper, we focus on the properties of transfer systems for non-abelian groups. We explicitly describe the width of all dihedral groups, quaternion groups, and dicyclic groups. For a given $G$, the set of all $G$-transfer systems forms a poset lattice under inclusion; these are a useful resource to homotopical combinatorialists for detecting patterns and checking conjectures. We expand the suite of known transfer system lattices for non-abelian groups including those which are dihedral, dicyclic, Frobenius, and alternating.
Quadratic exchange equations for Coxeter matroids
Tropicalisation (with trivial coefficients) is a process that turns a polynomial equation into a combinatorial predicate on subsets of the set of variables. We show that for each minuscule representation of a simple reductive group, there is a set of quadratic equations cutting out the orbit of the highest weight vector whose tropicalisation characterises the set of Coxeter matroids for that representation which satisfy the strong exchange property.
Signed permutations and degree-one dot action representations for types B and C
A spline is an assignment of polynomials to the vertices of a graph, where the difference of two polynomials along an edge must belong to the ideal labeling that edge. We consider a ring of splines $\mathcal{M}_{H}$ constructed on a graph whose vertices are the Weyl group $\mathfrak{W}_n$ of signed permutations, and whose edges and edge-ideals are defined using an order ideal $H$ of positive roots. These splines are a module over the polynomial ring in two ways, and a $\mathfrak{W}_n$-module by the dot action. These structures on $\mathcal{M}_{H}$ give rise to the graded left and right dot action representations of $\mathfrak{W}_n$. The left representation is the type B/C generalization of the type A dot action for regular semisimple Hessenberg varieties (and thus, chromatic quasisymmetric functions), and the right representation is the same for corresponding manifolds of isospectral matrices (and thus, unicellular LLT polynomials). This paper gives explicit module generators for the degree-one graded piece of $\mathcal{M}_{H}$ and computes the degree-one piece of the both dot action representations for all $H$ using the combinatorial data of $H$.
Closed neighborhood complexes of graphs
The closed neighborhood complex $\mathcal{N}[G]$ of a simple graph $G$ is the simplicial complex whose simplices are finite sets of vertices contained in a closed neighborhood of a vertex in $G$. We reveal that the closed neighborhood complex has close connections with other concepts, including the independence complex of the canonical double covering and the independence complex of the neighborhood hypergraph. Furthermore, we show that the fundamental group of the closed neighborhood complex is isomorphic to Grigor'yan--Lin--Muranov--Yau's fundamental group of a graph introduced in the study of path homology.
Simplicial Complex Emergence on Directed Hypergraphs
We study when co-evolving (or adaptive) higher-order networks defined on directed hypergraphs admit a simplicial description. Binary and triadic couplings are modelled by time-dependent weight tensors. Using representation theory of the symmetric group $S_k$, we decompose these tensors into fully symmetric, fully antisymmetric, and mixed isotypic components, and track their Frobenius norms to define three asymptotic regimes and a quantitative notion of convergence. In the symmetric (resp. antisymmetric) limit, we certify emergence and stability of simplicial complexes via a local boundary test and interior drift conditions that enforce downward-closure; in the mixed limit, we show that the minimal faithful object is a semi-simplicial set. We illustrate the theory with simulations that track the isotypic Frobenius norms and the higher-order structure. Practically, our work provides rigorous conditions under which homological tools are justified for adaptive higher-order systems.