group
10226 papers tagged with this keyword
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
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
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
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.
New cosystolic high-dimensional expanders from KMS groups
Cosystolic expansion is a high-dimensional generalization of the Cheeger constant for simplicial complexes. Originally, this notion was motivated by the fact that it implies the topological overlapping property, but more recently it was shown to be connected to problems in theoretical computer science such as list agreement expansion and agreement expansion in the low soundness regime.
There are only a few constructions of high-dimensional cosystolic expanders and, in dimension larger than $2$, the only known constructions prior to our work were (co-dimension 1)-skeletons of quotients of affine buildings. In this paper, we give the first coset complex construction of cosystolic expanders for an arbitrary dimension. Our construction is more symmetric and arguably more elementary than the previous constructions relying on quotients of affine buildings.
The coset complexes we consider arise from finite quotients of Kac--Moody--Steinberg (KMS) groups and are known as KMS complexes. KMS complexes were introduced in recent work by Grave de Peralta and Valentiner-Branth where it was shown that they are local-spectral expanders. Our result is that KMS complexes, satisfying some minor condition, give rise to infinite families of bounded degree cosystolic expanders of arbitrary dimension and for any finitely generated Abelian coefficient group.
This result is achieved by observing that proper links of KMS complexes are joins of opposition complexes in spherical buildings. In order to show that these opposition complexes are coboundary expanders, we develop a new method for constructing cone functions by iteratively adding sets of vertices. Hence we show that the links of KMS complexes are coboundary expanders. Using the prior local-to-global results, we obtain cosystolic expansion for the (co-dimension 1)-skeletons of the KMS complexes.
The Density Finite Sums Theorem
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
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).
An analogue of the Herbrand-Ribet theorem in graph theory
We study an analogue of the Herbrand-Ribet theorem, and its refinement by Mazur and Wiles, in graph theory. For an odd prime number $p$, we let $\mathbb{F}_{p}$ and $\mathbb{Z}_{p}$ denote the finite field with $p$ elements and the ring of $p$-adic integers, respectively. We consider Galois covers $Y/X$ of finite graphs with Galois group $Δ$ isomorphic to $\mathbb{F}_{p}^{\times}$. Given a $\mathbb{Z}_{p}$-valued character of $Δ$, we relate the cardinality of the corresponding character component of the $p$-primary subgroup of the degree zero Picard group of $Y$ to the $p$-adic absolute value of the special value at $u=1$ of the corresponding Artin-Ihara $L$-function.
Paper BOAT
We derive a formula for computing the size of lower Bruhat intervals for elements in the dominant cone of an affine Weyl group of type $A$. This enumeration problem is reduced to counting lattice points in certain polyhedra. Our main tool is a decomposition -- or tiling -- of each interval into smaller, combinatorially tractable pieces, which we call paper boats. We also conjecture a generalization of this formula to all affine Weyl groups, restricted to elements in the lowest two-sided Kazhdan-Lusztig cell, which contains almost all of the elements.
The Multiple Riordan Group and the Multiple Riordan Type Arrays
This is the first paper of a sequence papers on the multiple Riordan group and the multiple Riordon type arrays. We give a comprehensive discussion of the multiple Riordan arrays and characterize them by an $A$-sequence and multiple $Z$-sequences. The multiple Riordan group and some of its subgroups are defined. In addition, we give compressions of multiple Riordan arrays and their sequence characterizations. The total positivity of the compressions of multiple Riordan arrays is studied.
Spectra and eigenspaces of non-normal Cayley graphs
In this paper, we construct some non-normal Cayley graphs and explicitly provide their spectra and eigenspaces using representation theory of finite groups.
Some new Steiner designs $S(2,6,91)$
Published in Journal of Algebraic Combinatorics 62 (2025), article no. 38
• View Publication
• BIB
The Kramer-Mesner method for constructing designs with a prescribed automorphism group $G$ has proven effective many times. In the special case of Steiner designs, the task reduces to solving an exact cover problem, with the advantage that fast backtracking solvers like Donald Knuth's dancing links and dancing cells can be used. We find ways to encode the inherent symmetry of the problem space, induced by the action of the normalizer of $G$, into a single instance of the exact cover problem. This eliminates redundant computations of certain isomorphic search branches, while preventing the overhead caused by repeatedly restarting the solver.
Our improved approach is applied to the parameters $S(2,6,91)$. Previously, only four such Steiner designs were known, all of which had been constructed as cyclic designs over four decades ago. We find $23$ new designs, each with full automorphism group of order $84$.
A New Dominating Set Game on Graphs
We introduce a new two-player game on graphs, in which players alternate choosing vertices until the set of chosen vertices forms a dominating set. The last player to choose a vertex is the winner. The game fits into the scheme of several other known games on graphs. We characterize the paths and cycles for which the first player has the winning strategy. We also create tools for combining graphs in various ways (via graph powers, Cartesian products, graph joins, and other methods) for building a variety of graphs whose games are won by the second player, including cubes, multidimensional grids with an odd number of vertices, most multidimensional toroidal grids, various trees such as specialized caterpillars, the Petersen graph, and others. Finally, we extend the game to groups and show that the second player wins the game on abelian groups of even order with canonical generating set, among others.
Mullineux map: $d$-balanced partitions and $d$-runner matrices
Let $1<d<e$ be two coprime integers and let $m_e$ denote the Mullineux map, which for $e$ prime describes tensor products of the irreducible modules of symmetric groups with the sign in characteristic $e$. We prove that if $λ$ is an $e$-regular partition such that $d$ divides the arm length of any rim hook of $λ$ of size divisible by $e$, then $m_e(λ)'$ is a partition such that the arm length of any of its rim hooks of size divisible by $e$ is congruent to $-1$ modulo $d$. We introduce a new parameter for partitions called the $d$-runner matrix and show that if $λ$ is as above, then the $d$-runner matrices of $λ$ and $m_e(λ)'$ agree. This determines $m_e(λ)'$ uniquely. We approach the whole problem combinatorially and take advantage of a new Abacus Mullineux Algorithm introduced in this paper. We also establish equivalent descriptions of the above partitions which provide an alternative version of the main result about the Mullineux map, which becomes particularly strong when $d=2$.
The $h^*$-polynomials of type C hypersimplices
We study the Ehrhart theory of hypersimplices of type C, as introduced by Lam and Postnikov for general crystallographic root systems. The $h^*$-polynomials of classical hypersimplices are known to relate to various Eulerian statistics on the symmetric group. In this paper, we introduce a new statistic and partial order on signed permutations, which we use to derive explicit formulas for the $h^*$-polynomials of type C hypersimplices. Additionally, we explore connections with other statistics, including flag-excedances and circular descents, flag-descents, and Coxeter descents.
Coxeter systems, left inversion sets, and higher dimensional cubes
Let $ (W,S)$ be a Coxeter system. We investigate the equation $ w(Φ_{x}) = Φ_{y}$ where $ w,x,y\in W$ and $ Φ_{x}$, $Φ_{y}$ denote the left inversion sets of $ x$ and $ y$. We then define a commutative square diagram called a Coxeter square which describes the relationship between 4 non-identity elements of the Coxeter group $ W$ and the equation $ w(Φ_{x}) = Φ_{y}$. Coxeter squares were first introduced by Dyer, Wang in \cite{dyer2011groupoids2} and \cite{dyer2019characterization}. Coxeter squares can be \textquotedblleft glued" together by compatible edges to form commutative diagrams in the shape of higher dimensional cubes called Coxeter $n$-cubes, which were first defined by Dyer in Example 12.5 of \cite{dyer2011groupoids2}. When $ |W| < \infty$ and $ |S| = n$, we show that Coxeter $n$-cubes must exist within $ (W,S)$. We then prove results about Coxeter $n$-cubes in the $A_{n}$ Coxeter system. We establish an explicit bijection between Coxeter $n$-cubes (modulo orientation) in $ A_{n}$ and binary trees with $n+1$ leaves. We also show that an element $x$ of $ A_{n}$ appears as the edge of some Coxeter $n$-cube if and only if $ x$ is a bigrassmannian permutation.
On finite groups whose power graphs satisfy certain connectivity conditions
Consider a graph $Γ$. A set $ S $ of vertices in $Γ$ is called a {cyclic vertex cutset} of $Γ$ if $Γ- S$ is disconnected and has at least two components containing cycles. If $Γ$ has a cyclic vertex cutset, then it is said to be {cyclically separable}. The {cyclic vertex connectivity} is the minimum cardinality of a cyclic vertex cutset of $Γ$. The power graph $\mathcal{P}(G)$ of a group $G$ is the undirected simple graph with vertex set $G$ and two distinct vertices are adjacent if one of them is a positive power of the other. If $G$ is a cyclic, dihedral, or dicyclic group, we determine the order of $G$ such that $\mathcal{P}(G)$ is cyclically separable. Then we characterize the equality of vertex connectivity and cyclic vertex connectivity of $\mathcal{P}(G)$ in terms of the order of $G$.