group
10399 papers tagged with this keyword
Small doublings in abelian groups of prime power torsion
Let $A$ be a subset of $G$, where $G$ is a finite abelian group of torsion $r$. It was conjectured by Ruzsa that if $|A+A|\leq K|A|$, then $A$ is contained in a coset of $G$ of size at most $r^{CK}|A|$ for some constant $C$. The case $r=2$ received considerable attention in a sequence of papers, and was resolved by Green and Tao. Recently, Even-Zohar and Lovett settled the case when $r$ is a prime. In this paper, we confirm the conjecture when $r$ is a power of prime. In particular, the bound we obtain is tight.
Étude de quelques familles de $λ$-quiddités et minoration de la taille maximale des $λ$-quiddités irréductibles sur un corps fini
$λ$-quiddities of size $n$ are $n$-tuples of elements from a fixed set that are solutions to a matrix equation which is fundamental in the study of the combinatorics of the modular group and Coxeter's friezes. To gain further insight into these objects, we use a notion of irreducibility, which allows restricting the study to a limited number of elements that must be determined for each set. Our goal here is to define several families of $λ$-quiddities over finite fields and to study their irreducibility properties, with the specific aim of establishing lower bounds on the maximal size of irreducible elements over $\mathbb{F}_{q}$.
Global patterns in signed permutations
Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.
Subset-Sum Density Realization in Locally Finite Abelian Groups
Let $G$ be a countable locally finite abelian group, and let \[ G_1\leq G_2\leq\cdots, \qquad \bigcup_{i\geq1}G_i=G, \] be any filtration of $G$ by finite subgroups. For $A\subseteq G$, let $\mathcal P(A)$ denote the set of all finite subset sums of elements of $A$, and let $2G:=\{2g:g\in G\}$. We prove that $|2G|=\infty$ if and only if for every filtration and every interval $[α,β]\subseteq[0,1]$, there exists $A\subseteq G$ such that the set of limit points of \[ \left( \frac{|\mathcal P(A)\cap G_i|}{|G_i|} \right)_{i\geq1} \] is exactly $[α,β]$. We also prove a positive-density result that does not require $|2G|=\infty$: if $G$ is infinite and $\mathcal P(A)$ has positive upper density along the given filtration, then there is an infinite set $B\subseteq \mathcal P(A)$ such that $B+B\subseteq \mathcal P(A)$. Combining this with the realization theorem, we show that, when $|2G|=\infty$, every interval $[α,β]$ with $0\leqα\leqβ\leq1$ and $β>0$ can be realized by a set $A$ with this additional property.
Gallai Decomposition of Ordered Groups: Subgroups, Quotients, and the $N$-free Case
We study Gallai decomposition for groups equipped with two-sided invariant partial orders. The key algebraic step extends to arbitrary binary relations compatible with the group operation: if all left and right translations preserve a binary relation $ρ$, then every least strong module $S_ρ(\e,g)$, $g\ne\e$, is a subgroup. For a partial order this subgroup is convex. Thus the robust modules through the identity of an ordered group form a canonical chain of convex subgroups, with each canonical factor $H/H^-$ prime, totally ordered, or equality-ordered. We characterize exactly the subgroups that are modules, show that they form a complete sublattice of the subgroup lattice, establish overlap and inheritance results for arbitrary subgroups, and prove compatibility with quotients by normal strong subgroups.
For $N$-free ordered groups the prime factors disappear. Using the robust-module decomposition of cographs, we characterize all two-sided invariant $N$-free partial orders by reduced admissible two-coloured subgroup chains, with totally ordered and equality-ordered canonical factors; the order is determined by the first nontrivial factor of each element. We also determine how the canonical decomposition restricts to arbitrary subgroups, characterize finite width and prove width divisibility for subgroups, and show that every reduced two-coloured chain is realized by an $N$-free ordered abelian group whose canonical factors are isomorphic to $\mathbb Z$.
Reduction of integer tiles via CRT and base-p digits
Coven and Meyerowitz gave two cyclotomic conditions, (T1) and (T2), which characterize integer tiles whose cardinalities have at most two distinct prime factors. We prove that the same characterization holds without this restriction. The proof uses a reduction in Chinese remainder coordinates: slicing by the lowest base-p digit produces sets with a common tiling complement in a group of order smaller by a factor of p. This reduction preserves the cyclotomic data needed for an induction on the exponents in (T2).
A Novel Approach to Counterexamples of the Polujan-Pott Conjecture via Set-Partition Permutations
In this paper, we settle a conjecture of Polujan and Pott by constructing an explicit, infinite family of Maiorana--McFarland bent functions $f_t$ in $2(2^t-1)$ variables with algebraic degree $°(f_t) = t + 1$ for any integer $t \ge 2$. Our construction builds upon a minimal commutative algebra $I_t$, which naturally induces a triangular set-partition polynomial permutation $P_t$. By identifying an elementary abelian subgroup within the direct sum $ I_t \oplus I_t^*$, we establish an explicit nonlinear coordinate transformation that pulls $f_t$ back to a canonical quadratic form. This linearizes the translation development $\operatorname{Dev}(D_{f_t})$ under an exotic group structure and proves that it is isomorphic to the classical symplectic design $S^\pm(2(2^t-1))$, thereby fully resolving the conjecture.
Orbit span of a design and some saturation theorems in commutative Schurian association schemes
Orbit-span and dimension problems for designs have been studied in several classical association schemes using a variety of methods. Recently, through a detailed analysis of total trades, Ghorbani et al. showed that the orbit of a fixed combinatorial design asymptotically attains the full dimension permitted by the design equations. Analogous dimension-saturation results for the global spans of index-one designs in the bilinear forms and Grassmann schemes were obtained via laborious eigenvalue computations.
In this paper, we work with the top fiber $X$ of a graded poset carrying a compatible transitive action of a finite group $G$, and assume that the induced Schurian association scheme on $X$ is commutative. For the multiplicity-free decomposition $\mathbb{C}^{X}=U_{0}\oplus U_{1}\oplus\cdots\oplus U_{m}$, we prove that, under explicit spectral and quantitative conditions, the $G$-orbit of the characteristic vector of any $t$-design spans the maximal submodule $U_{0}\oplus U_{t+1}\oplus U_{t+2}\oplus\cdots\oplus U_{m}$ allowed by the $t$-design definition. We verify these conditions asymptotically for the Hamming, bilinear forms, Johnson, and Grassmann schemes. This recovers the fixed-orbit saturation theorem of Ghorbani et al. for combinatorial designs, gives a new result for orthogonal arrays, and asymptotically extends the previous bilinear forms and Grassmann results to orbit spans of individual designs of arbitrary fixed index.
Zeros in The Character Table of The Wreath Product of The Symmetric Group
Let $G$ be a finite group with $t$ conjugacy classes, and let $S_N$ be the symmetric group. Let $Z_t(N)$ be the
number of zeros in the character table of the wreath product
$G\wr S_N$. We prove
\begin{equation*}
Z_t(N)\ge \frac{2p_t(N)^{2}}{\log \frac{N}{t}}\left(1+O\left(\frac{\log \log \frac{N}{t}}{\log \frac{N}{t}}\right)\right),
\end{equation*}
where $p_t(N)$ is the number of $t$-multipartitions of $N$.
The structure of automorphism groups of zero-dimensional monomial algebras
Let $A$ be a zero-dimensional monomial algebra over an algebraically closed field of characteristic zero, that is, a finite-dimensional quotient of a polynomial ring by a monomial ideal. Its automorphism group $G$ is a linear algebraic group, described through the homogeneous nilpotent derivations of $A$. We analyze the structure of $G$ in detail. Its identity component $G^0$ is a semidirect product of its unipotent radical and a reductive subgroup isomorphic to a product of general linear groups, and for each root degree we characterize when the associated derivations give rise to an additive root subgroup, and determine its dimension. Using the Lie brackets of these derivations, we then give an explicit algorithm that produces, out of the minimal monomial generators of the ideal, a family of root subgroups generating $G^0$ together with a maximal torus. Such a family is minimal in the generic case. We also show that the component group $G/G^0$ can be arbitrary: every finite group arises as the component group of the automorphism group of some zero-dimensional monomial algebra. Finally, we apply these results to the algebras $\mathbf{k}[\mathbf{x}]/\mathfrak{m}^d$, showing that the subgroup generated by a maximal torus and the outer root subgroups is exactly the subgroup of automorphisms with constant Jacobian determinant, and we deduce from this a new proof of Anick's theorem on the density of the tame automorphisms of $\mathbf{k}[\mathbf{x}]$.
Premaniplexes of rank $3$ and $4$ as symmetry type graphs of maniplexes
We show that every finite premaniplex of rank $3$ or $4$ is the symmetry type graph of a finite maniplex, settling the finite rank $3$ and $4$ case of the maniplex version of the symmetry type graph problem. The proof uses the fact that the universal string
Coxeter groups of rank $3$ and $4$ are amalgams (of finite groups), hence they act on a tree, which allows us to use a lifting theorem of Potočnik and Spiga.
Projection and fibering in groups of bounded exponent
We develop a projection and fibering method for sets of small combinatorial doubling in (not necessarily abelian) discrete groups. As an application, in the abelian case we prove that, if $A$ is finite, the ambient group has exponent $r$, and $|A+A|\leq K|A|$, then \[
|\langle A\rangle|\leq r^{(2+o(1))K}|A|. \] This answers a question of Ruzsa with an optimal leading coefficient, independent of Fox--Pham. The main ingredient is a discrete version of a fiber spillover argument.
For sets in $2$-step nilpotent groups of exponent $r$, we also prove that $|A^3|\leq K|A|$ implies $|\langle A\rangle|\leq r^{(2+o_K(1))K}|A|$. The proof combines the abelian theorem with a weighted averaging of central fibers and commutators.
The Reduced Smith Group of a Kneser Graph and Its Application to Group-Valued Magic Maps
For a finite abelian group $Γ$, a map $f\colon V(G)\toΓ$ is a $Γ$-magic map if the sum of its values over the neighbors of a vertex is independent of the vertex. It is affinely generating if its pairwise differences generate $Γ$. When $|Γ|=|V(G)|$, a bijective $Γ$-magic map is a $Γ$-distance magic labeling. For a regular graph $G$ with adjacency matrix $A$, write $\mathbf1$ for the all-ones vector indexed by $V(G)$, and let $\overline A$ denote the endomorphism induced by $A$ on $Λ_{\mathbf1}=\mathbb Z^{V(G)}/\mathbb Z\mathbf1$. When $\overline A$ is nonsingular over $\mathbb Q$, define the reduced Smith group by $\mathsf S_{\mathrm{red}}(G)=\operatorname{coker}\overline A$. In previous work, we established that for every regular graph $G$ of positive degree with $\overline A$ nonsingular over $\mathbb Q$, one has \[ G\text{ admits an affinely generating }Γ\text{-magic map} \quad\Longleftrightarrow\quad Γ\hookrightarrow\mathsf S_{\mathrm{red}}(G). \] We determine this group explicitly for Kneser graphs. If $r\ge1$, $n\ge2r$, and $m_j=\binom nj-\binom n{j-1}$, then \[ \mathsf S_{\mathrm{red}}(K(n,r))\cong \bigoplus_{j=1}^{r} \left(\mathbb Z/\binom{n-r-j}{r-j}\mathbb Z\right)^{m_j}. \] When the labeling group and the Kneser graph have the same order, the resulting embedding criterion leaves only one case in which an affinely generating map exists. More precisely, if $Γ$ is an abelian group of order $\binom nr$, then $K(n,r)$ admits an affinely generating $Γ$-magic map if and only if $(n,r)=(9,2)$ and $Γ\cong\mathbb Z/6\mathbb Z\oplus\mathbb Z/6\mathbb Z$. A weak-Sidon-set bound shows that the affinely generating maps in the exceptional case cannot be bijective. Hence $K(n,r)$ admits no $Γ$-distance magic labeling throughout the range $r\ge1$ and $n\ge2r$.
$S_h$-sets in abelian groups
For a positive integer $h$, a subset $A = \{a_1, \dots, a_k\}$ of an additive abelian group $G$ is called an $S_h$-set of size $k$ if all sums of $h$ distinct elements in $S$ are distinct. For fixed positive integers $h$ and $k$, let $v_h(k)$ denote the order of the smallest abelian group containing an $S_h$-set of size $k$. A lower bound for $v_2(k)$ is known. In this paper, we establish a lower bound for $v_3(k)$. Using our argument for $h=2$, we recover the known bound for $v_2(k)$.
Torus actions on compactified braid varieties and polytopality of subword complexes
Every cluster variety admits an action of its cluster dilation group. We prove that, in the case of braid varieties for simple Lie groups, this action always extends to a regular action on each of the brick compactifications. We explore two applications of this result. First, we show that any closed Richardson variety admits a faithful action of a torus of rank the Kazhdan-Lusztig $d$-invariant, answering affirmatively a recent question of E. Gorsky--S. Kim--M. Sherman-Bennett. The same result holds for projected Richardson varieties. Second, we show that the braid variety is a torus if and only if for each of its brick compactifications, the polar dual of the moment polytope for this action realizes the corresponding subword complex. The braid words satisfying this property turn out to be precisely the double root free words of V. Pilaud and C. Stump. This provides a novel approach to the longstanding open question of the polytopality of spherical subword complexes asked by A. Knutson and E. Miller, and in particular gives infinite families of subword complexes admitting polytopal realizations in dimension higher than the rank of the corresponding Coxeter group. As a common consequence of these two applications, we classify all Bruhat intervals in finite crystallographic Coxeter groups which are isomorphic to face lattices of convex polytopes via certain double root free words.
The $q$-analogues of $γ$-positivity of Eulerian polynomials via group actions
Han, Jouhet and Zeng established $q$-analogues of the $γ$-expansion formulas for Eulerian polynomials of types $A$ and $B$. Combinatorial interpretations of the corresponding coefficients$a_{n,k}(q)$ and $b_{n,k}(q)$, however, remained open.
In this paper, we provide combinatorial interpretations for thesecoefficients by using the model of increasing binary trees, thereby resolving a problem posed by Han, Jouhet and Zeng.
Our combinatorial approach consists of three main steps: 1. construct a Carlitz-type insertion bijection for increasing
binary trees and derive a new combinatorial interpretation ofCarlitz's $q$-Eulerian polynomials of type $A$ in terms of such trees; 2. introduce a generalized Foata--Strehl action on increasing
binary trees to interpret the coefficients $a_{n,k}(q)$;3. derive a new combinatorial interpretation for the $q$-Eulerianpolynomials of type $B$ introduced by Chow and Gessel in terms of increasing binary trees of type $B$, and develop a generalizedFoata--Strehl action on these trees to interpret the coefficients $b_{n,k}(q)$.
We further give combinatorial interpretations for the quotients ${a_{n,k}(q)/(-q;q)_{k-1}}$ and ${b_{n,k}(q)/(1+q)^k(-q;q^2)_k}$ in terms of André trees and a certain class of increasing
binary trees of type $B$, respectively. As an application of the latter interpretation, we obtain a combinatorial interpretation for a $q$-analogue of the secant number and prove the positivity conjecture of Han, Jouhet and
Zeng.
The maximum $t$-diversity of $t$-intersecting families of permutations
The study of $t$-intersecting families in symmetric groups received lots of attention in the last two decades. In this paper, we study two different kinds of stability results for $t$-intersecting families in symmetric groups. Let $Σ_n$ denote the symmetric group on $\{1,2,\ldots,n\}$. The $t$-diversity $γ_t(\mathcal{F})$ of $\mathcal{F}\subseteqΣ_n$ is defined as the minimum number of members of $\mathcal{F}$ whose deletion results in a family with transversal number $t$. The star $t$-diversity $γ_t^{\star}(\mathcal{F})$ is defined as the minimum number of members of $\mathcal{F}$ whose deletion results in a $t$-star. For $n$ relatively large with respect to $t$, we determine the best possible bounds for both $γ_t(\mathcal{F})$ and $γ_t^{\star}(\mathcal{F})$ over all $t$-intersecting families $\mathcal{F}\subseteqΣ_n$. The equality holding conditions are characterized. For $γ_t(\mathcal{F})$, the extremal case is generated by all $2t$-subsets of a $3t$-partial permutation or, when $t=2$, the family complements of the lines of the Fano plane. For $γ_t^{\star}(\mathcal{F})$, the extremal family is generated by all $(t+1)$-subsets of a $(t+2)$-partial permutation.
Automorphism groups of endomorphism monoids of $0$-unit $3$-valent circulant digraphs
Let $G=\Cay(\mathbb{Z}_n,S)$ be a $3$-valent circulant digraph with connection set $S=\{0,s,t\}$, where $s,t\in\mathbb{Z}_n^*$ and $t\neq\pm s$. Determining the automorphism group of its endomorphism monoid reduces to determining the subgroup $U_S(\mathbb{Z}_n)\leq\mathbb{Z}_n^*$ that normalizes $\End(G)$. In this paper, we first establish necessary and sufficient conditions for a unit circulant digraph without $2$-cycles to admit an endomorphism whose image induces a directed cycle. Using this characterization, we explicitly determine $U_S(\mathbb{Z}_n)$ for the previously unresolved $0$-unit $3$-valent family.
The Reye geometry inside the 64 lines of the Schur quartic
We identify the classical geometry hidden in the Naskręcki--Pokora $(24_4,32_3)$ configuration on the Schur quartic. Using Höhn's identification of the $24$ selected lines with the $24$ roots of $D_4$, the antipodal involution on the roots induces a fixed-point-free quotient of the incidence configuration, and this quotient is precisely the classical Reye configuration. We also determine the symmetry of the complete $64$-line incidence geometry: its automorphism group has order $4608$, the two Naskręcki--Pokora configurations form a single orbit, and the stabilizer of either has order $2304$ (projectively, $576$). The $64$ lines extend canonically to a $176$-line arrangement carried by six projectively equivalent Schur quartics, with $176=16+16+9\cdot16$ and induced surface permutation group $S_3\times S_3$. Finally, the antipodal quotient itself extends coherently through this six-quartic geometry: on each Schur quartic it produces two Reye configurations sharing the same $16$-element incidence skeleton, and on the full $176$-line arrangement it gives a compatible global quotient. This reveals a precise incidence-theoretic connection with classical desmic geometry, while showing that this connection is not a literal identification with the two Reye configurations arising from the classical desmic construction in $P^3$.
Perfect Combinatorial Structures in Coding Theory and Cryptography
This book develops algebraic and combinatorial methods for studying discrete structures. It brings together graph theory, Boolean functions, Fourier analysis on finite groups, coding theory, perfect colorings and perfect codes, association schemes, Latin squares, and related topics. A central theme is the interaction between different representations of the same object: combinatorial, algebraic, spectral, and coding-theoretic. The main mathematical object studied in this book is a perfect coloring of a graph, or, equivalently, an equitable partition of a graph.
The book is intended for advanced undergraduate and graduate students in mathematics and computer science, as well as for researchers in discrete mathematics, combinatorics, coding theory, and related fields.