Showing 1–45 of 45 results for author: Regts, G

Approximating the volume of a truncated relaxation of the independence polytope

Authors: Ferenc Bencs, Guus Regts

Abstract: 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. Our algorithm is obtained by viewing the volume as an evaluation of a graph polynomial and we approximate this evaluation using Barvinok's interpolation method. 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. Our algorithm is obtained by viewing the volume as an evaluation of a graph polynomial and we approximate this evaluation using Barvinok's interpolation method. △ Less

Submitted 12 April, 2024; originally announced April 2024.

MSC Class: 05C31; 52B55; 05C69

A near-optimal zero-free disk for the Ising model

Authors: Viresh Patel, Guus Regts, Ayla Stam

Abstract: The partition function of the Ising model of a graph $G=(V,E)$ is defined as $Z_{\text{Ising}}(G;b)=\sum_{σ:V\to \{0,1\}} b^{m(σ)}$, where $m(σ)$ denotes the number of edges $e=\{u,v\}$ such that $σ(u)=σ(v)$. We show that for any positive integer $Δ$ and any graph $G$ of maximum degree at most $Δ$, $Z_{\text{Ising}}(G;b)\neq 0$ for all $b\in \mathbb{C}$ satisfying… ▽ More The partition function of the Ising model of a graph $G=(V,E)$ is defined as $Z_{\text{Ising}}(G;b)=\sum_{σ:V\to \{0,1\}} b^{m(σ)}$, where $m(σ)$ denotes the number of edges $e=\{u,v\}$ such that $σ(u)=σ(v)$. We show that for any positive integer $Δ$ and any graph $G$ of maximum degree at most $Δ$, $Z_{\text{Ising}}(G;b)\neq 0$ for all $b\in \mathbb{C}$ satisfying $|\frac{b-1}{b+1}| \leq \frac{1-o_Δ(1)}{Δ-1}$ (where $o_Δ(1) \to 0$ as $Δ\to \infty$). This is optimal in the sense that $\tfrac{1-o_Δ(1)}{Δ-1}$ cannot be replaced by $\tfrac{c}{Δ-1}$ for any constant $c > 1$ subject to a complexity theoretic assumption. To prove our result we use a standard reformulation of the partition function of the Ising model as the generating function of even sets. We establish a zero-free disk for this generating function inspired by techniques from statistical physics on partition functions of a polymer models. Our approach is quite general and we discuss extensions of it to a certain types of polymer models. △ Less

Submitted 23 April, 2024; v1 submitted 9 November, 2023; originally announced November 2023.

Comments: 12 pages; we have added a few propositions in Section 2 and reorganized the section to clarify the proof of Lemma 3.1. Some other small modifications have also been made as per suggestion of two referees

Near optimal bounds for weak and strong spatial mixing for the anti-ferromagnetic Potts model on trees

Authors: Ferenc Bencs, Khallil Berrekkal, Guus Regts

