polynomial
11422 papers tagged with this keyword
The ring grooming problem
Published
• View Publication
• BIB
The problem of minimizing the number of bidirectional SONET rings required to support a given traffic demand has been studied by several researchers. Here we study the related ``ring grooming problem'' of minimizing the number of add/drop locations instead of the number of rings; in a number of situations this is a better approximation to the true equipment cost. Our main result is a new lower bound for the case of uniform traffic. This allows us to prove that a certain simple algorithm for uniform traffic is in fact a constant-factor approximation algorithm, and it also demonstrates that known lower bounds for the general problem--in particular, the linear programming relaxation--are not within a constant factor of the optimum. We also show that our results for uniform traffic extend readily to the more practically important case of quasi-uniform traffic. Finally, we show that if the number of nodes on the ring is fixed, then ring grooming is solvable in polynomial time; however, whether ring grooming is fixed-parameter tractable is still an open question.
Singular polynomials of generalized Kasteleyn matrices
Published in Journal of Algebraic Combinatorics, 16(2): 195-207; Sep 2002
• View Publication
• BIB
Kasteleyn counted the number of domino tilings of a rectangle by considering a mutation of the adjacency matrix: a Kasteleyn matrix K. In this paper we present a generalization of Kasteleyn matrices and a combinatorial interpretation for the coefficients of the characteristic polynomial of KK^\ast (which we call the singular polynomial), where K is a generalized Kasteleyn matrix for a planar bipartite graph. We also present a q-version of these ideas and a few results concerning tilings of special regions such as rectangles.
Graded multiplicities in the exterior algebra
Published in Advances in Math. 158 (2001), no. 2, 129--153
• View Publication
• BIB
We know the multiplicity of the adjoint representation of a semisimple Lie algebra in its own exterior algebra, but how do its copies distribute themselves between the exterior powers? The answer (the graded multiplicity) is obtained with the aid of Macdonald polynomials.
Matroids, motives and conjecture of Kontsevich
Published
• View Publication
• BIB
Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.
Chromatic roots are dense in the whole complex plane
Published in Combin. Probab. Comput. 13, 221-261 (2004)
• View Publication
• BIB
I show that the zeros of the chromatic polynomials P_G(q) for the generalized theta graphs Θ^{(s,p)} are, taken together, dense in the whole complex plane with the possible exception of the disc |q-1| < 1. The same holds for their dichromatic polynomials (alias Tutte polynomials, alias Potts-model partition functions) Z_G(q,v) outside the disc |q+v| < |v|. An immediate corollary is that the chromatic zeros of not-necessarily-planar graphs are dense in the whole complex plane. The main technical tool in the proof of these results is the Beraha-Kahane-Weiss theorem on the limit sets of zeros for certain sequences of analytic functions, for which I give a new and simpler proof.
Decomposition of polytopes and polynomials
Published
• View Publication
• BIB
Motivated by a connection with the factorization of multivariate polynomials, we study integral convex polytopes and their integral decompositions in the sense of the Minkowski sum. We first show that deciding decomposability of integral polygons is NP-complete then present a pseudo-polynomial time algorithm for decomposing polygons. For higher dimensional polytopes, we give a heuristic algorithm which is based upon projections and uses randomization. Applications of our algorithm include absolute irreducibility testing and factorization of polynomials via their Newton polytopes.
Hamilton Circuits in Graphs and Directed Graphs
We give polynomial-time algorithms for obtaining hamilton circuits in random graphs, G, and random directed graphs, D. If n is finite, we assume that G or D contains a hamilton circuit. If G is an arbitrary graph containing a hamilton circuit, we conjecture that Algorithm G always obtains a hamilton circuit in polynomial time.
On the chromatic roots of generalized theta graphs
Published in J. Combin. Theory B 83, 272-297 (2001)
• View Publication
• BIB
The generalized theta graph Θ_{s_1,...,s_k} consists of a pair of endvertices joined by k internally disjoint paths of lengths s_1,...,s_k \ge 1. We prove that the roots of the chromatic polynomial $pi(Θ_{s_1,...,s_k},z) of a k-ary generalized theta graph all lie in the disc |z-1| \le [1 + o(1)] k/\log k, uniformly in the path lengths s_i. Moreover, we prove that Θ_{2,...,2} \simeq K_{2,k} indeed has a chromatic root of modulus [1 + o(1)] k/\log k. Finally, for k \le 8 we prove that the generalized theta graph with a chromatic root that maximizes |z-1| is the one with all path lengths equal to 2; we conjecture that this holds for all k.
Multiderivations of Coxeter arrangements
Published in Inventiones math., 148, 659-674 (2002)
• View Publication
• BIB
Let $V$ be an $\ell$-dimensional Euclidean space. Let $G \subset O(V)$ be a finite irreducible orthogonal reflection group. Let ${\cal A}$ be the corresponding Coxeter arrangement. Let $S$ be the algebra of polynomial functions on $V.$ For $H \in {\cal A}$ choose $α_H \in V^*$ such that $H = {\rm ker}(α_H).$ For each nonnegative integer $m$, define the derivation module $\sD^{(m)}({\cal A}) = \{θ\in {\rm Der}_S | θ(α_H) \in S α^m_H\}$. The module is known to be a free $S$-module of rank $\ell$ by K. Saito (1975) for $m=1$ and L. Solomon-H. Terao (1998) for $m=2$. The main result of this paper is that this is the case for all $m$. Moreover we explicitly construct a basis for $\sD^{(m)} (\cal A)$. Their degrees are all equal to $mh/2$ (when $m$ is even) or are equal to $((m-1)h/2) + m_i (1 \leq i \leq \ell)$ (when $m$ is odd). Here $m_1 \leq ... \leq m_{\ell}$ are the exponents of $G$ and $h= m_{\ell} + 1$ is the Coxeter number. The construction heavily uses the primitive derivation $D$ which plays a central role in the theory of flat generators by K. Saito (or equivalently the Frobenius manifold structure for the orbit space of $G$.) Some new results concerning the primitive derivation $D$ are obtained in the course of proof of the main result.
A Path Algorithm for Affine Kazhdan-Lusztig Polynomials
Published
• View Publication
• BIB
We develop an algorithm for computing affine Kazhdan-Lusztig polynomials, for all Lie types. This generalizes our previously published algorithm for type A, which in turn is a faster version of an algorithm due to Lascouz, Leclerc and Thibon (proposed in the setting of Hecke algebras of type A, at roots of unity.)
The generalized Borwein conjecture. I. The Burge transform
Published in Contemp. Math. 291 (2001), 243--267
• View Publication
• BIB
Given an arbitrary ordered pair of coprime integers (a,b) we obtain a pair of identities of the Rogers--Ramanujan type. These identities have the same product side as the (first) Andrews--Gordon identity for modulus 2ab\pm 1, but an altogether different sum side, based on the representation of (a/b-1)^{\pm 1} as a continued fraction. Our proof, which relies on the Burge transform, first establishes a binary tree of polynomial identities. Each identity in this Burge tree settles a special case of Bressoud's generalized Borwein conjecture.
Dichromatic polynomials and Potts models summed over rooted maps
Published in Ann.Comb. 5 (2001) 17-36
• View Publication
• BIB
We consider the sum of dichromatic polynomials over non-separable rooted planar maps, an interesting special case of which is the enumeration of such maps. We present some known results and derive new ones. The general problem is equivalent to the $q$-state Potts model randomized over such maps. Like the regular ferromagnetic lattice models, it has a first-order transition when $q$ is greater than a critical value $q_c$, but $q_c$ is much larger - about 72 instead of 4.
Examples and counterexamples for Perles' conjecture
Published
• View Publication
• BIB
The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following characterization of the facet subgraphs, conjectured by M. Perles:
``The facet subgraphs of the graph of a simple d-polytope are exactly all the (d-1)-regular, connected, induced, non-separating subgraphs'' [Perles 1970].
We give examples for the validity of Perles conjecture: In particular, it holds for the duals of cyclic polytopes, and for the duals of stacked polytopes. On the other hand, we identify a topological obstruction that must be present in any counterexample to Perles' conjecture; thus, starting with a modification of ``Bing's house'', we construct explicit 4-dimensional counterexamples.
Restricted permutations and Chebyshev polynomials
We study generating functions for the number of permutations in $\SS_n$ subject to two restrictions. One of the restrictions belongs to $\SS_3$, while the other to $\SS_k$. It turns out that in a large variety of cases the answer can be expressed via Chebyshev polynomials of the second kind.
Lattice polytopes with distinct pair-sums
Published
• View Publication
• BIB
Let P be a lattice polytope in R^n, and let P \cap Z^n = {v_1,...,v_N}. If the N + \binom N2 points 2v_1,...,2v_N; v_1+v_2,...v_{N-1}+v_N are distinct, we say that P is a "distinct pair-sum" or "dps" polytope. We show that, if P is a dsp polytope in R^n, then N \le 2^n, and, for every n, we construct dps polytopes in R^n which contain 2^n lattice points. We also discuss the relation between dps polytopes and the study of sums of squares of real polynomials.
Orthogonal polynomials associated with root systems
Published in Séminaire Lotharingien Combin. 45 (2000), Article B45a, 40 pp
• Search Publication
Let R and S be two irreducible root systems spanning the same vector space and having the same Weyl group W, such that S (but not necessarily R) is reduced. For each such pair (R,S) we construct a family of W-invariant orthogonal polynomials in several variables, whose coefficients are rational functions of parameters $q,t_1,t_2,...,t_r$, where r (=1,2 or 3) is the number of W-orbits in R. For particular values of these parameters, these polynomials give the values of zonal spherical functions on real and p-adic symmetric spaces. Also when R=S is of type $A_n$, they conincide with the symmetric polynomials described in I. G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd edition, Oxford University Press (1995), Chapter VI.
Double Schubert polynomials and degeneracy loci for the classical groups
Published in Annales de l'Institut Fourier 52 (2002), 1681-1727
• View Publication
• BIB
We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) can be expressed in terms of Schur-type determinants and Pfaffians, in analogy with the type A formula of Kempf and Laksov. An example, motivated by quantum cohomology, shows that there are no Chern class formulas for degeneracy loci of ``isotropic morphisms'' of bundles.
Generalized Umemura polynomials
Published
• View Publication
• BIB
We introduce and study generalized Umemura polynomials $U_{n,m}^{(k)}(z,w;a,b)$ which are a natural generalization of the Umemura polynomials $U_n(z,w;a,b)$ related to Painlevé $VI$ equation. We will show that if $a=b$, or $a=0$, or $b=0$ then polynomials $U_{n,m}^{(0)}(z,w;a,b)$ generate solutions to Painlevé $VI$. We will describe a connection between polynomials $U_{n,m}^{(0)}(z,w;a,0)$ and certain Umemura polynomials $U_k(z,w;α,β)$.
Hilbert schemes, polygraphs, and the Macdonald positivity conjecture
Published in J. Amer. Math. Soc. 14 (2001), 941-1006
• View Publication
• BIB
We study the isospectral Hilbert scheme X_n, defined as the reduced fiber product of C^2n with the Hilbert scheme H_n of points in the plane, over the symmetric power S^n C^2. We prove that X_n is normal, Cohen-Macaulay, and Gorenstein, and hence flat over H_n. We derive two important consequences.
(1) We prove the strong form of the "n! conjecture" of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients K_{lambda,mu}(q,t). This establishes the Macdonald positivity conjecture, that K_{lambda,mu}(q,t) is always a polynomial with non-negative integer coefficients.
(2) We show that the Hilbert scheme H_n is isomorphic to the Hilbert scheme of orbits C^2n//S_n, in such a way that X_n is identified with the universal family over C^2n//S_n.
RC-graphs and a generalized Littlewood-Richardson rule
Using a generalization of the Schensted insertion algorithm to rc-graphs, we provide a Littlewood-Richardson rule for multiplying certain Schubert polynomials by Schur polynomials.