group
10399 papers tagged with this keyword
Limiting spectral laws for sparse random circulant matrices
Fix a positive integer $d$ and let $(G_n)_{n\geq1}$ be a sequence of finite abelian groups with orders tending to infinity. For each $n \geq 1$, let $C_n$ be a uniformly random $G_n$-circulant matrix with entries in $\{0,1\}$ and exactly $d$ ones in each row/column. We show that the empirical spectral distribution of $C_n$ converges weakly in expectation to a probability measure $μ$ on $\mathbb{C}$ if and only if the distribution of the order of a uniform random element of $G_n$ converges weakly to a probability measure $ρ$ on $\mathbb{N}^*$, the one-point compactification of the natural numbers. Furthermore, we show that convergence in expectation can be strengthened to convergence in probability if and only if $ρ$ is a Dirac mass $δ_m$. In this case, $μ$ is the $d$-fold convolution of the uniform distribution on the $m$-th roots of unity if $m\in\mathbb{N}$ or the unit circle if $m = \infty$. We also establish that, under further natural assumptions, the determinant of $C_n$ is $\pm\exp((c_{m,d}+o(1))|G_n|)$ with high probability, where $c_{m,d}$ is a constant depending only on $m$ and $d$.
The Automorphism Group of the Finitary Power Monoid of the Integers under Addition
Endowed with the binary operation of set addition carried over from the integers, the family $\mathcal P_{\mathrm{fin}}(\mathbb Z) $ of all non-empty finite subsets of $\mathbb Z$ forms a monoid whose neutral element is the singleton $\{0\}$.
Building upon recent work by Tringali and Yan, we determine the automorphisms of $\mathcal P_{\mathrm{fin}}(\mathbb Z)$. In particular, we find that the automorphism group of $\mathcal P_{\mathrm{fin}}(\mathbb Z)$ is isomorphic to the direct product of a cyclic group of order two by the infinite dihedral group.
Groups with pairings, Hall modules, and Hall-Littlewood polynomials
Published
• View Publication
• BIB
We relate the combinatorics of Hall-Littlewood polynomials to that of abelian $p$-groups with alternating or Hermitian perfect pairings. Our main result is an analogue of the classical relationship between the Hall algebra of abelian $p$-groups (without pairings) and Hall-Littlewood polynomials. Specifically, we define a module over the classical Hall algebra with basis indexed by groups with pairings, and explicitly relate its structure constants to Hall-Littlewood polynomials at different values of the parameter $t$. We also show certain expectation formulas with respect to Cohen-Lenstra type measures on groups with pairings. In the alternating case this gives a new and simpler proof of previous results of Delaunay-Jouhet.
Avoshifts, Unishifts and Nondeterministic Cellular Automata
In this paper, we study avoshifts and unishifts on $\mathbb{Z}^d$. Avoshifts are subshifts where for each convex set $C$, and each vector $v$ such that $C \cup \{\vec v\}$ is also convex, the set of valid extensions of globally valid patterns on $C$ to ones on $C \cup \{v\}$ is determined by a bounded subpattern of $C$. Unishifts are the subshifts where for such $C, \vec v$, every $C$-pattern has the same number of $\vec v$-extensions. Cellwise quasigroup shifts (including group shifts) and TEP subshifts are examples of unishifts, while unishifts and subshifts with topological strong spatial mixing are examples of avoshifts. We prove that every avoshift is the spacetime subshift of a nondeterministic cellular automaton on an avoshift of lower dimension up to a linear transformation and a convex blocking. From this, we deduce that all avoshifts contain periodic points, and that unishifts have dense periodic points and admit equal entropy full shift factors.
The Higman-M\lowercase{c}Laughlin Theorem for the flag-transitive $2$-designs with $λ$ prime
A famous result of Higman and McLaughlin \cite{HM} in 1961 asserts that any flag-transitive automorphism group $G$ of a $2$-design $\mathcal{D}$ with $λ=1$ acts point-primitively on $\mathcal{D}$. In this paper, we show that the Higman and McLaughlin theorem is still true when $λ$ is a prime and $\mathcal{D}$ is not isomorphic to one of the two $2$-$(16,6,2)$ designs as in [42, Section 1.2], or the $2$-$(45,12,3)$ design as in [44, Construction 4.2], or, when $2^{2^{j}}+1$ is a Fermat prime, a possible $2$-$(2^{2^{j+1}}(2^{2^{j}}+2),2^{2^{j}}(2^{2^{j}}+1),2^{2^{j}}+1)$ design having very specific features.
Nonnegativity of signomials with Newton simplex over $\mathcal{A}$-convex sets
We study a class of signomials whose positive support is the set of vertices of a simplex and which may have several negative support points in the simplex. Various groups of authors have provided an exact characterization for the global nonnegativity of a signomial in this class in terms of circuit signomials and that characterization provides a tractable nonnegativity test. We generalize this characterization to the constrained nonnegativity over a set $X$ under an additional convexity precondition in the exponential moment space. This provides a tractable nonnegativity test over $X$ for the class in terms of a power cone program. Our proof methods rely on a variant of the convex cone of constrained SAGE signomials (sums of arithmetic-geometric exponentials) and the duality theory.
Direct and Inverse Problems for Restricted Signed Sumsets -- II
Published
• View Publication
• BIB
Let $A=\{a_{1},\ldots,a_{k}\}$ be a nonempty finite subset of an additive abelian group $G$. For a positive integer $h$, the restricted $h$-fold signed sumset of $A$, denoted by $h^{\wedge}_{\pm}A$, is defined as $$h^{\wedge}_{\pm}A = \left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \left\lbrace -1, 0, 1\right\rbrace \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| =h\right\rbrace. $$ A direct problem for the restricted $h$-fold signed sumset is to find the optimal size of $h^{\wedge}_{\pm}A$ in terms of $h$ and $|A|$. An inverse problem for this sumset is to determine the structure of the underlying set $A$ when the sumset has optimal size. While the signed sumsets (which is defined differently compared to the restricted signed sumset) in finite abelian groups has been investigated by Bajnok and Matzke, the restricted $h$-fold signed sumset $h^{\wedge}_{\pm}A$ is not well studied even in the additive group of integers $\Bbb Z$. Bhanja, Komatsu and Pandey studied these problems for the restricted $h$-fold signed sumset for $h=2, 3$, and $k$, and conjectured some direct and inverse results for $h \geq 4$. In a recent paper, Mistri and Prajapati proved these conjectures completely for the set of positive integers. In this paper, we prove these conjectures for the set of nonnegative integers, which settles all the conjectures completely.
A permutation based approach to the $q$-deformation of the Dynkin Operator
Introduced by Solomon, the descent algebra is a significant subalgebra of the group algebra of the symmetric group $\mathbf{k}S_n$ related to many important algebraic and combinatorial topics. It contains all the classical Lie idempotents of $\mathbf{k}S_n$, in particular the Dynkin operator, a fundamental tool for studying the free Lie algebra. We look at a $q$-deformation of the Dynkin operator and study its action over the descent algebra with classical combinatorial tools like Solomon's Mackey formula. This leads to elementary proofs that the operator is indeed an idempotent for $q=1$ as well as to interesting formulas and algebraic structures especially when $q$ is a root of unity.
Iwasawa theory and the representations of finite groups
Published
• View Publication
• BIB
In this note, I develop a representation-theoretic refinement of the Iwasawa theory of finite Cayley graphs. Building on analogies between graph zeta functions and number-theoretic L-functions, I study $\mathbb{Z}_\ell$-towers of Cayley graphs and the asymptotic growth of their Jacobians. My main result establishes that the Iwasawa polynomial associated to such a tower admits a canonical factorization indexed by the irreducible representations of the underlying group. This leads to the definition of representation-theoretic Iwasawa polynomials, whose properties are studied.
Positivity properties of $q$-hit numbers in the finite general linear group
Published
• View Publication
• BIB
We consider the problem of counting matrices over a finite field with fixed rank and support contained in a fixed set. The count of such matrices gives a $q$-analogue of the classical rook and hit numbers, known as the $q$-rook and $q$-hit numbers. They are known not to be polynomial in $q$ in general. We use inclusion-exclusion on the support of the matrices and the orbit counting method of Lewis et al. to show that the residues of these functions in low degrees are polynomial. We define a generalization of the classical rook and hit numbers which count placements of certain classes of graphs. These give us a formula for residues of the $q$-rook and $q$-hit numbers in low degrees. We analyze the residues of the $q$-hit number and show that the coefficient of $q-1$ in the $q$-hit number is always non-negative.
Direct and Inverse Problems for Restricted Signed Sumsets -- I
Published
• View Publication
• BIB
Let $A=\{a_{1},\ldots,a_{k}\}$ be a nonempty finite subset of an additive abelian group $G$. For a positive integer $h$, the $h$-fold signed sumset of $A$, denoted by $h_{\pm}A$, is defined as $$h_{\pm}A=\left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \{-h, \ldots, 0, \ldots, h\} \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| =h\right\rbrace,$$ and the restricted $h$-fold signed sumset of $A$, denoted by $h^{\wedge}_{\pm}A$, is defined as $$h^{\wedge}_{\pm}A=\left\lbrace \sum_{i=1}^{k} λ_{i} a_{i}: λ_{i} \in \left\lbrace -1, 0, 1\right\rbrace \ \text{for} \ i= 1, 2, \ldots, k \ \text{and} \ \sum_{i=1}^{k} \left|λ_{i} \right| = h\right\rbrace. $$ A direct problem for the sumset $h^{\wedge}_{\pm}A$ is to find the optimal size of $h^{\wedge}_{\pm}A$ in terms of $h$ and $|A|$. An inverse problem for this sumset is to determine the structure of the underlying set $A$ when the sumset $h^{\wedge}_{\pm}A$ has optimal size. While some results are known for the signed sumsets in finite abelian groups due to Bajnok and Matzke, not much is known for the restricted $h$-fold signed sumset $h^{\wedge}_{\pm}A$ even in the additive group of integers $\Bbb Z$. In case of $G = \Bbb Z$, Bhanja, Komatsu and Pandey studied these problems for the sumset $h^{\wedge}_{\pm}A$ for $h=2, 3$, and $k$, and conjectured the direct and inverse results for $h \geq 4$. In this paper, we prove these conjectures completely for the sets of positive integers. In a subsequent paper, we prove these conjectures for the sets of nonnegative integers.
Harmonic Morphisms of Arithmetical Structures on Graphs
Let $φ\colon Γ_2 \rightarrow Γ_1$ be a harmonic morphism of connected graphs. We show that an arithmetical structure on $Γ_1$ can be pulled back via $φ$ to an arithmetical structure on $Γ_2$. We then show that some results of Baker and Norine on the critical groups for the usual Laplacian extend to arithmetical critical groups, which are abelian groups determined by the generalized Laplacian associated to these arithmetical structures. In particular, we show that the morphism $φ$ induces a surjective group homomorphism from the arithmetical critical group of $Γ_2$ to that of $Γ_1$ and an injective group homomorphism from the arithmetical critical group of $Γ_1$ to that of $Γ_2$. Finally, we prove a Riemann-Hurwitz formula for arithmetical structures.
Infinite unrestricted sumsets in subsets of abelian groups with large density
Let $(G,+)$ be a countable abelian group such that the subgroup $\{g+g\colon g\in G\}$ has finite index and the doubling map $g\mapsto g+g$ has finite kernel. We establish lower bounds on the upper density of a set $A\subset G$ with respect to an appropriate Følner sequence, so that $A$ contains a sumset of the form $\{t+b_1+b_2\colon b_1,b_2\in B\}$ or $\{b_1+b_2\colon b_1,b_2\in B\}$, for some infinite $B\subset G$ and some $t\in G$. Both assumptions on $G$ are necessary for our results to be true. We also characterize the Følner sequences for which this is possible. Finally, we show that our lower bounds are optimal in a strong sense.
$c$-Birkhoff polytopes
Published
• View Publication
• BIB
In a 2018 paper, Davis and Sagan studied several pattern-avoiding polytopes. They found that a particular pattern-avoiding Birkhoff polytope had the same normalized volume as the order polytope of a certain poset, leading them to ask if the two polytopes were unimodularly equivalent. Motivated by Davis and Sagan's question, in this paper we define a pattern-avoiding Birkhoff polytope called a $c$-Birkhoff polytope for each Coxeter element $c$ of the symmetric group. We then show that the $c$-Birkhoff polytope is unimodularly equivalent to the order polytope of the heap poset of the $c$-sorting word of the longest permutation. When $c=s_1s_2\dots s_{n}$, this result recovers an affirmative answer to Davis and Sagan's question. Another consequence of this result is that the normalized volume of the $c$-Birkhoff polytope is the number of the longest chains in the (type A) $c$-Cambrian lattice.
Equidistribution in 2-Nilpotent Polish Groups and triple restricted sumsets
Published
• View Publication
• BIB
The aim of this paper is to establish a Ratner-type equidistribution theorem for orbits on homogeneous spaces associated with $2$-nilpotent locally compact Polish groups under the action of a countable discrete abelian group. We apply this result to establish the existence of triple restricted sumsets in subsets of positive density in arbitrary countable discrete abelian groups, subject to a necessary finiteness condition.
Quasipolynomial bounds for the corners theorem
Published
• View Publication
• BIB
Let $G$ be a finite abelian group and $A$ be a subset of $G \times G$ which is corner--free, meaning that there are no $x, y \in G$ and $d \in G \setminus \{0\}$ such that $(x, y)$, $(x+d, y)$, $(x, y+d) \in A$. We prove that \[|A| \le |G|^2 \cdot \exp(-(\log |G|)^{Ω(1)}).\] As a consequence, we obtain polynomial (in the input length) lower bounds on the nondeterministic communication complexity of Exactly-N in the 3-player Number-on-Forehead model. We also obtain the first "reasonable'' lower bounds on the coloring version of the $3$-dimensional corners problem, as well as on the nondeterministic communication complexity of Exactly-N in the 4-player Number-on-Forehead model.
The Density Finite Sums Theorem
Published
• View Publication
• BIB
For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$ for all $m\in\{1,\ldots,k\}$. This can be viewed as a density analog of Hindman's finite sums theorem. Our proof reveals the natural relationships among infinite sumsets, the dynamics underpinning arithmetic progressions, and homogeneous spaces of nilpotent Lie groups.
A general framework for quasi-isometries in symbolic dynamics beyond groups
Published
• View Publication
• BIB
We introduce an algebraic structure which encodes a collection of countable graphs through a set of states, generators and relations. For these structures, which we call blueprints, we provide a general framework for symbolic dynamics under a partial monoid action, and for transferring invariants of their symbolic dynamics through quasi-isometries. In particular, we show that the undecidability of the domino problem, the existence of strongly aperiodic subshifts of finite type, and the existence of subshifts of finite type without computable points are all quasi-isometry invariants for finitely presented blueprints. As an application of this model, we show that a variant of the domino problem for geometric tilings of $\mathbb{R}^d$ is undecidable for $d \geq 2$ on any underlying tiling space with finite local complexity.
Normality conditions in the Sylow $\boldsymbol{p}$-subgroup of $\boldsymbol{\mathrm{Sym}(p^n)}$ and its associated Lie algebra
Published in Journal of Algebra, Volume 689, 1 March 2026, Pages 747-763
• View Publication
• BIB
In this work, we give a description of the structure of the normal subgroups of a Sylow $p$-subgroup $W_n$ of $\mathrm{Sym}(p^n)$, showing that they contain a term from the lower central series with bounded index. To this end, we explicitly determine the terms of the upper and the lower central series of $W_n$. We provide a similar description of these series in the Lie algebra associated to $W_n$, giving a new proof of the equality of their terms in both the group and the algebra contexts. Finally, we calculate the growth of the normalizer chain starting from an elementary abelian regular subgroup of $W_n$.
On canonical sandpile actions of embedded graphs
The sandpile group of a connected graph is a group whose cardinality is the number of spanning trees. The group is known to have a canonical simply transitive action on spanning trees if the graph is embedded into the plane. However, no canonical action on the spanning trees is known for the nonplanar case. We show that for any embedded Eulerian digraph, one can define a canonical simply transitive action of the sandpile group on compatible Eulerian tours (a set whose cardinality equals to the number of spanning arborescences). This enables us to give a new proof that the rotor-routing action of a ribbon graph is independent of the root if and only if the embedding is into the plane (originally proved by Chan, Church and Grochow).
Recently, Merino, Moffatt and Noble defined a sandpile group variant (called Jacobian) for embedded graphs, whose cardinality is the number of quasi-trees. Baker, Ding and Kim showed that this group acts canonically on the quasitrees. We show that the Jacobian of an embedded graph is canonically isomorphic to the usual sandpile group of the medial digraph, and the action by Baker at al. agrees with the action of the sandpile group of the medial digraph on Eulerian tours (which fact is made possible by the existence of a canonical bijection between Eulerian tours of the medial digraph and quasi-trees due to Bouchet).