Abstract: We show that the anti-ferromagnetic Potts model on trees exhibits strong spatial mixing for a near-optimal range of parameters. Our work complements recent results of Chen, Liu, Mani, and Moitra [arXiv.2304.01954] who showed this to be true in the infinite temperature setting, corresponding to uniform proper colorings. We furthermore prove weak spatial mixing results complementing results in [arXi… ▽ More We show that the anti-ferromagnetic Potts model on trees exhibits strong spatial mixing for a near-optimal range of parameters. Our work complements recent results of Chen, Liu, Mani, and Moitra [arXiv.2304.01954] who showed this to be true in the infinite temperature setting, corresponding to uniform proper colorings. We furthermore prove weak spatial mixing results complementing results in [arXiv.2304.01954]. △ Less

Submitted 6 October, 2023; originally announced October 2023.

Comments: 23 pages

Improved bounds for the zeros of the chromatic polynomial via Whitney's Broken Circuit Theorem

Authors: Matthew Jenssen, Viresh Patel, Guus Regts

Abstract: We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(x)$ (in $\mathbb{C}$) lie inside the disc of radius $5.94 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$. We also obtain improved bounds for graphs of high girth. We prove that for every $g$ there is a constant $K_g$ such that for any graph $G$… ▽ More We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(x)$ (in $\mathbb{C}$) lie inside the disc of radius $5.94 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$. We also obtain improved bounds for graphs of high girth. We prove that for every $g$ there is a constant $K_g$ such that for any graph $G$ of maximum degree at most $Δ$ and girth at least $g$, the zeros of its chromatic polynomial $χ_G(x)$ lie inside the disc of radius $K_g Δ$ centered at $0$, where $K_g$ is the solution to a certain optimization problem. In particular, $K_g < 5$ when $g \geq 5$ and $K_g < 4$ when $g \geq 25$ and $K_g$ tends to approximately $3.86$ as $g \to \infty$. Key to the proof is a classical theorem of Whitney which allows us to relate the chromatic polynomial of a graph $G$ to the generating function of so-called broken-circuit-free forests in $G$. We also establish a zero-free disc for the generating function of all forests in $G$ (aka the partition function of the arboreal gas) which may be of independent interest. △ Less

Submitted 10 July, 2024; v1 submitted 19 September, 2023; originally announced September 2023.

Comments: 16 pages

On boundedness of zeros of the independence polynomial of tori

Authors: David de Boer, Pjotr Buys, Han Peters, Guus Regts

Abstract: We study boundedness of zeros of the independence polynomial of tori for sequences of tori converging to the integer lattice. We prove that zeros are bounded for sequences of balanced tori, but unbounded for sequences of highly unbalanced tori. Here balanced means that the size of the torus is at most exponential in the shortest side length, while highly unbalanced means that the longest side leng… ▽ More We study boundedness of zeros of the independence polynomial of tori for sequences of tori converging to the integer lattice. We prove that zeros are bounded for sequences of balanced tori, but unbounded for sequences of highly unbalanced tori. Here balanced means that the size of the torus is at most exponential in the shortest side length, while highly unbalanced means that the longest side length of the torus is super exponential in the product over the other side lengths cubed. We discuss implications of our results to the existence of efficient algorithms for approximating the independence polynomial on tori. △ Less

Submitted 23 June, 2023; v1 submitted 22 June, 2023; originally announced June 2023.

Comments: 45 pages, 5 figures, fixed a typo in the title

Approximate counting using Taylor's theorem: a survey

Authors: Viresh Patel, Guus Regts

Abstract: 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 independence polynomial and proper colourings in the case of the chromatic polynomial. They also have interpretations as partition functions in statistical physics… ▽ More 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 independence polynomial and proper colourings in the case of the chromatic polynomial. They also have interpretations as partition functions in statistical physics. The algorithmic problem of (approximately) computing these types of polynomials has been studied for close to 50 years, especially using Markov chain techniques. Around eight years ago, Barvinok devised a new algorithmic approach based on Taylor's theorem for computing the permanent of certain matrices, and the approach has been applied to various graph polynomials since then. This article is intended as a gentle introduction to the approach as well as a partial survey of associated techniques and results. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 28 pages. Published in the October issue of the Bulletin of the EATC. This is a survey article and does not contain any new results

Journal ref: Bulletin of EATCS 138, no. 3 (2022)

Approximating the chromatic polynomial is as hard as computing it exactly

Authors: Ferenc Bencs, Jeroen Huijben, Guus Regts

Abstract: We show that for any non-real algebraic number $q$ such that $|q-1|>1$ or $\Re(q)>\frac{3}{2}$ it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at $q$ on planar graphs. This implies \textsc{\#P}-hardness for all non-real algebraic $q$ on the family of all graphs. We moreover prove several… ▽ More We show that for any non-real algebraic number $q$ such that $|q-1|>1$ or $\Re(q)>\frac{3}{2}$ it is \textsc{\#P}-hard to compute a multiplicative (resp. additive) approximation to the absolute value (resp. argument) of the chromatic polynomial evaluated at $q$ on planar graphs. This implies \textsc{\#P}-hardness for all non-real algebraic $q$ on the family of all graphs. We moreover prove several hardness results for $q$ such that $|q-1|\leq 1$. Our hardness results are obtained by showing that a polynomial time algorithm for approximately computing the chromatic polynomial of a planar graph at non-real algebraic $q$ (satisfying some properties) leads to a polynomial time algorithm for \emph{exactly} computing it, which is known to be hard by a result of Vertigan. Many of our results extend in fact to the more general partition function of the random cluster model, a well known reparametrization of the Tutte polynomial. △ Less

Submitted 13 November, 2023; v1 submitted 24 November, 2022; originally announced November 2022.

Comments: 47 pages; minor changes based on referee comments. The number of pages has gone up significantly because we used a different document class, namely cc. Accepted for publication in Computational Complexity

MSC Class: 68Q17; primary; 05C31; secondary

On the location of chromatic zeros of series-parallel graphs

Authors: Ferenc Bencs, Jeroen Huijben, Guus Regts

Abstract: In this paper we consider the zeros of the chromatic polynomial of series-parallel graphs. Complementing a result of Sokal, showing density outside the disk $|q-1|\leq1$, we show density of these zeros in the half plane $\Re(q)>3/2$ and we show there exists an open region $U$ containing the interval $(0,32/27)$ such that $U\setminus\{1\}$ does not contain zeros of the chromatic polynomial of serie… ▽ More In this paper we consider the zeros of the chromatic polynomial of series-parallel graphs. Complementing a result of Sokal, showing density outside the disk $|q-1|\leq1$, we show density of these zeros in the half plane $\Re(q)>3/2$ and we show there exists an open region $U$ containing the interval $(0,32/27)$ such that $U\setminus\{1\}$ does not contain zeros of the chromatic polynomial of series-parallel graphs. We also disprove a conjecture of Sokal by showing that for each large enough integer $Δ$ there exists a series-parallel graph for which all vertices but one have degree at most $Δ$ and whose chromatic polynomial has a zero with real part exceeding $Δ$. △ Less

Submitted 15 May, 2023; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: Small changes based on referee comments. Accepted for publication in the Electronic Journal of Combinatorics

MSC Class: 05C31 (Primary) 05C15; 37F10; 82B20 (Secondary)

Uniqueness of the Gibbs measure for the anti-ferromagnetic Potts model on the infinite $Δ$-regular tree for large $Δ$

Authors: Ferenc Bencs, David de Boer, Pjotr Buys, Guus Regts

Abstract: In this paper we prove that for any integer $q\geq 5$, the anti-ferromagnetic $q$-state Potts model on the infinite $Δ$-regular tree has a unique Gibbs measure for all edge interaction parameters $w\in [1-q/Δ,1)$, provided $Δ$ is large enough. This confirms a longstanding folklore conjecture. In this paper we prove that for any integer $q\geq 5$, the anti-ferromagnetic $q$-state Potts model on the infinite $Δ$-regular tree has a unique Gibbs measure for all edge interaction parameters $w\in [1-q/Δ,1)$, provided $Δ$ is large enough. This confirms a longstanding folklore conjecture. △ Less

Submitted 21 August, 2023; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: 21 pages, 1 figure. Small corrections based on referee comments. Published in Journal of Statistical Physics

MSC Class: 60K35 (Primary); 82B20; 05C99 (Secondary)

Journal ref: J Stat Phys 190, 140 (2023)

Absence of zeros implies strong spatial mixing

Authors: Guus Regts

Abstract: In this paper we show that absence of complex zeros of the partition function of the hard-core model on any family of bounded degree graphs implies that the associated probability measure, the \emph{hard-core measure}, satisfies strong spatial mixing on that family. As a corollary we obtain that the hard-core measure on the family of bounded degree claw-free graphs satisfies strong spatial mixing.… ▽ More In this paper we show that absence of complex zeros of the partition function of the hard-core model on any family of bounded degree graphs implies that the associated probability measure, the \emph{hard-core measure}, satisfies strong spatial mixing on that family. As a corollary we obtain that the hard-core measure on the family of bounded degree claw-free graphs satisfies strong spatial mixing. We furthermore derive strong spatial mixing for graph homomorphism measures from absence of zeros of the graph homomorphism partition function. △ Less

Submitted 15 May, 2023; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: v4 some small changes based on comments by referees

Journal ref: Probability Theory and Related Fields 186, 621--641 (2023)

Improved bounds for zeros of the chromatic polynomial on bounded degree graphs

Authors: Maurizio Moreschi, Viresh Patel, Guus Regts, Ayla Stam

Abstract: We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(z)$ (in $\mathbb{C}$) lie outside the disk of radius $5.02 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$. In the case of graphs of high girth we can improve this. We prove that for every $g$ there is a constant $K_g$ such that for any graph… ▽ More We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(z)$ (in $\mathbb{C}$) lie outside the disk of radius $5.02 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$. In the case of graphs of high girth we can improve this. We prove that for every $g$ there is a constant $K_g$ such that for any graph $G$ of maximum degree at most $Δ$ and girth at least $g$, the zeros of its chromatic polynomial $χ_G(z)$ lie outside the disk of radius $K_g Δ$ centered at $0$ where $K_g \to 1 + e \approx 3.72$ as $g \to \infty$. Finally, we give improved bounds on the Fisher zeros of the partition function of the Ising model. △ Less

Submitted 21 December, 2021; v1 submitted 7 May, 2021; originally announced May 2021.

Comments: Eq (2.4) is not correct and as such this invalidates Theorem 2.3 and consequently all the claimed results on the modulus of the zeros of chromatic polynomial. As fas as we can tell the results for the edge based block polynomials are correct (this concerns Sections 4 and 5). We will probably resubmit this part as part of a new paper at some point in the future

MSC Class: 5C31 primary; 82B20; 68W25 secondary

Zeros, chaotic ratios and the computational complexity of approximating the independence polynomial

Authors: David de Boer, Pjotr Buys, Lorenzo Guerini, Han Peters, Guus Regts

Abstract: The independence polynomial originates in statistical physics as the partition function of the hard-core model. The location of the complex zeros of the polynomial is related to phase transitions, and plays an important role in the design of efficient algorithms to approximately compute evaluations of the polynomial. In this paper we directly relate the location of the complex zeros of the indep… ▽ More The independence polynomial originates in statistical physics as the partition function of the hard-core model. The location of the complex zeros of the polynomial is related to phase transitions, and plays an important role in the design of efficient algorithms to approximately compute evaluations of the polynomial. In this paper we directly relate the location of the complex zeros of the independence polynomial to computational hardness of approximating evaluations of the independence polynomial. We do this by moreover relating the location of zeros to chaotic behaviour of a naturally associated family of rational functions; the occupation ratios. △ Less

Submitted 23 April, 2021; originally announced April 2021.

Comments: 33 pages, 9 figures

MSC Class: 05C31; 37F10; 03D15

Sampling from the low temperature Potts model through a Markov chain on flows

Authors: Jeroen Huijben, Viresh Patel, Guus Regts

Abstract: In this paper we consider the algorithmic problem of sampling from the Potts model and computing its partition function at low temperatures. Instead of directly working with spin configurations, we consider the equivalent problem of sampling flows. We show, using path coupling, that a simple and natural Markov chain on the set of flows is rapidly mixing. As a result we find a $δ$-approximate sampl… ▽ More In this paper we consider the algorithmic problem of sampling from the Potts model and computing its partition function at low temperatures. Instead of directly working with spin configurations, we consider the equivalent problem of sampling flows. We show, using path coupling, that a simple and natural Markov chain on the set of flows is rapidly mixing. As a result we find a $δ$-approximate sampling algorithm for the Potts model at low enough temperatures, whose running time is bounded by $O(m^2\log(mδ^{-1}))$ for graphs $G$ with $m$ edges. △ Less

Submitted 28 February, 2022; v1 submitted 12 March, 2021; originally announced March 2021.

Comments: Slightly revised version based on referee comments. No significant changes. Accepted in Random Structures and Algorithms

Some applications of Wagner's weighted subgraph counting polynomial

Authors: Ferenc Bencs, Péter Csikvári, Guus Regts

Abstract: We use Wagner's weighted subgraph counting polynomial to prove that the partition function of the anti-ferromagnetic Ising model on line graphs is real rooted and to prove that roots of the edge cover polynomial have length at most $4$. We moreover discuss how our results relate to efficient algorithms for approximately computing evaluations of these polynomials. We use Wagner's weighted subgraph counting polynomial to prove that the partition function of the anti-ferromagnetic Ising model on line graphs is real rooted and to prove that roots of the edge cover polynomial have length at most $4$. We moreover discuss how our results relate to efficient algorithms for approximately computing evaluations of these polynomials. △ Less

Submitted 20 September, 2021; v1 submitted 1 December, 2020; originally announced December 2020.

MSC Class: 05C35 (Primary) 05C31; 05C70; 05C80 (Secondary)

Uniqueness of the Gibbs measure for the $4$-state anti-ferromagnetic Potts model on the regular tree

Authors: David de Boer, Pjotr Buys, Guus Regts

Abstract: We show that the $4$-state anti-ferromagnetic Potts model with interaction parameter $w\in(0,1)$ on the infinite $(d+1)$-regular tree has a unique Gibbs measure if $w\geq 1-\frac{4}{d+1}$ for all $d\geq 4$. This is tight since it is known that there are multiple Gibbs measures when $0\leq w<1-\frac{4}{d+1}$ and $d\geq 4$. We moreover give a new proof of the uniqueness of the Gibbs measure for th… ▽ More We show that the $4$-state anti-ferromagnetic Potts model with interaction parameter $w\in(0,1)$ on the infinite $(d+1)$-regular tree has a unique Gibbs measure if $w\geq 1-\frac{4}{d+1}$ for all $d\geq 4$. This is tight since it is known that there are multiple Gibbs measures when $0\leq w<1-\frac{4}{d+1}$ and $d\geq 4$. We moreover give a new proof of the uniqueness of the Gibbs measure for the $3$-state Potts model on the $(d+1)$-regular tree for $w\geq 1-\frac{3}{d+1}$ when $d\geq 3$ and for $w\in (0,1)$ when $d=2$. △ Less

Submitted 16 January, 2023; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: Subsection 1.2 and Section have been merged and slightly rewritten. Proof of Lemma 1.3 has been moved to an appendix, fixed a small mistake in the proof of this lemma. Some small other changes have been made. No significant changes. Accepted in CPC

MSC Class: 82B20 (Primary) 60K35; 05C99 (Secondary)

Lee-Yang zeros and the complexity of the ferromagnetic Ising model on bounded-degree graphs

Authors: Pjotr Buys, Andreas Galanis, Viresh Patel, Guus Regts

Abstract: We study the computational complexity of approximating the partition function of the ferromagnetic Ising model with the external field parameter $λ$ on the unit circle in the complex plane. Complex-valued parameters for the Ising model are relevant for quantum circuit computations and phase transitions in statistical physics, but have also been key in the recent deterministic approximation scheme… ▽ More We study the computational complexity of approximating the partition function of the ferromagnetic Ising model with the external field parameter $λ$ on the unit circle in the complex plane. Complex-valued parameters for the Ising model are relevant for quantum circuit computations and phase transitions in statistical physics, but have also been key in the recent deterministic approximation scheme for all $|λ|\neq 1$ by Liu, Sinclair, and Srivastava. Here, we focus on the unresolved complexity picture on the unit circle, and on the tantalising question of what happens around $λ=1$, where on one hand the classical algorithm of Jerrum and Sinclair gives a randomised approximation scheme on the real axis suggesting tractability, and on the other hand the presence of Lee-Yang zeros alludes to computational hardness. Our main result establishes a sharp computational transition at the point $λ=1$, and more generally on the entire unit circle. For an integer $Δ\geq 3$ and edge interaction parameter $b\in (0,1)$ we show #P-hardness for approximating the partition function on graphs of maximum degree $Δ$ on the arc of the unit circle where the Lee-Yang zeros are dense. This result contrasts with known approximation algorithms when $|λ|\neq 1$ or when $λ$ is in the complementary arc around $1$ of the unit circle. Our work thus gives a direct connection between the presence/absence of Lee-Yang zeros and the tractability of efficiently approximating the partition function on bounded-degree graphs. △ Less

Submitted 22 January, 2021; v1 submitted 26 June, 2020; originally announced June 2020.

Comments: 40 pages, 1 figure. We have included a new result for the case $b\in [1-2/Δ,1)$. This essentially gives a complete picture of the complexity of the problem. An extended abstract has been presented at SODA 2021

Statistical physics approaches to Unique Games

Authors: Matthew Coulson, Ewan Davies, Alexandra Kolla, Viresh Patel, Guus Regts

Abstract: We show how two techniques from statistical physics can be adapted to solve a variant of the notorious Unique Games problem, potentially opening new avenues towards the Unique Games Conjecture. The variant, which we call Count Unique Games, is a promise problem in which the "yes" case guarantees a certain number of highly satisfiable assignments to the Unique Games instance. In the standard Unique… ▽ More We show how two techniques from statistical physics can be adapted to solve a variant of the notorious Unique Games problem, potentially opening new avenues towards the Unique Games Conjecture. The variant, which we call Count Unique Games, is a promise problem in which the "yes" case guarantees a certain number of highly satisfiable assignments to the Unique Games instance. In the standard Unique Games problem, the "yes" case only guarantees at least one such assignment. We exhibit efficient algorithms for Count Unique Games based on approximating a suitable partition function for the Unique Games instance via (i) a zero-free region and polynomial interpolation, and (ii) the cluster expansion. We also show that a modest improvement to the parameters for which we give results would refute the Unique Games Conjecture. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Comments: 26 pages

Tutte's dichromate for signed graphs

Authors: Andrew Goodall, Bart Litjens, Guus Regts, Lluis Vena

Abstract: We introduce the ``trivariate Tutte polynomial" of a signed graph as an invariant of signed graphs up to vertex switching that contains among its evaluations the number of proper colorings and the number of nowhere-zero flows. In this, it parallels the Tutte polynomial of a graph, which contains the chromatic polynomial and flow polynomial as specializations. The number of nowhere-zero tensions (f… ▽ More We introduce the ``trivariate Tutte polynomial" of a signed graph as an invariant of signed graphs up to vertex switching that contains among its evaluations the number of proper colorings and the number of nowhere-zero flows. In this, it parallels the Tutte polynomial of a graph, which contains the chromatic polynomial and flow polynomial as specializations. The number of nowhere-zero tensions (for signed graphs they are not simply related to proper colorings as they are for graphs) is given in terms of evaluations of the trivariate Tutte polynomial at two distinct points. Interestingly, the bivariate dichromatic polynomial of a biased graph, shown by Zaslavsky to share many similar properties with the Tutte polynomial of a graph, does not in general yield the number of nowhere-zero flows of a signed graph. Therefore the ``dichromate" for signed graphs (our trivariate Tutte polynomial) differs from the dichromatic polynomial (the rank-size generating function). The trivariate Tutte polynomial of a signed graph can be extended to an invariant of ordered pairs of matroids on a common ground set -- for a signed graph, the cycle matroid of its underlying graph and its frame matroid form the relevant pair of matroids. This invariant is the canonically defined Tutte polynomial of matroid pairs on a common ground set in the sense of a recent paper of Krajewski, Moffatt and Tanasa, and was first studied by Welsh and Kayibi as a four-variable linking polynomial of a matroid pair on a common ground set. △ Less

Submitted 9 June, 2020; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: 53 pp. 9 figures

MSC Class: 05C22; 05C31

On zero-free regions for the anti-ferromagnetic Potts model on bounded-degree graphs

Authors: Ferenc Bencs, Ewan Davies, Viresh Patel, Guus Regts

Abstract: For a graph $G=(V,E)$, $k\in \mathbb{N}$, and a complex number $w$ the partition function of the univariate Potts model is defined as \[ {\bf Z}(G;k,w):=\sum_{φ:V\to [k]}\prod_{\substack{uv\in E \\ φ(u)=φ(v)}}w, \] where $[k]:=\{1,\ldots,k\}$. In this paper we give zero-free regions for the partition function of the anti-ferromagnetic Potts model on bounded degree graphs. In particular we show tha… ▽ More For a graph $G=(V,E)$, $k\in \mathbb{N}$, and a complex number $w$ the partition function of the univariate Potts model is defined as \[ {\bf Z}(G;k,w):=\sum_{φ:V\to [k]}\prod_{\substack{uv\in E \\ φ(u)=φ(v)}}w, \] where $[k]:=\{1,\ldots,k\}$. In this paper we give zero-free regions for the partition function of the anti-ferromagnetic Potts model on bounded degree graphs. In particular we show that for any $Δ\in \mathbb{N}$ and any $k\geq eΔ+1$, there exists an open set $U$ in the complex plane that contains the interval $[0,1)$ such that ${\bf Z}(G;k,w)\neq 0$ for any $w\in U$ and any graph $G$ of maximum degree at most $Δ$. (Here $e$ denotes the base of the natural logarithm.) For small values of $Δ$ we are able to give better results. As an application of our results we obtain improved bounds on $k$ for the existence of deterministic approximation algorithms for counting the number of proper $k$-colourings of graphs of small maximum degree. △ Less

Submitted 5 April, 2021; v1 submitted 18 December, 2018; originally announced December 2018.

Comments: Some minor changes based on referee comments. Accepted for publication in AIHPD. 22 pages; 2 figures

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 8 (2021), no. 3, pp. 459--489

Location of zeros for the partition function of the Ising model on bounded degree graphs

Authors: Han Peters, Guus Regts

Abstract: The seminal Lee-Yang theorem states that for any graph the zeros of the partition function of the ferromagnetic Ising model lie on the unit circle in $\mathbb C$. In fact the union of the zeros of all graphs is dense on the unit circle. In this paper we study the location of the zeros for the class of graphs of bounded maximum degree $d\geq 3$, both in the ferromagnetic and the anti-ferromagnetic… ▽ More The seminal Lee-Yang theorem states that for any graph the zeros of the partition function of the ferromagnetic Ising model lie on the unit circle in $\mathbb C$. In fact the union of the zeros of all graphs is dense on the unit circle. In this paper we study the location of the zeros for the class of graphs of bounded maximum degree $d\geq 3$, both in the ferromagnetic and the anti-ferromagnetic case. We determine the location exactly as a function of the inverse temperature and the degree $d$. An important step in our approach is to translate to the setting of complex dynamics and analyze a dynamical system that is naturally associated to the partition function. △ Less

Submitted 29 August, 2019; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: 24 pages, 3 figures. Made a number of small clarifications, corrections and changes in notation. Results remain unchanged. To appear in the Journal of the London Mathematical Society

MSC Class: 37F10; 05C31; 68W25; 82B20

Mixed partition functions and exponentially bounded edge-connection rank

Authors: Guus Regts, Bart Sevenster

Abstract: We study graph parameters whose associated edge-connection matrices have exponentially bounded rank growth. Our main result is an explicit construction of a large class of graph parameters with this property that we call mixed partition functions. Mixed partition functions can be seen as a generalization of partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Har… ▽ More We study graph parameters whose associated edge-connection matrices have exponentially bounded rank growth. Our main result is an explicit construction of a large class of graph parameters with this property that we call mixed partition functions. Mixed partition functions can be seen as a generalization of partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227] and they are related to invariant theory of orthosymplectic supergroup. We moreover show that evaluations of the characteristic polynomial of a simple graph are examples of mixed partition functions, answering a question of de la Harpe and Jones. △ Less

Submitted 15 June, 2020; v1 submitted 12 July, 2018; originally announced July 2018.

Comments: To appear in Ann. Inst. Henri Poincaré Comb. Phys. Interact

Algorithmic Pirogov-Sinai theory

Authors: Tyler Helmuth, Will Perkins, Guus Regts

Abstract: We develop an efficient algorithmic approach for approximate counting and sampling in the low-temperature regime of a broad class of statistical physics models on finite subsets of the lattice $\mathbb Z^d$ and on the torus $(\mathbb Z/n \mathbb Z)^d$. Our approach is based on combining contour representations from Pirogov-Sinai theory with Barvinok's approach to approximate counting using truncat… ▽ More We develop an efficient algorithmic approach for approximate counting and sampling in the low-temperature regime of a broad class of statistical physics models on finite subsets of the lattice $\mathbb Z^d$ and on the torus $(\mathbb Z/n \mathbb Z)^d$. Our approach is based on combining contour representations from Pirogov-Sinai theory with Barvinok's approach to approximate counting using truncated Taylor series. Some consequences of our main results include an FPTAS for approximating the partition function of the hard-core model at sufficiently high fugacity on subsets of $\mathbb Z^d$ with appropriate boundary conditions and an efficient sampling algorithm for the ferromagnetic Potts model on the discrete torus $(\mathbb Z/n \mathbb Z)^d$ at sufficiently low temperature. △ Less

Submitted 16 June, 2023; v1 submitted 29 June, 2018; originally announced June 2018.

Comments: We fixed a typo in the series expansion for log Z(z) on page 20

On the complexity of solving a decision problem with flow-depending costs: the case of the IJsselmeer dikes

Authors: Aida Abiad, Sander Gribling, Domenico Lahaye, Matthias Mnich, Guus Regts, Lluis Vena, Gerard Verweij, Peter Zwaneveld

Abstract: We consider a fundamental integer programming (IP) model for cost-benefit analysis flood protection through dike building in the Netherlands, due to Verweij and Zwaneveld. Experimental analysis with data for the Ijsselmeer lead to integral optimal solution of the linear programming relaxation of the IP model. This naturally led to the question of integrality of the polytope associated with the… ▽ More We consider a fundamental integer programming (IP) model for cost-benefit analysis flood protection through dike building in the Netherlands, due to Verweij and Zwaneveld. Experimental analysis with data for the Ijsselmeer lead to integral optimal solution of the linear programming relaxation of the IP model. This naturally led to the question of integrality of the polytope associated with the IP model. In this paper we first give a negative answer to this question by establishing non-integrality of the polytope. Second, we establish natural conditions that guarantee the linear programming relaxation of the IP model to be integral. We then test the most recent data on flood probabilities, damage and investment costs of the IJsselmeer for these conditions. Third, we show that the IP model can be solved in polynomial time when the number of dike segments, or the number of feasible barrier heights, are constant. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: 23 pages, 7 figures

A Tutte polynomial for maps II: the non-orientable case

Authors: Andrew Goodall, Bart Litjens, Guus Regts, Lluís Vena

Abstract: We construct a new polynomial invariant of maps (graphs embedded in a compact surface, orientable or non-orientable), which contains as specializations the Krushkal polynomial, the Bollobás--Riordan polynomial, the Las Vergnas polynomial, and their extensions to non-orientable surfaces, and hence in particular the Tutte polynomial. Other evaluations include the number of local flows and local tens… ▽ More We construct a new polynomial invariant of maps (graphs embedded in a compact surface, orientable or non-orientable), which contains as specializations the Krushkal polynomial, the Bollobás--Riordan polynomial, the Las Vergnas polynomial, and their extensions to non-orientable surfaces, and hence in particular the Tutte polynomial. Other evaluations include the number of local flows and local tensions taking non-identity values in a given finite group. △ Less

Submitted 4 April, 2018; originally announced April 2018.

Comments: 36 pages

MSC Class: 05C10; 05C21; 05C25; 05C31; 20C15

Computing the number of induced copies of a fixed graph in a bounded degree graph

Authors: Viresh Patel, Guus Regts

Abstract: In this paper we show that for any graph $H$ of order $m$ and any graph $G$ of order $n$ and maximum degree $Δ$ one can compute the number of subsets $S$ of $V(G)$ that induces a graph isomorphic to $H $in time $O(c^m\cdot n)$ for some constant $c = c(Δ) > 0$. This is essentially best possible. In this paper we show that for any graph $H$ of order $m$ and any graph $G$ of order $n$ and maximum degree $Δ$ one can compute the number of subsets $S$ of $V(G)$ that induces a graph isomorphic to $H $in time $O(c^m\cdot n)$ for some constant $c = c(Δ) > 0$. This is essentially best possible. △ Less

Submitted 20 September, 2017; v1 submitted 14 July, 2017; originally announced July 2017.

Comments: In this version we have improved the running time from $O(c^m\cdot n^2)$ to $O(c^m\cdot n)$. To incorporate this, we had to apply some minor changes, mostly in Section 2, leaving the overall approach essentially unaffected. 10 pages

Weighted counting of solutions to sparse systems of equations

Authors: Alexander Barvinok, Guus Regts

Abstract: Given complex numbers $w_1, \ldots, w_n$, we define the weight $w(X)$ of a set $X$ of 0-1 vectors as the sum of $w_1^{x_1} \cdots w_n^{x_n}$ over all vectors $(x_1, \ldots, x_n)$ in $X$. We present an algorithm, which for a set $X$ defined by a system of homogeneous linear equations with at most $r$ variables per equation and at most $c$ equations per variable, computes $w(X)$ within relative erro… ▽ More Given complex numbers $w_1, \ldots, w_n$, we define the weight $w(X)$ of a set $X$ of 0-1 vectors as the sum of $w_1^{x_1} \cdots w_n^{x_n}$ over all vectors $(x_1, \ldots, x_n)$ in $X$. We present an algorithm, which for a set $X$ defined by a system of homogeneous linear equations with at most $r$ variables per equation and at most $c$ equations per variable, computes $w(X)$ within relative error $ε>0$ in $(rc)^{O(\ln n-\ln ε)}$ time provided $|w_j| \leq β(r \sqrt{c})^{-1}$ for an absolute constant $β>0$ and all $j=1, \ldots, n$. A similar algorithm is constructed for computing the weight of a linear code over ${\Bbb F}_p$. Applications include counting weighted perfect matchings in hypergraphs, counting weighted graph homomorphisms, computing weight enumerators of linear codes with sparse code generating matrices, and computing the partition functions of the ferromagnetic Potts model at low temperatures and of the hard-core model at high fugacity on biregular bipartite graphs. △ Less

Submitted 5 February, 2019; v1 submitted 16 June, 2017; originally announced June 2017.

Comments: The exposition is improved, a couple of inaccuracies corrected

MSC Class: 68Q25; 68W25; 82B20; 52C07; 52B55

Journal ref: Combinator. Probab. Comp. 28 (2019) 696-719

On a conjecture of Sokal concerning roots of the independence polynomial

Authors: Han Peters, Guus Regts

Abstract: A conjecture of Sokal (2001) regarding the domain of non-vanishing for independence polynomials of graphs, states that given any natural number $Δ\ge 3$, there exists a neighborhood in $\mathbb C$ of the interval $[0, \frac{(Δ-1)^{Δ-1}}{(Δ-2)^Δ})$ on which the independence polynomial of any graph with maximum degree at most $Δ$ does not vanish. We show here that Sokal's Conjecture holds, as well a… ▽ More A conjecture of Sokal (2001) regarding the domain of non-vanishing for independence polynomials of graphs, states that given any natural number $Δ\ge 3$, there exists a neighborhood in $\mathbb C$ of the interval $[0, \frac{(Δ-1)^{Δ-1}}{(Δ-2)^Δ})$ on which the independence polynomial of any graph with maximum degree at most $Δ$ does not vanish. We show here that Sokal's Conjecture holds, as well as a multivariate version, and prove optimality for the domain of non-vanishing. An important step is to translate the setting to the language of complex dynamical systems. △ Less

Submitted 22 June, 2018; v1 submitted 27 January, 2017; originally announced January 2017.

Comments: We have updated the file partly based on some comments from a referee. The file is now 20 pages and contains one figure. Accepted in Michigan Mathematical Journal

Discrepancy and large dense monochromatic subsets

Authors: Ross Kang, Viresh Patel, Guus Regts

Abstract: Erdős and Pach (1983) introduced the natural degree-based generalisations of Ramsey numbers, where instead of seeking large monochromatic cliques in a $2$-edge coloured complete graph, we seek monochromatic subgraphs of high minimum or average degree. Here we expand the study of these so-called quasi-Ramsey numbers in a few ways, in particular, to multiple colours and to uniform hypergraphs. Qua… ▽ More Erdős and Pach (1983) introduced the natural degree-based generalisations of Ramsey numbers, where instead of seeking large monochromatic cliques in a $2$-edge coloured complete graph, we seek monochromatic subgraphs of high minimum or average degree. Here we expand the study of these so-called quasi-Ramsey numbers in a few ways, in particular, to multiple colours and to uniform hypergraphs. Quasi-Ramsey numbers are known to exhibit a certain unique phase transition and we show that this is also the case across the settings we consider. Our results depend on a density-biased notion of hypergraph discrepancy optimised over sets of bounded size, which may be of independent interest. △ Less

Submitted 10 January, 2018; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: 14 pages; some minor changes suggest by a referee. Accepted in Journal of Combinatorics

MSC Class: 05C55 (Primary); 05D10; 05D40 (Secondary)

A Tutte polynomial for maps

Authors: Andrew Goodall, Thomas Krajewski, Guus Regts, Lluis Vena

Abstract: We follow the example of Tutte in his construction of the dichromate of a graph (that is, the Tutte polynomial) as a unification of the chromatic polynomial and the flow polynomial in order to construct a new polynomial invariant of maps (graphs embedded in orientable surfaces). We call this the surface Tutte polynomial. The surface Tutte polynomial of a map contains the Las Vergnas polynomial, Bo… ▽ More We follow the example of Tutte in his construction of the dichromate of a graph (that is, the Tutte polynomial) as a unification of the chromatic polynomial and the flow polynomial in order to construct a new polynomial invariant of maps (graphs embedded in orientable surfaces). We call this the surface Tutte polynomial. The surface Tutte polynomial of a map contains the Las Vergnas polynomial, Bollobás-Riordan polynomial and Kruskhal polynomial as specializations. By construction, the surface Tutte polynomial includes among its evaluations the number of local tensions and local flows taking values in any given finite group. Other evaluations include the number of quasi-forests. △ Less

Submitted 2 January, 2017; v1 submitted 14 October, 2016; originally announced October 2016.

Comments: 32 pages, 4 figures. Version 2 contains updated grant information for the author A.Goodall (and no other changes)

MSC Class: 05C31; 05C25; 05C50

Deterministic polynomial-time approximation algorithms for partition functions and graph polynomials

Authors: Viresh Patel, Guus Regts

Abstract: 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 works for the Tutte polynomial and independence polynomial, as well as partition functions of complex-valued spin and edge-coloring models. More specifically, we… ▽ More 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 works for the Tutte polynomial and independence polynomial, as well as partition functions of complex-valued spin and edge-coloring models. More specifically, we define a large class of graph polynomials $\mathcal C$ and show that if $p\in \cal C$ and there is a disk $D$ centered at zero in the complex plane such that $p(G)$ does not vanish on $D$ for all bounded degree graphs $G$, then for each $z$ in the interior of $D$ there exists a deterministic polynomial-time approximation algorithm for evaluating $p(G)$ at $z$. This gives an explicit connection between absence of zeros of graph polynomials and the existence of efficient approximation algorithms, allowing us to show new relationships between well-known conjectures. Our work builds on a recent line of work initiated by. Barvinok, which provides a new algorithmic approach besides the existing Markov chain Monte Carlo method and the correlation decay method for these types of problems. △ Less

Submitted 18 July, 2017; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: 27 pages; some changes have been made based on referee comments. In particular a tiny error in Proposition 4.4 has been fixed. The introduction and concluding remarks have also been rewritten to incorporate the most recent developments. Accepted for publication in SIAM Journal on Computation

Journal ref: SIAM J. Comput., 46(6), 1893-1919

Graph parameters from symplectic group invariants

Authors: Guus Regts, Bart Sevenster

Abstract: In this paper we introduce, and characterize, a class of graph parameters obtained from tensor invariants of the symplectic group. These parameters are similar to partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (… ▽ More In this paper we introduce, and characterize, a class of graph parameters obtained from tensor invariants of the symplectic group. These parameters are similar to partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207-227]. Yet they give a completely different class of graph invariants. We moreover show that certain evaluations of the cycle partition polynomial, as defined by Martin [P. Martin, Enumérations eulériennes dans les multigraphes et invariants de Tutte-Grothendieck, Diss. Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier-Grenoble I, 1977], give examples of graph parameters that can be obtained this way. △ Less

Submitted 17 October, 2016; v1 submitted 5 February, 2016; originally announced February 2016.

Comments: Some corrections have been made on the basis of referee comments. 21 pages, 1 figure. Accepted in JCTB

MSC Class: 05C45; 15A72; Secondary 05C25; 05C31

Matroid invariants and counting graph homomorphisms

Authors: Andrew Goodall, Guus Regts, Lluis Vena

Abstract: The number of homomorphisms from a finite graph $F$ to the complete graph $K_n$ is the evaluation of the chromatic polynomial of $F$ at $n$. Suitably scaled, this is the Tutte polynomial evaluation $T(F;1-n,0)$ and an invariant of the cycle matroid of $F$. De la Harpe and Jaeger \cite{dlHJ95} asked more generally when is it the case that a graph parameter obtained from counting homomorphisms from… ▽ More The number of homomorphisms from a finite graph $F$ to the complete graph $K_n$ is the evaluation of the chromatic polynomial of $F$ at $n$. Suitably scaled, this is the Tutte polynomial evaluation $T(F;1-n,0)$ and an invariant of the cycle matroid of $F$. De la Harpe and Jaeger \cite{dlHJ95} asked more generally when is it the case that a graph parameter obtained from counting homomorphisms from $F$ to a fixed graph $G$ depends only on the cycle matroid of $F$. They showed that this is true when $G$ has a generously transitive automorphism group (examples include Cayley graphs on an abelian group, and Kneser graphs). Using tools from multilinear algebra, we prove the converse statement, thus characterizing finite graphs $G$ for which counting homomorphisms to $G$ yields a matroid invariant. We also extend this result to finite weighted graphs $G$ (where to count homomorphisms from $F$ to $G$ includes such problems as counting nowhere-zero flows of $F$ and evaluating the partition function of an interaction model on $F$). △ Less

Submitted 24 February, 2016; v1 submitted 4 December, 2015; originally announced December 2015.

Comments: Section 2 is slightly updated. In particular, Theorem 2.1 has been improved and a short proof is supplied. Additionally, some typos have been fixed and some small changes have been made. All based on comments of a referee, Linear Algebra and its Applications 494, (2016)

MSC Class: 05C15; 05C60; 15A72

Zero-free regions of partition functions with applications to algorithms and graph limits

Authors: Guus Regts

Abstract: Based on a technique of Barvinok and Barvinok and Soberón we identify a class of edge-coloring models whose partition functions do not evaluate to zero on bounded degree graphs. Subsequently we give a quasi-polynomial time approximation scheme for computing these partition functions. As another application we show that the normalised partition functions of these models are continuous with respect… ▽ More Based on a technique of Barvinok and Barvinok and Soberón we identify a class of edge-coloring models whose partition functions do not evaluate to zero on bounded degree graphs. Subsequently we give a quasi-polynomial time approximation scheme for computing these partition functions. As another application we show that the normalised partition functions of these models are continuous with respect the Benjamini-Schramm topology on bounded degree graphs. We moreover give quasi-polynomial time approximation schemes for evaluating a large class of graph polynomials, including the Tutte polynomial, on bounded degree graphs. △ Less

Submitted 26 May, 2016; v1 submitted 8 July, 2015; originally announced July 2015.

Comments: Based on comments of the referees some changes have been made to make. 21 pages. To appear in Combinatorica

MSC Class: 05C85 (Primary); 05C31; 68W25; 05C99 (Secondary)

On the existence of real R-matrices for virtual link invariants

Authors: Guus Regts, Alexander Schrijver, Bart Sevenster

Abstract: We characterize the virtual link invariants that can be described as partition function of a real-valued R-matrix, by being weakly reflection positive. Weak reflection positivity is defined in terms of joining virtual link diagrams, which is a specialization of joining virtual link diagram tangles. Basic techniques are the first fundamental theorem of invariant theory, the Hanlon-Wales theorem on… ▽ More We characterize the virtual link invariants that can be described as partition function of a real-valued R-matrix, by being weakly reflection positive. Weak reflection positivity is defined in terms of joining virtual link diagrams, which is a specialization of joining virtual link diagram tangles. Basic techniques are the first fundamental theorem of invariant theory, the Hanlon-Wales theorem on the decomposition of Brauer algebras, and the Procesi-Schwarz theorem on inequalities for closed orbits. △ Less

Submitted 6 March, 2015; originally announced March 2015.

MSC Class: 57M27; 05C25; 20C30

On partition functions for 3-graphs

Authors: Guus Regts, Alexander Schrijver, Bart Sevenster

Abstract: A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model (P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1… ▽ More A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model (P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227). They are characterized by `weak reflection positivity', which amounts to the positive semidefiniteness of matrices based on the `$k$-join' of cubic cyclic graphs (for all $k\in\oZ_+$). Basic tools are the representation theory of the symmetric group and geometric invariant theory, in particular the Hanlon-Wales theorem on the decomposition of Brauer algebras and the Procesi-Schwarz theorem on inequalities defining orbit spaces. △ Less

Submitted 1 August, 2016; v1 submitted 1 March, 2015; originally announced March 2015.

MSC Class: 15A72; 17Bxx; 20C30; 57M27; 05C25

Regularity lemmas in a Banach space setting

Authors: Guus Regts

Abstract: Szemerédi's regularity lemma is a fundamental tool in extremal graph theory, theoretical computer science and combinatorial number theory. Lovász and Szegedy [L. Lovász and B. Szegedy: Szemerédi's Lemma for the analyst, Geometric and Functional Analysis 17 (2007), 252-270] gave a Hilbert space interpretation of the lemma and an interpretation in terms of compact- ness of the space of graph limits.… ▽ More Szemerédi's regularity lemma is a fundamental tool in extremal graph theory, theoretical computer science and combinatorial number theory. Lovász and Szegedy [L. Lovász and B. Szegedy: Szemerédi's Lemma for the analyst, Geometric and Functional Analysis 17 (2007), 252-270] gave a Hilbert space interpretation of the lemma and an interpretation in terms of compact- ness of the space of graph limits. In this paper we prove several compactness results in a Banach space setting, generalising results of Lovász and Szegedy as well as a result of Borgs, Chayes, Cohn and Zhao [C. Borgs, J.T. Chayes, H. Cohn and Y. Zhao: An Lp theory of sparse graph convergence I: limits, sparse random graph models, and power law distributions, arXiv preprint arXiv:1401.2906 (2014)]. △ Less

