representation ↗ reference
4053 papers tagged with this keyword
On $p$-adic valuations of certain $m$ colored $p$-ary partition functions
Let $k\in\N_{\geq 2}$ and for given $m\in\Z\setminus\{0\}$ consider the sequence $(S_{k,m}(n))_{n\in\N}$ defined by the power series expansion $$ \frac{1}{(1-x)^{m}}\prod_{i=0}^{\infty}\frac{1}{(1-x^{k^{i}})^{m}}=\sum_{n=0}^{\infty}S_{k,m}(n)x^{n}. $$ The number $S_{k,m}(n)$ for $m\in\N_{+}$ has a natural combinatorial interpretation: it counts the number of representations of $n$ as sums of powers of $k$, where the part equal to $1$ takes one among $mk$ colors and each part $>1$ takes $m(k-1)$ colors. We concentrate on the case when $k=p\in\mathbb{P}$. Our main result is the computation of the exact value of the $p$-adic valuation of $S_{p,m}(n)$. In particular, in each case the set of values of $ν_{p}(S_{p,m}(n))$ is finite and the maximum value is bounded by $\op{max}\{ν_{p}(m)+1,ν_{p}(m+1)+1\}$. Our results can be seen as a generalization of earlier work of Churchhouse and recent work of Gawron, Miska and Ulas, and the present authors.
Protection numbers in simply generated trees and Pólya trees
We determine the limit of the expected value and the variance of the protection number of the root in simply generated trees, in Pólya trees, and in unlabelled non-plane binary trees, when the number of vertices tends to infinity. Moreover, we compute expectation and variance of the protection number of a randomly chosen vertex in all those tree classes. We obtain exact formulas as sum representations, where the obtained sums are rapidly converging and therefore allowing an efficient numerical computation of high accuracy. Most proofs are based on a singularity analysis of generating functions.
Optimal Communication Rates and Combinatorial Properties for Common Randomness Generation
Published
• View Publication
• BIB
We study common randomness generation problems where $n$ players aim to generate same sequences of random coin flips where some subsets of the players share an independent common coin which can be tossed multiple times, and there is a publicly seen blackboard through which the players communicate with each other. We provide a tight representation of the optimal communication rates via linear programming, and more importantly, propose explicit algorithms for the optimal distributed simulation for a wide class of hypergraphs. In particular, the optimal communication rate in complete hypergraphs is still achievable in sparser hypergraphs containing a path-connected cycle-free cluster of topologically connected components. Some key steps in analyzing the upper bounds rely on two different definitions of connectivity in hypergraphs, which may be of independent interest.
Minuscule reverse plane partitions via quiver representations
The Hillman--Grassl correspondence is a well-known bijection between multisets of rim hooks of a partition shape $λ$ and reverse plane partitions of $λ$. We use the tools of quiver representations to generalize Hillman--Grassl in type $A$ and to define an analogue in all minuscule types. This is an extended abstract prepared for FPSAC 2019 based on arXiv:1812.08345, emphasizing its combinatorial aspects.
Reconstructing phylogenetic trees from multipartite quartet systems
Published
• View Publication
• BIB
A phylogenetic tree is a graphical representation of an evolutionary history of taxa in which the leaves correspond to the taxa and the non-leaves correspond to speciations. One of important problems in phylogenetic analysis is to assemble a global phylogenetic tree from small phylogenetic trees, particularly, quartet trees. {\sc Quartet Compatibility} is the problem of deciding whether there is a phylogenetic tree inducing a given collection of quartet trees, and to construct such a phylogenetic tree if it exists. It is known that {\sc Quartet Compatibility} is NP-hard and that there are only a few results known for polynomial-time solvable subclasses. In this paper, we introduce two novel classes of quartet systems, called complete multipartite quartet system and full multipartite quartet system, and present polynomial-time algorithms for {\sc Quartet Compatibility} for these systems.
Asymmetric function theory
Published
• View Publication
• BIB
The classical theory of symmetric functions has a central position in algebraic combinatorics, bridging aspects of representation theory, combinatorics, and enumerative geometry. More recently, this theory has been fruitfully extended to the larger ring of quasisymmetric functions, with corresponding applications. Here, we survey recent work extending this theory further to general asymmetric polynomials.
Some exact solutions of the Volterra lattice
Published in Theoret. Math. Phys. 201:1 (2019) 1442-1456
• View Publication
• BIB
We study solutions of the Volterra lattice satisfying the stationary equation for its non-autonomous symmetry. It is shown that the dynamics in $t$ and $n$ are governed by the continuous and discrete Painlevé equations, respectively. The class of initial data leading to regular solutions is described. For the lattice on the half-line, these solutions are expressed in terms of the confluent hypergeometric function. The Hankel transform of the coefficients of the corresponding Taylor series is computed on the basis of the Wronskian representation of the solution.
The Multiset Partition Algebra
We introduce the multiset partition algebra $\mathcal{MP}_k(ξ)$ over $F[ξ]$, where $F$ is a field of characteristic $0$ and $k$ is a positive integer. When $ξ$ is specialized to a positive integer $n$, we establish the Schur-Weyl duality between the actions of resulting algebra $\mathcal{MP}_k(n)$ and the symmetric group $S_n$ on $\text{Sym}^k(F^n)$. The construction of $\mathcal{MP}_k(ξ)$ generalizes to any vector $λ$ of non-negative integers yielding the algebra $\mathcal{MP}_λ(ξ)$ over $F[ξ]$ so that there is Schur-Weyl duality between the actions of $\mathcal{MP}_λ(n)$ and $S_n$ on $\text{Sym}^λ(F^n)$. We find the generating function for the multiplicity of each irreducible representation of $S_n$ in $\text{Sym}^λ(F^n)$, as $λ$ varies, in terms of a plethysm of Schur functions. As consequences we obtain an indexing set for the irreducible representations of $\mathcal{MP}_k(n)$, and the generating function for the multiplicity of an irreducible polynomial representation of $GL_n(F)$ when restricted to $S_n$. We show that $\mathcal{MP}_λ(ξ)$ embeds inside the partition algebra $\mathcal{P}_{|λ|}(ξ)$. Using this embedding, over $F$, we prove that $\mathcal{MP}_λ(ξ)$ is a cellular algebra, and $\mathcal{MP}_λ(ξ)$ is semisimple when $ξ$ is not an integer or $ξ$ is an integer such that $ξ\geq 2|λ|-1$. We give an insertion algorithm based on Robinson-Schensted-Knuth correspondence realizing the decomposition of $\mathcal{MP}_λ(n)$ as $\mathcal{MP}_λ(n)\times \mathcal{MP}_λ(n)$-module.
Adaptive Majority Problems for Restricted Query Graphs and for Weighted Sets
Suppose that the vertices of a graph $G$ are colored with two colors in an unknown way. The color that occurs on more than half of the vertices is called the majority color (if it exists), and any vertex of this color is called a majority vertex. We study the problem of finding a majority vertex (or show that none exists) if we can query edges to learn whether their endpoints have the same or different colors. Denote the least number of queries needed in the worst case by $m(G)$. It was shown by Saks and Werman that $m(K_n)=n-b(n)$, where $b(n)$ is the number of 1's in the binary representation of $n$.
In this paper, we initiate the study of the problem for general graphs. The obvious bounds for a connected graph $G$ on $n$ vertices are $n-b(n)\le m(G)\le n-1$. We show that for any tree $T$ on an even number of vertices we have $m(T)=n-1$ and that for any tree $T$ on an odd number of vertices, we have $n-65\le m(T)\le n-2$. Our proof uses results about the weighted version of the problem for $K_n$, which may be of independent interest. We also exhibit a sequence $G_n$ of graphs with $m(G_n)=n-b(n)$ such that $G_n$ has $O(nb(n))$ edges and $n$ vertices.
On the asymptotics of the rescaled Appell polynomials
Published in Advances in Applied Mathematics 113 (2020) 101962
• View Publication
• BIB
We introduce a new representation for the rescaled Appell polynomials and use it to obtain asymptotic expansions to arbitrary order. This representation consists of a finite sum and an integral over a universal contour (i.e. independent of the particular polynomials considered within the Appell family). We illustrate our method by studying the zero attractors for rescaled Appell polynomials. We also discuss the asymptotics to arbitrary order of the rescaled Bernoulli polynomials.
Symmetric functions in superspace: a compendium of results and open problems (including a SageMath worksheet)
We present a review of the most important results in the theory of symmetric functions in superspace (or symmetric superpolynomials), summarizing all principal contributions since its introduction in 2001 in the context of the supersymmetric Calogero-Moser-Sutherland integrable model. We also mention some open problems which remain unanswered at this moment, in particular the connection with representation theory. In addition, we provide a free open access source code, relying on SageMath library, that can be used as a research tool for symmetric superpolynomials. The content is directed to an audience new to this research area, but who is familiar with the classical theory of symmetric functions.
Gelfand-Tsetlin polytopes: a story of flow and order polytopes
Published
• View Publication
• BIB
Gelfand-Tsetlin polytopes are prominent objects in algebraic combinatorics. The number of integer points of the Gelfand-Tsetlin polytope $\mathrm{GT}(λ)$ is equal to the dimension of the corresponding irreducible representation of $GL(n)$. It is well-known that the Gelfand-Tsetlin polytope is a marked order polytope; the authors have recently shown it to be a flow polytope. In this paper, we draw corollaries from this result and establish a general theory connecting marked order polytopes and flow polytopes.
Kronecker positivity and 2-modular representation theory
This paper consists of two prongs. Firstly, we prove that any Specht module labelled by a 2-separated partition is semisimple and we completely determine its decomposition as a direct sum of graded simple modules. Secondly, we apply these results and other modular representation theoretic techniques on the study of Kronecker coefficients and hence verify Saxl's conjecture for a large new class of partitions.
Structural properties of non-crossing partitions from algebraic and geometric perspectives
Published
• View Publication
• BIB
The present thesis studies structural properties of non-crossing partitions associated to finite Coxeter groups from both algebraic and geometric perspectives. On the one hand, non-crossing partitions are lattices, and on the other hand, we can view them as simplicial complexes by considering their order complexes. We make use of these different interpretations and their interactions in various ways.
The order complexes of non-crossing partitions have a rich geometric structure, which we investigate in this thesis. In particular, we interpret them as subcomplexes of spherical buildings. From a more algebraic viewpoint, we study automorphisms and anti-automorphisms of non-crossing partitions and their relation to building automorphisms. We also compute the automorphism groups of non-crossing partitions of type $B$ and $D$, provided that $n \neq 4$ for type $D$. For this, we introduce a new pictorial representation for type $D$.
In type $A$ we study the structural properties of the order complex of the non-crossing partitions in more detail. In particular, we investigate the interaction of chamber distances and convex hulls in the non-crossing partition complex and the ambient spherical building. These questions are connected to the curvature conjecture of Brady and McCammond.
Stability of Critical p-Improper Interval Graphs
Published in Congressus Numerantium, 2017, Volume 228
• Search Publication
A $p$-improper interval graph is an interval graph that has an interval representation in which no interval contains more than $p$ other intervals. A critical $p$-improper interval graph is $p-1$ improper when any vertex is removed. In this paper we investigate the spectrum of impropriety of critical $p$-improper interval graphs upon the removal of a single vertex, which is informally known as the stability of the graph.
Schubert polynomials as projections of Minkowski sums of Gelfand-Tsetlin polytopes
Published
• View Publication
• BIB
Gelfand-Tsetlin polytopes are classical objects in algebraic combinatorics arising in the representation theory of $\mathfrak{gl}_n(\mathbb{C})$. The integer point transform of the Gelfand-Tsetlin polytope $\mathrm{GT}(λ)$ projects to the Schur function $s_λ$. Schur functions form a distinguished basis of the ring of symmetric functions; they are also special cases of Schubert polynomials $\mathfrak{S}_{w}$ corresponding to Grassmannian permutations.
For any permutation $w \in S_n$ with column-convex Rothe diagram, we construct a polytope $\mathcal{P}_{w}$ whose integer point transform projects to the Schubert polynomial $\mathfrak{S}_{w}$. Such a construction has been sought after at least since the construction of twisted cubes by Grossberg and Karshon in 1994, whose integer point transforms project to Schubert polynomials $\mathfrak{S}_{w}$ for all $w \in S_n$. However, twisted cubes are not honest polytopes; rather one can think of them as signed polytopal complexes. Our polytope $\mathcal{P}_{w}$ is a convex polytope. We also show that $\mathcal{P}_{w}$ is a Minkowski sum of Gelfand-Tsetlin polytopes of varying sizes. When the permutation $w$ is Grassmannian, the Gelfand-Tsetlin polytope is recovered. We conclude by showing that the Gelfand-Tsetlin polytope is a flow polytope.
Candidate for the crystal $B(-\infty)$ for the queer Lie superalgebra
Published in Kyoto J. Math. 62, no. 2 (2022), 377-401
• View Publication
• BIB
It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovered from the limit in most cases.
Complexity of packing common bases in matroids
One of the most intriguing unsolved questions of matroid optimization is the characterization of the existence of $k$ disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases, such as Woodall's conjecture on packing disjoint dijoins in a directed graph, or Rota's beautiful conjecture on rearrangements of bases.
In the present paper we prove that the problem is difficult under the rank oracle model, i.e., we show that there is no algorithm which decides if the common ground set of two matroids can be partitioned into $k$ common bases by using a polynomial number of independence queries. Our complexity result holds even for the very special case when $k=2$.
Through a series of reductions, we also show that the abstract problem of packing common bases in two matroids includes the NAE-SAT problem and the Perfect Even Factor problem in directed graphs. These results in turn imply that the problem is not only difficult in the independence oracle model but also includes NP-complete special cases already when $k=2$, one of the matroids is a partition matroid, while the other matroid is linear and is given by an explicit representation.
On finite width questionable representations of orders
In this article, we study "questionable representations" of (partial or total) orders, introduced in our previous article "A class of orders with linear? time sorting algorithm". (Later, we consider arbitrary binary functional/relational structures instead of orders.) A "question" is the first difference between two sequences (with ordinal index) of elements of orders/sets. In finite width "questionable representations" of an order O, comparison can be solved by looking at the "question" that compares elements of a finite order O'. A corollary of a theorem by Cantor (1895)is that all countable total orders have a binary (width 2) questionable representation. We find new classes of orders on which testing isomorphism or counting the number of linear extensions can be done in polynomial time. We also present a generalization of questionable-width, called balanced tree-questionable-width, and show that if a class of binary structures has bounded tree-width or clique-width, then it has bounded balanced tree-questionable-width. But there are classes of graphs of bounded balanced tree-questionable-width and unbounded tree-width or clique-width.
Some Weighted Generalized Fibonacci Number Summation Identities, Part 1
The Fibonacci number is the residue of a rational function, from which follows that Fibonacci number summation identities can be derived with the integral representation method, a method also used to derive combinatorial identities. A number of weighted generalized Fibonacci number summation identities are derived this way. From these identities some infinite series, generating functions and convolution identities are obtained. In addition, some weighted generalized Fibonacci number summation identities with binomial coefficients are derived. Many examples of both types of summation identities are provided.