group
10226 papers tagged with this keyword
Dimensions of compositions modulo a prime
The (ordinary) representation theory of the symmetric group is fascinating and has rich connections to combinatorics, including the Frobenius correspondence to the self-dual graded Hopf algebra of symmetric functions. The $0$-Hecke algebra (of type $A$) is a deformation of the group algebra of the symmetric group, and its representation theory has an analogous correspondence to the dual graded Hopf algebras of quasisymmetric functions and noncommutative symmetric functions. Macdonald used the hook length formula for the number of standard Young tableaux of a fixed shape to determine how many irreducible representations of the symmetric group have dimensions indivisible by a prime $p$. In this paper, we study the dimensions of the projective indecomposable modules of the $0$-Hecke algebra modulo $p$; such a module is indexed by a composition and its dimension is given by a ribbon number, i.e., the cardinality of a descent class. Applying a result of Dickson on the congruence of multinomial coefficients, we count how many ribbon numbers belong to each congruence class modulo $p$. We also extend the result to other finite Coxeter groups.
Maximal Achievable Service Rates of Codes and Connections to Combinatorial Designs
We investigate the service-rate region (SRR) of distributed storage systems that employ linear codes. We focus on systems where each server stores one code symbol, and a user recovers a data symbol by accessing any of its recovery groups, subject to per-server capacity limits. The SRR--the convex polytope of simultaneously achievable request rates--captures system throughput and scalability. We first derive upper and lower bounds on the maximum request rate of each data object. These bounds hold for all linear codes and depend only on the number of parity checks orthogonal to a particular set of codeword coordinates associated with that object, i.e., the equations used in majority-logic decoding, and on code parameters. We then check the bound saturation for 1) all non-systematic codes whose SRRs are already known and 2) systematic codes. For the former, we prove the bounds are tight. For systematic codes, we show that the upper bound is achieved whenever the supports of minimum-weight dual codewords form a 2-design. As an application, we determine the exact per-object demand limits for binary Hamming codes. Our framework provides a new lens to address the SRR problem through combinatorial design theory.
The full automorphism groups of the five symmetric $(15,8,4)$-designs
It is clear that the full automorphism group of the $(15,8,4)$-design of points and hyperplane complements of ${\rm PG}(3,2)$ is ${\rm GL}(4,2)$. Using methods of point-line geometries, we determine the full automorphism groups of the remaining four symmetric $(15,8,4)$-designs and describe their actions on the sets of points and blocks.
Notes on sum-free sets in abelian groups
In this paper we highlight a few open problems concerning maximal sum-free sets in abelian groups. In addition, for most even order abelian groups $G$ we asymptotically determine the number of maximal distinct sum-free subsets in $G$. Our proof makes use of the container method.
On line-parallelisms of PG(3, q)
Let $\mathrm{PG}(3, q)$ denote the three-dimensional projective space over the finite field with $q$ elements. A line-spread of $\mathrm{PG}(3, q)$ is a collection $\mathcal{S}$ of mutually skew lines such that every point of $\mathrm{PG}(3, q)$ lies on exactly one line of $\mathcal{S}$. A parallelism of $\mathrm{PG}(3, q)$ is a set $Π$ of mutually skew line-spreads of $\mathrm{PG}(3, q)$ such that every line of $\mathrm{PG}(3, q)$ is contained in precisely one line-spread of $Π$. For a Desarguesian spread $\mathcal{D}$ and an elementary abelian group $E$ of order $q^2$ that stabilizes $\mathcal{D}$ and one of its lines, let $\mathcal{T}$ be the class of parallelisms of $\mathrm{PG}(3, q)$ admitting $E$, and comprising $\mathcal{D}$ and $q^2+q$ Hall spreads, each of which is obtained by switching one of the $q^2+q$ reguli of $\mathcal{D}$ through its $E$-fixed line. In this paper, the parallelisms in $\mathcal{T}$ are characterized geometrically and enumerated. Moreover, it is shown that $\mathcal{T}$ contains at least $Θ(q^{q-1} q!)$ mutually inequivalent parallelisms for $q$ even, and at least $Θ(q^{2q-3})$ mutually inequivalent parallelisms when $q$ is odd.
Maximal transitivity of the cactus group on standard Young tableaux
The action of the cactus group $C_n$ on Young tableaux of a given shape $λ$ goes back to Berenstein and Kirillov and arises naturally in the study of crystal bases and quantum integrable systems. We show that this action is $2$-transitive on standard Young tableaux of the shape $λ$ if and only if $λ$ is not self-transpose and not a single hook. Moreover, we show that in these cases, the image of the cactus group in the permutation group of standard Young tableaux is either the whole permutation group or the alternating group, and prove that both cases are possible for infinitely many $λ$ (though the alternating group is more frequent). As an application, this implies that the Galois group of solutions to the Bethe ansatz in the Gaudin model attached to the Lie group $GL_d$ is, in many cases, at least the alternating group. This also extends the results of Sottile and White on the multiple transitivity of the Galois group of Schubert calculus problems in Grassmannians to many new cases.
Polynomiality of Subdimensions of Diagonal Harmonics and a Sharp Stability Bound
A sequence of representations \(V_n\) of the symmetric group \(S_n\) is called representation (multiplicity) stable if, after some \(n\), the irreducible decomposition of \(V_n\) stabilizes. In particular, Church, Ellenburg and Farb (2015) showed that for fixed \(a\) and \(b\), the space of diagonal harmonics \(DH_n^{a,b}\) exhibits this behavior, with its dimension eventually stabilizing to a polynomial in \(n\). Building on this result, we use the Schedules Formula by Haglund and Loehr (2005) to obtain an explicit combinatorial polynomial for the dimension of the bigraded spaces \(DH_n^{a,b}\). This derivation not only yields the dimension formula but also produces a new sharp stability bound of \(a + b\), and determines the exact degree of the dimension polynomial, which is also \(a + b\).
Posets for Specht ideals of essential real reflection groups
Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion relations and their varieties reflect rich combinatorial structures. In this paper, we extend this theory to type $D$ and the dihedral groups. Our results complete the combinatorial study of Specht ideals across all infinite families of essential real reflection groups.
The VC-dimension of random subsets of finite groups
For a random subset of a finite group $G$ of cardinality $N$, we consider the VC-dimension of the family of its translates (equivalently the VC-dimension of a random Cayley graph) and prove a law of large numbers as $N\rightarrow\infty$. This answers a question of McDonald--Sahay--Wyman.
Proof of a conjecture on eigenvalues of transposition graph
The transposition graph $Cay(S_n,T_n)$ is the Cayley graph on the symmetric group $S_n$ generated by the set $T_n$ of all transpositions. In this paper, we show that each integer in the interval $\left[-{\lfloor(2n+1)/3 \rfloor\choose 2}, {\lfloor(2n+1)/3 \rfloor\choose 2}\right]$ is an eigenvalue of $Cay(S_n,T_n)$. This proves a recent conjecture by Kravchuk \cite{Kravchuk}.
On kernel isomorphisms of $m$-Cayley digraphs and finite $2$PCI-groups
The isomorphism problem for digraphs is a fundamental problem in graph theory. In this paper, we consider this problem for $m$-Cayley digraphs which are generalization of Cayley digraphs. Let $m$ be a positive integer. A digraph admitting a group $G$ of automorphisms acting semiregularly on the vertices with exactly $m$ orbits is called an $m$-Cayley digraph of $G$. In our previous paper, we developed a theory for $m$-Cayley isomorphisms of $m$-Cayley digraphs, and classified finite $m$CI-groups for each $m\geq 2$, and finite $m$PCI-groups for each $m\geq 4$. The next natural step is to classify finite $m$PCI-groups for $m=2$ or $3$. Note that BCI-groups form an important subclass of the $2$PCI-groups, which were introduced in 2008 by Xu et al. Despite much effort having been made on the study of BCI-groups, the problem of classifying finite BCI-groups is still widely open.
In this paper, we prove that every finite $2$PCI-group is solvable, and its Sylow $3$-subgroup is isomorphic to $Z_3, Z_3\times Z_3$ or $Z_9$, and Sylow $p$-subgroup with $p\not=3$ is either elementary abelian, or isomorphic to $Z_4$ or $Q_8$. We also introduce the kernel isomorphisms of $m$-Cayley digraphs, and establish some useful theory for studying this kind of isomorphisms. Using the results of kernel isomorphisms of $m$-Cayley digraphs together with the results on $2$PCI-groups, we give a proper description of finite BCI-groups, and in particular, we obtain a complete classification of finite non-abelian BCI-groups.
The Unit-Zero Divisor Graph of a Commutative Ring
This paper introduces a new approach to associating a graph with a commutative ring. Let $R$ be a commutative ring with identity. The unit-zero divisor graph of a commutative ring $R$, denoted by $G_{UZ}(R)$, offers a novel framework for exploring the interaction between ring and graph structures. The vertex set of $G_{UZ}(R)$ consists of all elements of the ring $R$. Two distinct vertices $x$ and $y$ in $G_{UZ}(R)$ are adjacent if and only if $x + y$ is a unit and $xy$ is a zero divisor in $R$. This dual adjacency condition gives rise to a graph that reflects both the additive and multiplicative behavior of the ring. This study investigates key structural properties of $G_{UZ}(R)$, including regularity, bipartiteness, planarity, and Hamiltonicity. In addition, it examines how these graph features are influenced by the algebraic structure of the ring, particularly the group of units, the set of zero divisors, ideals, and the Jacobson radical.
Recursive characterisation of skew morphisms of finite cyclic groups
A skew morphism of a finite group $G$ is an element $\varphi$ of $\mathrm{Sym}(G)$ preserving the identity element of $G$ and having the property that for each $a\in G$ there exists a non-negative integer $i_a$ such that $\varphi(ab)=\varphi(a)\varphi^{i_a}(b)$ for all $b\in G$. In this paper we show that if a skew morphism $\varphi$ of $\mathbb{Z}_n$ is not an automorphism of $\mathbb{Z}_n$, then it is uniquely determined by a triple $(h,α,β)$ where $h$ is an element of $\mathbb{Z}_n$, $α$ is a skew morphism of $\mathbb{Z}_a$ where $a<n$, and $β$ is a skew morphism of $\mathbb{Z}_b$ where either $b<n$, or $b=n$ and $|\langle β\rangle| <|\langle \varphi\rangle|$. Conversely, we also list necessary and sufficient conditions for a triple $(h,α,β)$ to define a skew morphism of a given cyclic group. In particular, this gives a recursive characterisation of skew morphisms for all finite cyclic groups. We use this characterisation to prove new theorems about skew morphisms of cyclic groups and to generate a census of all skew morphisms for cyclic groups of order up to $2000$.
Flag-transitive point-primitive quasi-symmetric $2$-designs and exceptional groups of Lie type
Let $\mathcal{D}$ be a non-trivial quasi-symmetric $2$-design with two block intersection numbers $x=0$ and $2\leq y\leq10$, and suppose that $G$ is an automorphism group of $\mathcal{D}$. If $G$ is flag-transitive and point-primitive, then it is known that $G$ is either of affine type or almost simple type. In this paper, we show that the socle of $G$ cannot be a finite simple exceptional group of Lie type.
Deza Cayley graphs from difference sets
In this note, we provide several constructions of Deza Cayley graphs over groups having a generalized dihedral subgroup. These constructions are based on a usage of (relative) difference sets.
Groups represented by incidence geometries
The aim of this paper is to use the framework of incidence geometry to develop a theory that permits to model both the inner and outer automorphisms of a group G simultaneously. More precisely, to any group G, we attempt to associate an incidence system whose group of type-preserving automorphisms is Inn(G), the group of inner automorphisms of G, and whose full group of automorphisms is the group Out(G) of outer automorphisms of G, getting what we call an incidence geometric representation theory for groups. Hence, in this setting, the group Inn(G) preserves the types of the associated incidence structure while the group Out(G) is acting non-trivially on the typeset of it, realizing the outer automorphisms of G as correlations. We give examples of incidence geometric representations for the dihedral groups, the symmetric groups, the automorphism groups of the five platonic solids, families of classical groups defined over fields such as the projective linear groups, and finally subgroups of free groups whose outer automorphism group is the largest finite subgroup of their automorphism group.
Cycles in subexpression graphs
Let $\mathfrak{S}(\underline{s},w)$ be the graph whose vertices are all subexpressions with target $w$ of a fixed expression $\underline{s}$ in generators of a Coxeter group and edges are the pairs of subexpressions with Hamming distance 2. We prove that $\mathfrak{S}(\underline{s},w)$ is connected and its cycle space is spanned by cycles of lengths $d+2$, where $d$ ranges over all positive divisors of all finite orders of products of at most two entries of $\underline{s}$.
Algebraic Limits of Sandpiles
The paper contributes to building algebraic foundations of self-organized criticality answering a previously unsolved question about the limiting structure of the extended sandpile group as well as relating it to another limit at the level of classical sandpile groups with respect to certain monomorphisms, and puts forward a concept of canonical sandpile epimorphisms, drawing an unexpected consequence about the divisibility properties of the numbers of spanning trees on rectangles.
On minimal bases in homotopical combinatorics
We present a development in the computational suite for the study of $N_\infty$ operads for a finite group $G$. This progress is achieved using the simple yet powerful observation that Rubin's generation algorithm can be interpreted as a closure operator. Leveraging this perspective, we establish the existence of minimal bases for $N_\infty$ operads. By investigating these bases for certain families of groups we are led to introduce and analyze several novel combinatorial invariants for finite groups.
Inference of Hierarchical Core-Periphery Structure in Temporal Networks
Networks can have various types of mesoscale structures. One type of mesoscale structure in networks is core-periphery structure, which consists of densely-connected core nodes and sparsely-connected peripheral nodes. The core nodes are connected densely to each other and can be connected to the peripheral nodes, which are connected sparsely to other nodes. There has been much research on core-periphery structure in time-independent networks, but few core-periphery detection methods have been developed for time-dependent (i.e., ``temporal") networks. Using a multilayer-network representation of temporal networks and an inference approach that employs stochastic block models, we generalize a recent method for detecting hierarchical core-periphery structure \cite{Polanco23} from time-independent networks to temporal networks. In contrast to ``onion-like'' nested core-periphery structures (where each node is assigned to a group according to how deeply it is nested in a network's core), hierarchical core-periphery structures encompass networks with nested structures, tree-like structures (where any two groups must either be disjoint or have one as a strict subset of the other), and general non-nested mesoscale structures (where the group assignments of nodes do not have to be nested in any way). To perform statistical inference and thereby identify core-periphery structure, we use a Markov-chain Monte Carlo (MCMC) approach. We illustrate our method for detecting hierarchical core-periphery structure in two real-world temporal networks, and we briefly discuss the structures that we identify in these networks.