polynomial
11422 papers tagged with this keyword
Rapid mixing of subset Glauber dynamics on graphs of bounded tree-width
Published in Electron. J. Combin. 21(4): #P4.19 (26 pp.), 2014
• View Publication
• BIB
Motivated by the `subgraphs world' view of the ferromagnetic Ising model, we develop a general approach to studying mixing times of Glauber dynamics based on subset expansion expressions for a class of graph polynomials. With a canonical paths argument, we demonstrate that the chains defined within this framework mix rapidly upon graphs of bounded tree-width. This extends known results on rapid mixing for the Tutte polynomial, the adjacency-rank ($R_2$-)polynomial and the interlace polynomial.
Log concavity of $(1+x)^m (1+ x^k)$
Let $m$ and $k \geq 2$ be positive integers. We show that polynomial $P = (1+x)^m(1+x^k)$ is strongly unimodal (frequently known as {\it log concave\/}) if and only if $m \geq k^2 -3$; this is also the criterion for $P$ to be merely unimodal (that is, for $P$ of this form, unimodality implies strong unimodality).{ }In section 2, we investigate an analogous question, concerning the property $\EE$ of functions $f$ analytic on a neighbourhood of the unit circle [H2], and show that the corresponding minimal $m$ is rather surprisingly of order $k^4$.
Polynomials for Crystal Frameworks and the Rigid Unit Mode Spectrum
Published
• View Publication
• BIB
To each discrete translationally periodic bar-joint framework $\C$ in $\bR^d$ we associate a matrix-valued function $Φ_\C(z)$ defined on the d-torus. The rigid unit mode spectrum $Ω(\C)$ of $\C$ is defined in terms of the multi-phases of phase-periodic infinitesimal flexes and is shown to correspond to the singular points of the function $z \to \rank Φ_\C(z)$ and also to the set of wave vectors of harmonic excitations which have vanishing energy in the long wavelength limit. To a crystal framework in Maxwell counting equilibrium, which corresponds to $Φ_\C(z)$ being square, the determinant of $Φ_\C(z)$ gives rise to a unique multi-variable polynomial $p_\C(z_1,\dots,z_d)$. For ideal zeolites the algebraic variety of zeros of $p_\C(z)$ on the d-torus coincides with the RUM spectrum. The matrix function is related to other aspects of idealised framework rigidity and flexibility and in particular leads to an explicit formula for the number of supercell-periodic floppy modes. In the case of certain zeolite frameworks in dimensions 2 and 3 direct proofs are given to show the maximal floppy mode property (order $N$). In particular this is the case for the cubic symmetry sodalite framework and some other idealised zeolites.
A Constant Factor Approximation Algorithm for Boxicity of Circular Arc Graphs
Published
• View Publication
• BIB
Boxicity of a graph $G(V,E)$ is the minimum integer $k$ such that $G$ can be represented as the intersection graph of $k$-dimensional axis parallel rectangles in $\mathbf{R}^k$. Equivalently, it is the minimum number of interval graphs on the vertex set $V$ such that the intersection of their edge sets is $E$. It is known that boxicity cannot be approximated even for graph classes like bipartite, co-bipartite and split graphs below $O(n^{0.5 - ε})$-factor, for any $ε>0$ in polynomial time unless $NP=ZPP$. Till date, there is no well known graph class of unbounded boxicity for which even an $n^ε$-factor approximation algorithm for computing boxicity is known, for any $ε<1$. In this paper, we study the boxicity problem on Circular Arc graphs - intersection graphs of arcs of a circle. We give a $(2+\frac{1}{k})$-factor polynomial time approximation algorithm for computing the boxicity of any circular arc graph along with a corresponding box representation, where $k \ge 1$ is its boxicity. For Normal Circular Arc(NCA) graphs, with an NCA model given, this can be improved to an additive 2-factor approximation algorithm. The time complexity of the algorithms to approximately compute the boxicity is $O(mn+n^2)$ in both these cases and in $O(mn+kn^2)= O(n^3)$ time we also get their corresponding box representations, where $n$ is the number of vertices of the graph and $m$ is its number of edges. The additive 2-factor algorithm directly works for any Proper Circular Arc graph, since computing an NCA model for it can be done in polynomial time.
Non-orientable quasi-trees for the Bollobas-Riordan polynomial
Published in Europ. J. Comb., 32:510-532, 2011
• View Publication
• BIB
We extend the quasi-tree expansion of A. Champanerkar, I. Kofman, and N. Stoltzfus to not necessarily orientable ribbon graphs. We study the duality properties of the Bollobas-Riordan polynomial in terms of this expansion. As a corollary, we get a "connected state" expansion of the Kauffman bracket of virtual link diagrams. Our proofs use extensively the partial duality of S. Chmutov.
Aspects of the Segre variety S_{1,1,1}(2)
Published in Des. Codes Cryptogr. 62 (2012), 235-239
• View Publication
• BIB
We consider various aspects of the Segre variety S := S_{1,1,1}(2) in PG(7,2), whose stabilizer group G_S < GL(8, 2) has the structure N {\rtimes} Sym(3), where N := GL(2,2)\times GL(2,2)\times GL(2,2). In particular we prove that S determines a distinguished Z_3-subgroup Z < GL(8, 2) such that AZA^{-1} = Z, for all A in G_S, and in consequence S determines a G_S-invariant spread of 85 lines in PG(7,2). Furthermore we see that Segre varieties S_{1,1,1}(2) in PG(7,2) come along in triplets {S,S',S"} which share the same distinguished Z_3-subgroup Z < GL(8,2). We conclude by determining all fifteen G_S-invariant polynomial functions on PG(7,2) which have degree < 8, and their relation to the five G_S-orbits of points in PG(7,2).
The Newton polygon of a recurrence sequence of polynomials and its role in TQFT
The paper contains a combinatorial theorem (the sequence of Newton polygons of a reccurent sequence of polynomials is quasi-linear) and two applications of it in classical and quantum topology, namely in the behavior of the $A$-polynomial and a fixed quantum invariant (such as the Jones polynomial) under filling. Our combinatorial theorem, which complements results of Calegari-Walker \cite{CW} and the author \cite{Ga4}, occupies the bulk of the paper and its proof requires the Lech-Mahler-Skolem theorem of $p$-adic analytic number theory combined with basic principles in polyhedral and tropical geometry.
On the Complexity of Sails
Published in Pac. Jour. Math., Vol. 258 (2012), No. 1, 1-30
• View Publication
• BIB
This paper analyses stable commutator length in groups Z^r * Z^s. We bound scl from above in terms of the reduced wordlength (sharply in the limit) and from below in terms of the answer to an associated subset-sum type problem. Combining both estimates, we prove that, as n tends to infinity, words of reduced length n generically have scl arbitrarily close to n/4 - 1.
We then show that, unless P=NP, there is no polynomial time algorithm to compute scl of efficiently encoded words in F2.
All these results are obtained by exploiting the fundamental connection between scl and the geometry of certain rational polyhedra. Their extremal rays have been classified concisely and completely. However, we prove that a similar classification for extremal points is impossible in a very strong sense.
Reachability and recurrence in a modular generalization of annihilating random walks (and lights-out games) on hypergraphs
Published
• View Publication
• BIB
We study a dynamical system motivated by our earlier work on the statistical physics of social balance on graphs that can be viewed as a generalization of annihilating walks along two directions: first, the interaction topology is a hypergraph; second, the ``number of particles`` at a vertex of the hypergraph is an element of a finite field ${\bf Z}_{p}$ of integers modulo $p$, $p\geq 3$. Equivalently, particles move on a hypergraph, with a moving particle at a vertex being replaced by one indistinguishable copy at each neighbor in a given hyperedge; particles at a vertex collectively annihilate when their number reaches $p$. The system we study can also be regarded as a natural generalization of certain lights-out games to finite fields and hypergraph topologies. Our result shows that under a liberal sufficient condition on the nature of the interaction hypergraph there exists a polynomial time algorithm (based on linear algebra over ${\bf Z}_{p}$) for deciding reachability and recurrence of this dynamical system. Interestingly, we provide a counterexample that shows that this connection does not extend to all graphs.
An Algorithm Computing the Core of a Konig-Egervary Graph
A set S of vertices is independent in a graph G if no two vertices from S are adjacent, and alpha(G) is the cardinality of a maximum independent set of G.
G is called a Konig-Egervary graph if its order equals alpha(G)+mu(G), where mu(G) denotes the size of a maximum matching. By core(G) we mean the intersection of all maximum independent sets of G.
To decide whether core(G) is empty is known to be NP-hard.
In this paper, we present some polynomial time algorithms finding core(G) of a Konig-Egervary graph G.
Riordan arrays, orthogonal polynomials as moments, and Hankel transforms
Taking the examples of Legendre and Hermite orthogonal polynomials, we show how to interpret the fact that these orthogonal polynomials are moments of other orthogonal polynomials in terms of their associated Riordan arrays. We use these means to calculate the Hankel transforms of the associated polynomial sequences.
In Praise of an Elementary Identity of Euler
Published in Electronic J. Combinatorics, Vol 18 (2), P13, 44pp. (2011)
• View Publication
• BIB
We survey the applications of an elementary identity used by Euler in one of his proofs of the Pentagonal Number Theorem. Using a suitably reformulated version of this identity that we call Euler's Telescoping Lemma, we give alternate proofs of all the key summation theorems for terminating Hypergeometric Series and Basic Hypergeometric Series, including the terminating Binomial Theorem, the Chu--Vandermonde sum, the Pfaff--Saalch\" utz sum, and their $q$-analogues. We also give a proof of Jackson's $q$-analog of Dougall's sum, the sum of a terminating, balanced, very-well-poised $_8φ_7$ sum. Our proofs are conceptually the same as those obtained by the WZ method, but done without using a computer. We survey identities for Generalized Hypergeometric Series given by Macdonald, and prove several identities for $q$-analogs of Fibonacci numbers and polynomials and Pell numbers that have appeared in combinatorial contexts. Some of these identities appear to be new.
Asymptotics of the chromatic number for quasi-line graphs
Published
• View Publication
• BIB
As proved by Kahn, the chromatic number and fractional chromatic number of a line graph agree asymptotically. That is, for any line graph $G$ we have $χ(G) \leq (1+o(1))χ_f(G)$. We extend this result to quasi-line graphs, an important subclass of claw-free graphs. Furthermore we prove that we can construct a colouring that achieves this bound in polynomial time, giving us an asymptotic approximation algorithm for the chromatic number of quasi-line graphs.
Representations of sl(2) in the Boolean lattice, and the Hamming and Johnson schemes
Published in Infinite Dimensional Analysis, Quantum Probability and Related Topics,15(3):1250019, 44, 2012
• View Publication
• BIB
Starting with the zero-square "zeon algebra", the regular representation gives rise to a Boolean lattice representation of sl(2). We detail the su(2) content of the Boolean lattice, providing the irreducible representations carried by the algebra generated by the subsets of an n-set. The group elements are found, exhibiting the "special functions" in this context. The corresponding Leibniz rule and group law are shown. Krawtchouk polynomials, the Hamming and the Johnson schemes appear naturally. Applications to the Boolean poset and the structure of Hadamard-Sylvester matrices are shown as well.
Generalization of the Macdonald formula for Hall-Littlewood polynomials
Published
• View Publication
• BIB
We study the Gaussent-Littelmann formula for Hall-Littlewood polynomials and we develop combinatorial tools to describe the formula in a purely combinatorial way for type A_n, B_n and C_n. This description is in terms of Young tableaux and arises from identifying one-skeleton galleries that appear in the Gaussent-Littelmann formula with Young tableaux. Furthermore, we show by using these tools that the Gaussent-Littelmann formula and the well-known Macdonald formula for Hall-Littlewood polynomials for type A_n are the same.
On the cd-index and gamma-vector of S*-shellable CW-spheres
Published
• View Publication
• BIB
We show that the $γ$-vector of the order complex of any polytope is the f-vector of a balanced simplicial complex. This is done by proving this statement for a subclass of Stanley's S-shellable spheres which includes all polytopes. The proof shows that certain parts of the cd-index, when specializing $c=1$ and considering the resulted polynomial in $d$, are the f-polynomials of simplicial complexes that can be colored with "few" colors. We conjecture that the cd-index of a regular CW-sphere is itself the flag f-vector of a colored simplicial complex in a certain sense.
Ehrhart polynomial and multiplicity Tutte polynomial
We prove that the Ehrhart polynomial of a zonotope is a specialization of the multiplicity Tutte polynomial. We derive some formulae for the volume and the number of integer points of the zonotope.
A polynomial 3-colorability algorithm with automatic generation of NO 3-colorability (i.e. Co-NP) short proofs
In this paper, an algorithm for determining 3-colorability, i.e. the decision problem (YES/NO), in planar graphs is presented. The algorithm, although not exact (it could produce false positives) has two very important features: (i) it has polynomial complexity and (ii) for every "NO" answer, a "short" proof is generated, which is of much interest since 3-colorability is a NP-complete problem and thus its complementary problem is in Co-NP. Hence the algorithm is exact when it determines that a given planar graph is not 3-colorable since this is verifiable via an automatic generation of short formal proofs (also human-readable).
Applications of Laplace-Beltrami operator for Jack polynomials
Published in European J Combin. 33 (2012) 556--571
• View Publication
• BIB
We use a new method to study the Laplace-Beltrami type operator on the Fock space of symmetric functions, and as an example of our explicit computation we show that the Jack symmetric functions are the only family of eigenvectors of the differential operator. As applications of this explicit method we find a combinatorial formula for Jack symmetric functions and the Littlewood-Richardson coefficients in the Jack case. As further applications, we obtain a new determinantal formula for Jack symmetric functions. We also obtained a generalized raising operator formula for Jack symmetric functions, and a formula for the explicit action of Virasoro operators. Special cases of our formulas imply Mimachi-Yamada's result on Jack symmetric functions of rectangular shapes, as well as the explicit formula for Jack functions of two rows or two columns.
Touchard-Riordan formulas, T-fractions, and Jacobi's triple product identity
Published in Ramanujan Journal 30(3) (2013), 341--378
• View Publication
• BIB
Touchard-Riordan-like formulas are some expressions appearing in enumeration problems and as moments of orthogonal polynomials. We begin this article with a new combinatorial approach to prove these kind of formulas, related with integer partitions. This gives a new perspective on the original result of Touchard and Riordan. But the main goal is to give a combinatorial proof of a Touchard-Riordan--like formula for q-secant numbers discovered by the first author. An interesting limit case of these objects can be directly interpreted in terms of partitions, so that we obtain a connection between the formula for q-secant numbers, and a particular case of Jacobi's triple product identity.
Building on this particular case, we obtain a "finite version" of the triple product identity. It is in the form of a finite sum which is given a combinatorial meaning, so that the triple product identity can be obtained by taking the limit. Here the proof is non-combinatorial and relies on a functional equation satisfied by a T-fraction. Then from this result on the triple product identity, we derive a whole new family of Touchard-Riordan--like formulas whose combinatorics is not yet understood. Eventually, we prove a Touchard-Riordan--like formula for a q-analog of Genocchi numbers, which is related with Jacobi's identity for (q;q)^3 rather than the triple product identity.