polynomial
11422 papers tagged with this keyword
Simple realizability of complete abstract topological graphs simplified
Published in Discrete and Computational Geometry 64 (2020), Issue 1, 1-27
• View Publication
• BIB
An abstract topological graph (briefly an AT-graph) is a pair $A=(G,\mathcal{X})$ where $G=(V,E)$ is a graph and $\mathcal{X}\subseteq {E \choose 2}$ is a set of pairs of its edges. The AT-graph $A$ is simply realizable if $G$ can be drawn in the plane so that each pair of edges from $\mathcal{X}$ crosses exactly once and no other pair crosses. We show that simply realizable complete AT-graphs are characterized by a finite set of forbidden AT-subgraphs, each with at most six vertices. This implies a straightforward polynomial algorithm for testing simple realizability of complete AT-graphs, which simplifies a previous algorithm by the author. We also show an analogous result for independent $\mathbb{Z}_2$-realizability, where only the parity of the number of crossings for each pair of independent edges is specified.
Motzkin numbers and related sequences modulo powers of $2$
Published in Europ. J. Combin. 73 (2018), 114-137
• View Publication
• BIB
We show that the generating function $\sum_{n\ge0}M_n\,z^n$ for Motzkin numbers $M_n$, when coefficients are reduced modulo a given power of $2$, can be expressed as a polynomial in the basic series $\sum _{e\ge0} ^{} {z^{4^e}}/( {1-z^{2\cdot 4^e}})$ with coefficients being Laurent polynomials in $z$ and $1-z$. We use this result to determine $M_n$ modulo $8$ in terms of the binary digits of~$n$, thus improving, respectively complementing earlier results by Eu, Liu and Yeh [Europ. J. Combin. 29 (2008), 1449-1466] and by Rowland and Yassawi [J. Théorie Nombres Bordeaux 27 (2015), 245-288]. Analogous results are also shown to hold for related combinatorial sequences, namely for the Motzkin prefix numbers, Riordan numbers, central trinomial coefficients, and for the sequence of hex tree numbers.
On semiring complexity of Schur polynomials
Published
• View Publication
• BIB
Semiring complexity is the version of arithmetic circuit complexity that allows only two operations: addition and multiplication. We show that when the number of variables is fixed, the semiring complexity of a Schur polynomial $s_λ$ is $O(log(λ_1))$; here $λ_1$ is the largest part of the partition $λ$.
Quasi-matroidal classes of ordered simplicial complexes
Published
• View Publication
• BIB
We introduce the notion of a quasi-matroidal class of ordered simplicial complexes: an approximation to the idea of a matroid cryptomorphism in the landscape of ordered simplicial complexes. A quasi-matroidal class contains pure shifted simplicial complexes and ordered matroid independence complexes. The essential property is that if a fixed simplicial complex belongs to this class for every ordering of its vertex set, then it is a matroid independence complex. Some examples of such classes appear implicitly in the matroid theory literature. We introduce various such classes that highlight different apsects of matroid theory and its similarities with the theory of shifted simplicial complexes. For example, we lift the study of objects like the Tutte polynomial and nbc complexes to a quasi-matroidal class that allows us to define such objects for shifted complexes. Furthermore, some of the quasi-matroidal classes are amenable to inductive techniques that can't be applied directly in the context of matroid theory. As an example, we provide a suitable setting to reformulate and extend conjecture of Stanley about $h$-vectors of matroids which is expected to be tractable with techniques that are out of reach for matroids alone. This new conjecture holds for pure shifted simplicial complexes and matroids of rank up to 4.
Bernstein-Sato Polynomials on Normal Toric Varieties
Published
• View Publication
• BIB
We generalize the Bernstein-Sato polynomials of Budur, Mustata and Saito to ideals in normal semigroup rings. In the case of monomial ideals, we also relate the roots of the Bernstein-Sato polynomial to the jumping coefficients of the corresponding multiplier ideals. In order to prove the latter result, we obtain a new combinatorial description for the multiplier ideals of a monomial ideal in a normal semigroup ring.
On q-integrals over order polytopes
Published
• View Publication
• BIB
A combinatorial study of multiple $q$-integrals is developed. This includes a $q$-volume of a convex polytope, which depends upon the order of $q$-integration. A multiple $q$-integral over an order polytope of a poset is interpreted as a generating function of linear extensions of the poset. Specific modifications of posets are shown to give predictable changes in $q$-integrals over their respective order polytopes. This method is used to combinatorially evaluate some generalized $q$-beta integrals. One such application is a combinatorial interpretation of a $q$-Selberg integral. New generating functions for generalized Gelfand-Tsetlin patterns and reverse plane partitions are established. A $q$-analogue to a well known result in Ehrhart theory is generalized using $q$-volumes and $q$-Ehrhart polynomials.
Bi-Arc Digraphs and Conservative Polymorphisms
In this paper we study the class of bi-arc digraphs, important from two seemingly unrelated perspectives. On the one hand, they are precisely the digraphs that admit certain polymorphisms of interest in the study of constraint satisfaction problems; on the other hand, they are a very broad generalization of interval graphs.
Bi-arc digraphs is the class of digraphs that admit conservative semilattice polymorphisms. There is much interest in understanding structures that admit particular types of polymorphisms, and especially in their recognition algorithms. (Such problems are referred to as metaproblems.) Surprisingly, the class of bi-arc digraphs also describes the class of digraphs that admit certain other kinds of conservative polymorphisms. Thus solving the recognition problem for bi-arc digraphs solves the metaproblem for digraphs for several types of conservative polymorphisms. The complexity of the recognition problem for digraphs with conservative semilattice polymorphisms was an open problem, while it was known to be NP-complete for certain more complex relational structures. We complement our result by providing a complete dichotomy classification of which general relational structures have polynomial or NP-complete recognition problems for the existence of conservative semilattice polymorphisms.
Bi-arc digraphs also generalizes the class of interval graphs; in fact it reduces to the class of interval graphs for symmetric and reflexive digraphs. It is much broader than interval graphs and includes other generalizations of interval graphs such as co-threshold tolerance graphs and adjusted interval digraphs. Yet, it is still a reasonable extension of interval graphs, in the sense that it keeps much of the appeal of interval graphs.
Our main result is a forbidden obstruction characterization of, and a polynomial recognition for, the class of bi-arc digraphs.
Graphs and spherical two-distance sets
Published in European Journal of Combinatorics, 80:1 (2019), 311-325
• View Publication
• BIB
Every graph G can be embedded in a Euclidean space as a two-distance set. The Euclidean representation number of G is the smallest dimension in which G is representable by such an embedding. We consider spherical and J-spherical representation numbers of G and give exact formulas for these numbers using multiplicities of polynomials that are defined by the Caley-Menger determinant. One of the main results of the paper are explicit formulas for the representation numbers of the join of graphs which are obtained from W. Kuperberg's type theorem for two-distance sets.
Veronesean almost binomial almost complete intersections
The second Veronese ideal $I_n$ contains a natural complete intersection $J_n$ generated by the principal $2$-minors of a symmetric $(n\times n)$-matrix. We determine subintersections of the primary decomposition of $J_n$ where one intersectand is omitted. If $I_n$ is omitted, the result is the other end of a complete intersection link as in liaison theory. These subintersections also yield interesting insights into binomial ideals and multigraded algebra. For example, if $n$ is even, $I_n$ is a Gorenstein ideal and the intersection of the remaining primary components of $J_n$ equals $J_n+\langle f \rangle$ for an explicit polynomial $f$ constructed from the fibers of the Veronese grading map.
Some sums over irreducible polynomials
Published in Alg. Number Th. 11 (2017) 1231-1241
• View Publication
• BIB
We prove a number of conjectures due to Dinesh Thakur concerning sums of the form $\sum_P h(P)$ where the sum is over monic irreducible polynomials $P$ in $\mathbb{F}_q[T]$, the function $h$ is a rational function and the sum is considered in the $T^{-1}$-adic topology. As an example of our results, in $\mathbb{F}_2[T]$, the sum $\sum_P \tfrac{1}{P^k - 1}$ always converges to a rational function, and is $0$ for $k=1$.
The Zero Locus of the $F$-triangle
We are interested in the zero locus of a Chapoton's $F$-triangle as a polynomial in two real variables $x$ and $y$. An expectation is that (1) the $F$-triangle of rank $l$ as a polynomial in $x$ for each fixed $y\in[0,1]$, has exactly $l$ distinct real roots in $[0,1]$, and (2) $i$-th root $x_i(y)$ ($1 \le i \le l$) as a function on $y \in [0,1]$ is monotone decreasing. In order to understand these phenomena, we slightly generalized the concept of $F$-triangles and study the problem on the space of such generalized triangles. We analyze the case of low rank in details and show that the above expectation is true. We formulate inductive conjectures and questions for further rank cases. This study gives a new insight on the zero loci of $f^+$- and $f$-polynomials.
On $H$-Topological Intersection Graphs
Published
• View Publication
• BIB
Biró et al. (1992) introduced $H$-graphs, intersection graphs of connected subgraphs of a subdivision of a graph $H$. They are related to many classes of geometric intersection graphs, e.g., interval graphs, circular-arc graphs, split graphs, and chordal graphs.
We negatively answer the 25-year-old question of Biró et al. which asks if $H$-graphs can be recognized in polynomial time, for a fixed graph $H$. We prove that it is NP-complete if $H$ contains the diamond graph as a minor. We provide a polynomial-time algorithm recognizing $T$-graphs, for each fixed tree $T$. When $T$ is a star $S_d$ of degree $d$, we have an $O(n^{3.5})$-time algorithm.
We give FPT- and XP-time algorithms solving the minimum dominating set problem on $S_d$-graphs and $H$-graphs parametrized by $d$ and the size of $H$, respectively. The algorithm for $H$-graphs adapts to an XP-time algorithm for the independent set and the independent dominating set problems on $H$-graphs.
If $H$ contains the double-triangle as a minor, we prove that $H$-graphs are GI-complete and that the clique problem is APX-hard. The clique problem can be solved in polynomial time if $H$ is a cactus graph. When a graph $G$ has a Helly $H$-representation, the clique problem can be solved in polynomial time.
We show that both the $k$-clique and the list $k$-coloring problems are solvable in FPT-time on $H$-graphs (parameterized by $k$ and the treewidth of $H$). In fact, these results apply to classes of graphs with treewidth bounded by a function of the clique number.
We observe that $H$-graphs have at most $n^{O(\|H\|)}$ minimal separators which allows us to apply the meta-algorithmic framework of Fomin et al. (2015) to show that for each fixed $t$, finding a maximum induced subgraph of treewidth $t$ can be done in polynomial time. When $H$ is a cactus, we improve the bound to $O(\|H\|n^2)$.
Lattice points in algebraic cross-polytopes and simplices
Published in Discrete Comput. Geom. 60 (2018) 145-169
• View Publication
• BIB
The number of lattice points $\left| tP \cap \mathbb{Z}^d \right|$, as a function of the real variable $t>1$ is studied, where $P \subset \mathbb{R}^d$ belongs to a special class of algebraic cross-polytopes and simplices. It is shown that the number of lattice points can be approximated by an explicitly given polynomial of $t$ depending only on $P$. The error term is related to a simultaneous Diophantine approximation problem for algebraic numbers, as in Schmidt's theorem. The main ingredients of the proof are a Poisson summation formula for general algebraic polytopes, and a representation of the Fourier transform of the characteristic function of an arbitrary simplex in the form of a complex line integral.
Shifted symmetric functions and multirectangular coordinates of Young diagrams
Published in Journal of Algebra, 483, pp. 262-305, 2017
• View Publication
• BIB
In this paper, we study shifted Schur functions $S_μ^\star$, as well as a new family of shifted symmetric functions $\mathfrak{K}_μ$ linked to Kostka numbers. We prove that both are polynomials in multi-rectangular coordinates, with nonnegative coefficients when written in terms of falling factorials. We then propose a conjectural generalization to the Jack setting. This conjecture is a lifting of Knop and Sahi's positivity result for usual Jack polynomials and resembles recent conjectures of Lassalle. We prove our conjecture for one-part partitions.
Combinatorial properties of symmetric polynomials from integrable vertex models in finite lattice
Published in Journal of Mathematical Physics 58, 091703 (2017)
• View Publication
• BIB
We introduce and study several combinatorial properties of a class of symmetric polynomials from the point of view of integrable vertex models in finite lattice. We introduce the $L$-operator related with the $U_q(sl_2)$ $R$-matrix, and construct the wavefunctions and their duals. We prove the exact correspondence between the wavefunctions and symmetric polynomials which is a quantum group deformation of the Grothendieck polynomials. This is proved by combining the matrix product method and an analysis on the domain wall boundary partition functions. As applications of the correspondence between the wavefunctions and symmetric polynomials, we derive several properties of the symmetric polynomials such as the determinant pairing formulas and the branching formulas by analyzing the domain wall boundary partition functions and the matrix elements of the $B$-operators.
Computing the Independence Polynomial: from the Tree Threshold down to the Roots
Published
• View Publication
• BIB
We study an algorithm for approximating the multivariate independence polynomial $Z(\mathbf{z})$, with negative and complex arguments, an object that has strong connections to combinatorics and to statistical physics. In particular, the independence polynomial with negative arguments, $Z(-\mathbf{p})$, determines the Shearer region, the maximal region of probabilities to which the Lovasz Local Lemma (LLL) can be extended (Shearer 1985). In statistical physics, complex zeros of the independence polynomial relate to existence of phase transitions.
Our main result is a deterministic algorithm to compute approximately the independence polynomial in any root-free complex polydisc centered at the origin. Our algorithm is essentially the same as Weitz's algorithm for positive parameters up to the tree uniqueness threshold, and the core of our analysis is a novel multivariate form of the correlation decay technique, which can handle non-uniform complex parameters. In particular, in the univariate real setting our work implies that Weitz's algorithm works in an interval between two critical points $(λ'_c(d), λ_c(d))$, and outside of this interval an approximation of $Z(\mathbf{z})$ is known to be NP-hard.
As an application, we give a sub-exponential time algorithm for testing approximate membership in the Shearer region. We also give a new rounding based deterministic algorithm for Shearer's lemma (an extension of the LLL), which, however, runs in sub-exponential time. On the hardness side, we prove that evaluating $Z(\mathbf{z})$ at an arbitrary point in Shearer's region, and testing membership in Shearer's region, are #P-hard problems. We also establish the best possible dependence of the exponent of the run time of Weitz's correlation decay technique in the negative regime on the distance to the boundary of the Shearer region.
An iterative formula for the Kostka-Foulkes polynomials
Published in J. Algebr. Combin. 54 (2021), 625-634
• View Publication
• BIB
An iterative formula for the Kostka-Foulkes polynomials is given using the vertex operator realization of the Hall-Littlewood polynomials. The operational formula can handle large Kostka-Foulkes polynomials, and a stability property for the Kostka-Foulkes polynomials is shown. We also use our algorithm to give a formula of $K_{λμ}(t)$ for $μ$ being hook-shaped.
Skew-signings of positive weighted digraphs
Published
• View Publication
• BIB
An arc-weighted digraph is a pair $(D,ω)$ where $D$ is a digraph and $ω$ is an \emph{arc-weight function} that assigns\ to each arc $uv$ of $D$ a nonzero real number $ω(uv)$. Given an arc-weighted digraph $(D,ω)$ with vertices $v_{1},\ldots,v_{n}$, the weighted adjacency matrix of $(D,ω)$ is defined as the matrix $A(D,ω)=[a_{ij}]$ where $a_{ij}=ω(v_{i}v_{j})$, if $v_{i}v_{j}\ $an arc of $D$ and $0$ otherwise. Let $(D,ω)$ be a positive arc-weighted digraphs and assume that $D$ is loopless and symmetric. A skew-signing of $(D,ω)$ is an arc-weight function $ω^{\prime}$ such that $ω^{\prime}(uv)=\pm ω(uv)$ and $ω^{\prime}(uv)ω^{\prime}(vu)<0$ for every arc $uv$ of $D$. In this paper, we give necessary and sufficient conditions under which the characteristic polynomial of $A(D,ω^{\prime})$ is the same for every skew-signing $ω^{\prime}$ of $(D,ω)$. Our Main Theorem generalizes a result of Cavers et al (2012) about skew-adjacency matrices of graphs.
Properties of the Extended Graph Permanent
Published
• View Publication
• BIB
Previously, the graph permanent was introduced as a single-valued invariant for graphs $G$ with $|E(G)| = k(|V(G)|-1)$ for some $k \in \mathbb{Z}_{>0}$. Herein, we construct the extended graph permanent, an infinite sequence for all graphs. We prove that, like the graph permanent, the extended graph permanent is invariant under the graph operations that are known to preserve the period. Further, the original construction and extension arise from permanents of matrices, but we construct a novel graph polynomial such that the sequence can be generated from the point count of this polynomial, as a residue over prime-order finite fields.
Three friendly walkers
Published in J Phys A 50, 024003 (2017)
• View Publication
• BIB
More than 15 years ago Guttmann and Vöge [J. Statist. Plann. Inference, {\bf 101}, 107 (2002)], introduced a model of friendly walkers. Since then it has remained unsolved. In this paper we provide the exact solution to a closely allied model, originally introduced by Tsuchiya and Katori [J. Phys. Soc. Japan {\bf 67}, 1655 (1988)], which essentially only differs in the boundary conditions. The exact solution is expressed in terms of the reciprocal of the generating function for vicious walkers which is a D-finite function. However, ratios of D-finite functions are inherently not D-finite and in this case we prove that the friendly walkers generating function is the solution to a non-linear differential equation with polynomial coefficients, it is in other words D-algebraic. We then show via numerically exact calculations that the generating function of the original model can also be expressed as a D-finite function times the reciprocal of the generating function for vicious walkers. We obtain an expression for this D-finite function in terms of a ${}_{2}F_{1}$ hypergeometric function with a rational pullback and its first and second derivatives.