Submitted 23 June, 2015; v1 submitted 17 February, 2015; originally announced February 2015.

Comments: 15 pages. The topological part has been substantially improved based on referees comments. To appear in European Journal of Combinatorics

On a Ramsey-type problem of Erdős and Pach

Authors: Ross J. Kang, Eoin Long, Viresh Patel, Guus Regts

Abstract: In this paper we show that there exists a constant $C>0$ such that for any graph $G$ on $Ck\ln k$ vertices either $G$ or its complement $\bar{G}$ has an induced subgraph on $k$ vertices with minimum degree at least $\frac12(k-1)$. This affirmatively answers a question of Erdős and Pach from 1983. In this paper we show that there exists a constant $C>0$ such that for any graph $G$ on $Ck\ln k$ vertices either $G$ or its complement $\bar{G}$ has an induced subgraph on $k$ vertices with minimum degree at least $\frac12(k-1)$. This affirmatively answers a question of Erdős and Pach from 1983. △ Less

Submitted 22 February, 2016; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: 9 pages; in 2nd version, Eoin Long has been added as co-author and the main result is improved by a log k factor

MSC Class: 05C55 (Primary); 05D10; 05D40 (Secondary)

A precise threshold for quasi-Ramsey numbers

Authors: Ross J. Kang, János Pach, Viresh Patel, Guus Regts

