representation ↗ reference
4143 papers tagged with this keyword
On edge-direction and compact edge-end spaces
Directions of graphs were originally introduced in the study of a cops-and-robbers kind of game, while the study of end spaces has been used to generalize classical graph-theoretical results to infinite graphs, such as Halin's generalization of Menger's theorem. An edge-analogue of end spaces, where finite sets of edges are used instead of vertices as separator agents to form the so-called edge-end space, has been recently used to obtain an edge-analogue of this later result. Inspired by Diestel's correspondence between directions and ends of a graph, we tackle in this paper an edge-analogue of directions, its relation with line graphs, and an edge-analogue of Diestel's correspondence. The results of this study had some implications over edge-end space compactness, which then became a target of inquiry: we thus show an edge-analogue of Diestel's combinatorial characterization for compact end spaces. Non-edge-dominating vertices play an important role in our characterization, which motivated the study of ends and directions using now finite sets of these vertices as separator agents, as done previously for edges, giving rise to other topological spaces associated with graphs. These new direction and end spaces once again motivate an analogue of Diestel's correspondence result, and further generalizations are obtained. All of these constructions define topological space-classes associated with graphs such as edge-end spaces and edge-direction spaces of graphs. The paper organizes these topological space-classes appearing throughout the text with representation results, as it was done by Pitz and Kurkofka, as well as Aurichi, Real and Magalhães Júnior. Most notably, we show that every compact edge-end space can be represented as the edge-direction space of a connected graph.
Moments of permutation statistics by cycle type
Beginning with work of Zeilberger on classical pattern counts, there are a variety of structural results for moments of permutation statistics applied to random permutations. Using tools from representation theory, Gaetz and Ryba generalized Zeilberger's results to uniformly random permutations of a given cycle type. We introduce regular statistics and characterize their moments for all cycle types, generalizing all results in this literature that we are aware of. Our approach splits into two steps: first characterize such statistics as linear combinations of indicator functions for partial permutations, then identifying the moments of such indicators. As an application, we show that many regular statistics exhibit a law of large numbers depending only on fixed point counts and a similar variance property that depends also on two--cycle counts.
These results first appeared in arXiv:2206.06567, which is no longer intended for publication. Our original proof of the moment result for indicators of partial permutations relied on representation theory and symmetric functions. A referee generously shared a combinatorial argument, allowing us to give a self-contained treatment of these results that does not rely on representation theory.
Maximal Entropy Random Walks in Z: Random and non-random environments
Published
• View Publication
• BIB
The Maximal Entropy Random Walk (MERW) is a natural process on a finite graph, introduced a few years ago with motivations from theoretical physics. The construction of this process relies on Perron-Frobenius theory for adjacency matrices. Generalizing to infinite graphs is rather delicate, and in this article, we treat in a fairly exhaustive manner the case of the MERW on Z with loops, for both random and nonrandom loops. Thanks to an explicit combinatorial representation of the corresponding Perron-Frobenius eigenvectors, we are able to precisely determine the asymptotic behavior of these walks. We show, in particular, that essentially all MERWs on Z with loops have positive speed.
Separating trees and simple congruences of the weak order
Published
• View Publication
• BIB
A congruence of the weak order is simple if its quotientope is a simple polytope. We provide an alternative elementary proof of the characterization of the simple congruences in terms of forbidden up and down arcs. For this, we provide a combinatorial description of the vertices of the corresponding quotientopes in terms of separating trees. This also yields a combinatorial description of all faces of the corresponding quotientopes. We finally explore algebraic aspects of separating trees, in particular their connections with quiver representation theory.
A computational approach to rational summability and its applications via discrete residues
Published
• View Publication
• BIB
A rational function $f(x)$ is rationally summable if there exists a rational function $g(x)$ such that $f(x)=g(x+1)-g(x)$. Detecting whether a given rational function is summable is an important and basic computational subproblem that arises in algorithms to study diverse aspects of shift difference equations. The discrete residues introduced by Chen and Singer in 2012 enjoy the obstruction-theoretic property that a rational function is summable if and only if all its discrete residues vanish. However, these discrete residues are defined in terms of the data in the complete partial fraction decomposition of the given rational function, which cannot be accessed computationally in general. We explain how to efficiently compute (a rational representation of) the discrete residues of any rational function, relying only on gcd computations, linear algebra, and a black box algorithm to compute the autodispersion set of the denominator polynomial. We also explain how to apply our algorithms to serial summability and creative telescoping problems, and how to apply these computations to compute Galois groups of difference equations.
Reliability Evaluation of Generalized $K_4$-Hypercubes Based on Five Link Fault Patterns
Published
• View Publication
• BIB
As the scale of data centers continues to grow, there is an increasing demand for interconnection networks to resist malicious attacks. Hence, it is necessary to evaluate the reliability of networks under various fault patterns. The family of generalized $K_4$-hypercubes serve as interconnection networks of data centers, characterized by topological structures with exceptional properties. The $h$-extra edge-connectivity $λ_h$, the $l$-super edge-connectivity $λ^l$, the $l$-average degree edge-connectivity $\overline{λ^l}$, the $l$-embedded edge-connectivity $η_l$ and the cyclic edge-connectivity $λ_c$ are vital parameters to accurately assess the reliability of interconnection networks. Let integer $n\geq3$. This paper obtains the optimal solution of the edge isoperimetric problem and its explicit representation, which offers an upper bound of the $h$-extra edge-connectivity of an $n$-dimensional $K_4$-hypercube $H_n^4$. As an application, we presents $λ_h(H_n^4)$ for $1\leq h\leq 2^{\lceil n/2 \rceil }$. Moreover, for $2^{\lceil n/2\rceil+t}-g_t \le h\le2^{\lceil n/2\rceil+t}$, $g_t=\lceil(2^{2t+2+γ})/3\rceil$,
$0\leq t \leq\lfloor n/2\rfloor-1 $, $γ=0$ for even $n$ and $γ=1$ for odd $n$, $λ_h(H_n^4)$ is a constant $(\lfloor n/2\rfloor-t)2^{\lceil n/2\rceil+t}$. The above lower and upper bounds of the integer $h$ are both sharp. Furthermore, $λ^l(H_n^4)$, $\overline{λ^l}(H_n^4)$, $λ_{2^l}(H_n^4)$, and $η_l(H_n^4)$ share a common value $(n-l)2^l$ for $2\leq l\leq n-1$, and we determines the values of $λ_c(H_n^4)$.
The $α$-representation for the Tait coloring and for the characteristic polynomial of matroid
Published
• View Publication
• BIB
Consider a finite field $\mathbb F_q$, $q=p^d$, where $p$ is an odd number. Let $M=(E,r)$ be a regular matroid; denote by ${\mathcal B}$ the family of its bases, $\bar s(M;α)=\sum_{B\in {\mathcal B}}\prod_{e\not\in B} α_e$, where ${α_e\in \mathbb F_q}$, $α_e\neq 0$. Let a subset $A\equiv A(α)$ in $E$ have the maximal cardinality and satisfy the condition $\bar s(M|A;α)\neq 0$, while ${r^*}(α)=|A|-r(E)$. Let us represent the value of the characteristic polynomial of the matroid $M$ at the point $q$ as the linear combination of Legendre symbols with respect to $\bar s(M|A;α)$, whose coefficients are modulo equal to $1/q^{r^*(α)/2}$. This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier. The latter formula is an analog of the so-called $α$-representation of vacuum Feynman amplitudes in the case of a finite field, which has inspired the Kontsevich conjecture (1997). The $α$-representation technique is also applicable for expressing the number of Tait colorings for a cubic biconnected planar graph in terms of principal minors of the matrix of faces of this graph.
Matrix symmetric and quasi-symmetric functions and noncommutative representation theory
Published
• View Publication
• BIB
A fundamental result by L. Solomon in algebraic combinatorics and representation theory states that Mackey formulas for products of characters of a symmetric group, or equivalently the computation of tensor products of representations thereof, can be lifted to the corresponding Solomon's descent algebra, a subalgebra of the group algebra with a very rich structure. Motivated by the structure of the product formula in these algebras and by other results and ideas in the field, we introduce and investigate in the present article a two dimensional analogue of descent algebras based on packed integer matrices that inherits most of their fundamental properties. One of the various bialgebra structures we introduce on packed integer matrices identifies with a bialgebra recently introduced by J. Diehl and L. Schmitz to define a two dimensional generalisation of Chen's iterated integrals signatures.
Marked multi-colorings, partially commutative Lie superalgebras and right-angled Coxeter groups
Infinite-dimensional Lie superalgebras, particularly Borcherds-Kac-Moody (BKM) superalgebras, play a fundamental role in mathematical physics, number theory, and representation theory. In this paper, we study the root multiplicities of BKM superalgebras via their denominator identities, deriving explicit combinatorial formulas in terms of graph invariants associated with marked (quasi) Dynkin diagrams. We introduce partially commutative Lie superalgebras (PCLSAs) and provide a direct combinatorial proof of their denominator identity, where the generating set runs over the super heaps monoid. A key notation in our approach is marked multi-colorings and their associated polynomials, which generalize chromatic polynomials and offer a method for computing root multiplicities. As applications, we characterize the roots of PCLSAs and establish connections between their universal enveloping algebras and right-angled Coxeter groups, leading to explicit formulas for their Hilbert series. These results further deepen the interplay between Lie superalgebras, graph theory, and algebraic combinatorics.
From de Bruijn graphs to variation graphs-relationships between pangenome models
Published
• View Publication
• BIB
Pangenomes serve as a framework for joint analysis of genomes of related organisms. Several pangenome models were proposed, offering different functionalities, applications provided by available tools, their efficiency etc. Among them, two graph-based models are particularly widely used: variation graphs and de Bruijn graphs. In the current paper we propose an axiomatization of the desirable properties of a graph representation of a collection of strings. We show the relationship between variation graphs satisfying these criteria and de Bruijn graphs. This relationship can be used to efficiently build a variation graph representing a given set of genomes, transfer annotations between both models, compare the results of analyzes based on each model etc.
Myrvold's Results on Orthogonal Triples of $10 \times 10$ Latin Squares: A SAT Investigation
Published
• View Publication
• BIB
Ever since E. T. Parker constructed an orthogonal pair of $10\times10$ Latin squares in 1959, an orthogonal triple of $10\times10$ Latin squares has been one of the most sought-after combinatorial designs. Despite extensive work, the existence of such an orthogonal triple remains an open problem, though some negative results are known. In 1999, W. Myrvold derived some highly restrictive constraints in the special case in which one of the Latin squares in the triple contains a $4\times4$ Latin subsquare. In particular, Myrvold showed there were twenty-eight possible cases for an orthogonal pair in such a triple, twenty of which were removed from consideration. We implement a computational approach that quickly verifies all of Myrvold's nonexistence results and in the remaining eight cases finds explicit examples of orthogonal pairs -- thus explaining for the first time why Myrvold's approach left eight cases unsolved. As a consequence, the eight remaining cases cannot be removed by a strategy of focusing on the existence of an orthogonal pair; the third square in the triple must necessarily be considered as well.
Our approach uses a Boolean satisfiability (SAT) solver to derive the nonexistence of twenty of the orthogonal pair types and find explicit examples of orthogonal pairs in the eight remaining cases. To reduce the existence problem into Boolean logic we use a duality between the concepts of transversal representation and orthogonal pair and we provide a formulation of this duality in terms of a composition operation on Latin squares. Using our SAT encoding, we find transversal representations (and equivalently orthogonal pairs) in the remaining eight cases in under two hours of computing on a large computing cluster.
Skeletal Torus Actions and GKM Structures on Quiver Grassmannians of String Representations
Quiver Grassmannians of equioriented type $\texttt{A}$ and nilpotent equioriented type $\tilde{\texttt{A}}$ quiver representations are GKM-varieties. In particular, they have a cellular decomposition and admit a torus action with finitely many fixed points and one-dimensional orbits (i.e. skeletal action). We examine the case of string representations and provide a classification of all corresponding quiver Grassmannians with a GKM-variety structure.
A conjecture on monomial realizations and polyhedral realizations for crystal bases
Crystal bases are powerful combinatorial tools in the representation theory of quantum groups $U_q(\mathfrak{g})$ for a symmetrizable Kac-Moody algebras $\mathfrak{g}$. The polyhedral realizations are combinatorial descriptions of the crystal base $B(\infty)$ for Verma modules in terms of the set of integer points of a polyhedral cone, which equals the string cone when $\mathfrak{g}$ is finite dimensional simple. It is a fundamental and natural problem to find explicit forms of the polyhedral cone. The monomial realization expresses crystal bases $B(λ)$ of integrable highest weight representations as Laurent monomials with double indexed variables. In this paper, we give a conjecture between explicit forms of the polyhedral cones and monomial realizations. We prove the conjecture is true when $\mathfrak{g}$ is a classical Lie algebra, a rank $2$ Kac-Moody algebra or a classical affine Lie algebra.
A Method for Establishing Asymptotically Accurate Bounds for Extremal Roots of Eulerian Polynomials Using Polynomial Stability Preservers
We develop the tools to bound extreme roots of multivariate real zero polynomials globally. This is done through the use of a relaxation that approximates their rigidly convex sets. This relaxation can easily be constructed using the degree $3$ truncation of the polynomial and it produces in this way a spectrahedron whose computation is relatively easy and whose size is relatively small and depending solely on the number of variables of the polynomial. As we know that, in order to be able to produce in general spectrahedral representations of rigidly convex sets it is necessary to build matrices of very big size, we try, analyze and experiment with several constructions that could increase the size of these matrices. These constructions are based principally in two main approaches: adding information about higher degree monomials or non-trivially increasing the number of variables of the original polynomial. We explore these two construction first in a general setting and see that it is necessary to particularize to certain families of polynomials in order to make them work. In particular, we are able to prove that increasing the number of variables improves the behavior of the relaxation along the diagonal in the case of Eulerian polynomials. We see that applying the relaxation to multivariate Eulerian polynomials and then looking at the univariate polynomials injected in their diagonals produces an exponential asymptotic improvement in the bounds provided. We compare these bounds with other bounds that have appeared previously in the literature and refine these previous bounds in order to study how close do the bounds provided by the relaxation are to the actual roots of the univariate Eulerian polynomials.
Monomial stability of Frobenius images
We study representation stability in the sense of Church, Ellenberg, and Farb \cite{FI-module} through the lens of symmetric function theory and the different symmetric function bases. We show that a sequence, $(F_n)_n$, where $F_n$ is a homogeneous symmetric function of degree $n$, has stabilizing Schur coefficients if and only if it has stabilizing monomial coefficients. More generally, we develop a framework for checking when stabilizing coefficients transfer from one symmetric function basis to another. We also see how one may compute representation stable ranges from the monomial expansions of the $F_n$.\parspace
As applications, we reprove and refine the representation stability of diagonal coinvariant algebras, $DR_n$. We also observe new representation stability phenomena of the Garsia-Haiman modules. This establishes certain stability properties of the modified Macdonald polynomials, $\tilde{H}_{μ^{(n)}}[X;q,t]$ and the modified $q,t$-Kostka numbers, $\tilde{K}_{μ^{(n)},ν[n]}(q,t)$, for arbitrary sequences of partitions with $μ^{(n)}\vdash n$ and $μ^{(n)}\subseteq μ^{(n+1)}$.
A New Representation of Ewens-Pitman's Partition Structure and Its Characterization via Riordan Array Sums
Ewens-Pitman's partition structure arises as a system of sampling consistent probability distributions on set partitions induced by the Pitman-Yor process. It is widely used in statistical applications, particularly in species sampling models in Bayesian nonparametrics. Drawing references from the area of representation theory of the infinite symmetric group, we view Ewens-Pitman's partition structure as an example of a non-extreme harmonic function on a branching graph, specifically, the Kingman graph. Taking this perspective enables us to obtain combinatorial and algebraic constructions of this distribution using the interpolation polynomial approach proposed by Borodin and Olshanski (The Electronic Journal of Combinatorics, 7, 2000). We provide a new explicit representation of Ewens-Pitman's partition structure using modern umbral interpolation based on Sheffer polynomial sequences. In addition, we show that a certain type of marginals of this distribution can be computed using weighted row sums of a Riordan array. In this way, we show that some summary statistics and estimators derived from Ewens-Pitman's partition structure can be obtained using methods of generating functions. This approach simplifies otherwise cumbersome calculations of these quantities often involving various special combinatorial functions. In addition, it has the added benefit of being amenable to symbolic computation.
Positivity of generalized cluster scattering diagrams
We introduce a new class of combinatorial objects, named tight gradings, which are certain nonnegative integer-valued functions on maximal Dyck paths. Using tight gradings, we derive a manifestly positive formula for any wall-function in a rank-2 generalized cluster scattering diagram. We further prove that any consistent rank-2 scattering diagram is positive with respect to the coefficients of initial wall-functions. Moreover, our formula yields explicit expressions for relative Gromov-Witten invariants on weighted projective planes and the Euler characteristics of moduli spaces of framed stable representations on complete bipartite quivers. Finally, by leveraging the rank-2 positivity, we show that any higher-rank generalized cluster scattering diagram has positive wall-functions, which leads to a proof of the positivity of the Laurent phenomenon and the strong positivity of Chekhov-Shapiro's generalized cluster algebras.
Cell closures for two-row Springer fibers via noncrossing matchings
Published
• View Publication
• BIB
Springer fibers are a family of subvarieties of the flag variety parametrized by nilpotent matrices that are important in geometric representation theory and whose geometry encodes deep combinatorics. Two-row Springer fibers, which correspond to nilpotent matrices with two Jordan blocks, also arise in knot theory, in part because their components are indexed by noncrossing matchings. Springer fibers are paved by affines by intersection with appropriately-chosen Schubert cells. In the two-row case, we provide an elementary description of these Springer Schubert cells in terms of standard noncrossing matchings and describe closure relations explicitly. To do this, we define an operation called cutting arcs in a matching, which successively unnests arcs while ``remembering" the arc originally on top. We then prove that the boundary of the Springer Schubert cell corresponding to a matching consists of the affine subsets of cells corresponding to all ways of cutting arcs in that matching.
The Likelihood Correspondence
Published
• View Publication
• BIB
An arrangement of hypersurfaces in projective space is strict normal crossing (SNC) if and only if its Euler discriminant is nonzero. We study the critical loci of arbitrary Laurent monomials in the equations of the smooth hypersurfaces. The family of these loci forms an irreducible variety in the product of two projective spaces, known in algebraic statistics as the likelihood correspondence and in particle physics as the scattering correspondence. We establish an explicit determinantal representation for the minimal generators of the bihomogeneous prime ideal that defines this variety.
Statistics for random representations of Lie algebras
In this paper we investigate how a typical, large-dimensional representation looks for a complex Lie algebra. In particular, we study the family $\mathfrak{sl}_{r+1}(\mathbb{C})$ of Lie algebras for $r \geq 2$ and derive asymptotic probability distributions for the multiplicity of small irreducible representations, as well as the largest dimension, the largest height, and the total number of irreducible representations appearing in the decomposition of a representation sampled uniformly from all representations with the same dimension. This provides a natural generalization to the similar statistical studies of integer partitions, which forms the case $r=1$ of our considerations and where one has a rich toolkit ranging from combinatorial methods to approaches utilizing the theory of modular forms. We perform our analysis by extending the statistical mechanics inspired approaches in the case of partitions to the infinite family here.