group
10226 papers tagged with this keyword
Asymptotic enumeration of Haar graphical representations
Published in Combinatorica, Volume 45, 2025
• View Publication
• BIB
This paper represents a significant leap forward in the problem of enumerating vertex-transitive graphs. Recent breakthroughs on symmetry of Cayley (di)graphs show that almost all finite Cayley (di)graphs have the smallest possible automorphism group. Extending the scope of these results, we enumerate (di)graphs admitting a fixed semiregular group of automorphisms with m orbits. Moreover, we consider the more intricate inquiry of prohibiting arcs within each orbit, where the special case m = 2 is known as the problem of finding Haar graphical representations (HGRs). We significantly advance the understanding of HGRs by proving that the proportion of HGRs among Haar graphs of a finite nonabelian group approaches 1 as the group order grows. As a corollary, we obtain an improved bound on the proportion of DRRs among Cayley digraphs in the solution of Morris and the second author to the Babai-Godsil conjecture.
Gamma vectors of partitioned permutohedra
We determine that $γ$-vectors of partitioned permutohedra, thereby generalizing a result of Foata and Schützenberger. Our result is closely related to a result of Athanasiadis on the representation of the symmetric group on the cohomology of the permutohedral variety. We explain how to derive Athanasiadis' result from ours and vice versa.
Reflections and quotients in Coxeter groups
We present a formula relating the set of left descents of an element of a Coxeter group with the sets of left descents of its projections on maximal quotients indexed by simple right descents. This formula is an instance of a general result involving quotients and descents.
The lattice of submonoids of the uniform block permutations containing the symmetric group
Published in Semigroup Forum (2025)
• View Publication
• BIB
We study the lattice of submonoids of the uniform block permutation monoid containing the symmetric group (which is its group of units). We prove that this lattice is distributive under union and intersection by relating the submonoids containing the symmetric group to downsets in a new partial order on integer partitions. Furthermore, we show that the sizes of the $\mathscr{J}$-classes of the uniform block permutation monoid are sums of squares of dimensions of irreducible modules of the monoid algebra.
Homogeneous spaces of semidirect products and finite Gelfand pairs
Let $K\leq H$ be two finite groups and let $C\leq A$ be two finite abelian groups, with $H$ acting on $A$ as a group of isomorphisms admitting $C$ as a $K$-invariant subgroup. We study the homogeneous space $X\coloneqq\left(H\ltimes A\right)/\left(K\ltimes C\right)$ and determine the decomposition of the permutation representation of $H\ltimes A$ acting on $X$. We then characterize when this is multiplicity-free, that is, when $\left(H\ltimes A,K\ltimes C\right)$ is a Gelfand pair. If this is the case, we explicitly calculate the corresponding spherical functions. From our general construction and related analysis, we recover Dunkl's results on the $q$-analog of the nonbinary Johnson scheme.
Partial order on involutive permutations and double Schubert cells
As shown by A. Melnikov, the orbits of a Borel subgroup acting by conjugation on upper-triangular matrices with square zero are indexed by involutions in the symmetric group. The inclusion relation among the orbit closures defines a partial order on involutions. We observe that the same order on involutive permutations also arises while describing the inclusion order on B-orbit closures in the direct product of two Grassmannians. We establish a geometric relation between these two settings.
Necklaces over a group with identity product
We address two variants of the classical necklace counting problem from enumerative combinatorics. In both cases, we fix a finite group $\mathcal{G}$ and a positive integer $n$. In the first variant, we count the ``identity-product $n$-necklaces'' -- that is, the orbits of $n$-tuples $\left(a_1, a_2, \ldots, a_n\right) \in \mathcal{G}^n$ that satisfy $a_1 a_2 \cdots a_n = 1$ under cyclic rotation. In the second, we count the orbits of all $n$-tuples $\left(a_1, a_2, \ldots, a_n\right) \in \mathcal{G}^n$ under cyclic rotation and left multiplication (i.e., the operation of $\mathcal{G}$ on $\mathcal{G}^n$ given by $h \cdot \left(a_1, a_2, \ldots, a_n\right) = \left(ha_1, ha_2, \ldots, ha_n\right)$). We prove bijectively that both answers are the same, and express them as a sum over divisors of $n$.
Consequently, we generalize the first problem to $n$-necklaces whose product of entries lies in a given subset of $\mathcal{G}$ (closed under conjugation), and we connect a particular case to the enumeration of irreducible polynomials over a finite field with given degree and second-highest coefficient $0$.
Bounds for asymptotic characters of simple Lie groups
An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(λ,x)$ (where $λ,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_λ(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $λ$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(λ,x)$ for fixed $λ$ is strictly negative. We quantify this result by providing a lower bound for $c(G)$ in terms of $\dim G$. We also provide upper and lower bounds for $DH_λ(0)$ when $|λ|=1$. This allows us to show that $|X(λ,x)|\le C(G)|λ|^{-1}|x|^{-1}$ for some constant $C(G)$ depending only on $G$, which implies the conjecture in Remark 17.16 of arXiv:2312.03101. We also show that $c(SL_n)\le (\frac{4}{π^2})^{n-2}$. Finally, in the appendix, which subsumes our previous paper arXiv:1811.05293, we prove Conjecture 1 in arXiv:1706.02793 about Mittag-Leffler type sums for $G$.
On the affine permutation group of certain decreasing Cartesian codes
A decreasing Cartesian code is defined by evaluating a monomial set closed under divisibility on a Cartesian set. Some well-known examples are the Reed-Solomon, Reed-Muller, and (some) toric codes. The affine permutations consist of the permutations of the code that depend on an affine transformation. In this work, we study the affine permutations of some decreasing Cartesian codes, including the case when the Cartesian set has copies of multiplicative or additive subgroups.
Regular nilpotent partial Hessenberg varieties
Let $G$ be a complex semisimple linear algebraic group. Fix a subset $Θ$ of simple roots. Given a lower ideal $I$ in positive roots, one can define the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$ in the full flag variety $G/B$. For a $Θ$-ideal $I$ (which is a special lower ideal), we can define the regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ in the partial flag variety $G/P$. In this manuscript we first provide a summand formula and a product formula for the Poincaré polynomial of regular nilpotent partial Hessenberg varieties. It is a well-known result from Bernstein-Gelfand-Gelfand that the cohomology ring of the partial flag variety $G/P$ is isomorphic to the invariants in the cohomology ring of the full flag variety $G/B$ under an action of the parabolic Weyl group $W_Θ$ generated by $Θ$. We generalize this result to regular nilpotent partial Hessenberg varieties. More concretely, we give an isomorphism between the cohomology ring of a regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ and the $W_Θ$-invariant subring of the cohomology ring of the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$. Furthermore, we provide a description of the cohomology ring for a regular nilpotent partial Hessenberg variety $\mbox{Hess}_Θ(N,I)$ in terms of the $W_Θ$-invariants in the logarithmic derivation module of the ideal arrangement $\mathcal{A}_I$, which is a generalization of the result by Abe-Masuda-Murai-Sato with the author.
On the distance problem over finite p-adic rings
In this paper, we study the distance problem in the setting of finite p-adic rings. In odd dimensions, our results are essentially sharp. In even dimensions, we clarify the conjecture and provide examples to support it. Surprisingly, compared to the finite field case, in this setting, we are able to provide a large family of sets such that the distance conjecture holds. By developing new restriction type estimates associated to circles and orbits, with a group theoretic argument, we will prove the $4/3$-parallel result in the two dimensions. This answers a question raised by Alex Iosevich. In a more general scenario, the existence/distribution of geometric/graph configurations will be also considered in this paper. Our results present improvements and extensions of recent results due to Ben Lichtin (2019, 2023). In comparison with Lichtin's method, our approach is much simpler and flexible, which is also one of the novelties in this paper.
Metrics on permutations with the same descent set
Let $S_n$ be the symmetric group on the set $[n]:=\{1,2,\ldots,n\}$. Given a permutation $σ=σ_1σ_2 \cdots σ_n \in S_n$, we say it has a descent at index $i$ if $σ_i>σ_{i+1}$. Let $\mathcal{D}(σ)$ be the set of all descents of $σ$ and define $\mathcal{D}(S;n)=\{σ\in S_n\, | \,\mathcal{D}(σ)=S\}$. We study the Hamming metric and $\ell_\infty$-metric on the sets $\mathcal{D}(S;n)$ for all possible nonempty $S\subset[n-1]$ to determine the maximum possible value that these metrics can achieve when restricted to these subsets.
Positive formula for the product of conjugacy classes on the unitary group
The convolution product of two conjugacy classes of the unitary group $U_n$ is described by a probability distribution on the space of central measures. Relating this convolution to the quantum cohomology of Grassmannians and using recent results describing the structure constants of the latter, we give a manifestly positive formula for the density of the probability distribution for the product of generic conjugacy classes. In the same flavor as the hive model of Knutson and Tao, this formula is given in terms of a subtraction-free sum of volumes of explicit polytopes. As a consequence, this expression also provides a positive and explicit formula for the volume of $SU_n$-valued flat connections on the three-holed two dimensional sphere, which was first given by Witten in terms of an infinite sum of characters.
Orders for which there exist exactly six or seven groups
Much progress has been made on the problem of calculating $g(n)$ for various classes of integers $n$, where $g$ is the group-counting function. We approach the inverse problem of solving the equations $g(n) = 6$ and $g(n) = 7$ in $n$. The determination of $n$ for which $g(n) = k$ has been carried out by G. A. Miller for $1 \le k \le 5$.
The spiders $S(4m+2,\,2m,\,1)$ are $e$-positive
By using the composition method, we establish the $e$-positivity of spiders of the form $S(4m+2,\, 2m,\, 1)$, which was conjectured by Aliniaeifard, van Willigenburg and Wang. Following the divide-and-conquer strategy, we group one or two $e_J$-terms that have positive coefficients with each $e_I$-term that has a negative coefficient, where the compositions $J$ are selected to be obtained by rearranging the parts of $I$, and show the positivity of the sum of those coefficients. Our main contribution is an explicit construction of the injection.
Nut graphs with a given automorphism group
A nut graph is a simple graph of order 2 or more for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry (i.e. are full). It is shown by construction that every finite group can be represented as the group of automorphisms of infinitely many nut graphs. It is further shown that such nut graphs exist even within the class of regular graphs; the cases where the degree is 8, 12, 16, 20 or 24 are realised explicitly.
On the Iwasawa theory of Cayley graphs
Published in Research in the Mathematical Sciences Vol 12, No. 2 (2025)
• View Publication
• BIB
This paper explores Iwasawa theory from a graph theoretic perspective, focusing on the algebraic and combinatorial properties of Cayley graphs. Using representation theory, we analyze Iwasawa-theoretic invariants within $\mathbb{Z}_\ell$-towers of Cayley graphs, revealing connections between graph theory, number theory, and group theory. Key results include the factorization of associated Iwasawa polynomials and the decomposition of $μ$- and $λ$-invariants. Additionally, we apply these insights to complete graphs, establishing conditions under which these invariants vanish.
Additive triples in groups of odd prime order
Let $p$ be an odd prime. For nontrivial proper subsets $A,B$ of $\mathbb{Z}_p$ of cardinality $s,t$, respectively, we count the number $r(A,B,B)$ of additive triples, namely elements of the form $(a, b, a+b)$ in $A \times B \times B$. For given $s,t$, what is the spectrum of possible values for $r(A,B,B)$? In the special case $A=B$, the additive triple is called a Schur triple. Various authors have given bounds on the number $r(A,A,A)$ of Schur triples, and shown that the lower and upper bound can each be attained by a set $A$ that is an interval of $s$ consecutive elements of $\mathbb{Z}_p$. However, there are values of $p,s$ for which not every value between the lower and upper bounds is attainable. We consider here the general case where $A,B$ can be distinct. We use Pollard's generalization of the Cauchy-Davenport Theorem to derive bounds on the number $r(A,B,B)$ of additive triples. In contrast to the case $A=B$, we show that every value of $r(A,B,B)$ from the lower bound to the upper bound is attainable: each such value can be attained when $B$ is an interval of $t$ consecutive elements of $\mathbb{Z}_p$.
Galoisian structure of large steps walks in the quadrant
The enumeration of walks in the quarter plane confined in the first quadrant has attracted a lot of attention over the past fifteenth years. The generating functions associated to small steps models satisfy a functional equation in two catalytic variables. For such models, Bousquet-Mélou and Mishna defined a group called the group of the walk which turned out to be central in the classification of small steps models. In particular, its action on the catalytic variables yields a set of change of variables compatible with the structure of the functional equation. This particular set called the orbit has been generalized to models with arbitrary large steps by Bostan, Bousquet-Mélou and Melczer. However, the orbit had till now no underlying group.
In this article, we endow the orbit with the action of a Galois group, which extends the group of the walk to models with large steps. Within this Galoisian framework, we generalized the notions of invariants and decoupling. This enable us to develop a general strategy to prove the algebraicity of models with small backward steps. Our constructions lead to the first proofs of algebraicity of weighted models with large steps, proving in particular a conjecture of Bostan, Bousquet-Mélou and Melczer, and allowing us to find new algebraic models with large steps.
Monochromatic non-commuting products
We show that a finite coloring of an amenable group contains `many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables. This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem. Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.