arXiv++ Combinatorics

We consider the general question of when all orbits under the unitary action of a finite group give a complex spherical design. Those orbits which have large stabilisers are then good candidates for being optimal complex spherical designs. This is done by developing the general theory of complex designs and associated (harmonic) Molien series for group actions. As an application, we give explicit constructions of some putatively optimal real and complex spherical t-designs.

Inspired by the notion of equivariant log-concavity, we introduce the concept of induced log-concavity for a sequence of representations of a finite group. For an equivariant matroid equipped with a symmetric group action or a finite general linear group action, we transform the problem of proving the induced log-concavity of matroid invariants to that of proving the Schur positivity of symmetric functions. We prove the induced log-concavity of the equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids equipped with the action of a finite general linear group, as well as that of the equivariant Kazhdan-Lusztig polynomials of uniform matroids equipped with the action of a symmetric group. As a consequence of the former, we obtain the log-concavity of Kazhdan-Lusztig polynomials of $q$-niform matroids, thus providing further positive evidence for Elias, Proudfoot and Wakefield's log-concavity conjecture on the matroid Kazhdan-Lusztig polynomials. From the latter we obtain the log-concavity of Kazhdan-Lusztig polynomials of uniform matroids, which was recently proved by Xie and Zhang by using a computer algebra approach. We also establish the induced log-concavity of the equivariant characteristic polynomials and the equivariant inverse Kazhdan-Lusztig polynomials for $q$-niform matroids and uniform matroids.

This paper studies the relationship between the modified Foata$\unicode{x2013}$Strehl action (a.k.a. valley-hopping)$\unicode{x2014}$a group action on permutations used to demonstrate the $γ$-positivity of the Eulerian polynomials$\unicode{x2014}$and the number of rixed points $\operatorname{rix}$$\unicode{x2014}$a recursively-defined permutation statistic introduced by Lin in the context of an equidistribution problem. We give a linear-time iterative algorithm for computing the set of rixed points, and prove that the $\operatorname{rix}$ statistic is homomesic under valley-hopping. We also demonstrate that a bijection $Φ$ introduced by Lin and Zeng in the study of the $\operatorname{rix}$ statistic sends orbits of the valley-hopping action to orbits of a cyclic version of valley-hopping, which implies that the number of fixed points $\operatorname{fix}$ is homomesic under cyclic valley-hopping.

In 1968, R. Steinberg proved a theorem stating that the exterior powers of an irreducible reflection representation of a Euclidean reflection group are again irreducible and pairwise non-isomorphic. We extend this result to a more general context where the inner product invariant under the group action may not necessarily exist.

It is well known that the discrete analogue of a lattice is a linear code which is a vector subspace of Hamming space $\mathbb{F}^n$. The set $\mathbb{F}$ is a finite field and $n \in \mathbb{Z}_{>0}$. Our attempt is to construct a class of lattices such that its discrete analogues are variable length non-linear codes. Let $\mathcal{G}$ and $\mathcal{H}$ be two finite groups, and let $\mathcal{S}$ be a fixed set of generators for $\mathcal{G}$. The homomorphism code is defined as the set of all homomorphisms from $\mathcal{G}$ to $\mathcal{H}$, denoted by, $\mathcal{C} = Hom(\mathcal{G}, \mathcal{H})$. To each homomorphism $\varphi$ between $\mathcal{G}$ and $\mathcal{H}$, a codeword $c_\varphi$ is associated, it is a vector of values of $\varphi$ on the generators in $\mathcal{S}$, that is, $c_\varphi = (\varphi(s_1), \varphi(s_2), \dots, \varphi(s_k))$, where $\varphi(s_i)$ is the image of $s_i \in \mathcal{S}$, $1 \leq i \leq k$. We provide a design to construct a variable length binary non-linear code called as automorphism orbit code from a finite abelian $p$-group of rank more than 1, where $p$ is a prime number. For each finite abelian $p$-group, the codewords of the automorphism orbit code are variable length codewords called as automorphism orbit codewords. Note that homomorphism codes are determined by homomorphisms between groups, whereas automorphism orbit codes are specified by partitions of a number, orbits of a group action, homomorphisms and automorphisms of groups. We make use of elements of $Hom(\mathcal{G}, \mathcal{H})$ to present a cover relation for bit strings of codewords of an automorphism orbit code and formulate a lattice of variable length non-linear codes. Finally, we discuss some information related to the future research work on connections to representation theory of groups and algebras.

