group
10399 papers tagged with this keyword
Coloring spheres in 3--manifolds
The sphere graph of $M_r$, a connect sum of $r$ copies of $S^1\times S^2$ was introduced by Hatcher as an analog of the curve graph of a surface to study the outer automorphism group of a free group $F_r$. Bestvina, Bromberg, and Fujiwara proved that the chromatic number of the curve graph is finite; bounds were subsequently improved by Gaster, Greene, and Vlamis. Motivated by the analogy, we provide upper and lower bounds for the chromatic number of the sphere graph of $M_r$. As a corollary to the prime decomposition of 3-manifolds, this gives bounds on the chromatic number of the sphere graph for any orientable 3-manifold.
Vertex-transitive graphs with small motion and transitive permutation groups with small minimal degree
Published
• View Publication
• BIB
The motion of a graph is the minimum number of vertices that are moved by a non-trivial automorphism. Equivalently, it can be defined as the minimal degree of its automorphism group (as a permutation group on the vertices). In this paper we develop some results on permutation groups (primitive and imprimitive) with small minimal degree. As a consequence of such results we classify vertex-transitive graphs whose motion is $4$ or a prime number.
On embeddability of Coxeter groups into the Riordan group
Published
• View Publication
• BIB
We discuss examples of linear representations of finite groups as subgroups of the Riordan group. In particular, we show that the symmetric group of degree three has no faithful representation as a subgroup of the Riordan group over the complex numbers, but can be embedded as a subgroup of the Riordan group over a field of characteristic three.
First order distinguishability of sparse random graphs
Published
• View Publication
• BIB
We study the problem of distinguishing between two independent samples $\mathbf{G}_n^1,\mathbf{G}_n^2$ of a binomial random graph $G(n,p)$ by first order (FO) sentences. Shelah and Spencer proved that, for a constant $α\in(0,1)$, $G(n,n^{-α})$ obeys FO zero-one law if and only if $α$ is irrational. Therefore, for irrational $α\in(0,1)$, any fixed FO sentence does not distinguish between $\mathbf{G}_n^1,\mathbf{G}_n^2$ with asymptotical probability 1 (w.h.p.) as $n\to\infty$. We show that the minimum quantifier depth $\mathbf{k}_α$ of a FO sentence $\varphi=\varphi(\mathbf{G}_n^1,\mathbf{G}_n^2)$ distinguishing between $\mathbf{G}_n^1,\mathbf{G}_n^2$ depends on how closely $α$ can be approximated by rationals: (1) for all non-Liouville $α\in(0,1)$, $\mathbf{k}_α=Ω(\ln\ln\ln n)$ w.h.p.; (2) there are irrational $α\in(0,1)$ with $\mathbf{k}_α$ that grow arbitrarily slowly w.h.p.; (3) $\mathbf{k}_α=O_p(\frac{\ln n}{\ln\ln n})$ for all $α\in(0,1)$. The main ingredients in our proofs are a novel randomized algorithm that generates asymmetric strictly balanced graphs as well as a new method to study symmetry groups of randomly perturbed graphs.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.