representation ↗ reference
4053 papers tagged with this keyword
Some Generalized Multi-sum Chu-Vandermonde Identities
Some generalized multi-sum Chu-Vandermonde identities are presented and proved, generalizing some known multi-sum Chu-Vandermonde identities from literature and adding some quadratic and cubic examples of these identities. Some other closely related identities are provided. The identities are proved with the integral representation method using complex residues, a method also used in some earlier papers.
The canonical complex of the weak order
Published in Order, 40:349-370, 2023
• View Publication
• BIB
We define and study the canonical complex of a finite semidistributive lattice $L$. It is the simplicial complex on the join or meet irreducible elements of $L$ which encodes each interval of $L$ by recording the canonical join representation of its bottom element and the canonical meet representation of its top element. This complex behaves properly with respect to lattice quotients of $L$, in the sense that the canonical complex of a quotient of $L$ is the subcomplex of the canonical complex of $L$ induced by the join or meet irreducibles of $L$ uncontracted in the quotient. We then describe combinatorially the canonical complex of the weak order on permutations in terms of semi-crossing arc bidiagrams, formed by the superimposition of two non-crossing arc diagrams of N. Reading. We provide explicit direct bijections between the semi-crossing arc bidiagrams and the weak order interval posets of G. Châtel, V. Pilaud and V. Pons. Finally, we provide an algorithm to describe the Kreweras maps in any lattice quotient of the weak order in terms of semi-crossing arc bidiagrams.
An introduction to relative Calabi-Yau structures
Published
• View Publication
• BIB
These are notes taken by the second author for a series of three lectures by the first author on absolute and relative Calabi-Yau completions and Calabi-Yau structures given at the workshop of the International Conference on Representations of Algebras which was held online in November 2020. Such structures are relevant for (higher) representation theory as well as for the categorification of cluster algebras with coefficients. After a quick reminder on dg categories and their Hochschild and cyclic homologies, we present examples of absolute and relative Calabi-Yau completions (in the sense of Yeung). In many examples, these are related to higher preprojective algebras in the sense of Iyama-Oppermann. We conclude with the definition of relative (left and right) Calabi-Yau structures after Brav-Dyckerhoff.
Sandpile groups of supersingular isogeny graphs
Published
• View Publication
• BIB
Let $p$ and $q$ be distinct primes, and let $X_{p,q}$ be the $(q+1)$-regular graph whose nodes are supersingular elliptic curves over $\overline{\mathbb{F}}_p$ and whose edges are $q$-isogenies. For fixed $p$, we compute the distribution of the $\ell$-Sylow subgroup of the sandpile group (i.e.\ Jacobian) of $X_{p,q}$ as $q \to \infty$. We find that the distribution disagrees with the Cohen-Lenstra heuristic in this context. Our proof is via Galois representations attached to modular curves. As a corollary of our result, we give an upper bound on the probability that the Jacobian is cyclic, which we conjecture to be sharp.
A lattice structure for ancestral configurations arising from the relationship between gene trees and species trees
Published
• View Publication
• BIB
To a given gene tree topology $G$ and species tree topology $S$ with leaves labeled bijectively from a fixed set $X$, one can associate a set of ancestral configurations, each of which encodes a set of gene lineages that can be found at a given node of the species tree. We introduce a lattice structure on ancestral configurations, studying the directed graphs that provide graphical representations of lattices of ancestral configurations. For a matching gene tree topology and species tree topology $G=S$, we present a method for defining the digraph of ancestral configurations from the tree topology by using iterated cartesian products of graphs. We show that a specific set of paths on the digraph of ancestral configurations is in bijection with the set of labeled histories -- a well-known phylogenetic object that enumerates possible temporal orderings of the coalescences of a tree. For each of a series of tree families, we obtain closed-form expressions for the number of labeled histories by using this bijection to count paths on associated digraphs. Finally, we prove that our lattice construction extends to nonmatching tree pairs, and we use it to characterize pairs $(G,S)$ having the maximal number of ancestral configurations for a fixed $G$. We discuss how the construction provides new methods for performing enumerations of combinatorial aspects of gene and species trees.
On the action of the long cycle on the Kazhdan-Lusztig basis
The complex irreducible representations of the symmetric group carry an important canonical basis called the Kazhdan-Lusztig basis. Although it is difficult to express how general permutations act on this basis, some distinguished permutations have beautiful descriptions. In 2010 Rhoades showed that the long cycle $(1, 2,..., n)$ acts by the jeu-de-taquin promotion operator in the case when the irreducible representation is indexed by a rectangular partition. We prove a generalisation of this theorem in two directions: on the one hand we lift the restriction on the shape of the partition, and on the other hand we enlarge the result to the collection of all separable permutations.
Application of Lagrange inversion to wall-crossing for Quot schemes on surfaces
Published
• View Publication
• BIB
Motivated by my work on enumerative invariants for Quot schemes, I related two power series obtained by two different means. One of them was computed using geometric arguments via virtual localization methods and the other one came from working with representation theoretic objects called vertex algebras. In this note, I give proof of the equality of the two power series by relying only on techniques related to Lagrange inversion. This makes my work on Quot schemes independent of the previous results in the literature and proves a new combinatorial identity.
On the representation of the natural numbers by powers of the golden mean
Published
• View Publication
• BIB
In a base phi representation a natural number is written as a sum of powers of the golden mean $\varphi$. There are many ways to do this. Well known is the standard representation, introduced by George Bergman in 1957, where a unique representation is obtained by requiring that no consecutive powers $\varphi^n$ and $\varphi^{n+1}$ do occur in the representation. In this paper we introduce a new representation by allowing that the powers $\varphi^0$ and $\varphi^1$ may occur at the same time, but no other consecutive powers. We then argue that this representation is much closer to the classical representation of the natural numbers by powers of an integer than Bergman's standard representation.
Recognizing Series-Parallel Matrices in Linear Time
Published
• View Publication
• BIB
A series-parallel matrix is a binary matrix that can be obtained from an empty matrix by successively adjoining rows or columns that are parallel to an existing row/column or have at most one 1-entry. Equivalently, series-parallel matrices are representation matrices of graphic matroids of series-parallel graphs, which can be recognized in linear time. We propose an algorithm that, for an m-by-n matrix A with k nonzeros, determines in expected $\mathcal{O}(m + n + k)$ time whether A is series-parallel, or returns a minimal non-series-parallel submatrix of A. We complement the developed algorithm by an efficient implementation and report about computational results.
Geometric nature of relations on plabic graphs and totally non-negative Grassmannians
Published
• View Publication
• BIB
The standard parametrization of totally non-negative Grassmannians was obtained by A. Postnikov [45] introducing the boundary measurement map in terms of discrete path integration on planar bicolored (plabic) graphs in the disk. An alternative parametrization was proposed by T. Lam [38] introducing systems of relations on vectors on such graphs, depending on some signatures defined on edges. The problem of characterizing the signatures corresponding to the totally non-negative cells, was left open in [38]. In our paper we provide an explicit construction of such signatures, satisfying both the full rank condition and the total non-negativity property on the full positroid cell. If the graph $\mathcal G$ satisfies the following natural constraint: each edge belongs to some oriented path from the boundary to the boundary, then such signature is unique up to a vertex gauge transformation. Such signature is uniquely identified by geometric indices (local winding and intersection number) ruled by the orientation $\mathcal O$ and gauge ray direction $\mathfrak l$ on $\mathcal G$. Moreover, we provide a combinatorial representation of geometric signatures by showing that the total signature of every finite face just depends on the number of white vertices on it. The latter characterization is a Kasteleyn-type property [7,1] and we conjecture a mechanical-statistical interpretation of such relations. An explicit connection between the solution of Lam system of relations and the value of Postnikov boundary measurement map is established using the generalization of Talaska formula [50] obtained in [6]. In particular, the components of the edge vectors are rational in the edge weights with subtraction-free denominators. Finally, we provide explicit formulas for transformations of signatures under Postnikov moves and reductions, and amalgamations of networks.
Improved lower bound on the on-line chain partitioning of semi-orders with representation
An on-line chain partitioning algorithm receives a poset, one element at a time, and irrevocably assigns the element to one of the chains in the partition. The on-line chain partitioning problem involves finding the minimal number of chains needed by an optimal on-line algorithm. Chrobak and Ślusarek considered variants of the on-line chain partitioning problem in which the elements are presented as intervals and intersecting intervals are incomparable. They constructed an on-line algorithm which uses at most $3w-2$ chains, where $w$ is the width of the interval order, and showed that this algorithm is optimal. They also considered the problem restricted to intervals of unit-length and while they showed that first-fit needs at most $2w-1$ chains, over $30$ years later, it remains unknown whether a more optimal algorithm exists. In this paper, we improve upon previously known bounds and show that any on-line algorithm can be forced to use $\lceil\frac{3}{2}w\rceil$ chains to partition a semi-order presented in the form of its unit-interval representation. As a consequence, we completely solve the problem for $w=3$.
The Gessel Correspondence and the Partial $γ$-Positivity of the Eulerian Polynomials on Multiset Stirling Permutations
Published
• View Publication
• BIB
Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of
the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling permutations, as long as we bear in mind the combinatorial meanings of the labels $x$ and $y$ in the Gessel representation of a $k$-Stirling permutation by means of an increasing $(k+1)$-ary tree. More precisely, we introduce a Foata-Strehl action on the Gessel trees resulting in an interpretation of the partial $γ$-coefficients of the aforementioned Eulerian polynomials, different from the ones found by Lin-Ma-Zhang and Yan-Huang-Yang. In particular, our strategy can be adapted to deal with the partial $γ$-coefficients of the second order Eulerian polynomials, which in turn can be readily converted to the combinatorial formulation due to Ma-Ma-Yeh in connection with certain statistics of Stirling permutations.
The Shortest Even Cycle Problem is Tractable
Given a directed graph, we show how to efficiently find a shortest (directed, simple) cycle on an even number of vertices. As far as we know, no polynomial-time algorithm was previously known for this problem. In fact, finding any even cycle in a directed graph in polynomial time was open for more than two decades until Robertson, Seymour, and Thomas (Ann. of Math. (2) 1999) and, independently, McCuaig (Electron. J. Combin. 2004; announced jointly at STOC 1997) gave an efficiently testable structural characterisation of even-cycle-free directed graphs.
Methodologically, our algorithm relies on algebraic fingerprinting and randomized polynomial identity testing over a finite field, and uses a generating polynomial implicit in Vazirani and Yannakakis ( Discrete Appl. Math. 1989) that enumerates weighted cycle covers as a difference of a permanent and a determinant polynomial. The need to work with the permanent is where our main technical contribution occurs. We design a family of finite commutative rings of characteristic 4 that simultaneously (i) give a nondegenerate representation for the generating polynomial identity via the permanent and the determinant, (ii) support efficient permanent computations, and (iii) enable emulation of finite-field arithmetic in characteristic 2. Here our work is foreshadowed by that of Björklund and Husfeldt (SIAM J. Comput. 2019), who used a considerably less efficient ring design to obtain a polynomial-time algorithm for the shortest two disjoint paths problem.
Building on work of Gilbert and Tarjan (Numer. Math. 1978) as well as Alon and Yuster (J. ACM 2013), we also show how ideas from the nested dissection technique for solving linear equation systems leads to faster algorithm designs when we have control on the separator structure of the input graph; for example, this happens when the input has bounded genus.
Hopf structures in the representation theory of direct products
Published
• View Publication
• BIB
Combinatorial Hopf algebras give a linear algebraic structure to infinite families of combinatorial objects, a technique further enriched by the categorification of these structure via the representation theory of families of algebras. This paper examines a fundamental construction in group theory, the direct product, and how it can be used to build representation theoretic Hopf algebras out of towers of groups. A key special case gives us the noncommutative symmetric functions NSym, but there are many things that we can say for the general Hopf algebras, including the structure of their character groups and a formula for the antipode.
Positivity of Gibbs states on distance-regular graphs
Published
• View Publication
• BIB
We study criteria which ensure that Gibbs states (often also called generalized vacuum states) on distance-regular graphs are positive. Our main criterion assumes that the graph can be embedded into a growing family of distance-regular graphs. For the proof of the positivity we then use polynomial hypergroup theory and translate this positivity into the problem whether for $x\in[-1,1]$ the function $n\mapsto x^n$ has a positive integral representation w.r.t. the orthogonal polynomials associated with the graph. We apply our criteria to several examples. For Hamming graphs and the infinite distance-transitive graphs we obtain a complete description of the positive Gibbs states.
Totally $2$-closed finite groups with trivial Fitting subgroup
Published
• View Publication
• BIB
A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory.
Computational Aspects of Problems on Visibility and Disk Graph Representations
This thesis focuses on two concepts which are widely studied in the field of computational geometry. Namely, visibility and unit disk graphs. In the field of visibility, we have studied the conflict-free chromatic guarding of polygons, for which we have described a polynomial-time algorithm that uses $O(n \log^2 n)$ colors to guard a polygon in a conflict-free setting, and proper coloring of polygon visibility graphs, for which we have described an algorithm that returns a proper 4-coloring for a simple polygon. Besides, we have shown that the 5-colorability problem is NP-complete on visibility graphs of simple polygons, and 4-colorability is NP-complete on visibility graphs of polygons with holes.
Then, we move further with the notion of visibility, and define a graph class which considers the real-world limitations for the applications of visibility graphs. That is, no physical object has infinite range, and two objects might not be mutually visible from a certain distance although there are no obstacles in-between. To model this property, we introduce unit disk visibility graphs, and show that the 3-colorability problem is NP-complete for unit disk visibility graphs of a set of line segments, and a polygon with holes.
After bridging the gap between the visibility and the unit disk graphs, we then present our results on the recognition of unit disk graphs in a restricted setting -- axes-parallel unit disk graphs. We show that the recognition of unit disk graphs is NP-complete when the disks are centered on pre-given parallel lines. If, on the other hand, the lines are not parallel to one another, the recognition problem is NP-hard even though the pre-given lines are axes-parallel (i.e. any pair is either parallel or perpendicular).
Normalized characters of symmetric groups and Boolean cumulants via Khovanov's Heisenberg category
Published in Journal of Combinatorial Theory, Series A Volume 196, May 2023, 105735
• View Publication
• BIB
In this paper, we study relationships between the normalized characters of symmetric groups and the Boolean cumulants of Young diagrams. Specifically, we show that each normalized character is a polynomial of twisted Boolean cumulants with coefficients being non-negative integers, and conversely, that, when we expand a Boolean cumulant in terms of normalized characters, the coefficients are again non-negative integers. The main tool is Khovanov's Heisenberg category and the recently established connection of its center to the ring of functions on Young diagrams, which enables one to apply graphical manipulations to the computation of functions on Young diagrams. Therefore, this paper is an attempt to deepen the connection between the asymptotic representation theory and graphical categorification.
Dimension bounds on classes of interval orders with restricted representation
In general, representations of interval orders may use an arbitrary set of interval lengths. We can define subclasses of interval orders by restricting the allowable lengths of intervals. Motivated by a recent paper of Keller, Trenk, and Young, we study the dimension of posets in some of these subclasses. Among other results, we answer several of their questions, and we simplify the proof of one of their main results.
Towards a Combinatorial Model for $q$-weight Multiplicities of Simple Lie Algebras (Extended Abstract)
Kostka-Foulkes polynomials are Lusztig's $q$-analogues of weight multiplicities for irreducible representations of semisimple Lie algebras. It has long been known that these polynomials have non-negative coefficients. A statistic on semistandard Young tableaux with partition content, called \textit{charge}, was used to give a combinatorial formula exhibiting this fact in type $A$. Defining a charge statistic beyond type $A$ has been a long-standing problem. Here, we take a completely new approach based on the definition of Kostka-Foulkes polynomials as an alternating sum over Kostant partitions, which can be thought of as formal sums of positive roots. We use a sign-reversing involution to obtain a positive expansion, in which the relevant statistic is simply the number of parts in the Kostant partitions. The hope is that the simplicity of this new crystal-like model will naturally extend to other classical types.