group
10399 papers tagged with this keyword
$\mathrm{ EA}(q)$-additive Steiner 2-designs
Published
• View Publication
• BIB
A design is $G$-additive with $G$ an abelian group, if its points are in $G$ and each block is zero-sum in $G$. All the few known ``manageable" additive Steiner 2-designs are $\mathrm{EA}(q)$-additive for a suitable $q$, where $\mathrm{EA}(q)$ is the elementary abelian group of order $q$. We present some general constructions for $\mathrm{EA}(q)$-additive Steiner 2-designs which unify the known ones and allow to find a few new ones: an additive $\mathrm{EA}(2^8)$-additive 2-$(52,4,1)$ design which is also resolvable, and three pairwise non-isomorphic $\mathrm{EA}(3^5)$-additive 2-$(121,4,1)$ designs, none of which is the point-line design of $\mathrm{PG}(4,3)$. In the attempt to find also an $\mathrm{EA}(2^9)$-additive 2-$(511,7,1)$ design, we prove that a putative 2-analog of a 2-$(9,3,1)$ design cannot be cyclic.
Enumeration of pattern-avoiding $(0,1)$-matrices and their symmetry classes
Published
• View Publication
• BIB
Recently, Brualdi and Cao studied $I_k$-avoiding $(0,1)$-matrices by decomposing them into zigzag paths and proved that the maximum number of $1$'s in such a matrix is given by an exact number. We further study the structure of maximal $I_k$-avoiding $(0,1)$-matrices (IAMs) by interpreting them as families of non-intersecting lattice paths on the square lattice. Using this perspective, we establish a bijection showing that IAMs are equinumerous with plane partitions of a certain size. Moreover, we classify all ten symmetry classes of IAMs under the action of the dihedral group of order $8$ and show that the enumeration formulas for these classes are given by simple product formulas. Extending this approach to skew shapes, we derive a conceptual formula for enumerating maximal $I_k$-avoiding $(0,1)$-fillings of skew shapes.
Eigenvalue bounds for combinatorial Laplacians and an application to random complexes
Published
• View Publication
• BIB
This paper establishes new eigenvalue bounds for combinatorial Laplacians of simplicial complexes, extending previous results for flag complexes by Lew (2024) and general complexes by Shukla and Yogeshwaran (2020). Using elementary matrix-theoretic methods, we derive lower bounds for the eigenvalues of the combinatorial Laplacian in terms of the graph Laplacian spectrum and combinatorial parameters that measure the deviation from a flag complex. As a consequence, we obtain upper bounds on the dimension of cohomology groups. We also generalize an eigenvalue comparison inequality between a simplicial complex and its subcomplexes to arbitrary eigenvalues. As an application of the dimension bounds, we refine a result by Kahle (2007) on the vanishing of cohomology and connectivity in the neighborhood complex of the Erdős--Rényi random graph.
The Dual Burnside Process
Published
• View Publication
• BIB
The Burnside process is a classical Markov chain for sampling uniformly from group orbits. We introduce the dual Burnside process, obtained by interchanging the roles of group elements and states. This dual chain has stationary law $π(g)\propto |X_g|$, is reversible, and admits a matrix factorization $Q=AB$, $K=BA$ with the classical Burnside kernel $K$. As a consequence the two chains share all nonzero eigenvalues and have mixing times that differ by at most one step. We further establish universal Doeblin floors, orbit and conjugacy-class lumpings, and transfer principles between $Q$ and $K$. We analyze explicit examples: the value-permutation model $S_k$ acting on $[k]^n$ and the coordinate-permutation model $S_n$ acting on $[k]^n$. These results show that the dual chain provides both a conceptual mirror to the classical Burnside process and practical advantages for symmetry-aware Markov chain Monte Carlo.
Strongly Regular Graphs of Rank Four
Strongly regular graphs are regular graphs with a constant number of common neighbours between adjacent vertices, and a constant number of common neighbours between non-adjacent vertices. These graphs have been of great interest over the last few decades and often give rise to interesting groups of automorphisms. In this paper we take a reverse approach, and leverage strong classification results on rank four permutation groups to classify the strongly regular graphs which yield such groups as a group of automorphisms.
The Szeged Index of Power Graph of Finite Groups
Published in TWMS Journal of Applied and Engineering Mathematics, Volume: 15 Issue: 9, 2166 - 2180, 2025
• View Publication
• BIB
The Szeged index of a graph is an invariant with several applications in chemistry. The power graph of a finite group $G$ is a graph having vertex set as $G$ in which two vertices $u$ and $v$ are adjacent if $v=u^m$ or $u=v^n$ for some $m,n\in \mathbb{N}$. In this paper, we first obtain a formula for the Szeged index of the generalized join of graphs. As an application, we obtain the Szeged index of the power graph of the finite cyclic group $\mathbb Z_n$ for any $n>2$. We further obtain a relation between the Szeged index of the power graph of $\mathbb Z_n$ and the Szeged index of the power graph of the dihedral group $\mathrm{D}_n$. We also provide SAGE codes for evaluating the Szeged index of the power graph of $\mathbb{Z}_n$ and $\mathrm{D}_n$ at the end of this paper.
Chip-Firing and the Sandpile Group of the $R_{10}$ Matroid
Published
• View Publication
• BIB
A celebrated result of Seymour is that all regular matroids are built up from graphic matroids, cographic matroids, and a specific 10 element rank 5 matroid called $R_{10}$. In this article, we give a simple description of chip-firing on $R_{10}$ using complex numbers on the vertices of a pentagon, and link to an app where readers can play around with the combinatorial dynamics of the system. We also provide an easy to describe set of representatives for each of the 162 equivalence classes that make up the sandpile group of $R_{10}$.
New Nonuniform Group Divisible Designs and Mixed Steiner Systems
Published
• View Publication
• BIB
This paper considers two closely related concepts, mixed Steiner system and nonuniform group divisible design (GDD). The distinction between the two concepts is the minimum Hamming distance, which is required for mixed Steiner systems but not required for nonuniform group divisible $t$-designs. In other words, it means that every mixed Steiner system is a nonuniform GDD, but the converse is not true. A new construction for mixed Steiner systems based on orthogonal arrays and resolvable Steiner systems is presented. Some of the new mixed Steiner systems (also GDDs) depend on the existence of Mersenne primes or Fermat primes. New parameters of nonuniform GDDs derived from large sets of H-designs (which are generalizations of GDDs) are presented, and in particular, many nonuniform group divisible $t$-designs with $t > 3$ are introduced (for which only one family was known before). Some GDDs are with $t > 4$, parameters for which no such design was known before.
A skew group ring of $\mathbb Z/2\mathbb Z$ over $U(\mathfrak{sl}_2)$, Leonard triples and odd graphs
Published
• View Publication
• BIB
We employ a skew group ring of $\mathbb Z/2\mathbb Z$ over $U(\mathfrak{sl}_2)$ to construct modules over the universal Bannai--Ito algebra. In addition, we give the conditions under which the defining generators act as Leonard triples on the resulting modules. As a combinatorial realization, we establish an algebra homomorphism from the universal Bannai--Ito algebra onto the Terwilliger algebra of an odd graph. This homomorphism provides a unified description of Leonard triples on all irreducible modules over the Terwilliger algebra.
On Conjectures concerning the Labeled Coupon Collector Problem
Published
• View Publication
• BIB
We study a labeled variant of the classical Coupon Collector Problem (CCP), recently introduced by Tan et al., where coupons arrive in groups and only the set of labels is revealed. The goal is to determine the expected number of group drawings required to uniquely identify the labeling of all coupons. We focus on the case where groups consist of pairs ($k=2$), and provide rigorous proofs for two conjectures posed by Tan et al.
On generalized inverses of matrices associated with certain graph classes
Published
• View Publication
• BIB
We investigate generalized inverses of matrices associated with two classes of digraphs: double star digraphs and D-linked stars digraphs. For double star digraphs, we determine the Drazin index and derive explicit formulas for the Drazin inverse. We also provide necessary and sufficient conditions for the existence of the Moore-Penrose inverse and give its explicit expression whenever it exists. For D-linked stars digraphs, we characterize when the group inverse exists and obtain its explicit form. In the singular case where BC = 0, we express the Drazin index of the matrix in terms of the Drazin index of the base digraph matrix. Additionally, we establish necessary and sufficient conditions for Moore--Penrose invertibility and derive explicit formulas in that case. Our results reveal a clear connection between the algebraic structure of generalized inverses and the combinatorial properties of these graph classes, providing a unified framework for group, Drazin, and Moore-Penrose invertibility.
The Erdős-Ginzburg-Ziv constant of rank-two-like $p$-groups
Adapting Reiher's proof of Kemnitz's conjecture, we obtain two refinements of a theorem of Schmid and Zhuang. Our main results provide improved upper bounds for the Erdős-Ginzburg-Ziv constant of rank-two-like $p$-groups, and their direct products with cyclic groups of order coprime to $p$. In particular, we determine the exact value of this constant, and also confirm a conjecture of Gao, for a new infinite family of groups of arbitrarily large rank.
Commuting graphs of completely 0-simple semigroups
The aim of this paper is to study commuting graphs of completely $0$-simple semigroups, using the characterization of these semigroups as $0$-Rees matrix semigroups over a groups. We establish a method to decide whether the commuting graph of this semigroup construction is connected or not. If it is not connected, we also supply a way to identify the connected components of the commuting graph. We show how to obtain the diameter of the commuting graph (when it is connected) and the diameters of the connected components of the commuting graph (when it is not connected). Moreover, we obtain the clique number and girth of the commuting graph of such a semigroup, as well as two upper bounds (either of which can be the best in different situations) for its chromatic number. We also determine the knit degree of such a semigroup.
Finally, we use the results regarding the properties of the commuting graph of a $0$-Rees matrix semigroup over a group to determine the set of possible values for the diameter, clique number, girth, chromatic number and knit degree of the commuting graph of a completely $0$-simple semigroup.
Weingarten calculus with virtual isometries
Published
• View Publication
• BIB
In this paper, we develop a novel approach to the Weingarten calculus employing the notion of virtual isometries. Traditionally, Weingarten calculus provides explicit formulas for integrating polynomial functions over compact matrix groups with respect to the Haar measure, yet faces limitations when evaluating high-degree integrals due to the non-invertibility of the associated matrices. We revisit these classical computations from a new perspective: by constructing Haar-distributed matrices via sequences of complex reflections, we derive new recursive structures for the Weingarten functions across different dimensions. This framework leads to two main results: (1) an explicit Weingarten calculus for complex reflections, yielding systematic moment computations for associated rank-one matrices, and (2) a novel convolution formula that connects Weingarten functions in dimension $n$ to those in dimension $n-1$ through the introduction of ascension functions in the symmetric group algebra. Our approach not only provides a unified treatment for unitary groups, but also sheds light on the algebraic and probabilistic aspects of high-degree integral computations. Several examples and applications are presented.
Total perfect codes in Cayley sum graphs of cyclic groups
We consider Cayley sum graphs over the cyclic group $\mathbb{Z}_n$ and aim to explore several necessary and sufficient conditions for the existence of total perfect codes in these graphs. Specifically, we examine various cases for the connection set of the graph including when it is periodic, aperiodic, or square-free. To this end, we utilize a correspondence that we first establish between total perfect codes and factorizations of groups, along with their algebraic properties. We then generalize some of these conditions to the direct product of cyclic groups, i.e. $\mathbb{Z}_{n_1} \times \dots \times \mathbb{Z}_{n_d}$.
The Davenport constant of balls and boxes
Given an additively written abelian group $G$ and a set $X\subseteq G$, we let $\mathsf{D}(X)$ denote the Davenport constant of $X$, namely the largest non-negative integer $n$ for which there exists a sequence $x_1, \dots, x_n$ of elements of $X$ such that $\sum_{i=1}^n x_i =0$ and $\sum_{i \in I} x_i \ne 0$ for each non-empty proper subset $I$ of $\{1, \ldots, n\}$. In this paper, we mainly investigate the case when $G$ is $\mathbb{Z}^2$ and $\mathbb{Z}^3$, and $X$ is a discrete Euclidean ball. An application to the classical problem of estimating the Davenport constant of a box - a product of intervals of integers - is then obtained.
String graphs are quasi-isometric to planar graphs
We prove that for every countable string graph $S$, there is a planar graph $G$ with $V(G)=V(S)$ such that \[ \frac{1}{23660800}d_S(u,v) \le d_G(u,v) \le 162 d_S(u,v) \] for all $u,v\in V(S)$, where $d_S(u,v)$, $d_G(u,v)$ denotes the distance between $u$ and $v$ in $S$ and $G$ respectively. In other words, string graphs are quasi-isometric to planar graphs.
This theorem lifts a number of theorems from planar graphs to string graphs, we give some examples. String graphs have Assouad-Nagata (and asymptotic dimension) at most 2. Connected, locally finite, quasi-transitive string graphs are accessible. A finitely generated group $Γ$ is virtually a free product of free and surface groups if and only if $Γ$ is quasi-isometric to a string graph.
Two further corollaries are that countable planar metric graphs and complete Riemannian planes are also quasi-isometric to planar graphs, which answers a question of Georgakopoulos and Papasoglu. For finite string graphs and planar metric graphs, our proofs yield polynomial time (for string graphs, this is in terms of the size of a representation given in the input) algorithms for generating such quasi-isometric planar graphs.
An inverse and a stability result for Ruzsa's inequality on triple sumsets
Ruzsa's inequality states that $|A+A+A| \leq |A+A|^{3/2}$ for any finite set $A$ in a commutative group. Ruzsa has constructed examples showing that this inequality is sharp asymptotically, up to a constant factor. We prove an inverse result which says that if $|A+A+A| \geq \frac{1}{M} |A+A|^{3/2}$ for some parameter $M,$ then the set $A$ resembles the sets in Ruzsa's construction. We then construct more families of examples which suggest that our inverse result is likely best possible qualitatively. The method extends to give an inverse result for a higher sumset analogue of Ruzsa's inequality, namely $|(h+1)A| \leq |hA|^{\frac{h+1}{h}}$ for any $h\geq 2.$ We also provide a "99%-stability" version of Ruzsa's inequality, which describes near optimal structures when $M$ is very close to $1.$
Non-Abelian expansion of congruence KMS complexes
Coboundary expansion with non-Abelian coefficients is a strong version of high-dimensional expansion for simplicial complexes. One motivation for studying this notion is that it was recently shown to have deep connections to problems in theoretical computer science. However, very few examples of families of simplicial complexes with this type of expansion are known. Namely, prior to our work, the only known examples were quotients of symplectic buildings and a slight variation of the Kaufman-Oppenheim coset complexes construction associated with $\operatorname{SL}_{n} (\mathbb{F}_p [t])$.
In this paper, we show that the Grave de Peralta and Valentiner-Branth constructions of KMS complexes have coboundary expansion with non-Abelian coefficients when it is performed with respect to congruence subgroups of Chevalley groups of classical type, i.e., of type $A_n, B_n, C_n$ and $D_n$. This gives four new sources of examples to this expansion phenomenon, thus significantly enriching our list of constructions.
On colourings of cubic lattices
Given the integral lattice $Λ^d$ in $d$-dimensional Euclidean space, partitions of the lattice nodes into orbits of finite-index subgroups of $Aut(Λ^d)$ have been computed for $d \leq 4$. These partitions can be interpreted as colourings of orbits defined up to permutation of colours. Complete results are obtained for $d=2$ up to 64 orbits, for $d=3$ up to 8 orbits, and for 2 orbits in dimension 4. The automorphism groups of the partitions are also determined. Our results for two orbits in dimension 3 correct the old result of H. Heesch [Z. Kristallogr., (1933), 85, 335--344] who overlooked one partition.