polynomial
11239 papers tagged with this keyword
On the characterization of some algebraically defined bipartite graphs of girth eight
Published
• View Publication
• BIB
For any field $\mathbb{F}$ and polynomials $f_{2},f_{3}\in\mathbb{F}[x,y]$, let $Γ_{\mathbb{F}}(f_{2},f_{3})$ denote the bipartite graph with vertex partition $P\cup L$, where $P$ and $L$ are two copies of $\mathbb{F}^{3}$, and $(p_{1},p_{2},p_{3})\in P$ is adjacent to $[l_{1},l_{2},l_{3}]\in L$ if and only if $p_{2}+l_{2}=f_{2}(p_{1},l_{1})$ and $p_{3}+l_{3}=f_{3}(p_{1},l_{1})$. The graph $Γ_{3}(\mathbb{F})=Γ_{\mathbb{F}}(xy,xy^{2})$ is known to be of girth eight. When $\mathbb{F}=\mathbb{F}_q$ is a finite field of odd size $q$ or $\mathbb{F}=\mathbb{F}_{\infty}$ is an algebraically closed field of characteristic zero, the graph $Γ_{3}(\mathbb{F})$ is conjectured to be the unique one with girth at least eight among those $Γ_{\mathbb{F}}(f_{2},f_{3})$ up to isomorphism. This conjecture has been confirmed for the case that both $f_{2},f_{3}$ are monomials over $\mathbb{F}_q$, and for the case that at least one of $f_{2},f_{3}$ is a monomial over $\mathbb{F}_{\infty}$. If one of $f_{2},f_{3}\in\mathbb{F}_q[x,y]$ is a monomial, it has also been proved the existence of a positive integer $M$ such that $G=Γ_{\mathbb{F}_{q^{M}}}(f_2,f_3)$ is isomorphic to $Γ_{3}(\mathbb{F}_{q^{M}})$ provided $G$ has girth at least eight. In this paper, these results are shown to be valid when the restriction on the polynomials $f_2,f_3$ is relaxed further to that one of them is the product of two univariate polynomials. Furthermore, all of such polynomials $f_2,f_3$ are characterized completely.
On $q$-analogs of descent and peak polynomials
Published in European Journal of Combinatorics ,Volume 97 (2021)
• View Publication
• BIB
Descent polynomials and peak polynomials, which enumerate permutations with given descent and peak sets respectively, have recently received considerable attention. We give several formulas for $q$-analogs of these polynomials which refine the enumeration by the length of the permutations. In the case of $q$-descent polynomials we prove that the coefficients in one basis are strongly $q$-log concave, and conjecture this property in another basis. For peaks, we prove that the $q$-peak polynomial is palindromic in $q$, resolving a conjecture of Diaz-Lopez, Harris, and Insko.
Analytic properties of sextet polynomials of hexagonal systems
Published
• View Publication
• BIB
In this paper we investigate analytic properties of sextet polynomials of hexagonal systems. For the pyrene chains, we show that zeros of the sextet polynomials $P_n(x)$ are real, located in the open interval $(-3-2\sqrt{2},-3+2\sqrt{2})$ and dense in the corresponding closed interval. We also show that coefficients of $P_n(x)$ are symmetric, unimodal, log-concave, and asymptotically normal. For general hexagonal systems, we show that real zeros of all sextet polynomials are dense in the interval $(-\infty,0]$, and conjecture that every sextet polynomial has log-concave coefficients.
Proofs of some partition identities conjectured by Kanade and Russell
Published
• View Publication
• BIB
Kanade and Russell conjectured several Rogers-Ramanujan-type partition identities, some of which are related to level $2$ characters of the affine Lie algebra $A_9^{(2)}$. Many of these conjectures have been proved by Bringmann, Jennings-Shaffer and Mahlburg. We give new proofs of five conjectures first proved by those authors, as well as four others that have been open until now. Our proofs for the new cases use quadratic transformations for Askey-Wilson and Rogers polynomials. We also obtain some related results, including a new proof of a partition identity conjectured by Capparelli and first proved by Andrews.
Generalized Matrix polynomials of Tree Laplacians indexed by Symmetric functions and the GTS poset
Published in Séminaire Lotharingien de Combinatoire, 83, B83a, (2021)
• Search Publication
Let $T$ be a tree on $n$ vertices with $q$-Laplacian $L_T^q$ and Laplacian matrix $L_T$. Let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees on $n$ vertices. Inequalities are known between coefficients of the immanantal polynomial of $L_T$ (and $L_T^q$) as we go up the poset $GTS_n$. Using the Frobenius characteristic, this can be thought as a result involving the schur symmetric function $s_λ$. In this paper, we use an arbitrary symmetric function to define a {\it generalized matrix function} of an $n \times n$ matrix. When the symmetric function is the monomial and the forgotten symmetric function, we generalize such inequalities among coefficients of the generalized matrix polynomial of $L_T^q$ as we go up the $GTS_n$ poset.
Compact formulas for Macdonald polynomials and quasisymmetric Macdonald polynomials
We present several new and compact formulas for the modified and integral form of the Macdonald polynomials, building on the compact "multiline queue" formula for Macdonald polynomials due to Corteel, Mandelshtam and Williams. We also introduce a new quasisymmetric analogue of Macdonald polynomials. These quasisymmetric Macdonald polynomials refine the (symmetric) Macdonald polynomials and specialize at $q=t=0$ to the quasisymmetric Schur polynomials defined by Haglund, Luoto, Mason, and van Willigenburg. This is an extended abstract.
Laurent polynomials of planar graphs
By using Laurent graph polynomials instead of the usual ones, i.e. by allowing negative powers of the variables, we simplify an existing method of determining the Alon-Tarsi numbers of planar graphs.
On Parity Unimodality of $q$-Catalan Polynomials
Published
• View Publication
• BIB
A polynomial $A(q)=\sum_{i=0}^n a_iq^i$ is said to be unimodal if $a_0\le a_1\le \cdots \le a_k\ge a_{k+1} \ge \cdots \ge a_n$. We investigate the unimodality of rational $q$-Catalan polynomials, which is defined to be $C_{m,n}(q)= \frac{1}{[n+m]} \left[ m+n \atop n\right]$ for a coprime pair of positive integers $(m,n)$. We conjecture that they are unimodal with respect to parity, or equivalently, $(1+q)C_{m+n}(q)$ is unimodal. By using generating functions and the constant term method, we verify our conjecture for $m\le 5$ in a straightforward way.
Deciding multiple tiling by polygons in polynomial time
Published
• View Publication
• BIB
Suppose $P$ is a symmetric convex polygon in the plane. We give a polynomial time algorithm that decides if $P$ can tile the plane by transations at some level (not necessarily at level one; this is multiple tiling). The main technical contribution is a polynomial time algorithm that selects, if this is possible, for each $j=1,2,\ldots,n$ one of two given vectors $e_j$ or $τ_j$ so that the selection spans a discrete additive subgroup.
Distance to the stochastic part of phylogenetic varieties
Published
• View Publication
• BIB
Modelling the substitution of nucleotides along a phylogenetic tree is usually done by a hidden Markov process. This allows to define a distribution of characters at the leaves of the trees and one might be able to obtain polynomial relationships among the probabilities of different characters. The study of these polynomials and the geometry of the algebraic varieties defined by them can be used to reconstruct phylogenetic trees. However, not all points in these algebraic varieties have biological sense. In this paper, we explore the extent to which adding semi-algebraic conditions arising from the restriction to parameters with statistical meaning can improve existing methods of phylogenetic reconstruction. To this end, our aim is to compute the distance of data points to algebraic varieties and to the stochastic part of these varieties. Computing these distances involves optimization by nonlinear programming algorithms. We use analytical methods to find some of these distances for quartet trees evolving under the Kimura 3-parameter or the Jukes-Cantor models. Numerical algebraic geometry and computational algebra play also a fundamental role in this paper.
On the Shortest Separating Cycle
Published
• View Publication
• BIB
According to a result of Arkin~\etal~(2016), given $n$ point pairs in the plane, there exists a simple polygonal cycle that separates the two points in each pair to different sides; moreover, a $O(\sqrt{n})$-factor approximation with respect to the minimum length can be computed in polynomial time.
Here the following results are obtained: (I)~We extend the problem to geometric hypergraphs and obtain the following characterization of feasibility. Given a geometric hypergraph on points in the plane with hyperedges of size at least $2$, there exists a simple polygonal cycle that separates each hyperedge if and only if the hypergraph is $2$-colorable. (II)~We extend the $O(\sqrt{n})$-factor approximation in the length measure as follows:
Given a geometric graph $G=(V,E)$, a separating cycle (if it exists) can be computed in $O(m+ n\log{n})$ time, where $|V|=n$, $|E|=m$.
Moreover, a $O(\sqrt{n})$-approximation of the shortest separating cycle can be found in polynomial time.
Given a geometric graph $G=(V,E)$ in $\mathbb{R}^3$, a separating polyhedron (if it exists) can be found in $O(m+ n\log{n})$ time, where $|V|=n$, $|E|=m$.
Moreover, a $O(n^{2/3})$-approximation of a separating polyhedron of minimum perimeter can be found in polynomial time. (III)~Given a set of $n$ point pairs in convex position in the plane, we show that a $(1+\varepsilon)$-approximation of a shortest separating cycle can be computed in time $n^{O(\varepsilon^{-1/2})}$. In this regard, we prove a lemma on convex polygon approximation that is of independent interest.
Lorentzian polynomials from polytope projections
Published
• View Publication
• BIB
Lorentzian polynomials, recently introduced by Brändén and Huh, generalize the notion of log-concavity of sequences to homogeneous polynomials whose supports are integer points of generalized permutahedra. Brändén and Huh show that normalizations of polynomials equaling integer point transforms of generalized permutahedra are Lorentzian; moreover, normalizations of certain projections of integer point transforms of generalized permutahedra with zero-one vertices are also Lorentzian. Taking this polytopal perspective further, we show that normalizations of certain projections of integer point transforms of flow polytopes (which, before projection, are not Lorentzian), are also Lorentzian.
On the Askey--Wilson type integrals
The Askey--Wilson integral is very important in the theory of orthogonal polynomials. Liu's integral is a generalization of the Askey--Wilson integral with many parameters. With the help of the series rearrangement method, we give the elementary proof of them. Furthermore, we establish two new Askey--Wilson type integrals in the similar way and find a generalization of a known transformation formula containing three $_{3}φ_{2}$ series.
Logarithmic A-hypergeometric series
Published
• View Publication
• BIB
The method of Frobenius is a standard technique to construct series solutions of an ordinary linear differential equation around a regular singular point. In the classical case, when the roots of the indicial polynomial are separated by an integer, logarithmic solutions can be constructed by means of perturbation of a root.
The method for a regular A-hypergeometric system is a theme of the book by Saito, Sturmfels, and Takayama. Whereas they perturbed a parameter vector to obtain logarithmic A-hypergeometric series solutions, we adopt a different perturbation in this paper.
$(2k+1)$-connected tournaments with large minimum out-degree are $k$-linked
Pokrovskiy conjectured that there is a function $f: \mathbb{N} \rightarrow \mathbb{N}$ such that any $2k$-strongly-connected tournament with minimum out and in-degree at least $f(k)$ is $k$-linked. In this paper, we show that any $(2k+1)$-strongly-connected tournament with minimum out-degree at least some polynomial in $k$ is $k$-linked, thus resolving the conjecture up to the additive factor of $1$ in the connectivity bound, but without the extra assumption that the minimum in-degree is large. Moreover, we show the condition on high minimum out-degree is necessary by constructing arbitrarily large tournaments that are $(2.5k-1)$-strongly-connected but are not $k$-linked.
Arborescences of Covering Graphs
Published
• View Publication
• BIB
An arborescence of a directed graph $Γ$ is a spanning tree directed toward a particular vertex $v$. The arborescences of a graph rooted at a particular vertex may be encoded as a polynomial $A_v(Γ)$ representing the sum of the weights of all such arborescences. The arborescences of a graph and the arborescences of a covering graph $\tildeΓ$ are closely related. Using voltage graphs as means to construct arbitrary regular covers, we derive a novel explicit formula for the ratio of $A_v(Γ)$ to the sum of arborescences in the lift $A_{\tilde{v}}(\tildeΓ)$ in terms of the determinant of Chaiken's voltage Laplacian matrix, a generalization of the Laplacian matrix. Chaiken's results on the relationship between the voltage Laplacian and vector fields on $Γ$ are reviewed, and we provide a new proof of Chaiken's results via a deletion-contraction argument.
Riordan arrays, the $A$-matrix, and Somos $4$ sequences
We characterize certain Riordan arrays by their $A$-matrices and $ρ$ sequences. We conjecture the form of a generic $A$-matrix which leads to Somos $4$ sequences. We find an $A$-matrix that produces a Riordan quasi-involution, and we study the $A$-matrices and $ρ$ sequences of the moment matrices of certain perturbed orthogonal polynomials.
An exact algorithm for the minimum rank of a graph
The minimum rank of a graph G is the minimum rank over all real symmetric matrices whose off-diagonal sparsity pattern is the same as that of the adjacency matrix of G. In this note we present the first exact algorithm for the minimum rank of an arbitrary graph G. In particular, we use the notion of determinantal rank to transform the minimum rank problem into a system of polynomial equations that can be solved by computational tools from algebraic geometry and commutative algebra. We provide computational results, explore possibilities for improvement, and discuss how the algorithm can be extended to other problems such as finding the minimum positive semidefinite rank of a graph.
$q$-Supercongruences modulo the fourth power of a cyclotomic polynomial via creative microscoping
Published
• View Publication
• BIB
By applying Chinese remainder theorem for coprime polynomials and the "creative microscoping" method recently introduced by the author and Zudilin, we establish parametric generalizations of three $q$-supercongruences modulo the fourth power of a cyclotomic polynomial. The original $q$-supercongruences then follow from these parametric generalizations by taking the limits as the parameter tends to $1$ (l'Hôpital's rule is utilized here). In particular, we prove a complete $q$-analogue of the (J.2) supercongruence of Van Hamme and a complete $q$-analogue of a "divergent" Ramanujan-type supercongruence, thus confirming two recent conjectures of the author. We also put forward some related conjectures, including a $q$-supercongruence modulo the fifth power of a cyclotomic polynomial.
A Broken Circuit Model for Chromatic Homology Theories
Published
• View Publication
• BIB
Using the tools of algebraic Morse theory, and the thin poset approach to constructing homology theories, we give a categorification of Whitney's broken circuit theorem for the chromatic polynomial, and for Stanley's chromatic symmetric function.