representation ↗ reference
4053 papers tagged with this keyword
On the action of the cactus group on the set of Gelfand-Tsetlin patterns for orthogonal Lie algebras
The purpose of this work is to define a natural action of the cactus group on the set of Gelfand-Tsetlin patterns for orthogonal Lie algebras. These Gelfand-Tsetlin patterns are meant to index the Gelfand-Tsetlin basis in the irreducible representations of the orthogonal Lie algebra $\mathfrak{o}_N$ with respect to the chain of nested orthogonal Lie algebras $\mathfrak{o}_N \supset \mathfrak{o}_{N-1} \supset \ldots \supset \mathfrak{o}_3$. Using the Howe duality between $O_N$ and $\mathfrak{o}_{2n}$, we realize some representations of $\mathfrak{o}_N$ as multiplicity spaces inside the tensor power of the spinor representation $(Λ\mathbb{C}^{n})^{\otimes N}$. There is a natural choice of the basis inside the multiplicity space, which agrees with the decomposition of $(Λ\mathbb{C}^{n})^{\otimes N}$ into simple $\mathfrak{o}_{2n}$-modules. We call such basis principal. The action of the cactus group $C_N$ by the crystal commutors on the crystal arising from $(Λ\mathbb{C}^{n})^{\otimes N}$ induces the action of $C_N$ on the set indexing the principal basis inside the multiplicity space. We call this set regular cell tables. Regular cell tables are the analog of semi-standard Young tables. There is a natural bijection between a specific subset of semi-standard Young tables and regular cell tables. In this paper, we establish a natural bijection between the principal basis and the Gelfand-Tsetlin basis and, therefore, define an action of the cactus group on the set Gelfand-Tsetlin patterns.
Density Measures for Language Generation
The recent successes of large language models (LLMs) have led to a surge of theoretical research into language generation. A recent line of work proposes an abstract view, called language generation in the limit, where generation is seen as a game between an adversary and an algorithm: the adversary generates strings from an unknown language $K$, chosen from a countable collection of candidate languages, and after seeing a finite set of these strings, the algorithm must generate new strings from $K$ that it has not seen before. This formalism highlights a key tension: the trade-off between validity (the algorithm should only produce strings from the language) and breadth (it should be able to produce many strings from the language). This trade-off is central in applied language generation as well, where it appears as a balance between hallucination (generating invalid utterances) and mode collapse (generating only a restricted set of outputs). Despite its importance, this trade-off has been challenging to study quantitatively. We develop ways to quantify this trade-off by formalizing breadth using measures of density. Existing algorithms for language generation in the limit produce output sets that can have zero density in the true language, and this important failure of breadth might seem unavoidable. We show, however, that such a failure is not necessary: we provide an algorithm for language generation in the limit whose outputs have strictly positive density in $K$. We also study the internal representations built by these algorithms, specifically the sequence of hypothesized candidate languages they consider, and show that achieving the strongest form of breadth may require oscillating indefinitely between high- and low-density representations. Our analysis introduces a novel topology on language families, with notions of convergence and limit points playing a key role.
Effective Computation of Generalized Abelian Complexity for Pisot Type Substitutive Sequences
Generalized abelian equivalence compares words by their factors up to a certain bounded length. The associated complexity function counts the equivalence classes for factors of a given size of an infinite sequence. How practical is this notion? When can these equivalence relations and complexity functions be computed efficiently? We study the fixed points of substitution of Pisot type. Each of their $k$-abelian complexities is bounded and the Parikh vectors of their length-$n$ prefixes form synchronized sequences in the associated Dumont--Thomas numeration system. Therefore, the $k$-abelian complexity of Pisot substitution fixed points is automatic in the same numeration system. Two effective generic construction approaches are investigated using the \texttt{Walnut} theorem prover and are applied to several examples. We obtain new properties of the Tribonacci sequence, such as a uniform bound for its factor balancedness together with a two-dimensional linear representation of its generalized abelian complexity functions.
On Refined Vogel's universality
Published in Phys.Lett. B867 (2025) 139596
• View Publication
• BIB
In accordance with P. Vogel, a set of algebra structures in Chern-Simons theory can be made universal, independent of a particular family of simple Lie algebras. In particular, this means that various quantities in the adjoint representations of these simple Lie algebras such as dimensions and quantum dimensions, Racah coefficients, etc. are simple rational functions of two parameters on Vogel's plane, giving three lines associated with $sl$, $so/sp$ and exceptional algebras correspondingly. By analyzing the partition function of refined of Chern-Simons theory, it was suggested earlier that the refinement may preserve the universality for simply laced algebras. Here we support this conjecture by analysing the Macdonald dimensions, i.e. values of Macdonald polynomials at $q^ρ$, where $ρ$ is the Weyl vector: there is a universality formula that describes these dimensions for the simply laced algebras as a function on the Vogel's plane.
Total positivity of Hadamard product of dual Jacobi--Trudi matrices
In 1992, Wagner proved that the Hadamard product of two totally positive lower triangular Toeplitz matrices is totally positive. In this work, we strengthen this result by establishing total monomial positivity for the Hadamard product of Jacobi--Trudi matrices. In particular, we resolve a conjecture of Sokal concerning the Hadamard square of Jacobi--Trudi matrices. Moreover, we provide a manifestly positive Schur expansion for the Hadamard square of Jacobi--Trudi matrices indexed by ribbons. In addition, we construct a corresponding representation, offering a representation-theoretic proof of the Schur positivity.
Iwasawa theory and the representations of finite groups
In this note, I develop a representation-theoretic refinement of the Iwasawa theory of finite Cayley graphs. Building on analogies between graph zeta functions and number-theoretic L-functions, I study $\mathbb{Z}_\ell$-towers of Cayley graphs and the asymptotic growth of their Jacobians. My main result establishes that the Iwasawa polynomial associated to such a tower admits a canonical factorization indexed by the irreducible representations of the underlying group. This leads to the definition of representation-theoretic Iwasawa polynomials, whose properties are studied.
Eigenspace embeddings of imprimitive association schemes
For a given symmetric association scheme $\mathcal{A}$ and its eigenspace $S_j$ there exists a mapping of vertices of $\mathcal{A}$ to unit vectors of $S_j$, known as the spherical representation of $\mathcal{A}$ in $S_j$, such that the inner products of these vectors only depend on the relation between the corresponding vertices; furthermore, these inner products only depend on the parameters of $\mathcal{A}$. We consider parameters of imprimitive association schemes listed as open cases in the list of parameters for quotient-polynomial graphs recently published by Herman and Maleki, and study embeddings of their substructures into some eigenspaces consistent with spherical representations of the putative association schemes. Using this, we obtain nonexistence for two parameter sets for $4$-class association schemes and one parameter sets for a $5$-class association scheme passing all previously known feasibility conditions, as well as uniqueness for two parameter sets for $5$-class association schemes.
Binary Weight Allocation for Multi-Objective Path Optimization: Efficient Earliest and Latest Path Discovery in Network Systems
This paper proposes earliest and latest path algorithms based on binary weight allocation, assigning weights of 2(i-1) and 2(m-i) to the i-th arc in a network. While traditional shortest path algorithms optimize only distance, our approach leverages Binary-Addition-Tree ordering to efficiently identify lexicographically smallest and largest paths that establish connectivity. These paths partition the solution space into three regions: guaranteed disconnection, transitional connectivity, and guaranteed no simple paths. Our weight allocation enables implicit encoding of multiple objectives directly in binary representations, maintaining the O((|V|+|E|)log|V|) complexity of Dijkstra's algorithm while allowing simultaneous optimization of competing factors like reliability and cost. Experimental validation demonstrates significant computational time reduction compared to traditional multi-objective methods. Applications span telecommunications, transportation networks, and supply chain management, providing efficient tools for network planning and reliability analysis under multiple constraints.
Spectra and eigenspaces of non-normal Cayley graphs
In this paper, we construct some non-normal Cayley graphs and explicitly provide their spectra and eigenspaces using representation theory of finite groups.
Word-Representability of Well-Partitioned Chordal Graphs
In this paper, we study the word-representability of well-partitioned chordal graphs using split decomposition. We show that every component of the minimal split decomposition of a well-partitioned chordal graph is a split graph. Thus we have a characterization for word-representability of well-partitioned chordal graphs. As a consequence, we prove that the recognition of word-representability of well-partitioned chordal graphs can be done in polynomial time. Moreover, we prove that the representation number of a word-representable well-partitioned chordal graph is at most three. Further, we obtain a minimal forbidden induced subgraph characterization of circle graphs restricted to well-partitioned chordal graphs. Accordingly, we determine the class of word-representable well-partitioned chordal graphs having representation number exactly three.
The stable limit DAHA: the structure of the standard representation
We prove a number of results about the structure of the standard representation of the stable limit DAHA. More precisely, we address the triangularity, spectrum, and eigenfunctions of the limit Cherednik operators, and construct several PBW-type bases for the stable limit DAHA. We establish a remarkable triangularity property concerning the contribution of certain special elements of the PBW basis of a finite rank DAHA of high enough rank to the PBW expansion of a PBW basis element of the stable limit DAHA. The triangularity property implies the faithfulness of the standard representation. This shows that the algebraic structure defined by the limit operators associated to elements of the finite rank DAHAs is precisely the stable limit DAHA.
Strongly regular graphs with parameters (85,14,3,2) do not exist
We investigate the second smallest unresolved feasible set of parameters of strongly regular graphs, $(v,k,λ,μ)=(85,14,3,2)$. Using the classification of cubic graphs of small degree, we restrict possible local structure of such a graph $G$. After that, we exhaustively enumerate possible neighbourhoods of a maximal $3$-clique of $G$ and check them against a variety of conditions, including the combinatorial ones, coming from $λ=3$ and $μ=2$, as well as the linear algebra ones, utilising the Euclidean representation of $G$. These conditions yield contradiction in all cases, and hence, no $\mathrm{srg}(85,14,3,2)$ exists.
Vanishing of Schubert coefficients is in ${\sf AM}\cap {\sf coAM}$ assuming the GRH
Published
• View Publication
• BIB
The Schubert vanishing problem is a central decision problem in algebraic combinatorics and Schubert calculus, with applications to representation theory and enumerative algebraic geometry. The problem has been studied for over 50 years in different settings, with much progress given in the last two decades.
We prove that the Schubert vanishing problem is in ${\sf AM}$ assuming the Generalized Riemann Hypothesis (GRH). This complements our earlier result in arXiv:2412.02064, that the problem is in ${\sf coAM}$ assuming the GRH. In particular, this implies that the Schubert vanishing problem is unlikely to be ${\sf coNP}$-hard, as we previously conjectured in arXiv:2412.02064.
The proof is of independent interest as we formalize and expand the notion of a lifted formulation partly inspired by algebraic computations of Schubert problems, and extended formulations of linear programs. We use a result by Mahajan--Vinay to show that the determinant has a lifted formulation of polynomial size. We combine this with Purbhoo's algebraic criterion to derive the result.
Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions
In 2022, Huh-Matherne-Mészáros-St. Dizier showed that normalized Schur polynomials are Lorentzian, thereby yielding their continuous (resp. discrete) log-concavity on the positive orthant (resp. on their support, in type $A$ root directions). A reinterpretation of this result is that the characters of finite-dimensional simple representations of $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian (DL). In the same paper, these authors also showed that shifted characters of Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are DL.
In this work we extend these results to a larger family of modules that subsumes both of the above: we show that shifted characters of all parabolic Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. The proof involves certain graphs on $[n+1]$; more strongly, we explain why the character (i.e., generating function) of the Kostant partition function of any loopless multigraph on $[n+1]$ is Lorentzian after shifting and normalizing.
We then show that parabolic Vermas form a "maximal" class with log-concave (hence DL) characters. Namely, log-concavity fails in greater generality along three natural directions: (1) it does not hold for every simple Lie type, (2) nor for a larger universal family of highest weight modules, the higher order Verma modules, even in type $A$, and (3) it does not always hold for important generalizations of Schur polynomials: the Jack and Macdonald polynomials.
Finally, we extend these results to parabolic (i.e. "first order") and higher order Verma modules over the semisimple Lie algebras $\oplus_{t=1}^T \mathfrak{sl}_{n_t+1}(\mathbb{C})$. We also partially resolve a conjecture of Huh et al on the DL property for integral highest weight simple modules.
$q$-deformed rationals and irrationals
The concept of $q$-deformation, or ``$q$-analogue'' arises in many areas of mathematics. In algebra and representation theory, it is the origin of quantum groups; $q$-deformations are important for knot invariants, combinatorial enumeration, discrete geometry, analysis, and many other parts of mathematics. In mathematical physics, $q$-deformations are often understood as ``quantizations''.
The recently introduced notion of a $q$-deformed real number is based on the geometric idea of invariance by a modular group action. The goal of this lecture is to explain what is a $q$-rational and a $q$-irrational, demonstrate beautiful properties of these objects, and describe their relations to many different areas. We also tried to describe some applications of $q$-numbers.
On a question about real rooted polynomials and f-polynomials of simplicial complexes
For a polynomial $f(t) = 1+f_0t+\cdots +f_{d-1}t^d$ with positive integer coefficients Bell and Skandera ask if real rootedness of f(t) implies that there is a simplicial complex with f-vector $(1,f_0 \ldots,f_{d-1})$. In this paper we discover properties implied by the real rootedness of f(t) in terms of the binomial representation $f_i = \binom{x_{i+1}}{i+1}, i \geq 0$. We use these to provide a sufficient criterion for a positive answer to the question by Bell and Skandera. We also describe two further approaches to the conjecture and use one to verify that some well studied real rooted classical polynomials are f-polynomials. Finally, we provide a series of results showing that the set of f-vectors of simplicial complexes is closed under constructions also preserving real rootedness of their generating polynomials.
$(q,t)$-chromatic symmetric functions
By using level one polynomial representations of affine Hecke algebras of type $A$, we obtain a $(q,t)$-analogue of the chromatic symmetric functions of unit interval graphs which generalizes Syu Kato's formula for the chromatic symmetric functions of unit interval graphs. We show that at $q=1$, the $(q,t)$-chromatic symmetric functions essentially reduce to the chromatic quasisymmetric functions defined by Shareshian-Wachs, which in particular gives an algebraic proof of Kato's formula. We also give an explicit formula of the $(q,t)$-chromatic symmetric functions at $q=\infty$, which leads to a probability theoretic interpretation of $e$-expansion coefficients of chromatic quasisymmetric functions used in our proof of the Stanley-Stembridge conjecture.
Moreover, we observe that the $(q,t)$-chromatic symmetric functions are multiplicative with respect to certain deformed multiplication on the ring of symmetric functions. We give a simple description of such multiplication in terms of the affine Hecke algebras of type $A$. We also obtain a recipe to produce $(q,t)$-chromatic symmetric functions from chromatic quasisymmetric functions, which actually makes sense for any oriented graphs.
Fundamental groups of moduli spaces of real weighted stable curves
The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry and the representation theory of Lie algebras. In this paper, we compute the ordinary and $S_n$-equivariant fundamental groups of the Hassett space of weighted real stable curves $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ with $S_n$-symmetric weight vector $\mathcal{A} = (1/a, \ldots, 1/a, 1)$, which we call \emph{weighted cactus groups} $J_n^a$. We show that $J_n^a$ is obtained from the usual cactus presentation by introducing braid relations, which successively simplify the group from $J_n$ to $S_n \rtimes \mathbb{Z}/2\mathbb{Z}$ as $a$ increases. Our proof is by decomposing $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ as a polytopal complex, generalizing a similar known decomposition for $\overline{M_{0,n+1}}(\mathbb{R})$. In the unweighted case, these cells are known to be cubes and are `dual' to the usual decomposition into associahedra (by the combinatorial type of the stable curve). For $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$, our decomposition instead consists of products of permutahedra. The cells of the decomposition are indexed by weighted stable trees, but `dually' to the usual indexing.
The Terwilliger algebra of digraphs I -- Hamming digraph $H^*(d,3)$
In the present paper, we define the Terwilliger algebra of digraphs. Then, we determine the irreducible modules of the Terwilliger algebra of a Hamming digraph $H^*(d,3)$. As is well known, the representation of the Terwilliger algebra of a binary Hamming graph $H(d,2)$ is closely related to that of the Lie algebra $\mathit{sl}_2(\mathbb{C})$. We show that in the case of $H^*(d,3)$, it is related to that of the Lie algebra $\mathit{sl}_3(\mathbb{C})$. We also identify the Terwilliger algebra of $H^*(d,3)$ as the $d$ symmetric tensor algebra of ${\rm Mat}_3(\mathbb{C})$.
The number of irreducibles in the plethysm $s_λ[s_m]$
We give a formula for the number of irreducibles (with multiplicity) in the decomposition of the plethysm $s_λ[s_m]$ of Schur functions in terms of the number of lattice points in certain rational polytopes. In the case where $λ= n$ consists of a single part, we will give a combinatorial interpretation of this number as the cardinality of a set of matrices modulo permutation equivalence. This is also the setting of Foulkes' conjecture, and our results allow us to state a weaker version that only involves comparing the cardinalities of such sets, rather than the multiplicities of irreducible representations.