-
The complexity of approximating the complex-valued Ising model on bounded degree graphs
Authors:
Andreas Galanis,
Leslie Ann Goldberg,
Andrés Herrera-Poyatos
Abstract:
We study the complexity of approximating the partition function $Z_{\mathrm{Ising}}(G; β)$ of the Ising model in terms of the relation between the edge interaction $β$ and a parameter $Δ$ which is an upper bound on the maximum degree of the input graph $G$. Following recent trends in both statistical physics and algorithmic research, we allow the edge interaction $β$ to be any complex number. Many…
▽ More
We study the complexity of approximating the partition function $Z_{\mathrm{Ising}}(G; β)$ of the Ising model in terms of the relation between the edge interaction $β$ and a parameter $Δ$ which is an upper bound on the maximum degree of the input graph $G$. Following recent trends in both statistical physics and algorithmic research, we allow the edge interaction $β$ to be any complex number. Many recent partition function results focus on complex parameters, both because of physical relevance and because of the key role of the complex case in delineating the tractability/intractability phase transition of the approximation problem. In this work we establish both new tractability results and new intractability results. Our tractability results show that $Z_{\mathrm{Ising}}(-; β)$ has an FPTAS when $\lvert β- 1 \rvert / \lvert β+ 1 \rvert < \tan(π/ (4 Δ- 4))$. The core of the proof is showing that there are no inputs~$G$ that make the partition function $0$ when $β$ is in this range. Our result significantly extends the known zero-free region of the Ising model (and hence the known approximation results). Our intractability results show that it is $\mathrm{\#P}$-hard to multiplicatively approximate the norm and to additively approximate the argument of $Z_{\mathrm{Ising}}(-; β)$ when $β\in \mathbb{C}$ is an algebraic number such that $β\not \in \mathbb{R} \cup \{i,-i\}$ and $\lvert β- 1\rvert / \lvert β+ 1 \rvert > 1 / \sqrt{Δ- 1}$. These are the first results to show intractability of approximating $Z_{\mathrm{Ising}}(-, β)$ on bounded degree graphs with complex $β$. Moreover, we demonstrate situations in which zeros of the partition function imply hardness of approximation in the Ising model.
△ Less
Submitted 8 April, 2022; v1 submitted 1 May, 2021;
originally announced May 2021.
-
Cyclotomic exponent sequences of numerical semigroups
Authors:
Alexandru Ciolan,
Pedro A. García-Sánchez,
Andrés Herrera-Poyatos,
Pieter Moree
Abstract:
We study the cyclotomic exponent sequence of a numerical semigroup $S,$ and we compute its values at the gaps of $S,$ the elements of $S$ with unique representations in terms of minimal generators, and the Betti elements $b\in S$ for which the set $\{a \in \operatorname{Betti}(S) : a \le_{S}b\}$ is totally ordered with respect to $\le_S$ (we write $a \le_S b$ whenever $a - b \in S,$ with…
▽ More
We study the cyclotomic exponent sequence of a numerical semigroup $S,$ and we compute its values at the gaps of $S,$ the elements of $S$ with unique representations in terms of minimal generators, and the Betti elements $b\in S$ for which the set $\{a \in \operatorname{Betti}(S) : a \le_{S}b\}$ is totally ordered with respect to $\le_S$ (we write $a \le_S b$ whenever $a - b \in S,$ with $a,b\in S$). This allows us to characterize certain semigroup families, such as Betti-sorted or Betti-divisible numerical semigroups, as well as numerical semigroups with a unique Betti element, in terms of their cyclotomic exponent sequences. Our results also apply to cyclotomic numerical semigroups, which are numerical semigroups with a finitely supported cyclotomic exponent sequence. We show that cyclotomic numerical semigroups with certain cyclotomic exponent sequences are complete intersections, thereby making progress towards proving the conjecture of Ciolan, García-Sánchez and Moree (2016) stating that $S$ is cyclotomic if and only if it is a complete intersection.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
Cyclotomic numerical semigroup polynomials with at most two irreducible factors
Authors:
Alessio Borzì,
Andrés Herrera-Poyatos,
Pieter Moree
Abstract:
A numerical semigroup $S$ is cyclotomic if its semigroup polynomial $P_S$ is a product of cyclotomic polynomials. The number of irreducible factors of $P_S$ (with multiplicity) is the polynomial length $\ell(S)$ of $S.$ We show that a cyclotomic numerical semigroup is complete intersection if $\ell(S)\le 2$. This establishes a particular case of a conjecture of Ciolan, García-Sánchez and Moree (20…
▽ More
A numerical semigroup $S$ is cyclotomic if its semigroup polynomial $P_S$ is a product of cyclotomic polynomials. The number of irreducible factors of $P_S$ (with multiplicity) is the polynomial length $\ell(S)$ of $S.$ We show that a cyclotomic numerical semigroup is complete intersection if $\ell(S)\le 2$. This establishes a particular case of a conjecture of Ciolan, García-Sánchez and Moree (2016) claiming that every cyclotomic numerical semigroup is complete intersection. In addition, we investigate the relation between $\ell(S)$ and the embedding dimension of $S.$
△ Less
Submitted 15 May, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
The complexity of approximating the complex-valued Potts model
Authors:
Andreas Galanis,
Leslie Ann Goldberg,
Andrés Herrera-Poyatos
Abstract:
We study the complexity of approximating the partition function of the $q$-state Potts model and the closely related Tutte polynomial for complex values of the underlying parameters. Apart from the classical connections with quantum computing and phase transitions in statistical physics, recent work in approximate counting has shown that the behaviour in the complex plane, and more precisely the l…
▽ More
We study the complexity of approximating the partition function of the $q$-state Potts model and the closely related Tutte polynomial for complex values of the underlying parameters. Apart from the classical connections with quantum computing and phase transitions in statistical physics, recent work in approximate counting has shown that the behaviour in the complex plane, and more precisely the location of zeros, is strongly connected with the complexity of the approximation problem, even for positive real-valued parameters. Previous work in the complex plane by Goldberg and Guo focused on $q=2$, which corresponds to the case of the Ising model; for $q>2$, the behaviour in the complex plane is not as well understood and most work applies only to the real-valued Tutte plane.
Our main result is a complete classification of the complexity of the approximation problems for all non-real values of the parameters, by establishing \#P-hardness results that apply even when restricted to planar graphs. Our techniques apply to all $q\geq 2$ and further complement/refine previous results both for the Ising model and the Tutte plane, answering in particular a question raised by Bordewich, Freedman, Lovász and Welsh in the context of quantum computations.
△ Less
Submitted 18 November, 2021; v1 submitted 3 May, 2020;
originally announced May 2020.
-
Coefficients and higher order derivatives of cyclotomic polynomials: old and new
Authors:
Andrés Herrera-Poyatos,
Pieter Moree
Abstract:
The $n^{th}$ cyclotomic polynomial $Φ_n(x)$ is the minimal polynomial of an $n^{th}$ primitive root of unity. Its coefficients are the subject of intensive study and some formulas are known for them. Here we are interested in formulas which are valid for all natural numbers $n$. In these a host of famous number theoretical objects such as Bernoulli numbers, Stirling numbers of both kinds and Raman…
▽ More
The $n^{th}$ cyclotomic polynomial $Φ_n(x)$ is the minimal polynomial of an $n^{th}$ primitive root of unity. Its coefficients are the subject of intensive study and some formulas are known for them. Here we are interested in formulas which are valid for all natural numbers $n$. In these a host of famous number theoretical objects such as Bernoulli numbers, Stirling numbers of both kinds and Ramanujan sums make their appearance, sometimes even at the same time!
In this paper we present a survey of these formulas which until now were scattered in the literature and introduce an unified approach to derive some of them, leading also to shorter proofs as a by-product. In particular, we show that some of the formulas have a more elegant reinterpretation in terms of Bell polynomials. This approach amounts to computing the logarithmic derivatives of $Φ_n$ at certain points. Furthermore, we show that the logarithmic derivatives at $\pm 1$ of any Kronecker polynomial (a monic product of cyclotomic polynomials and a monomial) satisfy a family of linear equations whose coefficients are Stirling numbers of the second kind. We apply these equations to show that certain polynomials are not Kronecker. In particular, we infer that for every $k\ge 4$ there exists a symmetric numerical semigroup with embedding dimension $k$ and Frobenius number $2k+1$ that is not cyclotomic, thus establishing a conjecture of Alexandru Ciolan, Pedro García-Sánchez and the second author. In an appendix Pedro García-Sánchez shows that for every $k\ge 4$ there exists a symmetric non-cyclotomic numerical semigroup having Frobenius number $2k+1.$
△ Less
Submitted 22 August, 2018; v1 submitted 14 May, 2018;
originally announced May 2018.
-
Isolated factorizations and their applications in simplicial affine semigroups
Authors:
Pedro A. García-Sánchez,
Andrés Herrera-Poyatos
Abstract:
We introduce the concept of isolated factorizations of an element of a commutative monoid and study its properties. We give several bounds for the number of isolated factorizations of simplicial affine semigroups and numerical semigroups. We also generalize $α$-rectangular numerical semigroups to the context of simplicial affine semigroups and study their isolated factorizations. As a consequence…
▽ More
We introduce the concept of isolated factorizations of an element of a commutative monoid and study its properties. We give several bounds for the number of isolated factorizations of simplicial affine semigroups and numerical semigroups. We also generalize $α$-rectangular numerical semigroups to the context of simplicial affine semigroups and study their isolated factorizations. As a consequence of our results, we characterize those complete intersection simplicial affine semigroups with only one Betti minimal element in several ways. Moreover, we define Betti sorted and Betti divisible simplicial affine semigroups and characterize them in terms of gluings and their minimal presentations. Finally, we determine all the Betti divisible numerical semigroups, which turn out to be those numerical semigroups that are free for any arrangement of their minimal generators.
△ Less
Submitted 2 August, 2022; v1 submitted 3 April, 2018;
originally announced April 2018.
-
Cyclotomic polynomials at roots of unity
Authors:
Bartlomiej Bzdega,
Andres Herrera-Poyatos,
Pieter Moree
Abstract:
The $n^{th}$ cyclotomic polynomial $Φ_n(x)$ is the minimal polynomial of an $n^{th}$ primitive root of unity. Hence $Φ_n(x)$ is trivially zero at primitive $n^{th}$ roots of unity. Using finite Fourier analysis we derive a formula for $Φ_n(x)$ at the other roots of unity. This allows one to explicitly evaluate $Φ_n(e^{2πi/m})$ with $m\in \{3,4,5,6,8,10,12\}$. We use this evaluation with $m=5$ to g…
▽ More
The $n^{th}$ cyclotomic polynomial $Φ_n(x)$ is the minimal polynomial of an $n^{th}$ primitive root of unity. Hence $Φ_n(x)$ is trivially zero at primitive $n^{th}$ roots of unity. Using finite Fourier analysis we derive a formula for $Φ_n(x)$ at the other roots of unity. This allows one to explicitly evaluate $Φ_n(e^{2πi/m})$ with $m\in \{3,4,5,6,8,10,12\}$. We use this evaluation with $m=5$ to give a simple reproof of a result of Vaughan (1975) on the maximum coefficient (in absolute value) of $Φ_n(x)$. We also obtain a formula for $Φ_n'(e^{2πi/m}) / Φ_n(e^{2πi/m})$ with $n \ne m$, which is effectively applied to $m \in \{3,4,6\}$. Furthermore, we compute the resultant of two cyclotomic polynomials in a novel very short way.
△ Less
Submitted 9 January, 2017; v1 submitted 21 November, 2016;
originally announced November 2016.