Abstract: We consider a variation of Ramsey numbers introduced by Erdős and Pach (1983), where instead of seeking complete or independent sets we only seek a $t$-homogeneous set, a vertex subset that induces a subgraph of minimum degree at least $t$ or the complement of such a graph. For any $ν> 0$ and positive integer $k$, we show that any graph $G$ or its complement contains as an induced subgraph some… ▽ More We consider a variation of Ramsey numbers introduced by Erdős and Pach (1983), where instead of seeking complete or independent sets we only seek a $t$-homogeneous set, a vertex subset that induces a subgraph of minimum degree at least $t$ or the complement of such a graph. For any $ν> 0$ and positive integer $k$, we show that any graph $G$ or its complement contains as an induced subgraph some graph $H$ on $\ell \ge k$ vertices with minimum degree at least $\frac12(\ell-1) + ν$ provided that $G$ has at least $k^{Ω(ν^2)}$ vertices. We also show this to be best possible in a sense. This may be viewed as correction to a result claimed in Erdős and Pach (1983). For the above result, we permit $H$ to have order at least $k$. In the harder problem where we insist that $H$ have exactly $k$ vertices, we do not obtain sharp results, although we show a way to translate results of one form of the problem to the other. △ Less

Submitted 14 July, 2015; v1 submitted 13 March, 2014; originally announced March 2014.

