polynomial
11257 papers tagged with this keyword
The cyclotomic polynomial topologically
Published
• View Publication
• BIB
We interpret the coefficients of the cyclotomic polynomial in terms of simplicial homology.
On the approximability and exact algorithms for vector domination and related problems in graphs
Published in Discrete Applied Mathematics 2012 (online)
• View Publication
• BIB
We consider two graph optimization problems called vector domination and total vector domination. In vector domination one seeks a small subset S of vertices of a graph such that any vertex outside S has a prescribed number of neighbors in S. In total vector domination, the requirement is extended to all vertices of the graph. We prove that these problems (and several variants thereof) cannot be approximated to within a factor of clnn, where c is a suitable constant and n is the number of the vertices, unless P = NP. We also show that two natural greedy strategies have approximation factors ln D+O(1), where D is the maximum degree of the input graph. We also provide exact polynomial time algorithms for several classes of graphs. Our results extend, improve, and unify several results previously known in the literature.
Generalizing Tanisaki's ideal via ideals of truncated symmetric functions
Published in Journal of Algebraic Combinatorics, Volume 37 (2013), 167--199
• View Publication
• BIB
We define a family of ideals $I_h$ in the polynomial ring $\mathbb{Z}[x_1,...,x_n]$ that are parametrized by Hessenberg functions $h$ (equivalently Dyck paths or ample partitions). The ideals $I_h$ generalize algebraically a family of ideals called the Tanisaki ideal, which is used in a geometric construction of permutation representations called Springer theory. To define $I_h$, we use polynomials in a proper subset of the variables ${x_1,...,x_n}$ that are symmetric under the corresponding permutation subgroup. We call these polynomials {\em truncated symmetric functions} and show combinatorial identities relating different kinds of truncated symmetric polynomials. We then prove several key properties of $I_h$, including that if $h>h'$ in the natural partial order on Dyck paths then $I_{h} \subset I_{h'}$, and explicitly construct a Gröbner basis for $I_h$. We use a second family of ideals $J_h$ for which some of the claims are easier to see, and prove that $I_h = J_h$. The ideals $J_h$ arise in work of Ding, Develin-Martin-Reiner, and Gasharov-Reiner on a family of Schubert varieties called partition varieties. Using earlier work of the first author, the current manuscript proves that the ideals $I_h = J_h$ generalize the Tanisaki ideals both algebraically and geometrically, from Springer varieties to a family of nilpotent Hessenberg varieties.
The Complexity of Approximately Counting Stable Roommate Assignments
Published in JCSS 2012
• View Publication
• BIB
We investigate the complexity of approximately counting stable roommate assignments in two models: (i) the $k$-attribute model, in which the preference lists are determined by dot products of "preference vectors" with "attribute vectors" and (ii) the $k$-Euclidean model, in which the preference lists are determined by the closeness of the "positions" of the people to their "preferred positions". Exactly counting the number of assignments is #P-complete, since Irving and Leather demonstrated #P-completeness for the special case of the stable marriage problem. We show that counting the number of stable roommate assignments in the $k$-attribute model ($k \geq 4$) and the 3-Euclidean model($k \geq 3$) is interreducible, in an approximation-preserving sense, with counting independent sets (of all sizes) (#IS) in a graph, or counting the number of satisfying assignments of a Boolean formula (#SAT). This means that there can be no FPRAS for any of these problems unless NP=RP. As a consequence, we infer that there is no FPRAS for counting stable roommate assignments (#SR) unless NP=RP. Utilizing previous results by the authors, we give an approximation-preserving reduction from counting the number of independent sets in a bipartite graph (#BIS) to counting the number of stable roommate assignments both in the 3-attribute model and in the 2-Euclidean model. #BIS is complete with respect to approximation-preserving reductions in the logically-defined complexity class $#RHΠ_1$. Hence, our result shows that an FPRAS for counting stable roommate assignments in the 3-attribute model would give an FPRAS for all of $#RHΠ_1$. We also show that the 1-attribute stable roommate problem always has either one or two stable roommate assignments, so the number of assignments can be determined exactly in polynomial time.
A simple proof of a generalization of the Chu-Vandermonde identity
We provide a simple proof of a generalization of the multivariate Chu-Vandermonde identity recently derived in Favaro et al. (2010a). Exploiting known results for rising factorials and fourth Lauricella polynomials we show resorting to Laplace-type integral representation of the fourth Lauricella function may be avoided.
Loop symmetric functions and factorizing matrix polynomials
These are notes for my talk at ICCM 2010, Beijing. We survey some results, obtained jointly with Pavlo Pylyavskyy, concerning the ring of loop symmetric functions. Motivations from networks on surfaces, total positivity, crystal graphs, and discrete integrable systems are discussed.
A polynomial invariant and duality for triangulations
Published in Electron. J. Combin. 21 (2014), no. 3, Paper 3.42
• View Publication
• BIB
The Tutte polynomial is a classical invariant, important in combinatorics and statistical mechanics. An essential feature of the Tutte polynomial is the duality for planar graphs G, $T_G(X,Y)\; =\; {T}_{G^*}(Y,X)$ where $G^*$ denotes the dual graph. We examine this property from the perspective of manifold topology, formulating polynomial invariants for higher-dimensional simplicial complexes. Polynomial duality for triangulations of a sphere follows as a consequence of Alexander duality.
The main goal of this paper is to introduce and begin the study of a more general 4-variable polynomial for triangulations and handle decompositions of orientable manifolds. Polynomial duality in this case is a consequence of Poincare duality on manifolds. In dimension 2 these invariants specialize to the well-known polynomial invariants of ribbon graphs defined by B. Bollobas and O. Riordan. Examples and specific evaluations of the polynomials are discussed.
Supercongruences involving products of two binomial coefficients
Published in Finite Fields Appl. 22(2013), 24-44
• View Publication
• BIB
In this paper we deduce some new supercongruences modulo powers of a prime $p>3$. Let $d\in\{0,1,\ldots,(p-1)/2\}$. We show that
$$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{2k}{k+d}}{8^k}\equiv 0\ (\mbox{mod}\ p)\ \ \ \mbox{if}\ d\equiv \frac{p+1}2\ (\mbox{mod}\ 2),$$ and $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{2k}{k+d}}{16^k} \equiv\left(\frac{-1}p\right)+p^2\frac{(-1)^d}4E_{p-3}\left(d+\frac12\right)\pmod{p^3},$$ where $E_{p-3}(x)$ denotes the Euler polynomial of degree $p-3$, and $(-)$ stands for the Legendre symbol. The paper also contains some other results such as $$\sum_{k=0}^{p-1}k^{(1+(\frac{-1}p))/2}\frac{\binom{6k}{3k}\binom{3k}k}{864^k}\equiv0\pmod{p^2}.$$
Chern classes of tensor products
Published
• View Publication
• BIB
We prove explicit formulas for Chern classes of tensor products of vector bundles, with coefficients given by certain universal polynomials in the ranks of the two bundles.
The SL_3 Jones polynomial of the trefoil: a case study of $q$-holonomic sequences
Published
• View Publication
• BIB
The SL_3 colored Jones polynomial of the trefoil knot is a $q$-holonomic sequence of two variables with natural origin, namely quantum topology. The paper presents an explicit set of generators for the annihilator ideal of this $q$-holonomic sequence as a case study. On the one hand, our results are new and useful to quantum topology: this is the first example of a rank 2 Lie algebra computation concerning the colored Jones polynomial of a knot. On the other hand, this work illustrates the applicability and computational power of the employed computer algebra methods.
Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants
Published
• View Publication
• BIB
Motivated by the Hankel determinant evaluation of moment sequences, we study a kind of Pfaffian analogue evaluation. We prove an LU-decomposition analogue for skew-symmetric matrices, called Pfaffian decomposition. We then apply this formula to evaluate Pfaffians related to some moment sequences of classical orthogonal polynomials. In particular we obtain a product formula for a kind of q-Catalan Pfaffians. We also establish a connection between our Pfaffian formulas and certain weighted enumeration of shifted reverse plane partitions.
Intermediate Sums on Polyhedra: Computation and Real Ehrhart Theory
Published
• View Publication
• BIB
We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum up the integrals. We first develop an algorithmic theory of parametric intermediate generating functions. Then we study the Ehrhart theory of these intermediate sums, that is, the dependence of the result as a function of a dilation of the polytope. We provide an algorithm to compute the resulting Ehrhart quasi-polynomials in the form of explicit step polynomials. These formulas are naturally valid for real (not just integer) dilations and thus provide a direct approach to real Ehrhart theory.
Idempotents with polynomial coefficients
We combine Young idempotents in the group algebra of the symmetric group with the action of the symmetric group on products of Vandermonde determinants to obtain idempotents with polynomial coefficients.
Vanishing integrals for Hall-Littlewood polynomials
Published in Transformation Groups: Volume 17, Issue 1 (2012), Page 259-302
• View Publication
• BIB
It is well known that if one integrates a Schur function indexed by a partition $λ$ over the symplectic (resp. orthogonal) group, the integral vanishes unless all parts of $λ$ have even multiplicity (resp. all parts of $λ$ are even). In a recent paper of Rains and Vazirani, Macdonald polynomial generalizations of these identities and several others were developed and proved using Hecke algebra techniques. However at $q=0$ (the Hall-Littlewood level), these approaches do not work, although one can obtain the results by taking the appropriate limit. In this paper, we develop a direct approach for dealing with this special case. This technique allows us to prove some identities that were not amenable to the Hecke algebra approach, as well as to explicitly control the nonzero values. Moreover, we are able to generalize some of the identities by introducing extra parameters. This leads us to a finite-dimensional analog of a recent result of Warnaar, which uses the Rogers-Szegö polynomials to unify some existing summation type formulas for Hall-Littlewood functions.
On the Erdos distinct distance problem in the plane
Published
• View Publication
• BIB
In this paper, we prove that a set of $N$ points in ${\bf R}^2$ has at least $c{N \over \log N}$ distinct distances, thus obtaining the sharp exponent in a problem of Erdös. We follow the set-up of Elekes and Sharir which, in the spirit of the Erlangen program, allows us to study the problem in the group of rigid motions of the plane. This converts the problem to one of point-line incidences in space. We introduce two new ideas in our proof. In order to control points where many lines are incident, we create a cell decompostion using the polynomial ham sandwich theorem. This creates a dichotomy: either most of the points are in the interiors of the cells, in which case we immediately get sharp results, or alternatively the points lie on the walls of the cells, in which case they are in the zero set of a polynomial of suprisingly low degree, and we may apply the algebraic method. In order to control points where only two lines are incident, we use the flecnode polynomial of the Rev. George Salmon to conclude that most of the lines lie on a ruled surface. Then we use the geometry of ruled surfaces to complete the proof.
Constructing Extended Formulations from Reflection Relations
Published
• View Publication
• BIB
There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space. However, currently not many general tools to construct such extended formulations are available. In this paper, we develop a framework of polyhedral relations that generalizes inductive constructions of extended formulations via projections, and we particularly elaborate on the special case of reflection relations. The latter ones provide polynomial size extended formulations for several polytopes that can be constructed as convex hulls of the unions of (exponentially) many copies of an input polytope obtained via sequences of reflections at hyperplanes. We demonstrate the use of the framework by deriving small extended formulations for the G-permutahedra of all finite reflection groups G (generalizing both Goeman's extended formulation of the permutahedron of size O(n log n) and Ben-Tal and Nemirovski's extended formulation with O(k) inequalities for the regular 2^k-gon) and for Huffman-polytopes (the convex hulls of the weight-vectors of Huffman codes).
Lattice Polynomials, 12312-Avoiding Partial Matchings and Even Trees
The lattice polynomials $L_{i,j}(x)$ are introduced by Hough and Shapiro as a weighted count of certain lattice paths from the origin to the point $(i,j)$. In particular, $L_{2n, n}(x)$ reduces to the generating function of the numbers $T_{n,k}={1\over n}{n-1+k\choose n-1}{2n-k\choose n+1}$, which can be viewed as a refinement of the $3$-Catalan numbers $T_n=\frac{1}{2n+1}{3n\choose n}$. In this paper, we establish a correspondence between $12312$-avoiding partial matchings and lattice paths, and we show that the weighted count of such partial matchings with respect to the number of crossings in a more general sense coincides with the lattice polynomials $L_{i,j}(x)$. We also introduce a statistic on even trees, called the $r$-index, and show that the number of even trees with $2n$ edges and with $r$-index $k$ equal to $T_{n,k}$.
Deformed diagonal harmonic polynomials for complex reflection groups
Published
• View Publication
• BIB
We introduce deformations of the space of (multi-diagonal) harmonic polynomials for any finite complex reflection group of the form W=G(m,p,n), and give supporting evidence that this space seems to always be isomorphic, as a graded W-module, to the undeformed version.
A determinant formula for the Jones polynomial of pretzel knots
Published in Journal of Knot Theory and Its Ramifications vol. 21, no. 6 (2012) 1250062 (23 pages)
• View Publication
• BIB
This paper presents an algorithm to construct a weighted adjacency matrix of a plane bipartite graph obtained from a pretzel knot diagram. The determinant of this matrix after evaluation is shown to be the Jones polynomial of the pretzel knot by way of perfect matchings (or dimers) of this graph. The weights are Tutte's activity letters that arise because the Jones polynomial is a specialization of the signed version of the Tutte polynomial. The relationship is formalized between the familiar spanning tree setting for the Tait graph and the perfect matchings of the plane bipartite graph above. Evaluations of these activity words are related to the chain complex for the Champanerkar-Kofman spanning tree model of reduced Khovanov homology.
Schaefer's theorem for graphs
Published
• View Publication
• BIB
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem is either contained in one out of six classes and can be solved in polynomial time, or is NP-complete.
We present an analog of this dichotomy result for the propositional logic of graphs instead of Boolean logic. In this generalization of Schaefer's result, the input consists of a set W of variables and a conjunction Φ of statements ("constraints") about these variables in the language of graphs, where each statement is taken from a fixed finite set Ψ of allowed quantifier-free first-order formulas; the question is whether Φ is satisfiable in a graph.
We prove that either Ψ is contained in one out of 17 classes of graph formulas and the corresponding problem can be solved in polynomial time, or the problem is NP-complete. This is achieved by a universal-algebraic approach, which in turn allows us to use structural Ramsey theory. To apply the universal-algebraic approach, we formulate the computational problems under consideration as constraint satisfaction problems (CSPs) whose templates are first-order definable in the countably infinite random graph. Our method to classify the computational complexity of those CSPs is based on a Ramsey-theoretic analysis of functions acting on the random graph, and we develop general tools suitable for such an analysis which are of independent mathematical interest.