representation ↗ reference
4143 papers tagged with this keyword
The mixed Schur transform: efficient quantum circuit and applications
The Schur transform, which block-diagonalizes the tensor representation $U^{\otimes n}$ of the unitary group $\mathbf{U}_d$ on $n$ qudits, is an important primitive in quantum information and theoretical physics. We give a generalization of its quantum circuit implementation due to Bacon, Chuang, and Harrow (SODA 2007) to the case of mixed tensor $U^{\otimes n} \otimes \bar{U}^{\otimes m}$, where $\bar{U}$ is the dual representation. This representation is the symmetry of unitary-equivariant channels, which find various applications in quantum majority vote, multiport-based teleportation, asymmetric state cloning, black-box unitary transformations, etc. The "mixed" Schur transform contains several natural extensions of the representation theory used in the Schur transform, in which the main ingredient is a duality between the mixed tensor representations and the walled Brauer algebra. Another element is an efficient implementation of a "dual" Clebsch-Gordan transform for $\bar{U}$. The overall circuit has complexity $\widetilde{O} ((n+m)d^4)$. Finally, we show how the mixed Schur transform enables efficient implementation of unitary-equivariant channels in various settings and discuss other potential applications, including an extension of permutational quantum computing that includes partial transposes.
Motivic factorisation of KZ local systems and deformations of representation and fusion rings
Let $\mathfrak{g}$ be a simple Lie algebra over $\mathbb{C}$. The KZ connection is a connection on the constant bundle associated to a set of $n$ finite dimensional irreducible representations of $\mathfrak{g}$ and a nonzero $κ\in \mathbb{C}$, over the configuration space of $n$-distinct points on the affine line. Via the work of Schechtman--Varchenko and Looijenga, when $κ$ is a rational number the associated local systems can be seen to be realisations of naturally defined motivic local systems. We prove a basic factorisation for the nearby cycles of these motivic local systems as some of the $n$ points coalesce.
This leads to the construction of a family (parametrised by $κ$) of deformations over $\mathbb{Z}[t]$ of the representation ring of $\mathfrak{g}$--we call these enriched representation rings--which allows one to compute the ranks of the Hodge filtration of the associated variations of mixed Hodge structure; in turn, this has applications to both the local and global monodromy of the KZ connection. In the case of $\mathfrak{sl}_n$ we give an explicit algorithm for computing all products in the enriched representation rings, which we use to prove that if $1/κ$ is an integer then the global monodromy is finite and scalar.
We also prove a similar factorisation result for motivic local systems associated to conformal blocks in genus $0$; this leads to the construction of a family of deformations of the fusion rings. Computations in these rings have potential applications to finiteness of global monodromy.
Several open problems and conjectures are formulated. These include questions about motivic BGG-type resolutions and the relationship between the Hodge filtration and the filtration by conformal blocks at varying levels.
Variations of GIT quotients and dimer combinatorics for toric compound Du Val singularities
Published
• View Publication
• BIB
A dimer model is a bipartite graph described on the real two-torus, and it gives the quiver as the dual graph. It is known that for any three-dimensional Gorenstein toric singularity, there exists a dimer model such that a GIT quotient parametrizing stable representations of the associated quiver is a projective crepant resolution of this singularity for some stability parameter. It is also known that the space of stability parameters has the wall-and-chamber structure, and for any projective crepant resolution of a three-dimensional Gorenstein toric singularity can be realized as the GIT quotient associated to a stability parameter contained in some chamber. In this paper, we consider dimer models giving rise to projective crepant resolutions of a toric compound Du Val singularity. We show that sequences of zigzag paths, which are special paths on a dimer model, determine the wall-and-chamber structure of the space of stability parameters. Moreover, we can track the variations of stable representations under wall-crossing using the sequences of zigzag paths.
A generalization of immanants based on partition algebra characters
Published in Can. Math. Bull. 67 (2024) 1001-1010
• View Publication
• BIB
We introduce a generalization of immanants of matrices, using partition algebra characters in place of symmetric group characters. We prove that our immanant-like function on square matrices, which we refer to as the recombinant, agrees with the usual definition for immanants for the special case whereby the vacillating tableaux associated with the irreducible characters correspond, according to the Bratteli diagram for partition algebra representations, to the integer partition shapes for symmetric group characters. In contrast to previously studied variants and generalizations of immanants, as in Temperley-Lieb immanants and $f$-immanants, the sum that we use to define recombinants is indexed by a full set of partition diagrams, as opposed to permutations.
Characters of $GL_n(\mathbb F_q)$ and vertex operators
Published in J. Algebra 653 (2024), 109-132
• View Publication
• BIB
In this paper, we present a vertex operator approach to construct and compute all complex irreducible characters of the general linear group $\GL_n(\mathbb F_q)$. Green's theory of $\GL_n(\mathbb F_q)$ is recovered and enhanced under the realization of the Grothendieck ring of representations $R_G=\bigoplus_{n\geq 0}R(\GL_n(\mathbb F_q))$ as two isomorphic Fock spaces associated to two infinite-dimensional $F$-equivariant Heisenberg Lie algebras $\widehat{\mathfrak{h}}_{\hat{\overline{\mathbb F}}_q}$ and $\widehat{\mathfrak{h}}_{\overline{\mathbb F}_q}$, where $F$ is the Frobenius automorphism of the algebraically closed field $\overline{\mathbb F}_q$. Under this picture, the irreducible characters are realized by the Bernstein vertex operators for Schur functions, the characteristic functions of the conjugacy classes are realized by the vertex operators for the Hall-Littlewood functions, and the character table is completely given by matrix coefficients of vertex operators of these two types. One of the features of the current approach is a simpler identification of the Fock space $R_G$ as the Hall algebra of symmetric functions via vertex operator calculus, and another is that we are able to compute in general the character table, where Green's degree formula is demonstrated as an example.
Chow Rings of Matroids as Permutation Representations
Published
• View Publication
• BIB
Given a matroid and a group of its matroid automorphisms, we study the induced group action on the Chow ring of the matroid. This turns out to always be a permutation action. Work of Adiprasito, Huh and Katz showed that the Chow ring satisfies Poincaré duality and the Hard Lefschetz theorem. We lift these to statements about this permutation action, and suggest further conjectures in this vein.
Descent representations and colored quasisymmetric functions
The quasisymmetric generating function of the set of permutations whose inverses have a fixed descent set is known to be symmetric and Schur-positive. The corresponding representation of the symmetric group is called the descent representation. In this paper, we provide an extension of this result to colored permutation groups, where Gessel's fundamental quasisymmetric functions are replaced by Poirier's colored quasisymmetric functions. For this purpose, we introduce a colored analogue of zigzag shapes and prove that the representations associated with these shapes coincide with colored descent representations studied by Adin, Brenti and Roichman in the case of two colors and Bagno and Biagioli in the general case. Additionally, we provide a colored analogue of MaMahon's alternating formula which expresses ribbon Schur functions in the basis of complete homogeneous symmetric functions.
Random Maps with Sociological Flavor
Published in J. Phys. A 57, 215201 (2024)
• View Publication
• BIB
A map of a set to itself admits a representation by a graph with vertices being the elements of the set and an edge between every vertex and its image. Communities defined as the maximal connected components are uni-cyclic. The distributions of the sizes of communities and lengths of cycles for unconstrained random maps is a classical subject. We call experts the images and followers the remaining vertexes, and we further define prophets, egocentrics, and introverts. We introduce and analyze classes of random maps with sociological flavor.
Coloured corner processes from asymptotics of LLT polynomials
Published
• View Publication
• BIB
We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process.
Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support.
Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.
A central limit theorem in the framework of the Thompson group $F$
Published
• View Publication
• BIB
We discuss a central limit theorem in the framework of the group algebra of the Thompson group $F$. We consider the sequence of self-adjoint elements given by $a_n=\frac{g_n+g_n^{*}}{\sqrt{2}}$ in the noncommutative probability space $(\mathbb{C}(F),\varphi)$, where the expectation functional $\varphi$ is the trace associated to the left regular representation of $F$, and the $g_n$-s are the generators of $F$ in its standard infinite presentation. We show that the limit law of the sequence $s_n = \frac{a_0+\cdots+a_{n-1}}{\sqrt{n}}$ is the standard normal distribution.
Digraph Branchings and Matrix Determinants
We present a version of the matrix-tree theorem, which relates the determinant of a matrix to sums of weights of arborescences of its directed graph representation. Our treatment allows for non-zero column sums in the parent matrix by adding a root vertex to the usually considered matrix directed graph. We use our result to prove a version of the matrix-forest, or all-minors, theorem, which relates minors of the matrix to forests of arborescences of the matrix digraph. We then show that it is possible, when the source and target vertices of an arc are not strongly connected, to move the source of the arc in the matrix directed graph and leave the resulting matrix determinant unchanged, as long as the source and target vertices are not strongly connected after the move. This result enables graphical strategies for factoring matrix determinants.
Universal Plücker coordinates for the Wronski map and positivity in real Schubert calculus
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.