polynomial
11422 papers tagged with this keyword
The cover time, the blanket time, and the Matthews bound
Published
• View Publication
• BIB
The cover time C of a graph G is the expected time for a random walk starting from the worst vertex to cover all vertices in G. Similarly, the blanket time B is the expected time to visit all vertices within a constant factor of number of times suggested by the stationary distribution. (Our definition will be slightly stronger than this.) Obviously, all vertices are covered when the graph is blanketed, and hence C <= B. The blanket time is introduced by Winkler and Zuckerman motivated by applications in Markov estimation and distributed computing. They conjectured B =O(C) and proved B=O(C ln n ). In this paper, we introduce another parameter M motivated by Matthews' theorem and prove
M/2 <= C <= B = O(( M ln ln n)^2).
In particular, B = O(C (ln ln n)^2). The lower bound is still valid for the cover time C(π) starting from the stationary distribution. We also show that there is a polynomial time algorithm to approximate M within a factor of 2 and so does for C within a factor of O((ln ln n)^2), improving previous bound of O(ln n) of Matthews'.
Matroid Theory and Chern-Simons
Published in J.Math.Phys.41:7997-8005,2000
• View Publication
• BIB
It is shown that matroid theory may provide a natural mathematical framework for a duality symmetries not only for quantum Yang-Mills physics, but also for M-theory. Our discussion is focused in an action consisting purely of the Chern-Simons term, but in principle the main ideas can be applied beyond such an action. In our treatment the theorem due to Thistlethwaite, which gives a relationship between the Tutte polynomial for graphs and Jones polynomial for alternating knots and links, plays a central role. Before addressing this question we briefly mention some important aspects of matroid theory and we point out a connection between the Fano matroid and D=11 supergravity. Our approach also seems to be related to loop solutions of quantum gravity based in Ashtekar formalism.
Kazhdan-Lusztig polynomials for 321-hexagon-avoiding permutations
Published
• View Publication
• BIB
We give a combinatorial formula for the Kazhdan-Lusztig polynomials $P_{x,w}$ in the symmetric group when $w$ is a 321-hexagon-avoiding permutation. Our formula, which depends on a combinatorial framework developed by Deodhar, can be expressed in terms of a simple statistic on all subexpressions of any fixed reduced expression for $w$. We also show that $w$ being 321-hexagon-avoiding is equivalent to several other conditions, such as the Bott-Samelson resolution of the Schubert variety $X_w$ being small. We conclude with a simple method for completely determining the singular locus of $X_w$ when $w$ is 321-hexagon-avoiding.
A Littlewood-Richardson rule for the K-theory of Grassmannians
Published
• View Publication
• BIB
We prove an explicit combinatorial formula for the structure constants of the Grothendieck ring of a Grassmann variety with respect to its basis of Schubert structure sheaves. We furthermore relate K-theory of Grassmannians to a bialgebra of stable Grothendieck polynomials, which is a K-theory parallel of the ring of symmetric functions.
Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models I. General Theory and Square-Lattice Chromatic Polynomial
Published in J.Statist.Phys. 104 (2001) 609-699
• View Publication
• BIB
We study the chromatic polynomials (= zero-temperature antiferromagnetic Potts-model partition functions) P_G(q) for m \times n rectangular subsets of the square lattice, with m \le 8 (free or periodic transverse boundary conditions) and n arbitrary (free longitudinal boundary conditions), using a transfer matrix in the Fortuin-Kasteleyn representation. In particular, we extract the limiting curves of partition-function zeros when n \to\infty, which arise from the crossing in modulus of dominant eigenvalues (Beraha-Kahane-Weiss theorem). We also provide evidence that the Beraha numbers B_2,B_3,B_4,B_5 are limiting points of partition-function zeros as n \to\infty whenever the strip width m is \ge 7 (periodic transverse b.c.) or \ge 8 (free transverse b.c.). Along the way, we prove that a noninteger Beraha number (except perhaps B_{10}) cannot be a chromatic root of any graph.
A Combinatorial, Strongly Polynomial-Time Algorithm for Minimizing Submodular Functions
Published
• View Publication
• BIB
This paper presents the first combinatorial polynomial-time algorithm for minimizing submodular set functions, answering an open question posed in 1981 by Grotschel, Lovasz, and Schrijver. The algorithm employs a scaling scheme that uses a flow in the complete directed graph on the underlying set with each arc capacity equal to the scaled parameter. The resulting algorithm runs in time bounded by a polynomial in the size of the underlying set and the largest length of the function value. The paper also presents a strongly polynomial-time version that runs in time bounded by a polynomial in the size of the underlying set independent of the function value.
How to Uncross Some Modular Metrics
Let $μ$ be a metric on a set T, and let c be a nonnegative function on the unordered pairs of elements of a superset $V\supseteq T$. We consider the problem of minimizing the inner product $c\cdot m$ over all semimetrics m on V such that m coincides with $μ$ within T and each element of V is at zero distance from T (a variant of the {\em multifacility location problem}). In particular, this generalizes the well-known multiterminal multiway) cut problem. Two cases of metrics $μ$ have been known for which the problem can be solved in polynomial time: (a) $μ$ is a modular metric whose underlying graph $H(μ)$ is hereditary modular and orientable (in a certain sense); and (b) $μ$ is a median metric. In the latter case an optimal solution can be found by use of a cut uncrossing method. \Xcomment{We give a common generalization for both cases by proving that the problem is in P for any modular metric $μ$ whose all orbit graphs are hereditary modular and orientable. To this aim, we show the existence of a retraction of the Cartesian product of the orbit graphs to $H(μ)$, which enables us to elaborate an analog of the cut uncrossing method for such metrics $μ$.} In this paper we generalize the idea of cut uncrossing to show the polynomial solvability for a wider class of metrics $μ$, which includes the median metrics as a special case. The metric uncrossing method that we develop relies on the existence of retractions of certain modular graphs. On the negative side, we prove that for $μ$ fixed, the problem is NP-hard if $μ$ is non-modular or $H(μ)$ is non-orientable.
A few weight systems arising from intersection graphs
Published in Michigan Math. J., vol. 51, no. 3, 2003, pp. 509-536
• View Publication
• BIB
We show that the adjacency matrices of the intersection graphs of chord diagrams satisfy the 2-term relations of Bar-Natan and Garoufalides [bg], and hence give rise to weight systems. Among these weight systems are those associated with the Conway and HOMFLYPT polynomials. We extend these ideas to looking at a space of {\it marked} chord diagrams modulo an extended set of 2-term relations, define a set of generators for this space, and again derive weight systems from the adjacency matrices of the (marked) intersection graphs. Among these weight systems are those associated with the Kauffman polynomial.
Une q - spécialisation pour les fonctions symétriques monomiales
Published in Advances in Math., 162 (2001), 217-242
• View Publication
• BIB
We obtain the specialization of monomial symmetric functions on the alphabet (a-b)/(1-q). This gives a remarkable algebraic identity, and four new developments for the Macdonald polynomial associated with a row. The proofs are given in the framework of $λ$-ring theory.
Binomial Residues
Published
• View Publication
• BIB
A binomial residue is a rational function defined by a hypergeometric integral whose kernel is singular along binomial divisors. Binomial residues provide an integral representation for rational solutions of A-hypergeometric systems of Lawrence type. The space of binomial residues of a given degree, modulo those which are polynomial in some variable, has dimension equal to the Euler characteristic of the matroid associated with A.
Rectangular Scott-type Permanents
Published in Séminaire Lotharingien Combin. 43 (2000), paper B43g, 25 pp
• Search Publication
Let $x_1,x_2,...,x_n$ be the zeroes of a polynomial P(x) of degree n and $y_1,y_2,...,y_m$ be the zeroes of another polynomial Q(y) of degree m. Our object of study is the permanent $\per(1/(x_i-y_j))_{1\le i\le n, 1\le j\le m}$, here named "Scott-type" permanent, the case of $P(x)=x^n-1$ and $Q(y)=y^n+1$ having been considered by R. F. Scott. We present an efficient approach to determining explicit evaluations of Scott-type permanents, based on generalizations of classical theorems by Cauchy and Borchardt, and of a recent theorem by Lascoux. This continues and extends the work initiated by the first author ("Généralisation de l'identité de Scott sur les permanents," to appear in Linear Algebra Appl.). Our approach enables us to provide numerous closed form evaluations of Scott-type permanents for special choices of the polynomials P(x) and Q(y), including generalizations of all the results from the above mentioned paper and of Scott's permanent itself. For example, we prove that if $P(x)=x^n-1$ and $Q(y)=y^{2n}+y^n+1$ then the corresponding Scott-type permanent is equal to $(-1)^{n+1}n!$.
The Flag Major Index and Group Actions on Polynomial Rings
Published
• View Publication
• BIB
A new extension of the major index, defined in terms of Coxeter elements, is introduced. For the classical Weyl groups of type $B$, it is equidistributed with length. For more general wreath products it appears in an explicit formula for the Hilbert series of the (diagonal action) invariant algebra.
Combinatorial Intersection Cohomology for Fans
Published
• View Publication
• BIB
We continue the approach toward a purely combinatorial "virtual" intersection cohomology for possibly non-rational fans, based on our investigation of equivariant intersection cohomology for toric varieties (see math.AG/9904159). Fundamental objects of study are "minimal extension sheaves" on "fan spaces". These are flabby sheaves of graded modules over a sheaf of polynomial rings, satisfying three relatively simple axioms that characterize the properties of the equivariant intersection cohomology sheaf on a toric variety, endowed with the finite topology given by open invariant subsets. These sheaves are models for the "pure" objects of a "perverse category"; a "Decomposition Theorem" is shown to hold. -- Formalizing those fans that define "equivariantly formal" toric varieties (where equivariant and non-equivariant intersection cohomology determine each other by Kunneth type formulae), we study "quasi-convex" fans (including fans with convex or with "co-convex" support). For these, there is a meaningful "virtual intersection cohomology". We characterize quasi-convex fans by a topological condition on the support of their boundary fan and prove a generalization of Stanley's "Local-Global" formula realizing the intersection Poincare polynomial of a complete toric variety in terms of local data. Virtual intersection cohomology of quasi-convex fans is shown to satify Poincare duality. To describe the local data in terms of virtual intersection cohomology of lower-dimensional complete polytopal fans, one needs a "Hard Lefschetz" type theorem. It requires a vanishing condition that is known to hold for rational cones, but yet remains to be proven in the general case.
On the combinatorics of Forrester-Baxter models
Published in Physical combinatorics (Kyoto, 1999), 49--103, Progr. Math,. 191, Birkhauser, Boston, MA, 2000.
• View Publication
• BIB
We provide further boson-fermion q-polynomial identities for the `finitised' Virasoro characters χ^{p, p'}_{r,s} of the Forrester-Baxter minimal models M(p, p'), for certain values of r and s. The construction is based on a detailed analysis of the combinatorics of the set P^{p, p'}_{a, b, c}(L) of q-weighted, length-L Forrester-Baxter paths, whose generating function χ^{p, p'}_{a, b, c}(L) provides a finitisation of χ^{p, p'}_{r,s}. In this paper, we restrict our attention to the case where the startpoint a and endpoint b of each path both belong to the set of Takahashi lengths. In the limit L -> infinity, these polynomial identities reduce to q-series identities for the corresponding characters.
The Imbedding Sum of a Graph
The automorphisms of a graph act naturally on its set of labeled imbeddings to produce its unlabeled imbeddings. The imbedding sum of a graph is a polynomial that contains useful information about a graph's labeled and unlabeled imbeddings. In particular, the polynomial enumerates the number of different ways the unlabeled imbeddings can be vertex colored and enumerates the labeled and unlabeled imbeddings by their symmetries.
Application of Tree-like Structure of Graph to Matrix Analysis
Formulas for matrix determinants, algebraic adjunctions, characteristic polynomial coefficients, components of eigenvectors are obtained in the form of signless sums of matrix elements products taking by special graphs. Signless formulas are very important for singular and stochastic problems. They are also useful for spectral analysis of large very sparse matrices.
Some cyclic covers of complements of arrangements
Published in Topology Appl. 118 (2002), 3-15
• View Publication
• BIB
Motivated by the Milnor fiber of a central arrangement, we study the cohomology of a family of cyclic covers of the complement of an arbitrary arrangement. We give an explicit proof of the polynomial periodicity of the Betti numbers of the members of this family of cyclic covers.
Hall-Littlewood vertex operators and generalized Kostka polynomials
Published
• View Publication
• BIB
A family of vertex operators that generalizes those given by Jing for the Hall-Littlewood symmetric functions is presented. These operators produce symmetric functions related to the Poincare polynomials referred to as generalized Kostka polynomials in the same way that Jing's operator produces symmetric functions related to Kostka-Foulkes polynomials. These operators are then used to derive commutation relations and new relations involving the generalized Kostka coefficients. Such relations may be interpreted as identities in the (GL(n) x C^*)-equivariant K-theory of the nullcone.
T=0 Partition Functions for Potts Antiferromagnets on Square Lattice Strips with (Twisted) Periodic Boundary Conditions
Published in J. Phys A (Letts.) 32, L489-L493 (1999)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function for the q-state Potts antiferromagnet (equivalently, the chromatic polynomial) for two families of arbitrarily long strip graphs of the square lattice with periodic boundary conditions in the transverse direction and (i) periodic (ii) twisted periodic boundary conditions in the longitudinal direction, so that the strip graphs are embedded on a (i) torus (ii) Klein bottle. In the limit of infinite length, we calculate the exponent of the entropy, W(q), show it to be the same for (i) and (ii), and determine its analytic structure.
Local tree-width, excluded minors, and approximation algorithms
Published
• View Publication
• BIB
The local tree-width of a graph G=(V,E) is the function ltw^G: N -> N that associates with every natural number r the maximal tree-width of an r-neighborhood in G. Our main graph theoretic result is a decomposition theorem for graphs with excluded minors that essentially says that such graphs can be decomposed into trees of graphs of bounded local tree-width.
As an application of this theorem, we show that a number of combinatorial optimization problems, such as Minimum Vertex Cover, Minimum Dominating Set, and Maximum Independent Set have a polynomial time approximation scheme when restricted to a class of graphs with an excluded minor.