representation ↗ reference
4053 papers tagged with this keyword
A new Boolean matrix representation for Catalan semirings
We construct a faithful representation of the semiring of all order-preserving decreasing transformations of a chain with $n+1$ elements by Boolean upper triangular $n\times n$-matrices.
Signed network models for portfolio optimization
In this work, we consider weighted signed network representations of financial markets derived from raw or denoised correlation matrices, and examine how negative edges can be exploited to reduce portfolio risk. We then propose a discrete optimization scheme that reduces the asset selection problem to a desired size by building a time series of signed networks based on asset returns. To benchmark our approach, we consider two standard allocation strategies: Markowitz's mean-variance optimization and the 1/N equally weighted portfolio. Both methods are applied on the reduced universe as well as on the full universe, using two datasets: (i) the Market Champions dataset, consisting of 21 major S&P500 companies over the 2020-2024 period, and (ii) a dataset of 199 assets comprising all S&P500 constituents with stock prices available and aligned with Google's data. Empirical results show that portfolios constructed via our signed network selection perform as good as those from classical Markowitz model and the equal-weight benchmark in most occasions.
Congestion bounds via Laplacian eigenvalues and their application to tensor networks with arbitrary geometry
Embedding the vertices of arbitrary graphs into trees while minimizing some measure of overlap is an important problem with applications in computer science and physics. In this work, we consider the problem of bijectively embedding the vertices of an $n$-vertex graph $G$ into the leaves of an $n$-leaf rooted binary tree $\mathcal{B}$. The congestion of such an embedding is given by the largest size of the cut induced by the two components obtained by deleting any vertex of $\mathcal{B}$. The congestion $\mathrm{cng}(G)$ is defined as the minimum congestion obtained by any embedding. We show that $λ_2(G)\cdot 2n/9\le \mathrm{cng} (G)\le λ_n(G)\cdot 2n/9$, where $0=λ_1(G)\le \cdots \le λ_n(G)$ are the Laplacian eigenvalues of $G$. We also provide a contraction heuristic given by hierarchically spectral clustering the original graph, which we numerically find to be effective in finding low congestion embeddings for sparse graphs. We numerically compare our congestion bounds on different families of graphs with regular structure (hypercubes and lattices), random graphs, and tensor network representations of quantum circuits. Our results imply lower and upper bounds on the memory complexity of tensor network contraction in terms of the underlying graph.
The paired construction for Boolean functions on the slice
Let $V$ be a finite set of size $n$. We consider real functions on the "slice" $\binom{V}{k}$, which are also known as functions in the Johnson scheme. For $I \subseteq J \subseteq V$, the characteristic function of the set of all $K\in\binom{V}{k}$ with $I \subseteq K \subseteq J$ is called "basic". In this article, we investigate a construction arising as the sum of two "opposite" basic functions. In essentially all cases, these "paired" functions are Boolean.
Our main result is the determination of the exact degree -- regarding a representation by an $n$-variable polynomial -- of all paired functions. The proof is elementary and does not involve any spectral methods. First, we settle the middle layer case $n=2k$ by identifying and combining various relations among the degrees involved. Then the general case is reduced to the middle layer situation by means of derived, reduced, and dual functions.
Remarkably, in certain situations, the degree is strictly smaller than what is guaranteed by the elementary upper bound for the sum of functions. This makes paired functions good candidates for fixed-degree Boolean functions of small support size. As it turns out, for $n = 2k$ and even degree $t \notin \{0,k\}$, paired functions provide the smallest known non-zero Boolean functions, surpassing the $t$-pencils, which is the smallest known construction in all other cases.
A High-Dimensional Extension of Wagner's Theorem and the Geometrization of Hypergraphs
This paper introduces a geometric representation of hypergraphs by representing hyperedges as simplices. Building on this framework, we employ homotopy groups to analyze the topological structure of hypergraphs embedded in high-dimensional Euclidean spaces. Under the assumptions of the triangulation and that all $i$-th homotopy groups are trivial for $i \leq d-2$, we provide a necessary and sufficient condition for a $d$-uniform hypergraph to be embeddable in $\mathbb{R}^d$, which can be regarded as a kind of high-dimensional extension of Wagner's Theorem for planar graphs. Specifically, we establish that a triangulated $d$-uniform topological hypergraph embeds into $\mathbb{R}^d$ if and only if it contains neither $K_{d+3}^d$ nor $K_{3,d+1}^d$ as a minor. Here, a triangulated $d$-uniform topological hypergraph constitutes a geometrized form of a $d$-uniform hypergraph, while $K_{d+3}^d$ and $K_{3,d+1}^d$ are the high-dimensional generalizations of the complete graph $K_5$ and the complete bipartite graph $K_{3,3}$ in $\mathbb{R}^d$, respectively.
A polynomial algorithm to compute the boxicity and threshold dimension of complements of block graphs
The boxicity of a graph $G$ is the minimum dimension $d$ that admits a representation of $G$ as the intersection graph of a family of axis-parallel boxes in $\mathbb{R}^d$. Computing boxicity is an NP-hard problem, and there are few known graph classes for which it can be computed in polynomial time. One such class is the class of block graphs. A block graph is a graph in which every maximal $2$-connected component is a clique. Since block graphs are known to have boxicity at most two, computing their boxicity amounts to the linear-time interval graph recognition problem. On the other hand, complements of block graphs have unbounded boxicity, yet we show that there is also a polynomial algorithm that computes the boxicity of complements of block graphs. An adaptation of our approach yields a polynomial algorithm for computing the threshold dimension of the complements of block graphs, which for general graphs is an NP-hard problem. Our method suggests a general technique that may show the tractability of similar problems on block-restricted graph classes.
Cube Height, Cube Width and Related Extremal Problems for Posets
Given a poset $P$, a family $\mathcal{S}=\{S_x:x\in P\}$ of sets indexed by the elements of $P$ is called an inclusion representation of $P$ if $x\leqslant y$ in $P$ if and only if $S_x\subseteq S_y$. The cube height of a poset is the least non-negative integer $h$ such that $P$ has an inclusion representation for which every set has size at most $h$. In turn, the cube width of $P$ is the least non-negative integer $w$ for which there is an inclusion representation $\mathcal{S}$ of $P$ such that $|\bigcup\mathcal{S}|=w$ and every set in $\mathcal{S}$ has size at most the cube height of $P$. In this paper, we show that the cube width of a poset never exceeds the size of its ground set, and we characterize those posets for which this inequality is tight. Our research prompted us to investigate related extremal problems for posets and inclusion representations. Accordingly, the results for cube width are obtained as extensions of more comprehensive results that we believe to be of independent interest.
Kostant $ρ$-decomposition of homology I. Finite-dimensional representations
We give explicit, uniform formulas for the graded characters and total ranks of the Lie algebra homology of finite-dimensional representations in all classical types. In many cases, these compute the Tor groups of finite length modules over polynomial rings, and this is the first in a series of papers to investigate total rank conjectures from this perspective. These formulas refine and generalize the classical $ρ$-decomposition of Kostant, and in particular we prove that the characters involved exhibit three structural phenomena: divisibility (by a large power of 2), equidistribution, and uniform factorization formulas.
Progress in the study of the (non)existence of genuinely unextendible product bases
We investigate the open problem of the existence of genuinely unextendible product bases (GUPBs), that is, multipartite unextendible product bases (UPBs) which remain unextendible even with respect to biproduct vectors across all bipartitions of the parties. To this end, we exploit the well-known connection between UPBs and graph theory through orthogonality graphs and orthogonal representations, together with recent progress in this framework, and employ forbidden induced subgraph characterizations to single out the admissible local orthogonality graphs for GUPBs. Using this approach, we establish that GUPBs of size thirteen in three-qutrit systems-the smallest candidate GUPBs-do not exist. We further provide a partial characterization of graphs relevant to larger bases and systems with ququart subsystems.
Representation Theory of $0$-Schur Algebras and Related Categories
Jensen, Su, and Yang described the projective indecomposable modules of the $0$-Schur algebra $\mathbf{S}_0(n,r)$ using its geometric realization. In this paper, the simple modules of $\mathbf{S}_0(n,r)$ are identified by computing the tops of the projective indecomposable modules. Furthermore, functorial relations among the module categories $\mathbf{H}_r(0)$\textsf{-mod}, $\mathbf{S}_0(n,r)$\textsf{-mod}, and $U_0(\mathfrak{gl}_n)$\textsf{-mod} are examined, where $\mathbf{H}_r(0)$ denotes the $0$-Hecke algebra and $U_0(\mathfrak{gl}_n)$ denotes the degenerate quantum group.
Hook immanantal inequalities for totally nonnegative matrices
Given a weakly decreasing positive integer sequence $λ= (λ_1,\dotsc,λ_\ell)$ summing to $n$, let $χ^λ$ denote the irreducible character of the symmetric group $S_n$ indexed by $λ$. This representation has dimension $χ^λ(e)$, where $e$ is the identity element of $S_n$. Let $\mathrm{Imm}_{χ^λ}$ denote the corresponding irreducible character immanant, the function on $n \times n$ matrices $A = (a_{i,j})$ defined by $\mathrm{Imm}_{χ^λ}(A) := \sum_{w \in S_n} χ^λ(w) a_{1,w_1} \cdots a_{n,w_n}$. Merris conjectured [Linear Multilinear Algebra 14 (1983) pp. 21--35] and Heyfron proved [Linear Multilinear Algebra 24 (1988) pp. 65--78] that irreducible character immanants indexed by ``hook'' sequences $(k, 1, \dotsc, 1)$ satisfy the inequalities $\mathrm{per}(A)=\frac{\mathrm{Imm}_{χ^n}(A)}{χ^{n}(e)}\geq \frac{\mathrm{Imm}_{χ^{n-1,1}}(A)}{χ^{n-1,1}(e)}\geq \frac{\mathrm{Imm}_{χ^{ n-2,1,1}}(A)}{χ^{n-2,1,1}(e)}\geq \cdots \geq \frac{\mathrm{Imm}_{χ^{1,\dotsc,1}}(A)}{χ^{1,\dotsc,1}(e)}=\det(A)$ whenever $A$ is an $n \times n$ Hermitian positive semidefinite matrix. We prove that the same inequalities hold whenever $A$ is an $n \times n$ totally nonnegative matrix.
Representation Theoretic Bases for the $Δ$-Springer Module
We give a descent monomial basis of $Δ$-Springer modules $R_{n,λ,s}$, first defined by Griffin. Our construction simultaneously generalizes the descent basis for the Garsia-Procesi module $R_λ$ studied by Carlsson-Chou and Hanada, as well as the descent basis for the generalized coinvariant algebras $R_{n,k}$ studied by Haglund-Rhoades-Shimozono. This basis is deeply connected with a combinatorial object called battery-powered tableaux, introduced by Gillespie-Griffin. We highlight the representation theoretic properties of this monomial basis by using it to give a direct combinatorial proof of the graded Frobenius character of $R_{n,λ,s}$ in terms of battery-powered tableaux, a fact which has only the geometric proof of Gillespie-Griffin.
We also conjecture a higher Specht basis of $R_{n,λ,s}$, generalizing the higher Specht basis of the coinvariant ring defined in Ariki-Terasoma-Yamada. This construction coincides with the Gillespie-Rhoades higher Specht basis for $R_{n,k}$. We give a proof for when $λ= (λ_1,λ_2)$ is a partition of two rows.
Totally positive Toeplitz matrices: classical and modern
By a theorem of Edrei, an infinite, normalised totally nonnegative upper-triangular Toeplitz matrix is determined by a pair of nonnegative parameter sequences, the `Schoenberg parameters', where nonzero parameters correspond to the roots and poles of a naturally associated generating function. These totally nonnegative Toeplitz matrices and their parameters also arise in the classification of characters of the infinite symmetric group by later work of Thoma. Moreover the Schoenberg parameters have an asymptotic interpretation in terms of irreducible representations of S_n and their Young diagrams by Vershik-Kerov. In this article we consider infinite totally positive Toeplitz matrices as limits of finite ones, and we obtain two further asymptotic descriptions of the Schoenberg parameters that are now related to quantum cohomology of the flag variety as n goes to infinity. One is related to asymptotics of normalised quantum parameters, and the other to asymptotics of the Chern classes of the tautological line bundles. We also describe the asymptotics of (quantum) Schubert classes in terms of the Schoenberg parameters. Our limit formulas relate to and were motivated by a tropical analogue of this theory that we survey. In the tropical setting one finds an asymptotic relationship between the `tropical Schoenberg parameters' and the weight map from Lusztig's parametrisation of the canonical basis.
Modularity from $q$-series
In 1975, G. E. Andrews challenged the mathematics community to address L. Ehrenpreis' problem, which was to directly prove the modularity of the Rogers-Ramanujan $q$-series' summatory forms. This question is important because many different $q$-series appearing in combinatorics, representation theory, and physics often seem to be mysteriously modular, yet there is no general test to confirm this directly from the exotic $q$-series expressions. In this note, we answer the challenge. We use $q$-series algebra, first-order $q$-differential systems, and analytic continuation with monodromy to give a criterion that decides when such series are modular. Specifically, we establish a necessary and sufficient condition for a vector of holomorphic $q$-series on $|q|<1$ to form a vector-valued modular function without modular input, providing a clear path to modularity for strange $q$-series.
Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and results about totally unimodular matrices, vector matroids, their standard representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary matroids given by their standard representations. Using this framework, we formally state Seymour's decomposition theorem and implement a formally verified proof of the composition direction in the setting where the matroids have finite rank and may have infinite ground sets.
Lattice Models for Double Whittaker Polynomials and Motivic Chern Classes
We will describe solvable lattice models whose partition functions depend on two sets of variables, $x_1,\cdots,x_n$ and $y_1, y_2, \cdots $ that have different connections with the representation theory of $\text{GL}(n,F)$ where $F$ is a nonarchimedean local field. If the boundary conditions are chosen in one way, they are essentially the Motivic Chern classes that were used very effectively by Aluffi, Mihalcea, Schürmann and Su (AMSS) to study such problems. In particular, using this specialization we can obtain deformations $r_{u,v}$ of the Kazhdan-Lusztig R-polynomials that were used by Bump, Nakasuji and Naruse to study matrix coefficients of intertwining operators (introduced by Casselman). Thus we are able see that the recursion formula for the $r_{u,v}$ is a reflection of the Yang-Baxter equation. On the other hand, with more general boundary conditions, specializing the parameters $y_i\to 0$ we recover colored lattice models that were previously used by Brubaker, Buciumas, Bump and Gustafsson to represent Iwahori Whittaker functions on $GL(n,F)$. Thus we term the resulting two-variable-set family of functions as ``double Whittaker polynomials.''
Monodromy representation of graphs
It is well-known that every vertex-transitive graph admits a representation as a coset graph. In this paper, we extend this construction by introducing monodromy graphs defined through double cosets. Our main result establishes that every graph is isomorphic to a monodromy graph, providing a new combinatorial framework for graph representation. Moreover, we show that every graph gives rise to an arc-transitive graph through its monodromy representation. Inspired by the monodromy representation of graphs, we denote an algebraic map $\mathcal{M}(G;Ω,ρ,τ)$ by $\mathcal{M}(G;U,ρ,τ)$ where $U$ is a stabiliser in $G$. As an application, we prove an enumeration theorem for orientable maps with a given monodromy group. We underscore a fundamental triad in algebraic graph theory: Where there is a graph, there is a group, an arc-transitive graph, and an orientable regular map--each arising canonically from the underlying combinatorial and algebraic structures.
Frieze patterns in representation theory
Friezes are infinite arrays of numbers, in which every four neighbouring vertices arranged in a diamond satisfy the same arithmetic rule. Introduced in the late 1960s by Coxeter, and further studied by Conway and Coxeter in their remarkable papers from 1973, this topic has been nearly forgotten for over thirty years. But since the discovery of connections to cluster algebras and categories of type $A$, interest in friezes has exploded, several generalizations have been studied, and links to geometry and combinatorics have been explored.
In this article we will review some of the most striking results connecting the purely combinatorially defined friezes with triangulations of polygons, Grassmannian cluster algebras and (Grassmannian) cluster categories. Then we will focus on Grassmannian cluster categories and some recent results linking them to friezes.
The Hom-Ext quiver and applications to exceptional collections
We study what we call the Hom-Ext quiver and characterize it as a type of 'superquiver'. In type $\widetilde{\mathbb{A}}$, the Hom-Ext quiver of an exceptional set is the tiling algebra of the corresponding geometric model. And, in that case, Hom-Ext quivers classify exceptional sets up to Dehn twist of the corresponding geometric model. We show that these Dehn twists are realized by twist functors and give autoequivalences of the derived category. We provide a generating set for the group of autoequivalences of the derived category in type $\widetilde{\mathbb{A}}$, and show that the Hom-Ext quiver classifies exceptional sets up to derived autoequivalence. We introduce superquivers, which are a generalization of Hom-Ext quivers. Exceptional sets over finite acyclic quivers are realized as representations of superquivers. Throughout, we list several questions and conjectures that make for, what we believe, exciting new research.
A sum rule for derangements
We propose a sum rule for derangements. Three different proofs are provided. The first one involves integral representations and the second one relies on the Hermite identity for the integer part of the product of an integer by a real number. The third one, which, unlike the previous ones, is not based on induction, proceeds directly from a recurrence relation for the number of derangements.