group
10399 papers tagged with this keyword
On pyramidal groups whose number of involutions is a prime power
A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, with $p \neq 7$, then every $m$-pyramidal group is solvable if and only if either $m=9$ or $k$ is odd. The primitive permutation groups play an important role in the proof. We also determine the orders of the $m$-pyramidal groups when $m$ is a prime number.
Equivariant Ehrhart theory, commutative algebra and invariant triangulations of polytopes
Ehrhart theory is the study of the enumeration of lattice points in lattice polytopes. Equivariant Ehrhart theory is a generalization of Ehrhart theory that takes into account the action of a finite group acting via affine transformations on the underlying lattice and preserving the polytope. We further develop equivariant Ehrhart theory in part by establishing connections with commutative algebra as well as the question of when there exists an invariant lattice triangulation of a lattice polytope.
Representation theoretic interpretation of the Springer correspondence for dihedral groups
The Lusztig-Shoji algorithm is generalized to a complex reflection group $W$ and give us a version of the Springer correspondence of $W$. We show that the combinatorics of generalized Springer correspondences of dihedral groups of order $2n$ exhibit the Brauer-Humphreys type reciprocity as in the case of Weyl groups for odd $n$, and these constitute a major portion of the stratification of the natural module categories attached to them.
Signed Real Hurwitz numbers
In this paper, we enumerate with signs the holomorphic maps between Real Riemann surfaces. We relate the signs and the numbers obtained to the Real Gromov-Witten theory of the target. For a finite group $G$ with a non-trivial morphism to $\{ \pm 1 \}$, we present a signed count of principal $G$-bundles yielding a Klein Topological Quantum Field Theory.
Low-lying geodesics on the modular surface and necklaces
Published
• View Publication
• BIB
The m-thick part of the modular surface X is the smallest compact subsurface of X with horocycle boundary containing all the closed geodesics which wind around the cusp at most m times. The m-thick parts form a compact exhaustion of X. We are interested in the geodesics that lie in the m-thick part (so called m low-lying geodesics). We produce a complete asymptotic expansion for the number of m low-lying geodesics of length equal to 2n in the modular surface. In particular, we obtain the asymptotic growth rate of the m low-lying geodesics in terms of their word length using the natural generators of the modular group. After establishing a correspondence between this counting problem and the problem of counting necklaces with n beads, we perform a careful singularity analysis on the associated generating function of the sequence.
Random generation of group elements using combinatorial group theory and automata theory, along with a hardware example
In this paper, we introduce a novel approach for generating random elements of a finite group given a set of generators of that. Our method draws upon combinatorial group theory and automata theory to achieve this objective. Furthermore, we explore the application of this method in generating random elements of a particularly significant group, namely the symmetric group (or group of permutations on a set). Through rigorous analysis, we demonstrate that our proposed method requires fewer average swaps to generate permutations compared to existing approaches. However, recognizing the need for practical applications, we propose a hardware-based implementation based on our theoretical approach, and provide a comprehensive comparison with previous methods. Our evaluation reveals that our method outperforms existing approaches in certain scenarios. Although our primary proposed method only aims to speed up the shuffling and does not decrease its time complexity, we also extend our method to improve the time complexity.
Well-covered Unitary Cayley Graphs of Matrix Rings over Finite Fields and Applications
Published in Finite fields and their applications, Vol. 96 (2024), article no. 102428
• View Publication
• BIB
Suppose that $F$ is a finite field and $R=M_n(F)$ is the ring of $n$-square matrices over $F$. Here we characterize when the Cayley graph of the additive group of $R$ with respect to the set of invertible elements of $R$, called the unitary Cayley graph of $R$, is well-covered. Then we apply this to characterize all finite rings with identity whose unitary Cayley graph is well-covered or Cohen-Macaulay.
On the inverse theorem for Gowers norms in abelian groups of bounded torsion
In recent work, Jamneshan, Shalom and Tao proved an inverse theorem for the Gowers $U^{k+1}$-norm on finite abelian groups of fixed torsion $m$, where the final correlating harmonic is a polynomial phase function of degree at most $C(k,m)$. They also posed a related central question, namely, whether the bound $C$ can be reduced to the optimal value $k$ for every $m$. We make progress on this question using nilspace theory. First we connect the question to the study of finite nilspaces whose structure groups have torsion $m$. Then we prove one of the main results of this paper: a primary decomposition theorem for finite nilspaces, extending the Sylow decomposition in group theory. Thus we give an analogue for nilspaces of an ergodic-theoretic Sylow decomposition in the aforementioned work of Jamneshan-Shalom-Tao. We deduce various consequences which illustrate the following general idea: the primary decomposition enables a reduction of higher-order Fourier analysis in the $m$-torsion setting to the case of abelian $p$-groups. These consequences include a positive answer to the question of Jamneshan-Shalom-Tao when $m$ is squarefree, and also a new relation between uniformity norms and certain generalized cut norms on products of abelian groups of coprime orders. Another main result in this paper is a positive answer to the above central question for the $U^3$-norm, proving that $C(2,m)=2$ for all $m$. Finally, we give a partial answer to the question for all $k$ and $m$, proving an inverse theorem involving extensions of polynomial phase functions which were introduced by the third-named author, known as projected phase polynomials of degree $k$. A notable aspect is that this inverse theorem implies that of Jamneshan-Shalom-Tao, while involving projected phase polynomials of degree $k$, which are genuine obstructions to having small $U^{k+1}$-norm.
Flag transitive geometries with trialities and no dualities coming from Suzuki groups
Published
• View Publication
• BIB
Recently, Leemans and Stokes constructed an infinite family of incidence geometries admitting trialities but no dualities from the groups PSL(2,q) (where $q=p^{3n}$ with $p$ a prime and $n>0$ a positive integer). Unfortunately these geometries are not flag transitive. In this paper, we construct the first infinite family of incidence geometries of rank three that are flag transitive and have trialities but no dualities. These geometries are constructed using chamber systems of Suzuki groups Sz(q) (where $q=2^{2e+1}$ with $e$ a positive integer and $2e+1$ is divisible by 3) and the trialities come from field automorphisms. We also construct an infinite family of regular hypermaps with automorphism group Sz(q) that admit trialities but no dualities.
Sparse graph counting and Kelley-Meka bounds for binary systems
Published
• View Publication
• BIB
In a recent breakthrough, Kelley and Meka (FOCS 2023) obtained a strong upper bound on the density of sets of integers without nontrivial three-term arithmetic progressions. In this work, we extend their result, establishing similar bounds for all linear patterns defined by binary systems of linear forms, where "binary" indicates that every linear form depends on exactly two variables. Prior to our work, no strong bounds were known for such systems even in the finite field model setting. A key ingredient in our proof is a graph counting lemma. The classical graph counting lemma, developed by Thomason (Random Graphs 1985) and Chung, Graham, and Wilson (Combinatorica 1989), is a fundamental tool in combinatorics. For a fixed graph $H$, it states that the number of copies of $H$ in a pseudorandom graph $G$ is similar to the number of copies of $H$ in a purely random graph with the same edge density as $G$. However, this lemma is only non-trivial when $G$ is a dense graph. In this work, we prove a graph counting lemma that is also effective when $G$ is sparse. Moreover, our lemma is well-suited for density increment arguments in additive number theory. As an immediate application, we obtain a strong bound for the Turán problem in abelian Cayley sum graphs: let $Γ$ be a finite abelian group with odd order. If a Cayley sum graph on $Γ$ does not contain any $r$-clique as a subgraph, it must have at most $2^{-Ω_r(\log^{1/16}|Γ|)}\cdot |Γ|^2$ edges. These results hinge on the technology developed by Kelley and Meka and the follow-up work by Kelley, Lovett, and Meka (STOC 2024).
Dihedral groups of order $2pq$ or $2pqr$ are DCI
A group has the (D)CI ((Directed) Cayley Isomorphism) property, or more commonly is a (D)CI group, if any two Cayley (di)graphs on the group are isomorphic via a group automorphism. That is, $G$ is a (D)CI group if whenever $\rm{Cay}(G,S)\cong \rm{Cay}(G,T)$, there is some $δ\in \rm{Aut}(G)$ such that $S^δ=T$. (For the CI property, we only require this to be true if $S$ and $T$ are closed under inversion.)
Suppose $p,q,r$ are distinct odd primes. We show that $D_{2pqr}$ is a DCI group. We present this result in the more general context of dihedral groups of squarefree order; some of our results apply to any such group, and may be useful in future toward showing that all dihedral groups of squarefree order are DCI groups.
Parahoric Lie algebras and parasymmetric Macdonald polynomials
The main goal of this paper is to categorify the specialized parasymmetric (intermediate) Macdonald polynomials. These polynomials depend on a parabolic subalgebra of a simple Lie algebra and generalize the symmetric and nonsymmetric Macdonald polynomials.
To achieve this we introduce cyclic modules of the parahoric subalgebras of the affine Kac-Moody Lie algebras such that their characters coincide with the specializations of the parasymmetric polynomials at zero and infinity. These cyclic modules are proved to coincide with standard and costandard objects in certain categories of representations of parahoric algebras. We show that the categories in question are stratified, i.e. they are graded highest weight categories. As a consequence, we derive an analog of the Peter-Weyl theorem describing the bi-module of functions on the parahoric and parabolic Lie groups via the mentioned above standard and costandard modules.
All $3$-transitive groups satisfy the strict-EKR property
Published
• View Publication
• BIB
A subset $S$ of a transitive permutation group $G \leq \mathrm{Sym}(n)$ is said to be an intersecting set if, for every $g_{1},g_{2}\in S$, there is an $i \in [n]$ such that $g_{1}(i)=g_{2}(i)$. The stabilizer of a point in $[n]$ and its cosets are intersecting sets of size $|G|/n$. Such families are referred to as canonical intersecting sets. A result by Meagher, Spiga, and Tiep states that if $G$ is a $2$-transitive group, then $|G|/n$ is the size of an intersecting set of maximum size in $G$. In some $2$-transitive groups (for instance $\mathrm{Sym}(n)$, $\mathrm{Alt}(n)$), every intersecting set of maximum possible size is canonical. A permutation group, in which every intersecting family of maximum possible size is canonical, is said to satisfy the strict-EKR property. In this article, we investigate the structure of intersecting sets in $3$-transitive groups. A conjecture by Meagher and Spiga states that all $3$-transitive groups satisfy the strict-EKR property. Meagher and Spiga showed that this is true for the $3$-transitive group $\mathrm{PGL}(2,q)$. Using the classification of $3$-transitive groups and some results in literature, the conjecture reduces to showing that the $3$-transitive group $\mathrm{AGL}(n,2)$ satisfies the strict-EKR property. We show that $\mathrm{AGL}(n,2)$ satisfies the strict-EKR property and as a consequence, we prove Meagher and Spiga's conjecture. We also prove a stronger result for $\mathrm{AGL}(n,2)$ by showing that "large" intersecting sets in $\mathrm{AGL}(n,2)$ must be a subset of a canonical intersecting set. This phenomenon is called stability.
Toric Schubert varieties and directed Dynkin diagrams
Published
• View Publication
• BIB
A flag variety is a homogenous variety $G/B$ where $G$ is a simple algebraic group over the complex numbers and $B$ is a Boel subgroup of $G$. A Schubert variety $X_w$ is a subvariety of $G/B$ indexed by an element $w$ in the Weyl group of $G$. It is called toric if it is a toric variety with respect to the maximal torus of $G$ in $B$. In this paper, we associate an edge-labeled digraph $\mathcal{G}_w$ with a toric Schubert variety $X_w$ and classify toric Schubert varieties up to isomorphism. We also give a simple criterion of when a toric Schubert variety $X_w$ is (weak) Fano in terms of $\mathcal{G}_w$. Finally, we discuss whether toric Schubert varieties can be distinguished by their integral cohomology rings up to isomorphism and show that this is the case when $G$ is of simply-laced type.
On the Congruency-Constrained Matroid Base
Published
• View Publication
• BIB
Consider a matroid where all elements are labeled with an element in $\mathbb{Z}$. We are interested in finding a base where the sum of the labels is congruent to $g \pmod m$. We show that this problem can be solved in $\tilde{O}(2^{4m} n r^{5/6})$ time for a matroid with $n$ elements and rank $r$, when $m$ is either the product of two primes or a prime power. The algorithm can be generalized to all moduli and, in fact, to all abelian groups if a classic additive combinatorics conjecture by Schrijver and Seymour holds true. We also discuss the optimization version of the problem.
Asymptotics for $d$-fold partition diamonds and related infinite products
Published
• View Publication
• BIB
We prove an asymptotic formula for the number of $d$-fold partition diamonds of $n$ and their Schmidt-type counterparts. In order to do so, we study the asymptotic behavior of certain infinite products. We also remark on interesting potential connections with mathematical physics and Bloch groups.
New examples and partial classification of 15-vertex triangulations of the quaternionic projective plane
Published in Trudy Mat. Inst. Steklova, 326 (2024), 58-100 (in Russian); English transl. in: Proc. Steklov Inst. Math., 326 (2024), 52-89
• View Publication
• BIB
Brehm and Kühnel (1992) constructed three 15-vertex combinatorial 8-manifolds `like the quaternionic projective plane' with symmetry groups $\mathrm{A}_5$, $\mathrm{A}_4$, and $\mathrm{S}_3$, respectively. Gorodkov (2016) proved that these three manifolds are in fact PL homeomorphic to $\mathbb{HP}^2$. Note that 15 is the minimal number of vertices of a combinatorial 8-manifold that is not PL homeomorphic to $S^8$. In the present paper we construct a lot of new 15-vertex triangulations of $\mathbb{HP}^2$. A surprising fact is that such examples are found for very different symmetry groups, including those not in any way related to the group $\mathrm{A}_5$. Namely, we find 19 triangulations with symmetry group $\mathrm{C}_7$, one triangulation with symmetry group $\mathrm{C}_6\times\mathrm{C}_2$, 14 triangulations with symmetry group $\mathrm{C}_6$, 26 triangulations with symmetry group $\mathrm{C}_5$, one new triangulation with symmetry group $\mathrm{A}_4$, and 11 new triangulations with symmetry group $\mathrm{S}_3$. Further, we obtain the following classification result. We prove that, up to isomorphism, there are exactly 75 triangulations of $\mathbb{HP}^2$ with 15 vertices and symmetry group of order at least 4: the three Brehm-Kühnel triangulations and the 72 new triangulations listed above. On the other hand, we show that there are plenty of triangulations with symmetry groups $\mathrm{C}_3$ and $\mathrm{C}_2$, as well as the trivial symmetry group.
The Rainbow Connection Number of The Commuting Graph of a Finite Nonabelian Group
A path in an edge-colored graph is called a rainbow path if every two distinct edges of the path have different colors. A graph whose every pair of vertices are linked by a rainbow path is called a rainbow-connected graph. The rainbow connection number of a graph is the minimum number of colors that are needed to color the edges of the graph such that the graph is rainbow-connected. In this paper, we determine the rainbow connection number of the commuting graph of a finite nonabelian group, which is a graph whose vertex set is a nonabelian group of finite order and two distinct elements of the group is adjacent in the graph if they commute. We also show that the rainbow connection number of the commuting graph of a finite group is related to the number of maximal abelian subgroups or the number of involutions that do not commute with any other nonidentity element of the group.
Lattices properties of acyclic alternating pipe dreams
This paper proves some conjectures raised by N. Bergeron, N. Cartier, C. Ceballos, and V. Pilaud about acyclic facets of subword complexes of type A Coxeter groups. We use a representation of subword complex facets extending the pipe dreams defined N. Bergeron and S. Billey and prove that the strongly acyclic facets realize a lattice quotient of a weak order interval. We also give a sufficient condition so that all acyclic facets are strongly acyclic.
Bender-Knuth involutions for types B and C
Published in Electron. J. Comb. 31(2) (2024) P2.59
• View Publication
• BIB
We show that the combinatorial definitions of King and Sundaram of the symmetric polynomials of types B and C are indeed symmetric, in the sense that they are invariant by the action of the Weyl groups. Our proof is combinatorial and inspired by Bender and Knuth's classic involutions for type A.