Source author record

Tyler Helmuth

Tyler Helmuth appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.PR math-ph math.CO math.MP Data Structures and Algorithms Computational Complexity quant-ph

Catalog footprint

What is connected

7works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Imry-Ma phenomenon for the hard-core model on $\mathbb{Z}^{2}$

The \emph{Imry-Ma phenomenon} refers to the dramatic effect that disorder can have on first-order phase transitions for two-dimensional spin systems. The most famous example is the absence of a phase transition for the two-dimensional random-field Ising model. This paper establishes that a similar phenomena takes place for the hard-core model, a discrete model of crystallization: arbitrarily weak disorder prevents the formation of a crystal. Our proof of this behaviour is an adaptation of the Aizenman-Wehr argument for the Imry-Ma phenomenon, with the use of internal (spin space) symmetries for spin systems being replaced by the use spatial symmetries.

preprint2022arXiv

Efficient sampling and counting algorithms for the Potts model on $\mathbb Z^d$ at all temperatures

For $d \ge 2$ and all $q\geq q_{0}(d)$ we give an efficient algorithm to approximately sample from the $q$-state ferromagnetic Potts and random cluster models on finite tori $(\mathbb Z / n \mathbb Z )^d$ for any inverse temperature $β\geq 0$. This shows that the physical phase transition of the Potts model presents no algorithmic barrier to efficient sampling, and stands in contrast to Markov chain mixing time results: the Glauber dynamics mix slowly at and below the critical temperature, and the Swendsen--Wang dynamics mix slowly at the critical temperature. We also provide an efficient algorithm (an FPRAS) for approximating the partition functions of these models at all temperatures. Our algorithms are based on representing the random cluster model as a contour model using Pirogov--Sinai theory, and then computing an accurate approximation of the logarithm of the partition function by inductively truncating the resulting cluster expansion. The main innovation of our approach is an algorithmic treatment of unstable ground states, which is essential for our algorithms to apply to all inverse temperatures $β$. By treating unstable ground states our work gives a general template for converting probabilistic applications of Pirogov-Sinai theory to efficient algorithms.

preprint2021arXiv

Efficient Algorithms for Approximating Quantum Partition Functions

We establish a polynomial-time approximation algorithm for partition functions of quantum spin models at high temperature. Our algorithm is based on the quantum cluster expansion of Netočný and Redig and the cluster expansion approach to designing algorithms due to Helmuth, Perkins, and Regts. Similar results have previously been obtained by related methods, and our main contribution is a simple and slightly sharper analysis for the case of pairwise interactions on bounded-degree graphs.

preprint2020arXiv

Loop-erased random walk as a spin system observable

The determination of the Hausdorff dimension of the scaling limit of loop-erased random walk is closely related to the study of the one-point function of loop-erased random walk, i.e., the probability a loop-erased random walk passes through a given vertex. Recent work in the theoretical physics literature has investigated the Hausdorff dimension of loop-erased random walk in three dimensions by applying field theory techniques to study spin systems that heuristically encode the one-point function of loop-erased random walk. Inspired by this, we introduce two different spin systems whose correlation functions can be rigorously shown to encode the one-point function of loop-erased random walk.

preprint2016arXiv

Dimensional reduction for generalized continuum polymers

The Brydges-Imbrie dimensional reduction formula relates the pressure of a $d$-dimensional gas of hard spheres to a model of $(d+2)$-dimensional branched polymers. Brydges and Imbrie's proof was non-constructive and relied on a supersymmetric localization lemma. The main result of this article is a constructive proof of a more general dimensional reduction formula that contains the Brydges--Imbrie formula as a special case. Central to the proof are invariance lemmas, which were first introduced by Kenyon and Winkler for branched polymers. The new dimensional reduction formulas rely on invariance lemmas for central hyperplane arrangements that are due to Mészáros and Postnikov. Several applications are presented, notably dimensional reduction formulas for (i) non-spherical bodies and (ii) for corrections to the pressure due to symmetry effects.

preprint2016arXiv

Loop-weighted Walk

Loop-weighted walk with parameter $λ\geq 0$ is a non-Markovian model of random walks that is related to the loop $O(N)$ model of statistical mechanics. A walk receives weight $λ^{k}$ if it contains $k$ loops; whether this is a reward or punishment for containing loops depends on the value of $λ$. A challenging feature of loop-weighted walk is that it is not purely repulsive, meaning the weight of the future of a walk may either increase or decrease if the past is forgotten. Repulsion is typically an essential property for lace expansion arguments. This article circumvents the lack of repulsion and proves, via the lace expansion, that for any $λ\geq 0$ loop-weighted walk is diffusive in high dimensions.

preprint2014arXiv

Ising Model Observables and Non-Backtracking Walks

This paper presents an alternative proof of the connection between the partition function of the Ising model on a finite graph $G$ and the set of non-backtracking walks on $G$. The techniques used also give formulas for spin-spin correlation functions in terms of non-backtracking walks. The main tools used are Viennot's theory of heaps of pieces and turning numbers on surfaces.