group
10226 papers tagged with this keyword
Cubic factor-invariant graphs of bialternating cycle quotient type
In 2019, investigation of the so-called factor-invariant cubic graphs was initiated by Alspach, Khodadadpour and Kreher. For a cubic graph $Γ$ and a vertex-transitive subgroup $G$ of $\mathrm{Aut}(Γ)$, a $2$-factor $\mathcal{C}$ of $Γ$ is said to be {\em $G$-invariant} if the set $\mathcal{C}$ is preserved by each element of $G$. Investigations of factor-invariant cubic graphs therefore contribute to the rapidly growing theory on cubic vertex-transitive graphs, providing a better insight into the structure of such graphs.
Initially, the examples where $\mathcal{C}$ consists of a single or just two cycles were analyzed. In a recent paper by Brian Alspach and the author of this paper, the investigation of the examples for which the corresponding quotient graph $Γ_\mathcal{C}$ of $Γ$ with respect to $\mathcal{C}$ is a cycle was initiated. Moreover, the graphs of the so-called {\em alternating cycle quotient type} were classified.
In this paper, the remaining examples, that is the graphs of the {\em bialternating cycle quotient type}, are classified. It is shown that they belong to a previously unknown infinite $5$-parametric family of graphs of girth at most $10$ and that they are Cayley graphs of groups with respect to three involutions.
Selected facts on products of two involutions in the Riordan group
An element of a group is called \emph{reversible} if it is conjugate to its inverse, and \emph{strongly reversible} if it can be expressed as a product of two involutions. We study strongly reversible elements in the Riordan group and in several of its important subgroups. We show that not every reversible element in the Riordan group is strongly reversible, and we investigate products of reversible elements in the Riordan group.
On the $m$-graph of a finite Abelian Group
Let $H$ be a finite abelian (commutative) group of order $n \geq 2$, and $m >1$ be an integer. We define the $m$-graph of $H$, denoted by $m-G(H)$, as a simple undirected graph with vertex set $H$, and two distinct vertices, $a, b \in H$, are connected by an edge if and only if $a^m = b$ or $b^m = a$. Several results regarding the properties of the $m$-$G(H)$ have been established.
CAT(0) triangle-pentagon complexes
We show that a certain triangulation of CAT(0) triangle-pentagon complexes is $7$-located and locally $5$-large. Hereby we give examples of $7$-located, locally $5$-large groups.
Asymptotic Rate Bounds and Constructions for the Inclusive Variant of Disjunct Matrices
Disjunct matrices, also known as cover-free families and superimposed codes, are combinatorial arrays widely used in group testing. Among their variants, those that satisfy an additional combinatorial property called inclusiveness form a special class suitable for computationally efficient and highly error-tolerant group testing under the general inhibitor complex model, a broad framework that subsumes practical settings such as DNA screening. Despite this relevance, the asymptotic behavior of the inclusive variant of disjunct matrices has remained largely unexplored. In particular, it was not previously known whether this variant can achieve an asymptotically positive rate, a requirement for scalable group testing designs. In this work, we establish the first nontrivial asymptotic lower bound on the maximum achievable rate of the inclusive variant, which matches the strongest known upper bound up to a logarithmic factor. Our proof is based on the probabilistic method and yields a simple and efficient randomized construction. Furthermore, we derandomize this construction to obtain a deterministic polynomial-time construction. These results clarify the asymptotic potential of robust and scalable group testing under the general inhibitor complex model.
Structure and Decomposition of Deltoids in Abelian Groups
Deltoids provide a natural framework for studying defective (partial) matchings in abelian groups, and we develop both structure and existence results in this setting. Given finite subsets $A$ and $B$ of an abelian group $G$, a matching is a bijection $f:A\to B$ such that $af(a)\notin A$ for all $a\in A$, a definition motivated by the study of canonical forms for symmetric tensors. We provide necessary and sufficient conditions for the existence of a partial matching with any prescribed defect, and then describe the minimal unavoidable defect for a pair $(A,B)$. We also define and examine a defective version of Chowla sets in the matching context. We prove a structure theorem identifying obstructions to the existence of partial matchings with small defect. Finally, within the deltoid setup, we establish max-min results on the partitioning of $A$ and $B$ into left- and right-admissible sets. Our tools mix results from transversal theory with ideas from additive number theory.
Asymptotic distribution of the Betti numbers of $\overline{\mathcal{M}}_{0,n}$
Asymptotic normality is frequently observed in large combinatorial structures, rigorously established for many quantities such as cycles or inversions in random permutations, the number of prime factors of random integers, and various parameters of random graphs. In this paper, we investigate whether this normal limit behavior extends to the topological invariants of geometric spaces. We show that the Betti numbers of the moduli space of rational curves with $n$ marked points $\overline{\mathcal{M}}_{0,n}$ and the Fulton-MacPherson configuration space $\mathbb{P}^1[n]$ are asymptotically normally distributed. Based on numerical evidence and established log-concavity, we conjecture that the Betti numbers of the quotients of these spaces by the symmetric group $\mathbb{S}_n$ are also asymptotically normally distributed. In contrast, we provide examples of geometric spaces that do not follow this Gaussian law.
Locally dihedral block designs and primitive groups with dihedral point stabilizers
Let $\mathcal{D}$ be a block design admitting a locally transitive automorphism group $G$. We say $\mathcal{D}$ is $G$-point-locally dihedral if the induced local action $G_x^{\mathcal{D}(x)}$ is dihedral for each point $x$, and say $\mathcal{D}$ is $G$-block-locally dihedral if the induced local action $G_B^B$ is dihedral for each block $B$. The design $\mathcal{D}$ is called $G$-locally dihedral if both conditions hold. We give a classification of primitive permutation groups with dihedral point stabilizers, and apply it to classify point-locally dihedral block designs. For symmetric designs with a dihedral local action, we show that $G_x$ and $G_B$ are conjugate in $G$. Moreover, both local actions are faithful, and $G$ acts imprimitively on both points and blocks.
A Lower Bound for the Diameter of Cayley Graph of the Symmetric Group $S_n$ Generated by $(12), (12 \dots n), (1n \dots 2)$
Let us denote elements of the symmetric group $S_n$ using square brackets for the one-line notation. Cycles will be represented using parentheses, following the standard cycle notation. Under this convention, the full reversal of the identity element $()$ is the element $s = [n\ n-1 \dots 1]$. In the present work, we obtain a lower bound on the decomposition complexity of elements $s(1n \dots 2)^{i}$ into the generators $(12), (12 \dots n), (1n \dots 2)$, where $i$ ranges over the set $\{1,2,\dots,n\}$. As a consequence, we derive the lower bound $n(n-1)/2$ for the diameter of Cayley graph of the group $S_n$ generated by $(12), (12 \dots n), (1n \dots 2)$.
The Jamneshan-Tao conjecture for finite abelian groups of bounded rank
We confirm the Jamneshan-Tao conjecture for finite abelian groups of rank at most a fixed integer $R$ (i.e. finite abelian groups generated by at most $R$ elements), by proving an inverse theorem for 1-bounded functions of non-trivial Gowers norm on such groups, concluding that such a function must correlate non-trivially with a nilsequence of bounded complexity.
Decompositions for Cyclic Groups with 3 Prime Factors
In this paper, we characterize the direct sum decompositions of the cyclic group $\mathbb{Z}_{(pqr)^2}$, where $p$, $q$, and $r$ are distinct primes. We show that if $A \oplus B = \mathbb{Z}_{(pqr)^2}$ with $|A| = |B| = pqr$, then Sands' conjecture fails to hold, in other words, neither $A$ nor $B$ is contained in a proper subgroup of $\mathbb{Z}_{(pqr)^2}$, if and only if the sets $A, B$ form a Szabó pair.
Combinatorial invariance for the coefficient of $q$ in Kazhdan-Lusztig polynomials
We prove the combinatorial invariance of the coefficient of $q$ in Kazhdan-Lusztig polynomials for arbitrary Coxeter groups. As a result, we obtain the Combinatorial Invariance Conjecture for Bruhat intervals of length at most $6$. We also prove the Gabber-Joseph conjecture for the second-highest $\mathrm{Ext}$ group of a pair of Verma modules, as well as the combinatorial invariance of the dimension of this group.
The symplectic left companion of a Littlewood-Richardson-Sundaram tableau and the Kwon property
As a consequence of the Littlewood-Richardson (LR) commuters coincidence and the Kumar-Torres branching model via Kushwaha-Raghavan-Viswanath flagged hives, we have solved the Lecouvey-Lenart conjecture on the bijections between the Kwon and Sundaram
branching models for the pair $({GL}_{2n}(\mathbb{C}), {Sp}_{2n}(\mathbb{C})) $ consisting of the general linear group ${GL}_{2n}(\mathbb{C})$ and the symplectic group ${Sp}_{2n}(\mathbb{C})$. In particular, thanks to the Henriques-Kamnitzer $gl_n$-crystal commuter, we have recognized that the left companion of an LR-Sundaram tableau is characterized by the Kwon symplectic condition. We now show that the construction of the left companion tableau of an LR-Sundaram tableau exhibits in fact the Kwon symplectic property.
Isospectral Cayley graphs with even and odd spectrum
For a group $G$ and subsets $S,T \subset G$ we introduce the mirror di-Cayley graph $MX(G;S,T)$ and mirror di-Cayley sum graph $MX^+(G;S,T)$ with connections sets $S$ and $T$ (MDCGs for short). We refer to them indistinctly by $MX^*(G;S,T)$. We then consider the family $\mathcal{F}$ of those MDCGs with $T \in \mathcal{S}$, where $\mathcal{S}= \big\{ \{e\}, S, S \cup \{e\} \big\}$.
We compute the spectra of the graphs $MX^*(G;S,T)$, with $T \in \mathcal{S}$, in terms of those of the corresponding Cayley graphs $X^*(G,S)$. We show that if $X(G,S)$ has integral spectrum then $MX^*(G;S,T)$ is also integral for any $T \in \mathcal{S}$, but $MX^*(G;S,S)$ has even spectrum (all even eigenvalues) and $MX^*(G;S,S \cup \{e\})$ has odd spectrum (all odd eigenvalues), an interesting phenomenom which seems to be new. We then study isospectrality between different pairs of MDCGs in terms of the isospectrality of the underlying Cayley graphs.
Finally, using unitary Cayley graphs $X(R,R^*)$ over a finite commutative ring $R$, which is known to be integral, we construct pairs of integral isospectral mirror di-Cayley (sum) graphs $\{ MX(R;R^*, T), MX^+(R;R^*, T) \}$, both with even (resp.\@ odd) spectrum for $T=R^*$ (resp.\@ $T=R^* \cup \{0\}$). All these examples can be seen as Cayley (sum) graphs over $G=R \times \mathbb{Z}_2$, hence obtaining pairs of even and odd isospectral Cayley graphs of the form $\{Γ, Γ^+\}$.
Multipath complexes of bidirectional polygonal digraphs
In this work we study the homotopy type of multipath complexes of bidirectional path graphs and polygons, motivated by works of Vrećica and Živaljević on cycle-free chessboard complexes (that is, multipath complexes of complete digraphs). In particular, we show that bidirectional path graphs are homotopic to spheres and that, in analogy with cycle-free chessboard complexes, multipath complexes of bidirectional polygonal digraphs are highly connected. Using a Mayer-Vietoris spectral sequence, we provide a computation of the associated homology groups. We study T-operations on graphs, and show that this corresponds to taking suspensions of multipath complexes. We further discuss (non) shellability properties of such complexes, and present new open questions.
On identity Seidel switches
Seidel switching is a classical operation on graphs which plays a central role in the theory of two-graphs, signed graphs, and switching classes. In this paper we focus on those switches which leave a given graph invariant up to isomorphism. We call such subsets of the vertex set \emph{identity Seidel switches}. After recalling basic properties of Seidel switching and the associated abelian group structure, we introduce Seidel equivalence classes of graphs and then study the structure of the family of identity Seidel switches of a fixed graph. We show that this family forms a 14 pages; 2--group under composition, and we obtain structural constraints on graphs in which many vertices or edges give rise to identity switches. In particular, we derive necessary conditions in terms of degree parameters, and we characterize certain edge-identity switches via an automorphism of an induced subgraph. Several constructions and examples are presented, and some open problems are proposed.
Some recent results in Ramsey theory
The purpose of this survey is to provide a gentle introduction to several recent breakthroughs in graph Ramsey theory. In particular, we will outline the proofs (due to various groups of authors) of exponential improvements to the diagonal, near-diagonal, and multicolour Ramsey numbers, improved lower bounds on $R(3,k)$ and $R(4,k)$, and an exponential upper bound on the induced Ramsey numbers.
The Littlewood-Richardson rule for Schur multiple zeta functions
The Schur multiple zeta function was defined as a multivariable function by Nakasuji-Phuksuwan-Yamasaki. Inspired by the product formula of Schur functions, the products of Schur multiple zeta functions have been studied. While the product of two Schur functions expands as a linear combination of Schur functions, it is known that a similar expansion for the product of Schur multiple zeta functions can be obtained by symmetrizing, i.e., by taking the summation over all permutations of the variables. In this paper, we present a more refined formula by restricting the summation from the full symmetric group to its specific subgroup.
The Sequence Reconstruction of Permutations under Hamming Metric with Small Errors
The sequence reconstruction problem asks for the recovery of a sequence from multiple noisy copies, where each copy may contain up to $r$ errors. In the case of permutations on \(n\) letters under the Hamming metric, this problem is closely related to the parameter $N(n,r)$, the maximum intersection size of two Hamming balls of radius $r$. While previous work has resolved \(N(n,r)\) for small radii (\(r \leq 4\)) and established asymptotic bounds for larger \(r\), we present new exact formulas for \(r \in \{5,6,7\}\) using group action techniques. In addition, we develop a formula for \(N(n,r)\) based on the irreducible characters of the symmetric group \(S_n\), along with an algorithm that enables computation of \(N(n,r)\) for larger parameters, including cases such as \(N(43,8)\) and \(N(24,14)\).
Characteristic quasi-polynomials of truncated arrangements
Given an (affine) integral arrangement $\mathcal{A}$ in $\mathbb{R}^n$, the reduction of $\mathcal{A}$ modulo an arbitrary positive integer $q$ naturally yields an arrangement $\mathcal{A}_q$ in $\mathbb{Z}_q^n$. Our primary objective is to study the combinatorial aspects of the restriction $\mathcal{A}^{(B,\bm b)}$ to the solution space of $B\bm x=\bm b$, and its reduction $\mathcal{A}_q^{(B,\bm b)}$ modulo $q$. This work generalizes the earlier results of Kamiya, Takemura and Terao, as well as Chen and Wang.
The purpose of this paper is threefold as follows. Firstly, we derive an explicit counting formula for the cardinality of the complement $M\big(\mathcal{A}_q^{(B,\bm b)}\big)$ of $\mathcal{A}_q^{(B,\bm b)}$; and prove that for all positive integers $q>q_0$, this cardinality coincides with a quasi-polynomial $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},q\big)$ in $q$ with a period $ρ_C$. Secondly, we weaken Chen and Wang's original hypothesis $a \mid b$ to a strictly more general condition $\gcd(a,ρ_C)\mid \gcd(b,ρ_C)$, and introduce the concept of combinatorial equivalence for positive integers. Within this framework, we establish three unified comparison relations: between the unsigned coefficients of $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},a\big)$ and $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},b\big)$; between the unsigned coefficients of distinct constituents of $χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},q\big)$; and between the cardinalities of $M\big(\mathcal{A}_q^{(B,\bm b)}\big)$ and $M\big(\mathcal{A}_{pq}^{(B,\bm b)}\big)$. Thirdly, using our method, we revisit the enumerative aspects of group colorings and nowhere-zero nonhomogeneous form flows from the early work of Forge, Zaslavsky and Kochol.