polynomial
11184 papers tagged with this keyword
Stable-Limit Non-symmetric Macdonald Functions in Type A
We construct and study an explicit simultaneous $\mathscr{Y}$ eigenbasis of Ion and Wu's standard representation of the $^+$stable-limit double affine Hecke algebra for the limit Cherednik operators $\mathscr{Y}_i$. This basis arises as a generalization of Cherednik's non-symmetric Macdonald polynomials of type $GL_n$. We utilize links between $^+$stable-limit double affine Hecke algebra theory of Ion and Wu and the double Dyck path algebra of Carlsson and Mellit that arose in their proof of the Shuffle Conjecture. As a consequence, the spectral theory for the limit Cherednik operators is understood.
Arc-disjoint out- and in-branchings in compositions of digraphs
An out-branching $B^+_u$ (in-branching $B^-_u$) in a digraph $D$ is a connected spanning subdigraph of $D$ in which every vertex except the vertex $u$, called the root, has in-degree (out-degree) one. A {\bf good $\mathbf{(u,v)}$-pair} in $D$ is a pair of branchings $B^+_u,B^-_v$ which have no arc in common.
Thomassen proved that is NP-complete to decide if a digraph has any good pair. A digraph is {\bf semicomplete} if it has no pair of non adjacent vertices. A {\bf semicomplete composition} is any digraph $D$ which is obtained from a semicomplete digraph $S$ by substituting an arbitrary digraph $H_x$ for each vertex $x$ of $S$.
Recently the authors of this paper gave a complete classification of semicomplete digraphs which have a good $(u,v)$-pair, where $u,v$ are prescribed vertices of $D$. They also gave a polynomial algorithm which for a given semicomplete digraph $D$ and vertices $u,v$ of $D$, either produces a good $(u,v)$-pair in $D$ or a certificate that $D$ has such pair. In this paper we show how to use the result for semicomplete digraphs to completely solve the problem of deciding whether a given semicomplete composition $D$, has a good $(u,v)$-pair for given vertices $u,v$ of $D$. Our solution implies that the problem is polynomially solvable for all semicomplete compositions. In particular our result implies that there is a polynomial algorithm for deciding whether a given quasi-transitive digraph $D$ has a good $(u,v)$-pair for given vertices $u,v$ of $D$. This confirms a conjecture of Bang-Jensen and Gutin from 1998.
On determinants involving second-order recurrent sequences
Let $A$ and $B$ be complex numbers, and let $(w_n)_{n\ge0}$ be a sequence of complex numbers with $w_{n+1}=Aw_n-Bw_{n-1}$ for all $n=1,2,3,\ldots$. When $w_0=0$ and $w_1=1$, the sequence $(w_n)_{n\ge0}$ is just the Lucas sequence $(u_n(A,B))_{n\ge0}$. In this paper, we evaluate the determinants $$\det[w_{|j-k|}]_{1\le j,k\le n}\ \ \text{and}\ \ \det[w_{|j-k+1|}]_{1\le j,k\le n}.$$ In particular, we have $$\det[u_{|j-k|}(A,B)]_{1\le j,k\le n}=(-1)^{n-1}u_{n-1}(2A,(B+1)^2).$$ When $B=-1$ and $2\mid n$, we also determine the characteristic polynomial of the matrix $[w_{j+k}]_{0\le j,k\le n-1}$.
Polynomial invariants for rooted trees related to their random destruction
We consider three bivariate polynomial invariants $P$, $A$, and $S$ for rooted trees, as well as a trivariate polynomial invariant $M$. These invariants are motivated by random destruction processes such as the random cutting model or site percolation on rooted trees. We exhibit recursion formulas for the invariants and identities relating $P$, $S$, and $M$. The main result states that the invariants $P$ and $S$ are complete, that is they distinguish rooted trees (in fact, even rooted forests) up to isomorphism. The proof method relies on the obtained recursion formulas and on irreducibility of the polynomials in suitable unique factorization domains. For $A$, we provide counterexamples showing that it is not complete, although that question remains open for the trivariate invariant $M$.
Arc-disjoint out-branchings and in-branchings in semicomplete digraphs
An out-branching $B^+_u$ (in-branching $B^-_u$) in a digraph $D$ is a connected spanning subdigraph of $D$ in which every vertex except the vertex $u$, called the root, has in-degree (out-degree) one. It is well-known that there exists a polynomial algorithm for deciding whether a given digraph has $k$ arc-disjoint out-branchings with prescribed roots ($k$ is part of the input). In sharp contrast to this, it is already NP-complete to decide if a digraph has one out-branching which is arc-disjoint from some in-branching. A digraph is {\bf semicomplete} if it has no pair of non adjacent vertices. A {\bf tournament} is a semicomplete digraph without directed cycles of length 2. In this paper we give a complete classification of semicomplete digraphs which have an out-branching $B^+_u$ which is arc-disjoint from some in-branching $B^-_v$ where $u,v$ are prescribed vertices of $D$. Our characterization, which is surprisingly simple, generalizes a complicated characterization for tournaments from 1991 by the first author and our proof implies the existence of a polynomial algorithm for checking whether a given semicomplete digraph has such a pair of branchings for prescribed vertices $u,v$ and construct a solution if one exists. This confirms a conjecture of Bang-Jensen for the case of semicomplete digraphs.
Fast Algorithms for Discrete Differential Equations
Discrete Differential Equations (DDEs) are functional equations that relate polynomially a power series $F(t,u)$ in $t$ with polynomial coefficients in a "catalytic" variable $u$ and the specializations, say at $u=1$, of $F(t,u)$ and of some of its partial derivatives in $u$. DDEs occur frequently in combinatorics, especially in map enumeration. If a DDE is of fixed-point type then its solution $F(t,u)$ is unique, and a general result by Popescu (1986) implies that $F(t,u)$ is an algebraic power series. Constructive proofs of algebraicity for solutions of fixed-point type DDEs were proposed by Bousquet-Mélou and Jehanne (2006). Bostan et. al (2022) initiated a systematic algorithmic study of such DDEs of order 1.
We generalize this study to DDEs of arbitrary order. First, we propose nontrivial extensions of algorithms based on polynomial elimination and on the guess-and-prove paradigm. Second, we design two brand-new algorithms that exploit the special structure of the underlying polynomial systems. Last, but not least, we report on implementations that are able to solve highly challenging DDEs with a combinatorial origin.
Pisot numbers, Salem numbers, and generalised polynomials
We study sets of integers that can be defined by the vanishing of a generalised polynomial expression. We show that this includes sets of values of linear recurrent sequences of Salem type and some linear recurrent sequences of Pisot type. To this end, we introduce the notion of a generalised polynomial on a number field. We establish a connection between the existence of generalised polynomial expressions for sets of values of linear recurrent sequences and for subsemigroups of multiplicative groups of number fields.
Averaging method in combinatorics of symmetric polynomials
Published in Phys.Lett. B843 (2023) 138037
• View Publication
• BIB
We elaborate on the recent suggestion to consider averaging of Cauchy identities for the Schur functions over power sum variables. This procedure has apparent parallels with the Borel transform, only it changes the number of combinatorial factors like $d_R$ in the sums over Young diagrams instead of just factorials in ordinary sums over numbers. It provides a universal view on a number of previously known, but seemingly random identities.
Hurwitz numbers for reflection groups $B$ and $D$
We are building a theory of simple Hurwitz numbers for the reflection groups B and D parallel to the classical theory for the symmetric group. We also study analogs of the cut-and-join operators. An algebraic description of Hurwitz numbers and an explicit formula for them in terms of Schur polynomials are provided. We also relate Hurwitz numbers for B and D to ribbon decomposition of surfaces with boundary -- a similar result for the symmetric group was proved earlier by Yu.Burman and the author. Finally, the generating function of B-Hurwitz numbers is shown to give rise to two independent tau-function of the KP hierarchy.
Hitting all maximum stable sets in $P_5$-free graphs
Published in Journal of Combinatorial Theory, Series B, Volume 165, March 2024, Pages 142-163
• View Publication
• BIB
We prove that every $P_5$-free graph of bounded clique number contains a small hitting set of all its maximum stable sets.
More generally, let us say a class $\mathcal{C}$ of graphs is $η$-bounded if there exists a function $h:\mathbb{N}\rightarrow \mathbb{N}$ such that $η(G)\leq h(ω(G))$ for every graph $G\in \mathcal{C}$, where $η(G)$ denotes smallest cardinality of a hitting set of all maximum stable sets in $G$, and $ω(G)$ is the clique number of $G$. Also, $\mathcal{C}$ is said to be polynomially $η$-bounded if in addition $h$ can be chosen to be a polynomial.
We introduce $η$-boundedness inspired by a question of Alon and motivated by a number of meaningful similarities to $χ$-boundedness. In particular, we propose an analogue of the Gyárfás-Sumner conjecture, that the class of all $H$-free graphs is $η$-bounded if (and only if) $H$ is a forest. Like $χ$-boundedness, the case where $H$ is a star is easy to verify, and we prove two non-trivial extensions of this: $H$-free graphs are $η$-bounded if (1) $H$ has a vertex incident with all edges of $H$, or (2) $H$ can be obtained from a star by subdividing at most one edge, exactly once.
Unlike $χ$-boundedness, the case where $H$ is a path is surprisingly hard. Our main result mentioned at the beginning shows that $P_5$-free graphs are $η$-bounded. The proof is rather involved compared to the classical ``Gyárfás path'' argument which establishes, for all $t$, the $χ$-boundedness of $P_t$-free graphs. It remains open whether $P_t$-free graphs are $η$-bounded for $t\geq 6$. It also remains open whether $P_5$-free graphs are polynomially $η$-bounded, which, if true, would imply the Erdős-Hajnal conjecture for $P_5$-free graphs. But we prove that $H$-free graphs are polynomially $η$-bounded if $H$ is a proper induced subgraph of $P_5$.
Compare list-color functions of uniform hypergraphs with their chromatic polynomials (II)
For any $r$-uniform hypergraph $\mathcal{H}$ with $m$ ($\geq 2$) edges, let $P(\mathcal{H},k)$ and $P_l(\mathcal{H},k)$ be the chromatic polynomial and the list-color function of $\mathcal{H}$ respectively, and let $ρ(\mathcal{H})$ denote the minimum value of $|e\setminus e'|$ among all pairs of distinct edges $e,e'$ in $\mathcal{H}$. We will show that if $r\ge3$, $ρ(\mathcal{H})\ge 2$ and $m\ge \frac{ρ(\mathcal{H})^3}2+1$, then $P_l(\mathcal{H},k)=P(\mathcal{H},k)$ holds for all integers $k\geq \frac{2.4(m-1)}{ρ(\mathcal{H})\log(m-1)}$.
Large-scale geometry of Borel graphs of polynomial growth
We study graphs of polynomial growth from the perspective of asymptotic geometry and descriptive set theory. The starting point of our investigation is a theorem of Krauthgamer and Lee who showed that every connected graph of polynomial growth admits an injective contraction mapping to $(\mathbb Z^n, \|\cdot\|_\infty)$ for some $n\in\mathbb N$. We strengthen and generalize this result in a number of ways. In particular, answering a question of Papasoglu, we construct coarse embeddings from graphs of polynomial growth to $\mathbb Z^n$. Moreover, we only require $n$ to be linear in the asymptotic polynomial growth rate of the graph; this confirms a conjecture of Levin and Linial, London, and Rabinovich "in the asymptotic sense." (The exact form of the conjecture was refuted by Krauthgamer and Lee.) All our results are proved for Borel graphs, which allows us to settle a number of problems in descriptive combinatorics. Roughly, we prove that graphs generated by free Borel actions of $\mathbb Z^n$ are universal for the class of Borel graphs of polynomial growth. This provides a general method for extending results about $\mathbb Z^n$-actions to all Borel graphs of polynomial growth. For example, an immediate consequence of our main result is that all Borel graphs of polynomial growth are hyperfinite, which answers a well-known question in the area. As another illustration, we show that Borel graphs of polynomial growth support a certain combinatorial structure called toast. An important technical tool in our arguments is the notion of padded decomposition from computer science, which is closely related to the concept of asymptotic dimension due to Gromov. Along the way we find an alternative, probabilistic proof of a theorem of Papasoglu that graphs of asymptotic polynomial growth rate $ρ<\infty$ have asymptotic dimension at most $ρ$ and establish the same bound in the Borel setting.
An Algorithm to Enumerate Grid Signed Permutation Classes
Published
• View Publication
• BIB
In this paper, we present an algorithm that enumerates a certain class of signed permutations, referred to as grid signed permutation classes. In the case of permutations, the corresponding grid classes are of interest because they are equivalent to the permutation classes that can be enumerated by polynomials. Furthermore, we apply our results to genome rearrangements and establish that the number of signed permutations with fixed prefix reversal and reversal distance is given by polynomials that can be computed by our algorithm.
Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs
Published in Adv. Appl. Math. 157, 102703 (2024)
• View Publication
• BIB
We study three combinatorial models for the lower-triangular matrix with entries $t_{n,k} = \binom{n}{k} n^{n-k}$: two involving rooted trees on the vertex set $[n+1]$, and one involving partial functional digraphs on the vertex set $[n]$. We show that this matrix is totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. We then generalize to polynomials $t_{n,k}(y,z)$ that count improper and proper edges, and further to polynomials $t_{n,k}(y,\mathbfφ)$ in infinitely many indeterminates that give a weight $y$ to each improper edge and a weight $m! \, φ_m$ for each vertex with $m$ proper children. We show that if the weight sequence $\mathbfφ$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays.
A Unified Approach to Unimodality of Gaussian Polynomials
Published in ISSAC 2023: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, July 2023, Pages 434-442
• View Publication
• BIB
In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establish a closed form for the coefficients of these polynomials and then use cylindrical algebraic decomposition to identify exactly the range of coefficients where strict unimodality holds. This strategy allows us to tackle generalizations of the problem, e.g., to show unimodality with larger gaps or unimodality of related sequences. In particular, we present proofs of two additional cases of a conjecture by Stanley and Zanello.
Key and Lascoux polynomials for symmetric orbit closures
We introduce shifted analogues of key polynomials related to symplectic and orthogonal orbit closures in the complete flag variety. Our definitions are given by applying isobaric divided difference operators to the analogues of Schubert polynomials for orbit closures that correspond to dominant involutions. We show that our shifted key polynomials are linear combinations of key polynomials with nonnegative integer coefficients. We also prove that they are partial versions of the classical Schur $P$- and $Q$-polynomials. Finally, we examine $K$-theoretic generalizations of these functions, which give shifted forms of Lascoux polynomials. In the symplectic case, these generalizations are partial versions of the $GP$-polynomials introduced by Ikeda and Naruse. Besides developing basic properties, we identify a number of conjectures and open problems.
Top-degree components of Grothendieck and Lascoux polynomials
The Castelnuovo-Mumford polynomial $\widehat{\mathfrak{G}}_w$ with $w \in S_n$ is the highest homogeneous component of the Grothendieck polynomial $\mathfrak{G}_w$. Pechenik, Speyer and Weigandt define a statistic $\mathsf{rajcode}(\cdot)$ on $S_n$ that gives the leading monomial of $\widehat{\mathfrak{G}}_w$. We introduce a statistic $\mathsf{rajcode}(\cdot)$ on any diagram $D$ through a combinatorial construction ``snow diagram'' that augments and decorates $D$. When $D$ is the Rothe diagram of a permutation $w$, $\mathsf{rajcode}(D)$ agrees with the aforementioned $\mathsf{rajcode}(w)$. When $D$ is the key diagram of a weak composition $α$, $\mathsf{rajcode}(D)$ yields the leading monomial of $\widehat{\mathfrak{L}}_α$, the highest homogeneous component of the Lascoux polynomials $\mathfrak{L}_α$. We use $\widehat{\mathfrak{L}}_α$ to construct a basis of $\widehat{V}_n$, the span of $\widehat{\mathfrak{G}}_w$ with $w \in S_n$. Then we show $\widehat{V}_n$ gives a natural algebraic interpretation of a classical $q$-analogue of Bell numbers.
Diameters of the Characteristic Imset Polytopes
It has been shown that the edge structure of the characteristic imset polytope is closely connected to the question of causal discovery. The diameter of a polytope is an indicator of how connected the polytope is and moreover gives us a hypothetical worst case scenario for an edge-walk over the polytope. We present low-degree polynomial bounds on the diameter of $\operatorname{CIM}_n$ and, for any given undirected graph $G$, the face $\operatorname{CIM}_G$.
Toric arc schemes and $q$-enumeration of lattice points
We introduce a natural weighted enumeration of lattice points in a polytope, and give a Brion-type formula for the corresponding generating function. The weighting has combinatorial significance, and its generating function may be viewed as a generalization of the Rogers-Szegő polynomials. It also arises from the geometry of the toric arc scheme associated to the normal fan of the polytope. We show that the asymptotic behavior of the coefficients at $q = 1$ is Gaussian.
Noisy decoding by shallow circuits with parities: classical and quantum
Published
• View Publication
• BIB
We consider the problem of decoding corrupted error correcting codes with NC$^0[\oplus]$ circuits in the classical and quantum settings. We show that any such classical circuit can correctly recover only a vanishingly small fraction of messages, if the codewords are sent over a noisy channel with positive error rate. Previously this was known only for linear codes with large dual distance, whereas our result applies to any code. By contrast, we give a simple quantum circuit that correctly decodes the Hadamard code with probability $Ω(\varepsilon^2)$ even if a $(1/2 - \varepsilon)$-fraction of a codeword is adversarially corrupted.
Our classical hardness result is based on an equidistribution phenomenon for multivariate polynomials over a finite field under biased input-distributions. This is proved using a structure-versus-randomness strategy based on a new notion of rank for high-dimensional polynomial maps that may be of independent interest.
Our quantum circuit is inspired by a non-local version of the Bernstein-Vazirani problem, a technique to generate ``poor man's cat states'' by Watts et al., and a constant-depth quantum circuit for the OR function by Takahashi and Tani.