group
10399 papers tagged with this keyword
Positive combinatorial formulae for involution matrix loci and orbit harmonics
Published
• View Publication
• BIB
Let $\mathcal{M}_{n,a}$ be the set consisting of involutions in symmetric group $\mathfrak{S}_n$ with exactly $a$ fixed points and apply the orbit harmonics method to obtain a graded $\mathfrak{S}_n$-module $R(\mathcal{M}_{n,a})$. Liu, Ma, Rhoades, and Zhu figured out a signed combinatorial formula for the graded Frobenius image $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$. Our goal is to cancel these signs. Finally, we find two positive combinatorial formulae for $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$. As an application, we deduce a series of $\mathfrak{S}_n$-equivariant isomorphisms between graded components $R(\mathcal{M}_{n,a})_d$ and $R(\mathcal{M}_{n,a^{\prime}})_d$ for some integers $a\neq a^{\prime}$ and $d$. Our positive formulae also yield potential attempts to find a linear basis for $R(\mathcal{M}_{n,a})$ and a statistic $\mathrm{stat}:\mathcal{M}_{n,a}\rightarrow\mathbb{Z}_{\ge0}$ to interpret the Hilbert series $\mathrm{Hilb}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$.
A new look at twin reduction
Twin reduction defines an equivalence relation on the vertex set of a graph. I give a characterisation of this equivalence relation. A consequence is a structure theorem for the automorphism group of the graph.
Discrete sumsets with one large summand
Published
• View Publication
• BIB
If $A$ and $B$ are subsets of an abelian group, their sumset is $A+B:=\{a+b:a\in A, b\in B\}$. We study sumsets in discrete abelian groups, where at least one summand has positive upper Banach density.
Renling Jin proved that if $A$ and $B$ are sets of integers having positive upper Banach density, then $A+B$ is piecewise syndetic. Bergelson, Furstenberg, and Weiss improved the conclusion to "$A+B$ is piecewise Bohr." Beiglböck, Bergelson, and Fish showed this to be qualitatively optimal, in the sense that if $C\subseteq \mathbb Z$ is piecewise Bohr, then there are $A, B\subseteq \mathbb Z$ having positive upper Banach density such that $A+B\subseteq C$.
We improve these results by establishing a strong correspondence between sumsets in discrete abelian groups, level sets of convolutions in compact abelian groups, and sumsets in compact abelian groups. Our proofs avoid measure preserving dynamics and nonstandard analysis, and our results apply to discrete abelian groups of any cardinality.
Cocompact unfolding trees
This paper will show when a rooted path tree of a finite directed rooted graph has only finitely many orbits under the action of its undirected automorphism group (i.e. when it is cocompact). This will allow us to specify which trees are almost isomorphic to cocompact trees. We will provide an algorithm that will determine this, thus mostly answering question (1) from arXiv:2212.07205.
Prime Power Residues and Blocking Sets
Published
• View Publication
• BIB
Let $q$ be a fixed odd prime. We show that a finite subset $B$ of integers, not containing any perfect $q^{th}$ power, contains a $q^{th}$ power modulo almost every prime if and only if $B$ corresponds to a blocking set (with respect to hyperplanes) in $\mathrm{PG}(\mathbb{F}_{q}^{k})$. Here, $k$ is the number of distinct prime divisors of $q$-free parts of elements of $B$. As a consequence, the property of a subset $B$ to contain $q^{th}$ power modulo almost every prime $p$ is invariant under geometric $q$-equivalence defined by an element of the projective general linear group $\mathrm{PGL}(\mathbb{F}_{q}^{k})$. Employing this connection between two disparate branches of mathematics, Galois geometry and number theory, we classify, and provide bounds on the sizes of, minimal such sets $B$.
Regular sets in Cayley sum graphs on generalized dicyclic groups
Published
• View Publication
• BIB
For a graph $Γ=(V(Γ),E(Γ))$, a subset $C$ of $V(Γ)$ is called an $(α,β)$-regular set in $Γ$, if every vertex of $C$ is adjacent to exactly $α$ vertices of $C$ and every vertex of $V(Γ)\setminus C$ is adjacent to exactly $β$ vertices of $C$. In particular, if $C$ is an $(α,β)$-regular set in some Cayley sum graph of a finite group $G$ with connection set $S$, then $C$ is called an $(α,β)$-regular set of $G$. In this paper, we consider a generalized dicyclic group $G$ and for each subgroup $H$ of $G$, by giving an appropriate connection set $S$, we determine each possibility for $(α,β)$ such that $H$ is an $(α,β)$-regular set of $G$.
Divided difference operators for Hessenberg representations
The equivariant cohomology ring of a regular semisimple Hessenberg variety in type A is a free module over the equivariant cohomology ring of a point. When equipped with Tymoczko's dot action, it becomes a twisted representation of the symmetric group, and the character of this representation is given by the chromatic quasisymmetric function of an indifference graph. In this note, we use divided difference operators to decompose this representation as a direct sum of sub-representations in a way that categorifies the modular relation between chromatic quasisymmetric functions.
When does a tree activate the random graph?
Let $F$ and $G$ be two graphs. A spanning subgraph $H$ of $G$ is called weakly $F$-saturated if one can add to $H$ the edges of $G \setminus H$ in some order, so that whenever a new edge is added, a new copy of $F$ is formed. Obtaining lower bounds for the minimum size $\mathrm{wsat}(G,F)$ of such an $H$ is a classical problem in extremal combinatorics. In particular, in the past 40 years, various algebraic tools have been developed to prove lower bounds on the weak saturation number $\mathrm{wsat}(G,F)$. Our paper uncovers a new connection of weak saturation to topology of clique complexes, that allows to prove tight lower bounds in some cases when the algebraic tools are not efficient.
It is easy to see that the smallest $K_3$-saturating graphs in $K_n$ are trees, thus $\mathrm{wsat}(K_n,K_3)=n-1$. In 2017, Korándi and Sudakov proved that this is also the case in dense random graphs $G\sim G_{n,p}$, $p=\mathrm{const}\in(0,1)$, and posed the question of determining the smallest $p$ for which $G_{n,p}$ contains a $K_3$-saturating tree with high probability. Using the new topological connection, we show that this critical $p$ is of order $n^{-1/3-o(1)}$.
Inspired by Gromov's local-to-global principle for hyperbolic groups, we further develop our topological approach and determine the critical probability up to a constant factor, for trees with diameter at most $n^{c}$, for some $c>0$.
The new connection also enables us to improve the best known upper bound on the threshold probability for simple connectivity of the 2-dimensional clique complex of $G_{n,p}$, due to Kahle.
Matroid isomorphism games
We define and study a collection of matroid isomorphism games corresponding to various axiomatic characterizations of matroids. These are nonlocal games played between two cooperative players. Each game is played on two matroids, and the matroids are isomorphic if and only if the game has a perfect classical winning strategy. We define notions of quantum isomorphism in terms of perfect quantum commuting strategies, and we find a pair of nonisomorphic matroids that are quantum isomorphic. We also give a purely algebraic characterization of quantum isomorphic matroids. Finally, we use this notion of quantum isomorphism to describe a new type of quantum automorphism group of a matroid and derive a sufficient condition for a matroid to have nonclassical quantum automorphism.
Binomiality of colored Gaussian models
Published
• View Publication
• BIB
Following earlier work by Coons-Maraj-Misra-Sorea and Misra-Sullivant, we study colored, undirected Gaussian graphical models, and present a necessary and sufficient condition for such a model to have binomial vanishing ideal. These conditions involve Jordan schemes, a variant of association schemes, well-known structures in algebraic combinatorics. Using association schemes without transitive group action, we refute the conjecture by Coons-Maraj-Misra-Sorea that binomiality implies that the color classes must be orbits under the automorphism group of the colored graph.
Cyclic Equalizability of Words and Its Application to Card-Based Cryptography
Published
• View Publication
• BIB
Card-based cryptography is a research area to implement cryptographic procedures using a deck of physical cards. In recent years, it has been found to be related to finite group theory and algebraic combinatorics, and is becoming more and more closely connected to the field of mathematics. In this paper, we discuss the relationship between card-based cryptography and combinatorics on words for the first time. In particular, we focus on cyclic equality of words. We say that a set of words are cyclically equalizable if they can be transformed to be cyclically equal by repeated simultaneous insertion of letters. The main result of this paper is to show that two binary words of equal length and equal Hamming weight are cyclically equalizable. As applications of cyclic equalizability to card-based cryptography, we describe its applications to the information erasure problem and to single-cut full-open protocols.
Orbits and equivariant local systems combinatorics in graded Lie algebras
In this paper, we will describe a combinatorial object to list the orbits in the ${\mathbb Z}$-graded Lie algebra, their Jordan bloc decomposition, their dimension, their dimension, the partial order and the equivariant local system (up to isomorphism) for four infinite families: two are for the symplectic groups and two are for the special orthogonal groups. These orbits and equivariant local systems appear in the study of perverse sheaves arising from graded Lie algebras.
A quotient-lifting approach to the Hamiltonicity of the cylindrical 5-puzzle graph
Published
• View Publication
• BIB
We construct an explicit Hamiltonian cycle in the state graph of the 5-puzzle on a toroidal 2x 3 grid, a graph with 720 vertices. The cycle is described by a short symbolic sequence of 48 moves over the alphabet {L,R,V}, repeated $15$ times, which can be verified directly. We also find a shorter 24-move sequence whose repetition yields a 2-cycle cover, which can be spliced into a Hamiltonian path. These constructions arise naturally from a general method: lifting Hamiltonian cycles from a quotient graph under the action of the puzzle's symmetry group.
The method produces compact, human-readable cycle encodings and appears effective in broader settings, suggesting a combinatorial grammar underlying Hamiltonian paths in symmetric configuration spaces.
Local entropy theory, combinatorics, and local theory of Banach spaces
Each continuous action of a countably infinite discrete group $Γ$ on a compact metrizable space X induces a continuous action of $Γ$ on the space M(X) of Borel probability measures on X. We compare the local entropy theory for these two actions, and describe the relation between their IE-tuples. Several other types of tuples are also studied. Our main tool is a new combinatorial lemma. We also give an application of the combinatorial lemma to the local theory of Banach spaces.
Non-orientable regular maps with negative prime-power Euler characteristic
In this paper we provide a classification of all regular maps on surfaces of Euler characteristic $-r^d$ for some odd prime $r$ and integer $d\ge 1$. Such maps are necessarily non-orientable, and the cases where $d = 1$ or $2$ have been dealt with previously.
This classification splits naturally into three parts, based on the nature of the automorphism group $G$ of the map, and particularly the structure of its quotient $G/O(G)$ where $O(G)$ is the largest normal subgroup of $G$ of odd order. In fact $G/O(G)$ is isomorphic to either a $2$-group (in which case $G$ is soluble), or $\textrm{PSL}(2,q)$ or $\textrm{PGL}(2,q)$ where $q$ is an odd prime power. The result is a collection of $18$ non-empty families of regular maps, with conditions on the associated parameters.
Semisimple algebras related to immaculate tableaux
Given a direct sum $A$ of full matrix algebras, if there is a combinatorial interpretation associated with both the dimension of $A$ and the dimensions of the irreducible $A$-modules, then this can be thought of as providing an analogue of the famous Frobenius-Young identity $n! = \sum_{λ\vdash n} ( f^λ )^{2}$ derived from the semisimple structure of the symmetric group algebra $\mathbb{C}S_{n}$, letting $f^λ$ denote the number of Young tableaux of partition shape $λ\vdash n$. By letting $g^α$ denote the number of standard immaculate tableaux of composition shape $α\vDash n$, we construct an algebra $\mathbb{C}\mathcal{I}_{n}$ with a semisimple structure such that $\dim \mathbb{C}\mathcal{I}_{n} = \sum_{α\vDash n} (g^α)^{2}$ and such that $\mathbb{C}\mathcal{I}_{n} $ contains an isomorphic copy of $\mathbb{C}S_{n}$. We bijectively prove a recurrence for $\dim \mathbb{C}\mathcal{I}_{n}$ so as to construct a basis of $\mathbb{C}\mathcal{I}_{n}$ indexed by permutation-like objects that we refer to as immacutations. We form a basis $\mathcal{B}_{n}$ of $\mathbb{C}\mathcal{I}_{n}$ such that $\mathbb{C} \mathcal{B}_n$ has the structure of a monoid algebra in such a way so that $\mathcal{B}_n$ is closed under the multiplicative operation of $\mathbb{C} \mathcal{I}_n$, yielding a monoid structure on the set of order-$n$ immacutations.
Spherical designs for finite quaternionic unit groups and their applications to modular forms
Published
• View Publication
• BIB
For a finite subset $X$ of the $d$-dimensional unit sphere, the harmonic strength $T(X)$ of $X$ is the set of $\ell\in \mathbb{N}$ such that $\sum_{x\in X} P(x)=0$ for all harmonic polynomials $P$ of homogeneous degree $\ell$. We will study three exceptional finite groups of unit quaternions, called the binary tetrahedral group $2T$ of order 24, the octahedral group $2O$ of order 48, and the icosahedral group $2I$ of order 120, which can be viewed as a subset of the 3-dimensional unit sphere. For these three groups, we determine the harmonic strength and show the minimality and the uniqueness as spherical designs. In particular, the group $2O$ is unique as a minimal subset $X$ of the 3-dimensional unit sphere with $T(X)=\{22,14,10,6,4,2 \}\cup \mathbb{O}^+$, where $\mathbb{O}^+$ denotes the set of all positive odd integers. This result provides the first characterization of $2O$ from the spherical design viewpoint.
For $G\in \{2T,2O,2I\}$, we consider the lattice $\mathcal{O}_{G}$ generated by $G$ over $R_G$ on which the group $G$ acts on by multiplication, where $R_{2T}=\mathbb{Z},\ R_{2O}=\mathbb{Z}[\sqrt{2}],\ R_{2I}=\mathbb{Z}[(1+\sqrt{5})/2]$ are the ring of integers. We introduce the spherical theta function $θ_{G,P}(z)$ attached to the lattice $\mathcal{O}_G$ and a harmonic polynomial $P$ of degree $\ell$ and prove that they are modular forms. By applying our results on the characterization of $G$ as a spherical design, we determine the cases in which the $\mathbb{C}$-vector space spanned by all $θ_{G,P}(z)$ of harmonic polynomials $P$ of homogeneous degree $\ell$ has dimension zero--without relying on the theory of modular forms.
Embedding a Praeger-Xu graph into a surface
Rotary maps (orientably regular maps) are highly symmetric graph embeddings on orientable surfaces. This paper classifies all rotary maps whose underlying graphs are Praeger-Xu graphs, denoted $\operatorname{C}(p,r,s)$, for any odd prime $p$ that does not divide $r$. Our main result establishes a one-to-one correspondence between the isomorphism classes of these maps and the multiplicity-free representations of the dihedral group $\operatorname{D}_{2r}$ over the finite field $\mathbb{F}_p$. This work extends a recent classification for the case where $p=2$.
Study of $p$-Young tableaux, Robinson-Schensted correspondence and the lacunary Cauchy identity of group algebras $KG_{r}$ and $KSG_{r}$
In this paper, we develop the Robinson-Schensted correspondence between the elements of the groups $G_{r}$ $(\mathbb{Z}_{p^{r}}\rtimes \mathbb{Z}^{*}_{p^{r}})$ and $SG_{r}$ $(\mathbb{Z}_{p^{r-1}}\rtimes \mathbb{Z}^{*}_{p^{r}})$, along with a pair of the standard $p$-Young tableaux. This approach differs from the classical method, and ours is based on matrix units arising from orthogonal primitive idempotents computed for every group algebra. Some classical properties of the Robinson-Schensted correspondence are discussed. As a by-product, we also extend the Cauchy identity to our setup, which we refer to as the lacunary Cauchy identity. This study offers new insights into the representation theory of these groups and their combinatorial structures.
On the association scheme of perfect matchings and their designs
Published
• View Publication
• BIB
We investigate generalisations of 1-factorisations and hyperfactorisations of the complete graph $K_{2n}$. We show that they are special subsets of the association scheme obtained from the Gelfand pair $(S_{2n},S_2 \wr S_n)$. This unifies and extends results by Cameron (1976) and gives rise to new existence and non-existence results. Our methods involve working in the group algebra $\mathbb{C}[S_{2n}]$ and using the representation theory of $S_{2n}$.