polynomial
11432 papers tagged with this keyword
An orthodontia formula for Grothendieck polynomials
We give a new operator formula for Grothendieck polynomials that generalizes Magyar's Demazure operator formula for Schubert polynomials. Our proofs are purely combinatorial, contrasting with the geometric and representation theoretic tools used by Magyar. We apply our formula to prove a necessary divisibility condition for a monomial to appear in a given Grothendieck polynomial.
Finitary affine oriented matroids
Published
• View Publication
• BIB
We initiate the axiomatic study of affine oriented matroids (AOMs) on arbitrary ground sets, obtaining fundamental notions such as minors, reorientations and a natural embedding into the frame work of Complexes of Oriented Matroids. The restriction to the finitary case (FAOMs) allows us to study tope graphs and covector posets, as well as to view FAOMs as oriented finitary semimatroids. We show shellability of FAOMs and single out the FAOMs that are affinely homeomorphic to $\mathbb{R}^n$. Finally, we study group actions on AOMs, whose quotients in the case of FAOMs are a stepping stone towards a general theory of affine and toric pseudoarrangements. Our results include applications of the multiplicity Tutte polynomial of group actions of semimatroids, generalizing enumerative properties of toric arrangements to a combinatorially defined class of arrangements of submanifolds. This answers partially a question by Ehrenborg and Readdy.
Combinatorial perspectives on Dollo-$k$ characters in phylogenetics
Published
• View Publication
• BIB
Recently, the perfect phylogeny model with persistent characters has attracted great attention in the literature. It is based on the assumption that complex traits or characters can only be gained once and lost once in the course of evolution. Here, we consider a generalization of this model, namely Dollo parsimony, that allows for multiple character losses. More precisely, we take a combinatorial perspective on the notion of Dollo-$k$ characters, i.e. traits that are gained at most once and lost precisely $k$ times throughout evolution. We first introduce an algorithm based on the notion of spanning subtrees for finding a Dollo-$k$ labeling for a given character and a given tree in linear time. We then compare persistent characters (consisting of the union of Dollo-0 and Dollo-1 characters) and general Dollo-$k$ characters. While it is known that there is a strong connection between Fitch parsimony and persistent characters, we show that Dollo parsimony and Fitch parsimony are in general very different. Moreover, while it is known that there is a direct relationship between the number of persistent characters and the Sackin index of a tree, a popular index of tree balance, we show that this relationship does not generalize to Dollo-$k$ characters. In fact, determining the number of Dollo-$k$ characters for a given tree is much more involved than counting persistent characters, and we end this manuscript by introducing a recursive approach for the former. This approach leads to a polynomial time algorithm for counting the number of Dollo-$k$ characters, and both this algorithm as well as the algorithm for computing Dollo-$k$ labelings are publicly available in the Babel package for BEAST 2.
Near-linear-time, Optimal Vertex Cut Sparsifiers in Directed Acyclic Graphs
Let $G$ be a graph and $S, T \subseteq V(G)$ be (possibly overlapping) sets of terminals, $|S|=|T|=k$. We are interested in computing a vertex sparsifier for terminal cuts in $G$, i.e., a graph $H$ on a smallest possible number of vertices, where $S \cup T \subseteq V(H)$ and such that for every $A \subseteq S$ and $B \subseteq T$ the size of a minimum $(A,B)$-vertex cut is the same in $G$ as in $H$. We assume that our graphs are unweighted and that terminals may be part of the min-cut. In previous work, Kratsch and Wahlström (FOCS 2012/JACM 2020) used connections to matroid theory to show that a vertex sparsifier $H$ with $O(k^3)$ vertices can be computed in randomized polynomial time, even for arbitrary digraphs $G$. However, since then, no improvements on the size $O(k^3)$ have been shown.
In this paper, we draw inspiration from the renowned Bollobás's Two-Families Theorem in extremal combinatorics and introduce the use of total orderings into Kratsch and Wahlström's methods. This new perspective allows us to construct a sparsifier $H$ of $Θ(k^2)$ vertices for the case that $G$ is a DAG. We also show how to compute $H$ in time near-linear in the size of $G$, improving on the previous $O(n^{ω+1})$. Furthermore, $H$ recovers the closest min-cut in $G$ for every partition $(A,B)$, which was not previously known. Finally, we show that a sparsifier of size $Ω(k^2)$ is required, both for DAGs and for undirected edge cuts.
Set-valued domino tableaux and shifted set-valued domino tableaux
Published
• View Publication
• BIB
We prove K-theoretic and shifted K-theoretic analogues of the bijection of Stanton and White between domino tableaux and pairs of semistandard tableaux. As a result, we obtain product formulas for pairs of stable Grothendieck polynomials and pairs of K-theoretic Q-Schur functions.
Gorenstein Fano toric degenerations
We propose a refined but natural notion of toric degenerations that respect a given embedding and show that within this framework a Gorenstein Fano variety can only be degenerated to a Gorenstein Fano toric variety if it is embedded via its anticanonical embedding. This also gives a precise criterion for reflexive polytopes to appear, which might be required for applications in mirror symmetry. For the proof of this statement we will study polytopes whose polar dual is a lattice polytope. As a byproduct we generalize a connection between the number of lattice points in a rational convex polytope and the Euler characteristic of an associated torus invariant rational Weil divisor, allowing us to show that Ehrhart-Macdonald Reciprocity and Serre Duality are equivalent statements for a broad class of varieties. Additionally, we conjecture a necessary and sufficient condition for the Ehrhart quasi-polynomial of a rational convex polytope to be a polynomial. Finally, we show that the anticanonical line bundle on a Gorenstein Fano variety with at worst rational singularities is uniquely determined by a combinatorial condition of its Hilbert polynomial.
Polynomiality properties of tropical refined invariants
Tropical refined invariants of toric surfaces constitute a fascinating interpolation between real and complex enumerative geometries via tropical geometry. They were originally introduced by Block and Göttsche, and further extended by Göttsche and Schroeter in the case of rational curves.
In this paper, we study the polynomial behavior of coefficients of these tropical refined invariants. We prove that coefficients of small codegree are polynomials in the Newton polygon of the curves under enumeration, when one fixes the genus of the latter. This provides a somehow surprising resurgence, in some sort of dual setting, of the so-called node polynomials and Göttsche conjecture. Our methods are entirely combinatorial, hence our results may suggest phenomenons in complex enumerative geometry that have not been studied yet.
In the particular case of rational curves, we extend our polynomiality results by including the extra parameter $s$ recording the number of $ψ$ classes. Contrary to the polynomiality with respect to $ Δ$, the one with respect to $s$ may be expected from considerations on Welschinger invariants in real enumerative geometry. This pleads in particular in favor of a geometric definition of Göttsche-Schroeter invariants.
Dihedral Sieving on Cluster Complexes
Published in ECA 2:2 (2022) Article S2R9
• View Publication
• BIB
The cyclic sieving phenomenon of Reiner, Stanton, and White characterizes the stabilizers of cyclic group actions on finite sets using q-analogue polynomials. Eu and Fu demonstrated a cyclic sieving phenomenon on generalized cluster complexes of every type using the q-Catalan numbers. In this paper, we exhibit the dihedral sieving phenomenon, introduced for odd n by Rao and Suk, on clusters of every type. In the type A case, we show that the Raney numbers count both reflection-symmetric k-angulations of an n-gon and a particular evaluation of the (q,t)-Fuss--Catalan numbers. We also introduce a sieving phenomenon for the symmetric group, and discuss possibilities for dihedral sieving for even n.
The Stable Limit DAHA and the Double Dyck Path Algebra
Published
• View Publication
• BIB
We study the compatibility of the action of the DAHA of type GL with two inverse systems of polynomial rings obtained from the standard Laurent polynomial representations. In both cases, the crucial analysis is that of the compatibility of the action of the Cherednik operators. Each case leads to a representation of a limit structure (the +/- stable limit DAHA) on a space of almost symmetric polynomials in infinitely many variables (the standard representation). As an application, we show that the defining representation of the double Dyck path algebra arises from the standard representation of the +stable limit DAHA.
Towards the sampling Lovász Local Lemma
Published
• View Publication
• BIB
Let $Φ= (V, \mathcal{C})$ be a constraint satisfaction problem on variables $v_1,\dots, v_n$ such that each constraint depends on at most $k$ variables and such that each variable assumes values in an alphabet of size at most $[q]$. Suppose that each constraint shares variables with at most $Δ$ constraints and that each constraint is violated with probability at most $p$ (under the product measure on its variables). We show that for $k, q = O(1)$, there is a deterministic, polynomial time algorithm to approximately count the number of satisfying assignments and a randomized, polynomial time algorithm to sample from approximately the uniform distribution on satisfying assignments, provided that \[C\cdot q^{3}\cdot k \cdot p \cdot Δ^{7} < 1, \quad \text{where }C \text{ is an absolute constant.}\] Previously, a result of this form was known essentially only in the special case when each constraint is violated by exactly one assignment to its variables.
For the special case of $k$-CNF formulas, the term $Δ^{7}$ improves the previously best known $Δ^{60}$ for deterministic algorithms [Moitra, J.ACM, 2019] and $Δ^{13}$ for randomized algorithms [Feng et al., arXiv, 2020]. For the special case of properly $q$-coloring $k$-uniform hypergraphs, the term $Δ^{7}$ improves the previously best known $Δ^{14}$ for deterministic algorithms [Guo et al., SICOMP, 2019] and $Δ^{9}$ for randomized algorithms [Feng et al., arXiv, 2020].
Polynomization of the Chern--Fu--Tang conjecture
Published
• View Publication
• BIB
Bessenrodt and Ono's work on additive and multiplicative properties of the partition function and DeSalvo and Pak's paper on the log-concavity of the partition function have generated many beautiful theorems and conjectures. In January 2020, the first author gave a lecture at the MPIM in Bonn on a conjecture of Chern--Fu--Tang, and presented an extension (joint work with Neuhauser) involving polynomials. Partial results have been announced. Bringmann, Kane, Rolen and Tripp provided complete proof of the Chern--Fu--Tang conjecture, following advice from Ono to utilize a recently provided exact formula for the fractional partition functions. They also proved a large proportion of Heim--Neuhauser's conjecture, which is the polynomization of Chern--Fu--Tang's conjecture. We prove several cases, not covered by Bringmann et.\ al. Finally, we lay out a general approach for proving the conjecture.
On the moments of the partition function of the C$β$E field
Published
• View Publication
• BIB
We obtain a combinatorial formula for the positive integer moments of the partition function of the $CβE_{N}$ field, or equivalently the moments of the moments of the characteristic polynomial of the $CβE_{N}$ ensemble. We then use this formula to establish the large $N$ asymptotics of these moments in the "moment-supercritical" regime. A key role is played by Jack polynomials.
Lie elements and the matrix-tree theorem
Published
• View Publication
• BIB
For a finite-dimensional representation V of a group G we introduce and study the notion of a Lie element in the group algebra k[G]. The set L(V) \subset k[G] of Lie elements is a Lie algebra and a G-module acting on the original representation V.
Lie elements often exhibit nice combinatorial properties. Thus, for G = S_n and V, a permutation representation, we prove a formula for the characteristic polynomial of a Lie element similar to the classical matrix-tree theorem.
On Intersection Graph of Dihedral Group
Let $G$ be a finite group. The intersection graph of $G$ is a graph whose vertex set is the set of all proper non-trivial subgroups of $G$ and two distinct vertices $H$ and $K$ are adjacent if and only if $H\cap K \neq \{e\}$, where $e$ is the identity of the group $G$. In this paper, we investigate some properties and exploring some topological indices such as Wiener, Hyper-Wiener, first and second Zagreb, Schultz, Gutman and eccentric connectivity indices of the intersection graph of $D_{2n}$ for $n=p^2$, $p$ is prime. We also find the metric dimension and the resolving polynomial of the intersection graph of $D_{2p^2}$.
Uniform and Monotone Line Sum Optimization
Published in Discrete Applied Mathematics, 298:165--170, 2021
• Search Publication
The {\em line sum optimization problem} asks for a $(0,1)$-matrix minimizing the sum of given functions evaluated at its row and column sums. We show that the {\em uniform} problem, with identical row functions and identical column functions, and the {\em monotone} problem, over matrices with nonincreasing row and column sums, are polynomial time solvable.
Limits and fluctuations of $p$-adic random matrix products
Published in Sel. Math. New Ser. 27, 98 (2021)
• View Publication
• BIB
We show that singular numbers (also known as invariant factors or Smith normal forms) of products and corners of random matrices over $\mathbb{Q}_p$ are governed by the Hall-Littlewood polynomials, in a structurally identical manner to the classical relations between singular values of complex random matrices and Heckman-Opdam hypergeometric functions. This implies that the singular numbers of a product of corners of Haar-distributed elements of $\text{GL}_N(\mathbb{Z}_p)$ form a discrete-time Markov chain distributed as a Hall-Littlewood process, with the number of matrices in the product playing the role of time. We give an exact sampling algorithm for the Hall-Littlewood processes which arise by relating them to an interacting particle system similar to PushTASEP. By analyzing the asymptotic behavior of this particle system, we show that the singular numbers of such products obey a law of large numbers and their fluctuations converge dynamically to independent Brownian motions. In the limit of large matrix size, we also show that the analogues of the Lyapunov exponents for matrix products have universal limits within this class of $\text{GL}_N(\mathbb{Z}_p)$ corners.
Decorated Dyck paths, polyominoes, and the Delta conjecture
Published
• View Publication
• BIB
We discuss the combinatorics of decorated Dyck paths and decorated parallelogram polyominoes, extending to the decorated case the main results of both [Haglund 2004] and [Aval et al. 2014]. This settles in particular the cases $\langle\cdot,e_{n-d}h_d\rangle$ and $\langle\cdot,h_{n-d}h_d\rangle$ of the Delta conjecture of Haglund, Remmel and Wilson (2018). Along the way, we introduce some new statistics, formulate some new conjectures, prove some new identities of symmetric functions, and answer a few open problems in the literature (e.g. from [Haglund et al. 2018], [Zabrocki 2016], [Aval et al. 2015]). The main technical tool is a new identity in the theory of Macdonald polynomials that extends a theorem of Haglund in [Haglund 2004]. This is an edited merge of arXiv:1712.08787 and arXiv:1709.08736
A variational characterisation of projective spherical designs over the quaternions
We give an inequality on the packing of vectors/lines in quaternionic Hilbert space $\Hd$, which generalises those of Sidelnikov and Welch for unit vectors in $\Rd$ and $\Cd$. This has a parameter $t$, and depends only on the vectors up to projective unitary equivalence. The sequences of vectors in ${\mathbb{F}}^d={\mathbb{R}}^d,{\mathbb{C}}^d,{\mathbb{H}}^d$ that give equality, which we call spherical $(t,t)$-designs, are seen to satisfy a cubature rule on the unit sphere in ${\mathbb{F}}^d$ for a suitable polynomial space $\Hom_{\Fd}(t,t)$. Using this, we show that the projective spherical $t$-designs on the Delsarte spaces $\FF P^{d-1}$ coincide with the spherical $(t,t)$-designs of unit vectors in ${\mathbb{F}}^d$. We then explore a number of examples in quaternionic space. The unitarily invariant polynomial space ${\mathop{\rm Hom}\nolimits}_{\mathbb{H}^d}(t,t)$ and the inner product that we define on it so the reproducing kernel has a simple form are of independent interest.
Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
Published
• View Publication
• BIB
We prove solution uniqueness for the genus one Canham variational problem arising in the shape prediction of biomembranes. The proof builds on a result of Yu and Chen that reduces the variational problem to proving non-negativity of a sequence defined by a linear recurrence relation with polynomial coefficients. We combine rigorous numeric analytic continuation of D-finite functions with classic bounds from singularity analysis to derive an effective index where the asymptotic behaviour of the sequence, which is positive, dominates the sequence behaviour. Positivity of the finite number of remaining terms is then checked computationally.
Bounds for the multilevel construction
One of the main problems in random network coding is to compute good lower and upper bounds on the achievable cardinality of the so-called subspace codes in the projective space $\mathcal{P}_q(n)$ for a given minimum distance. The determination of the exact maximum cardinality is a very tough discrete optimization problem involving a huge number of symmetries. Besides some explicit constructions for \textit{good} subspace codes several of the most success full constructions involve the solution of discrete optimization subproblems itself, which mostly have not been not been solved systematically. Here we consider the multilevel a.k.a.\ Echelon--Ferrers construction and given lower and upper bounds for the achievable cardinalities. From a more general point of view, we solve maximum clique problems in weighted graphs, where the weights can be polynomials in the field size $q$.