group
10226 papers tagged with this keyword
Stanley decompositions of modules of covariants
Let $H$ be a complex reductive group, with finite-dimensional representations $W$ and $U$. The module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial maps $\varphi: W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{O}(V)$, or $\operatorname{Sp}(V)$, where $W$ is a direct sum of copies of $V$ and $V^*$, and $U$ is an arbitrary rational representation (with $U$ restricted to exterior powers of $V$ in the $H= \operatorname{O}(V)$ case). Our main result gives uniform Stanley decompositions of these modules of covariants, with Stanley spaces parametrized by combinatorial objects we call jellyfish. As a corollary, we write down the Hilbert series as a finite sum of rational functions, each with a combinatorial interpretation in terms of lattice paths. Notably, these results do not rely on the module being Cohen-Macaulay. We further apply our methods to invariant rings for $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$. Our proofs (for $H = \operatorname{GL}(V)$ and $\operatorname{Sp}(V)$) rely on previous work by Jackson on standard monomial theory for dual reductive pairs, since classical modules of covariants can be viewed via Howe duality as Harish-Chandra modules of unitary highest weight representations of a certain real reductive group. As a first step toward extending this program to arbitrary unitary highest weight representations (including those of the exceptional groups), we establish analogous results uniformly for the Wallach representations of type ADE.
Cycle structure of Mallows permutation model with the $L^1$ distance
Introduced by Mallows as a ranking model in statistics, Mallows permutation model is a class of non-uniform probability distributions on the symmetric group $S_n$. The model depends on a distance metric on $S_n$ and a scale parameter $β$. In this paper, we take the distance metric to be the $L^1$ distance (also known as Spearman's footrule in the statistics literature), and investigate the cycle structure of random permutations drawn from Mallows permutation model with the $L^1$ distance.
We focus on the parameter regime where $β>0$. We show that the expected length of the cycle containing a given point is of order $\min\{\max\{β^{-2},1\},n\}$, and the expected diameter of the cycle containing a given point is of order $\min\{e^{-2β}\max\{β^{-2},1\}, n-1\}$. Moreover, when $β\ll n^{-1\slash 2}$, the sorted cycle lengths (in descending order) normalized by $n$ converge in distribution to the Poisson-Dirichlet law with parameter $1$. The proofs of the results rely on the hit and run algorithm, a Markov chain for sampling from the model.
Invariable generation of finite simple groups and rational homology of coset posets
Published in J. Algebra 659 (2024) 686-697
• View Publication
• BIB
We show that every finite simple group is generated invariably by a Sylow subgroup and a cyclic group. It follows that that the order complex of the coset poset of an arbitrary finite group has nontrivial reduced rational homology.
Tops of graphs of non-degenerate linear codes
Let $Γ_k(V)$ be the Grassmann graph whose vertex set ${\mathcal G}_{k}(V)$ is formed by all $k$-dimensional subspaces of an $n$-dimensional vector space $V$ over the finite field $F_q$ consisting of $q$ elements. We discuss its subgraph $Γ(n,k)_q$ with the vertex set ${\mathcal C}(n,k)_q$ consisting of all non-degenerate linear $[n, k]_q$ codes. %We assume that $1<k<n-1$. We study maximal cliques $\langle U]^{c}_{k}$ of $Γ(n,k)_q$, which are intersections of tops of $Γ_k(V)$ with ${\mathcal C}(n,k)_q$. We show when they are contained in a line of ${\mathcal G}_{k}(V)$ and then we prove that $\langle U]^{c}_{k}$ is a maximal clique of $Γ(n,k)_q$ when it is not contained in a line of ${\mathcal G}_{k}(V)$. Furthermore, we show that the automorphism group of the set of such maximal cliques is isomorphic with the automorphism group of $Γ(n,k+1)_{q}$.
Classification of cubic tricirculant nut graphs
Published in Electron. J. Combin. 31 (2024) #P2.31
• View Publication
• BIB
A nut graph is a simple graph whose adjacency matrix has the eigenvalue zero with multiplicity one such that its corresponding eigenvector has no zero entries. It is known that there exist no cubic circulant nut graphs. A bicirculant (resp. tricirculant) graph is defined as a graph that admits a cyclic group of automorphisms having two (resp. three) orbits of vertices of equal size. We show that there exist no cubic bicirculant nut graphs and we provide a full classification of cubic tricirculant nut graphs.
Sandpiles on the Vicsek fractal explode with probability 1/4
Published
• View Publication
• BIB
Vicsek fractal graphs are an important class of infinite graphs with self similar properties, polynomial growth and treelike features, on which several dynamical processes such as random walks or Abelian sandpiles can be rigorously analyzed and one can obtain explicit closed form expressions. While such processes on Vicsek fractals and on Euclidean lattices $\mathbb{Z}^2$ share some properties for instance in the recurrence behaviour, many quantities related to sandpiles on Euclidean lattices are still poorly understood. The current work focuses on the stabilization and explosion of Abelian sandpiles on Vicsek fractal graphs, and we prove that a sandpile sampled from the infinite volume limit plus one additional particle stabilizes with probability 3/4, that is, it does not stabilize almost surely and it explodes with the complementary probability 1/4. We prove the main result by using two different approaches: one of probabilistic nature and one of algebraic flavor. The first approach is based on investigating the particles sent to the boundary of finite volumes and showing that their number stays above four with positive probability. In the second approach we relate the question of stabilization and explosion of sandpiles in infinite volume to the order of elements of the sandpile group on finite approximations of the infinite Vicsek graph. The method applies to more general state spaces and by employing it we also find all invariant factors of the sandpile groups on the finite approximations of the infinite Vicsek fractal.
Spinors from pure spinors
Published in The Quarterly Journal of Mathematics, 2025, haaf025
• View Publication
• BIB
We propose and develop a new method to classify orbits of the spin group ${\rm Spin}(2d)$ in the space of its semi-spinors. The idea is to consider spinors as being built as a linear combination of their pure constituents, imposing the constraint that no pair of pure spinor constituents sums up to a pure spinor. We show that this leads to a simple combinatorial problem that has a finite number of solutions in dimensions up to and including fourteen. We call each distinct solution a combinatorial type of an impure spinor. We represent each combinatorial type graphically by a simplex, with vertices corresponding to the pure constituents of a spinor, and edges being labelled by the dimension of the totally null space that is the intersection of the annihilator subspaces of the pure spinors living at the vertices. We call the number of vertices in a simplex the impurity of an impure spinor. In dimensions eight and ten the maximal impurity is two. Dimension twelve is the first dimension where one gets an impurity three spinor, represented by a triangle. In dimension fourteen the generic orbit has impurity four, while the maximal impurity is five. We show that each of our combinatorial types uniquely corresponds to one of the known spinor orbits, thus reproducing the classification of spinors in dimensions up to and including fourteen from simple combinatorics. Our methods continue to work in dimensions sixteen and higher, but the number of the possible distinct combinatorial types grows rather rapidly with the dimension.
Homology of matching complexes and representations of symmetric groups
Published
• View Publication
• BIB
We compute the homology of the matching complex $M(Γ)$, where $Γ$ is the complete hypergraph on $n\geq 2$ vertices, and analyse the $S_n$-representations carried by this homology. These results are achieved using standard techniques in combinatorial topology, such as the theory of shellings. We then broaden the scope to the larger class of fibre-closed families of simplicial complexes and consider these through the lens of representation stability. This allows us to prove a number of results of an asymptotic nature, such as an analysis of the growth of Betti numbers and the kinds of irreducible $S_n$-representations that appear.
Equivariant Hilbert and Ehrhart series under translative group actions
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 spectra of Laplace operators on covering simplicial complexes
We give a decomposition of the Laplace operator (in matrix form) of a covering simplicial complex as a direct sum of several matrices, one of which is the Laplace operator of the base complex. It follows that the spectrum of a covering simplicial complex is a multiset union of the spectrum of the base simplicial complex and the spectra of other relevant matrices, which implies the spectral inclusion property of Horak and Jost. In the case of a $2$-fold covering, we show that the spectrum is a multiset union of the spectrum of the base complex and that of an incidence-signed simplicial complex, thereby generalizing a result of Bilu and Linial from graphs to simplicial complexes. Additionally, we show that the dimension of the cohomology of a covering complex is greater than or equal to that of the base complex. Our arguments exploit the coverings of incidence graphs of simplicial complexes and the representation theory of permutation groups.
Points-Polynomials Incidence Theorem with Applications to Coding Theory
Published
• View Publication
• BIB
This paper focuses on incidences over finite fields, extending to higher degrees a result by Vinh \cite{VINH20111177} on the number of point-line incidences in the plane $\mathbb{F}^2$, where $\mathbb{F}$ is a finite field. Specifically, we present a bound on the number of incidences between points and polynomials of bounded degree in $\mathbb{F}^2$. Our approach employs a singular value decomposition of the incidence matrix between points and polynomials, coupled with an analysis of the related group algebras. This bound is then applied to coding theory, specifically to the problem of average-radius list decoding of Reed-Solomon (RS) codes. We demonstrate that RS codes of certain lengths are average-radius list-decodable with a constant list size, which is dependent on the code rate and the distance from the Johnson radius. While a constant list size for list-decoding of RS codes in this regime was previously established, its existence for the stronger notion of average-radius list-decoding was not known to exist.
Symmetries of voltage operations on polytopes, maps and maniplexes
Published
• View Publication
• BIB
Voltage operations extend traditional geometric and combinatorial operations (such as medial, truncation, prism, and pyramid over a polytope) to operations on maniplexes, maps, polytopes, and hypertopes. In classical operations, the symmetries of the original object remain in the operated one, but sometimes additional symmetries are created; the same situation arises with voltage operations. We characterise the automorphisms of the operated object that are derived from the original one and use this to bound the number of flag orbits (under the action of the automorphism group) of the operated object in terms of the original one. The conditions under which the automorphism group of the original object is the same as the automorphism group of the operated object are given. We also look at the cases where there is additional symmetry, which can be accurately described due to the symmetries of the operation itself.
Quantum automorphisms of matroids
Published
• View Publication
• BIB
Motivated by the vast literature of quantum automorphism groups of graphs, we define and study quantum automorphism groups of matroids. A key feature of quantum groups is that there are many quantizations of a classical group, and this phenomenon manifests in the cryptomorphic characterizations of matroids. Our primary goals are to understand, using theoretical and computational techniques, the relationship between these quantum groups and to find when these quantum groups exhibit quantum symmetry. Finally, we prove a matroidal analog of Lovász's theorem characterizing graph isomorphisms in terms of homomorphism counts.
Transitive Nonlocal Games
Published in J. Math. Phys. 65, 072202 (2024)
• View Publication
• BIB
We study a class of nonlocal games, called transitive games, for which the set of perfect strategies forms a semigroup. We establish several interesting correspondences of bisynchronous transitive games with the theory of compact quantum groups. In particular, we associate a quantum permutation group with each bisynchronous transitive game and vice versa. We prove that the existence of a C*-strategy, the existence of a quantum commuting strategy, and the existence of a classical strategy are all equivalent for bisynchronous transitive games. We then use some of these correspondences to establish necessary and sufficient conditions for some classes of correlations, that arise as perfect strategies of transitive games, to be nonlocal.
Rigidity of symmetric linearly constrained frameworks in the plane
Published
• View Publication
• BIB
A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks where some vertices are constrained to move on fixed affine subspaces. Streinu and Theran characterised exactly which linearly constrained frameworks are generically rigid in 2-dimensional space. In this article we extend their characterisation to symmetric frameworks. In particular necessary combinatorial conditions are given for a symmetric linearly constrained framework in the plane to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In the case of rotation symmetry groups whose order is either 2 or odd, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts.
Pretty good fractional revival on Cayley graphs over dicyclic groups
In this paper, we investigate the existence of pretty good fractional revival on Cayley graphs over dicyclic groups. We first give a necessary and sufficient description for Cayley graphs over dicyclic groups admitting pretty good fractional revival. By this description, we give some sufficient conditions for Cayley graphs over dicyclic groups admitting or not admitting pretty good fractional revival.
Echeloned Spaces
Published in Forum of Mathematics, Sigma 13 (2025) e89
• View Publication
• BIB
We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly continuous or have a uniformly discrete image. In particular, every automorphism of a metrizable echeloned space is uniformly continuous, and for every metric space with midpoints the automorphisms of the induced echeloned space are precisely the dilations.
Next we focus on finite echeloned spaces. They form a Fraisse class and we describe its Fraisse-limit both as the echeloned space induced by a certain homogeneous metric space and as the result of a random construction. Building on this we show that the class of finite ordered echeloned spaces is Ramsey. The proof of this result combines a combinatorial argument by Nesetril and Hubicka with a topological-dynamical point of view due to Kechris, Pestov, and Todorcevic. Finally, using the method of Katetov functors due to Kubis and Masulovic, we prove that the full symmetric group on a countable set topologically embeds into the automorphism group of the countable universal homogeneous echeloned space.
A Polynomial Method for Counting Colorings of Sparse Graphs
The notion of $S$-labeling of graphs, where $S$ is a subset of a symmetric group, was introduced in 2019 by Jin, Wong, and Zhu. This notion provides the framework for a common generalization of various well studied notions of graph coloring, including classical coloring, signed $k$-coloring, signed $\mathbb{Z}_k$-coloring, DP (or correspondence) coloring, group coloring, and coloring of gained graphs. In this paper, we present a unified and simple polynomial method for giving exponential lower bounds on the number of colorings of an $S$-labeled graph for all such $S$. This algebraic technique allows us to prove new lower bounds on the number of colorings of any $S$-labeling of graphs satisfying certain sparsity conditions. We also investigate how the structure of $S$ can be exploited to improve the applicability of these bounds. Our results give new lower bounds on the number of DP-colorings, and consequently the number of all types of colorings listed above. This includes the chromatic polynomial and the number of list colorings of families of planar graphs, and the number of colorings of signed graphs. These enumerative bounds improve previously known results or are the first such known results.
A differential approach to Maxwell-Cremona liftings
In 1864, J. C. Maxwell introduced a link between self-stressed frameworks in the plane and piecewise linear liftings to 3-space. This connection has found numerous applications in areas such as discrete geometry, control theory and structural engineering. While there are some generalisations of this theory to liftings of $d$-complexes in $d$-space, extensions for liftings of frameworks in $d$-space for $d\geq 3$ have been missing. In this paper, we introduce and study differential liftings on general graphs using differential forms associated with the elements of the homotopy groups of the complements to the frameworks. Such liftings play the role of integrands for the classical notion of liftings for planar frameworks. We show that these differential liftings have a natural extension to self-stressed frameworks in higher dimensions. As a result we generalise the notion of classical liftings to both graphs and multidimensional $k$-complexes in $d$-space ($k=2,\ldots, d$). Finally we discuss a natural representation of generalised liftings as real-valued functions on Grassmannians.
Matrices with simple symmetric digraphs and their group inverses
A new class of simple symmetric digraphs called $\mathcal{D}$ is defined and studied here. Any digraph in $\mathcal{D}$ has the property that each non-pendant vertex is adjacent to at least one pendant vertex. A graph theoretical description for the entries of the group inverse of a real square matrix with any digraph belonging to this class is given. We classify all the real square matrices $A$ such that the digraphs associated with $A$ and $A^{\#}$ both are in $\mathcal{D}$, that is, the digraph related to $A$ is either a corona or a star digraph.