Let $E\subset\mathbb{F}_q^d$ and $\lVert \cdot \rVert:\mathbb{F}_q^d\to \mathbb{F}_q$ defined as $\lVert α\rVert:= α_1^2+\dots+α_d^2$ if $α=(α_1,\dots,α_d)\in \mathbb{F}_q^d$, where $\mathbb{F}_q^d$ is the $d$-dimensional vector space over the finite field $\mathbb{F}_q$ with $q$ elements. Let $k\geq 1$ and $A$ is a nonempty subset of $\{(i,j):1\leq i<j\leq k+1\}$. In this paper, we prove that for any nonzero square element $r\in \mathbb{F}_q$ and $\lvert E\rvert\gg_kq^{d/2}$ one can find two $(k+1)$-tuples in $E$ such that one of them is dilated by $r$ with respect to the other only on $|A|$ edges. More precisely, there exist $(x_1,\dots,x_{k+1})\in E^{k+1}$ and $(y_1,\dots,y_{k+1})\in E^{k+1}$ such that $\lVert y_i-y_j\rVert=r\lVert x_i-x_j\rVert$ if $(i,j)\in A$ and $x_i\neq x_j, y_i\neq y_j$ if $1\leq i<j\leq k+1$. In particular, we present two proofs first of which utilizes the machinery of group actions which is typically used to handle problems of this nature, whereas the second one is more combinatorial in nature and is based on the averaging argument. Moreover, we show that in two dimensions the threshold $d/2$ is sharp when $q\equiv 3 \pmod 4$. As a corollary of this result, varying the underlying set $A$ we obtain thresholds for existence of dilated $k$-paths, $k$-cycles, and $k$-stars $(k\geq 3)$. These results partly generalize some results of the second author.

Compact finite-rank nilspaces have become central in the nilspace approach to higher-order Fourier analysis, notably through their role in a general form of the inverse theorem for the Gowers norms. This paper studies these nilspaces per se, and in connection with further refinements of this inverse theorem that have been conjectured recently. Our first main result states that every compact finite-rank nilspace is obtained by taking a free nilspace (a nilspace based on an abelian group of the form $\mathbb{Z}^{r}\times \mathbb{R}^s$) and quotienting this by a discrete group action of a specific type, describable in terms of polynomials. We call these group actions "higher-order lattice actions", as they generalize actions of lattices in $\mathbb{Z}^r\times \mathbb{R}^s$. The second main result (which relies on the first one) represents every compact finite-rank nilspace as a double-coset space $K\backslash G / Γ$ where $G$ is a nilpotent Lie group of a specific kind. Our third main result extends the aforementioned results to $k$-step compact nilspaces (not necessarily of finite rank), by representing any such nilspace as a quotient of infinite products of free nilspaces and also as double coset spaces $K\backslash G/Γ$ where $G$ is a degree-$k$ nilpotent pro-Lie group. These results open the study of compact nilspaces to areas more classical than nilspace theory, such as the theory of topological group actions. The results also require developing the theory of topological non-compact nilspaces, for which we provide groundwork in this paper. Applications include new inverse theorems for Gowers norms on any finite abelian group. These theorems are purely group theoretic in that the correlating harmonics are based on double-coset spaces. This yields progress towards the Jamneshan-Tao conjecture.

