English
Related papers

Related papers: Barvinok's interpolation method meets Weitz's corr…

200 papers

Absence of (complex) zeros property is at the heart of the interpolation method developed by Barvinok \cite{barvinok2017combinatorics} for designing deterministic approximation algorithms for various graph counting and computing partition…

Probability · Mathematics 2020-12-02 David Gamarnik

In this article we consider certain well-known polynomials associated with graphs including the independence polynomial and the chromatic polynomial. These polynomials count certain objects in graphs: independent sets in the case of the…

Data Structures and Algorithms · Computer Science 2022-12-19 Viresh Patel , Guus Regts

Answering a question of Gamarnik and Smedira, we give a polynomial time algorithm that approximately computes the volume of a truncation of a relaxation of the independent set polytope, improving on their quasi-polynomial time algorithm.…

Combinatorics · Mathematics 2024-04-15 Ferenc Bencs , Guus Regts

We study algorithms for approximating the permanent of a random matrix when the entries are slightly biased away from zero. This question is motivated by the goal of understanding the classical complexity of linear optics and \emph{boson…

Data Structures and Algorithms · Computer Science 2026-04-03 Frederic Koehler , Pui Kuen Leung

Zero-free based algorithm is a major technique for deterministic approximate counting. In Barvinok's original framework[Bar17], by calculating truncated Taylor expansions, a quasi-polynomial time algorithm was given for estimating zero-free…

Data Structures and Algorithms · Computer Science 2022-02-01 Penghui Yao , Yitong Yin , Xinyuan Zhang

We study an algorithm for approximating the multivariate independence polynomial $Z(\mathbf{z})$, with negative and complex arguments, an object that has strong connections to combinatorics and to statistical physics. In particular, the…

Data Structures and Algorithms · Computer Science 2017-11-15 Nicholas J. A. Harvey , Piyush Srivastava , Jan Vondrák

In a recent breakthrough work, Gartland and Lokshtanov [FOCS 2020] showed a quasi-polynomial-time algorithm for Maximum Weight Independent Set in $P_t$-free graphs, that is, graphs excluding a fixed path as an induced subgraph. Their…

Data Structures and Algorithms · Computer Science 2020-11-18 Marcin Pilipczuk , Michał Pilipczuk , Paweł Rzążewski

It is known from the work of Shearer (1985) (and also Scott and Sokal (2005)) that the independence polynomial $Z_G(\lambda)$ of a graph $G$ of maximum degree at most $d+1$ does not vanish provided that $\vert{\lambda}\vert \leq…

Discrete Mathematics · Computer Science 2022-11-15 Ferenc Bencs , Péter Csikvári , Piyush Srivastava , Jan Vondrák

We define a discrete-time Markov chain for abstract polymer models and show that under sufficient decay of the polymer weights, this chain mixes rapidly. We apply this Markov chain to polymer models derived from the hard-core and…

Data Structures and Algorithms · Computer Science 2021-04-14 Zongchen Chen , Andreas Galanis , Leslie Ann Goldberg , Will Perkins , James Stewart , Eric Vigoda

In this paper we show a new way of constructing deterministic polynomial-time approximation algorithms for computing complex-valued evaluations of a large class of graph polynomials on bounded degree graphs. In particular, our approach…

Combinatorics · Mathematics 2018-01-11 Viresh Patel , Guus Regts

An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on a key observation that quadratic polynomial inequalities…

Logic in Computer Science · Computer Science 2016-11-14 Ting Gan , Liyun Dai , Bican Xia , Naijun Zhan , Deepak Kapur , Mingshuai Chen

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…

Combinatorics · Mathematics 2007-05-23 S. Gao , A. G. B. Lauder

We present two new contributions to the study of the independence polynomial $Z_G(z)$ of a finite simple graph $G = (V,E)$. First, we provide an improved lower bound for the zero-free region of $Z_G(z)$ for the important class of claw-free…

Combinatorics · Mathematics 2025-08-15 Paula M. S. Fialho , Aldo Procacci

We give a deterministic, nearly logarithmic-space algorithm for mild spectral sparsification of undirected graphs. Given a weighted, undirected graph $G$ on $n$ vertices described by a binary string of length $N$, an integer $k\leq \log n$,…

Data Structures and Algorithms · Computer Science 2020-04-21 Dean Doron , Jack Murtagh , Salil Vadhan , David Zuckerman

We prove the following result about approximating the maximum independent set in a graph. Informally, we show that any approximation algorithm with a ``non-trivial'' approximation ratio (as a function of the number of vertices of the input…

Data Structures and Algorithms · Computer Science 2023-07-06 Parinya Chalermsook , Fedor Fomin , Thekla Hamm , Tuukka Korhonen , Jesper Nederlof , Ly Orgo

We consider large random graphs with prescribed degrees, such as those generated by the configuration model. In the regime where the empirical degree distribution approaches a limit $\mu$ with finite mean, we establish the systematic…

Probability · Mathematics 2019-02-20 Justin Salez

We give deterministic distributed $(1+\epsilon)$-approximation algorithms for Minimum Vertex Coloring and Maximum Independent Set on chordal graphs in the LOCAL model. Our coloring algorithm runs in $O(\frac{1}{\epsilon} \log n)$ rounds,…

Data Structures and Algorithms · Computer Science 2018-05-15 Christian Konrad , Viktor Zamaraev

For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation…

Data Structures and Algorithms · Computer Science 2022-09-27 Pierre Bergé , Édouard Bonnet , Hugues Déprés , Rémi Watrigant

We study the problem of approximating the Ising model partition function with complex parameters on bounded degree graphs. We establish a deterministic polynomial-time approximation scheme for the partition function when the interactions…

Quantum Physics · Physics 2019-07-12 Ryan L. Mann , Michael J. Bremner

We present an algorithm that takes as input a graph $G$ with weights on the vertices, and computes a maximum weight independent set $S$ of $G$. If the input graph $G$ excludes a path $P_k$ on $k$ vertices as an induced subgraph, the…

Data Structures and Algorithms · Computer Science 2020-06-09 Peter Gartland , Daniel Lokshtanov
‹ Prev 1 2 3 10 Next ›