representation ↗ reference
4143 papers tagged with this keyword
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
Published
• View Publication
• BIB
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.
Semi-strict chordality of digraphs
Published
• View Publication
• BIB
Chordal graphs are important in algorithmic graph theory. Chordal digraphs are a digraph analogue of chordal graphs and have been a subject of active studies recently. Unlike chordal graphs, chordal digraphs lack many structural properties such as forbidden subdigraph or representation characterizations. In this paper we introduce the notion of semi-strict chordal digraphs which form a class strictly between chordal digraphs and chordal graphs. Semi-strict chordal digraphs have rich structural properties. We characterize semi-strict chordal digraphs in terms of knotting graphs, a notion analogous to the one introduced by Gallai for the study of comparability graphs. We also give forbidden subdigraph characterizations of semi-strict chordal digraphs within the cases of locally semicomplete digraphs and weakly quasi-transitive digraphs.
Geometric aspects of the Jacobian of a hyperplane arrangement
Published
• View Publication
• BIB
An embedding of the complete bipartite graph $K_{3,3}$ in $\mathbb{P}^2$ gives rise to both a line arrangement and a bar-and-joint framework. For a generic placement of the six vertices, the graded Betti numbers of the logarithmic module of derivations of the line arrangement are constant, but an example due to Ziegler shows that the graded Betti numbers are different when the points lie on a conic.
Similarly, in rigidity theory a generic embedding of $K_{3,3}$ in the plane is an infinitesimally rigid bar-and-joint framework, but the framework is infinitesimally flexible when the points lie on a conic. In this paper we develop the theory of weak perspective representations of hyperplane arrangements to formalize and generalize the striking connection between hyperplane arrangements and rigidity theory that this example suggests. In particular, we seek to understand how the interplay of combinatorics and geometry influence algebraic structures associated to an arrangement, such as the saturation of the Jacobian ideal of the arrangement. We make connections between examples and constructions from rigidity theory and interesting phenomena in the study of hyperplane arrangements.
A Cantor-Bendixson Rank for Siblings of Trees
Published
• View Publication
• BIB
Similar to topological spaces, we introduce the Cantor-Bendixson rank of a tree $T$ by repeatedly removing the leaves and the isolated vertices of $T$ using transfinite recursion. Then, we give a representation of a tree $T$ as a leafless tree $T^\infty$ with some leafy trees attached to $T^\infty$. With this representation at our disposal, we count the siblings of a tree and obtain partial results towards a conjecture of Bonato and Tardif.
Multiple Partition Structures and Harmonic Functions on Branching Graphs
Published in Adv. in Appl. Math. 153 (2024), Paper No.102617,49 pp
• View Publication
• BIB
We introduce and study multiple partition structures which are sequences of probability measures on families of Young diagrams subjected to a consistency condition. The multiple partition structures are generalizations of Kingman's partition structures, and are motivated by a problem of population genetics. They are related to harmonic functions and coherent systems of probability measures on a certain branching graph. The vertices of this graph are multiple Young diagrams (or multiple partitions), and the edges depend on the Jack parameter. Our main result establishes a bijective correspondence between the set of harmonic functions on the graph and probability measures on the generalized Thoma set. The correspondence is determined by a canonical integral representation of harmonic functions. As a consequence we obtain a representation theorem for multiple partition structures.
We give an example of a multiple partition structure which is expected to be relevant for a model of population genetics for the genetic variation of a sample of gametes from a large population. Namely, we construct a probability measure on the wreath product of a finite group with the symmetric group. The constructed probability measure defines a multiple partition structure which is a generalization of the Ewens partition structure studied by Kingman. We show that this multiple partition structure can be represented in terms of a multiple analogue of the Poisson-Dirichlet distribution called the multiple Poisson-Dirichlet distribution in the paper.
Universal symplectic/orthogonal functions and general branching rules
In this paper, we first introduce a family of universal symplectic functions $sp_λ(\mathbf{x}^{\pm};\mathbf{z})$ that include symplectic Schur functions $sp_λ(\mathbf{x}^{\pm})$, odd symplectic characters $sp_λ(\mathbf{x}^{\pm};z)$, universal symplectic characters $sp_λ(\mathbf{z})$ and intermediate symplectic characters as subfamilies. We then realize the universal symplectic functions by vertex operators, which naturally lead to their skew versions, and show that $sp_λ(\mathbf{x}^{\pm};\mathbf{z})$ obey the general branching rules. This also gives the Gelfand-Tsetlin representations of odd symplectic characters and a transition formula between odd symplectic characters and symplectic Schur functions.
Secondly we introduce a family of universal orthogonal functions $o_λ(\mathbf{x}^{\pm};\mathbf{z})$ and their skew versions in a similar manner, and we provide their vertex operator realizations and obtain transition formulas and the branching rule. The universal orthogonal functions $o_λ(\mathbf{x}^{\pm};\mathbf{z})$ generalize orthogonal Schur functions $o_λ(\mathbf{x}^{\pm})$, odd orthogonal Schur functions $so_λ(\mathbf{x}^{\pm})$, universal orthogonal characters $o_λ(\mathbf{z})$ as well as intermediate orthogonal characters.
Thirdly, we give vertex operator realizations for the $CB$-interpolating Schur functions $s^{CB}_λ(x;β)$ introduced by Bisi and Zygouras (Adv. Math., 2022) and the $DB$-interpolating Schur functions $s^{DB}_λ(x;β)$ interpolating between characters of type $D$ and $B$. As an application, we show $s^{CB}_λ(x;β)$ are equal to the orthosymplectic Schur polynomials $spo_λ(x/β)$, thus give a short proof of the generalization of the Brent-Krattenthaler-Warnaar identity obtained by Kumari (arXiv:2401.01723).
Commutators in finite free probability, I
This paper describes the expected characteristic polynomial of the commutator of randomly rotated matrices, in the context of the finite free probability theory initiated by Marcus, Spielman, and Srivastava. The key technical features are the use of Weingarten calculus to translate the random matrix problem into one of combinatorial representation theory, followed by some applications of the Goulden-Jackson immanant formula and the classical theory of permutation modules.
Visibility Representations of Toroidal and Klein-bottle Graphs
Published
• View Publication
• BIB
In this paper, we study visibility representations of graphs that are embedded on a torus or a Klein bottle. Mohar and Rosenstiehl showed that any toroidal graph has a visibility representation on a flat torus bounded by a parallelogram, but left open the question whether one can assume a rectangular flat torus, i.e., a flat torus bounded by a rectangle. Independently the same question was asked by Tamassia and Tollis. We answer this question in the positive. With the same technique, we can also show that any graph embedded on a Klein bottle has a visibility representation on the rectangular flat Klein bottle.
Principal subspaces of basic modules for twisted affine Lie algebras, $q$-series multisums, and Nandi's identities
Published
• View Publication
• BIB
We provide an observation relating several known and conjectured $q$-series identities to the theory of principal subspaces of basic modules for twisted affine Lie algebras. We also state and prove two new families of $q$-series identities. The first family provides quadruple sum representations for Nandi's identities, including a manifestly positive representation for the first identity. The second is a family of new mod 10 identities connected with principal characters of level 4 integrable, highest-weight modules of $\mathrm{D}_4^{(3)}$.
Content systems and deformations of cyclotomic KLR algebras of type $A$ and $C$
Published in Annals of Representation Theory, 2 (2024), 193-297
• View Publication
• BIB
This paper initiates a systematic study of the cyclotomic KLR algebras of affine types $A$ and $C$. We start by introducing a graded deformation of these algebras and the constructing all of the irreducible representations of the deformed cyclotomic KLR algebras using content systems and a generalisation of the Young's seminormal forms for the symmetric groups. Quite amazingly, this theory simultaneously captures the representation theory of the cyclotomic KLR algebras of types $A$ and $C$, with the main difference being the definition of residue sequences of tableaux. We then use our semisimple deformations to construct two "dual" cellular bases for the non-semisimple KLR algebras of affine types $A$ and $C$. As applications of this theory we recover many of the main features from the representation theory in type $A$, simultaneously proving them for the cyclotomic KLR algebras of types $A$ and $C$. These results are completely new in type $C$ and we, usually, more direct proofs in type $A$. In particular, we show that these algebras categorify the irreducible integrable highest weight modules of the corresponding Kac-Moody algebras, we construct and classify their simple modules, we investigate links with canonical bases and we generalise Kleshchev's modular branching rules to these algebras.