group
10226 papers tagged with this keyword
Cyclic Subgroup Lattices as Universal Sources of Power-Type Graphs
Power-type graphs, such as the power graph, the directed power graph, the enhanced power graph and the difference graph, encode significant information about the internal structure of a finite group. Despite substantial investigation in recent years, the precise relationship between these graphs and the subgroup lattice of the underlying group has remained only partially understood. In this paper we establish a complete, explicit, and purely combinatorial correspondence between the enhanced power graph and the lattice of cyclic subgroups $\mathcal{L}_c(G)$ of a finite group $G$. We prove that these two objects determine each other uniquely: an unlabeled enhanced power graph suffices to reconstruct $\mathcal{L}_c(G)$, and conversely, the labeled enhanced power graph can be reconstructed directly from $\mathcal{L}_c(G)$. Exploiting this duality, we demonstrate that the reconstruction principle applies equally to the power graph, the directed power graph, and the difference graph, which may all be derived solely from the cyclic subgroup lattice, independent of the group operation.
This bidirectional correspondence yields a combinatorial equivalence between power-type graphs and the cyclic subgroup lattice, providing a new framework for analyzing finite groups through graph-theoretic and lattice-theoretic data, free from algebraic complexity.
A nonexistence criterion and new constructions for Butson Hadamard matrices
Based on the concept of positive definite functions on finite groups, we present a new necessary condition for the existence of Butson Hadamard matrices $BH(n,q)$. We use this condition to prove some nonexistence results for a sequence of values of $(n,q)$, and also to facilitate a computer search and discover a matrix $BH(18,14)$. Furthermore, we use cyclotomic cosets to construct matrices $BH(34,10)$, $BH(62,6)$, $BH(82,6)$, and $BH(146,6)$ for the first time. These matrices have a $2$-circulant structure.
Forbidden multipliers in abelian difference sets
We make the observation that certain group automorphisms that fix a large subgroup of an abelian group cannot be multipliers in any non-trivial abelian difference sets, with the single exception of an involution that can be a multiplier in Hadamard difference sets, provided that the difference set contains a sub-difference set of the same type. We use this observation together with a multiplier theorem to rule out the existence of difference sets, and derive bounds for the numerical multiplier group of a difference set.
Ehrhart Theory over Abelian Group Rings
We study Ehrhart series with coefficients in Abelian group rings. This opens new enumeration applications and unifies earlier variants, in particular, polynomial weighted, $q$-weighted, and equivariant Ehrhart series.
Cutoff for generalised Bernoulli-Laplace urn models
We introduce a multi-colour multi-urn generalisation of the Bernoulli-Laplace urn model, consisting of $d$ urns, $m$ colours, and $dmn$ balls, with $dn$ balls of each colour and $mn$ balls in each urn. At each step, one ball is drawn uniformly at random from each urn, and the chosen balls are redistributed among the urns based on a permutation drawn from a distribution $μ$ on the symmetric group $S_d$. We study the mixing time of this Markov chain for fixed $m$, $d$, and $μ$, as $n \rightarrow \infty$. We show that there is cutoff whenever the chain on $[d]$ corresponding to the evolution of a single ball is irreducible, and that the same holds for a labeled version of the model. As an application, we also obtain partial results on cutoff for a card shuffling version of the model in which the cards are labeled and their ordering within each stack matters.
Vertex-transitive graphs with uniformly bisecting quasi-geodesics
Suppose that $X$ is an infinite, connected, locally finite, quasi-transitive graph with the property that every bi-infinite quasi-geodesic uniformly coarsely separates $X$ into exactly two deep pieces. We show that such an $X$ is quasi-isometric to either the Euclidean plane or the hyperbolic plane. In particular, if $X$ is a Cayley graph of a finitely generated group $G$ with the above property, then $G$ is a virtual surface group. This can be interpreted as an extension of the well-known fact that a hyperbolic group with circular boundary is virtually Fuchsian.
Our theorem positively resolves Problem 14.98 of the Kourovka Notebook, posed by V. A. Churkin in 1999. The proof uses an isoperimetric inequality of Varopoulos to show that if such a graph has the above property, then either it is hyperbolic or has quadratic growth.
Four plane unit vectors generate a $3$-colorable graph
We show that given an arbitrary set of four plane unit vectors $v_1, v_2, v_3, v_4$, the Cayley graph generated by $\{\pm v_1, \pm v_2, \pm v_3, \pm v_4\}$ is always $3$-colorable. Indeed, we show that this is a specific case of a much more general result wherein we determine the chromatic number of an arbitrary abelian Cayley graph generated by a set of four elements and their negatives, subject to the constraint that the group of relations between those elements has rank no more than $2$.
Maximal Cells in Shifted Staircase Tableaux and a Quarter-Circle Law
In this note, we explicitly compute the probability that a given cell in a random standard Young tableau of the shifted staircase shape $(2n-1, 2n-3, \ldots, 3,1)$ contains the maximal label. We also show that the asymptotic distribution of the cell containing the maximal label is governed by the quarter-circle law. The bijection between the tableaux and thereduced decompositions of the longest element of the group $B_n$ of the signed permutations yields the probability distribution of the first (and any) letter of the random reduced decompositions. We also show the results of some computational experiments on the random sorting networks of $B_n$.
Theory and algorithms for clusters of cycles in graphs for material networks
Analysis of complex networks, particularly material networks such as the carbon skeleton of hydrocarbons generated in hydrocarbon pyrolysis in carbon-rich systems, is essential for effectively describing, modeling, and predicting their features. An important and the most challenging part of this analysis is the extraction and effective description of cycles, when many of them coalesce into complex clusters. A deterministic minimum cycle basis (MCB) is generally non-unique and biased to the vertex enumeration. The union of all MCBs, called the set of relevant cycles, is unique, but may grow exponentially with the graph size. To resolve these issues, we propose a method to sample an MCB uniformly at random. The output MCB is statistically well-defined, and its size is proportional to the number of edges. We review and advance the theory of graph cycles from previous works of Vismara, Gleiss et al., and Kolodzik et al. In particular, we utilize the polyhedron-interchangeability (pi) and short loop-interchangeability (sli) classes to partition the relevant cycles. We introduce a postprocessing step forcing pairwise intersections of relevant cycles to consist of a single path. This permits the definition of a dual graph whose nodes are cycles and edges connect pairs of intersecting cycles. The pi classes identify building blocks for crystalline structures. The sli classes group together sets of large redundant cycles. We present the application to an amorphous hydrocarbon network, where we (i) theorize how the number of relevant cycles may explode with system size and (ii) observe small polyhedral structures related to diamond.
A Bipartite Graph Linking Units and Zero-Divisors
Let $R$ be a commutative ring with identity. We introduce a novel bipartite graph $\mathcal{B}(R)$, the \textit{bipartite zero-divisor--unit graph}, whose vertex set is the disjoint union of the nonzero zero-divisors $Z(R)^*$ and the unit group $U(R)$. A vertex $z \in Z(R)^*$ is adjacent to $u \in U(R)$ if and only if $z + u \in Z(R)$. This construction provides an \textit{additive} counterpart to the well-established \textit{multiplicative} zero-divisor graphs. We investigate fundamental graph-theoretic properties of $\mathcal{B}(R)$, including connectedness, diameter, girth, chromatic number, and planarity. Explicit descriptions are given for rings such as $\mathbb{Z}_n$, finite products of fields, and local rings. Our results are sharpest for \textit{finite reduced rings}, where $\mathcal{B}(R)$ yields a graphical characterization of fields and serves as a complete invariant: $\mathcal{B}(R) \cong \mathcal{B}(S)$ implies $R \cong S$ for finite reduced rings $R$ and $S$. The graph also reveals structural distinctions between reduced and non-reduced rings, underscoring its utility in the interplay between ring-theoretic and combinatorial properties.
The central heat trace on large compact classical groups
We establish the large-$N$ asymptotic expansion of the (central) trace of the heat kernel on any compact classical group $G_N\subset\mathrm{GL}_N(\mathbb{C})$, which extends a previous result known only for $\mathrm{U}(N)$ \cite{LM2}. It admits two new interpretations of the trace: in terms of ramified coverings of the torus, and Gromov-Witten invariants on elliptic curves. These connections allow us to explore several aspects of the gauge/string duality in two dimensions: a Yang-Mills/Hurwitz duality, and Yang-Mills/Gromov-Witten duality.
Polynomial extensions of Raimi's theorem
Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after an appropriate shift (translation). We establish a polynomial extension of this result, proving that such intersections persist under polynomial shifts in any dimension. Let $P^{(1)},\dots,P^{(f)}\in\mathbb{Z}[x]$ be non-constant polynomials with positive leading coefficients and $P^{(j)}(0)=0$ for every $j$. We construct a partition of $\mathbb{N}^k$ into an arbitrarily fixed finite number of pieces such that for any coloring of $\mathbb{N}^k$ with finitely many colors, there exist $x_0\in \mathbb{N}$ and a single color class that meets all partition pieces after shifts by $x_0+P^{(j)}(h)$ in each of the $k$ coordinate directions, for every $j$ and infinitely many values $h\in \mathbb{N}$. Our proof exploits Weyl's equidistribution theory, Pontryagin duality, and the structure of polynomial relation lattices. We also prove some finite analogues of the above results for abelian groups and $SL_2(\mathbb{F}_q)$.
Growth Problems of Quantum Groups
We study the asymptotic size of decompositions of tensor powers of tilting modules for quantum groups (mostly at a complex root of unity). In type A1 we obtain a sharp result for the number of indecomposable summands, explained by a one dimensional half-line random walk with a periodic congruence constraint. In general type we prove a universal law: the dominant part is governed only by the dimension of the module, while the correction depends only on the root system, so the asymptotic size is largely independent of the specific tilting module.
A Census of Edge-transitive Surfaces
In this paper, we study edge-transitive surfaces, i.e. triangulated 2-dimensional manifolds whose automorphism groups act transitively on the edges of these triangulated surfaces. We show that there exist four types of edge-transitive surfaces, splitting up further into a total of five sub-types. We exploit our theoretical results to compute a census of edge-transitive surfaces with up to 5000 faces by constructing suitable cycle double covers of edge-transitive cubic graphs.
Multi-scale symmetry analysis in molecular structures
Topological data analysis (TDA), as a relatively recent approach, has demonstrated great potential in capturing the intrinsic and robust structural features of complex data. While persistent homology, as a core tool of TDA, focuses on characterizing geometric shapes and topological structures, the automorphism groups of Vietoris-Rips complexes can capture the structured symmetry features of data. In this work, we propose a multi-scale symmetry analysis approach that leverages persistent automorphism modules to quantify variations in symmetries across scales. By modifying the category of graphs and constructing a suitable functor from the graph category to the category of modules, we ensure that the persistent automorphism module forms a genuine persistence module. Furthermore, we apply this framework to the structural analysis of fullerenes, predicting the stability of 12 fullerene molecules with a competitive correlation coefficient of 0.979.
On Universal derivations for multiarrangements
The study of universal derivations for arbitrary multiarrangements and multiplicity functions was initiated by Abe, Röhrle, Stump, and Yoshinaga in 2024 which focused on arrangements arising from (well-generated) reflection groups. In this paper we provide a criterion for determining whether a derivation is universal along with a characterization of universal derivations for arbitrary 2-multiarrangements. As an application we give descriptions of universal derivations for several multiarrangements, including the so-called deleted $A_3$ arrangement. This is the first known example of a non-reflection arrangement that admits a universal derivation distinct from the Euler derivation.
Steiner systems $S(2,6,226)$ and $S(2,6,441)$ do exist!
A Steiner system $S(2,k,v)$ is a set $X$ of cardinality $v$ endowed with a family $\mathcal L$ of $k$-element subsets of $X$ such that any two distinct points of $X$ belong to a unique set of the family $\mathcal L$. If a Steiner system $S(2,k,v)$ exists, then $k-1$ divides $v-1$ and $k(k-1)$ divides $v(v-1)$. Those divisibility conditions are necessary but not sufficient for the existence of a Steiner system $S(2,k,v)$. For instance, the Bruck--Ryser Theorem implies that no Steiner system $S(2,6,36)$ exists, despite $5$ divides $35$ and $6\cdot 5$ divides $36\cdot 35$. On the other hand, Wilson showed that for every natural number $k\ge 2$, a Steiner system $S(2,k,v)$ exists for all but finitely many natural numbers $v$ satisfying the above divisibility conditions. The Handbook of Combinatorial Designs lists 29 numbers $v$ for which the existence of a Steiner system $S(2,6,v)$ is not known: 51, 61, 81, 166, 226, 231, 256, 261, 286, 316, 321, 346, 351, 376, 406, 411, 436, 441, 471, 501, 561, 591, 616, 646, 651, 676, 771, 796, 801. In this paper we present seven Steiner systems $S(2,6,226)$ and six Steiner systems $S(2,6,441)$ thus resolving two of those 29 undecided cases. The discovered Steiner systems $S(2,6,226)$ and $S(2,6,441)$ were found by computer search, as $1$-rotational difference families and difference families for the groups $(\mathbb Z_5\times\mathbb Z_5\times\mathbb Z_3)\rtimes\mathbb Z_3$ and $(\mathbb Z_7\rtimes\mathbb Z_3)\times(\mathbb Z_7\rtimes\mathbb Z_3)$, respectively.
Tropical reductive groups and principal bundles on metric graphs
We propose an elementary tropical analogue of a reductive group that combines the datum of a Weyl group and the tropicalization of a fixed maximal torus. For the classical groups, as well as $G_2$, these tropical reductive groups admit descriptions as tropical matrix groups that resemble their classical counterparts. Employing this perspective, we introduce tropical principal bundles on metric graphs and study their explicit presentations as pushforwards of line bundles along covers with symmetries and extra data. Our main result identifies the essential skeleton of the moduli space of semistable principal bundles on a Tate curve with its tropical analogue.
Automorphism Groups and Structure of 4-Valent Cayley Graphs on Dihedral Groups
Let $G$ be a finite group and let $S$ be an inverse-closed subset of $G$ not containing the identity. The Cayley graph $\mathrm{Cay}(G,S)$ has vertex set $G$, where two vertices $x$ and $y$ are adjacent if and only if $x^{-1}y \in S$.
Kaseasbeh and Erfanian (2021) determined the structure of all Cayley graphs on the dihedral group of order $2n$ for subsets $S$ of size at most three. We extend their work by analyzing the structure of such Cayley graphs for subsets $S$ of size at least four.
Our main results are as follows:
1. using a classical result of Burnside and Schur, we determine the automorphism groups of Cayley graphs on dihedral groups of order $2p$, where $p$ ranges over infinitely many primes and $S$ consists only of rotations;
2. if $S$ consists of $4 \le 2k < n$ distinct rotations, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is the disjoint union of two isomorphic circulant graphs on $n$ vertices, and
3. if $S$ is a generating set of $4\leq k\leq n$ reflections, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is bipartite, forming the disjoint union of $k$ perfect matchings.
On the Vietoris-Rips Complexes of Integer Lattices
For a metric space $X$ and $r \geq 0$, the Vietoris-Rips complex $\mathcal{VR}(X;r)$ is a simplicial complex whose simplices are finite subsets of $X$ with diameter at most $r$. Vietoris-Rips complexes have applications in various places, including data analysis, geometric group theory, sensor networks, etc. Consider the integer lattice $\mathbb{Z}^n$ as a metric space equipped with the $d_1$-metric (the Manhattan metric or standard word metric in the Cayley graph). Ziga Virk proved that if either $r \geq n^2(2n-1)$, or $1\leq n \leq 3$ and $r \geq n$, then the complex $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible, and posed a question if $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. Recently, Matthew Zaremsky improved Ziga's result and proved that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $r \geq n^2+ n-1$. Further, he conjectured that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for all $r \geq n$. We prove Zaremsky's conjecture for $n \leq 5$, i.e., we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible if $n \leq 5$ and $r \geq n$. Further, we prove that $\mathcal{VR}(\mathbb{Z}^n;r)$ is contractible for $r \geq 10$.
We determine the homotopy type of $\mathcal{VR}(\mathbb{Z}^n;2)$, and show that these complexes are homotopy equivalent to a wedge of countably infinite copies of $\mathbb{S}^3$. We also show that $\mathcal{VR}(\mathbb{Z}^n;r)$ is simply connected for $r \geq 2$.