group
10399 papers tagged with this keyword
Uniqueness and explicit computation of mates in near-factorizations
Published
• View Publication
• BIB
We show that a "mate'' $B$ of a set $A$ in a near-factorization $(A,B)$ of a finite group $G$ is unique. Further, we describe how to compute the mate $B$ very efficiently using an explicit formula for $B$. We use this approach to give an alternate proof of a theorem of Wu, Yang and Feng, which states that a strong circular external difference family cannot have more than two sets. We prove some new structural properties of near-factorizations in certain classes of groups. Then we examine all the noncyclic abelian groups of order less than $200$ in a search for a possible nontrivial near-factorization. All of these possibilities are ruled out, either by theoretical criteria or by exhaustive computer searches. (In contrast, near-factorizations in cyclic or dihedral groups are known to exist by previous results.) We also look briefly at nontrivial near-factorizations of index $λ> 1$ in noncyclic abelian groups. Various examples are found with $λ= 2$ by computer.
Van der Waerden type theorem for amenable groups and FC-groups
We prove that for a discrete, countable, and amenable group $G$, if the direct product $G^2=G \times G$ is finitely colored then $\{ g \in G : \text{exists } (x,y) \in G^2 \text{ such that } \{ (x,y),(xg,y),(xg,yg)\} \text{ is monochromatic} \}$, is left IP$^{\ast}$. This partially solves a conjecture of V. Bergelson and R. McCutcheon. Moreover, we prove that the result holds for $G^m$ if $G$ is an FC-group, i.e., all conjugacy classes of $G$ are finite.
Edge zeta function and closed cycles in the standard non-uniform complex from $\operatorname{PGL}_3$
In this paper, we define the edge zeta function of weighted complex. We also present the formula for the edge zeta function of the standard non-uniform complex $\operatorname{PGL}(3,\mathbb{F}_q[t])\backslash\operatorname{PGL}(3,\mathbb{F}_q(\!(t^{-1})\!))/\operatorname{PGL}(3,\mathbb{F}_q[\![t^{-1}]\!])$, arising from the group $\operatorname{PGL}_3$, as a rational function. Applying trunction in a specific direction is one of the main ingredient. As a result, we obtain the exact formula for the number of closed cycles coming from geodesics in the building.
Laplacian Spectrum of Super Graphs defined on Certain Non-abelian Groups
Published
• View Publication
• BIB
Given a graph $A$ on a group $G$ and an equivalence relation $B$ on $G$, the $B$ super$A$ graph, whose vertex set is $G$ and two vertices $g$, $h$ are adjacent if and only if there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$ such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. Recently, Dalal \emph{et al.} (Spectrum of super commuting graphs of some finite groups, \textit{Computational and Applied Mathematics}, 43(6):348, 2024) obtain the Laplacian spectrum of supercommuting graphs of certain non-abelian groups including the dihedral group and the generalized quaternion group. In this paper, we continue the study of Laplacian spectrum of certian $B$ super$A$ graphs. We obtain the Laplacian spectrum of conjugacy superenhanced power graphs of certain non-abelian groups, namely: dihedral group, generalized quaternion group and semidihedral group. Moreover to enhance the work of Dalal \emph{et al}, we obtain the Laplacian spectrum of conjugacy supercommuting graph of semidihedral group. We prove that graphs considered in this paper are $L$-integral.
Improved Upper Bounds on Key Invariants of Erdős-Rényi Numerical Semigroups
De Loera, O'Neill and Wilburne introduced a general model for random numerical semigroups in which each positive integer is chosen independently with some probability p to be a generator, and proved upper and lower bounds on the expected Frobenius number and expected embedding dimensions. We use a range of probabilistic methods to improve the upper bounds to within a polylogarithmic factor of the lower bounds in each case. As one of the tools to do this, we prove that for any prime q, if A is a random subset of the cyclic group Z_q whose size is of order log(q) and k is also of order log(q), then with high probability the k-fold sumset kA is all of Z_q.
The structure of sets with cube-avoiding sumsets
Published
• View Publication
• BIB
We prove that if $d \ge 2$ is an integer, $G$ is a finite abelian group, $Z_0$ is a subset of $G$ not contained in any strict coset in $G$, and $E_1,\dots,E_d$ are dense subsets of $G^n$ such that the sumset $E_1+\dots+E_d$ avoids $Z_0^n$ then $E_1, \dots, E_d$ essentially have bounded dimension. More precisely, they are almost entirely contained in sets $E_1' \times G^{I^c}, \dots, E_d' \times G^{I^c}$, where the size of $I \subset [n]$ is non-zero and independent of $n$, and $E_1',\dots,E_d'$ are subsets of $G^{I}$ such that the sumset $E_1'+\dots+E_d'$ avoids $Z_0^I$.
A group-action Szemerédi-Trotter theorem and applications to orchard problems in all characteristics
We establish a group-action version of the Szemerédi-Trotter theorem over any field, extending Bourgain's result for the group $\mathrm{SL}_2(k)$. As an Elekes-Szabó-type application, we obtain quantitative bounds on the number of collinear triples on reducible cubic surfaces in $\mathbb{P}^3(k)$, where $k = \mathbb{F}_{q}$ and $k = \mathbb{C}$, thereby improving a recent result by Bays, Dobrowolski, and the second author.
Murnaghan--Nakayama rules for symplectic, orthogonal and orthosymplectic Schur functions
Published in Discrete Mathematics, Volume 349, Issue 2, February 2026, 114741
• View Publication
• BIB
We establish new Murnaghan--Nakayama rules for symplectic, orthogonal and orthosymplectic Schur functions. The classical Murnaghan--Nakayama rule expresses the product of a power sum symmetric function with a Schur function as a linear combination of Schur functions. Symplectic and orthogonal Schur functions correspond to characters of irreducible representations of symplectic and orthogonal groups. Orthosymplectic Schur functions arise as characters of orthosymplectic Lie superalgebras and are hybrids of symplectic and ordinary Schur functions. We derive explicit formulas for the product of the relevant power-sum function with each of these functions, which can partly be described combinatorially using border strip manipulations. Our Murnaghan--Nakayama rules each include three distinct terms: a classical term corresponding to the addition of border strips to the relevant Young diagram, a term involving the removal of border strips, and a third term, which we describe both algebraically and combinatorially.
Promotion, Tangled Labelings, and Sorting Generating Functions
Published
• View Publication
• BIB
We study Defant and Kravitz's generalization of Schützenberger's promotion operator to arbitrary labelings of finite posets in two directions. Defant and Kravitz showed that applying the promotion operator $n-1$ times to a labeling of a poset on $n$ elements always gives a natural labeling of the poset and called a labeling tangled if it requires the full $n-1$ promotions to reach a natural labeling. They also conjectured that there are at most $(n-1)!$ tangled labelings for any poset on $n$ elements. In the first direction, we propose a further strengthening of their conjecture by partitioning tangled labelings according to the element labeled $n-1$ and prove that this stronger conjecture holds for inflated rooted forest posets and a new class of posets called shoelace posets. In the second direction, we introduce sorting generating functions and cumulative generating functions for the number of labelings that require $k$ applications of the promotion operator to give a natural labeling. We prove that the coefficients of the cumulative generating function of the ordinal sum of antichains are log-concave and obtain a refinement of the weak order on the symmetric group.
Bounding the Chromatic Number via High Dimensional Embedding
A geometrization method that transforms a $(d+1)$-connected graph $G$ into a $(d-1)$-dimensional manifold $U^{d-1}(G)$ is first established through adding some $i$-balls with $2\le i \le d-1$ into $G$ such that the $j$-th homotopy group is trivial for $j=0, 1, \dots, d-2$. On this basis, we establish a sufficient condition for $U^{d-1}(G)$ to be embedded into $\mathbb{R}^d$ and an upper bound for $χ(G)$, the chromatic number of $G$. To be more specific, we prove that if $G$ contains neither $K_{d+3}$ nor $K_{3,d+1}$ as a minor, then $U^{d-1}(G)$ embeds into $\mathbb{R}^d$ and $χ(G) \leq d(d+1)$. Furthermore, based on the above theorem, we extend the Discharging method, originally developed for the study of the four color theorem, to $\mathbb{R}^d$. This generalized approach can be applied to investigate the coloring problems in $\mathbb{R}^d$.
On commuting pairs in arbitrary sets of 2x2 matrices
Published
• View Publication
• BIB
Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $μ$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(μ) = \sum_{X, Y \in {\rm supp}(μ), XY = YX} μ(X) μ(Y) < \varepsilon \] or there exists some finite set ${S}$ contained in a $2$-dimensional subspace of $\textrm{Mat}_2(\mathbb{R})$ such that $μ({S}) \geq \varepsilon/8$. This is sharp up to the multiplicative constant. We prove quantitatively stronger results when \[ μ( (a_{i,j})_{1 \leq i,j \leq 2} ) = ν(a_{1,1}) \dots ν(a_{2,2}) \ \ \text{for every} \ a_{1,1}, \dots, a_{2,2} \in \mathbb{R}, \]
with $ν$ being some finitely--supported probability measure on $\mathbb{R}$. For instance, when ${A} \subset \mathbb{R}$ is a generalised arithmetic progression or multiplicative progression of dimension $d$ and $ν= {1}_{A}/|{A}|$, our techniques imply that $|{A}|^{-3} \ll_d T(μ) \ll_d |{A}|^{-3}$. Our methods highlight the connections of this problem to results in incidence geometry, growth in groups phenomenon as well as Bourgain--Chang type sum-product estimates over $\mathbb{R}$. The latter includes applications of Schmidt's subspace theorem and the resolution of the weak polynomial Freiman--Ruzsa conjecture over integers.
Horospherical varieties with quotient singularities
Published
• View Publication
• BIB
Our main result is a combinatorial characterization of when a horospherical variety has (at worst) quotient singularities. Using this characterization, we show that every quasiprojective horospherical variety with quotient singularities is globally the quotient of a smooth variety by a finite abelian group.
Completely regular codes in graphs covered by a Hamming graph
In Cayley graphs on the additive group of a small vector space over GF$(q)$, $q=2,3$, we look for completely regular (CR) codes whose parameters are new in Hamming graphs over the same field. The existence of a CR code in such Cayley graph $G$ implies the existence of a CR code with the same parameters in the corresponding Hamming graph that covers $G$. In such a way, we find several completely regular codes with new parameters in Hamming graphs over GF$(3)$. The most interesting findings are two new CR-$1$ (with covering radius~$1$) codes that are independent sets (such CR are equivalent to optimal orthogonal arrays attaining the Bierbrauer--Friedman bound) and one new CR-$2$. By recursive constructions, every knew CR code induces an infinite sequence of CR codes (in particular, optimal orthogonal arrays if the original code was CR-$1$ and independent). In between, we classify feasible parameters of CR codes in several strongly regular graphs.
Alphabet-affine 2-neighbour-transitive codes
Published
• View Publication
• BIB
A code ${\mathcal C}$ is a subset of the vertex set of a Hamming graph $H(n,q)$, and ${\mathcal C}$ is $2$-neighbour-transitive if the automorphism group $G={\rm Aut}({\mathcal C})$ acts transitively on each of the sets ${\mathcal C}$, ${\mathcal C}_1$ and ${\mathcal C}_2$, where ${\mathcal C}_1$ and ${\mathcal C}_2$ are the (non-empty) sets of vertices that are distances $1$ and $2$, respectively, (but no closer) to some element of ${\mathcal C}$.
Suppose that ${\mathcal C}$ is a $2$-neighbour-transitive code with minimum distance at least $5$. For $q=2$, all `minimal' such ${\mathcal C}$ have been classified. Moreover, it has previously been shown that a subgroup of the automorphism group of the code induces an affine $2$-transitive group action on the alphabet of the Hamming graph. The main results of this paper are to show that this affine $2$-transitive group must be a subgroup of ${\rm A}Γ{\rm L}_1(q)$ and to provide a number of infinite families of examples of such codes. These examples are described via polynomial algebras related to representations of certain classical groups.
On the Terwilliger algebra of the group association scheme of the symmetric group $\operatorname {sym}(7)$
Published
• View Publication
• BIB
Terwilliger algebras are finite-dimensional semisimple algebras that were first introduced by Paul Terwilliger in 1992 in studies of association schemes and distance-regular graphs. The Terwilliger algebras of the conjugacy class association schemes of the symmetric groups $\operatorname {sym}(n)$, for $3\leq n \leq 6$, have been studied and completely determined. The case for $\operatorname {sym}(7)$ is computationally much more difficult and has a potential application to find the size of the largest permutation codes of $\operatorname {sym}(7)$ with a minimal distance of at least $4$. In this paper, the dimension, the Wedderburn decomposition, and the block dimension decomposition of the Terwilliger algebra of the conjugacy class scheme of the group $\operatorname {sym}(7)$ are determined.
Sparser Abelian High Dimensional Expanders
We present two new explicit constructions of Cayley high dimensional expanders (HDXs) over the abelian group $\mathbb{F}_2^n$. Our expansion proofs use only linear algebra and combinatorial arguments.
The first construction gives local spectral HDXs of any constant dimension and subpolynomial degree $\exp(n^ε)$ for every $ε>0$, improving on a construction by Golowich [Gol23] which achieves $ε=1/2$. [Gol23] derives these HDXs by sparsifying the complete Grassmann poset of subspaces. The novelty in our construction is the ability to sparsify any expanding Grassmannian posets, leading to iterated sparsification and much smaller degrees. The sparse Grassmannian (which is of independent interest in the theory of HDXs) serves as the generating set of the Cayley graph.
Our second construction gives a 2-dimensional HDXs of any polynomial degree $\exp(εn$) for any constant $ε> 0$, which is simultaneously a spectral expander and a coboundary expander. To the best of our knowledge, this is the first such non-trivial construction. We name it the Johnson complex, as it is derived from the classical Johnson scheme, whose vertices serve as the generating set of this Cayley graph. This construction may be viewed as a derandomization of the recent random geometric complexes of [LMSY23]. Establishing coboundary expansion through Gromov's "cone method" and the associated isoperimetric inequalities is the most intricate aspect of this construction.
While these two constructions are quite different, we show that they both share a common structure, resembling the intersection patterns of vectors in the Hadamard code. We propose a general framework of such "Hadamard-like" constructions in the hope that it will yield new HDXs.
On the BCI Problem
Published
• View Publication
• BIB
Let $G$ be a group. The BCI problem asks whether two Haar graphs of $G$ are isomorphic if and only if they are isomorphic by an element of an explicit list of isomorphisms. We first generalize this problem in a natural way and give a theoretical way to solve the isomorphism problem for the natural generalization. We then restrict our attention to abelian groups and, with an exception, reduce the problem to the isomorphism problem for a related quotient, component, or corresponding Cayley digraph. For Haar graphs of an abelian group of odd order with connection sets $S$ those of Cayley graphs (i.e. $S = -S$), the exception does not exist. For Haar graphs of cyclic groups of odd order with connection sets those of a Cayley graph, among others, we solve the isomorphism problem.
Towards the Proximity Conjecture on Group-Labeled Matroids
Consider a matroid $M$ whose ground set is equipped with a labeling to an abelian group. A basis of $M$ is called $F$-avoiding if the sum of the labels of its elements is not in a forbidden label set $F$. Hörsch, Imolay, Mizutani, Oki, and Schwarcz (2024) conjectured that if an $F$-avoiding basis exists, then any basis can be transformed into an $F$-avoiding basis by exchanging at most $|F|$ elements. This proximity conjecture is known to hold for certain specific groups; in the case where $|F| \le 2$; or when the matroid is subsequence-interchangeably base orderable (SIBO), which is a weakening of the so-called strongly base orderable (SBO) property.
In this paper, we settle the proximity conjecture for sparse paving matroids or in the case where $|F| \le 4$. Related to the latter result, we present the first known example of a non-SIBO matroid. We further address the setting of multiple group-label constraints, showing proximity results for the cases of two labelings, SIBO matroids, matroids representable over a fixed, finite field, and sparse paving matroids.
A formula for eigenvalues of integral Cayley graphs over abelian groups
Published
• View Publication
• BIB
Let $Z$ be an abelian group, $ x \in Z$, and $[x] = \{ y : \langle x \rangle = \langle y \rangle \}$. A graph is called integral if all its eigenvalues are integers. It is known that a Cayley graph is integral if and only if its connection set can be express as union of the sets $[x] $. In this paper, we determine an algebraic formula for eigenvalues of the integral Cayley graph when the connection set is $ [x]$. This formula involves an analogue of M$\ddot{\text{o}}$bius function.
The Double Almost-Riordan Arrays and Their Sequence Characterization, Compression, and Total Positivity
Published
• View Publication
• BIB
In this paper, we define double almost-Riordan arrays and find that the set of all double almost-Riordan arrays forms a group, called the double almost-Riordan group. We also obtain the sequence characteristics of double almost-Riordan arrays and give the production matrices for double almost-Riordan arrays. We define the compression of double almost-Riordan arrays and present their sequence characterization. Finally we give a characteristic for the total positivity of double Riordan arrays, by using which we discuss the total positivity for compressed double almost-Riordan arrays.