representation ↗ reference
4049 papers tagged with this keyword
Trace identities for quiver representations
We give an expression for the determinant of the twisted Laplacian associated with any linear representation of a finite quiver in terms of traces of the holonomy of its cycles. To establish this expression, we prove a general identity for the determinant of a block matrix in terms of traces of products of its blocks. We give two proofs, one purely enumerative and one using generating series.
In the special case of a finite graph equipped with a vector bundle and a connection, the twisted Laplacian determinant admits a combinatorial interpretation as a weighted count of tuples of oriented cycle-rooted spanning forests, where the weights involve traces of holonomies along cycles formed by combining the edges of the forests.
On $U$-unitary Cayley graphs over finite rings
Graphs defined over a finite ring are well-studied in the literature. Due to their nature, these types of graphs connect several branches of mathematics, including algebra, number theory, matrix theory, and representation theory. In recent work, we studied $U$-unitary Cayley graphs over a finite commutative ring, which unifies several constructions of graphs with arithmetic origins. Among various structural graph-theoretic results on these graphs--such as their connectedness, primeness, and bipartiteness--we show that their spectra can be described via a certain supercharacter theory. Utilizing this spectral description, we are able to find some classes of gcd-graphs that possess perfect state transfer. In this article, we generalize this study to finite non-commutative rings, with a special focus on the case of the matrix rings with coefficients in a finite field. We show, in particular, that gcd-graphs over these matrix rings have no perfect state transfer.
A Quantum Encoding of Traveling Salesperson Tours via Route Generation, Cost Phases, and a Valid-Permutation
We present a compact quantum encoding of the Traveling Salesperson Problem (TSP) based on a time-register representation of tours. A candidate route is represented as a sequence of $n$ city labels over discrete time steps, with one fixed start city and the remaining cities encoded in binary registers. We describe three ingredients of the construction: uniform route generation over the route register, a reversible oracle for marking valid tours, and a phase oracle that encodes the total tour cost. The validity oracle distinguishes permutations of the non-start cities from invalid assignments, while the cost oracle accumulates the contribution of the start edge, intermediate transitions, and return edge into a tour-dependent phase. This yields a coherent superposition of candidate routes with feasibility and tour-length information embedded directly in the quantum state. The number of qubits required is $\Order{n\log_2(n)}$ and the circuit depth scales quadratically in $n$. The encoding is compatible with amplitude amplification or spectral filtering techniques such as the quantum singular value transform (QSVT) or Grover's algorithm. However, due to the exponentially small fraction of valid tours, the overall complexity remains exponential even when combined with amplitude amplification.
On the $q$-multiplicity of sums of distinct simple roots of $\mathfrak{sl}_{r+1}(\mathbb{C})$
In combinatorial representation theory, Kostant's weight multiplicity formula $m(λ,μ)$ is a tool that provides a means of determining the multiplicity of a weight $μ$ in the adjoint representation of a simple Lie algebra $\mathfrak{g}$, and in this work we consider the case of $\mathfrak{g}=\mathfrak{sl}_{r+1}(\mathbb{C})$. In practice, performing calculations of Kostant's weight multiplicity formula is computationally intense, as the number of terms in this alternating sum grows factorially as the rank $r$ increases, of which most terms provide zero contribution to the overall sum. In this work, we determine the Weyl alternation set, that is the terms in the alternating sum with nonzero contribution, for integral weights $λ$ the highest root of $\mathfrak{sl}_{r+1}(\mathbb{C})$, and $μ$ any nonempty collection of distinct simple roots. We show that the alternation set is enumerated by a product of Fibonacci numbers, with the product being dependent on the choice of distinct simple roots. Then we compute the weight $q$-multiplicity for any nonempty collection of distinct simple roots.
Pascal, Catalan, Motzkin triangles and tensor product multiplicities
The main purpose of this note is to provide an elementary discussion of some simple triangles of integer numbers in particular through their connections with representation theory of $sl_2$. The triangles under consideration are the Catalan triangle and the Motzkin triangle together with their generalisations that we introduce here. We advocate the point of view that these triangles are given by the well-known and classical Pascal rule starting from a well-chosen initial condition. We give an elementary derivation of the fact that the numbers in these triangles are multiplicities appearing in tensor products of $sl_2$-representations and that they are simply expressed as a difference of generalised binomial coefficients. We also take the opportunity to discuss the ``sum of squares'' phenomenon that happens in these triangles through the lense of representation theory.
Constructing, Classifying and Studying the Space of Small Integer Weighing Matrices
Integer weighing matrices (IW-matrices for short) are integer valued orthogonal square matrices. One usecase of these is to create classical weighing matrices with various block structures. In this paper we study and classify the space $IW(n,k)$ of the integer weighing matrices of small size $n\times n$ and weight $k$. Our classification includes a full list of all inequivalent matrices up to Hadamard equivalence and automorphism groups. We then continue to a secondary classification of the symmetric and antisymmetric IW up to symmetric Hadamard equivalence. We apply this to the case of projective space weighing matrices. Next we use the classification to count the cardinality of the spaces of all $IW(n,k)$ as well as the symmetric and anti-symmetric subspace. We supply practical algorithms and implement them in \texttt{Sagemath}. Finding an (anti-)symmetric IW matrix in a given Hadamard class can be done for significantly higher orders. In particular we solve some open cases: Symmetric $W(23,16)$, $W(28,25)$ and $W(30,17)$, and an anti-symmetric $W(28,25)$. We conclude by showing a detailed classification of $IW(7,25)$. We have also improved the \texttt{NSOKS} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares.
The recording tableaux of the quantum Littlewood-Richardson map and the orthogonal transpose symmetry map
Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to Littlewood-Richardson-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII. Henceforth, the algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(C)$ to $Sp_{2n}(C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof of the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux.
Group and algebra hyperdeterminant
In 1896, Dedekind posed the problem of factoring the group determinant in the non-abelian case to Frobenius, whose solution sparked the birth of finite-group representation theory. Several decades earlier, Cayley introduced the notion of the combinatorial hyperdeterminant of a $d$-way tensor, which is the most natural generalization of an ordinary determinant. In this note, we solve the problem of factoring the group hyperdeterminant. We reduce the computation of the group hyperdeterminant to the computation of the hyperdeterminant at the matrix multiplication tensor and derive a nice closed formula. Further, we extend this notion to associative algebra tensors and show that this polynomial is nonzero if and only if the algebra is semisimple.
Universal cycle constructions for k-subsets and k-multisets
A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S|that contains a representation of each element in S exactly once as a substring. If S is the set of k-subsets of [n] = {1, 2, . . . , n}, it is well-known that universal cycles do not always exists when applying a simple string representation, where 12 or 21 could represent the subset {1, 2}. Similarly, if S is the set of k-multisets of [n], it is also known that universal cycles do not always exist using a similar representation, where 112, 121, or 211 could represent the multiset {1, 1, 2}. By mapping these sets to an appropriate family of labeled graphs, universal cycles are known to exist, but without a known efficient construction. In this paper we consider a new representation for k-subsets and k-multisets that leads to efficient universal cycle constructions for all n, k >=2. We provide successor-rule algorithms to construct such universal cycles in O(n) time per symbol using O(n) space and demonstrate that necklace concatenation algorithms allow the same sequences to be generated in O(1) amortized time per symbol. They are the first known efficient universal cycle constructions for k-multisets. The results are obtained by considering constructions for bounded-weight de Bruijn sequences. In particular, we demonstrate that a bounded-weight generalization of the Grandmama de Bruijn sequence can be constructed in O(1) amortized time per symbol.
Polynomial-size encoding of all cuts of small value in integer-valued symmetric submodular functions
We study connectivity functions, that is, integer-valued symmetric submodular functions on a finite ground set attaining $0$ on the empty set. For a connectivity function $f$ on an $n$-element set $V$ and an integer $k\ge 0$, we show that the family of all sets $X\subseteq V$ with $f(X)=k$ admits a polynomial-size representation: it can be described by a list of at most $O(n^{4k})$ items, each consisting of a set to be included, another set to be excluded, and a partition of remaining elements, such that the union of some members of the partition and the set to be included are precisely all sets $X$ with $f(X)=k$. We also give an algorithm that constructs this representation in time $O(n^{2k+7}γ+n^{2k+8}+n^{4k+2})$, where $γ$ is the oracle time to evaluate $f$. This generalizes the low rank structure theorem of Bojańczyk, Pilipczuk, Przybyszewski, Sokołowski, and Stamoulis [Low rank MSO, arXiv, 2025] on cut-rank functions on graphs to general connectivity functions. As an application, for fixed $k$, we obtain a polynomial-time algorithm for finding a set $A$ with $f(A)=k$ and a prescribed cardinality constraint on $A$.
Flats and hyperplane arrangements for matroids with coefficients
Based on the notion of vectors and linear subspaces for a matroid, we develop a theory of flats and hyperplane arrangements for T-matroids, where T is a tract. This leads to several cryptomorphic descriptions of T-matroids: in terms of its lattice of T-flats, as a hyperplane arrangement over T, as point-line arrangements in projective space over T and as a quiver representation over T. We examplify these notions in the case of tropical linear spaces, a.k.a. valuated matroids.
On Representing Matroids via Modular Independence
We study a matrix-based notion of matroid representation over local commutative rings obtained by replacing linear independence with modular independence. This construction always defines an independence system, though not necessarily a matroid. Under a mild nilpotent hypothesis, we show that chain rings are exactly the local rings for which the minimal number of generators is monotone on finitely generated submodules, and over commutative chain rings we obtain a criterion for the associated independence system to be a matroid. For codes over finite commutative chain rings, we identify puncturing with deletion, show that shortening agrees with contraction under a contractibility hypothesis, and establish duality for free codes. We further derive bounds for simple and uniform matroids, prove that the uniform matroid $U_{2, n}$ is representable if and only if the size $n$ is at most the sum of the cardinalities of the local ring and its unique maximal ideal, and show that all excluded minors for $\mathbb{F}_{4}$-representability are representable over $\mathbb{Z}/4\mathbb{Z}$. The examples also include ring representations of matroids not representable over any field, such as the Vámos matroid over $\mathbb{Z}/8\mathbb{Z}$.
A characterization of interval nest digraphs
A digraph consisting of a set of vertices $V$ and a set of arcs $E$ is called an interval digraph if there exists a family of closed intervals $\{I_u,J_u\}_{u \in V}$ such that $uv$ is an arc if and only if the intersection of $I_u$ and $J_v$ is non-empty. Interval digraphs naturally generalize interval graphs, by extending the classical interval intersection model to directed graphs. Several subclasses of interval digraphs have been studied in the literature-such as balanced, chronological and catch interval digraphs-each characterized by admitting interval representations that satisfy specific restrictions. Among these, interval nest digraphs are the ones that admit an interval representation in which $J_u$ is contained in $I_u$ for all vertices $u$ of $V$.
In this work, we provide a complete characterization of interval nest digraphs in terms of vertex linear orderings with forbidden patterns, which we call nest orderings. This result completes the picture of vertex-ordering characterizations among the main subclasses of interval digraphs.
An extension of Birkhoff's representation theorem to locally-finite distributive lattices
Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice. We present a simplified version of Stone's extension of this theorem to general distributive lattices. We then apply this formulation to locally finite distributive lattices to produce a novel representation theorem: The lattice is isomorphic to the order ideals of the poset of prime filters of the lattice whose symmetric difference from a particular ideal is finite.
Quadratic form estimations for Hessian matrices of resistance distance and Kirchhoff index of positive-weighted graphs
Let $G^{w}=(V,E,w)$ be a positive-weighted graph with the weight $w(e)>0$ for all $e\in E$. The weighted graph $G^{\widetilde{w}}=(V,E,\widetilde{w})$ is called a hyper-dual number weighted graph, where the weight $\widetilde{w}(e)=w(e)+Δw(e)(\varepsilon+\varepsilon^{*})$ is a hyper dual number, $Δw(e)$ is a real number, $\varepsilon$ and $\varepsilon^{*}$ are two dual units, $e\in E$. In this paper, we give a representation for the Moore-Penrose inverse of the Laplacian matrix, and calculation formulas for the resistance distance and Kirchhoff index of $G^{\widetilde{w}}$, respectively. We establish quadratic forms of the Hessian matrices for the resistance distance and Kirchhoff index of $G^{w}$ via generalized matrix inverses. We further derive explicit bounds on the eigenvalues of the Hessian matrices for the resistance distance and the Kirchhoff index of $G^{w}$ in terms of graph parameters. We also prove that the Kirchhoff index of a positive-weighted graph with bounded edge weights is strongly convex on its edge weight vector.
Measures on Cameron's treelike classes and applications to tensor categories
Measures on Fraïssé classes are a key input in the Harman--Snowden (2022) construction of tensor categories. Treelike Fraïssé classes provide a particularly tractable source of examples. In this paper, we complete the classification of measures on Cameron's elementary treelike classes. In particular, for the class $\partial \mathfrak{T}_3(n)$ of node-colored rooted binary tree structures with $n$ colors, we classify measures by an explicit bijection with directed rooted trees edge-labeled by $\{1, \dots, n\}$ with a distinguished vertex, yielding $(2n+2)^n$ distinct $\mathbb{Z}\left[\frac{1}{2}\right]$-valued measures. For each $n \geq 1$, we use a family of measures $μ_n^I$ and their supports $\partial \mathfrak{T}_3(n)^{\mathrm{ord}}_I$ (where $I \subseteq \{1, \dots, n\}$) to construct the Karoubi envelopes $\mathbf{Rep}(\partial \mathfrak{T}_3(n)^{\mathrm{ord}}_I;μ^I_n)$, producing infinite families of semisimple tensor categories with superexponential growth that cannot be obtained via Deligne's interpolation of representation categories. We also prove the nonexistence of measures on the $n$-colored tree class $C_n\mathfrak{T}$ for $n \geq 2$ and the labeled tree class $L \mathfrak{T}$, extending Snowden's results for uncolored trees.
Autocatalytic Cores in Reaction Networks with Explicit Catalysis
Autocatalytic cores are minimal units in reaction networks (RNs) responsible for the emergence of autocatalysis. In the absence of explicit catalysis, i.e., when an entity appears both as reactant and product in the same reaction, they are known to be encoded by square submatrices of the stoichiometric matrix whose columns can be reordered as an irreducible child-selection (CS) matrix with negative diagonal and nonnegative off-diagonal (Metzler matrix). In the bipartite Koenig graph representing the RN, these CS matrices can be identified by fluffles, i.e., strong blocks with an identical number of entity and reaction vertices that have out- and in-degree 1, respectively. Here, we adapt the concepts derived for autocatalytic cores to RNs with explicitly catalyzed reactions, which emerge as digons, i.e., elementary circuits in the Koenig graph of length 2. In this setting, we confirm that an inspection of the stoichiometric matrix alone is inconclusive concerning the presence and number of autocatalytic cores, requiring a more delicate algebraic analysis. Nevertheless, this generalization preserves both the graph and the matrix representation as fluffles and irreducible Metzler CS matrices, respectively, although the diagonal is no longer necessarily strictly negative. We introduce the notion of hard autocatalytic cores, i.e. those that do not yield other autocatalytic cores upon inclusion of all reverse reactions. Finally, we consider the case of unit stoichiometries and show that each autocatalytic core can be constructed as the superposition of at most 2 elementary circuits. In particular, autocatalytic cores involving explicitly catalyzed reactions always contain a spanning subgraph consisting of a single elementary circuit together with a simple entity-to-reaction chord. Moreover, we identify the essentially unique example for which at least two circuits are required.
Quasi-Hermitian Varieties and Their Barlotti--Cofman Representation
Quasi-Hermitian varieties arise as higher-dimensional generalizations of non-classical unitals, including the Buekenhout--Metz (BM) and Buekenhout--Tits (BT) families.
After reviewing known constructions and structural properties, we determine explicitly the BC representation of BM and BT quasi-Hermitian varieties in $\mathrm{PG}(3,q^2)$ inside $\mathrm{PG}(6,q)$. We prove that BM varieties correspond to quadratic cones with hyperbolic base, whereas BT varieties give rise to non-quadratic cones, and we describe the associated configuration of spread elements in the section at infinity.
These results provide a geometric interpretation of the non-classical nature of BM and BT varieties within the BC framework.
Repeated principal indefinite summation
Under suitable asymptotic and convexity conditions on a function $g\colon\mathbb{R}_+\to\mathbb{R}$, the solution to $Δf=g$, where $Δ$ is the forward difference operator, is unique up to an additive constant and is called the principal indefinite sum of $g$, generalizing the additive form of Bohr-Mollerup's theorem. We consider the map $Σ$, which assigns to each admissible function $g$ its principal indefinite sum that vanishes at $1$, and we naturally explore its iterates, which produce repeated principal indefinite sums, in analogy with the concept of repeated indefinite integrals. Explicit formulas and convergence results are established, highlighting connections with classical combinatorial and special functions, including the multiple gamma functions, for which we also provide integral representations.
Cyclic sieving for a class of rectangular domino tableaux
The cyclic sieving phenomenon (CSP) provides valuable data about symmetry classes of cyclic actions, and has applications to representation theory. In this paper, we enumerate domino tableaux of shape 2-by-n, and use this result to prove a new CSP on these objects. We then enumerate the rectangular domino tableaux of any dimensions, and conjecture a more general CSP on rectangular domino tableaux. As a consequence of the enumerative results, we obtain several identities involving Fibonacci and Catalan numbers.