representation ↗ reference
4053 papers tagged with this keyword
Universal Plücker coordinates for the Wronski map and positivity in real Schubert calculus
Given a $d$-dimensional vector space $V \subset \mathbb{C}[u]$ of polynomials, its Wronskian is the polynomial $(u + z_1) \cdots (u + z_n)$ whose zeros $-z_i$ are the points of $\mathbb{C}$ such that $V$ contains a nonzero polynomial with a zero of order at least $d$ at $-z_i$. Equivalently, $V$ is a solution to the Schubert problem defined by osculating planes to the moment curve at $z_1, \dots, z_n$. The inverse Wronski problem involves finding all $V$ with a given Wronskian $(u + z_1) \cdots (u + z_n)$. We solve this problem by providing explicit formulas for the Grassmann-Plücker coordinates of the general solution $V$, as commuting operators in the group algebra $\mathbb{C}[\mathfrak{S}_n]$ of the symmetric group. The Plücker coordinates of individual solutions over $\mathbb{C}$ are obtained by restricting to an eigenspace and replacing each operator by its eigenvalue. This generalizes work of Mukhin, Tarasov, and Varchenko (2013) and of Purbhoo (2022), which give formulas in $\mathbb{C}[\mathfrak{S}_n]$ for the differential equation satisfied by $V$. Moreover, if $z_1, \dots, z_n$ are real and nonnegative, then our operators are positive semidefinite, implying that the Plücker coordinates of $V$ are all real and nonnegative. This verifies several outstanding conjectures in real Schubert calculus, including the positivity conjectures of Mukhin and Tarasov (2017) and of Karp (2021), the disconjugacy conjecture of Eremenko (2015), and the divisor form of the secant conjecture of Sottile (2003). The proofs involve the representation theory of $\mathfrak{S}_n$, symmetric functions, and $τ$-functions of the KP hierarchy.
On the Spectrum of Exterior Algebra, and Generalized Exponents of Small Representations
We present some results about the irreducible representations appearing in the exterior algebra $Λ\mathfrak{g}$, where $ \mathfrak{g}$ is a simple Lie algebra over $\mathbb{C}$. For Lie algebras of type $B$, $C$ or $D$ we prove that certain irreducible representations, associated to weights characterized in a combinatorial way, appear as irreducible components of $Λ\mathfrak{g}$. Moreover, we propose an analogue of a conjecture of Kostant, about irreducibles appearing in the exterior algebra of the little adjoint representation. Finally, we give some closed expressions, in type $B$, $C$ and $D$, for generalized exponents of small representations that are fundamental representations and we propose a generalization of some results of De Concini, Möseneder Frajria, Procesi and Papi about the module of special covariants of adjoint and little adjoint type.
Burau representation of braid groups and $q$-rationals
We establish a link between the new theory of $q$-deformed rational numbers and the classical Burau representation of the braid group $\mathrm{B}_3$. We apply this link to the open problem of classification of faithful complex specializations of this representation. As a result we provide an answer to this problem in terms of the singular set of the $q$-rationals and prove the faithfulness of the Burau representation specialized at complex $t\in \mathbb{C}^*$ outside the annulus $3-2\sqrt2 \leq |t| \leq 3+2\sqrt2.$
On Minimizing the Energy of a Spherical Graph Representation
Graph representations are the generalization of geometric graph drawings from the plane to higher dimensions. A method introduced by Tutte to optimize properties of graph drawings is to minimize their energy. We explore this minimization for spherical graph representations, where the vertices lie on a unit sphere such that the origin is their barycentre. We present a primal and dual semidefinite program which can be used to find such a spherical graph representation minimizing the energy. We denote the optimal value of this program by $ρ(G)$ for a given graph $G$. The value turns out to be related to the second largest eigenvalue of the adjacency matrix of $G$, which we denote by $λ_2$. We show that for $G$ regular, $ρ(G) \leq \frac{λ_{2}}{2} \cdot v(G)$, and that equality holds if and only if the $λ_{2}$ eigenspace contains a spherical 1-design. Moreover, if $G$ is a random $d$-regular graph, $ρ(G)=\left(\sqrt{(d-1)} +o(1)\right)\cdot v(G)$, asymptotically almost surely.
Boxicity and Interval-Orders: Petersen and the Complements of Line Graphs
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs''.
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
Since every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $\mathcal{NP}$-hard: for the existence and optimization of interval-order subgraphs of line-graphs, or of interval-completions of their complement.
Representations of large Mackey Lie algebras and universal tensor categories
We extend previous work by constructing a universal abelian tensor category ${\bf T}_t$ generated by two objects $X,Y$ equipped with finite filtrations $0\subsetneq X_0\subsetneq ... X_{t+1}\subsetneq X$ and $0\subsetneq Y_0\subsetneq ... Y_{t+1}\subsetneq Y$, and with a pairing $X\otimes Y\to \mathbb{I}$, where $\mathbb{I}$ is the monoidal unit. This category is modeled as a category of representations of a Mackey Lie algebra $\mathfrak{gl}^M(V,V_*)$ of cardinality $2^{\aleph_t}$, associated to a diagonalizable pairing between two complex vector spaces $V,V_*$ of dimension $\aleph_t$. As a preliminary step, we study a tensor category $\mathbb{T}_t$ generated by the algebraic duals $V^*$, $(V_*)^*$. The injective hull of $\mathbb{C}$ in $\mathbb{T}_t$ is a commutative algebra $I$, and the category ${\bf T}_t$ is consists of the free $I$-modules in $\mathbb{T}_t$. An essential novelty in our work is the explicit computation of Ext-groups between simples in both categories ${\bf T}_t$ and $\mathbb{T}_t$, which had been an open problem already for $t=0$. This provides a direct link from the theory of universal tensor categories to Littlewood-Richardson-type combinatorics.
On a theorem of Lafforgue
We give a new proof, along with some generalizations, of a folklore theorem (attributed to Laurent Lafforgue) that a rigid matroid (i.e., a matroid with indecomposable basis polytope) has only finitely many projective equivalence classes of representations over any given field.
Phase Transitions for Sparse Random Sets Under Linear Forms
Let $A \subseteq \{0,1,\dots,N\}$ be a random set in which each element is included independently with probability $p=p(N)$. Fix an integer $h \geq 2$ and a linear form $$L(x_1,\dots,x_h) := u_1x_1 + \cdots + u_hx_h.$$ We study the random image set \begin{align*}
L(A) = \left\{ L(a_1,\dots,a_h) : a_i \in A \right\}, \end{align*} inside the feasible interval of values of $L$ on $\{0,1,\dots,N\}^h$, as well as the associated representation counts. Our results exhibit two distinct threshold scales. First, there is a \emph{global} transition at $p(N) \asymp N^{-(h-1)/h}$ governing the size of $L(A)$: below this scale collisions are rare and $L(A)$ is sparse, while above it $L(A)$ contains nearly all feasible values. We give sharp asymptotics for the size of $L(A)$ in all regimes, including inside the critical window. Second, there is a \emph{local} transition at $p(N)\asymp N^{-(h-2)/(h-1)}$ governing multiplicities: for typical values in the bulk, the number of essentially distinct representations is asymptotically Poisson below this scale, and Poisson behavior fails above it. For $h \geq 3$ these scales are separated, yielding a regime in which $L(A)$ is already globally close to full while local multiplicities remain approximately Poisson. Our framework subsumes the classical sumset and difference-set models, as well as generalized sumsets of the form $sA-dA$, as special cases. Notably, after correcting its formulation, our global theorem settles the 2009 threshold conjecture of Hegarty-Miller on the behavior of these random images.
On the Kronecker product of Schur functions of square shapes
Motivated by the Saxl conjecture and the tensor square conjecture, which states that the tensor squares of certain irreducible representations of the symmetric group contain all irreducible representations, we study the tensor squares of irreducible representations associated with square Young diagrams. We give a formula for computing Kronecker coefficients, which are indexed by two square partitions and a three-row partition, specifically one with a short second row and the smallest part equal to 1. We also prove the positivity of square Kronecker coefficients for particular families of partitions, including three-row partitions and near-hooks.
The Fiber of the Principal Minor Map
This paper explores the fibers of the principal minor map over a general field. The principal minor map is the map that assigns to each $n\times n$ matrix the $2^n$-vector of its principal minors. In $1984$, Hartfiel and Loewy proposed a condition that was sufficient to ensure that the fiber of the principal minor map is a single point up to diagonal equivalence. Loewy later improved upon this condition in $1986$. In this paper, we provide a necessary and sufficient condition for the fiber to be a point up to diagonal equivalence. Additionally, we establish a connection between the reducibility of a matrix and the reducibility of its determinantal representation. Using this connection, we fully characterize the fiber of symmetric and Hermitian matrices in the space of $n\times n$ matrices over any field $\mathbb{F}$. We also use these techniques to answer a question of Borcea, Brändén, and Liggett concerning real stable matrices.
Canonically Jordan recoverable categories for modules over the path algebra of $A_n$ type quivers
Let $Q$ be a quiver of $A_n$ type and $\mathbb{K}$ be an algebraically closed field. A nilpotent endomorphism of a quiver representation induces a linear transformation of the vector space at each vertex. Generically among all nilpotent endomorphisms of a fixed representation $X$, there exists a well-defined Jordan form of each of these linear transformations $\operatorname{GenJF}(X)$, called the generic Jordan form data of $X$. A subcategory of $\operatorname{rep}(Q)$ is Jordan recoverable if we can recover $X$ up to isomorphism from its generic Jordan form data.
There is a procedure which allows one to invert the map from representations to generic Jordan form data. The subcategories for which this procedure works are called canonically Jordan recoverable. We focus on the subcategories of $\operatorname{rep}(Q)$ that are canonically Jordan recoverable, and we give a combinatorial characterization of them.
Sketches, moves and partitions: counting regions of deformations of reflection arrangements
The collection of reflecting hyperplanes of a finite Coxeter group is called a reflection arrangement and it appears in many subareas of combinatorics and representation theory. We focus on the problem of counting regions of reflection arrangements and their deformations. Inspired by the recent work of Bernardi, we show that the notion of moves and sketches can be used to provide a uniform and explicit bijection between regions of (the Catalan deformation of) a reflection arrangement and certain non-nesting partitions. We then use the exponential formula to describe a statistic on these partitions such that distribution is given by the coefficients of the characteristic polynomial. Finally, we consider a sub-arrangement of type C arrangement called the threshold arrangement and its Catalan and Shi deformations.
The degrees of the orientation-preserving automorphism groups of toroidal maps and hypermaps
This paper is an exploration of the faithful transitive permutation representations of the orientation-preserving automorphisms groups of highly symmetric toroidal maps and hypermaps. The main theorems of this paper give a list of all possible degrees of these specific groups. This extends prior accomplishments of the authors, wherein their focus was confined to the study of the automorphisms groups of toroidal regular maps and hypermaps.
In addition the authors bring out the recently developed {\sc GAP} package {\sc corefreesub} that can be used to find faithful transitive permutation representations of any group. With the aid of this powerful tool, the authors show how Schreier coset graphs of the automorphism groups of toroidal maps and hypermaps can be easily constructed.
Asymptotics of Some Plancherel Averages via Polynomiality Results
Published in La Matematica 2 (2023), 668-691
• View Publication
• BIB
Consider Young diagrams of $n$ boxes distributed according to the Plancherel measure. So those diagrams could be the output of the RSK algorithm, when applied to random permutations of the set $\{1,\ldots,n\}$. Here we are interested in asymptotics, as $n\to \infty$, of expectations of certain functions of random Young diagrams, such as the number of bumping steps of the RSK algorithm that leads to that diagram, the side length of its Durfee square, or the logarithm of its probability. We can express these functions in terms of hook lengths or contents of the boxes of the diagram, which opens the door for application of known polynomiality results for Plancherel averages. We thus obtain representations of expectations as binomial convolutions, that can be further analyzed with the help of Rice's integral or Poisson generating functions. Among our results is a very explicit expression for the constant appearing in the almost equipartition property of the Plancherel measure.
A representation of a set of maps as a ribbon bipartite graph
In this purely experimental work we try to represent the set of plane maps with 3 vertices and 3 faces as a bipartite ribbon graph. In particular, this construction allows one to estimate the genus of the initial set.
String graphs with precise number of intersections
A string graph is an intersection graph of curves in the plane. A $k$-string graph is a graph with a string representation in which every pair of curves intersects in at most $k$ points. We introduce the class of $(=k)$-string graphs as a further restriction of $k$-string graphs by requiring that every two curves intersect in either zero or precisely $k$ points. We study the hierarchy of these graphs, showing that for any $k\geq 1$, $(=k)$-string graphs are a subclass of $(=k+2)$-string graphs as well as of $(=4k)$-string graphs; however, there are no other inclusions between the classes of $(=k)$-string and $(=\ell)$-string graphs apart from those that are implied by the above rules. In particular, the classes of $(=k)$-string graphs and $(=k+1)$-string graphs are incomparable by inclusion for any $k$, and the class of $(=2)$-string graphs is not contained in the class of $(=2\ell+1)$-string graphs for any $\ell$.
Finite simple characteristic quotients of the free group of rank 2
In this paper we describe how to explicitly construct infinitely many finite simple groups as characteristic quotients of the rank 2 free group $F_2$. This shows that a "baby" version of the Wiegold conjecture fails for $F_2$, and provides counterexamples to two conjectures in the theory of noncongruence subgroups of $\text{SL}_2(\mathbb{Z})$. Our main result explicitly produces, for every prime power $q\ge 7$, the groups $\text{SL}_3(\mathbb{F}_q)$ and $\text{SU}_3(\mathbb{F}_q)$ as characteristic quotients of $F_2$. Our strategy is to study specializations of the Burau representation for the braid group $B_4$, exploiting an exceptional relationship between $F_2$ and $B_4$ first observed by Dyer, Formanek, and Grossman. Weisfeiler's strong approximation theorem guarantees that our specializations are surjective for infinitely many primes, but it is not effective. To make our result effective, we give another proof of surjectivity via a careful analysis of the maximal subgroup structures of $\text{SL}_3(\mathbb{F}_q)$ and $\text{SU}_3(\mathbb{F}_q)$. We also show that our examples of $\text{PSL}_3(\mathbb{F}_q)$ and $\text{PSU}_3(\mathbb{F}_q)$ are minimal in the sense that no group of the form $\text{PSL}_2(\mathbb{F}_q)$ is a characteristic quotient of $F_2$.
The harmonic strength of shells of lattices and weighted theta series
This is the write-up of a talk given in RIMS conference ``Analytic and arithmetic aspects of automorphic representations", where I outlined two kinds of different results related to the D4 lattice, obtained in a joint work with Hirao and Nozaki. In general, from the design theoretical viewpoints, we are interested in determining the harmonic strength of finite subsets on the unit sphere. When considering the shells of a lattice, this problem shifts to the non-vanishing problem of the Fourier coefficients of elliptic cusp forms. Various instances, mostly from root lattices, are listed in this note.
Combinatorial Identities for Vacillating Tableaux
Vacillating tableaux are sequences of integer partitions that satisfy specific conditions. The concept of vacillating tableaux stems from the representation theory of the partition algebra and the combinatorial theory of crossings and nestings of matchings and set partitions. In this paper, we further investigate the enumeration of vacillating tableaux and derive multiple combinatorial identities and integer sequences relating to the number of vacillating tableaux, simplified vacillating tableaux, and limiting vacillating tableaux.
On the combinatorics of Lotka-Volterra equations
Published in Physica A, Volume 670, 15 July 2025, 130484
• Search Publication
We study an approach to obtaining the exact formal solution of the 2-species Lotka-Volterra equation based on combinatorics and generating functions. By employing a combination of Carleman linearization and Mori-Zwanzig reduction techniques, we transform the nonlinear equations into a linear system, allowing for the derivation of a formal solution. The Mori-Zwanzig reduction reduces to an expansion which we show can be interpreted as a directed and weighted lattice path walk, which we use to obtain a representation of the system dynamics as walks of fixed length. The exact solution is then shown to be dependent on the generator of weighted walks. We show that the generator can be obtained by the solution of PDE which in turn is equivalent to a particular Koopman evolution of nonlinear observables.