group
10226 papers tagged with this keyword
Block-transitive designs with a poset of imprimitive partitions
We study block designs which admit an automorphism group that is transitive on blocks and points, and leaves invariant every partition in a given finite poset of partitions of the point set. The full stabiliser $G$ of all the partitions in the poset is a generalised wreath product. We use the theory of generalised wreath products to give necessary and sufficient conditions, in terms of the `array' of a point-subset $B$, for the set of $G$-images of $B$ to form the block-set of a $G$-block-transitive $2$-design. This generalises previous results for the special cases where the poset is a chain or an anti-chain. We also give explicit infinite families of examples of $2$-designs for each poset involving three proper partitions, and for the famous $N$-poset with four partitions. (Posets with two proper partitions have been treated previously.) This suggests the problem of finding explicit examples for other posets.
On Matrix Product Factorization of Cayley graphs
We study when the adjacency matrix of a Cayley graph factors as the product of two adjacency matrices of Cayley graphs. Let $G$ be a finite group and let $U\subseteq G\setminus \{e\}$ be symmetric. Writing $A(G;U)$ for the adjacency matrix of the Cayley graph of $G$ with respect to $U$, we prove that for symmetric subsets $S,T,U$ of $G\setminus \{e\}$, $A(G;U)=A(G;S)\,A(G;T)$ if and only if $U=ST$ and each $u\in U$ has a unique representation $u=st$, equivalently $\bigl(\sum_{s\in S}s\bigr)\bigl(\sum_{t\in T}t\bigr)=\sum_{u\in U}u$ in the group algebra. When $S,T,U$ are unions of conjugacy classes, this is characterized character-theoretically by $χ(U)=χ(S)χ(T)/χ(1)$ for all $χ\in\mathrm{Irr}(G)$. In addition, for abelian groups, we identify $A(G;S)A(G;T)$ with the $0\!-\!1$ convolution $\mathbf{1}_S*\mathbf{1}_T$, so factorability is equivalent to $(S,T)$ being a Sidon pair, i.e., $(S-S)\cap(T-T)=\{0\}$. For cyclic groups, we reformulate factorability via mask polynomials and reduce to prime-power components using the Chinese Remainder Theorem. We also analyze dihedral groups $D_{2n}$, presenting infinite families of factorable generating sets, and give explicit constructions of subsets whose Cayley graphs do and do not admit such factorizations.
Staircase Minimality and a Proof of Saxl's Conjecture
Saxl's conjecture (2012) asserts that for the staircase partition $ρ_k = (k, k-1, \ldots, 1)$, the tensor square of the corresponding irreducible representation of the symmetric group $S_{T_k}$ contains every irreducible representation as a constituent, where $T_k = k(k+1)/2$ is the $k$th triangular number. We prove this conjecture unconditionally.
Our proof introduces the Staircase Minimality Theorem: among all 2-regular partitions of $T_k$, the staircase $ρ_k$ is the unique dominance-minimal element. Combined with Ikenmeyer's theorem on dominance and Kronecker positivity for staircases, this establishes that every 2-regular partition appears in the tensor square. Modular saturation then follows using only the diagonal entries $d_{μμ} = 1$ of the decomposition matrix, and the Bessenrodt--Bowman--Sutton lifting theorem completes the proof.
We further prove that at triangular numbers, staircases are the only Kronecker-universal self-conjugate partitions, providing a complete characterization.
Abelian structure in approximate groups and Alon's conjecture on Ramsey Cayley graphs
A result of Pyber states that every finite group $G$ contains an abelian subgroup whose order is quasi-polynomially large in $\lvert G\rvert$. We prove a similar result for $K$-approximate subgroups of solvable groups under only modest restrictions on $K$. We show that, if $A$ is a finite $K$-approximate group contained in some solvable group, then some abelian group intersects $A^4$ in at least $\exp(Ω(\log^{1/6}\lvert A\rvert/\log 2K))$ elements. We also prove a similar result for approximate subgroups of finite groups with no large alternating subquotients. Along the way, we obtain polynomial (instead of quasi-polynomial) bounds for the same statement of approximate subgroups of linear groups.
We give two applications. Firstly, we consider the conjecture of Alon that every finite group $G$ admits a Cayley graph with clique number and independence number $O(\log\lvert G\rvert)$. Conlon, Fox, Pham, and Yepremyan have recently proven that, for almost all positive integers $N$, every abelian group of order $N$ satisfies Alon's conjecture. Extending their result, we verify Alon's conjecture for all (not necessarily abelian) groups of almost all orders. Secondly, we prove a "local" version of Roth's theorem in (many) non-abelian settings with quasi-polynomial bounds, using the recent breakthroughs of Kelley and Meka on Roth's theorem and of Jaber, Liu, Lovett, Ostuni, and Sawhney on the corners problem.
Uniform spectral gaps, non-abelian Littlewood-Offord and anti-concentration for random walks
We show that random walks on semisimple algebraic groups do not concentrate on proper algebraic subvarieties with uniform exponential rate of anti-concentration. This is achieved by proving a uniform spectral gap for quasi-regular representations of countable linear groups. The method makes key use of Diophantine heights and the Height Gap theorem. We also deduce a non-abelian version of the Littlewood--Offord inequalities and prove logarithmic bounds for escape from subvarieties. In a sequel to this paper, we will show how to transform this uniform gap into uniform expansion for Cayley graphs of finite simple groups of bounded rank $G(p)$ over almost all primes $p$.
Representation theory and cycle statistics for random walks on the symmetric group
We use representation theory of $S_n$ to analyze the mixing of permutation cycle type statistics $a_j(σ) = ${# of $j$-cycles of $σ$} for any fixed $j$ and $σ$ resulting from a random $i$-cycle walk on $S_n$. We also derive analogous results for the random star transposition walk. Our approach uses the method of moments; a key ingredient is a new formula for the coefficients in the irreducible character decomposition of the $S_n$-class function $(a_j)^r(σ)=\{(\text{# of $j$-cycles of $σ$})^r\}$ for any positive integers $r,j$ when $n\geq 2rj$.
On the Positivity of Dihedral Branching Coefficients of the Symmetric and Alternating Groups
We determine precisely when the branching coefficients arising from the restriction of irreducible representations of the symmetric group $S_n$ to the dihedral subgroup $D_n$ are nonzero, and we establish uniform linear lower bounds outside a finite exceptional family. As a consequence, we recover and substantially generalize known positivity results for cyclic subgroups $C_n \leq S_n$. Analogous results are obtained for the alternating group $A_n$.
Decomposition theorems for unmatchable pairs in groups and field extensions
A theory of matchings for finite subsets of an abelian group, introduced in connection with a conjecture of Wakeford on canonical forms for homogeneous polynomials, has since been extended to the setting of field extensions and to that of matroids. Earlier approaches have produced numerous criteria for matchability and unmatchability, but have offered little structural insight. In this paper, we develop parallel structure theorems which characterize unmatchable pairs in both abelian groups and field extensions. Our framework reveals analogous obstructions to matchability: nearly periodic decompositions of sets in the group setting correspond to decompositions of subspaces involving translates of a subfield in the linear setting. This perspective not only recovers previously known results through short proofs, but also leads to new matching criteria and guarantees the existence of nontrivial unmatchable pairs.
Tropical Invariants for Permutation Group Actions
We consider the action of a permutation group $G$ of order $k$ on the tropical polynomial semiring in $n$ variables. We prove that the sub-semiring of invariant polynomials is finitely generated if and only if $G$ is generated by $2$-cycles. There do exist finitely many separating invariants of degree at most $\max\{n,{n\choose 2}\}$. Separating tropical invariants can be used to construct bi-Lipschitz embeddings of the orbit space ${\mathbb R}^n/G$ into Euclidean space. We also show that the invariant polynomials of degree $\leq n p_1p_2\cdots p_k$ generate the semifield of invariant rational tropical functions, where $p_1,p_2,\dots,p_k$ are the first $k$ prime numbers. Most results are also true over arbitrary semirings that are additively idempotent and multiplicatively cancellative.
Fast computation of the first discrete homology group
We present a new algorithm for computing the first discrete homology group of a graph. By testing the algorithm on different data sets of random graphs, we find that it significantly outperforms other known algorithms.
Counting permutations by alternating runs via Hetyei-Reiner trees
The generating polynomial of permutations of size $n$, counted by the number of alternating runs, has a root at $-1$ of multiplicity $\lfloor (n-2)/2 \rfloor$ for all $n \ge 2$. This result can be derived by combining the David--Barton formula for Eulerian polynomials with the Foata--Schützenberger $γ$--decomposition. More recently, Bóna gave a group--action proof of this phenomenon.
In this paper, we present an alternative approach based on the Hetyei--Reiner action on binary trees, which leads to a new combinatorial interpretation of Bóna's quotient polynomial. Moreover, we extend our analysis to analogous results for permutations of types~$B$ and~$D$. As a by--product of our bijective framework, we also obtain combinatorial proofs of David--Barton--type identities for permutations of types~$A$ and~$B$.
Improved Bounds for the Freiman-Ruzsa Theorem
Let $A$ be a finite subset of an abelian group $G$, and suppose that $|A+A|\leq K|A|$. We show that for any $ε>0$, there exists a constant $C_ε$ such that $A$ can be covered by at most $\exp(C_ε\log(2K)^{1+ε})$ translates of a convex coset progression with dimension at most $C_ε\log(2K)^{1+ε}$ and size at most $\exp(C_ε\log(2K)^{1+ε})|A|$. This falls just short of the Polynomial Freiman-Ruzsa conjecture, which asserts that this statement is true for $ε=0$, and improves on results of Sanders and Konyagin, who showed that this statement is true for all $ε>2$. To prove this result, we use a mixture of entropy methods and Fourier analysis.
Inverse limits of various posets
It is known when we call a poset P, a $\mathcal{P}$-chain permutational poset, given a subset of permutations $\mathcal{P}$ of the symmetric group $S_{n}$. In this work, we use the same idea to study subsets of words of length $n$, that are not necessarily permutations, for example: especially when they are certain classes of restricted growth functions induced by set partitions in standard form over $[n]=\{1,2\cdots n\}$. Varying $n$ only, and also varying $n$ and $k$ (the number of blocks of the set partitions) simultaneously, we can show that those posets form a projective system of trees and lattices (after giving a lattice structure in a natural way). These poset structures can be extended over signed restricted growth functions for standard type B set partitions over $\langle n\rangle=\{-1,-2,\cdots n,0,1,2\cdots n\}$ as well. We investigate properties of the tree and lattice structures of these projective systems. In this scenario we further bring up some other posets like $\mathcal{P}$-Partition posets of snake graph of continued fractions, Ascent lattices on Dyck Paths, certain type of lattice induced by generalisec fibonnaci number and Stanley order, lattices induced by non-crossing set partitions.
Generalized Jacobians of graphs
We define a generalized Jacobian $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and a generalized Picard group $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ of a graph $\mathit{Gr}$ with respect to a modulus $ \mathfrak{m}=\sum_{i=1}^s m_iw_i$ with $w_i$ vertices of $\mathit{Gr}$ and $m_i\geq 1$. These groups occur as the component groups of Néron models of generalized Jacobians. We prove a universal mapping property for $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and show that an Abel-Jacobi map in this context induces an isomorphism from $\mathrm{P}_\frak{m}(\mathit{Gr})$ to $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$. We also reinterpret $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ in terms of sheaves on the geometric realization $\left| \mathit{Gr}\right|$ of $\mathit{Gr}$, making a connection with tropical geometry.
Diagonal Simplicial Tensor Modules and Algebraic $n$-Hypergroupoids
Let $A$ be a commutative ring, let $k\in\mathbb{Z}^+$, and let $\vec{s}=(n_1,\dots,n_k)\in(\mathbb{Z}^+)^k$ with $n=\min_a(n_a)-1$. We attach to $\vec{s}$ a diagonal simplicial tensor module $X_\bullet(\vec{s};A)$ whose $p$-simplices are functions on a cosimplicial index set $I_p(\vec{s})\subseteq \mathbb{N}^k$. This extends Quillen's diagonal on double semi-simplicial groups: $X_\bullet(\vec{s};A)$ is obtained by restricting a $k$-fold simplicial $A$-module along the diagonal $p\mapsto(p,\ldots,p)$.
Using a ``missing indices'' description of face kernels, we compute the horn kernels $R_{p,j}(X)$ and show that $R_{p,j}(X)\neq 0$ if and only if $k\ge p$, independently of $j$. Consequently, $X_\bullet(\vec{s};A)$ is an algebraic $n$-hypergroupoid in the sense of Duskin (1979) and Glenn (1982) if and only if $k\le n$, and horn fillers in dimension $n$ are non-unique if and only if $k\ge n$; in particular it is strict precisely when $k=n$. A Horn Non-Degeneracy Lemma shows that, for $p\ge 1$, $R_{p,j}(X)\cap D_p(X)=\{0\}$ and yields a decomposition $X_p=R_{p,j}(X)\oplus D_p(X)$. An explicit shift-and-truncate chain homotopy, equivariant under $\operatorname{Stab}(\vec{s})$ and compatible with a natural filtration, contracts $X_\bullet(\vec{s};A)$ and forces the associated spectral sequence to collapse at $E_1$.
When $A$ is an infinite field $K$, we study simplicial submodules generated by a single tensor via kernel sequences and a moduli map to a product of Grassmannians. The moduli map image is an irreducible and unirational constructible subset of a determinantal incidence variety.
Small palindromic lengths in free groups and word equations with antimorphisms
The palindromic length of a finite word $w$ is defined as the minimal number of palindromes such that their product is $w$. Clearly, this function may take different values depending on if we consider $w$ as an element a free semigroup or of a free group: for example, in the free semigroup, the palindromic length of $abca$ is 4 (here every letter is a palindrome), and in the free group, it is 3 since $abca=(aba)(a^{-1}a^{-1})(aca)$.
In free semigroups, the palindromic length can clearly be computed, and there are fast algorithms for that. In free groups, the question is trickier. In this paper, we characterize words in the free group whose palindromic length is 2 and 3.
Billey-Postnikov posets, rationally smooth Schubert varieties, and Poincaré duality
Billey-Postnikov (BP) decompositions govern when Schubert varieties $X(w)$ decompose as bundles of smaller Schubert varieties. We further develop the theory of BP decompositions and show that, in finite type, they can be recognized by pattern conditions and are indexed by the order ideals of a poset $\mathsf{bp}(w)$ that we introduce; we conjecture that this holds in any Coxeter group. We then apply BP decompositions to show that, when $X(w)$ is rationally smooth and $W$ simply laced, the Schubert structure constants $c_{uv}^w$ satisfy a triangularity property, yielding a canonical involution on the Schubert cells of $X(w)$ respecting Poincaré duality. We also classify the rationally smooth Bruhat intervals in finite type (other than $E$) which admit generalized Lehmer codes, answering questions and conjectures of Billey-Fan-Losonczy, Bolognini-Sentinelli, and Bishop-Milićević-Thomas. Finally, we show that rationally smooth Schubert varieties in infinite type need not have Grassmannian BP decompositions, disproving conjectures of Richmond-Slofstra and Oh-Richmond.
Unitarity of highest weight Harish-Chandra modules and smoothness of Schubert varieties
Let $G_{\mathbb{R}}$ be a Lie group of Hermitian type, and $L(λ)$ a highest weight Harish-Chandra module of $G_{\mathbb{R}}$ with highest weight $λ$. In this article, we exhibit a bijection between the set of connected Dynkin subdiagrams containing the noncompact simple root and the set of unitary highest weight modules $L(-wρ-ρ)$, where $ρ$ is half the sum of positive roots. We find that $L(-wρ-ρ)$ is unitary if and only if the Schubert variety $X(w)$ is smooth. We also give the cardinality of the set of unitary highest weight modules $L(-wρ-ρ)$ for each Kazhdan-Lusztig right cell.
Raimi's theorem for manifolds with circle symmetry
Raimi's classical theorem establishes a partition of the natural numbers with a remarkable unavoidability property: for every finite coloring of $\mathbb{N}$, there is a color class whose translate meets both parts of the partition in infinitely many points. Recently, Kang, Koh, and Tran have extended this phenomenon to the circle group, proving that there exists a measurable partition of the circle such that every finite measurable cover admits a rotation whose image meets each part of the partition in positive measure. This paper shows that this phenomenon extends beyond compact abelian groups to a wide class of non-group geometric surfaces that still exhibit \textit{a hidden one-dimensional symmetry}. Specifically, we establish analogs of Raimi's theorem for three families of surfaces (with their natural surface measures): the unit sphere $S^{n-1} \subset \mathbb{R}^n$, rotational power surfaces (such as cones and paraboloids), and circular cylindrical surfaces. The common feature is that each of these surfaces carries a natural measure-preserving action of the circle group by rotation in a fixed plane and admits a measurable trivialization as a product $C \times Y$. This circle-bundle structure allows the measurable Raimi partition on the base circle to be lifted to an unavoidable partition on the manifold. Our approach is unified through a general circle-bundle theorem, which reduces all three geometric cases to verifying suitable equivariance and product disintegration properties of the surface measure.
Bruhat Preclosure
In 2011, Dyer published a series of conjectures on the weak order of Coxeter groups. One of these conjectures stated that the inversion set of the join of two elements in a Coxeter group is equal to some "closure" of the union of their inversion sets. In this paper we show that this "closure" is in fact a preclosure, which we call the Bruhat preclosure, but is a closure whenever our underlying set is an inversion set. By performing the Bruhat preclosure an infinite number of times we obtain a closure which we call the infinite Bruhat closure. We show in a uniform way that Dyer's conjecture is true when using the infinite Bruhat closure (instead of Bruhat preclosure) if the join exists between two elements. Finally, we end by showing in type A, the Bruhat preclosure is a closure thus giving a (second) proof that Dyer's conjecture is true in type A.