representation ↗ reference
4143 papers tagged with this keyword
Linear dimension of group actions
Two fundamental ways to represent a group are as permutations and as matrices. In this paper, we study linear representations of groups that intertwine with a permutation representation. Recently, D'Alconzo and Di Scala investigated how small the matrices in such a linear representation can be. The minimal dimension of such a representation is the \emph{linear dimension of the group action} and this has applications in cryptography and cryptosystems.
We develop the idea of linear dimension from an algebraic point of view by using the theory of permutation modules. We give structural results about representations of minimal dimension and investigate the implications of faithfulness, transitivity and primitivity on the linear dimension. Furthermore, we compute the linear dimension of several classes of finite primitive permutation groups. We also study wreath products, allowing us to determine the linear dimension of imprimitive group actions. Finally, we give the linear dimension of almost simple finite $2$-transitive groups, some of which may be used for further applications in cryptography. Our results also open up many new questions about linear representations of group actions.
Multiple polylogarithms at non-positive indices and combinatorics of Magnus polynomials
Published
• View Publication
• BIB
In this paper we investigate multiple polylogarithms with non-positive multi-indices (nonpositive MPLs) from a combinatorial and algebraic viewpoint. By introducing a correspondence between non-positive multiple polylogarithms and Magnus polynomials in a free associative algebra, we obtain an explicit Magnus-type representation of products of mono-indexed non-positive MPLs. The main identity (Theorem A) expresses such a product as a single non-positive MPL indexed by a Magnus polynomial, which may be regarded as a Möbius inversion of the expansion formula due to Duchamp-Hoang Ngoc Minh-Ngo. Moreover, we study the effects of permuted indices and show that certain differences of Magnus polynomials belong to the kernel of the linear map ${\rm Li}^-_{\bullet}$ , leading to new functional equations among non-positive MPLs of the same weight and depth. These results clarify the combinatorial structure underlying non-positive MPLs and reveal a close connection with the Magnus expansion in non-commutative algebra.
On Matrix Product Factorization of Cayley graphs
Published
• View Publication
• BIB
We study when the adjacency matrix of a Cayley graph factors as the product of two adjacency matrices of Cayley graphs. Let $G$ be a finite group and let $U\subseteq G\setminus \{e\}$ be symmetric. Writing $A(G;U)$ for the adjacency matrix of the Cayley graph of $G$ with respect to $U$, we prove that for symmetric subsets $S,T,U$ of $G\setminus \{e\}$, $A(G;U)=A(G;S)\,A(G;T)$ if and only if $U=ST$ and each $u\in U$ has a unique representation $u=st$, equivalently $\bigl(\sum_{s\in S}s\bigr)\bigl(\sum_{t\in T}t\bigr)=\sum_{u\in U}u$ in the group algebra. When $S,T,U$ are unions of conjugacy classes, this is characterized character-theoretically by $χ(U)=χ(S)χ(T)/χ(1)$ for all $χ\in\mathrm{Irr}(G)$. In addition, for abelian groups, we identify $A(G;S)A(G;T)$ with the $0\!-\!1$ convolution $\mathbf{1}_S*\mathbf{1}_T$, so factorability is equivalent to $(S,T)$ being a Sidon pair, i.e., $(S-S)\cap(T-T)=\{0\}$. For cyclic groups, we reformulate factorability via mask polynomials and reduce to prime-power components using the Chinese Remainder Theorem. We also analyze dihedral groups $D_{2n}$, presenting infinite families of factorable generating sets, and give explicit constructions of subsets whose Cayley graphs do and do not admit such factorizations.
Staircase Minimality and a Proof of Saxl's Conjecture
Saxl's conjecture (2012) asserts that for the staircase partition $ρ_k = (k, k-1, \ldots, 1)$, the tensor square of the corresponding irreducible representation of the symmetric group $S_{T_k}$ contains every irreducible representation as a constituent, where $T_k = k(k+1)/2$ is the $k$th triangular number. We prove this conjecture unconditionally.
Our proof introduces the Staircase Minimality Theorem: among all 2-regular partitions of $T_k$, the staircase $ρ_k$ is the unique dominance-minimal element. Combined with Ikenmeyer's theorem on dominance and Kronecker positivity for staircases, this establishes that every 2-regular partition appears in the tensor square. Modular saturation then follows using only the diagonal entries $d_{μμ} = 1$ of the decomposition matrix, and the Bessenrodt--Bowman--Sutton lifting theorem completes the proof.
We further prove that at triangular numbers, staircases are the only Kronecker-universal self-conjugate partitions, providing a complete characterization.
Uniform spectral gaps, non-abelian Littlewood-Offord and anti-concentration for random walks
We show that random walks on semisimple algebraic groups do not concentrate on proper algebraic subvarieties with uniform exponential rate of anti-concentration. This is achieved by proving a uniform spectral gap for quasi-regular representations of countable linear groups. The method makes key use of Diophantine heights and the Height Gap theorem. We also deduce a non-abelian version of the Littlewood--Offord inequalities and prove logarithmic bounds for escape from subvarieties. In a sequel to this paper, we will show how to transform this uniform gap into uniform expansion for Cayley graphs of finite simple groups of bounded rank $G(p)$ over almost all primes $p$.
Representation theory and cycle statistics for random walks on the symmetric group
We use representation theory of $S_n$ to analyze the mixing of permutation cycle type statistics $a_j(σ) = ${# of $j$-cycles of $σ$} for any fixed $j$ and $σ$ resulting from a random $i$-cycle walk on $S_n$. We also derive analogous results for the random star transposition walk. Our approach uses the method of moments; a key ingredient is a new formula for the coefficients in the irreducible character decomposition of the $S_n$-class function $(a_j)^r(σ)=\{(\text{# of $j$-cycles of $σ$})^r\}$ for any positive integers $r,j$ when $n\geq 2rj$.
On the Positivity of Dihedral Branching Coefficients of the Symmetric and Alternating Groups
We determine precisely when the branching coefficients arising from the restriction of irreducible representations of the symmetric group $S_n$ to the dihedral subgroup $D_n$ are nonzero, and we establish uniform linear lower bounds outside a finite exceptional family. As a consequence, we recover and substantially generalize known positivity results for cyclic subgroups $C_n \leq S_n$. Analogous results are obtained for the alternating group $A_n$.
Distribution questions for isogeny graphs over finite fields
In the first part of the paper, we fix a non-CM elliptic curve $E/\mathbb{Q}$ and an odd prime $\ell$ and investigate the distribution of invariants associated to the $\ell$-volcano containing the reduction $E_p$, as $p$ ranges over primes of good ordinary reduction. Let $H(p)$ be the height of the volcano and let $d'(p)$ denote the relative position of $j(E_p)$ above the floor, and let $r\ge 0$ be an integer. Assuming that the $\ell$-adic Galois representation attached to $E$ is surjective, we derive an explicit formula for the natural density of primes $p$ for which $H(p)=r$ (resp.\ $d'(p)=r$). In the non-surjective case, we show that all sufficiently large heights occur with positive density. In the second part of the paper, we analyze the distribution of $\ell$-volcano heights over a finite field $\mathbb{F}_q$ and consider the limit as $q\to\infty$. Using analytic estimates for sums of Hurwitz class numbers in arithmetic progressions, we compute exact limiting densities for ordinary elliptic curves whose $\ell$-isogeny graph has a prescribed height $r$.
Chordal signed graphs and signed bigraphs
Chordal graphs and chordal bigraphs enjoy beautiful characterizations, in terms of forbidden subgraphs, vertex/edge orderings, vertex/edge separating sets, and tree-like representations. In this paper, we introduce chordal signed graphs and chordal signed bigraphs. Interestingly, chordal signed graphs are equivalent to strict chordal digraphs studied by Hell and Hernández-Cruz. A forbidden subdigraph characterization of strict chordal digraphs can be translated to a forbidden subgraph characterization of chordal signed graphs. We give a forbidden subgraph characterization of chordal signed bigraphs. The forbidden subgraphs for chordal signed bigraphs are analogous to those for chordal signed graphs but the proofs are much more complicated and intriguing.
Numeration systems without a dominant root and regularity
Positional numeration systems are a large family of numeration systems used to represent natural numbers. Whether the set of all representations forms a regular language or not is one of the most important questions that can be asked of such a system. This question was investigated in a 1998 article by Hollander. Central to his analysis is a property linking positional numeration systems and Rényi numeration systems, which use a real base to represent real numbers. However, this link only exists when the initial numeration system has a dominant root, which is not a necessary condition for regularity. In this article, we show a more general link between positional numeration systems and alternate base numeration systems, a family generalizing Rényi systems. We then take advantage of this link to provide a full characterization of those numeration systems that generate a regular language. We also discuss the effectiveness of our method, and comment Hollander's results and conjecture in the light of ours.
Hyper-Minrank: A Unified Hypergraph Characterization of Multi-Sender Index Coding
This work introduces a hypergraph formulation that generalizes the classical paradigm of Bar-Yossef et al. to the multi-sender index coding (MSIC) setting. Central to the model is a 4-regular side-information hypergraph G, a new adjacency representation A_G = [A_1 ... A_N], and a simple fitting criterion for sub-hypergraph validity, in the presence of specially designed hyperedges that capture both side information and cross-sender signal cancellation. This formulation establishes a tight achievability-converse equivalence for the general N-sender, K-receiver problem: every valid fitting induces a valid linear multi-sender index code, every linear code induces a valid fitting, and the optimal scalar linear broadcast length equals the hyper-minrank l**lin(G) = hyperminrank(G) = min*{A fits G} sum_{n=1}^N rank(A_n). Beyond this exact characterization, the approach yields hypergraph analogues of Haemers-type bounds on the broadcast length, including a clique-cover upper bound and a lower bound via the clique number of a carefully defined complement hypergraph. Algorithmically, we provide an exact procedure to compute hyperminrank(G), and show that in certain regimes its complexity is asymptotically better than approximate LT-CMAR solutions. The framework captures well-known settings such as embedded index coding, and applies directly to multi-sender cache-aided communications, coded computation, distributed storage, and edge/satellite systems, where hyperminrank can serve as a unified design target.
Forbidden Induced Subgraph Characterization of Word-Representable Split Graphs
The class of word-representable graphs, introduced in connection with the study of the Perkins semigroup by Kitaev and Seif, has attracted significant attention in combinatorics and theoretical computer science due to its deep connections with graph orientations and combinatorics on words. A graph is word-representable if and only if it admits a semi-transitive orientation, which is an acyclic orientation such that for any directed path $v_0 \rightarrow v_1 \rightarrow \cdots \rightarrow v_m$ with $m \ge 2$, either there is no arc between $v_0$ and $v_m$, or, for all $1 \le i < j \le m$, there exists an arc from $v_i$ to $v_j$. Split graphs, whose vertex set can be partitioned into a clique and an independent set, constitute a natural yet nontrivial subclass for studying word-representability. However, not all split graphs are semi-transitive, and the characterization of minimal forbidden induced subgraphs for semi-transitive split graphs remains an open problem.
In this paper, we introduce a new matrix property called the $I$-circular property, which is closely related to the well-known $D$-circular property introduced by Safe. The $I$-circular property requires that both the rows of a matrix and the pairwise intersections of rows form circular intervals under some linear ordering of the columns. Using this property, we establish a direct connection between the structure of semi-transitive split graphs and the matrix representation of their adjacency relationships. Our main result is a complete forbidden submatrix characterization of the $I$-circular property, which in turn provides a characterization for semi-transitive split graphs in terms of minimal forbidden induced subgraphs.
Clasped web bases from hourglass plabic graphs
G.-Pechenik-Pfannerer-Striker-Swanson applied hourglass plabic graphs to construct web bases for spaces of tensor invariants of fundamental representations of $U_q(\mathfrak{sl}_4)$, extending Kuperberg's celebrated basis for $U_q(\mathfrak{sl}_3)$. We give several combinatorial characterizations of basis webs in the kernel of the projection to invariants in a tensor product of arbitrary (type $1$) irreducibles. We apply this to show that the nonzero images of basis webs form a basis (a property shared with Lusztig's dual canonical basis) yielding distinguished clasped web bases for each such tensor product.
Magic Gems: A Polyhedral Framework for Magic Squares
We introduce Magic Gems, a geometric representation of magic squares as three-dimensional polyhedra. By mapping an n times n magic square onto a centered coordinate grid with cell values as vertical displacements, we construct a point cloud whose convex hull defines the Magic Gem. Building on prior work connecting magic squares to physical properties such as moment of inertia, this construction reveals an explicit statistical structure: we show that magic squares have vanishing covariances between position and value. We develop a covariance energy functional (the sum of squared covariances with individual row, column, and diagonal indicator variables) and prove that for all orders of n greater than or equal to three, an arrangement is a magic square if and only if this complete energy vanishes. This characterization transforms the classical line-sum definition into a statistical orthogonality condition. We also study a simpler low-mode relaxation using only four aggregate position indicators; this coincides with the complete characterization for n equals three (verified exhaustively) but defines a strictly larger class for n greater than or equal to four (explicit counterexamples computed). Perturbation analysis demonstrates that magic squares are isolated local minima in the energy landscape. The representation is invariant under dihedral symmetry D4, yielding canonical geometric objects for equivalence classes.
Left regular bands with symmetry
The representation theory of left regular band semigroup algebras is well-studied and known to have close connections with combinatorial topology, as established in the work of Margolis--Saliola--Steinberg ('15, '21). In this paper, we investigate the representation theory of the invariant subalgebras of left regular band semigroup algebras carrying the action of a finite group through the lens of group-equivariant combinatorial topology.
We characterize when the invariant subalgebra is semisimple or commutative and examine the equivariant structure of the Peirce components of the semigroup algebra. For CW left regular bands, we interpret these Peirce components in terms of the equivariant topology of intervals in the support semilattice, yielding the Cartan invariants of the invariant subalgebras of left regular bands associated to CAT(0)-cube complexes. We also give a topological formula for the Peirce components for left regular bands with hereditary algebras. Finally, in specializing to left regular bands associated to geometric lattices, we explore generalizations of the Desarménién--Wachs derangement representation and their connections to Markov chains.
Harmonic Geometric Polynomials via Geometric Polynomials and Their Applications
The aim of this study is to show that harmonic geometric polynomials can be represented in terms of geometric polynomials. This problem was first considered by Keller [14]; however, the corresponding coefficients were not fully determined. In the present work, we provide several explicit representations of harmonic geometric polynomials in terms of geometric polynomials. Moreover, several applications of one of these representations are subsequently developed. In particular, we obtain a generalization of the classical identity for the harmonic numbers, compute an integral involving harmonic geometric polynomials and an integral involving products of harmonic geometric and geometric polynomials in terms of Bernoulli numbers. These integral formulas lead to new explicit expressions for Bernoulli numbers. In addition, we give several recurrence relations for harmonic geometric polynomials and evaluate a finite sum involving harmonic numbers and positive powers of integers.
Circular Chromatic Numbers, Balanceability, Relation Algebras, and Network Satisfaction Problems
In this paper, we characterize graphs with circular chromatic number less than 3 in terms of certain balancing labellings studied in the context of signed graphs. In fact, we construct a signed graph which is universal for all such labellings of graphs with circular chromatic number less than $3$, and is closely related to the generic circular triangle-free graph studied by Bodirsky and Guzmán-Pro. Moreover, our universal structure gives rise to a representation of the relation algebra $56_{65}$. We then use this representation to show that the network satisfaction problem described by this relation algebra belongs to NP. This concludes the full classification of the existence of a universal square representation, as well as the complexity of the corresponding network satisfaction problem, for relation algebras with at most four atoms.
Frame Numbers and Jacobson Radicals for Partial Geometries and Related Coherent Configurations
We study the modular representation theory of rank $3$ association schemes arising from partial geometries with parameters $(s,t,α)$. First, we obtain an explicit closed formula for the Frame number of the point scheme in terms of the number of points $v$ and the parameter $s+t+1-α$, and use it to characterize the primes $p$ for which the adjacency algebra over $\mathbb{F}_p$ is not semisimple. We then give a complete case-by-case description of the Jacobson radical of this algebra in four arithmetic situations and determine the generic $p$-ranks of the adjacency matrices.
As a step toward understanding the modular representation theory of coherent configurations of type $[3,2;3]$ associated with strongly regular designs, we analyze the relationship between the modular structure of the point scheme and that of the design algebra. For the generalized quadrangle $\mathrm{GQ}(2,2)$ we obtain partial results on the structure of the $2$-modular adjacency algebra $\mathbb{F}_2 \mathfrak{X}$, and we explain the representation-theoretic difficulties that prevent a complete determination of its Wedderburn decomposition and Gabriel quiver, which remains open and is formulated as Problem~6.8.
On the Word-Representability of 5-Regular Circulant Graphs
Published
• View Publication
• BIB
A graph $G = (V, E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that, for any two distinct vertices $x, y \in V$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. Two letters $x$ and $y$ are said to alternate in $w$ if, after removing all other letters from $w$, the resulting word is of the form $xyxy\dots$ or $yxyx\dots$ (of even or odd length). For a given set $R = \{r_1, r_2, \dots, r_k\}$ of jump elements, an undirected circulant graph $C_n(R)$ on $n$ vertices has vertex set $\{0, 1, \dots, n-1\}$ and edge set $ E = \left\{ \{i,j\} \;\middle|\; |i - j| \bmod n \in \{r_1, r_2, \dots, r_k\} \right\}, $ where $0 < r_1 < r_2 < \dots < r_k < \frac{n}{2}$. Recently, Kitaev and Pyatkin proved that every 4-regular circulant graph is word-representable. Srinivasan and Hariharasubramanian further investigated circulant graphs and obtained bounds on the representation number for $k$-regular circulant graphs with $2 \le k \le 4$. In addition to these positive results, their work also presents examples of non-word-representable circulant graphs. In this work, we study word-representability and the representation number of 5-regular circulant graphs via techniques from elementary number theory and group theory, as well as graph coloring, graph factorization and morphisms.
Affine diagram categories, algebras and monoids
We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators and relation presentation for them and their associated categories, study their representation theory, and the asymptotic behavior of tensor products of their representations in the monoid case. Under a mild hypothesis, we also prove a previous conjecture concerning the asymptotic growth of the number of indecomposable summands in the tensor powers of representations for finite monoids.