group
10399 papers tagged with this keyword
Orbital categories and weak indexing systems
We initiate the combinatorial study of the poset $\mathrm{wIndex}_{\mathcal{T}}$ of weak $\mathcal{T}$-indexing systems, consisting of composable collections of arities for $\mathcal{T}$-equivariant algebraic structures, where $\mathcal{T}$ is an orbital $\infty$-category, such as the orbit category of a finite group. In particular, we show that these are equivalent to weak $\mathcal{T}$-indexing categories and characterize various unitality conditions.
Within this sits a natural generalization $\mathrm{Index}_{\mathcal{T}} \subset \mathrm{wIndex}_{\mathcal{T}}$ of Blumberg-Hill's indexing systems, consisting of arities for structures possessing binary operations and unit elements. We characterize the relationship between the posets of unital weak indexing systems and indexing systems, the latter remaining isomorphic to transfer systems on this level of generality. We use this to characterize the poset of unital $C_{p^n}$-weak indexing systems.
On isomorphisms of $m$-Cayley digraphs
Published
• View Publication
• BIB
The isomorphism problem for digraphs is a fundamental problem in graph theory. This problem for Cayley digraphs has been extensively investigated over the last half a century. In this paper, we consider this problem for $m$-Cayley digraphs which are generalization of Cayley digraphs. Let $m$ be a positive integer. A digraph admitting a group $G$ of automorphisms acting semiregularly on the vertices with exactly $m$ orbits is called an $m$-Cayley digraph of $G$. In particular, $1$-Cayley digraph is just the Cayley digraph. We first characterize the normalizer of $G$ in the full automorphism group of an $m$-Cayley digraph of a finite group $G$. This generalizes a similar result for Cayley digraph achieved by Godsil in 1981. Then we use this to study the isomorphisms of $m$-Cayley digraphs. The CI-property of a Cayley digraph (CI stands for `Cayley isomorphism') and the DCI-groups (whose Cayley digraphs are all CI-digraphs) are two key topics in the study of isomorphisms of Cayley digraphs. We generalize these concepts into $m$-Cayley digraphs by defining $m$CI- and $m$PCI-digraphs, and correspondingly, $m$DCI- and $m$PDCI-groups. Analogues to Babai's criterion for CI-digraphs are given for $m$CI- and $m$PCI-digraphs, respectively. With these we then classify finite $m$DCI-groups for each $m\geq 2$, and finite $m$PDCI-groups for each $m\geq 4$. Similar results are also obtained for $m$-Cayley graphs. Note that 1DCI-groups are just DCI-groups, and the classification of finite DCI-groups is a long-standing open problem that has been worked on a lot.
Structural and Spectral Properties of Chordal Ring, Multi-ring and Mixed Graphs
Published
• View Publication
• BIB
The chordal ring (CR) graphs are a well-known family of graphs used to model some interconnection networks for computer systems in which all nodes are in a cycle. Generalizing the CR graphs, in this paper, we introduce the families of chordal multi-ring (CMR), chordal ring mixed (CRM), and chordal multi-ring mixed (CMRM) graphs. In the case of mixed graphs, we can have edges (without direction) and arcs (with direction). The chordal ring and chordal ring mixed graphs are bipartite and 3-regular. They consist of a number $r$ (for $r\geq 1$) of (undirected or directed) cycles with some edges (the chords) joining them. In particular, for CMR, when $r=1$, that is, with only one undirected cycle, we obtain the known families of chordal ring graphs. Here, we use plane tessellations to represent our chordal multi-ring graphs. This allows us to obtain their maximum number of vertices for every given diameter. Besides, we computationally obtain their minimum diameter for any value of the number of vertices. Moreover, when seen as a lift graph (also called voltage graph) of a base graph on Abelian groups, we obtain closed formulas for the spectrum, that is, the eigenvalue multi-set of its adjacency matrix.
Harmonious sequences in groups with a unique involution
Published
• View Publication
• BIB
We study several combinatorial properties of finite groups that are related to the notions of sequenceability, R-sequenceability, and harmonious sequences. In particular, we show that in every abelian group $G$ with a unique involution $\imath_G$ there exists a permutation $g_0,\ldots, g_{m}$ of elements of $G \backslash \{\imath_G\}$ such that the consecutive sums $g_0+g_1, g_1+g_2,\ldots, g_{m}+g_0$ also form a permutation of elements of $G\backslash \{\imath_G\}$. We also show that in every abelian group of order at least 4 there exists a sequence containing each non-identity element of $G$ exactly twice such that the consecutive sums also contain each non-identity element of $G$ twice. We apply several results to the existence of transversals in Latin squares.
On Modular Invariants of Truncated Polynomial Rings in low ranks
Published
• View Publication
• BIB
We verify the conjectures due to Lewis, Reiner and Stanton about the Hilbert series of the invariant ring of the truncated polynomial ring for all parabolic subgroups up to rank $3$. This is done by constructing an explicit set of generators for each invariant ring in question. We also propose a conjecture concerning the action of the Steenrod algebra and the Dickson algebra on a certain naturally occurring filtration of the invariant ring under the general linear group.
Half-integral Erdős-Pósa property for non-null $S$-$T$ paths
For a group $Γ$, a $Γ$-labelled graph is an undirected graph $G$ where every orientation of an edge is assigned an element of $Γ$ so that opposite orientations of the same edge are assigned inverse elements. A path in $G$ is non-null if the product of the labels along the path is not the neutral element of $Γ$. We prove that for every finite group $Γ$, non-null $S$-$T$ paths in $Γ$-labelled graphs exhibit the half-integral Erdős-Pósa property. More precisely, there is a function $f$, depending on $Γ$, such that for every $Γ$-labelled graph $G$, subsets of vertices $S$ and $T$, and integer $k$, one of the following objects exists: a family $\cal F$ consisting of $k$ non-null $S$-$T$ paths in $G$ such that every vertex of $G$ participates in at most two paths of $\cal F$; or a set $X$ consisting of at most $f(k)$ vertices that meets every non-null $S$-$T$ path in $G$. This in particular proves that in undirected graphs $S$-$T$ paths of odd length have the half-integral Erdős-Pósa property.
Associating hypergraphs defined on loops
Published
• View Publication
• BIB
In this paper, we define a new hypergraph $\mathcal{H(V,E)}$ on a loop $L$, where $\mathcal{V}$ is the set of points of the loop $L$ and $\mathcal{E}$ is the set of hyperedges $e=\{x,y,z\}$ such that $x,y$ and $z$ associate in the order they are written. We call this hypergraph as the associating hypergraph on a loop $L$. We study certain properites of associating hypergraphs on the Moufang loop $M(D_n,2)$, where $D_n$ denotes the dihedral group of order $2n$.
Modular Golomb rulers and almost difference sets
Published
• View Publication
• BIB
A $(v,k,λ)$-difference set in a group $G$ of order $v$ is a subset $\{d_1, d_2, \ldots,d_k\}$ of $G$ such that $D=\sum d_i$ in the group ring ${\mathbb Z}[G]$ satisfies $$D D^{-1} = n + λG,$$ where $n=k-λ$. In other words, the nonzero elements of $G$ all occur exactly $λ$ times as differences of elements in $D$.
A $(v,k,λ,t)$-almost difference set has $t$ nonzero elements of $G$ occurring $λ$ times, and the other $v-1-t$ occurring $λ+1$ times. When $λ=0$, this is equivalent to a modular Golomb ruler. In this paper we investigate existence questions on these objects, and extend previous results constructing almost difference sets by adding or removing an element from a difference set. We also show for which primes the octic residues, with or without zero, form an almost difference set.
Braid graphs in simply-laced triangle-free Coxeter systems are median
Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph in a natural way. In a recent paper, Awik et al.~proved that when a Coxeter system is simply laced and triangle free (i.e., the corresponding Coxeter graph has no three-cycles), the braid graph for a reduced expression is a partial cube (i.e., isometric to a subgraph of a hypercube). In this paper, we will provide an alternate proof of this fact, as well as determine the minimal dimension hypercube into which a braid graph can be isometrically embedded, which addresses an open question posed by Awik et al. For our main result, we prove that braid graphs in simply-laced triangle-free Coxeter systems are median, which is a strengthening of previous results.
Infinite families of triangle presentations
A triangle presentation is a combinatorial datum that encodes the action of a group on a $2$-dimensional triangle complex with prescribed links, which is simply transitive on the vertices. We provide the first infinite family of triangle presentations that give rise to lattices in exotic buildings of type $\widetilde{\text{A}_2}$ of arbitrarily large order. Our method also gives rise to infinite families of triangle presentations for other link types, such as opposition complexes in Desarguesian projective planes.
Derangements in intransitive groups
Published
• View Publication
• BIB
Let $G$ be a nontrivial permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is intransitive, then $G$ may fail to have a derangement, and this can happen even if $G$ has only two orbits, both of which have size $(1/2+o(1))n$. However, we conjecture that if $G$ has two orbits of size exactly $n/2$ then $G$ does have a derangement, and we prove this conjecture when $G$ acts primitively on at least one of the orbits. Equivalently, we conjecture that a finite group is never the union of conjugates of two proper subgroups of the same order, and we prove this conjecture when at least one of the subgroups is maximal. (Feldman also implicitly raised this conjecture on StackExchange.) We also prove the conjecture for soluble groups, almost simple groups and groups of order at most 50000, and we reduce the conjecture to perfect groups. Along the way, we prove a linear variant on Isbell's conjecture regarding derangements of prime-power order, and we highlight connections with intersecting families of permutations and roots of polynomials modulo primes.
On $3$-designs from $PGL(2,q)$
Published
• View Publication
• BIB
The group $PGL(2,q)$ acts $3$-transitively on the projective line $GF(q) \cup \{\infty\}$. Thus, an orbit of its action on the $k$-subsets of the projective line is the block set of a $3$-$(q+1,k,λ)$ design. We find the parameters of the designs formed by the orbit of a block of the form $\langle θ^r \rangle$ or $\langle θ^r \rangle \cup \{ 0\}$, where $θ$ is a primitive element of $GF(q)$.
Perfect state transfer in graphs related to linear groups in two dimensions
Published
• View Publication
• BIB
We construct families of graphs from linear groups $\mathrm{SL}(2,q)$, $\mathrm{GL}(2,q)$ and $\mathrm{GU}(2,q^2)$, where $q$ is an odd prime power, with the property that the continuous-time quantum walks on the associated networks of qubits admit perfect state transfer.
What makes math problems hard for reinforcement learning: a case study
Published
• View Publication
• BIB
Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As part of our study, we also address several open mathematical questions. Notably, we demonstrate the length reducibility of all but two presentations in the Akbulut-Kirby series (1981), and resolve various potential counterexamples in the Miller-Schupp series (1991), including three infinite subfamilies.
Some Properties of Order-Divisor Graphs of Finite Groups
This article investigates the properties of order-divisor graphs associated with finite groups. An order-divisor graph of a finite group is an undirected graph in which the set of vertices includes all elements of the group, and two distinct vertices with different orders are adjacent if the order of one vertex divides the order of the other. We prove some beautiful results in order-divisor graphs of finite groups. The primary focus is on examining the girth, degree of vertices, and size of the order-divisor graph. In particular, we provide a comprehensive description of these parameters for the order-divisor graphs of finite cyclic groups and dihedral groups.
An asymmetric version of Elekes-Szabó via group actions
We consider when finite families $F \subseteq \mathbb{C}[t]$ of bounded degree polynomials, or more generally of bounded complexity finite-to-finite correspondences on $\mathbb{C}$, can exhibit non-expansion of the form $|F(A)| = O(|A|^{1+η})$ in their actions on finite sets $A \subseteq \mathbb{C}$ with $|F| \gg |A|^\eps \gg 1$, for a fixed $\eps>0$ and arbitrarily small $η>0$. Our conclusions generalise the Elekes-Rónyai and Elekes-Szabó theorems, which correspond to the case that $F$ is parametrised by a single complex variable and $|F|=|A|$. Our result also applies to families of correspondences between varieties of arbitrary dimension if we impose a general position assumption on $A$. In all cases, the conclusion is that a commutative algebraic group structure is responsible. As a special case, we obtain asymmetric versions of Elekes-Rónyai and Elekes-Szabó, with explicit bounds on exponents. Our methods originate in model theory.
Stirling numbers for complex reflection groups
Published
• View Publication
• BIB
In an earlier paper, we defined and studied q-analogues of the Stirling numbers of both types for the Coxeter group of type B. In the present work, we show how this approach can be extended to all irreducible complex reflection groups G. The Stirling numbers of the first and second kind are defined via the Whitney numbers of the first and second kind, respectively, of the intersection lattice of G. For the groups G(m,p,n), these numbers and polynomials can be given combinatorial interpretations in terms of various statistics. The ordered version of ths q-Stirling numbers of the second kind also show up in conjectured Hilbert series for certain super coinvariant algebras.
Combinatorial invariants for certain classes of non-abelian groups
Published in Journal of Number Theory, 2026
• View Publication
• BIB
This article focuses on the study of zero-sum invariants of finite non-abelian groups. We address two main problems: the first centers on the ordered Davenport constant and the second on Gao's constant. We establish a connection between the ordered Davenport constant and the small Davenport constant for a finite non-abelian group of even order, which in turn gives a relation with the Noether number. Additionally, we confirm a conjecture of Gao and Li for a non-abelian group of order $2p^α$, where $p$ is a prime. Furthermore, we prove a conjecture that connects the ordered Davenport constant to the Loewy length for certain classes of finite $2$-groups.
On $q$-deformed cubic equations: the quantum heptagon and nonagon
Published
• View Publication
• BIB
The recent notion of $q$-deformed irrational numbers is characterized by the invariance with respect to the action of the modular group $\PSL(2,\Z)$, or equivalently under the Burau representation of the braid group~$B_3$. The theory of $q$-deformed quadratic irrationals and quadratic equations with integer coefficients is known and entirely based on this invariance. In this paper, we consider the case of cubic irrationals. We show that irreducible cubic equations with three distinct real roots and cyclic Galois group~$C_3$ (or $\Z/3\Z$) acting by a third order element of $\PSL(2,\Z)$, have a canonical $q$-deformation, that we describe. This class of cubic equations contains well-known examples including the equations that describe regular $7$- and $9$-gons.
Periodicity of tiles in finite Abelian groups
In this paper, we introduce the periodic tiling (PT) property for finite abelian groups. A finite abelian group is said to have the PT property if every non-periodic set that tiles the group by translation admits a periodic tiling complement. This notion extends the scope beyond groups with the Hajós property. We give a complete classification of cyclic groups possessing the PT property and identify certain non-cyclic groups that enjoy the PT property but fail to satisfy the Hajós property.. As a byproduct, we obtain new families of groups for which the implication ``Tile $\Longrightarrow$ Spectral" holds. Furthermore, for elementary $p$-groups with the PT property, by analyzing the structure of tiles, we prove that every tile is a complete set of representatives of the cosets of some subgroup.