The article presents several methods for the arithmetic of finite abelian groups. We introduce a tool - already used by Delsarte in [1] as I found out later - analogous to Dirichlet's convolution to obtain combinatorial results on these groups. Using this convolution and some group actions, we deduce an interesting fact : the number of generating subsets of a finite abelian group is always a multiple of the order of the group. Eventually, we prove a theorem about the generation of the group of permutations of an abelian group G using only transpositions and translations from the group G.

We give a cyclic sieving phenomenon for symplectic $λ$-tableaux $SP(λ,2m)$, where $λ$ is a partition of an odd integer $n$ and $gcd(m,p)=1$ for any odd prime $p\leq n$. We use the crystal structure on Kashiwara-Nakashima symplectic tableaux to get a cyclic sieving action as the product $σ$ of simple reflections in the Weyl group. The cyclic sieving polynomial is the $q$-anologue of the hook-content formula for symplectic tableaux. More generally, we give a CSP for symplectic skew tableaux with analogous conditions on the shape and a cyclic group action that rotates tableaux weights in a way motivated by the $σ$-action.

Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant subspace of a certain symmetric group representation, and recent work parameterized this space by exhibiting a basis whose vectors are sums over orbits of standard basis elements with respect to the symmetric group action. A parameterization opens up the possibility of learning the weights of permutation equivariant linear layers via gradient descent. The space of permutation equivariant linear layers is a generalization of the partition algebra, an object first discovered in statistical physics with deep connections to the representation theory of the symmetric group, and the basis described above generalizes the so-called orbit basis of the partition algebra. We exhibit an alternative basis, generalizing the diagram basis of the partition algebra, with computational benefits stemming from the fact that the tensors making up the basis are low rank in the sense that they naturally factorize into Kronecker products. Just as multiplication by a rank one matrix is far less expensive than multiplication by an arbitrary matrix, multiplication with these low rank tensors is far less expensive than multiplication with elements of the orbit basis. Finally, we describe an algorithm implementing multiplication with these basis elements.

We define a virtual cactus group and show that the cactus group action on Littelmann paths is compatible with the virtualization map defined by Pan-Scrimshaw \cite{PS18}. Our definition generalizes the group with the same name defined for the symplectic Lie algebra by the author in joint work with O. Azenhas and M. Tarighat-Feller.

Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. For each non-zero $r$ in $\mathbb F_q$ and $E\subset \mathbb F_q^d$, we define $W(r)$ as the number of quadruples $(x,y,z,w)\in E^4$ such that $ Q(x-y)/Q(z-w)=r,$ where $Q$ is a non-degenerate quadratic form in $d$ variables over $\mathbb F_q.$ When $Q(α)=\sum_{i=1}^d α_i^2$ with $α=(α_1, \ldots, α_d)\in \mathbb F_q^d,$ Pham (2022) recently used the machinery of group actions and proved that if $E\subset \mathbb F_q^2$ with $q\equiv 3 \pmod{4}$ and $|E|\ge C q$, then we have $W(r)\ge c |E|^4/q$ for any non-zero square number $r \in \mathbb F_q,$ where $C$ is a sufficiently large constant, $ c$ is some number between $0$ and $1,$ and $|E|$ denotes the cardinality of the set $E.$ In this article, we improve and extend Pham's result in two dimensions to arbitrary dimensions with general non-degenerate quadratic distances. As a corollary of our results, we also generalize the sharp results on the Falconer type problem for the quotient set of distance set due to the first two authors and Parshall (2019). Furthermore, we provide improved constants for the size conditions of the underlying sets. The key new ingredient is to relate the estimate of the $W(r)$ to a quadratic homogeneous variety in $2d$-dimensional vector space. This approach is fruitful because it allows us to take advantage of Gauss sums which are more handleable than the Kloosterman sums appearing in the standard distance type problems.

