representation ↗ reference
4143 papers tagged with this keyword
Expander representations of quivers
Published
• View Publication
• BIB
We propose a definition of expander representations of quivers, generalizing dimension (or linear algebra) expanders, as a qualitative refinement of slope stability. We prove existence of uniform expander representations for any wild quiver over an algebraically closed base field, using the concept of general subrepresentations and spectral properties of Cartan matrices.
Transformation representations of diagram monoids
Published
• View Publication
• BIB
We obtain formulae for the minimum transformation degrees of the most well-studied families of finite diagram monoids, including the partition, Brauer, Temperley--Lieb and Motzkin monoids. For example, the partition monoid $P_n$ has degree $1 + \frac{B(n+2)-B(n+1)+B(n)}2$ for $n\geq2$, where these are Bell numbers. The proofs involve constructing explicit faithful representations of the minimum degree, many of which can be realised as (partial) actions on projections.
The Polymatroid Representation of a Greedoid, and Associated Galois Connections
A greedoid is a generalization of a matroid allowing for more flexible analyses and modeling of combinatorial optimization problems. However, these structures decimate many matroid properties contributing to their pervasive nature. A polymatroid greedoid [KL85a] presents an interesting middle ground, so we further develop this class. First we prove every local poset greedoid for which the greedy algorithm correctly solves linear optimizations over its basic words must have a polymatroid representation. For this, we use relationships between the lattices of greedoid flats and closed sets of a polymatroid to generalize concepts in [KL85a]. Then, we show our generalization induces a Galois injection between the greedoid flats and closed sets of a representation. Finally, we apply this duality to identify a subclass of polymatroid greedoids with a maximum representation, giving a partial answer to an open problem of [KL85a]. As technical tools for our analyses, we introduce optimism and the Forking Lemma for interval greedoids. Both are pervasive in our work, and are of independent interest.
Murnaghan--Nakayama rules for symplectic, orthogonal and orthosymplectic Schur functions
Published in Discrete Mathematics, Volume 349, Issue 2, February 2026, 114741
• View Publication
• BIB
We establish new Murnaghan--Nakayama rules for symplectic, orthogonal and orthosymplectic Schur functions. The classical Murnaghan--Nakayama rule expresses the product of a power sum symmetric function with a Schur function as a linear combination of Schur functions. Symplectic and orthogonal Schur functions correspond to characters of irreducible representations of symplectic and orthogonal groups. Orthosymplectic Schur functions arise as characters of orthosymplectic Lie superalgebras and are hybrids of symplectic and ordinary Schur functions. We derive explicit formulas for the product of the relevant power-sum function with each of these functions, which can partly be described combinatorially using border strip manipulations. Our Murnaghan--Nakayama rules each include three distinct terms: a classical term corresponding to the addition of border strips to the relevant Young diagram, a term involving the removal of border strips, and a third term, which we describe both algebraically and combinatorially.
Two-count interval representation of a permutation
The interval count problem, a classical question in the study of interval orders, was introduced by Ronald Graham in the 1980s. This problem asks: given an interval order $P$, what is the minimum number of distinct interval lengths required to construct an interval representation of $P$? Interval orders that can be represented with just one interval length are known as semiorders, and their characterizations are well known. However, the characterization of interval orders that require at most $k$ interval lengths -- termed $k$-count interval orders -- remains an open and challenging problem for $k\geq 2$.
Our investigation into $2$-count interval orders led us naturally to consider a related problem, interval representations of permutations, which we introduce in this paper. Specifically, we characterize permutations that have a $2$-count interval representation. We prove that a permutation admits a $2$-count interval representation if and only if its longest decreasing subsequences have length at most $2$. For larger values of $k$, however, a similar characterization does not hold. There are permutations that do not permit a $3$-count interval representation despite having decreasing subsequences of length at most $3$. Characterizing $k$-count permutations remains open for $k \geq 3$.
The $k$-count permutation representation problem appears to capture essential aspects of the broader problem of characterizing $k$-count interval orders. To support this connection, we apply our findings on interval representations of permutations to demonstrate that a height-$3$ interval order is $2$-count if and only if it has depth at most $2$, where the depth of an interval order refers to the length of the longest nested chain of intervals required in any interval representation of the order.
Finding Permutiples of a Known Base and Multiplier
Natural numbers which are nontrivial multiples of some permutation of their base-$b$ digit representations are called permutiples. Specific cases include numbers which are multiples of cyclic permutations (cyclic numbers) and reversals of their digits (palintiples). Previous efforts have produced methods which construct new examples of permutiples with the same set of digits as a known example. Using simple graph-theoretical and finite-state machine constructions, we advance previous work by describing two methods for finding permutiples of a known base and multiplier with no need for known examples or prior knowledge of digits.
Alphabet-affine 2-neighbour-transitive codes
Published
• View Publication
• BIB
A code ${\mathcal C}$ is a subset of the vertex set of a Hamming graph $H(n,q)$, and ${\mathcal C}$ is $2$-neighbour-transitive if the automorphism group $G={\rm Aut}({\mathcal C})$ acts transitively on each of the sets ${\mathcal C}$, ${\mathcal C}_1$ and ${\mathcal C}_2$, where ${\mathcal C}_1$ and ${\mathcal C}_2$ are the (non-empty) sets of vertices that are distances $1$ and $2$, respectively, (but no closer) to some element of ${\mathcal C}$.
Suppose that ${\mathcal C}$ is a $2$-neighbour-transitive code with minimum distance at least $5$. For $q=2$, all `minimal' such ${\mathcal C}$ have been classified. Moreover, it has previously been shown that a subgroup of the automorphism group of the code induces an affine $2$-transitive group action on the alphabet of the Hamming graph. The main results of this paper are to show that this affine $2$-transitive group must be a subgroup of ${\rm A}Γ{\rm L}_1(q)$ and to provide a number of infinite families of examples of such codes. These examples are described via polynomial algebras related to representations of certain classical groups.
Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classes
Machine learning is becoming an increasingly valuable tool in mathematics, enabling one to identify subtle patterns across collections of examples so vast that they would be impossible for a single researcher to feasibly review and analyze. In this work, we use graph neural networks to investigate \emph{quiver mutation} -- an operation that transforms one quiver (or directed multigraph) into another -- which is central to the theory of cluster algebras with deep connections to geometry, topology, and physics. In the study of cluster algebras, the question of \emph{mutation equivalence} is of fundamental concern: given two quivers, can one efficiently determine if one quiver can be transformed into the other through a sequence of mutations? In this paper, we use graph neural networks and AI explainability techniques to independently discover mutation equivalence criteria for quivers of type $\tilde{D}$. Along the way, we also show that even without explicit training to do so, our model captures structure within its hidden representation that allows us to reconstruct known criteria from type $D$, adding to the growing evidence that modern machine learning models are capable of learning abstract and parsimonious rules from mathematical data.
Markov chains on trees: almost lower and upper directed cases
Published
• View Publication
• BIB
The transition matrix of a Markov chain $(X_k,k\geq 0)$ on a finite or infinite rooted tree is said to be almost upper-directed if, given $X_k$, the node $X_{k+1}$ is either a descendant of $X_k$ or the parent of $X_k$. It is said to be almost lower-directed if given $X_k$, $X_{k+1}$ is either an ancestor of $X_k$ or a child of $X_k$.
These models include nearest neighbor Markov chains on trees.
Under an irreducibility assumption, we show that every almost upper-directed transition matrix on infinite (locally finite) trees has some invariant measures. An invariant measure $π$ is expressed thanks to a determinantal formula. We give general explicit criteria for recurrence and positive recurrence. An efficient algorithm (the leaf addition algorithm) of independent interest allows $π$ to be computed on many trees, without resorting to linear algebra considerations.
Flajolet, in a series of papers, provided some relations between continuous fractions, generating functions of weighted Mötzkin paths, and used them in connection with the analysis of birth and death processes. These fruitful representations made it possible to establish many formulae for continuous fractions. Analogous considerations appear here: this type of study can be extended to weighted paths on trees, whose generating functions can also be expressed, this time in terms of multicontinuous fractions.
Chow functions for partially ordered sets
Three decades ago, Stanley and Brenti initiated the study of the Kazhdan--Lusztig--Stanley (KLS) functions, putting on common ground several polynomials appearing in algebraic combinatorics, discrete geometry, and representation theory. In the present paper we develop a theory that parallels the KLS theory. To each kernel in a given poset, we associate a polynomial function that we call the \emph{Chow function}. The Chow function often exhibits remarkable properties, and sometimes encodes the graded dimensions of a cohomology or Chow ring. The framework of Chow functions provides natural polynomial analogs of graded module decompositions that appear in algebraic geometry, but that work for arbitrary posets, even when no graded module decomposition is known to exist. In this general framework, we prove a number of unimodality and positivity results without relying on versions of the Hard Lefschetz theorem. Our framework shows that there is an unexpected relation between positivity and real-rootedness conjectures about chains on face lattices of polytopes by Brenti and Welker, Hilbert--Poincaré series of matroid Chow rings by Ferroni and Schröter, and flag enumerations on Bruhat intervals of Coxeter groups by Billera and Brenti.
The monoid representation of upho posets and total positivity
We show that all totally positive formal power series with integer coefficients and constant term $1$ are precisely the rank-generating functions of Schur-positive upho posets, thereby resolving the main conjecture proposed by Gao, Guo, Seetharaman, and Seidel. To achieve this, we construct a bijection between finitary colored upho posets and atomic, left-cancellative, invertible-free monoids, which restricts to a correspondence between $\mathbb{N}$-graded colored upho posets and left-cancellative homogeneous monoids. Furthermore, we introduce semi-upho posets and develop a convolution operation on colored upho posets with colored semi-upho posets within this monoid-theoretic framework.
An integral representation of Catalan numbers using the Féaux formula
We present an integral expression of the Catalan numbers, based on Féaux' integral representation of $\log\left[Γ(x)\right]$, $Γ$ being the usual Gamma function. The obtained formula may be the starting point of the derivation of new relations involving central binomial coefficients or Catalan numbers.
A proof of a conjecture on trivariate permutations
In this note we show (for a large enough dimension of the underlying field) a conjecture of [C. Beierle, C. Carlet, G. Leander, L. Perrin, {\em A further study of quadratic APN permutations in dimension nine}, Finite Fields Appl. 81 (2022), 102049] on a trivariate permutation. This function is a global representation of two new sporadic quadratic APN permutations in dimension $9$ found by [C. Beierle, G. Leander, {\em New instances of quadratic APN functions}, IEEE Trans. Inf. Theory 68(1) (2022), 670--678].
Algorithmic methods of finite discrete structures. Graph clique problem
The monography presents a new algorithm for finding the clique of maximal length in a nonseparable graph. The algorithm is based on the properties of the representation of a clique as a subset of the set of cycles with a length of three, the ring sum of which is an empty set. As a result of selecting the cycles of the length of three, two vectors are formed: the vector of cycles passing through the edges and the vector of cycles passing through the vertices. The numerical values of the components of these vectors determine the weights of the vertices and edges. The iterative process of constructing the set of vectors of cycles passing through the edges allows identifying the main vector of cycles passing through the edges. In turn, the construction of the main vector allows finding the clicks of the graph. The computational complexity of the presented algorithm is analyzed.
Canonical Join Representations and Join-irreducible elements of Garside shadows in Coxeter groups
In this article, we establish some new combinatorial properties of elements in Coxeter groups. Firstly, we generalise Reading's theorem on the canonical join representations of elements in finite Coxeter groups to all finitely generated Coxeter groups.
Secondly, we show that for any element $x$ in a Coxeter group $W$ and root $β$ in its inversion set $Φ(x)$, the set of elements $y \in W$ satisfying $Φ(x) \cap Φ(y) = \{ β\} $ is convex in the weak order and admits a unique minimal representative. This is strongly connected to determining the cone type of elements of $W$ and leads to efficient computational methods to determine whether arbitrary elements of $W$ have the same cone type.
The length polyhedron of an interval order
The length polyhedron $Q_P$ of an interval order $P$ is the convex hull of integral vectors representing the interval lengths in interval representations of $P$. This polyhedron has been studied by various authors, including Fishburn and Isaak. Notably, $Q_P$ forms a pointed affine cone, a property inherited from being a projection of the representation polyhedron, a structure explored also by Doignon and Pauwels. The apex of the length polyhedron corresponds to Greenough's minimal endpoint representation, which is, in fact, the length vector of the canonical interval representation -- an interval representation that minimizes the sum of the interval lengths.
Building on a combinatorial perspective of canonical representations, we refine Isaak's graph-theoretical model by introducing a new and simpler directed graph. From directed cycles of this key digraph, we extract a linear system of inequalities that precisely characterizes the length polyhedron $Q_P$. This combinatorial approach also reveals the unique Hilbert basis of the polyhedron. We prove that the intersection graph of the sets corresponding to these binary rays are Berge graphs; therefore they are perfect graphs. As a result, for interval orders with bounded width, the length polyhedron has a polynomial-sized Hilbert basis, which can be computed in polynomial time. We also provide an example of interval orders with a Hilbert basis of exponential size. In a companion paper we determine the Schrijver system for the length polyhedron. We conclude with open problems.
Centralizers in the plactic monoid
Published
• View Publication
• BIB
Let u be a word over the positive integers. Motivated in part by a question from representation theory, we study the centralizer set of u which is C(u) = {w | uw is Knuth-equivalent to wu}. In particular, we give various necessary conditions for w to be in C(u). We also characterize C(u) when u has few letters, when it has a single repeated entry, or when it is a certain type of decreasing sequence. We consider c_{n,m}(u), the number of w in C(u) of length n with max w at most m. We prove that for |u| = 1 the value of this function depends only on the relative sizes of u and m and not on their actual values. And for various u we use Stanley's theory of poset partitions to show that, for fixed n, c_{n,m}(u) is a polynomial in m with certain degree and leading coefficient. We end with various conjectures and directions for further research.
Generalized Bäcklund-Darboux transformations for Coxeter-Toda systems on simple Lie groups
We derive the cluster structure on the conjugation quotient Coxeter double Bruhat cells of a simple Lie group from that on the double Bruhat cells of the corresponding adjoint Lie group given by Fock and Goncharov using the notion of amalgamation given by Fock and Goncharov, and Williams, thereby generalizing the construction developed by Gekhtman \emph{et al}. We will then use this cluster structure on the conjugation quotient Coxeter double Bruhat cells to construct generalized Bäcklund-Darboux transformations between two Coxeter-Toda systems on simple Lie groups in terms of cluster mutations, thereby generalizing the construction developed by Gekhtman \emph{et al}. We show that these generalized Bäcklund-Darboux transformations preserve Hamiltonian flows generated by the restriction of the trace function of any representation of the simple Lie group, from which we deduce that the family of Coxeter-Toda systems on a simple Lie group forms a single cluster integrable system. Finally, we also develop network formulations of the Coxeter-Toda Hamiltonians for the classical Lie groups, and use these network formulations to obtain combinatorial formulas for these Coxeter-Toda Hamiltonians.
Kleinian singularities: some geometry, combinatorics and representation theory
Published
• View Publication
• BIB
We review the relationship between discrete groups of symmetries of Euclidean three-space, constructions in algebraic geometry around Kleinian singularities including versions of Hilbert and Quot schemes, and their relationship to finite-dimensional and affine Lie algebras via the McKay correspondence. We focus on combinatorial aspects, such as the enumeration of certain types of partition-like objects, reviewing in particular a recently developed root-of-unity-substitution calculus. While the most complete results are in type A, we also develop aspects of the theory in type D, and end with some questions about the exceptional type E cases.
Polynomial Expressions for the Dimensions of the Representations of Symmetric Groups and Restricted Standard Young Tableaux
Published
• View Publication
• BIB
Given a partition $λ$ of a number $k$, it is known that by adding a long line of length $n-k$, the dimension of the associated representation of $S_{n}$ is an integer-valued polynomial of degree $k$ in $n$. We show that its expansion in the binomial basis is bounded by the length of $λ$, and that the resulting coefficient of index $h$, with alternating signs, counts the standard Young tableaux of shape $λ$ in which a given collection of consecutive $h$ numbers lie in increasing rows. We also construct bijections in order to demonstare explicitly that this number is indeed independent of the set of consecutive $h$ numbers used.