polynomial
11422 papers tagged with this keyword
Computing error bounds for asymptotic expansions of regular P-recursive sequences
Published in Mathematics of Computation, In press
• View Publication
• BIB
Over the last several decades, improvements in the fields of analytic combinatorics and computer algebra have made determining the asymptotic behaviour of sequences satisfying linear recurrence relations with polynomial coefficients largely a matter of routine, under assumptions that hold often in practice. The algorithms involved typically take a sequence, encoded by a recurrence relation and initial terms, and return the leading terms in an asymptotic expansion up to a big-O error term. Less studied, however, are effective techniques giving an explicit bound on asymptotic error terms. Among other things, such explicit bounds typically allow the user to automatically prove sequence positivity (an active area of enumerative and algebraic combinatorics) by exhibiting an index when positive leading asymptotic behaviour dominates any error terms. In this article, we present a practical algorithm for computing such asymptotic approximations with rigorous error bounds, under the assumption that the generating series of the sequence is a solution of a differential equation with regular (Fuchsian) dominant singularities. Our algorithm approximately follows the singularity analysis method of Flajolet and Odlyzko, except that all big-O terms involved in the derivation of the asymptotic expansion are replaced by explicit error terms. The computation of the error terms combines analytic bounds from the literature with effective techniques from rigorous numerics and computer algebra. We implement our algorithm in the SageMath computer algebra system and exhibit its use on a variety of applications (including our original motivating example, solution uniqueness in the Canham model for the shape of genus one biomembranes).
Multivariate correlation inequalities for $P$-partitions
Published in Pacific J. Math. 323 (2023) 223-252
• View Publication
• BIB
Motivated by the Lam--Pylyavskyy inequalities for Schur functions, we give a far reaching multivariate generalization of Fishburn's correlation inequality for the number of linear extensions of posets. We then give a multivariate generalization of the Daykin--Daykin--Paterson inequality proving log-concavity of the order polynomial of a poset. We also prove a multivariate $P$-partition version of the cross-product inequality by Brightwell--Felsner--Trotter. The proofs are based on a multivariate generalization of the Ahlswede--Daykin inequality.
Bivariate $P$-polynomial association schemes
Published in Algebraic Combinatorics, Volume 7 (2024) no. 2, pp. 361-382
• View Publication
• BIB
Bivariate P-polynomial association scheme of type $(α,β)$ are defined as a generalization of the P-polynomial association schemes. This generalization is shown to be equivalent to a set of conditions on the intersection parameters. A number of known higher rank association schemes are seen to belong to this broad class. Bivariate Q-polynomial association schemes are similarly defined.
Is it easier to count communities than find them?
Published
• View Publication
• BIB
Random graph models with community structure have been studied extensively in the literature. For both the problems of detecting and recovering community structure, an interesting landscape of statistical and computational phase transitions has emerged. A natural unanswered question is: might it be possible to infer properties of the community structure (for instance, the number and sizes of communities) even in situations where actually finding those communities is believed to be computationally hard? We show the answer is no. In particular, we consider certain hypothesis testing problems between models with different community structures, and we show (in the low-degree polynomial framework) that testing between two options is as hard as finding the communities.
Our methods give the first computational lower bounds for testing between two different ``planted'' distributions, whereas previous results have considered testing between a planted distribution and an i.i.d. ``null'' distribution. We also show a formal relationship between the low--degree frameworks for recovery in a planted model and for testing two planted models.
Irreducibility of the Tutte polynomial of an embedded graph
Published in Algebraic Combinatorics, Volume 5 (2022) no. 6, pp. 1337-1351
• View Publication
• BIB
We prove that the ribbon graph polynomial of a graph embedded in an orientable surface is irreducible if and only if the embedded graph is neither the disjoint union nor the join of embedded graphs. This result is analogous to the fact that the Tutte polynomial of a graph is irreducible if and only if the graph is connected and non-separable.
Counting tropical curves in $\mathbb{P}^1\times\mathbb{P}^1$: computation & polynomiality properties
Published
• View Publication
• BIB
Counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$ with fixed contact order with the toric boundary and satisfying point conditions can be determined with tropical methods by Mikhalkin. If we require that our curves intersect the zero- and infinity-section only in points of contact order $1$, but allow arbitrary contact order for the zero- and infinity-fiber, the corresponding numbers reveal beautiful structural properties such as piecewise polynomiality, similar to the case of double Hurwitz numbers counting covers of $\mathbb{P}^1$ with special ramification profiles over zero and infinity by Ardila and Brugallé. This result was obtained using the floor diagram method to count tropical curves.
Here, we expand the tropical tools to determine counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$. We provide a computational tool (building on Polymake by Gawrilow and Joswig) that determines such numbers of tropical curves for any genus and any contact orders via a straightforward generalization of Mikhalkin's lattice path algorithm. The tool can also be used for other toric surfaces. To enable efficient computations also by hand, we introduce a new counting tool (for the case of rational curves with transverse contacts with the infinity section) which can be seen as a combination of the floor diagram and the lattice path approach: subfloor diagrams. We use both our computational tool and the subfloor diagrams for experiments revealing structural properties of these counts.
We obtain first results on the (piecewise) polynomial structure of counts of rational curves in $\mathbb{P}^1\times\mathbb{P}^1$ with arbitrary contact orders on the zero- and infinity-fiber and restricted choices for the contact orders on the zero- and infinity-section.
Genus Polynomials of Cubic Graphs with Non-Real Roots
Published
• View Publication
• BIB
Given a graph $G$, its genus polynomial is $Γ_G(x) = \sum_{k\geq 0} g_k(G)x^k$, where $g_k(G)$ is the number of 2-cell embeddings of $G$ in an orientable surface of genus $k$. The Log-Concavity Genus Distribution (LCGD) Conjecture states that the genus polynomial of every graph is log-concave. It was further conjectured by Stahl that the genus polynomial of every graph has only real roots, however this was later disproved. We identify several examples of cubic graphs whose genus polynomials, in addition to having at least one non-real root, have a quadratic factor that is non-log-concave when factored over the real numbers.
A combinatorial proof of a symmetry for a refinement of the Narayana numbers
We establish a tantalizing symmetry of certain numbers refining the Narayana numbers. In terms of Dyck paths, this symmetry is interpreted in the following way: if $w_{n,k,m}$ is the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$, then $w_{2k+1,k,m}=w_{2k+1,k,k+1-m}$. We give a combinatorial proof of this fact, relying on the cycle lemma, and showing that the numbers $w_{2k+1,k,m}$ are multiples of the Narayana numbers. We prove a more general fact establishing a relationship between the numbers $w_{n,k,m}$ and a family of generalized Narayana numbers due to Callan. A closed-form expression for the even more general numbers $w_{n,k_{1},k_{2},\ldots , k_{r}}$ counting the semilength-$n$ Dyck paths with $k_{1}$ $UD$-factors, $k_{2}$ $UUD$-factors, $\ldots$ , and $k_{r}$ $U^{r}D$-factors is also obtained, as well as a more general form of the discussed symmetry for these numbers in the case when all rise runs are of certain minimal length. Finally, we investigate properties of the polynomials $W_{n,k}(t)= \sum_{m=0}^k w_{n,k,m} t^m$, including real-rootedness, $γ$-positivity, and a symmetric decomposition.
Additive estimates of the permanent using Gaussian fields
We present a randomized algorithm for estimating the permanent of an $M \times M$ real matrix $A$ up to an additive error. We do this by viewing the permanent $\mathrm{perm}(A)$ of $A$ as the expectation of a product of centered joint Gaussian random variables with a particular covariance matrix $C$. The algorithm outputs the empirical mean $S_{N}$ of this product after sampling $N$ times. Our algorithm runs in total time $O(M^{3} + M^{2}N + MN)$ with failure probability \begin{equation*}
P(|S_{N}-\text{perm}(A)| > t) \leq \frac{3^{M}}{t^{2}N} \prod^{2M}_{i=1} C_{ii}. \end{equation*} In particular, we can estimate $\mathrm{perm}(A)$ to an additive error of $ε\bigg(\sqrt{3^{2M}\prod^{2M}_{i=1} C_{ii}}\bigg)$ in polynomial time. We compare to a previous procedure due to Gurvits. We discuss how to find a particular $C$ using a semidefinite program and a relation to the Max-Cut problem and cut-norms.
Monochromatic quotients, products and polynomial sums in the rationals
Published
• View Publication
• BIB
Let $k,a\in \mathbb{N}$ and let $p_1,\cdots,p_k\in \mathbb{Q}[n]$ with zero constant term. We show that for any finite coloring of $\mathbb{Q}$, there are non-zero $x,y\in \mathbb{Q}$ such that there exists a color which contains a set of the form $$\Big\{x,\frac{x}{y^a},x+p_{1}(y),\cdots,x+p_{k}(y)\Big\}$$ and there are non-zero $v,u\in \mathbb{Q}$ such that there exists a color which contains a set of the form $$\Big\{v,v\cdot {u^a},v+p_{1}(u),\cdots,v+p_{k}(u)\Big\}.$$
Shimura operators for certain Hermitian symmetric superpairs
Published
• View Publication
• BIB
We give a partial super analog of a result obtained by S. Sahi and G. Zhang relating Shimura operators and certain interpolation symmetric polynomials. In particular, we study the pair $(\mathfrak{gl}(2p|2q), \mathfrak{gl}(p|q)\oplus\mathfrak{gl}(p|q))$, define the super Shimura operators in $\mathfrak{U}(\mathfrak{g})^\mathfrak{k}$, and using a new method, prove that their images under the Harish-Chandra homomorphism are proportional to Sergeev and Veselov's Type $BC$ interpolation supersymmetric polynomials, under the assumption that a family of irreducible $\mathfrak{g}$-modules are spherical. We prove this conjecture using the notion of quasi-sphericity for Kac modules when $p=q=1$, and give explicit coordinates of (quasi-)spherical vectors.
Excluding Single-Crossing Matching Minors in Bipartite Graphs
Published
• View Publication
• BIB
\noindent By a seminal result of Valiant, computing the permanent of $(0,1)$-matrices is, in general, $\#\mathsf{P}$-hard. In 1913 Pólya asked for which $(0,1)$-matrices $A$ it is possible to change some signs such that the permanent of $A$ equals the determinant of the resulting matrix. In 1975, Little showed these matrices to be exactly the biadjacency matrices of bipartite graphs excluding $K_{3,3}$ as a \{matching minor}. This was turned into a polynomial time algorithm by McCuaig, Robertson, Seymour, and Thomas in 1999. However, the relation between the exclusion of some matching minor in a bipartite graph and the tractability of the permanent extends beyond $K_{3,3}.$ Recently it was shown that the exclusion of any planar bipartite graph as a matching minor yields a class of bipartite graphs on which the {permanent} of the corresponding $(0,1)$-matrices can be computed efficiently. In this paper we unify the two results above into a single, more general result in the style of the celebrated structure theorem for single-crossing-minor-free graphs. We identify a class of bipartite graphs strictly generalising planar bipartite graphs and $K_{3,3}$ which includes infinitely many non-Pfaffian graphs. The exclusion of any member of this class as a matching minor yields a structure that allows for the efficient evaluation of the permanent. Moreover, we show that the evaluation of the permanent remains $\#\mathsf{P}$-hard on bipartite graphs which exclude $K_{5,5}$ as a matching minor. This establishes a first computational lower bound for the problem of counting perfect matchings on matching minor closed classes.
Oriented Temperley--Lieb algebras and combinatorial Kazhdan--Lusztig theory
Published
• View Publication
• BIB
We define oriented Temperley--Lieb algebras for classical Hermitian symmetric spaces. This allows us to explain the existence of closed combinatorial formulae for the Kazhdan--Lusztig polynomials for these spaces.
Toward Butler's conjecture
Published
• View Publication
• BIB
For a partition $ν$, let $λ,μ\subseteq ν$ be two distinct partitions such that $|ν/λ|=|ν/μ|=1$. Butler conjectured that the divided difference $\operatorname{I}_{λ,μ}[X;q,t]=(T_λ\widetilde{H}_μ[X;q,t]-T_μ\widetilde{H}_λ[X;q,t])/(T_λ-T_μ)$ of modified Macdonald polynomials of two partitions $λ$ and $μ$ is Schur positive. By introducing a new LLT equivalence called column exchange rule, we give a combinatorial formula for $\operatorname{I}_{λ,μ}[X;q,t]$, which is a positive monomial expansion. We also prove Butler's conjecture for some special cases.
A unimodal sequence with mode at a quarter length
Published in Journal of Difference Equations and Applications, 2023
• View Publication
• BIB
We show that the number $A(n,m)$ of partitions with $m$ even parts and largest hook length $n$ is strongly unimodal with mode [(n-1)/4] for $n\ge 6$. We establish this result by induction, using a $5$-term recurrence due to Lin, Xiong and Yan, and two $4$-term recurrences obtained by Zeilberger's algorithm. The sequence $A(n,m)$ is not log-concave. Using Möbius transformation and the method of interlacing zeros, we obtain that every zero of every generating function $\sum_m A(n,m)z^m$ lies on the left half part of the circle |z-1|=2. Moreover, as a direct application of Wang and Zhang's characterization of root geometry of polynomial sequences that satisfy a recurrence of type $(1,1)$, we see that all these zeros are densely distributed on the half circle.
New presences of $π$ and $e$ in Pascal's triangle
The following work shows new connections between the constants $π$ and $e$ with Pascal's triangle and the Lucas triangle, established via Fibonacci polynomials and similar means. Furthermore, relations between the two famous constants and the rows of Pascal's triangle and the Lucas triangle are conjectured, together with some other important related identities.
A non-constructive proof of the Four Colour Theorem
The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.
Computing Well-Covered Vector Spaces of Graphs using Modular Decomposition
A graph is well-covered if all its maximal independent sets have the same cardinality. This well studied concept was introduced by Plummer in 1970 and naturally generalizes to the weighted case. Given a graph $G$, a real-valued vertex weight function $w$ is said to be a well-covered weighting of $G$ if all its maximal independent sets are of the same weight. The set of all well-covered weightings of a graph $G$ forms a vector space over the field of real numbers, called the well-covered vector space of $G$. Since the problem of recognizing well-covered graphs is $\mathsf{co}$-$\mathsf{NP}$-complete, the problem of computing the well-covered vector space of a given graph is $\mathsf{co}$-$\mathsf{NP}$-hard. Levit and Tankus showed in 2015 that the problem admits a polynomial-time algorithm in the class of claw-free graph. In this paper, we give two general reductions for the problem, one based on anti-neighborhoods and one based on modular decomposition, combined with Gaussian elimination. Building on these results, we develop a polynomial-time algorithm for computing the well-covered vector space of a given fork-free graph, generalizing the result of Levit and Tankus. Our approach implies that well-covered fork-free graphs can be recognized in polynomial time and also generalizes some known results on cographs.
Random Polynomial Graphs for Random Turán Problems
Published
• View Publication
• BIB
Bukh and Conlon used random polynomial graphs to give effective lower bounds on $\mathrm{ex}(n,\mathcal{T}^\ell)$, where $\mathcal{T}^\ell$ is the $\ell$th power of a balanced rooted tree $T$. We extend their result to give effective lower bounds on $\mathrm{ex}(G_{n,p},\mathcal{T}^\ell)$, which is the maximum number of edges in a $\mathcal{T}^\ell$-free subgraph of the random graph $G_{n,p}$. Analogous bounds for generalized Turán numbers in random graphs are also proven.
Approximate counting using Taylor's theorem: a survey
Published in Bulletin of EATCS 138, no. 3 (2022)
• Search Publication
In this article we consider certain well-known polynomials associated with graphs including the independence polynomial and the chromatic polynomial. These polynomials count certain objects in graphs: independent sets in the case of the independence polynomial and proper colourings in the case of the chromatic polynomial. They also have interpretations as partition functions in statistical physics.
The algorithmic problem of (approximately) computing these types of polynomials has been studied for close to 50 years, especially using Markov chain techniques. Around eight years ago, Barvinok devised a new algorithmic approach based on Taylor's theorem for computing the permanent of certain matrices, and the approach has been applied to various graph polynomials since then. This article is intended as a gentle introduction to the approach as well as a partial survey of associated techniques and results.