arXiv++ Combinatorics

We consider when finite families $F \subseteq \mathbb{C}[t]$ of bounded degree polynomials, or more generally of bounded complexity finite-to-finite correspondences on $\mathbb{C}$, can exhibit non-expansion of the form $|F(A)| = O(|A|^{1+η})$ in their actions on finite sets $A \subseteq \mathbb{C}$ with $|F| \gg |A|^\eps \gg 1$, for a fixed $\eps>0$ and arbitrarily small $η>0$. Our conclusions generalise the Elekes-Rónyai and Elekes-Szabó theorems, which correspond to the case that $F$ is parametrised by a single complex variable and $|F|=|A|$. Our result also applies to families of correspondences between varieties of arbitrary dimension if we impose a general position assumption on $A$. In all cases, the conclusion is that a commutative algebraic group structure is responsible. As a special case, we obtain asymmetric versions of Elekes-Rónyai and Elekes-Szabó, with explicit bounds on exponents. Our methods originate in model theory.

The valley Delta square conjecture states that the symmetric function $\frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n)$ can be expressed as the enumerator of a certain class of decorated square paths with respect to the bistatistic (dinv,area). Inspired by recent positivity results of Corteel, Josuat-Vergès, and Vanden Wyngaerd, we study the evaluation of this enumerator at $q=-1$. By considering a cyclic group action on the decorated square paths which we call cutting and pasting, we show that $\left.\left\langle \frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n), h_1^n\right\rangle\right|_{q=-1}$ is $0$ whenever $n-k$ is even, and is a positive polynomial related to the Euler numbers when $n-k$ is odd. We also show that the combinatorics of this enumerator is closely connected to that of the Dyck path enumerator for $\langleΔ_{e_{n-k-1}}'e_n,h_1^n\rangle$ considered by Corteel-Josuat Vergès-Vanden Wyngaerd.

We study a generalization of the Erdős-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that $||p(v_i) - p(v_j)|| = ||p'(v_i) - p'(v_j)||$. What is the infimum of $s$ such that for any subset $E\subset \mathbb{F}_q^d$ with $|E| \gtrsim q^s$, $E$ contains a positive proportion of congruence classes of $G$ in $\mathbb{F}_q^d$? Bennett et al. and McDonald used group action methods to prove results in the case of $k$-simplices. The work of Iosevich, Jardine, and McDonald as well as that of Bright et al. have proved results in the case of trees and trees of simplices, utilizing the inductive nature of these graphs. Recently, Aksoy, Iosevich, and McDonald combined these two approaches to obtain nontrivial bounds on the "bowtie" graph, two triangles joined at a vertex. Their proof relies on an application of the Hadamard three-lines theorem to pass to a different graph. We develop novel geometric techniques called branch shifting and simplex unbalancing to reduce our analysis of trees of simplices to a much smaller class of simplex structures. This allows us to establish a framework that handles a wide class of graphs exhibiting a combination of rigid and loose behavior. In $\mathbb{F}_q^2$, this approach gives new nontrivial bounds on chains and trees of simplices. In $\mathbb{F}_q^d$, we improve on the results of Bright et al. in many cases and generalize their work to a wider class of simplex trees. We discuss partial progress on how this framework can be extended to more general simplex structures, such as cycles of simplices and structures of simplices glued together along an edge or a face.

Weight enumerators are important tools for deciphering the algebraic structure of the related code spaces and for understanding group actions on these spaces. Our study focuses on symmetrized weight enumerators of pairs of Type II codes over the finite field $\mathbb{F}_{2}$ and the ring $\mathbb{Z}_{4}$. These pairs have been examined as invariants for a specified group. In particular, we concentrate on the scenarios where the space of the invariant ring is of degree 8 and 16. Our findings show that in certain situations, the ring produced by the symmetrized weight enumerators precisely matches with the invariant ring of the designated group. This coincidence points to a profound relationship between the invariant ring's structure and the algebraic characteristics of the weight enumerators.

We construct a ternary [49,25,7] code from the row span of a Jacobsthal matrix. It is equivalent to a Generalized Quadratic Residue (GQR) code in the sense of van Lint and MacWilliams (1978). These codes are the abelian generalizations of the quadratic residue (QR) codes which are cyclic. The union of the [50,25,8] extension of the said code and its dual supports a 3-(50,14,1248) design. The automorphism group of the latter design is a double cover of the permutation part of the automorphism group of the [50,25,8] code, which is isomorphic to $PΣL(2,49).$ Other weights in this code, other GQR codes, and other QR codes yield other 3-designs by the same process. A simple group action argument is provided to explain this behaviour of isodual codes.