Comments: 17 pages, 1 figure

MSC Class: 05C55 (Primary); 05D10; 05D40 (Secondary)

Journal ref: SIAM Journal on Discrete Mathematics 29(3): 1670-1682, 2015

Edge-reflection positivity and weighted graph homomorphisms

Authors: Guus Regts

Abstract: B. Szegedy [Edge coloring models and reflection positivity, {\sl Journal of the American Mathematical Society} {\bf 20} (2007) 969--988] showed that the number of homomorphisms into a weighted graph is equal to the partition function of a complex edge-coloring model. Using some results in geometric invariant theory, we characterize for which weighted graphs the edge-coloring model can be taken to… ▽ More B. Szegedy [Edge coloring models and reflection positivity, {\sl Journal of the American Mathematical Society} {\bf 20} (2007) 969--988] showed that the number of homomorphisms into a weighted graph is equal to the partition function of a complex edge-coloring model. Using some results in geometric invariant theory, we characterize for which weighted graphs the edge-coloring model can be taken to be real valued that is, we characterize for which weighted graphs the number of homomorphisms into them are edge-reflection positive. In particular, we determine explicitly for which simple graphs the number of homomorphisms into them is equal to the partition function of a real edge-coloring model. This answers a question posed by Szegedy. △ Less

Submitted 16 September, 2014; v1 submitted 26 February, 2013; originally announced February 2013.

