group
10226 papers tagged with this keyword
R-harmonious groups
A group is R-harmonious if there exists a permutation $g_1,g_2,\ldots, g_{n-1}$ of the non-identity elements of $G$ such that the consecutive products $g_1g_2$, $g_2g_3$, $\ldots, g_{n-1}g_1$ also form a permutation of the non-identity elements, where $n=|G|$. We investigate R-harmonious groups via cyclic and split extensions. Among our results, we prove that every group of odd-order not divisible by 3 is R-harmonious.
Left regular bands with symmetry
The representation theory of left regular band semigroup algebras is well-studied and known to have close connections with combinatorial topology, as established in the work of Margolis--Saliola--Steinberg ('15, '21). In this paper, we investigate the representation theory of the invariant subalgebras of left regular band semigroup algebras carrying the action of a finite group through the lens of group-equivariant combinatorial topology.
We characterize when the invariant subalgebra is semisimple or commutative and examine the equivariant structure of the Peirce components of the semigroup algebra. For CW left regular bands, we interpret these Peirce components in terms of the equivariant topology of intervals in the support semilattice, yielding the Cartan invariants of the invariant subalgebras of left regular bands associated to CAT(0)-cube complexes. We also give a topological formula for the Peirce components for left regular bands with hereditary algebras. Finally, in specializing to left regular bands associated to geometric lattices, we explore generalizations of the Desarménién--Wachs derangement representation and their connections to Markov chains.
On Borel orbits of quadratic forms in characteristic 2
We consider the spherical variety of quadratic forms over a quadratically closed field of characteristic 2, and determine its orbits for the action of the Borel subgroup of upper triangular matrices. We exhibit a connection between these orbits and the Catalan triangle numbers. In addition, we describe explicitly a natural Weyl group action on the set of Borel orbit double covers
Quantitative indistinguishability and sparse and dense clusters in factor of IID percolations
Chifan-Ioana (2010) implies that, for any factor of IID percolation on any nonamenable Cayley graph $G$, there is a countable set of (strong) indistinguishability classes for non-hyperfinite clusters. We introduce quantitative strengthenings, called (qI) and (qSI): for $η$-non-hyperfinite clusters, there are at most $M(G,η)<\infty$ (strong) indistinguishability classes, for any FIID percolation.
We first show that (qI) and (qSI) for any $G$ are equivalent to the ``sparse implies thin'' property (SiT): any FIID percolation with $η$-non-hyperfinite clusters has density at least $c(G,η)>0$. Also, (SiT) is independent of the finite generating set of a group. We prove, using entropy inequalities, that (SiT) holds for free groups, even for weak FIIDs. On the other hand, recent work of Jardón-Sánchez, Mellick, Poulin, and Wróbel implies that (SiT) fails for weak FIIDs on non-exact, i.e., not property (A) groups.
Furthermore, (SiT) implies that the Bernoulli graphing over any non-hyperfinite FIID cluster is strongly ergodic, and that indistinguishability for non-hyperfinite FIID clusters is equivalent to strong indistinguishability. These results follow from the work of Chifan-Ioana for every nonamenable Cayley graph, but with non-probabilistic proofs.
We also prove, again using entropy inequalities, this time for all nonamenable Cayley graphs, that any FIID percolation with high enough expected degree must have a density close to 1, and there must be a single indistinguishability class of such clusters. On Kazhdan groups, there must be a single such cluster.
Our results have finite counterparts: in any large girth $d$-regular graph sequence, any FIID subgraph of average degree at least $2+δ$ must have density at least $c(d,δ)>0$. In the uniform random d-regular graph $G_{n,d}$, this holds for every subgraph of average degree at least $2+δ$.
A census of Cayley graphs
Given positive integers $k$ and $n$, we present methods to construct all groups of order at most $n$ that contain a Cayley set of size $k$, and to enumerate the Cayley sets of order $k$ in a given group, up to the action of the automorphism group. We use these methods to generate complete lists of pairwise nonisomorphic 3-valent Cayley graphs with at most 5000 vertices and 4-valent Cayley graphs with at most 1025 vertices.
On the Word-Representability of 5-Regular Circulant Graphs
A graph $G = (V, E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that, for any two distinct vertices $x, y \in V$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. Two letters $x$ and $y$ are said to alternate in $w$ if, after removing all other letters from $w$, the resulting word is of the form $xyxy\dots$ or $yxyx\dots$ (of even or odd length). For a given set $R = \{r_1, r_2, \dots, r_k\}$ of jump elements, an undirected circulant graph $C_n(R)$ on $n$ vertices has vertex set $\{0, 1, \dots, n-1\}$ and edge set $ E = \left\{ \{i,j\} \;\middle|\; |i - j| \bmod n \in \{r_1, r_2, \dots, r_k\} \right\}, $ where $0 < r_1 < r_2 < \dots < r_k < \frac{n}{2}$. Recently, Kitaev and Pyatkin proved that every 4-regular circulant graph is word-representable. Srinivasan and Hariharasubramanian further investigated circulant graphs and obtained bounds on the representation number for $k$-regular circulant graphs with $2 \le k \le 4$. In addition to these positive results, their work also presents examples of non-word-representable circulant graphs. In this work, we study word-representability and the representation number of 5-regular circulant graphs via techniques from elementary number theory and group theory, as well as graph coloring, graph factorization and morphisms.
A footnote to the KPT theorem in structural Ramsey theory
The celebrated theorem of Kechris, Pestov and Todorčević connecting structural Ramsey theory with topological dynamics has as a consequence that the Fraïssé limit of a Ramsey class of non-trivial finite relational structures has a reduct which is a total order; this implies an earlier result of Nešetřil, according to which the structures in such a class are rigid (have trivial automorphism groups). In this paper, we give an alternative proof of this fact. If $\mathcal{C}$ is a Fraïssé class of rigid structures over a finite relational language, then either the Fraïssé limit of $\mathcal{C}$ has a reduct which is a total order, or there is an explicit failure of the Ramsey property involving a pair $(A,B)$ of structures in $\mathcal{C}$ with $|A|=2$.
The Polynomial Freiman-Ruzsa (Marton) Conjecture in Integers and Finite Fields via Spectral Stability
We settle the Polynomial Freiman--Ruzsa (PFR/Marton) conjecture for the integers and for cyclic groups. More precisely, we show that if $A$ is a finite subset of $\mathbb{Z}$ or $\mathbb{Z}/N\mathbb{Z}$ with $|A+A| \le K|A|$, then there is a subgroup $H$ of index at most $K^{O(1)}$ such that $A$ is contained in at most $K^{O(1)}$ cosets of $H$. The proof is based on a new spectral stability dichotomy for the $L^4$ Fourier mass of $\mathbf{1}_A$: either this mass is concentrated on a span of size $K^{O(1)}$, or, after passing to a quotient of codimension $K^{O(1)}$, the doubling constant of the image of $A$ decreases by a definite power of $K$. Using Freiman modeling we transfer this dichotomy to cyclic groups, obtain polynomial Bogolyubov-type bounds, and deduce Marton's conjecture in $\mathbb{Z}$ and $\mathbb{Z}/N\mathbb{Z}$. As a corollary, we also recover and extend the finite-field formulation of Marton's conjecture: in odd characteristic we obtain a direct spectral proof, and together with the characteristic-2 result of Green, Gowers, Manners, and Tao this yields a complete resolution of the conjecture for all finite fields. For context beyond finite fields, we recall their theorem for abelian groups of bounded exponent.
Dimension statistics of representations of finite groups
This paper discusses what the dimension data of irreducible representations of a finite group looks like in some specific cases, including unipotent and reductive groups over finite fields.
The essence of our investigation is whether the dimension data of irreducible representations of a finite group can be ``geometerized'', to become equal to the cardinality of certain orbit spaces.
The first part of this paper deals with nilpotent and reductive groups over finite fields, whereas the second part deals with the symmetric group $S_n$. The main conclusion that we want to bring out to contrast these two cases is that for reductive groups over finite fields, the dimension data is concentrated (in a statistical sense) in a neighborhood of the maximal dimension, whereas for the symmetric group, it is spread out.
On Matsushita $π_1^2$ discrete fundamental groups
The Matsushita fundamental groups of a graph $X$, denoted $π_1^r(X)$, are certain discrete versions of the fundamental group for topological spaces. For $r=2$, these groups have a nice combinatorial description, due to Sankar. In this paper we prove two results about $π_1^2$. First, we prove a Seifert-van Kampen-type theorem. Similar results have previously been obtained by Barcelo, et al. (and strengthened by Kapulkin and Mavinkurve) for a different notion of discrete fundamental group. Second, we prove that an arbitrary group $G$ can be realized as $π_1^2(X)$ for some graph $X$. Our construction works equally well for the aforementioned alternate discrete fundamental group $A_1(X)$, and our second result thus also provides an entirely different method of proof for a theorem of Kapulkin and Mavinkurve.
Signed Mahonian Polynomials on Colored Derangements
The polynomial $\sum_{π\in W}q^{maj(π)}$ of major index over a classical Weyl group $W$ with a generating set $S$ is called the Mahonian polynomial over $W$, and also the polynomial $\sum_{π\in W}(-1)^{l(π)}q^{maj(π)}$ of major index together with sign over the group $W$ is called the signed Mahonian polynomial over the group $W$, where $l$ is the length function on $W$ defined in terms of the generating set $S$. We concern with the signed Mahonian polynomial $$\sum_{π\in D_{n}^{(c)}}(-1)^{L(π)}q^{fmaj(π)}$$ on the set $D_{n}^{(c)}$ of colored derangements in the group $G_{c,n}$ of colored permutations, where $L$ denotes the length function defined by means of a complex root system described by Bremke and Malle in $G_{c,n}$ and $fmaj$ defined by Adin and Roichman in $G_{c,n}$ represents the \textit{flag-major index}, which is a Mahonian statistic. As an application of the formula for signed Mahonian polynomials on the set of colored derangements, we will derive a formula to count colored derangements of even length in $G_{c,n}$ when $c$ is an even number. Finally, we conclude by providing a formula for the difference between the number of derangements of even and odd lengths in $G_{c,n}$ for every positive integer $c$, regardless of whether c is odd or even.
Atomic decomposition for an affine Weyl group of type $G_2$
We show that the elements of the Kazhdan--Lusztig basis of the spherical Hecke algebra of type $G_2$ have an atomic decomposition. As a by-product, we obtain a new algorithm to compute generalized Kostka--Foulkes polynomials in type $G_2$.
Counting Lattice Points in Generalized Permutohedra From A to B
We derive a formula for the number of lattice points in type B generalized permutohedra, providing a concise alternative to the formula obtained recently by Eur, Fink, Larson, and Spink as a result from a study of delta-matroids. Our approach builds upon the existing framework and techniques introduced by Postnikov in his work on type A generalized permutohedra, a family of polytopes interconnected with many mathematical concepts such as matroids and Weyl groups. In particular, we express the number of lattice points in type B generalized permutohedra in terms of Postnikov's notion of G-draconian sequences, from which their Ehrhart polynomials and volume formula follow as consequences.
Even torsions in the homology group of the Milnor fiber boundary of hyperplane arrangements in $\mathbb{C}^3$
We study the homology group of the Milnor fiber boundary of a hyperplane arrangement in $\mathbb{C}^{3}$. By the work of Némethi--Szilárd, the homeomorphism type of the Milnor fiber boundary is combinatorially determined, and an explicit formula for the first Betti number is known. However, the torsion part of the first homology group is poorly understood. In this paper, under some conditions, we prove that the number of even-order torsion summands of the first homology group is greater than or equal to the Euler characteristic of the projectivized complement.
Degree 2 vertices in minimal prime graph complements
Minimal prime graphs are connected graphs on at least two vertices whose complements satisfy the following conditions: triangle-freeness, 3-colorability, and edge-maximality with respect to the latter two properties. These graphs are prime graphs (or Gruenberg-Kegel graphs) of finite solvable groups with the maximum number of Frobenius actions among their Sylow subgroups, and as such minimal prime graph complements have been shown to be highly structured, including, for instance, the presence of induced 5-cycles. It is also known that the minimum degree of minimal prime graph complements is 2. In this note, we show that the existence of a degree 2 vertex in a minimal prime graph complement determines its whole structure: it is simply a 5-cycle with three vertices, exactly two of which are adjacent to each other, being duplicated finitely often. In particular, such graphs belong to a class of graphs known as reseminant.
Raimi's theorem for the $n$-dimensional torus
We extend Raimi's classical partition theorem to the continuous setting of the circle and $n$-dimensional torus. Building on recent work of Hegyvári, Pach, and Pham in finite groups, we prove that there exist measurable partitions of the $n$-dimensional torus $\mathbb{T}^n$ with the property that for any finite measurable cover, some translated part of the cover has positive measure intersection with every partition element. Our proof adapts combinatorial arguments from the finite setting using measure-theoretic techniques and slicing arguments in product spaces.
The spherical growth series of amalgamated free products of infinite cyclic groups
Let $n$ be an integer greater than $1$. We consider a group presented as $G(p_1,p_2,\dots,p_n)=\langle x_1,x_2,\dots, x_n \mid x_1^{p_1} =x_2^{p_2}=\cdots =x_n^{p_n} \rangle$, with integers $p_1,p_2,\dots,p_n$ satisfying $2 \leq p_1 \leq p_2 \leq \cdots \leq p_n$. This group is an amalgamated free product of infinite cyclic groups and is geometrically realized as the fundamental group of a Seifert fiber space over the 2-dimensional disk with $n$ cone points whose associated cone angles are $\frac{2π}{p_1},\frac{2π}{p_2},\dots,\frac{2π}{p_n}$. In this paper, we present a formula for the spherical growth series of the group $G(p_1,\dots,p_n)$ with respect to the generating set $\{x_1,\dots,x_n,x_1^{-1},\dots,x_n^{-1}\}$. We show that from this formula, a rational function expression for the spherical growth series of $G(p_1,\dots,p_n)$ can be derived in concrete form for given $p_1,\dots,p_n$. In fact, we wrote an elementary computer program based on this formula that yields an explicit form of a single rational fraction expression for the spherical growth series of $G(p_1,\dots,p_n)$. We present such expressions for several tuples $(p_1,\dots,p_n)$. In 1999, C. P. Gill obtained a similar formula for the same group in the case $n=2$ and showed that there exists a rational function expression for the spherical growth series of $G(p_1,\dots,p_n)$ for $n \geq 2$.
One variable equations over the lamplighter group
We prove that one variable equations in the lamplighter group $\MZ_2\wr \MZ$ are decidable and describe an algorithm for solving such equations. The algorithm has super-exponential time complexity in the worst case. We also show that, for most equations, decidability can be determined in nearly quadratic time; that is, the problem admits a nearly quadratic-time solution in the generic case.
Equivariant homology of the symplectic affine Grassmannian and dual affine Schur $P$-functions
We study the torus-equivariant homology $H_*^T(\mathrm{Gr}_G)$ of the affine Grassmannian $\mathrm{Gr}_G$, where $G=\mathrm{Sp}_{2n}(\mathbb{C})$ is the symplectic group. This homology admits a natural ring structure and a Schubert basis, giving rise to a well-defined Schubert calculus. We realize $H_*^T(\mathrm{Gr}_G)$ in terms of symmetric functions. Our first main result introduces a new family of symmetric functions, called the \emph{dual affine Schur $P$-functions}, which represent the Schubert classes. These functions are defined through the action of the affine nil-Hecke algebra, and specialize, in the stable limit as $n\to \infty$, to the dual factorial $P$-functions of Nakagawa and Naruse. Our second main result gives a precise comparison between this symmetric function model and the geometric construction of $H_*^T (\mathrm{Gr}_G)$ due to Ginzburg and Peterson, which identifies it with a coordinate ring of a centralizer family in the Langlands dual group.
Designs on the Tautological bundle
In this paper, we introduce the framework of a generalized design, which represents any linear operator as a finite sum of local linear maps attached to finitely many points, thereby abstracting the core of design theory without employing integration. We then construct such a design on the space of sections of the tautological bundle over the complex projective line. By using the irreducible decomposition of this space as an SU(2)-representation, we show that the projection onto its lowest-dimensional summand can be realized as a finite sum of these local maps. Our construction relies on invariant theory for the binary icosahedral group and an analysis of fixed-point subspaces in symmetric tensor representations.