representation ↗ reference
4143 papers tagged with this keyword
Hive-type polytopes for quiver multiplicities and the membership problem for quiver moment cones
Published
• View Publication
• BIB
Let $Q$ be a bipartite quiver with vertex set $Q_0$ such that the number of arrows between any source vertex and any sink vertex is constant. Let $β=(β(x))_{x \in Q_0}$ be a dimension vector of $Q$ with positive integer coordinates.
Let $rep(Q, β)$ be the representation space of $β$-dimensional representations of $Q$ and $GL(β)$ the base change group acting on $rep(Q, β)$ be simultaneous conjugation. Let $K^β_{\underlineλ}$ be the multiplicity of the irreducible representation of $GL(β)$ of highest weight $\underlineλ$ in the ring of polynomial functions on $rep(Q, β)$.
We show that $K^β_{\underlineλ}$ can be expressed as the number of lattice points of a polytope obtained by gluing together two Knutson-Tao hive polytopes. Furthermore, this polytopal description together with Derksen-Weyman's Saturation Theorem for quiver semi-invariants allows us to use Tardos' algorithm to solve the membership problem for the moment cone associated to $(Q,β)$ in strongly polynomial time.
Random Balanced Cayley Complexes
Published
• View Publication
• BIB
Let $G$ be a finite group of order $n$ and for $1 \leq i \leq k+1$ let $V_i=\{i\} \times G$. Viewing each $V_i$ as a $0$-dimensional complex, let $Y_{G,k}$ denote the simplicial join $V_1*\cdots*V_{k+1}$. For $A \subset G$ let $Y_{A,k}$ be the subcomplex of $Y_{G,k}$ that contains the $(k-1)$-skeleton of $Y_{G,k}$ and whose $k$-simplices are all $\{(1,x_1),\ldots,(k+1,x_{k+1})\} \in Y_{G,k}$ such that $x_1\cdots x_{k+1} \in A$. Let $L_{k-1}$ denote the reduced $(k-1)$-th Laplacian of $Y_{A,k}$, acting on the space $C^{k-1}(Y_{A,k})$ of real valued $(k-1)$-cochains of $Y_{A,k}$. The $(k-1)$-th spectral gap $μ_{k-1}(Y_{A,k})$ of $Y_{A,k}$ is the minimal eigenvalue of $L_{k-1}$. The following $k$-dimensional analogue of the Alon-Roichman theorem is proved: Let $k \geq 1$ and $ε>0$ be fixed and let $A$ be a random subset of $G$ of size $m= \left\lceil\frac{10 k^2\log D}{ε^2}\right\rceil$ where $D$ is the sum of the degrees of the complex irreducible representations of $G$. Then \[ {\rm Pr}\big[~μ_{k-1}(Y_{A,k}) < (1-ε)m~\big] =O\left(\frac{1}{n}\right). \]
Split graphs and Block Representations
Published
• View Publication
• BIB
In this paper, we study split graphs and related classes of graphs from the perspective of their sequence of vertex degrees and an associated lattice under majorization. Following the work of Merris in 2003, we define blocks $[α(π)|β(π)]$, where $π$ is the degree sequence of a graph, and $α(π)$ and $β(π)$ are sequences arising from $π$. We use the block representation $[α(π)|β(π)]$ to characterize membership in each of the following classes: unbalanced split graphs, balanced split graphs, pseudo-split graphs, and three kinds of Nordhaus-Gaddum graphs (defined by Collins and Trenk in 2013). As in Merris' work, we form a poset under the relation majorization in which the elements are the blocks $[α(π)|β(π)]$ representing split graphs with a fixed number of edges. We partition this poset in several interesting ways using what we call amphoras, and prove upward and downward closure results for blocks arising from different families of graphs. Finally, we show that the poset becomes a lattice when a maximum and minimum element are added, and we prove properties of the meet and join of two blocks.
Some algebraic identity and its relations to Stirling numbers of the second kind
Published
• View Publication
• BIB
In this short note we provide some algebraic identity with a proof exploiting its probabilistic interpretation. We show several consequences of the identity, in particular we obtain a new representation of a Stirling number of second kind,
$$ S(n,d)={1\over d!} \sum_{1\leq j_1<j_2<\ldots<j_{d-1}< n} 1\cdot2^{j_{d-1}-j_{d-2}}\cdots d^{j_1}$$
for integers $n\geq d$. Relating this to other known formula for $S(n,d)$ we also obtain
$$ \sum_{1\leq j_1\leq j_2\leq \cdots\leq j_{n-d}\leq d} j_1j_2\ldots,j_{n-d} =d! \sum_{1\leq j_1<j_2<\ldots<j_{d-1}< n} 1\cdot2^{j_{d-1}-j_{d-2}}\cdots d^{j_1}.$$
As a side effect, we have new proof of a known result stating that for any integer $d\in\mathbb{N}$ and any $x\in\mathbb{R}$ equality
$$\sum_{r=0}^d (-1)^r{d\choose r}(x-r)^d=d!$$ holds. This is a special case of the presented identity.
Counting conjugacy classes of elements of finite order in exceptional Lie groups
Published in Combinatorial Theory, 4(1) (2024)
• View Publication
• BIB
This paper continues the study of two numbers that are associated with Lie groups. The first number is $N(G,m)$, the number of conjugacy classes of elements in $G$ whose order divides $m$. The second number is $N(G,m,s)$, the number of conjugacy classes of elements in $G$ whose order divides $m$ and which have $s$ distinct eigenvalues, where we view $G$ as a matrix group in its smallest-degree faithful representation. We describe systematic algorithms for computing both numbers for $G$ a connected and simply-connected exceptional Lie group. We also provide explicit results for all of $N(G,m)$, $N(G_2,m,s)$, and $N(F_4,m,s)$. The numbers $N(G,m,s)$ were previously known only for the classical Lie groups; our results for $N(G,m)$ agree with those already in the literature but are obtained differently.
Conjectures on the reduced Kronecker coefficients
We formulate a series of conjectures on the stable tensor product of irreducible representations of symmetric groups, which are closely related to the reduced Kronecker coefficients. These conjectures are certain generalizations of Okounkov's conjecture on the log-concavity of the Littlewood--Richardson coefficients and the Schur log-concavity theorem of Lam--Postnikov--Pylyavskyy. We prove our conjectures in some special cases and discuss some implications of these conjectures.
Embedding dimensions of matrices whose entries are indefinite distances in the pseudo-Euclidean space
Published
• View Publication
• BIB
A finite set of the Euclidean space is called an $s$-distance set provided the number of Euclidean distances in the set is $s$. Determining the largest possible $s$-distance set for the Euclidean space of a given dimension is challenging. This problem was solved only when dealing with small values of $s$ and dimensions. Lisoněk (1997) achieved the classification of the largest 2-distance sets for dimensions up to $7$, using computer assistance and graph representation theory. In this study, we consider a theory analogous to these results of Lisoněk for the pseudo-Euclidean space $\mathbb{R}^{p,q}$. We consider an $s$-indefinite-distance set in a pseudo-Euclidean space that uses the value \[ || x-y ||=(x_1-y_1)^2 +\cdots +(x_p -y_p)^2-(x_{p+1}-y_{p+1})^2-\cdots -(x_{p+q}-y_{p+q})^2 \] instead of the Euclidean distance. We develop a representation theory for symmetric matrices in the context of $s$-indefinite-distance sets, which includes or improves the results of Euclidean $s$-distance sets with large $s$ values. Moreover, we classify the largest possible $2$-indefinite-distance sets for small dimensions.
Decomposable context-specific models
Published
• View Publication
• BIB
We introduce a family of discrete context-specific models, which we call decomposable. We construct this family from the subclass of staged tree models known as CStree models. We give an algebraic and combinatorial characterization of all context-specific independence relations that hold in a decomposable context-specific model, which yields a Markov basis. We prove that the moralization operation applied to the graphical representation of a context-specific model does not affect the implied independence relations, thus affirming that these models are algebraically described by a finite collection of decomposable graphical models. More generally, we establish that several algebraic, combinatorial, and geometric properties of decomposable context-specific models generalize those of decomposable graphical models to the context-specific setting.
Identities on Zagier's rank two examples for Nahm's problem
Published
• View Publication
• BIB
Let $r\geq 1$ be a positive integer, $A$ a real positive definite symmetric $r\times r$ matrix, $B$ a vector of length $r$, and $C$ a scalar. Nahm's problem is to describe all such $A,B$ and $C$ with rational entries for which a specific $r$-fold $q$-hypergeometric series (denoted by $f_{A,B,C}(q)$) involving the parameters $A,B,C$ is modular. When the rank $r=2$, Zagier provided eleven sets of examples of $(A,B,C)$ for which $f_{A,B,C}(q)$ is likely to be modular. We present a number of Rogers--Ramanujan type identities involving double sums, which give modular representations for Zagier's rank two examples. Together with several known cases in the literature, we verified ten of Zagier's examples and give conjectural identities for the remaining example.
The popularity gap
Published
• View Publication
• BIB
Suppose that $A$ is a finite, nonempty subset of a cyclic group of either infinite or prime order. We show that if the difference set $A-A$ is ``not too large'', then there is a nonzero group element with at least as many as $(2+o(1))|A|^2/|A-A|$ representations as a difference of two elements of $A$; that is, the second largest number of representations is, essentially, twice the average. Here the coefficient $2$ is the best possible.
We also prove continuous and multidimensional versions of this result, and obtain similar results for sufficiently dense subsets of an arbitrary abelian group.
Submodular functions in additive combinatorics problems for group actions and representations
We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets which plays a central role in our proofs.This new version is a completely reorganized version of the preceding one.
The representation ring of $\mathrm{SL}_2(\mathbb{F}_p)$ and stable modular plethysms of its natural module in characteristic $p$
Published
• View Publication
• BIB
Let $p$ be an odd prime and let $k$ be a field of characteristic $p$. We provide a practical algebraic description of the representation ring of $k\mathrm{SL}_2(\mathbb{F}_p)$ modulo projectives. We then investigate a family of modular plethysms of the natural $k\mathrm{SL}_2(\mathbb{F}_p)$-module $E$ of the form $\nabla^ν\mathrm{Sym}^l E$ for a partition $ν$ of size less than $p$ and $0\leq l\leq p-2$. Within this family we classify both the modular plethysms of $E$ which are projective and the modular plethysms of $E$ which have only one non-projective indecomposable summand which is moreover irreducible. We generalise these results to similar classifications where modular plethysms of $E$ are replaced by $k\mathrm{SL}_2(\mathbb{F}_p)$-modules of the form $\nabla^ν V$, where $V$ is a non-projective indecomposable $k\mathrm{SL}_2(\mathbb{F}_p)$-module and $|ν|<p$.
On the number of even values of an eta-quotient
Published in Int. J. Number Theory 19 (2023), no. 9, 2255--2262
• View Publication
• BIB
The goal of this note is to provide a general lower bound on the number of even values of the Fourier coefficients of an arbitrary eta-quotient $F$, over any arithmetic progression. Namely, if $g_{a,b}(x)$ denotes the number of even coefficients of $F$ in degrees $n\equiv b$ (mod $a$) such that $n\le x$, then we show that $g_{a,b}(x) / \sqrt{x}$ is unbounded for $x$ large.
Note that our result is very close to the best bound currently known even in the special case of the partition function $p(n)$ (namely, $\sqrt{x}\log \log x$, proven by Bellaïche and Nicolas in 2016). Our argument substantially relies upon, and generalizes, Serre's classical theorem on the number of even values of $p(n)$, combined with a recent modular-form result by Cotron \emph{et al.} on the lacunarity modulo 2 of certain eta-quotients.
Interestingly, even in the case of $p(n)$ first shown by Serre, no elementary proof is known of this bound. At the end, we propose an elegant problem on quadratic representations, whose solution would finally yield a modular form-free proof of Serre's theorem.
Combinatorial Mori-Zwanzig Theory
We introduce a combinatorial version Mori-Zwanzig theory and develop from it a family of self-consistent evolution equations for the correlation function or Green's function of interactive many-body systems. The core idea is to use an ansatz to rewrite the memory kernel (self-energy) of the regular Mori-Zwanzig equation as a function composition of the correlation (Green's) function. Then a series of algebraic combinatorial tools, especially the commutative and noncommutative Bell polynomials, are used to determine the exact Taylor series expansion of the composition function. The resulting combinatorial Mori-Zwanzig equation (CMZE) yields novel non-perturbative expansions of the equation of motion for the correlation (Green's) function. The structural equation for deriving such a combinatorial expansion resembles the combinatorial Dyson-Schwinger equation and may be viewed as its temporal-domain analogue. After introducing the abstract word and tree representation of the CMZE, we show its wide-range application in classical, stochastic, and quantum many-body systems. In all these examples, the new self-consistent expansions we obtained with the CMZE are similar to the diagrammatic skeleton expansions used in quantum many-body theory and lattice statistical field theory. We expect such a new framework can be used to calculate the correlation (Green's) function for strongly correlated/interactive many-body systems.
Matrix Models, Integral Polyhedra and Toric Geometry
We propose to take a look at a new approach to the study of integral polyhedra. The main idea is to give an integral representation, or matrix model representation, for the key combinatorial characteristics of integral polytopes. Based on the well-known geometric interpretations of matrix model digram techniques, we construct a new model that enumerates triangulations, subdivisions, and numbers of integral points of integral polygons. This approach allows us to look at their combinatorics from a new perspective, motivated by knowledge about matrix models and their integrability. We show how analogs of Virasoro constraints appear in the resulting model. Moreover, we make a natural generalization of this matrix model to the case of polytopes of an arbitrary dimension, considering already a tensor model. We also obtain an analogue of Virasoro constraints for it and discuss their role in the solvability of these models. The deep connection between the geometry of convex polyhedra and toric geometry is the main reference point in the construction of these models. We present considerations on specific ways of applying this approach to the description of Batyrev's mirror pairs. All this allows us to formulate many interesting directions in the study of the connection between matrix/tensor models and the geometry of toric varieties.
Five Lectures on Cluster Theory
In this paper, we will present the author's interpretation and embellishment of five lectures on cluster theory given by Kiyoshi Igusa during the Spring semester of 2022 at Brandeis University. They are meant to be used as an introduction to cluster theory from a representation-theoretic point of view. It is assumed that the reader has some background in representations of quivers.
From the $B$-Toda to the BKP hierarchy
It is shown that all $τ$-functions of BKP hierarchy can be written as Pfaffians of skew-symmetric matrices. $τ$-functions of BKP hierarchy are parameterized by points in the universal orthogonal Grassmannian manifold (UOGM). The UOGM is a disjoint union of Schubert cells, we classify and give explicit parameterization for points in each Schubert cell by constructing a frame for UOGM in the sense of Sato. $τ$-functions are then expressed in terms of these frames and Schur-Q functions. For concreteness we give a comprehensive study for the $τ$-functions of $B$-Toda which can be viewed as a finite version of the BKP hierarchy. Along the way we also give a constructive description for complex pure spinors du E. Cartan. As an application of our construction, we reprove a theorem due to A. Alexandrov which states that KdV solves BKP up to rescaling of the time parameters by $2$. We prove this by showing that the KdV hierarchy can be viewed as $4$-reduction of the BKP hierarchy. This interpretation gives complete characterization for the KdV orbits inside the BKP hierarchy. Other than a few facts from representation theory, the main tools we use to show the above results, however, are surprisingly simple linear algebra.
Expander Graph Propagation
Deploying graph neural networks (GNNs) on whole-graph classification or regression tasks is known to be challenging: it often requires computing node features that are mindful of both local interactions in their neighbourhood and the global context of the graph structure. GNN architectures that navigate this space need to avoid pathological behaviours, such as bottlenecks and oversquashing, while ideally having linear time and space complexity requirements. In this work, we propose an elegant approach based on propagating information over expander graphs. We leverage an efficient method for constructing expander graphs of a given size, and use this insight to propose the EGP model. We show that EGP is able to address all of the above concerns, while requiring minimal effort to set up, and provide evidence of its empirical utility on relevant graph classification datasets and baselines in the Open Graph Benchmark. Importantly, using expander graphs as a template for message passing necessarily gives rise to negative curvature. While this appears to be counterintuitive in light of recent related work on oversquashing, we theoretically demonstrate that negatively curved edges are likely to be required to obtain scalable message passing without bottlenecks. To the best of our knowledge, this is a previously unstudied result in the context of graph representation learning, and we believe our analysis paves the way to a novel class of scalable methods to counter oversquashing in GNNs.
Enumeration of Random Walk Positions in $L_1$-norm ball in $\mathbb{Z}^d$
In this paper, we mainly concerned about deriving the general formula to count the possible positions of $n$ step random walk in $\mathbb{Z}^d$ with unit length in each step, which we denoted as $|P_n^{d}|$. For our results, we firstly propose a recurrence relation of the counting formula: $|P_n^{d+1}| = |P_n^d| + 2\sum_{k=0}^{n-1} |P_k^d|$. Next, we propose two methods in deriving the explicit formula of $|P_n^{d}|$ using generating functions and Faulhaber's formula. Finally, we reached our main theorem in the matrix representation of our formula.
Twisted Hurwitz numbers: Tropical and polynomial structures
Published
• View Publication
• BIB
Hurwitz numbers count covers of curves satisfying fixed ramification data. Via monodromy representation, this counting problem can be transformed to a problem of counting factorizations in the symmetric group. This and other beautiful connections make Hurwitz numbers a longstanding active research topic. In recent work Chapuy and Dolęga, a new enumerative invariant called b-Hurwitz number was introduced, which enumerates non-orientable branched coverings. For b=1, we obtain twisted Hurwitz numbers which were linked to surgery theory in work of Burman and Fesler and admit a representation as factorisations in the symmetric group. In this paper, we derive a tropical interperetation of twisted Hurwitz numbers in terms of tropical covers and study their polynomial structure.