representation ↗ reference
4143 papers tagged with this keyword
Enumeration of Tree-like Multigraphs with a Given Number of Vertices, Self-loops and Multiple Edges
Published
• View Publication
• BIB
Counting non-isomorphic tree-like multigraphs that include self-loops and multiple edges is an important problem in combinatorial enumeration, with applications in chemical graph theory, polymer science, and network modeling. Traditional counting techniques, such as Polya's theorem and branching algorithms, often face limitations due to symmetry handling and computational complexity. This study presents a unified dynamic programming framework for enumerating tree-like graphs characterized by a fixed number of vertices, self-loops, and multiple edges. The proposed method utilizes canonical rooted representations and recursive decomposition of subgraphs to eliminate redundant configurations, ensuring exact counting without the need for explicit structure generation. The framework also provides analytical bounds and recurrence relations that describe the growth behaviour of such multigraphs. This work extends previous models that treated self-loops and multiple edges separately, offering a general theoretical foundation for the enumeration of complex tree-like multigraphs in both mathematical and chemical domains.
Talagrand-Type Correlation Inequalities for Supermodular and Submodular Functions on the Hypercube
Published
• View Publication
• BIB
Talagrand initiated a quantitative program by lower-bounding the correlation of any two increasing Boolean functions in terms of their influences, thereby capturing how strongly the functions depend on the exact coordinates. We strengthen this line of results by proving Talagrand-type correlation lower bounds that hold whenever the increasing functions additionally satisfy super/submodularity. In particular, under super/submodularity, we establish the ``dream inequality'' $$\mathbb{E}[fg]-\mathbb{E}[f]\mathbb{E}[g]\ge \frac{1}{4}\cdot\sum\limits_{i=1}^n\mathrm{Inf}_i[f]\mathrm{Inf}_i[g].$$ Thereby confirming a conjectural direction suggested by Kalai--Keller--Mossel. Our results also clarify the connection to the antipodal strengthening considered by Friedgut, Kahn, Kalai, and Keller, who showed that a famous Chvátal's conjecture is equivalent to a certain reinforcement of Talagrand-type correlation inequality when one function is antipodal. Thus, our inequality verifies the Friedgut--Kahn--Kalai--Keller conjectural bound in this structured regime (super/submodular). Our approach uses two complementary methods: (1) a semigroup proof based on a new heat-semigroup representation via second-order discrete derivatives, and (2) an induction proof that avoids semigroup argument entirely.
Efficient k-mer Dataset Compression Using Eulerian Covers of de Bruijn Graphs and BWT
Published
• View Publication
• BIB
Transforming an input sequence into its constituent k-mers is a fundamental operation in computational genomics. To reduce storage costs associated with k-mer datasets, we introduce and formally analyze MCTR, a novel two-stage algorithm for lossless compression of the k-mer multiset. Our core method achieves a minimal text representation (W) by computing an optimal Eulerian cover (minimum string count) of the dataset's de Bruijn graph, enabled by an efficient local Eulerization technique. The resulting strings are then further compressed losslessly using the Burrows-Wheeler Transform (BWT).
Leveraging de Bruijn graph properties, MCTR is proven to achieve linear time and space complexity and guarantees complete reconstruction of the original k-mer multiset, including frequencies.
Using simulated and real genomic data, we evaluated MCTR's performance (list and frequency representations) against the state-of-the-art lossy unitigging tool greedytigs (from matchtigs). We measured core execution time and the raw compression ratio cmpr = weight(M)/weight(W), where M is the input sequence data). Benchmarks confirmed MCTR's data fidelity but revealed performance trade-offs inherent to lossless representation. GreedyTigs was significantly faster. Regarding raw compression, GreedyTigs achieved high ratios (cmpr approx 14) on noisy real data for its lossy sequence output. On real data, MCTR (frequency) showed moderate raw compression (cmpr approx 1.5-2.7), while MCTR (list) showed none (cmpr approx 1). Importantly, the full MCTR+BWT pipeline significantly outperforms BWT alone for enhanced lossless compression. Our results establish MCTR as a valuable, theoretically grounded tool for applications demanding efficient, lossless storage and analysis of k-mer multisets, complementing lossy methods optimized for sequence summarization.
From brick manifolds to Grassmannians of bimodules
Published
• View Publication
• BIB
We study a class of Grassmannians of sub-bimodules over the path algebras of quivers. Our quiver Grassmannians include Escobar's brick manifolds as well as Labelle's generalizations. We give an explicit construction of the varieties in question, provide examples and clarify connection with the quiver representation spaces. We also prove smoothness of our Grassmannians, construct cellular decompositions and derive a realization as framed moduli spaces. The framed moduli realization leads to a recursive formula for the motives.
A Linear Representation for Functions on Finite Sets
We demonstrate that any function $f$ from a finite set $Y$ to itself can be represented linearly. Specifically, we prove the existence of an injective map $j$ from $Y$ into a modular ring $\mathbb{Z}/m\mathbb{Z}$ and a constant $a \in \mathbb{Z}/m\mathbb{Z}$ such that $j(f(y)) = a \cdot j(y)$ in $\mathbb{Z}/m\mathbb{Z}$ holds for all $y \in Y$. This result is established by analyzing the algebraic properties of the adjugate of the characteristic matrix associated with the function's digraph. The proof is constructive, providing a method for finding the embedding $j$, the modulus $m$, and the linear multiplier $a$.
Higher Order r-Dowling polynomials
Given an ordered set partition, when one insert a number of bars in-between the blocks of the ordered set partition the result is a barred preferential arrangement.
In this study, using the notion of barred preferential arrangements we propose a combinatorial interpretation of a type of generalized Bell polynomials. We also define a new higher order generalization of the $r$-Dowling polynomials. We discuss its degenerate and non degenerate versions. Using the notion of barred preferential arrangements we provide a combinatorial interpretation of these higher order $r$-Dowling polynomials. Furthermore, we prove several combinatorial identities on these polynomials. We also provide some integral representations of these polynomials, and provide some of their asymptotic results. We also show several closed form expressions demonstrating how these higher order $r$-Dowling polynomials may be expressed in terms of Bell polynomials.
On Geometric Bipartite Graphs with Asymptotically Smallest Zarankiewicz Numbers
This paper considers the \textit{Zarankiewicz problem} in graphs with low-dimensional geometric representation (i.e., low Ferrers dimension). Our first result reveals a separation between bipartite graphs of Ferrers dimension three and four: while $Z(n;k) \leq 9n(k-1)$ for graphs of Ferrers dimension three, $Z(n;k) \in Ω\left(n k \cdot \frac{\log n}{\log \log n}\right)$ for Ferrers dimension four graphs (Chan & Har-Peled, 2023) (Chazelle, 1990). To complement this, we derive a tight upper bound of $2n(k-1)$ for chordal bigraphs and $54n(k-1)$ for grid intersection graphs (GIG), a prominent graph class residing in four Ferrers dimensions and capturing planar bipartite graphs as well as bipartite intersection graphs of rectangles. Previously, the best-known bound for GIG was $Z(n;k) \in O(2^{O(k)} n)$, implied by the results of Fox & Pach (2006) and Mustafa & Pach (2016). Our results advance and offer new insights into the interplay between Ferrers dimensions and extremal combinatorics.
A Freeable Matrix Characterization of Bipartite Graphs of Ferrers Dimension Three
Ferrer dimension, along with the order dimension, is a standard dimensional concept for bipartite graphs. In this paper, we prove that a graph is of Ferrer dimension three (equivalent to the intersection bigraph of orthants and points in ${\mathbb R}^3$) if and only if it admits a biadjacency matrix representation that does not contain $Γ= \begin{bmatrix} * & 1 & * \\ 1 & 0 & 1 \\ 0 & 1 & * \end{bmatrix}$ and $Δ= \begin{bmatrix} 1 & * & * \\ 0 & 1 & * \\ 1 & 0 & 1 \end{bmatrix}$, where $*$ denotes zero or one entry.
String graphs are quasi-isometric to planar graphs
We prove that for every countable string graph $S$, there is a planar graph $G$ with $V(G)=V(S)$ such that \[ \frac{1}{23660800}d_S(u,v) \le d_G(u,v) \le 162 d_S(u,v) \] for all $u,v\in V(S)$, where $d_S(u,v)$, $d_G(u,v)$ denotes the distance between $u$ and $v$ in $S$ and $G$ respectively. In other words, string graphs are quasi-isometric to planar graphs.
This theorem lifts a number of theorems from planar graphs to string graphs, we give some examples. String graphs have Assouad-Nagata (and asymptotic dimension) at most 2. Connected, locally finite, quasi-transitive string graphs are accessible. A finitely generated group $Γ$ is virtually a free product of free and surface groups if and only if $Γ$ is quasi-isometric to a string graph.
Two further corollaries are that countable planar metric graphs and complete Riemannian planes are also quasi-isometric to planar graphs, which answers a question of Georgakopoulos and Papasoglu. For finite string graphs and planar metric graphs, our proofs yield polynomial time (for string graphs, this is in terms of the size of a representation given in the input) algorithms for generating such quasi-isometric planar graphs.
Upper Bounds for Digitwise Generating Functions of Powers of Two: A Problem and a Matrix Representation
This short note studies the asymptotic behavior of a generating function associated with the decimal expansion of \(2^n\). Our aims are twofold: (i) to present a problem on the best possible upper bound for this behavior, and (ii) to introduce a matrix representation that is useful for its analysis. The representation corresponds to a finite-state transfer operator; analytic and dynamical aspects are not pursued here.
Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable Keisler measure over the countable universal homogeneous $k$-uniform hypergraph. We show this by starting with a Borel $k$-hypergraphon $W$ and constructing a Keisler measure $μ_{W}$ such that generic sampling with respect to $μ_{W}$ yields the same invariant measure as does the standard hypergraphon sampling procedure with respect to $W$. When $k = 2$, our results give a new representation theorem for ergodic exchangeable graphs via Keisler measures over a monster model of the Rado graph.
On the second largest eigenvalue of certain graphs in the perfect matching association scheme
Published
• View Publication
• BIB
The perfect matching association scheme is a set of relations on the perfect matchings of the complete graph on $2n$ vertices. The relations between perfect matchings are defined by the cycle structure of the union of any two perfect matchings, and each relation can be represented as a matrix. Each matrix is labeled by an integer partition whose parts correspond to the size do the cycles in the union. Since these matrices form an association scheme, they are simultaneously diagonalizable. Further, it is well-known that the common eigenspaces correspond to the irreducible representations of $S_{2n}$ indexed by the even partitions of $2n$. In this paper, we conjecture that the second largest eigenvalue of the matrices in the perfect matching association scheme labeled by a partition containing at least two parts of size 1 always occurs on the eigenspace corresponding to the representation indexed by $[2n-2, 2]$. We confirm this conjecture for matrices labeled by the partitions $[2, 1^{n-2}], [3, 1^{n-3}], [2, 2, 1^{n-4}], [4, 1^{n-4}], [3, 2, 1^{n-5}]$, and $[5, 1^{n-5}]$, as well as any partition in which the first part is sufficiently large.
Superintegrability of $q,t$-matrix models and quantum toroidal algebra recursions
$q,t$-deformed matrix models give rise to representations of the deformed Virasoro algebra and more generally of the quantum toroidal $\mathfrak{gl}_1$ algebra. These representations are described in terms of finite difference equations that induce recursion relations for correlation functions. Under suitable assumptions, these recursions admit unique solutions expressible through "superintegrability" formulas, i.e. explicit closed formulas for averages of Macdonald polynomials. In this paper, we discuss examples arising from localization of 3d $\mathcal{N}=2$ theories, which include $q,t$-deformation of well known classical ensembles: Gaussian, Laguerre and Jacobi. We explain how relations in the quantum toroidal algebra can be used to give a new and universal proof of the known superintegrability formulas, as well as to derive new formulas for models that have not been previously studied in the literature. Finally, we make some remarks regarding the relation between superintegrability and orthogonal polynomials.
Random convex chains through the lens of analytic combinatorics
Consider the triangle $T$ with vertices $(0,0)$, $(0,1)$, and $(1,0)$. The lower boundary of the convex hull of $(0,1)$, $(1,0)$, together with $n$ independent uniformly distributed random points in $T$, is called a random convex chain and denoted by $T_n$. We study the random variable $f_0(T_n)$, the number of vertices of this chain. Our first result gives an explicit expression for the bivariate generating function of the probabilities $\mathbb{P}(f_0(T_n)=k+2)$ in terms of the Gaussian hypergeometric function. Building on this analytic representation, we apply a careful singularity analysis to derive a variety of limit theorems for $f_0(T_n)$, including a quantitative central limit theorem, a large deviation principle as well as a precise asymptotics for the probabilities $\mathbb{P}(f_0(T_n)=k+2)$. Conceptually, our results establish a novel bridge between stochastic geometry and methods from analytic combinatorics.
On the moments of the volume for random convex chains
Let $T$ be the triangle in the plane with vertices $(0, 0)$, $(0,1)$ and $(0, 1)$. The convex hull $T_n$ of points $(0, 1)$, $(1, 0)$ and $n$ independent random points uniformly distributed in $T$ is the random convex chain. In this paper we study the moments of the volume of random polytope $T_n$ and derive exact formulas for $k$-th moments for any integer $k\ge 0$. As an intermediate result, we find an explicit representation for the probability generating function of the number of vertices of $T_n$, from which an alternative formula for the probability that $T_n$ has $k$ vertices follows.
Para-exceptional sequences for tame hereditary algebras and McCammond-Sulway lattices
Noncrossing partition posets in a Coxeter group $W$ can fail to be lattices when $W$ is not finite. When the lattice property fails for $W$ of affine type, McCammond and Sulway's construction provides a larger lattice that contains the noncrossing partition poset and that furthermore is a combinatorial Garside structure. We construct a lattice, isomorphic to McCammond and Sulway's lattice, using the representation theory of a corresponding connected tame hereditary algebra and give a representation-theoretic proof that it is a combinatorial Garside structure. To construct the lattice, we introduce para-exceptional sequences and para-exceptional subcategories in the module categories of tame hereditary algebras. Para-exceptional sequences are generalizations of exceptional sequences obtained by enlarging the set of allowed entries to include all non-homogeneous bricks. A para-exceptional subcategory is a subcategory obtained by applying a certain closure-like operator to the wide subcategory generated by a para-exceptional sequence.
On the quantum chromatic number of Hamming and generalized Hadamard graphs
Quantum coloring finds applications in quantum cryptography and information. In this paper, we study the quantum chromatic numbers of Hamming graphs and a generalization of Hadamard graphs. We investigate the separation between the quantum and classical chromatic numbers of these graphs and determine the quantum chromatic numbers for some of them.
For the upper bounds of the quantum chromatic numbers, we develop a linear programming approach over the Hamming scheme to construct modulus-one orthogonal representations. For the lower bounds, we determine the minimum eigenvalues for some of these graphs to derive corresponding spectral lower bounds on their quantum chromatic numbers.
Non-separable graphs meet Ledoux's polynomials
In the pathbreaking article \cite{LED16}, an integral representation of the derivatives of entropy along the heat flow of a probability measure was established under suitable moment conditions. These integral representations have found significant applications in diverse domains - notably in information theory (e.g., entropy power inequalities, monotonicity of Fisher information) and in estimation theory (through the link between entropy derivatives and the minimum mean square error, MMSE, in Gaussian channels). The representations involve multivariate polynomials $(R_n)_n$, arising from a Lie algebra framework on multilinear operators. Despite their central role, the combinatorial structure of these polynomials remains only partially understood. In this note, we prove that the number of monomials in $R_n$ coincides with the number of degree sequences with degree sum $2n$ having a non-separable graph realization, thereby resolving a conjecture from \cite{MPS24}, and drawing an interesting link between these two domains.
Stranding $\mathfrak{sl}_n$ webs
Webs are a kind of planar, directed, edge-labeled graph that encode invariant vectors for quantum representations of $\mathfrak{sl}_n$. The theory of webs developed organically for $\mathfrak{sl}_2$, where they are also known as noncrossing matchings and the Temperley-Lieb algebra, before being formalized by Kuperberg for $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$ as the morphisms in a diagrammatic categorification of quantum representations called the spider category. Various models extend webs to $n \geq 4$. Only Cautis-Kamnitzer-Morrison prove a full set of relations for their webs, though Fontaine's webs are better adapted to computations, more graph-theoretically natural, and directly generalize webs for $n=2$ and $n=3$.
This paper formalizes the theory of Fontaine's webs, proving the existence of a deep and powerful global structure on these webs called strandings. We do three key things: 1) give a state-sum formula to construct ($U_q(\mathfrak{sl}_n)$-invariant) web vectors from the orientation of strandings on Fontaine's webs; 2) list and prove a complete set of relations, connecting strandings to the local data of binary labelings that are well-established in the literature; and 3) provide applications and examples of how strandings facilitate computations.
Equivariant inverse Kazhdan--Lusztig polynomials of thagomizer matroids
In this paper, we focus on the equivariant inverse Kazhdan--Lusztig polynomials of thagomizer matroids, a natural family of graphic matroids associated with the complete tripartite graphs $K_{1,1,n}$. These polynomials were introduced by Proudfoot as an extension of the Kazhdan--Lusztig theory for matroids. We derive closed-form expressions for the $\mathfrak{S}_n$-equivariant inverse Kazhdan--Lusztig polynomials of thagomizer matroids and present them explicitly in terms of the irreducible representations of $\mathfrak{S}_n$. As an application, we also provide explicit formulas for the non-equivariant inverse Kazhdan--Lusztig polynomials, originally defined by Gao and Xie, and give an alternative proof using generating functions. Furthermore, we prove that the inverse Kazhdan--Lusztig polynomials of thagomizer matroids are log-concave.