representation ↗ reference
4141 papers tagged with this keyword
A note on three-quarters circulant digraphs
We introduce and study a new family of circulant digraphs associated with the cyclic group $\Z_N$, obtained by restricting admissible combinations of two generators $a$ and $b$ to three coordinate sectors. The resulting distance-like function differs from the standard directed distance in circulant digraphs and gives rise to new geometric and combinatorial phenomena. Using planar lattice representations and periodic tessellations, we analyze the growth of reachable sets and derive Moore-type upper bounds for the corresponding order/diameter problem.
We construct explicit infinite families of three-quarters circulant structures with the prescribed diameter and provide lattice-based methods for determining admissible generator pairs. Separate constructions are obtained for even and odd diameters. In addition, computational experiments for small and moderate orders suggest improved families for even diameters and motivate a conjectural asymptotic formula for the maximum attainable order. The paper highlights the interplay between constrained lattice representations, periodic tilings, and extremal problems for circulant networks.
Log-concavity of flat arrangement polynomials
We prove log-concavity for the determinant-weighted external semi-activity polynomials of all real flat arrangements, strengthening their known trapezoidality. In fact, we establish a quadratic coefficient inequality that, in rank at least two, implies power concavity with an explicit rank-dependent exponent. The proof uses a new mixed-volume representation of the coefficients and the Alexandrov--Fenchel inequality. A more general formula gives a factorization and log-concavity for related mixed-volume sequences. As applications, we establish the conjectured log-concavity for spanning-tree polynomials of Eulerian digraphs, extend it to positive circulation weights, and strengthen the coefficient inequalities for Alexander polynomials of special alternating links.
Finite and infinite barrycades
An $n$-barrycade of height $h$ is a set of $h$ permutations of $[n]$ such that all the prefix sums are different. This notion was described in 2020 by Richard Guy, together with the central problem to determine for which values of $n$ there exists a break-free $n$-barrycade, that is, one in which every possible prefix sum from $1$ to $\frac{n(n+1)}{2}-1$ is covered. The height of such barrycade would be $\frac{n+2}{2}$.
We prove that barrycades of linear height exist for infinitely many sizes: there is a constant $c>0$ such that for infinitely many positive integers $n$ there exists an $n$-barrycade of height at least $cn$. We also explore an infinite variant of the problem and propose three constructions -- greedy, grasshopper and precise grasshopper -- that give increasingly more satisfying results. Along the way we encounter new integer sequences and formulate conjectures concerning omitted elements, missing partial sums, and word representations of infinite barrycades, which are firmly supported by computational data.
Extremal Spanning Trees in Product Grid Graphs
We compare spanning-tree counts at a fixed number of vertices for Cartesian products of paths $P_r$, $r\ge1$, or cycles $C_s$, $s\ge3$. With the number $d$ of factors fixed, an equal-volume tuple that is more balanced in the logarithmic majorization order has at least as many spanning trees, with equality only for permutations. This comparison persists after adjoining any fixed finite connected Cartesian factor; equal-sided blocks therefore uniquely maximize the count at admissible block volume $n^d$. We prove the comparison through strict log-convexity of one-dimensional heat traces in logarithmic length. The Hartman--Watson representation expresses the cycle interpolation as a positive mixture of theta functions, and the path case follows from it. The same heat-trace order decreases every positive inverse-power sum of the nonzero Laplacian eigenvalues, and hence the total effective resistance. Cylinders behave differently: square balancing can fail. For $P_r\square C_s$ of area $N=rs$, extending the product formula to real height and optimizing over integer circumferences $3\le s\le N$ yields an optimum on the scale $N^{1/3}$. Along areas having a divisor asymptotic to that optimum, quantitative estimates place every graph-maximizing circumference on the same scale. For two-dimensional tori, balancing remains optimal, but the gain in the logarithmic spanning-tree count admits no positive uniform lower bound proportional to the decrease in the side sum.
The edge of the asymptotic spectrum of tensors
Strassen founded the theory of the asymptotic spectrum of tensors to study the complexity of matrix multiplication. A central challenge in this theory is to explicitly construct new spectral points. In Crelle 1991, Strassen proposed the upper support functionals $ζ^θ$ as candidate spectral points, where $θ$ ranges over a triangle $Θ$. Recent progress, involving tools and ideas from quantum information theory (Christandl-Vrana-Zuiddam, STOC 2018, JAMS 2023) and convex optimization (Hirai, 2025), culminated in the proof that the upper support functionals are indeed spectral points over the complex numbers (Sakabe-Doğan-Walter, 2026).
In this paper, we give an even clearer picture of the situation for support functionals when $θ$ lies along the edges of the triangle. We show that not only are these functionals spectral points, but that they are uniquely determined as spectral points by their behavior on matrix multiplication tensors. As our methods are algebraic, as a corollary this gives the first explicit nontrivial spectral points over arbitrary fields.
As part of our argument, we show a close connection between the edge support functionals and Harder-Narasimhan filtrations from quiver representation theory. We thus show, using recent work in algorithmic invariant theory, that these support functionals can be computed in deterministic polynomial time. Other ingredients of our proof include a new criterion for abstractly characterizing asymptotic tensor ranks by spectral points, and a characterization of the edge support functionals in terms of matrix multiplication capacity. As another application of these tools, we prove the existence of spectral points for higher-mode tensors beyond those currently known.
Spectra and eigenspaces of branched covers of graphs induced by local factorisation
We consider lifting eigenvalues and eigenvectors of graphs to their {\em factored lifts}, which are branched covers formed from unbranched ones by what one can describe as a `local factorisation' induced by subgroups of vertex stabilisers. Such a description applies to all situations in which a group of automorphisms of a branched cover of a graph acts freely on the arc set of the cover. Branched covers with this property can be described by means of {\em combined voltage assignments} in a group, which generalise the (ordinary) voltage assignments known from the theory of regular covering and are a particular case of an algebraic description of graph covers in Potočnik and Toledo (2021).
With the help of group representations and certain matrices over complex group rings associated with the graphs to be branch-covered, we develop a method for determining the complete spectra of factored lifts, and derive a sufficient condition for lifting eigenvectors.
Dimension statistics of representations of finite groups
The paper studies the distribution of dimensions of irreducible representations of a finite group and compares them with the sizes of its conjugacy classes. We study these questions for a fixed reductive group over growing finite fields, for $\mathrm{GL}_n(\mathbb{F}_q)$ where $q$ is fixed but $n$ varies, and for the symmetric group $S_n$ as $n$ varies. We also discuss finite nilpotent groups arising from Lie algebras over finite fields. As a consequence of Kirillov theory, we deduce that for ``selfdual'' nilpotent groups whose nilpotency class is less than the characteristic of the field, the squares of the dimensions of irreducible representations match the sizes of conjugacy classes, with multiplicity. These groups thus provide a large class of examples with this property.
The automorphism group of the derangement graph of $\operatorname{PGL}_{2}(q)$ acting on the projective line
Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, the derangement graph $Γ_G$ is the graph whose vertex set is $G$, and two vertices $g$ and $h$ are adjacent if the ratio $h^{-1}g$ is a fixed-point-free permutation. In this paper, we show that the automorphism group of the derangement graph of the transitive permutation group corresponding to the natural action of $\operatorname{PGL}_{2}(q)$ on the projective line $\operatorname{PG}_{1}(q)$ is \begin{align*}
\operatorname{Aut}(Γ_{\operatorname{PGL}_{2}({q})}) = \left(L_{\operatorname{PGL}_2(q)}\times R_{\operatorname{PGL}_2(q)}\right) \rtimes \left(\langle ψ\rangle \times γ_{\operatorname{Aut}(\mathbb{F}_q)}\right), \end{align*} where $L_{\operatorname{PGL}_2(q)}$ is the left-regular representation of $\operatorname{PGL}_2(q)$, $R_{\operatorname{PGL}_2(q)}$ is the right-regular representation of $\operatorname{PGL}_2(q)$, $γ_{\operatorname{Aut}(\mathbb{F}_q)}$ is the group of conjugation by elements of $\operatorname{Aut}(\mathbb{F}_q)$, and $ψ: \operatorname{PGL}_2(q) \to \operatorname{PGL}_2(q)$ such that $ψ(x) = x^{-1}$.
Induced Representations in Cooperative Games with Homogeneous Groups of Players
Oftentimes, the Shapley value, a measure of the contribution of a player to a game, becomes infeasible for games with many players. However, establishing symmetry allows for polynomial-time computation. To examine this reduction, we identify the spectrum of a homogeneous group game by using an induced representation from a Young subgroup. We prove that the depth of interaction of a two-group game is limited by the size of the minority group. Therefore, the algebraic structure of the game filters out a large space of irrelevant complexities. We then show that this filtration constrains any symmetric linear value to a specific subspace. This recovers the Shapley value uniquely for games consisting of exactly two homogeneous groups under standard axioms. Finally, we explore applications to the UN Security Council and complementary goods markets to illustrate the practical power of this approach.
Webs and smooth components of two column Springer fibers
Webs and Springer fibers are separately important objects in representation theory: webs give a diagrammatic calculus for tensor invariants of $\mathfrak{sl}_k$, and the cohomology group of Springer fibers can be used to construct the irreducible representations of the symmetric group. Fung's 1997 thesis gave the first evidence of a connection between $\mathfrak{sl}_2$ webs and Springer fibers, showing that webs naturally index and describe the components of certain "two row" Springer fibers. However, this case is known to be far from generic.
This paper deepens this connection with a similar correspondence in the substantially more complicated "two column" case. In particular, and building on works of Fresse, Melnikov, and Sakas-Obeid, we use webs to give a clean characterization of the smooth components of two column rectangle Springer fibers and a simple description of the geometry of these smooth components. We also show that the Poincaré polynomial of the smooth components is invariant under the natural dihedral action on the corresponding webs.
Minuscule Coxeter Dressians
We study tropical prevarieties associated with minuscule representations of reductive groups. Recently, the defining equations of these prevarieties were used to detect the strong exchange property for Coxeter matroids. In type $A$, this reduces to the well known symmetric exchange property for usual matroids, and the tropical prevarieties in question are the classical Dressians. We study the analogous objects in all Lie types beyond type $A$ which admit minuscule parabolics. Our main results show that points on these prevarieties induce subdivisions of Coxeter matroid polytopes into cells which posses the strong exchange property. Furthermore, we establish conditions for a subdivision to be strong matroidal which are detectable on the induced subdivision of lower dimensional skeleta. We include results concerning explicit computations of the relevant polyhedral complexes and their $f$-vectors.
Crown graphs maximise the representation number of bipartite graphs
The representation number of a graph is the least positive integer $k$ for which its vertices can be arranged in a word, each occurring $k$ times, so that two distinct letters alternate precisely when the corresponding vertices are adjacent. We prove that every bipartite graph on $N\ge9$ vertices has representation number at most $\lceil N/4\rceil$. Together with the known representation number of crown graphs, this settles the conjecture that crowns maximise the representation number among bipartite graphs of the same order. The proof develops a construction of Mozhui and Krishna by reducing the choice of a representing word to an ordering problem for neighbourhoods. We characterise the obstructions to this ordering and use probability estimates to exclude them for all sufficiently large balanced bipartitions. Two finite assertions complete the argument, each established by a checked Boolean unsatisfiability certificate. A refinement of the ordering argument treats the remaining odd part sizes directly. The main theorem and the crown-extremality corollary, including the finite certificate arguments, have also been formalised and verified in Lean 4.
Quiver Bases of Cartan Squares of Minuscule Representations
We consider the Cartan square $V^{2λ}$ of a minuscule representation $V^λ$ of a simply laced complex simple Lie algebra $\mathfrak g$. We construct for $V^{2λ}$ a family of bases, which we call quiver bases, each indexed by the set $\operatorname{RPP}_2(P_λ)$ of reverse plane partitions of height two on the minuscule poset $P_λ$ of $V^λ$.
Let $Q$ be a quiver on the Dynkin diagram of $\mathfrak g$, and let $c_Q$ be the corresponding Coxeter element. The quiver basis $\mathcal B^Q$ is distinguished by the following property: Up to sign, the action of the Tits representative $\dot c_Q$ on $\mathcal B^Q$ lifts the action of $c_Q$, via piecewise-linear toggles, on $\operatorname{RPP}_2(P_λ)$. This proves uniformly that, for any minuscule poset $P$, piecewise-linear Coxeter-motion and rowmotion on $\operatorname{RPP}_2(P)$ exhibit the cyclic sieving phenomenon.
In type~$A$, the quiver basis for the standard orientation recovers, up to rescaling, the canonical basis, whose compatibility with the long cycle was established by Rhoades. In other types, however, we show the canonical basis is not compatible with any Coxeter element.
Represented Tensor Products of Binary Matroids
For binary matroids \(M,N\) representable over a common field \(\F\), the Kronecker product of their \(\F\)-representations defines a matroid \(T_{\F}(M,N)\) independent of the chosen representations. We classify when this represented tensor product is regular, cographic, graphic, or binary. For simple nonfree factors, regularity holds exactly when, up to interchange, one factor is a cactus matroid and the other is outerplanar, or one is a triangular cactus matroid and the other is series--parallel. Cographicity holds exactly in the first case. For simple factors with nonempty ground sets, graphicity holds exactly when one factor is free and the other is graphic. For fixed factors, regularity, cographicity, and graphicity are independent of the common representation field, although the isomorphism type may vary with its characteristic. Products of at least three simple nonfree factors are nonregular.
Unitary and Modular Fourier Transforms of the Symmetric Group over Finite Fields
Published
• View Publication
• BIB
We give explicit constructions of Fourier transforms for cyclic and symmetric groups over finite fields of characteristic $p$. For a cyclic group of order $N$ in the modular case $p \mid N$, we factor $x^N-1$ and use Bézout's identity to construct a Fourier transform and its inverse. For the symmetric group $S_n$ in the modular case $p \mid n!$, we compute the Peirce decomposition from central primitive orthogonal idempotents, obtaining a change-of-basis matrix that generalizes the DFT. We also construct unitary realizations of the Specht representations of $S_n$ over finite fields by computing an invariant Hermitian form and factoring its Gram matrix using an extended Cholesky decomposition. These representations provide the matrix coefficients for a unitary DFT in the semisimple case $p \nmid n!$. All constructions are implemented in SageMath.
The Tropical Moduli Space of Degree-3 Rational Maps
We study tropical rational functions on the tropical projective line with three zeros and three poles in the torus, counted with multiplicity, modulo target automorphisms. The principal divisor identifies their moduli space with unordered pairs of disjoint effective divisors of degree three. We classify its \(53\) cells and prove that it is six-dimensional with ten contractible connected components. Source--target automorphism groups are trivial or of order two, and reflection loci are defined by linear gap equations. Allowing common support and points at infinity gives a divisor-pair compactification. Over an algebraically closed non-Archimedean field with value group \(\mathbb{R}\), root--pole tropicalization is surjective from valuation-separated cubic rational functions modulo the target torus normalizer. Explicit counterexamples show that the valuation of the conjugacy invariant \(J^2/I^3\) does not descend to this tropical moduli space. Generic functions admit minimal six-unit shallow ReLU representations with three positive and three negative unit output weights.
Partition functors and universal exponential relations
We introduce partition functors: algebraic structures indexed by partitions of finite sets and equipped with restriction and transfer maps along refinements. We construct a monad PD on the category of partition functors and on several categories of partition functors with additional multiplicative structure. For a partition ring, exponential elements in its associated completed ring of symmetric functions acquire canonical logarithms after applying PD. This gives rise to a universal exponential relation between multiplicative and additive power operations. For representation rings this can be used to recover the classical relation between symmetric powers and Adams operations, while for Morava E-theory it can be used to recover Ganter's exponential relation between symmetric powers and Hecke operators. We show that the representation rings of products of symmetric groups form the initial partition ring and that, for symmetric monoidal partition functors, the monad PD is closely related to symmetric invariant tensors and the divided power envelope. We also construct a symmetric monoidal partition ring carrying the universal exponential element, so that its image under PD carries the universal exponential relation.
Generalized Duke's theorem for signed Graphs
Duke's interpolation theorem states that the orientable genera of a connected graph form an integer interval, and Stahl established the corresponding result for nonorientable embeddings. In 1991, Širáň showed that this interpolation property fails for signed graph embeddings: the Euler-genus spectrum of a signed graph may contain gaps. He subsequently asked whether all such gaps must occur at the lower end of the spectrum.
In this paper, we establish a characterization of the Euler-genus spectrum of a connected signed graph. We prove that, for each parity class, the Euler genera form a step-two interval. Moreover, whenever both parity classes are nonempty, their maximum elements differ by one. As an consequence, if two consecutive integers $k$ and $k+1$ belong to the Euler-genus spectrum, then every integer from $k$ to the maximum Euler-genus also belongs to the spectrum, thereby answering Širáň's question affirmatively. Our proof uses the pre-signed graph representation of signed embeddings together with ordered adjacent-exchange operations and a matching interpretation of face numbers.
Shorthand Universal Tori for Permutations: Existence, Symmetry, and Generation of Twori
A de Bruijn sequence packs all $n$-bit binary words into a cycle of length $2^n$. A de Bruijn torus is the two-dimensional analogue in which each word appears exactly once in a rectangular window. Here we consider the natural analogue for permutations using their shorthand representation (i.e., each permutation's final redundant value is omitted from the window). We show that these tori exist when $n = 2m + 1$ is odd and the torus and windows have two rows (i.e., the torus is a "tworus"). These twori can be constructed with a high degree of symmetry. More specifically, there are twori that can be partitioned into $2^{m-1}$ matching blocks where each block contains the same sequence of unordered columns. Furthermore, given one such block we can generate each successive column of a tworus in amortized $\mathcal{O}(1)$-time. We also prove non-existence results for certain sizes of tori and provide algorithms for constructing multiversal cycles (perfect necklaces) of unlabeled binary words.
Low-Twist Matrix Covariants of Exterior Powers: Vanishing and Modular Phenomena
We study morphisms from symmetric powers of exterior powers to determinant-twisted endomorphism representations of general linear groups. At the minimal positive determinant twist, we prove vanishing over every field of characteristic different from two: if the exterior degree r >= 3 is odd, the symmetric degree satisfies d >= 3, and the underlying space has dimension rd, then the corresponding equivariant Hom space is zero. The proof uses a block-exchange sign and a universal root-subgroup identity, so it also applies in small odd characteristics without semisimplicity. We then determine the second-twist spaces for trivectors in characteristic zero. In dimension 3m and degree 2m, they are scalar and one-dimensional for m = 2, and zero for m >= 3. Plethystic conjugation reduces the latter vanishing to an elementary weight-support bound for exterior powers of the ten-dimensional space of ternary cubics. Finally, over fields of characteristic zero or odd characteristic, an exact computer-assisted classification in dimension nine gives a one-dimensional scalar Hom space in characteristic five and zero in characteristic zero and in every odd characteristic other than five.