We study an algebra spanned by modified Kostka polynomials. Particular structure coefficients of this algebra are interpreted as traces of some Weyl group actions on the intersection cohomology of comet-shaped quiver varieties.

In this article we establish relationships between Leavitt path algebras, talented monoids and the adjacency matrices of the underlying graphs. We show that indeed the adjacency matrix generates in some sense the group action on the generators of the talented monoid. With the help of this we deduce a form of the aperiodicity index of a graph via the talented monoid. We classify hereditary and saturated subsets via the adjacency matrix. Moreover we give a formula to compute all paths of a given length in a Leavitt path algebra based on the adjacency matrix. In addition we discuss the number of cycles in a graph. In particular we give an equivalent characterization of acylic graphs via the adjacency matrix, the talented monoid and the Leavitt path algebra.

We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets which plays a central role in our proofs.This new version is a completely reorganized version of the preceding one.

On an elliptic surface or threefold, Catalan numbers appear when one tries to compute the autoequivalence group action on the Bridgeland stability manifold. We explain why this happens by identifying a class of equations in the Chow ring of a fibration, where the solutions always involve Catalan numbers.

We study the equivariant flag $f$-vector and equivariant flag $h$-vector of a balanced relative simplicial complex with respect to a group action. When the complex satisfies Serre's condition $(S_{\ell}),$ we show that the equivariant flag $h$-vector, the equivariant $h$-vector, and the equivariant $f$-vector satisfy several inequalities. We apply these results to the study of $P$-partitions of double posets, and weak colorings of mixed graphs.

Let $\mathbb{F}_q$ be a finite field of order $q$ and $E$ be a set in $\mathbb{F}_q^d$. The distance set of $E$ is defined by $Δ(E):=\{\lVert x-y \rVert :x,y\in E\}$, where $\lVert α\rVert=α_1^2+\dots+α_d^2$. Iosevich, Koh and Parshall (2018) proved that if $d\geq 2$ is even and $|E|\geq 9q^{d/2}$, then $$\mathbb{F}_q= \frac{Δ(E)}{Δ(E)}=\left\{\frac{a}{b}: a\in Δ(E),\ b\in Δ(E)\setminus\{0\} \right\}.$$ In other words, for each $r\in \mathbb{F}_q^*$ there exist $(x,y)\in E^2$ and $(x',y')\in E^2$ such that $\lVert x-y\rVert\neq0$ and $\lVert x'-y' \rVert=r\lVert x-y\rVert$. Geometrically, this means that if the size of $E$ is large, then for any given $r \in \mathbb{F}_q^*$ we can find a pair of edges in the complete graph $K_{|E|}$ with vertex set $E$ such that one of them is dilated by $r\in \mathbb{F}_q^*$ with respect to the other. A natural question arises whether it is possible to generalize this result to arbitrary subgraphs of $K_{|E|}$ with vertex set $E$ and this is the goal of this paper. In this paper, we solve this problem for $k$-paths $(k\geq 2)$, simplexes and 4-cycles. We are using a mix of tools from different areas such as enumerative combinatorics, group actions and Turán type theorems.

We prove that a group $Γ$ admits a discrete topological (equivalently, smooth) action on some simply-connected 3-manifold if and only if $Γ$ has a Cayley complex embeddable -- with certain natural restrictions -- in one of the following four 3-manifolds: (i) $\mathbb{S}^3$, (ii) $\mathbb{R}^3$, (iii) $\mathbb{S}^2 \times \mathbb{R}$, (iv) the complement of a tame Cantor set in $\mathbb{S}^3$.

In 2017, by using the group theoretic approach, Bennett, Hart, Iosevich, Pakianathan, and Rudnev obtained a number of results on the distribution of simplices and sum-product type problems. The main purpose of this paper is to give a series of new applications of their powerful framework, namely, we focus on the product and quotient of distance sets, the $L^2$-norm of the direction set, and the $L^2$-norm of scales in difference sets.