Comments: Some typos and inconsistencies have been fixed. !0 pages. To appear in Journal of Combinatorial Series A

MSC Class: 05C99

Compact orbit spaces in Hilbert spaces and limits of edge-colouring models

Authors: Guus Regts, Alexander Schrijver

Abstract: Let $G$ be a group of orthogonal transformations of a real Hilbert space $H$. Let $R$ and $W$ be bounded $G$-stable subsets of $H$. Let $\|.\|_R$ be the seminorm on $H$ defined by $\|x\|_R:=\sup_{r\in R}|\langle r,x\rangle|$ for $x\in H$. We show that if $W$ is weakly compact and the orbit space $R^k/G$ is compact for each $k\in\oN$, then the orbit space $W/G$ is compact when $W$ is equiped with t… ▽ More Let $G$ be a group of orthogonal transformations of a real Hilbert space $H$. Let $R$ and $W$ be bounded $G$-stable subsets of $H$. Let $\|.\|_R$ be the seminorm on $H$ defined by $\|x\|_R:=\sup_{r\in R}|\langle r,x\rangle|$ for $x\in H$. We show that if $W$ is weakly compact and the orbit space $R^k/G$ is compact for each $k\in\oN$, then the orbit space $W/G$ is compact when $W$ is equiped with the norm topology induced by $\|.\|_R$. As a consequence we derive the existence of limits of edge-colouring models which answers a question posed by Lovász. It forms the edge-colouring counterpart of the graph limits of Lovász and Szegedy, which can be seen as limits of vertex-colouring models. In the terminology of de la Harpe and Jones, vertex- and edge-colouring models are called `spin models' and `vertex models' respectively. △ Less

