polynomial
11257 papers tagged with this keyword
Random lattice triangulations: Structure and algorithms
Published in Annals of Applied Probability 2015, Vol. 25, No. 3, 1650-1685
• View Publication
• BIB
The paper concerns lattice triangulations, that is, triangulations of the integer points in a polygon in $\mathbb{R}^2$ whose vertices are also integer points. Lattice triangulations have been studied extensively both as geometric objects in their own right and by virtue of applications in algebraic geometry. Our focus is on random triangulations in which a triangulation $σ$ has weight $λ^{|σ|}$, where $λ$ is a positive real parameter, and $|σ|$ is the total length of the edges in $σ$. Empirically, this model exhibits a "phase transition" at $λ=1$ (corresponding to the uniform distribution): for $λ<1$ distant edges behave essentially independently, while for $λ>1$ very large regions of aligned edges appear. We substantiate this picture as follows. For $λ<1$ sufficiently small, we show that correlations between edges decay exponentially with distance (suitably defined), and also that the Glauber dynamics (a local Markov chain based on flipping edges) is rapidly mixing (in time polynomial in the number of edges in the triangulation). This dynamics has been proposed by several authors as an algorithm for generating random triangulations. By contrast, for $λ>1$ we show that the mixing time is exponential. These are apparently the first rigorous quantitative results on the structure and dynamics of random lattice triangulations.
How many colors guarantee a rainbow matching?
Published
• View Publication
• BIB
Given a coloring of the edges of a multi-hypergraph, a rainbow t-matching is a collection of t disjoint edges, each having a different color. In this note we study the problem of finding a rainbow $t$-matching in an r-partite r-uniform multi-hypergraph whose edges are colored with f colors such that every color class is a matching of size t. This problem was posed by Aharoni and Berger, who asked to determine the minimum number of colors which guarantees a rainbow matching. We improve on the known upper bounds for this problem for all values of the parameters. In particular for every fixed r, we give an upper bound which is polynomial in t, improving the superexponential estimate of Alon. Our proof also works in the setting not requiring the hypergraph to be r-partite.
Hankel determinants of some polynomial sequences
We give simple new proofs of some Hankel determinant evaluations by Omer Egecioglu and Aleksandar Cvetkovic, Predrag Rajkovic and Milos Ivkovic and prove analogous results for sums of moments of symmetric orthogonal polynomials.
Improved Time Complexity of Bandwidth Approximation in Dense Graphs
Given a graph $G=(V, E)$ and and a proper labeling $f$ from $V$ to $\{1, ..., n\}$, we define $B(f)$ as the maximum absolute difference between $f(u)$ and $f(v)$ where $(u,v)\in E$. The bandwidth of $G$ is the minimum $B(f)$ for all $f$. Say $G$ is $δ$-dense if its minimum degree is $δn$. In this paper, we investigate the trade-off between the approximation ratio and the time complexity of the classical approach of Karpinski {et al}.\cite{Karpin97}, and present a faster randomized algorithm for approximating the bandwidth of $δ$-dense graphs. In particular, by removing the polylog factor of the time complexity required to enumerate all possible placements for balls to bins, we reduce the time complexity from $O(n^6\cdot (\log n)^{O(1)})$ to $O(n^{4+o(1)})$. In advance, we reformulate the perfect matching phase of the algorithm with a maximum flow problem of smaller size and reduce the time complexity to $O(n^2\log\log n)$. We also extend the graph classes could be applied by the original approach: we show that the algorithm remains polynomial time as long as $δ$ is $O({(\log\log n)}^2 / {\log n})$.
s-Lecture Hall Partitions, Self-Reciprocal Polynomials, and Gorenstein Cones
Published in Ramanujan Journal 36 (2015), 123-147
• View Publication
• BIB
In 1997, Bousquet-Melou and Eriksson initiated the study of lecture hall partitions, a fascinating family of partitions that yield a finite version of Euler's celebrated odd/distinct partition theorem. In subsequent work on s-lecture hall partitions, they considered the self-reciprocal property for various associated generating functions, with the goal of characterizing those sequences s that give rise to generating functions of the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$.
We continue this line of investigation, connecting their work to the more general context of Gorenstein cones. We focus on the Gorenstein condition for s-lecture hall cones when s is a positive integer sequence generated by a second-order homogeneous linear recurrence with initial values 0 and 1. Among such sequences s, we prove that the n-dimensional s-lecture hall cone is Gorenstein for all n greater than or equal to 1 if and only if s is an l-sequence. One consequence is that among such sequences s, unless s is an l-sequence, the generating function for the s-lecture hall partitions can have the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$ for at most finitely many n.
We also apply the results to establish several conjectures by Pensyl and Savage regarding the symmetry of h*-vectors for s-lecture hall polytopes. We end with open questions and directions for further research.
A Semidefinite Approach to the $K_i$ Cover Problem
Published
• View Publication
• BIB
We apply theta body relaxations to the $K_i$-cover problem and show polynomial time solvability for certain classes of graphs. In particular, we give an effective relaxation where all $K_i$-$p$-hole facets are valid, and study its relation to an open question of Conforti et al. For the triangle free problem, we show for $K_n$ that the theta body relaxations do not converge by $(n-2)/4$ steps; we also prove for all $G$ an integrality gap of 2 for the second theta body.
Square-Root Finding Problem In Graphs, A Complete Dichotomy Theorem
Graph G is the square of graph H if two vertices x,y have an edge in G if and only if x,y are of distance at most two in H. Given H it is easy to compute its square H^2. Determining if a given graph G is the square of some graph is not easy in general. Motwani and Sudan proved that it is NP-complete to determine if a given graph G is the square of some graph. The graph introduced in their reduction is a graph that contains many triangles and is relatively dense. Farzad et al. proved the NP-completeness for finding a square root for girth 4 while they gave a polynomial time algorithm for computing a square root of girth at least six. Adamaszek and Adamaszek proved that if a graph has a square root of girth six then this square root is unique up to isomorphism. In this paper we consider the characterization and recognition problem of graphs that are square of graphs of girth at least five. We introduce a family of graphs with exponentially many non-isomorphic square roots, and as the main result of this paper we prove that the square root finding problem is NP-complete for square roots of girth five. This proof is providing the complete dichotomy theorem for square root problem in terms of the girth of the square roots.
Quaternary Bicycle Matroids and the Penrose Polynomial for Delta-Matroids
In contrast to matroids, vf-safe delta-matroids have three kinds of minors and are closed under the operations of twist and loop complementation. We show that the delta-matroids representable over GF(4) with respect to the nontrivial automorphism of GF(4) form a subclass of the vf-safe delta-matroids closed under twist and loop complementation. In particular, quaternary matroids are vf-safe.
Using this result, we show that the matroid of a bicycle space of a quaternary matroid M is obtained from M by using loop complementation. As a consequence, the matroid of a bicycle space of a quaternary matroid M is independent of the chosen representation. This also leads to, e.g., an extension of a known parity-type characterization of the bicycle dimension, a generalization of the tripartition of Rosenstiehl and Read [Ann. Disc. Math. (1978)], and a suitable generalization of the dual notions of bipartite and Eulerian binary matroids to a vf-safe delta-matroids.
Finally, we generalize a number of results concerning the Penrose polynomial from binary matroids to vf-safe delta-matroids. In this general setting the Penrose polynomial turns out to have a recursive relation much like the recursive relation of the Tutte polynomial.
Cyclic sieving phenomenon on annular noncrossing permutations
We show an instance of the cyclic sieving phenomenon on annular noncrossing permutations with given cycle types. We define annular $q$-Kreweras numbers, annular $q$-Narayana numbers, and annular $q$-Catalan number, all of which are polynomials in $q$. We then show that these polynomials exhibit the cyclic sieving phenomenon on annular noncrossing permutations. We also show that a sum of annular $q$-Kreweras numbers becomes an annular $q$-Narayana number and a sum of $q$-Narayana numbers becomes an annular $q$-Catalan number.
Bipartition of graphs based on the normalized cut and spectral methods
In the first part of this paper, we survey results that are associated with three types of Laplacian matrices:difference, normalized, and signless. We derive eigenvalue and eigenvector formulaes for paths and cycles using circulant matrices and present an alternative proof for finding eigenvalues of the adjacency matrix of paths and cycles using Chebyshev polynomials. Even though each results is separately well known, we unite them, and provide uniform proofs in a simple manner. The main objective of this study is to solve the problem of finding graphs, on which spectral clustering methods and normalized cuts produce different partitions. First, we derive a formula for a minimum normalized cut for graph classes such as paths, cycles, complete graphs, double-trees, cycle cross paths, and some complex graphs like lollipop graph $LP_{n,m}$, roach type graph $R_{n,k}$, and weighted path $P_{n,k}$. Next, we provide characteristic polynomials of the normalized Laplacian matrices ${\mathcal L}(P_{n,k})$ and ${\mathcal L}(R_{n,k})$. Then, we present counter example graphs based on $R_{n,k}$, on which spectral methods and normalized cuts produce different clusters.
Well-Covered Graphs Without Cycles of Lengths 4, 5 and 6
Published
• View Publication
• BIB
A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices. Then G is w-well-covered if all maximal independent sets are of the same weight. For every graph G, the set of weight functions w such that G is w-well-covered is a vector space. Given an input graph G without cycles of length 4, 5, and 6, we characterize polynomially the vector space of weight functions w for which G is w-well-covered. Let B be an induced complete bipartite subgraph of G on vertex sets of bipartition B_{X} and B_{Y}. Assume that there exists an independent set S such that both the union of S and B_{X} and the union of S and B_{Y} are maximal independent sets of G. Then B is a generating subgraph of G, and it produces the restriction w(B_{X})=w(B_{Y}). It is known that for every weight function w, if G is w-well-covered, then the above restriction is satisfied. In the special case, where B_{X}={x} and B_{Y}={y}, we say that xy is a relating edge. Recognizing relating edges and generating subgraphs is an NP-complete problem. However, we provide a polynomial algorithm for recognizing generating subgraphs of an input graph without cycles of length 5, 6 and 7. We also present a polynomial algorithm for recognizing relating edges in an input graph without cycles of length 5 and 6.
Equitable Colorings of Corona Multiproducts of Graphs
A graph is equitably $k$-colorable if its vertices can be partitioned into $k$ independent sets in such a way that the number of vertices in any two sets differ by at most one. The smallest $k$ for which such a coloring exists is known as the equitable chromatic number of $G$ and denoted $χ_{=}(G)$. It is known that this problem is NP-hard in general case and remains so for corona graphs. In "Equitable colorings of Cartesian products of graphs" (2012) Lin and Chang studied equitable coloring of Cartesian products of graphs. In this paper we consider the same model of coloring in the case of corona products of graphs. In particular, we obtain some results regarding the equitable chromatic number for $l$-corona product $G \circ ^l H$, where $G$ is an equitably 3- or 4-colorable graph and $H$ is an $r$-partite graph, a path, a cycle or a complete graph. Our proofs are constructive in that they lead to polynomial algorithms for equitable coloring of such graph products provided that there is given an equitable coloring of $G$. Moreover, we confirm Equitable Coloring Conjecture for corona products of such graphs. This paper extends our results from \cite{hf}.
Derivations and identities for Kravchuk polynomials
Published in Ukrainian Mathematical Journal, 2014, Vol.65, No.12, p.1-19
• View Publication
• BIB
We introduce the notion of Kravchuk derivations of the polynomial algebra. We prove that any element of the kernel of the derivation gives a polynomial identity satisfied by the Kravchuk polynomials. Also, we prove that any kernel element of the basic Weitzenbök derivations yields a polynomial identity satisfied by the Kravchuk polynomials. We describe the corresponding intertwining maps.
Edge-distance-regular graphs are distance-regular
A graph is edge-distance-regular when it is distance-regular around each of its edges and it has the same intersection numbers for any edge taken as a root. In this paper we give some (combinatorial and algebraic) proofs of the fact that every edge-distance-regular graph $\G$ is distance-regular and homogeneous. More precisely, $\G$ is edge-distance-regular if and only if it is bipartite distance-regular or a generalized odd graph. Also, we obtain the relationships between some of their corresponding parameters, mainly, the distance polynomials and the intersection numbers.
A generalization of the Mehta-Wang determinant and Askey-Wilson polynomials
Published
• View Publication
• BIB
Motivated by the Gaussian symplectic ensemble, Mehta and Wang evaluated the $n$ by $n$ determinant $\det((a+j-i)Γ(b+j+i))$ in 2000. When $a=0$, Ciucu and Krattenthaler computed the associated Pfaffian $\Pf((j-i)Γ(b+j+i))$ with an application to the two dimensional dimer system in 2011. Recently we have generalized the latter Pfaffian formula with a $q$-analogue by replacing the Gamma function by the moment sequence of the little $q$-Jacobi polynomials. On the other hand, Nishizawa has found a $q$-analogue of the Mehta--Wang formula. Our purpose is to generalize both the Mehta-Wang and Nishizawa formulae by using the moment sequence of the little $q$-Jacobi polynomials. It turns out that the corresponding determinant can be evaluated explicitly in terms of the Askey-Wilson polynomials.
A relation between Clar covering polynomial and cube polynomial
The Clar covering polynomial (also called Zhang-Zhang polynomial in some chemical literature) of a hexagonal system is a counting polynomial for some types of resonant structures called Clar covers, which can be used to determine Kekulé count, the first Herndon number and Clar number, and so on. In this paper we find that the Clar covering polynomial of a hexagonal system H coincides with the cube polynomial of its resonance graph R(H) by establishing a one-to-one correspondence between the Clar covers of H and the hypercubes in R(H). Accordingly, some applications are presented.
Generalization of Sabitov's Theorem to Polyhedra of Arbitrary Dimensions
Published in Discrete Comput. Geom., 52:2 (2014), 195-220
• View Publication
• BIB
In 1996 Sabitov proved that the volume of an arbitrary simplicial polyhedron P in the 3-dimensional Euclidean space $\R^3$ satisfies a monic (with respect to V) polynomial relation F(V,l)=0, where l denotes the set of the squares of edge lengths of P. In 2011 the author proved the same assertion for polyhedra in $\R^4$. In this paper, we prove that the same result is true in arbitrary dimension $n\ge 3$. Moreover, we show that this is true not only for simplicial polyhedra, but for all polyhedra with triangular 2-faces. As a corollary, we obtain the proof in arbitrary dimension of the well-known Bellows Conjecture posed by Connelly in 1978. This conjecture claims that the volume of any flexible polyhedron is constant. Moreover, we obtain the following stronger result. If $P_t$, $t\in [0,1]$, is a continuous deformation of a polyhedron such that the combinatorial type of $P_t$ does not change and every 2-face of $P_t$ remains congruent to the corresponding face of $P_0$, then the volume of $P_t$ is constant. We also obtain non-trivial estimates for the oriented volumes of complex simplicial polyhedra in $\C^n$ from their orthogonal edge lengths.
Network Parameterizations for the Grassmannian
Published in Algebra Number Theory 7 (2013) 2275-2311
• View Publication
• BIB
Deodhar introduced his decomposition of partial flag varieties as a tool for understanding Kazhdan-Lusztig polynomials. The Deodhar decomposition of the Grassmannian is also useful in the context of soliton solutions to the KP equation, as shown by Kodama and the second author. Deodhar components S_D of the Grassmannian are in bijection with certain tableaux D called Go-diagrams, and each component is isomorphic to (K*)^a \times (K)^b for some non-negative integers a and b.
Our main result is an explicit parameterization of each Deodhar component in the Grassmannian in terms of networks. More specifically, from a Go-diagram D we construct a weighted network N_D and its weight matrix W_D, whose entries enumerate directed paths in N_D. By letting the weights in the network vary over K or K* as appropriate, one gets a parameterization of the Deodhar component S_D. One application of such a parameterization is that one may immediately determine which Plucker coordinates are vanishing and nonvanishing, by using the Lindstrom-Gessel-Viennot Lemma. We also give a (minimal) characterization of each Deodhar component in terms of Plucker coordinates. A main tool for us is the work of Marsh and Rietsch on Deodhar components in the flag variety.
Geometric RSK correspondence, Whittaker functions and symmetrized random polymers
Published in Invent. math. 197, 361-416 (2014)
• View Publication
• BIB
We show that the geometric lifting of the RSK correspondence introduced by A.N. Kirillov (2001) is volume preserving with respect to a natural product measure on its domain, and that the integrand in Givental's integral formula for GL(n,R)-Whittaker functions arises naturally in this context. Apart from providing further evidence that Whittaker functions are the natural analogue of Schur polynomials in this setting, our results also provide a new `combinatorial' framework for the study of random polymers. When the input matrix consists of random inverse gamma distributed weights, the probability distribution of a polymer partition function constructed from these weights can be written down explicitly in terms of Whittaker functions. Next we restrict the geometric RSK mapping to symmetric matrices and show that the volume preserving property continues to hold. We determine the probability law of the polymer partition function with inverse gamma weights that are constrained to be symmetric about the main diagonal, with an additional factor on the main diagonal. The third combinatorial mapping studied is a variant of the geometric RSK mapping for triangular arrays, which is again showed to be volume preserving. This leads to a formula for the probability distribution of a polymer model whose paths are constrained to stay below the diagonal. We also show that the analogues of the Cauchy-Littlewood identity in the setting of this paper are equivalent to a collection of Whittaker integral identities conjectured by Bump (1989) and Bump and Friedberg (1990) and proved by Stade (2001, 2002). Our approach leads to new `combinatorial' proofs and generalizations of these identities, with some restrictions on the parameters.
On Weak Chromatic Polynomials of Mixed Graphs
Published in Graphs and Combinatorics 31 (2015), 91-98
• View Publication
• BIB
A \emph{mixed graph} is a graph with directed edges, called arcs, and undirected edges. A $k$-coloring of the vertices is proper if colors from ${1,2,...,k}$ are assigned to each vertex such that $u$ and $v$ have different colors if $uv$ is an edge, and the color of $u$ is less than or equal to (resp. strictly less than) the color of $v$ if $uv$ is an arc. The weak (resp. strong) chromatic polynomial of a mixed graph counts the number of proper $k$-colorings. Using order polynomials of partially ordered sets, we establish a reciprocity theorem for weak chromatic polynomials giving interpretations of evaluations at negative integers.