representation ↗ reference
4143 papers tagged with this keyword
Tropical representations and identities of plactic monoids
Published
• View Publication
• BIB
We exhibit a faithful representation of the plactic monoid of every finite rank as a monoid of upper triangular matrices over the tropical semiring. This answers a question first posed by Izhakian and subsequently studied by several authors. A consequence is a proof of a conjecture of Kubat and Okniński that every plactic monoid of finite rank satisfies a non-trivial semigroup identity. In the converse direction, we show that every identity satisfied by the plactic monoid of rank $n$ is satisfied by the monoid of $n \times n$ upper triangular tropical matrices. In particular this implies that the variety generated by the $3 \times 3$ upper triangular tropical matrices coincides with that generated by the plactic monoid of rank $3$, answering another question of Izhakian.
Vandermondes in superspace
Superspace of rank $n$ is a $\mathbb{Q}$-algebra with $n$ commuting generators $x_1, \dots, x_n$ and $n$ anticommuting generators $θ_1, \dots, θ_n$. We present an extension of the Vandermonde determinant to superspace which depends on a sequence $\mathbf{a} = (a_1, \dots, a_r)$ of nonnegative integers of length $r \leq n$. We use superspace Vandermondes to construct graded representations of the symmetric group. This construction recovers hook-shaped Tanisaki quotients, the coinvariant ring for the Delta Conjecture constructed by Haglund, Rhoades, and Shimozono, and a superspace quotient related to positroids and Chern plethysm constructed by Billey, Rhoades, and Tewari. We define a notion of partial differentiation with respect to anticommuting variables to construct doubly graded modules from superspace Vandermondes. These doubly graded modules carry a natural ring structure which satisfies a 2-dimensional version of Poincaré duality. The application of polarization operators gives rise to other bigraded modules which give a conjectural module for the symmetric function $Δ'_{e_{k-1}} e_n$ appearing in the Delta Conjecture of Haglund, Remmel, and Wilson.
Specialness and the Bose representation
This article looks at subconics of order $q$ of $PG(2,q^2)$ and characterizes them in the Bruck-Bose representation in $PG(4,q)$. In common with other objects in the Bruck-Bose representation, the characterisation uses the transversals of the regular line spread $S$ associated with the Bruck-Bose representation.By working in the Bose representation of $PG(2,q^2)$ in $PG(5,q)$, we give a geometric explanation as to why the transversals of the regular spread $S$ are intrinsic to the characterisation of varieties of $PG(2,q^2)$.
Conics in Baer subplanes
This article studies conics and subconics of $PG(2,q^2)$ and their representation in the André/Bruck-Bose setting in $PG(4,q)$. In particular, we investigate their relationship with the transversal lines of the regular spread. The main result is to show that a conic in a tangent Baer subplane of $PG(2,q^2)$ corresponds in $PG(4,q)$ to a normal rational curve that meets the transversal lines of the regular spread. Conversely, every 3 and 4-dimensional normal rational curve in $PG(4,q)$ that meets the transversal lines of the regular spread corresponds to a conic in a tangent Baer subplane of $PG(2,q^2)$.
A characterisation of Baer subplanes
Let $K$ be a set of $q^2+2q+1$ points in $PG(4,q)$. We show that if every 3-space meets $K$ in either one, two or three lines, a line and a non-degenerate conic, or a twisted cubic, then $K$ is a ruled cubic surface. Moreover, $K$ corresponds via the Bruck-Bose representation to a tangent Baer subplane of $PG(2,q^2)$. We use this to prove a characterisation in $PG(2,q^2)$ of a set of points $B$ as a tangent Baer subplane by looking at the intersections of $B$ with Baer-pencils.
A ruled quintic surface in $PG(6,q)$
In this article we look at a scroll of $PG(6,q)$ that uses a projectivity to rule a conic and a twisted cubic. We show this scroll is a ruled quintic surface $\mathcal V^5_2$, and study its geometric properties. The motivation in studying this scroll lies in its relationship with an $\mathbb F_q$-subplane of $PG(2,q^3)$ via the Bruck-Bose representation.
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
Published in Fundamenta Informaticae, Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024 (December 27, 2025) fi:12328
• View Publication
• BIB
In this paper, we consider relational structures arising from Comer's finite field construction, where the cosets need not be sum free. These Comer schemes generalize the notion of a Ramsey scheme and may be of independent interest. As an application, we give the first finite representation of $34_{65}$. This leaves $33_{65}$ as the only remaining relation algebra in the family $N_{65}$ with a flexible atom that is not known to be finitely representable. Motivated by this, we complement our upper bounds with some lower bounds. Using a SAT solver, we show that $33_{65}$ is not finitely representable on fewer than $24$ points, and that $33_{65}$ does not admit a cyclic group representation on fewer than $120$ points. We also employ a SAT solver to show that $34_{65}$ is not representable on fewer than $24$ points.
Tensegrities on the space of generic functions
In this small note we introduce a notion of self-stresses on the set functions in two variables with generic critical points. The notion naturally comes from a rather exotic representation of classical Maxwell frameworks in terms of differential forms. For the sake of clarity we work in the two-dimensional case only. However all the definitions for the higher dimensional case are straightforward.
When is the $q$-multiplicity of a weight a power of $q$?
Berenshtein and Zelevinskii provided an exhaustive list of pairs of weights $(λ,μ)$ of simple Lie algebras $\mathfrak{g}$ (up to Dynkin diagram isomorphism) for which the multiplicity of the weight $μ$ in the representation of $\mathfrak{g}$ with highest weight $λ$ is equal to one. Using Kostant's weight multiplicity formula we describe and enumerate the contributing terms to the multiplicity for subsets of these pairs of weights and show that, in these cases, the cardinality of these contributing sets is enumerated by (multiples of) Fibonacci numbers. We conclude by using these results to compute the associated $q$-multiplicity for the pairs of weights considered, and conjecture that in all cases the $q$-multiplicity of such pairs of weights is given by a power of $q$.
Koszul Algebras and Flow Lattices
We provide a homological algebraic realization of the lattices of integer cuts and integer flows of graphs. To a finite 2-edge-connected graph $Γ$ with a spanning tree $T$, we associate a finite dimensional Koszul algebra $A_{Γ,T}$. Under the construction, planar dual graphs with dual spanning trees are associated Koszul dual algebras. The Grothendieck group of the category of finitely-generated $A_{Γ,T}$ modules is isomorphic to the Euclidean lattice $\mathbb Z^{E(Γ)}$, and we describe the sublattices of integer cuts and integer flows on $Γ$ in terms of the representation theory of $A_{Γ,T}$. The grading on $A_{Γ,T}$ gives rise to $q$-analogs of the lattices of integer cuts and flows; these $q$-lattices depend non-trivially on the choice of spanning tree. We give a $q$-analog of the matrix-tree theorem, and prove that the $q$-flow lattice of $(Γ_1,T_1)$ is isomorphic to the $q$-flow lattice of $(Γ_2,T_2)$ if and only if there is a cycle preserving bijection from the edges of $Γ_1$ to the edges of $Γ_2$ taking the spanning tree $T_1$ to the spanning tree $T_2$. This gives a $q$-analog of a classical theorem of Caporaso-Viviani and Su-Wagner.
On the bar visibility number of complete bipartite graphs
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. For the complete bipartite graph $K_{m,n}$, the lower bound $b(K_{m,n})\ge\lceil{\frac{mn+4}{2m+2n}}\rceil$ from Euler's Formula is well known. We prove that equality holds.
An insertion algorithm on multiset partitions with applications to diagram algebras
Published in J. Algebra 557 no. 1, (2020), 97-128
• View Publication
• BIB
We generalize the Robinson-Schensted-Knuth algorithm to the insertion of two row arrays of multisets. This generalization leads to new enumerative results that have representation theoretic interpretations as decompositions of centralizer algebras and the spaces they act on. In addition, restrictions on the multisets lead to further identities and representation theory analogues. For instance, we obtain a bijection between words of length $k$ with entries in $[n]$ and pairs of tableaux of the same shape with one being a standard Young tableau of size $n$ and the other being a standard multiset tableau of content $[k]$. We also obtain an algorithm from partition diagrams to pairs of a standard tableau and a standard multiset tableau of the same shape, which has the remarkable property that it is well-behaved with respect to restricting a representation to a subalgebra. This insertion algorithm matches recent representation-theoretic results of Halverson and Jacobson.
Binomial arrays and generalized Vandermonde identities
In previous work on Clebsch-Gordan coefficients, certain remarkable hexagonal arrays of integers are constructed that display behaviors found in Pascal's Triangle. We explain these behaviors further using the binomial transform and discrete convolution. Here we begin by introducing the notion of a binomial array and develop several "hockey stick" rules. Then we give an algorithm that generalizes the classical Vandermonde Identity; this produces infinite families of summation formulas, which we use to expand and prove certain combinatorial identities for the Catalan numbers. Finally, we recast the theory in terms of the finite-dimensional representation theory of $SL(2, F)$.
Orthonormal representations of $H$-free graphs
Let $x_1, \ldots, x_n \in \mathbb{R}^d$ be unit vectors such that among any three there is an orthogonal pair. How large can $n$ be as a function of $d$, and how large can the length of $x_1 + \ldots + x_n$ be? The answers to these two celebrated questions, asked by Erdős and Lovász, are closely related to orthonormal representations of triangle-free graphs, in particular to their Lovász $\vartheta$-function and minimum semidefinite rank. In this paper, we study these parameters for general $H$-free graphs. In particular, we show that for certain bipartite graphs $H$, there is a connection between the Turán number of $H$ and the maximum of $\vartheta \left( \overline{G} \right)$ over all $H$-free graphs $G$.
Asymptotic normality of the major index on standard tableaux
We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems.
$16$-vertex graphs with automorphism groups $A_{4}$ and $A_{5}$ from icosahedron
The article deals with the problem of finding vertex-minimal graphs with a given automorphism group. We exhibit two undirected $16$-vertex graphs having automorphism groups $A_{4}$ and $A_{5}$. It improves the Babai's bound for $A_{4}$ and the graphical regular representation bound for $A_{5}$. The graphs are constructed using projectivisation of the vertex-face graph of icosahedron.
Schur indices for noncommutative reality-based algebras with two nonreal basis elements
This article discusses the representation theory of noncommutative algebras reality-based algebras with positive degree map over their field of definition. When the standard basis contains exactly two nonreal elements, the main result expresses the noncommutative simple component as a generalized quaternion algebra over its field of definition. The field of real numbers will always be a splitting field for this algebra, but there are noncommutative table algebras of dimension $6$ with rational field of definition for which it is a division algebra. The approach has other applications, one of which shows noncommutative association scheme of rank $7$ must have at least three symmetric relations.
A hierarchy of Palm measures for determinantal point processes with gamma kernels
Published in Studia Mathematica 267 (2022), no. 2, 121-160
• View Publication
• BIB
The gamma kernels are a family of projection kernels $K^{(z,z')}=K^{(z,z')}(x,y)$ on a doubly infinite $1$-dimensional lattice. They are expressed through Euler's gamma function and depend on two continuous parameters $z,z'$. The gamma kernels initially arose from a model of random partitions via a limit transition. On the other hand, these kernels are closely related to unitarizable representations of the Lie algebra $\mathfrak{su}(1,1)$. Every gamma kernel $K^{(z,z')}$ serves as a correlation kernel for a determinantal measure $M^{(z,z')}$, which lives on the space of infinite point configurations on the lattice.
We examine chains of kernels of the form $$ \ldots, K^{(z-1,z'-1)}, \; K^{(z,z')},\; K^{(z+1,z'+1)}, \ldots, $$ and establish the following hierarchical relations inside any such chain:
Given $(z,z')$, the kernel $K^{(z,z')}$ is a one-dimensional perturbation of (a twisting of) the kernel $K^{(z+1,z'+1)}$, and the one-point Palm distributions for the measure $M^{(z,z')}$ are absolutely continuous with respect to $M^{(z+1,z'+1)}$.
We also explicitly compute the corresponding Radon-Nikodým derivatives and show that they are given by certain normalized multiplicative functionals.
Some results on multithreshold graphs
Jamison and Sprague defined a graph $G$ to be a $k$-threshold graph with thresholds $θ_1 , \ldots, θ_k$ (strictly increasing) if one can assign real numbers $(r_v)_{v \in V(G)}$, called ranks, such that for every pair of vertices $v,w$, we have $vw \in E(G)$ if and only if the inequality $θ_i \leq r_v + r_w$ holds for an odd number of indices $i$. When $k=1$ or $k=2$, the precise choice of thresholds $θ_1, \ldots, θ_k$ does not matter, as a suitable transformation of the ranks transforms a representation with one choice of thresholds into a representation with any other choice of thresholds. Jamison asked whether this remained true for $k \geq 3$ or whether different thresholds define different classes of graphs for such $k$, offering \$50 for a solution of the problem. Letting $C_t$ for $t > 1$ denote the class of $3$-threshold graphs with thresholds $-1, 1, t$, we prove that there are infinitely many distinct classes $C_t$, answering Jamison's question. We also consider some other problems on multithreshold graphs, some of which remain open.
Products of stabilizing representations
We study representation stability in the sense of Church and Farb. We show that products of stabilizing Sn -representations fulfill certain recursive relations which can be described by a new class of difference operators.