For plane frameworks with reflection or rotational symmetries, where the group action is not necessarily free on the vertex set, we introduce a phase-symmetric orbit rigidity matrix for each irreducible representation of the group. We then use these generalised orbit rigidity matrices to provide necessary conditions for infinitesimal rigidity for frameworks that are symmetric with a cyclic group that acts freely or non-freely on the vertices. Moreover, for the reflection, the half-turn, and the three-fold rotational group in the plane, we establish complete combinatorial characterisations of symmetry-generic infinitesimally rigid frameworks. This extends well-known characterisations for these groups to the case when the group action is not necessarily free on the vertices. The presence of vertices that are fixed by non-trivial group elements requires the introduction of generalised versions of group-labelled quotient graphs leads to more refined types of combinatorial sparsity counts for characterising symmetry-generic infinitesimal rigidity.

This is a chapter in a forthcoming book on completely regular codes in distance regular graphs. The chapter provides an overview, and some original results, on codes in distance regular graphs which admit symmetries via a permutation group acting on the vertices of the graph. The strongest notion of completely transitive codes is developed, as well as the more general notion of neighbour-transitive codes. The graphs considered are the Hamming, Johnson, and Kneser graphs and their q-analogues, as well as some graphs related to incidence structures.

For every differential graded Lie algebra $\mathfrak{g}$ one can define two different group actions on the Maurer-Cartan elements: the ubiquitous gauge action and the action of $\mathrm{Lie}_\infty$-isotopies of $\mathfrak{g}$, which we call the ambient action. In this note, we explain how the assertion of gauge triviality of a homologically trivial ambient action relates to the calculus of dendriform, Zinbiel, and Rota-Baxter algebras, and to Eulerian idempotents. In particular, we exhibit new relationships between these algebraic structures and the operad of rational functions defined by Loday.

We describe the loci of non-rationally smooth (nrs) points and of singular points for any non-spiral Schubert variety of $\tilde{A}_2$ in terms of the geometry of the (affine) Weyl group action on the plane $\mathbb{R}^2$. Together with the results of Graham and Li for spiral elements, this allows us to explicitly identify the maximal singular and nrs points in any Schubert variety of type $\tilde{A}_2$. Comparable results are not known for any other infinite-dimensional Kac-Moody flag variety (except for type $\tilde{A}_1$, where every Schubert variety is rationally smooth). As a consequence, we deduce that if $x$ is a point in a non-spiral Schubert variety $X_w$, then $x$ is nrs in $X_w$ if and only if there are more than $\dim X_w$ curves in $X_w$ through $x$ which are stable under the action of a maximal torus, as is true for Schubert varieties in (finite) type $A$. Combined with the work of Graham and Li for spiral Schubert varieties, this implies the Lookup Conjecture for $\tilde{A}_2$.

We prove that for any generating set $S$ of $\mathbb {Z}^n$, the continuous edge chromatic number of the Schreier graph of the Bernoulli shift action $G=F(S,2^{\mathbb{Z}^n})$ is $χ'_c(G)=χ'(G)+1$. In particular, for the standard generating set, the continuous edge chromatic number of $F(2^{\mathbb {Z}^n})$ is $2n+1$.

We prove that for $d\ge 2,\, k\ge 2$, if the Hausdorff dimension of a compact set $E\subset \mathbb{R}^d$ is greater than $\frac{d^2}{2d-1}$, then, for any given $r > 0$, there exist $(x^1, \dots, x^{k+1})\in E^{k+1}$, $(y^1, \dots, y^{k+1})\in E^{k+1}$, a rotation $θ\in \mathrm{O}_d(\mathbb{R})$, and a vector $a \in \mathbb{R}^d$ such that $rx^j = θy^j - a$ for $1 \leq j \leq k+1$. Such a result on existence of similar $k$-simplices in thin sets had previously been established under a more stringent dimensional threshold in Greenleaf, Iosevich and Mkrtchyan \cite{GIM21}. The argument we are use to prove the main result here was previously employed in Bhowmik and Rakhmonov \cite{BR23} to establish a finite field version. We also show the existence of multi-similarities of arbitrary multiplicity in $\R^d$, show how to extend these results from similarities to arbitrary proper continuous maps, as well as explore a general group-theoretic formulation of this problem in vector spaces over finite fields.

Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.

For finite classical groups acting naturally on the set of points of their ambient polar spaces, the symmetry properties of \emph{synchronising} and \emph{separating} are equivalent to natural and well-studied problems on the existence of certain configurations in finite geometry. The more general class of \emph{spreading} permutation groups is harder to describe, and it is the purpose of this paper to explore this property for finite classical groups. In particular, we show that for most finite classical groups, their natural action on the points of its polar space is non-spreading. We develop and use a result on tactical decompositions (an \emph{AB-Lemma}) that provides a useful technique for finding witnesses for non-spreading permutation groups. We also consider some of the other primitive actions of the classical groups.

Any gentle algebra $A$ with one maximal path corresponds to a unique quasi-diagram $α$. We introduce the regularity for $α$, and show that $A$ has finite global dimension if and only if $α$ is regular. We characterize regular quasi-diagrams which remain regular under the dihedral group action. We prove that the set of maximal chord diagrams is the "biggest" one among the sets closed under taking Koszul dual and rotations.

