Matthis Lehmkuehler

Articles

Parity questions in critical planar Brownian loop-soups (or where did the free planar bosons go?) (with Wei Qian, Wendelin Werner)

arXiv:2403.07830 – March 2024 – Submitted
The critical two-dimensional Brownian loop-soup is an infinite collection of non-interacting Brownian loops in a planar domain that possesses some combinatorial features related to the notion of indistinguishability of bosons. The properly renormalized occupation time field of this collection of loops is known to be distributed like the properly defined square of a Gaussian free field. In the present paper, we investigate aspects of the question about how much information these fields provide about the loop-soup. Among other things, we show that the exact set of points that are actually visited by some loops in the loop-soup is not determined by these fields. We further prove that given the fields, a dense family of special points will each have a conditional probability 1/21/2 of being part of the loop-soup. We also exhibit another instance where the possible decompositions (given the field) into individual loops and excursions can be grouped into two clearly different groups, each having a conditional probability 1/21/2 of occurring.

Provable bounds for noise-free expectation values computed from noisy samples (with Samantha Barron, Daniel Egger, Elijah Pelofske, Andreas Bärtschi, Stephan Eidenbenz, Stefan Woerner)

arXiv:2312.00733 – December 2023 – Submitted
In this paper, we explore the impact of noise on quantum computing, particularly focusing on the challenges when sampling bit strings from noisy quantum computers as well as the implications for optimization and machine learning applications. We formally quantify the sampling overhead to extract good samples from noisy quantum computers and relate it to the layer fidelity, a metric to determine the performance of noisy quantum processors. Further, we show how this allows us to use the Conditional Value at Risk of noisy samples to determine provable bounds on noise-free expectation values. We discuss how to leverage these bounds for different algorithms and demonstrate our findings through experiments on a real quantum computer involving up to 127 qubits. The results show a strong alignment with theoretical predictions.

The fuzzy Potts model in the plane: Scaling limits and arm exponents (with Laurin Köhler-Schindler)

arXiv:2209.12529 – September 2022 – Submitted
We study the fuzzy Potts model on a critical FK percolation in the plane, which is obtained by coloring the clusters of the percolation model independently at random. We show that under the assumption that this critical FK percolation model converges to a conformally invariant scaling limit (which is known to hold for the FK-Ising model), the obtained coloring converges to variants of Conformal Loop Ensembles constructed, described and studied by Miller, Sheffield and Werner. We also show, using discrete considerations that the arm exponents for this coloring in the discrete model are identical to the ones of the continuum model. Using the values of these arm exponents in the continuum, we determine the arm exponents for the fuzzy Potts model.

Liouville quantum gravity weighted by conformal loop ensemble nesting statistics (with Nina Holden)

arXiv:2204.09905 – April 2022 – Submitted
We study Liouville quantum gravity (LQG) surfaces whose law has been reweighted according to nesting statistics for a conformal loop ensemble (CLE) relative to n{0,1,2,}n\in \{0,1,2,\dots \} marked points z1,,znz_1,\dots,z_n . The idea is to consider a reweighting by B[n]eσBNB\prod_{B\subseteq [n]} e^{\sigma_B N_B} , where σBR\sigma_B\in\R and NBN_B is the number of CLE loops surrounding the points ziz_i for iBi\in B . This is made precise via an approximation procedure where as part of the proof we derive strong spatial independence results for CLE. The reweighting induces logarithmic singularities for the Liouville field at z1,,znz_1,\dots,z_n with a magnitude depending explicitly on σ1,,σn\sigma_1,\dots,\sigma_n .
We define the partition function of the surface and explain its relationship to Liouville conformal field theory (CFT) correlation functions and a potential relationship with a CFT for CLE. In the case of n{0,1}n\in\{0,1\} points we derive an explicit formula for the partition function. Furthermore, we obtain a recursive formula for the partition functions where we express the nn point partition function in terms of the partition function for disks with k<nk<n marked points, and we use this to partially determine for which values of (σB:B[n])(\sigma_B\,:\,B\subseteq[n]) the partition function is finite. The recursive formula is derived via a continuum counterpart of the peeling process on planar maps, which was earlier studied in works of Miller, Sheffield, and Werner in the setting of n=0n=0 marked points. We also find an explicit formula for the generator of the Markov process describing the LQG boundary lengths in the continuum peeling process. Via an explicit calculation for this Markov process for n=0n=0 we give a new proof for the law of the conformal radius of the outermost CLE loop in the unit disk around 0, which was earlier established by Schramm, Sheffield, and Wilson. Finally, we state precise conjectures relating the LQG surfaces with marked points to random planar maps.

The trunks of CLE(4) explorations

A natural class of conformally invariant ways for discovering the loops of a conformal loop ensemble CLE4\text{CLE}_4 is given by a certain family of SLE4μ(2)\text{SLE}_4^{\langle\mu\rangle} (-2) exploration processes for μR\mu \in \mathbb{R} . Such an exploration consists of one simple continuous path called the trunk of the exploration that discovers CLE4\text{CLE}_4 loops along the way. The parameter μ\mu appears in the Loewner chain description of the path that traces the trunk and all CLE4\text{CLE}_4 loops encountered by the trunk in chronological order. These explorations can also be interpreted in terms of level lines of a Gaussian free field.
It has been shown by Miller, Sheffield and Werner that the trunk of such an exploration is an SLE4(ρ,2ρ)\text{SLE}_4(\rho,-2-\rho) process for some (unknown) value of ρ(2,0)\rho \in (-2, 0) . The main result of the present paper is to establish the relation between μ\mu and ρ\rho , more specifically to show that μ=πcot(πρ/2)\mu = -\pi\cot(\pi\rho/2) .
The crux of the paper is to show how explorations of CLE4\text{CLE}_4 can be approximated by explorations of CLEκ\text{CLE}_\kappa for κ4\kappa \uparrow 4 , which then makes it possible to use recent results by Miller, Sheffield and Werner about the trunks of CLEκ\text{CLE}_\kappa explorations for κ<4\kappa < 4 .