representation ↗ reference
4053 papers tagged with this keyword
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.
A polynomial construction of perfect sequence covering arrays
Published
• View Publication
• BIB
A PSCA$(v, t, λ)$ is a multiset of permutations of the $v$-element alphabet $\{0, \dots, v-1\}$ such that every sequence of $t$ distinct elements of the alphabet appears in the specified order in exactly $λ$ permutations. For $v \geq t$, let $g(v, t)$ be the smallest positive integer $λ$ such that a PSCA$(v, t, λ)$ exists. We present an explicit construction that proves $g(v,t) = O(v^{t(t-2)})$ for fixed $t \geq 4$. The method of construction involves taking a permutation representation of the group of projectivities of a suitable projective space of dimension $t - 2$ and deleting all but a certain number of symbols from each permutation. In the case that this space is a Desarguesian projective plane, we also show that there exists a permutation representation of the group of projectivities of the plane that covers the vast majority of 4-sequences of its points a fixed number of times.
Graph Universal Cycles: Compression and Connections to Universal Cycles
Published in Advances in Applied Mathematics, Volume 148, July 2023, Article 102522
• View Publication
• BIB
Universal cycles, such as De Bruijn cycles, are cyclic sequences of symbols that represent every combinatorial object from some family exactly once as a consecutive subsequence. Graph universal cycles are a graph analogue of universal cycles introduced in 2010. We introduce graph universal partial cycles, a more compact representation of graph classes, which use "do not know" edges. We show how to construct graph universal partial cycles for labeled graphs, threshold graphs, and permutation graphs. For threshold graphs and permutation graphs, we demonstrate that the graph universal cycles and graph universal partial cycles are closely related to universal cycles and compressed universal cycles, respectively. Using the same connection, for permutation graphs, we define and prove the existence of an $s$-overlap form of graph universal cycles. We also prove the existence of a generalized form of graph universal cycles for unlabeled graphs.
Factorization theorems and canonical representations for generating functions of special sums
This manuscript explores many convolution (restricted summation) type sequences via certain types of matrix based factorizations that can be used to express their generating functions. The last primary (non-appendix) section of the thesis explores the topic of how to best rigorously define a so-termed ``\emph{canonically best}'' matrix based factorization for a given class of convolution sum sequences. The notion of a canonical factorization for the generating function of such sequences needs to match the qualitative properties we find in the factorization theorems for Lambert series generating functions (LGFs). The expected qualitatively most expressive expansion we find in the LGF case results naturally from algebraic constructions of the underlying LGF series type. We propose a precise quantitative requirement to generalize this notion in terms of optimal cross-correlation statistics for certain sequences that define the matrix based factorizations of the generating function expansions we study. We finally pose a few conjectures on the types of matrix factorizations we expect to find when we are able to attain the maximal (respectively minimal) correlation statistic for a given sum type.
On Clusters and Exceptional Sets in Types $\mathbb{A}$ and $\tilde{\mathbb{A}}$
Published
• View Publication
• BIB
In this paper we first study clusters in type $\tilde{\mathbb{A}}$ by collecting them into a finite number of infinite families given by Dehn twists of their corresponding triangulations, and show that these families are counted by the Catalan numbers. We also highlight the similarities and differences between the annuli diagrams used to study clusters and those used to study exceptional sets in type $\tilde{\mathbb{A}}$. We then focus on exceptional collections (sets) of modules over path algebras of quivers by first showing that the notion of relative projectivity in exceptional sets is well defined. We finish by counting the number of exceptional sets of representations of type $\mathbb{A}$ quivers with straight orientation and using this to count the number of families of exceptional sets of type $\tilde{\mathbb{A}}$ with straight orientation.
Exceptional sequences in semidistributive lattices and the poset topology of wide subcategories
Published
• View Publication
• BIB
Let $Λ$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $τ$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $Λ$-modules. When $Λ$ is representation-directed, we prove that there exists a total order on the set of bricks which makes this into an EL-labeling. Motivated by the connection between classical exceptional sequences and noncrossing partitions, we then turn our attention towards the study of (well-separated) completely semidistributive lattices. Such lattices come equipped with a bijection between their completely join-irreducible and completely meet-irreducible elements, known as rowmotion or simply the "$κ$-map". Generalizing known results for finite semidistributive lattices, we show that the $κ$-map determines exactly when a set of completely join-irreducible elements forms a "canonical join representation". A consequence is that the corresponding "canonical join complex" is a flag simplicial complex, as has been shown for finite semidistributive lattices and lattices of torsion classes of finite-dimensional algebras. Finally, in the case of lattices of torsion classes of finite-dimensional algebras, we demonstrate how Jasso's $τ$-tilting reduction can be encoded using the $κ$-map. We use this to define $κ^d$-exceptional sequences for finite semidistributive lattices. These are distinguished sequences of completely join-irreducible elements which we prove specialize to $τ$-exceptional sequences in the algebra setting.
Discrete Bakry-Émery curvature tensors and matrices of connection graphs
Connection graphs are natural extensions of Harary's signed graphs. The Bakry-Émery curvature of connection graphs has been introduced by Liu, Münch and Peyerimhoff in order to establish Buser type eigenvalue estimates for connection Laplacians. In this paper, we reformulate the Bakry-Émery curvature of a vertex in a connection graph in terms of the smallest eigenvalue of a family of unitarily equivalent curvature matrices. We further interpret this family of curvature matrices as the matrix representations of a new defined curvature tensor with respect to different orthonormal basis of the tangent space at a vertex. This is a strong extension of previous works of Cushing-Kamtue-Liu-Peyerimhoff and Siconolfi on curvature matrices of graphs. Moreover, we study the Bakry-Émery curvature of Cartesian products of connection graphs, strengthening the previous result of Liu, Münch and Peyerimhoff. While results of a vertex with locally balanced structure cover previous works, various interesting phenomena of locally unbalanced connection structure have been clarified.
Kirillov-Reshetikhin modules and quantum $K$-matrices
Published
• View Publication
• BIB
From a quantum $K$-matrix of the fundamental representation, we construct one for the Kirillov-Reshetikhin module by fusion construction. Using the $\imath$crystal theory by the last author, we also obtain combinatorial $K$-matrices corresponding to the symmetric tensor representations of affine type $A$ for all quasi-split Satake diagrams.
B$_0$-VPG Representation of AT-free Outerplanar Graphs
Published
• View Publication
• BIB
A $k$-bend path is a non-self-intersecting polyline in the plane made of at most $k+1$ axis-parallel line segments. B$_k$-VPG is the class of graphs which can be represented as intersection graphs of $k$-bend paths in the same plane. In this paper, we show that all AT-free outerplanar graphs are B$_0$-VPG, i.e., intersection graphs of horizontal and vertical line segments in the plane. Our proofs are constructive and give a polynomial time B$_0$-VPG drawing algorithm for the class.
Following a long line of improvements, Gonçalves, Isenmann, and Pennarun [SODA 2018] showed that all planar graphs are B$_1$-VPG. Since there are planar graphs which are not B$_0$-VPG, characterizing B$_0$-VPG graphs among planar graphs becomes interesting. Chaplick et al.\ [WG 2012] had shown that it is NP-complete to recognize B$_k$-VPG graphs within B$_{k+1}$-VPG. Hence recognizing B$_0$-VPG graphs within B$_1$-VPG is NP-complete in general, but the question is open when restricted to planar graphs. There are outerplanar graphs and AT-free planar graphs which are not B$_0$-VPG. This piqued our interest in AT-free outerplanar graphs.
Decomposition horizons and a characterization of stable hereditary classes of graphs
Published
• View Publication
• BIB
The notions of bounded-size and quasibounded-size decompositions with bounded treedepth base classes are central to the structural theory of graph sparsity introduced by two of the authors years ago, and provide a characterization of both classes with bounded expansions and nowhere dense classes. Strong connections of this theory with model theory led to considering first-order transductions, which are logically defined graph transformations, and to initiate a comparative study of combinatorial and model theoretical properties of graph classes, with an emphasis on the model theoretical notions of dependence (or NIP) and stability. In this paper, we first prove that every hereditary class with quasibounded-size decompositions with dependent (resp.\ stable) base classes is itself dependent (resp.\ stable). This result is obtained in a more general study of ``decomposition horizons'', which are class properties compatible with quasibounded-size decompositions. We deduce that hereditary classes with quasibounded-size decompositions with bounded shrubdepth base classes are stable. In the second part of the paper, we prove the converse. Thus, we characterize stable hereditary classes of graphs as those hereditary classes that admit quasibounded-size decompositions with bounded shrubdepth base classes. This result is obtained by proving that every hereditary stable class of graphs admits almost nowhere dense quasi-bush representations, thus answering positively a conjecture of Dreier et al. These results have several consequences. For example, we show that every graph $G$ in a stable, hereditary class of graphs $\mathscr C$ has a clique or a stable set of size $Ω_{\mathscr C,ε}(|G|^{1/2-ε})$, for every $ε>0$, which is tight in the sense that it cannot be improved to $Ω_{\mathscr C}(|G|^{1/2})$.
Hausdorff moment problem for combinatorial numbers of Brown and Tutte: exact solution
Published in Enumerative Combinatorics and Applications, ECA 3:2 (2023) Article #S2R15, 10 pages
• View Publication
• BIB
We investigate the combinatorial sequences $A(M, n)$ introduced by W. G. Brown (1964) and W. T. Tutte (1980) appearing in enumeration of convex polyhedra. Their formula is $$A(M, n) = \frac{2 (2M+3)!}{(M+2)! M!}\,\frac{(4n+2M+1)!}{n! (3n + 2M + 3)!} $$ with $n, M =0, 1, 2, \ldots$, and we conceive it as Hausdorff moments, where $M$ is a parameter and $n$ enumerates the moments. We solve exactly the corresponding Hausdorff moment problem: $A(M, n) = \int_{0}^{R} x^{n} W_{M}(x) d x$ on the natural support $(0, R)$, $R = 4^{4}/3^{3}$, using the method of inverse Mellin transform. We provide explicitly the weight functions $W_{M}(x)$ in terms of the Meijer G-functions $G_{4, 4}^{4, 0}$, or equivalently, the generalized hypergeometric functions ${_{3}F_{2}}$ (for $M=0, 1$) and ${_{4}F_{3}}$ (for $M \geq 2$). For $M = 0, 1$, we prove that $W_{M}(x)$ are non-negative and normalizable, thus they are probability distributions. For $M \geq 2$, $W_{M}(x)$ are signed functions vanishing on the extremities of the support. By rephrasing this problem entirely in terms of Meijer G representations we reveal an integral relation which directly furnishes $W_M(x)$ based on ordinary generating function of $A(M, n)$ as an input. All the results are studied analytically as well as graphically.
Small Transformers Compute Universal Metric Embeddings
Published in Journal of Machine Learning Research 24 (2023): 1-48
• Search Publication
We study representations of data from an arbitrary metric space $\mathcal{X}$ in the space of univariate Gaussian mixtures with a transport metric (Delon and Desolneux 2020). We derive embedding guarantees for feature maps implemented by small neural networks called \emph{probabilistic transformers}. Our guarantees are of memorization type: we prove that a probabilistic transformer of depth about $n\log(n)$ and width about $n^2$ can bi-Hölder embed any $n$-point dataset from $\mathcal{X}$ with low metric distortion, thus avoiding the curse of dimensionality. We further derive probabilistic bi-Lipschitz guarantees, which trade off the amount of distortion and the probability that a randomly chosen pair of points embeds with that distortion. If $\mathcal{X}$'s geometry is sufficiently regular, we obtain stronger, bi-Lipschitz guarantees for all points in the dataset. As applications, we derive neural embedding guarantees for datasets from Riemannian manifolds, metric trees, and certain types of combinatorial graphs. When instead embedding into multivariate Gaussian mixtures, we show that probabilistic transformers can compute bi-Hölder embeddings with arbitrarily small distortion.