group
10226 papers tagged with this keyword
Interpretable Machine Learning for Kronecker Coefficients
We analyze the saliency of neural networks and employ interpretable machine learning models to predict whether the Kronecker coefficients of the symmetric group are zero or not. Our models use triples of partitions as input features, as well as b-loadings derived from the principal component of an embedding that captures the differences between partitions. Across all approaches, we achieve an accuracy of approximately 83% and derive explicit formulas for a decision function in terms of b-loadings. Additionally, we develop transformer-based models for prediction, achieving the highest reported accuracy of over 99%.
New Necessary Conditions for Existence of Strong External Difference Families
Strong external difference families (SEDFs) were introduced by Paterson and Stinson as a more restrictive version of external difference families. SEDFs can be used to produce optimal strong algebraic manipulation detection codes. In this paper, we use the theory of cyclotomic fields, algebraic number theory and character theory to give some new necessary conditions for the existence of SEDFs. Based on the results of decomposition of prime ideals and Schmidt's field descent method, two exponent bounds of SEDFs are presented. Based on the field descent method, a special homomorphism from an abelian group to its cyclic subgroup and Gauss sums, some bounds for prime divisors of $v$ and some congruence relations between $k, m$ and $λ$ for $(v,m,k,λ)$-SEDFs with $m>2$ are established.
Proof of a conjecture of Green and Liebeck on codes in symmetric groups
Let $A$ and $B$ be subsets of a finite group $G$ and $r$ a positive integer. If for every $g\in G$, there are precisely $r$ pairs $(a,b)\in A\times B$ such that $g=ab$, then $B$ is called a code in $G$ with respect to $A$ and we write $r G=A\boldsymbol{\cdot}B$. If in addition $B$ is a subgroup of $G$, then we say that $B$ is a subgroup code in $G$. In this paper we resolve a conjecture by Green and Liebeck \cite[Conjecture 2.3]{Green20} on certain subgroup codes in the symmetric group $S_n$. Let $n>2k$ and let $j$ be such that $2^j\leqslant k<2^{j+1}$. Suppose that $X$ is a conjugacy class in $S_n$ containing $x$, and $Y_k$ is the subgroup $S_k\times S_{n-k}$ of $S_n$, where the factor $S_k$ permutes the subset $\{1,\ldots,k\}$ and the factor $S_{n-k}$ permutes the subset $\{k+1,\ldots,n\}$. We prove that $r S_n=X\boldsymbol{\cdot}Y_k$ for some positive integer $r$ if and only if the cycle type of $x$ has exactly one cycle of length $2^i$ for $0\leqslant i\leqslant j$ and all other cycles have length at least $k+1$. We also propose several problems concerning the existence of certain subgroup codes in a finite group $G$ with respect to a conjugation-closed subset in $G$.
Orbits on a product of two flags and a line and the Bruhat Order, I
Let $G=GL(n)$ be the $n\times n$ complex general linear group and let $\mathcal{B}_{n}$ be its flag variety. The standard Borel subgroup $B$ of upper triangular matrices acts on the product $\mathcal{B}_{n}\times \mathbb{P}^{n-1}$ with finitely many orbits. In this paper, we study the $B$-orbits on the subvarieties $\mathcal{B}_{n}\times \mathcal{O}_{i}$, where $\mathcal{O}_{i}$ is the $B$-orbit on $\mathbb{P}^{n-1}$ containing the line through the origin in the direction of the $i$-th standard basis vector of $\mathbb{C}^{n}$. For each $i=1,\dots, n$, we construct a bijection between $B$-orbits on $\mathcal{B}_{n}\times\mathcal{O}_{i}$ and certain pairs of Schubert cells in $\mathcal{B}_{n}\times\mathcal{B}_{n}$. We also show that this bijection can be used to understand the Richardson-Springer monoid action on such $B$-orbits in terms of the classical monoid action of the symmetric group on itself. We also develop combinatorial models of these orbits and use these models to compute exponential generating functions for the sequences $\{|B\backslash(\mathcal{B}_{n}\times\mathcal{O}_{i})|\}_{n\geq 1}$ and $\{|B\backslash (\mathcal{B}_{n}\times \mathbb{P}^{n-1})|\}_{n\geq 1}$. In the sequel to this paper, we use the results of this paper to construct a correspondence between $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ and a collection of $B$-orbits on the flag variety $\mathcal{B}_{n+1}$ of $GL(n+1)$ and show that this correspondence respects closures relations and preserves monoid actions. As a consequence both closure relations and monoid actions for all $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ can be understood via the Bruhat order by using our results in [CE].
Intersection Hypergraph on D_n
Let $G$ be a group and $S$ be the set of all non-trivial proper subgroups of $G$. The intersection hypergraph of $G$, denoted by $\tildeΓ_\mathcal{H}(G)$, is a hypergraph whose vertex set is $\{H \in S \,\, | \,\, H \cap K = \{e\} \,\, \text{for some} \, K \in S \}$ and hyperedges are the maximal subsets of the vertex set with the property that any two vertices in it have a trivial intersection. The aim of this paper is to study the intersection hypergraph of dihedral groups, $\tildeΓ_\mathcal{H}(D_n)$. We examine some of the structural properties, viz., diameter, girth and chromatic number of $\tildeΓ_\mathcal{H}(D_n)$. Also, we provide characterizations for hypertreees, star structures of $\tildeΓ_\mathcal{H}(D_n)$, and investigate the planarity and non-planarity of $\tildeΓ_\mathcal{H}(D_n)$.
Representation theory and central limit theorems for traces of commutators for compact Lie groups
There has been some work in the literature on limit theorems for the trace of commutators for compact Lie groups. We revisit this from the perspective of combinatorial representation theory.
Excluded power graphs of groups
Let $G$ be a group, and let $\mathcal{X}$ be a set of integers greater than one. We consider the directed $\mathcal{X}$-excluded power graph of $G$, which takes $G$ as its vertex set and has an edge from $g$ to each power of $g$ other than itself provided the power is not divisible by any element of $\mathcal{X}$. We show that when $G=H\times K$ for $H$ and $K$ with coprime orders, excluding the prime factors of $|H|$ yields a power graph with a quotient consisting of multiple copies of a quotient of the power graph (no exclusions) of $K$. For any prime $p$, we describe the groups whose directed and undirected $\{p\}$-excluded power graphs consist of disjoint (directed) cliques.
Probabilistic intersection theory in Riemannian homogeneous spaces
Let $M=G/H$ be a Riemannian homogeneous space, where $G$ is a compact Lie group with closed subgroup $H$. Classical intersection theory states that the de Rham cohomology ring of $M$ describes the signed count of intersection points of submanifolds $Y_1, \ldots, Y_s$ of $M$ in general position, when the codimensions add up to $\dim M$.
We introduce the probabilistic intersection ring $\mathrm{H}_{\mathbb E}(M)$, whose multiplication describes the unsigned count of intersection points, when the $Y_i$ are randomly moved by independent uniformly random elements of $G$. The probabilistic intersection ring $\mathrm{H}_{\mathbb E}(M)$ has the structure of a graded commutative and associative real Banach algebra. It is defined as a quotient of the ring of Grassmann zonoids of a fixed cotangent space $V$ of $M$. The latter was introduced by the authors in [Adv. Math. 402, 2022]. There is a close connection to valuations of convex bodies: $\mathrm{H}_{\mathbb E}(M)$ can be interpreted as a subspace of the space of translation invariant, even, continuous valuations on $V$, whose multiplication coincides with Alesker's multiplication for smooth valuations.
We describe the ring structure of the probabilistic intersection ring for spheres, real projective space and complex projective space, relying on Fu [J. Diff. Geo. 72(3), 2006] for the latter case. From this, we derive an interesting probabilistic intersection formula in complex projective space. Finally, we initiate the investigation of the probabilistic intersection ring for real Grassmannians, outlining the construction of a probabilistic version of Schubert Calculus.
Matroidal representations of low rank
We study tropical subrepresentations of the Boolean regular representation $\mathbb{B}[G]$ of a finite group $G$. These are equivalent to the matroids on ground set $G$ for which left-multiplication by each element of $G$ is a matroid automorphism. We completely classify the tropical subrepresentations of $\mathbb{B}[G]$ for rank 3. When $G$ is an abelian group, our approach can be seen as a generalization of Golomb rulers. In doing so, we also introduce an interesting class of matroids obtained from equivalence relations on finite sets.
A proof of the Naito--Sagaki conjecture via the branching rule for $\imath$quantum groups
The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain ``rational paths'' satisfying specific conditions. This conjecture can be thought of as a non-Levi type analog of the Levi type branching rule, stated in terms of the path model due to Littelmann, and was proved combinatorially in 2018 by Schumann--Torres. In this paper, we give a new proof of the Naito--Sagaki conjecture independently of Schumann--Torres, using the branching rule based on the crystal basis theory for $\imath$quantum groups of type $\mathrm{AII}_{2n-1}$. Here, note that $\imath$quantum groups are certain coideal subalgebras of a quantized universal enveloping algebra obtained by $q$-deforming symmetric pairs, and also regarded as a generalization of quantized universal enveloping algebras; these were defined by Letzter in 1999, and since then their representation theory has become an active area of research. The main ingredients of our approach are certain combinatorial operations, such as promotion operators and Kashiwara operators, which are well-suited to the representation theory of complex semisimple Lie algebras.
Hybrid spherical designs
Spherical $t$-designs are finite point sets on the unit sphere that enable exact integration of polynomials of degree at most $t$ via equal-weight quadrature. This concept has recently been extended to spherical $t$-design curves by the use of normalized path integrals. However, explicit examples of such curves are rare.
We construct new spherical $t$-design curves for small $t$ based on the edges of a distinct subclass of convex polytopes. We then introduce hybrid $t$-designs that combine points and curves for exact polynomial integration of higher degree. Our constructions are based on the vertices and edges of dual pairs of convex polytopes and polynomial invariants of their symmetry group. A notable result is a hybrid $t$-design for $t=19$.
The free and parking quasi-symmetrizing actions
We define two actions of the infinite symmetric group on the set of words on positive integers, called the free and parking quasi-symmetrizing actions, whose invariants are respectively the elements of the Hopf algebras $\textbf{FQSym}^*$ and $\textbf{PQSym}^*$. We study in depth the parking quasi-symmetrizing action by generalizing it to actions with a parameter $r\in(\mathbb{N}\setminus \{0\} )\bigcup\{\infty\}$. We prove that the spaces of the invariants under these $r$-actions form an infinite chain of nested graded Hopf subalgebras of $\textbf{PQSym}^*$. We give some properties of these Hopf algebras including their Hilbert series, a basis, and formulas for their product and coproduct. Finally we look more closely at the case $r=\infty$, obtaining enumerative results related to trees with maximal decreasing subtrees of given sizes.
A Note on Subgroup Perfect Codes in Cayley Graphs
In this paper, we give a necessary and sufficient condition for a subgroup to be a perfect code for finite groups. As an application, we determine all subgroup perfect codes of extraspecial 2-groups and finite groups whose Sylow 2-subgroup is extraspecial.
Cancellation of a critical pair in discrete Morse theory and its effect on (co)boundary operators
Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to the computation of homology groups of a simpler chain complex. This homology computation hinges on an efficient enumeration of gradient trajectories. The technique of cancelling pairs of critical simplices reduces the number of critical simplices, though it also perturbs the gradient trajectories. In this article, we demonstrate that (the matrix of) a certain modified boundary operator of interest can be derived from the corresponding original boundary operator through a sequence of elementary row operations. Thus, it eliminates the need of enumeration of the new gradient trajectories. We also obtain a similar result for coboundary operators.
A Coboundary Temperely-Lieb Category for $\mathfrak{sl}_2$-Crystals
By considering a suitable renormalization of the Temperley--Lieb category, we study its specialization to the case $q=0$. Unlike the $q\neq 0$ case, the obtained monoidal category, $\mathcal{TL}_0(\Bbbk)$, is not rigid or braided. We provide a closed formula for the Jones--Wenzl projectors in $\mathcal{TL}_0(\Bbbk)$ and give semisimple bases for its endomorphism algebras. We explain how to obtain the same basis using the representation theory of finite inverse monoids, via the associated Möbius inversion. We then describe a coboundary structure on $\mathcal{TL}_0(\Bbbk)$ and show that its idempotent completion is coboundary monoidally equivalent to the category of $\mathfrak{sl}_{2}$-crystals. This gives a diagrammatic description of the commutor for $\mathfrak{sl}_{2}$-crystals defined by Henriques and Kamnitzer and of the resulting action of the cactus group. We also study fiber functors of $\mathcal{TL}_0(\Bbbk)$ and discuss how they differ from the $q\neq 0$ case.
Extended weak order for the affine symmetric group
The extended weak order on a Coxeter group $W$ is the poset of biclosed sets in its root system. In (Barkley-Speyer 2024), it was shown that when $W=\widetilde{S}_n$ is the affine symmetric group, then the extended weak order is a quotient of the lattice $L_n$ of translation-invariant total orderings of the integers. In this article, we give a combinatorial introduction to $L_n$ and the extended weak order on $\widetilde{S}_n$. We show that $L_n$ is an algebraic completely semidistributive lattice. We describe its canonical join representations using a cyclic version of Reading's non-crossing arc diagrams. We also show analogous statements for the lattice of all total orders of the integers, which is the extended weak order on the symmetric group $S_\infty$. A key property of both of these lattices is that they are profinite; we also prove that a profinite lattice is join semidistributive if and only if its compact elements have canonical join representations. We conjecture that the extended weak order of any Coxeter group is a profinite semidistributive lattice.
Graph Powers of Groups
The Lights Out Puzzle, played on a graph $Γ$, has been studied using linear algebra over $\mathbb{F}_2$ and more generally over $\mathbb{Z}/k\mathbb{Z}$. We generalize the setting by allowing the states of vertices to be the elements of a group $G$, where a \textit{click} in vertex $v$ multiplies the state of $v$ and its neighbors by an element $g \in G$ on the right.
Starting with the identity element $e \in G$ for all vertices, the totality of all achievable state configurations forms a group $G^Γ$. This group generalizes parallel products of group actions and provides a rich structure for analysis. For many graphs, which we term ``RA'' (reducible to abelian), the problem reduces -- regardless of $G$ -- to a linear algebra question over $\mathbb{Z}$. We discuss a chain of five different subgroups consisting of commutators and introduce techniques for showing that families of graphs are RA using each. In particular, using Heisenberg groups, we establish that a graph is RA precisely when a certain lattice spans $\mathbb{Z}^{|Γ|}$. While most graphs appear to be RA, we show the odd-dimensional cube graphs $Q_{2n+1}$ and folded cube graphs $\square_d$, for $d$ odd or 2, are not.
Diagrammatic Categories which arise from Representation Graphs
The main result of this paper utilizes the representation graph of a group $G$, $R(V,G)$, and gives a general construction of a diagrammatic category $\mathbf{Dgrams}_{R(V,G)}$. The proof of the main theorem shows that, given explicit criteria, there is an equivalence of categories between a quotient category of $\mathbf{Dgrams}_{R(V,G)}$ and a full subcategory of $G-\textbf{mod}$ with objects being the tensor products of finitely many irreducible $G$-modules.
Transposes in the $q$-deformed modular group and their applications to $q$-deformed rational numbers
The (right) $q$-deformed rational numbers was introduced by Morier-Genoud and Ovsienko, and its left variant, whose numerators and denominators are essentially the normalized Jones polynomials of rational links, by Bapat, Becker and Licata. These notions are based on continued fractions and the $q$-deformed modular group $\operatorname{PSL}_q(2,\mathbb{Z})$-actions. In this paper, we introduce the \textit{$q$-transpose} for matrices in $\operatorname{PSL}_q(2,\mathbb{Z})$ to refine the basic perspective of the theory. For example, we present a new proof and a refinement of a theorem of Leclere and Morier-Genoud stating that the trace of $A \in \operatorname{PSL}(2,\mathbb{Z})$ is always palindromic and sign coherent. We also show arithmetic/combinatorial results on left $q$-deformed rationals (e.g., the criterion for their palindromicity). Finally, we discuss the connection to the conjecture of Kantarcı Oğuz on circular fence posets.
Descent set distribution for permutations with cycles of only odd or only even lengths
It is known that the number of permutations in the symmetric group $S_{2n}$ with cycles of odd lengths only is equal to the number of permutations with cycles of even lengths only. We prove a refinement of this equality, involving descent sets: the number of permutations in $S_{2n}$ with a prescribed descent set and all cycles of odd lengths is equal to the number of permutations with the complementary descent set and all cycles of even lengths. There is also a variant for $S_{2n+1}$. The proof uses generating functions for character values and applies a new identity on higher Lie characters.