Submitted 24 June, 2015; v1 submitted 8 October, 2012; originally announced October 2012.

MSC Class: 05Exx; 46C05; 82B05

Tensor invariants for certain subgroups of the orthogonal group

Authors: Jan Draisma, Guus Regts

Abstract: Let V be an n-dimensional vector space and let On be the orthogonal group. Motivated by a question of B. Szegedy (B. Szegedy, Edge coloring models and reflection positivity, Journal of the American Mathematical Society Volume 20, Number 4, 2007), about the rank of edge connection matrices of partition functions of vertex models, we give a combinatorial parameterization of tensors in V \otimes k in… ▽ More Let V be an n-dimensional vector space and let On be the orthogonal group. Motivated by a question of B. Szegedy (B. Szegedy, Edge coloring models and reflection positivity, Journal of the American Mathematical Society Volume 20, Number 4, 2007), about the rank of edge connection matrices of partition functions of vertex models, we give a combinatorial parameterization of tensors in V \otimes k invariant under certain subgroups of the orthogonal group. This allows us to give an answer to this question for vertex models with values in an algebraically closed field of characteristic zero. △ Less

Submitted 19 September, 2012; v1 submitted 17 February, 2012; originally announced February 2012.

Comments: 14 pages, figure. We fixed a few typo's. To appear in Journal of Algebraic Combinatorics

