polynomial
11432 papers tagged with this keyword
Canonical models of toric hypersurfaces
Published
• View Publication
• BIB
Let $Z$ be a nondegenerate hypersurface in $d$-dimensional torus $(\mathbb{C}^*)^d$ defined by a Laurent polynomial $f$ with a $d$-dimensional Newton polytope $P$. The subset $F(P) \subset P$ consisting of all points in $P$ having integral distance at least $1$ to all integral supporting hyperplanes of $P$ is called the Fine interior of $P$. If $F(P) \neq \emptyset$ we construct a unique projective model $\widetilde{Z}$ of $Z$ having at worst canonical singularities and obtain minimal models $\hat{Z}$ of $Z$ by crepant morphisms $\hat{Z}\to \widetilde{Z}$. We show that the Kodaira dimension $κ=κ(\widetilde{Z})$ equals $\min \{ d-1, \dim F(P) \}$ and the general fibers in the Iitaka fibration of the canonical model $\widetilde{Z}$ are non\-degenerate $(d-1-κ)$-dimensional toric hypersurfaces of Kodaira dimension $0$. Using $F(P)$, we obtain a simple combinatorial formula for the intersection number $(K_{\widetilde{Z}})^{d-1}$.
Lower bounds for contingency tables via Lorentzian polynomials
Published
• View Publication
• BIB
We present a new lower bound on the number of contingency tables, improving upon and extending previous lower bounds by Barvinok and Gurvits. As an application, we obtain new lower bounds on the volumes of flow and transportation polytopes. Our proofs are based on recent results on Lorentzian polynomials.
Spectra of generalized corona of graphs constrained by vertex subsets
Published
• View Publication
• BIB
In this paper, we introduce a generalization of corona of graphs. This construction generalizes the generalized corona of graphs (consequently, the corona of graphs), the cluster of graphs, the corona-vertex subdivision graph of graphs and the corona-edge subdivision graph of graphs. Further, it enables to get some more variants of corona of graphs as its particular cases. To determine the spectra of the adjacency, Laplacian and the signless Laplacian matrices of the above mentioned graphs, we define a notion namely, the coronal of a matrix constrained by an index set, which generalizes the coronal of a graph matrix. Then we prove several results pertain to the determination of this value. Then we determine the characteristic polynomials of the adjacency and the Laplacian matrices of this graph in terms of the characteristic polynomials of the adjacency and the Laplacian matrices of the constituent graphs and the coronal of some matrices related to the constituent graphs. Using these, we derive the characteristic polynomials of the adjacency and the Laplacian matrices of the above mentioned existing variants of corona of graphs, and some more variants of corona of graphs with some special constraints.
Base Polynomials for Schultz Invariants of Linear Phenylenes
Let $L_{n}$ be the molecular graph of linear $[n]$phenylene, and $L'_{n}$ the graph obtained by attaching 4-membered cycles to terminal hexagons of $L_{n-1}$. Thus, $L'_{n}$ is the molecular graph of the $α,ω$ - dicyclobutadieno derivative of $[n-1]$phenylene, containing $n-1$ hexagons and $n$ squares. In this paper we give polynomials which serve as bases for Schultz invariants. Actually, we represent lengths of paths among vertices of degrees 2-2, 2-3, and 3-3 of $L_{n}$ and $L'_{n}$ in terms of polynomials, which are used to find Schultz polynomial, modified Schultz polynomial, Schultz index, and modified Schultz index.
Schubert calculus from polyhedral parametrizations of Demazure crystals
Published
• View Publication
• BIB
One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of mitosis operators, and apply these observations to develop the theory of Schubert calculus on symplectic Gelfand-Tsetlin polytopes.
On construction and (non)existence of $c$-(almost) perfect nonlinear functions
Published
• View Publication
• BIB
Functions with low differential uniformity have relevant applications in cryptography. Recently, functions with low $c$-differential uniformity attracted lots of attention. In particular, so-called APcN and PcN functions (generalization of APN and PN functions) have been investigated. Here, we provide a characterization of such functions via quadratic polynomials as well as non-existence results.
On a Stirling-Whitney-Riordan triangle
Published
• View Publication
• BIB
Based on the Stirling triangle of the second kind, the Whitney triangle of the second kind and one triangle of Riordan, we study a Stirling-Whitney-Riordan triangle $[T_{n,k}]_{n,k}$ satisfying the recurrence relation: \begin{eqnarray*} T_{n,k}&=&(b_1k+b_2)T_{n-1,k-1}+[(2λb_1+a_1)k+a_2+λ( b_1+b_2)] T_{n-1,k}+\\ &&λ(a_1+λb_1)(k+1)T_{n-1,k+1}, \end{eqnarray*} where initial conditions $T_{n,k}=0$ unless $0\le k\le n$ and $T_{0,0}=1$.
We prove that the Stirling-Whitney-Riordan triangle $[T_{n,k}]_{n,k}$ is $\textbf{x}$-totally positive with $\textbf{x}=(a_1,a_2,b_1,b_2,λ)$. We show that the row-generating function $T_n(q)$ has only real zeros and the Turán-type polynomial $T_{n+1}(q)T_{n-1}(q)-T^2_n(q)$ is stable. We also present explicit formulae for $T_{n,k}$ and the exponential generating function of $T_n(q)$ and give a Jacobi continued fraction expansion for the ordinary generating function of $T_n(q)$. Furthermore, we get the $\textbf{x}$-Stieltjes moment property and $3$-$\textbf{x}$-log-convexity of $T_n(q)$ and show that the triangular convolution $z_n=\sum_{i=0}^nT_{n,i}x_iy_{n-i}$ preserves Stieltjes moment property of sequences. Finally, for the first column $(T_{n,0})_{n\geq0}$, we derive some properties similar to those of $(T_n(q))_{n\geq0}.$
The Faddeev-LeVerrier algorithm and the Pfaffian
Published in Linear Algebra and its Applications 630 (2021), 39-55
• View Publication
• BIB
We adapt the Faddeev-LeVerrier algorithm for the computation of characteristic polynomials to the computation of the Pfaffian of a skew-symmetric matrix. This yields a very simple, easy to implement and parallelize algorithm of computational cost $O(n^{β+1})$ where $n$ is the size of the matrix and $O(n^β)$ is the cost of multiplying $n\times n$-matrices, $β\in[2,2.37286)$. We compare its performance to that of other algorithms and show how it can be used to compute the Euler form of a Riemannian manifold using computer algebra.
Essential graded algebra over polynomial rings with real exponents
Published
• View Publication
• BIB
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of Nakayama's lemma; complete theories of minimal and dense primary, secondary, and irreducible decomposition, including associated and attached faces; socles and tops; minimality and density for downset hulls, upset covers, and fringe presentations; Matlis duality; and geometric analysis of staircases. Modules that are semialgebraic or piecewise-linear (PL) have the relevant property preserved by functorial constructions as well as by minimal primary and secondary decompositions. And when the modules in question are subquotients of the group itself, such as monomial ideals and quotients modulo them, minimal primary and secondary decompositions are canonical, as are irreducible decompositions up to the new real-exponent notion of density.
On partition polynomials and partition functions
In this paper we revisit the work of E.T. Bell concerning partition polynomials in order to introduce the reciprocal partition polynomials. We give their explicit formulas and apply the result to compute closed formulae for some well-known partition functions.
The Graham--Knuth--Patashnik recurrence: Symmetries and continued fractions
Published in Electron. J. Combin. 28 (2021) #P2.18
• View Publication
• BIB
We study the triangular array defined by the Graham--Knuth--Patashnik recurrence $T(n,k) = (αn + βk + γ)\, T(n-1,k)+(α' n + β' k + γ') \, T(n-1,k-1)$ with initial condition $T(0,k) = δ_{k0}$ and parameters $\mathbfμ = (α,β,γ, α',β',γ')$. We show that the family of arrays $T(\mathbfμ)$ is invariant under a 48-element discrete group isomorphic to $S_3 \times D_4$. Our main result is to determine all parameter sets $\mathbfμ \in \mathbb{C}^6$ for which the ordinary generating function $f(x,t) = \sum_{n,k=0}^\infty T(n,k) \, x^k t^n$ is given by a Stieltjes-type continued fraction in $t$ with coefficients that are polynomials in $x$. We also exhibit some special cases in which $f(x,t)$ is given by a Thron-type or Jacobi-type continued fraction in $t$ with coefficients that are polynomials in $x$.
Signed Mahonian on Parabolic Quotients of Colored Permutation Groups
Published
• View Publication
• BIB
We study the generating polynomial of the flag major index with each one-dimensional character, called signed Mahonian polynomial, over the colored permutation group, the wreath product of a cyclic group with the symmetric group. Using the insertion lemma of Han and Haglund-Loehr-Remmel and a signed extension established by Eu et al., we derive the signed Mahonian polynomial over the quotients of parabolic subgroups of the colored permutation group, for a variety of systems of coset representatives in terms of subsequence restrictions. This generalizes the related work over parabolic quotients of the symmetric group due to Caselli as well as to Eu et al. As a byproduct, we derive a product formula that generalizes Biagioli's result about the signed Mahonian on the even signed permutation groups.
Characterization and a 2D Visualization of B$_0$-VPG Cocomparability Graphs
Published
• View Publication
• BIB
B$_0$-VPG graphs are intersection graphs of vertical and horizontal line segments on a plane. Cohen, Golumbic, Trotter, and Wang [Order, 2016] pose the question of characterizing B$_0$-VPG permutation graphs. We respond here by characterizing B$_0$-VPG cocomparability graphs. This characterization also leads to a polynomial time recognition and B$_0$-VPG drawing algorithm for the class. Our B$_0$-VPG drawing algorithm starts by fixing any one of the many posets $P$ whose cocomparability graph is the input graph $G$. The drawing we obtain not only visualizes $G$ in that one can distinguish comparable pairs from incomparable ones, but one can also identify which among a comparable pair is larger in $P$ from this visualization.
The bipermutahedron
Published
• View Publication
• BIB
The harmonic polytope and the bipermutahedron are two related polytopes which arose in Ardila, Denham, and Huh's work on the Lagrangian geometry of matroids. We study the bipermutahedron. We show that its faces are in bijection with the vertex-labeled and edge-labeled multigraphs with no isolated vertices; the generating function for its f-vector is a simple evaluation of the three variable Rogers--Ramanujan function.
We show that the h-polynomial of the bipermutahedral fan is the biEulerian polynomial, which counts bipermutations according to their number of descents. We construct a unimodular triangulation of the product of n triangles that is combinatorially equivalent to (the triple cone over) the nth bipermutahedral fan. Ehrhart theory then gives us a formula for the biEulerian polynomial, which we use to show that this polynomial is real-rooted and that the h-vector of the bipermutahedral fan is log-concave and unimodal.
We describe all the deformations of the bipermutahedron; that is, the ample cone of the bipermutahedral toric variety. We prove that among all polytopes in this family, the bipermutahedron has the largest possible symmetry group. Finally, we show that the Minkowski quotient of the bipermutahedron and the harmonic polytope equals 2.
Joints of varieties
Published in Geom. Funct. Anal. 32, 302--339 (2022)
• View Publication
• BIB
We generalize the Guth--Katz joints theorem from lines to varieties. A special case says that $N$ planes (2-flats) in 6 dimensions (over any field) have $O(N^{3/2})$ joints, where a joint is a point contained in a triple of these planes not all lying in some hyperplane. More generally, we prove the same bound when the set of $N$ planes is replaced by a set of 2-dimensional algebraic varieties of total degree $N$, and a joint is a point that is regular for three varieties whose tangent planes at that point are not all contained in some hyperplane. Our most general result gives upper bounds, tight up to constant factors, for joints with multiplicities for several sets of varieties of arbitrary dimensions (known as Carbery's conjecture). Our main innovation is a new way to extend the polynomial method to higher dimensional objects, relating the degree of a polynomial and its orders of vanishing on a given set of points on a variety.
Eigenvalues of graph Laplacians via rank-one perturbations
Published
• View Publication
• BIB
We show how the spectrum of a graph Laplacian changes with respect to a certain type of rank-one perturbation. We apply our finding to give new short proofs of the spectral version of Kirchhoff's Matrix Tree Theorem and known derivations for the characteristic polynomials of the Laplacians for several well known families of graphs, including complete, complete multipartite, and threshold graphs.
Diagonal degenerations of matrix Schubert varieties
Published
• View Publication
• BIB
Knutson and Miller (2005) established a connection between the anti-diagonal Gröbner degenerations of matrix Schubert varieties and the pre-existing combinatorics of pipe dreams. They used this correspondence to give a geometrically-natural explanation for the appearance of the combinatorially-defined Schubert polynomials as representatives of Schubert classes. Recently, Hamaker, Pechenik, and Weigandt (2022) proposed a similar connection between diagonal degenerations of matrix Schubert varieties and bumpless pipe dreams, newer combinatorial objects introduced by Lam, Lee, and Shimozono (2021). Hamaker, Pechenik, and Weigandt described new generating sets of the defining ideals of matrix Schubert varieties and conjectured a characterization of permutations for which these generating sets form diagonal Gröbner bases. They proved special cases of this conjecture and described diagonal degenerations of matrix Schubert varieties in terms of bumpless pipe dreams in these cases. The purpose of this paper is to prove the conjecture in full generality. The proof uses a connection between liaison and geometric vertex decomposition established in earlier work with Rajchgot (2021).
Extension to the Beraha-Kahane-Weiss Theorem with Applications
Published
• View Publication
• BIB
The beautiful Beraha-Kahane-Weiss theorem has found many applications within graph theory, allowing for the determination of the limits of root of graph polynomials in settings as vast as chromatic polynomials, network reliability, and generating polynomials related to independence and domination. Here we extend the class of functions to which the BKW theorem can be applied, and provide some applications in combinatorics.
On the modular Jones polynomial
Published
• View Publication
• BIB
A major problem in knot theory is to decide whether the Jones polynomial detects the unknot. In this paper we study a weaker related problem, namely whether the Jones polynomial reduced modulo an integer $n$ detects the unknot. The answer is known to be negative for $n=2^k$ with $k\geq 1$ and $n=3$. Here we show that if the answer is negative for some $n$, then it is negative for $n^k$ with any $k\geq 1$. In particular, for any $k\geq 1$, we construct nontrivial knots whose Jones polynomial is trivial modulo~$3^k$.
Approximating pathwidth for graphs of small treewidth
Published in ACM Transactions on Algorithms, 19/2:1--19, 2023
• View Publication
• BIB
We describe a polynomial-time algorithm which, given a graph $G$ with treewidth $t$, approximates the pathwidth of $G$ to within a ratio of $O(t\sqrt{\log t})$. This is the first algorithm to achieve an $f(t)$-approximation for some function $f$.
Our approach builds on the following key insight: every graph with large pathwidth has large treewidth or contains a subdivision of a large complete binary tree. Specifically, we show that every graph with pathwidth at least $th+2$ has treewidth at least $t$ or contains a subdivision of a complete binary tree of height $h+1$. The bound $th+2$ is best possible up to a multiplicative constant. This result was motivated by, and implies (with $c=2$), the following conjecture of Kawarabayashi and Rossman (SODA'18): there exists a universal constant $c$ such that every graph with pathwidth $Ω(k^c)$ has treewidth at least $k$ or contains a subdivision of a complete binary tree of height $k$.
Our main technical algorithm takes a graph $G$ and some (not necessarily optimal) tree decomposition of $G$ of width $t'$ in the input, and it computes in polynomial time an integer $h$, a certificate that $G$ has pathwidth at least $h$, and a path decomposition of $G$ of width at most $(t'+1)h+1$. The certificate is closely related to (and implies) the existence of a subdivision of a complete binary tree of height $h$. The approximation algorithm for pathwidth is then obtained by combining this algorithm with the approximation algorithm of Feige, Hajiaghayi, and Lee (STOC'05) for treewidth.