Let $w_{n,k,m}$ be the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$. We establish in two ways a new interpretation of the numbers $w_{n,k,m}$ in terms of plane trees and internal nodes. The first way builds on a new characterization of plane trees that involves cyclic compositions. The second proof utilizes a known interpretation of $w_{n,k,m}$ in terms of plane trees and leaves, and a recent involution on plane trees constructed by Li, Lin, and Zhao. Moreover, a group action on the set of cyclic compositions (or equivalently, $2$-dominant compositions) is introduced, which amounts to give a combinatorial proof of the $γ$-positivity of the Narayana polynomial, as well as the $γ$-positivity of the polynomial $W_{2k+1,k}(t):=\sum_{1\le m\le k}w_{2k+1,k,m}t^m$ previously obtained by Bóna et al, with apparently new combinatorial interpretations of their $γ$-coefficients.

Let $\mathbb{F}_q$ denote the finite field of $q$ elements. For $E \subset \mathbb{F}_q^d$, denote the distance set $Δ(E)= \{\|x-y\|^2:=(x_1-y_1)^2+ \cdots + (x_d-y_d)^2 : (x,y)\in E^2 \}$. The Erdos quotient set problem was introduced in \cite{Iosevich_2019} where it was shown that for even $d\geq2$ that if $|E| \subset \mathbb{F}_q^2$ such that $|E| >> q^{d/2}$, then $\frac{Δ(E)}{Δ(E)}:= \{\frac{s}{t}:s,t \in Δ(E), t\not=0\} =\mathbb{F}_q^d$. The proof of the latter result is quite sophisticated and in \cite{pham2023group}, a simple proof using a group-action approach was obtained for the case of $q \equiv 3 \mod 4$ when $d=2$. In the $q \equiv 3 \mod 4$ setting, for each $r \in (\mathbb{F}_q)^2$, \cite{pham2023group} showed if $E \subset \mathbb{F}_q$, then $V(r):= \# \left\{ (a,b,c,d) \in E^2: \frac{\|a-b\|^2}{\|c-d\|^2} = r \right\} >> \frac{|E|^4}{q}$. In this work we use group action techniques in the $q \equiv 3 \mod 4$ setting, for $d=2$ and improve the results of \cite{pham2023group} by removing the assumption on $r \in (\mathbb{F}_q)^2$. Specifically we show if $d=2$ and $q \equiv 3 \mod 4$, then for each $r \in \mathbb{F}_q^*$,$V(r)\geq \frac{|E|^4}{2q}$if $|E|\geq \sqrt{2}q$ for all $r \in \mathbb{F}_q$. Finally, we improve the main result of \cite{bhowmik2023near} using our proof techniques from our quotient set results.

APN functions play a big role as primitives in symmetric cryptography as building blocks that yield optimal resistance to differential attacks. In this note, we consider a recent extension of a biprojective APN family by Göloğlu defined on $\mathbb{F}_{2^{2m}}$. We show that this generalization yields functions equivalent to Göloğlu's original family if $3\nmid m$. If $3|m$ we show exactly how many inequivalent APN functions this new family contains. We also show that the family has the minimal image set size for an APN function and determine its Walsh spectrum, hereby settling some open problems. In our proofs, we leverage a group theoretic technique recently developed by Göloğlu and the author in conjunction with a group action on the set of projective polynomials.

We study the free part of the Bernoulli action of $\mathbb{Z}^n$ for $n\geq 2$ and the Borel combinatorics of the associated Schreier graphs. We construct orthogonal decompositions of the spaces into marker sets with various additional properties. In general, for Borel graphs $Γ$ admitting weakly orthogonal decompositions, we show that $χ_B(Γ)\leq 2χ(Γ)-1$ under some mild assumptions. As a consequence, we deduce that the Borel chromatic number for $F(2^{\mathbb{Z}^n})$ is $3$ for all $n\geq 2$. Weakly orthogonal decompositions also give rise to Borel unlayered toast structures. We also construct orthogonal decompositions of $F(2^{\mathbb{Z}^2})$ with strong topological regularity, in particular with all atoms homeomorphic to a disk. This allows us to show that there is a Borel perfect matching for $F(2^{\mathbb{Z}^n})$ for all $n\geq 2$ and that there is a Borel lining of $F(2^{\mathbb{Z}^2})$.

We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.

The cactus group $J_n$ is the $S_n$-equivariant fundamental group of the real locus of the Deligne-Mumford moduli space of stable rational curves with marked points. This group plays the role of the braid group for the monoidal category of Kashiwara crystals attached to a simple Lie algebra. Following Frenkel, Kirillov and Varchenko, one can identify the multiplicity set in a tensor product of $\mathfrak{sl}_2$-crystals with the set of arc diagrams on a disc, thus allowing a much simpler description of the corresponding $J_n$-action. We address the problem of classifying the orbits of this cactus group action. Namely, we describe some invariants of this action and show that in some (fairly general) classes of examples there are no other invariants. Furthermore, we describe some additional relations, including the braid relation, that this action places on the generators of $J_n$.