The rank of edge connection matrices and the dimension of algebras of invariant tensors

Authors: Guus Regts

Abstract: We characterize the rank of edge connection matrices of partition functions of real vertex models, as the dimension of the homogeneous components of the algebra of $G$-invariant tensors. Here $G$ is the sub- group of the real orthogonal group that stabilizes the vertex model. This answers a question of Balázs Szegedy from 2007. We characterize the rank of edge connection matrices of partition functions of real vertex models, as the dimension of the homogeneous components of the algebra of $G$-invariant tensors. Here $G$ is the sub- group of the real orthogonal group that stabilizes the vertex model. This answers a question of Balázs Szegedy from 2007. △ Less

Submitted 31 January, 2012; v1 submitted 30 June, 2011; originally announced June 2011.

Comments: Two figures added and some typos fixed

Journal ref: European Journal of Combinatorics, 33, 1167-1173, 2012

Characterizing partition functions of the vertex model

Authors: Jan Draisma, Dion Gijswijt, László Lovász, Guus Regts, Alexander Schrijver

Abstract: We characterize which graph parameters are partition functions of a vertex model over an algebraically closed field of characteristic 0 (in the sense of de la Harpe and Jones). We moreover characterize when the vertex model can be taken so that its moment matrix has finite rank. We characterize which graph parameters are partition functions of a vertex model over an algebraically closed field of characteristic 0 (in the sense of de la Harpe and Jones). We moreover characterize when the vertex model can be taken so that its moment matrix has finite rank. △ Less

Submitted 24 February, 2011; originally announced February 2011.

Polyhedra with the Integer Caratheodory Property

Authors: Dion Gijswijt, Guus Regts

Abstract: A polyhedron P has the Integer Caratheodory Property if the following holds. For any positive integer k and any integer vector w in kP, there exist affinely independent integer vectors x_1,...,x_t in P and positive integers n_1,...,n_t such that n_1+...+n_t=k and w=n_1x_1+...+n_tx_t. In this paper we prove that if P is a (poly)matroid base polytope or if P is defined by a TU matrix, then P and pro… ▽ More A polyhedron P has the Integer Caratheodory Property if the following holds. For any positive integer k and any integer vector w in kP, there exist affinely independent integer vectors x_1,...,x_t in P and positive integers n_1,...,n_t such that n_1+...+n_t=k and w=n_1x_1+...+n_tx_t. In this paper we prove that if P is a (poly)matroid base polytope or if P is defined by a TU matrix, then P and projections of P satisfy the integer Caratheodory property. △ Less

Submitted 26 April, 2010; originally announced April 2010.

Comments: 12 pages

MSC Class: 90C10 (52B40)

On the Caratheodory rank of polymatroid bases

Authors: Dion Gijswijt, Guus Regts

Abstract: In this paper we prove that the Carathéodory rank of the set of bases of a (poly)matroid is upper bounded by the cardinality of the ground set. In this paper we prove that the Carathéodory rank of the set of bases of a (poly)matroid is upper bounded by the cardinality of the ground set. △ Less

Submitted 4 March, 2010; originally announced March 2010.

Comments: 7 pages

MSC Class: 90C10; 52B40