Source author record

Stefan Leichenauer

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

25works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

25 published item(s)

preprint2021arXiv

Machine learning of high dimensional data on a noisy quantum processor

We present a quantum kernel method for high-dimensional data analysis using Google's universal quantum processor, Sycamore. This method is successfully applied to the cosmological benchmark of supernova classification using real spectral features with no dimensionality reduction and without vanishing kernel elements. Instead of using a synthetic dataset of low dimension or pre-processing the data with a classical machine learning algorithm to reduce the data dimension, this experiment demonstrates that machine learning with real, high dimensional data is possible using a quantum processor; but it requires careful attention to shot statistics and mean kernel element size when constructing a circuit ansatz. Our experiment utilizes 17 qubits to classify 67 dimensional data - significantly higher dimensionality than the largest prior quantum kernel experiments - resulting in classification accuracy that is competitive with noiseless simulation and comparable classical techniques.

preprint2020arXiv

Anomaly Detection with Tensor Networks

Originating from condensed matter physics, tensor networks are compact representations of high-dimensional tensors. In this paper, the prowess of tensor networks is demonstrated on the particular task of one-class anomaly detection. We exploit the memory and computational efficiency of tensor networks to learn a linear transformation over a space with dimension exponential in the number of original features. The linearity of our model enables us to ensure a tight fit around training instances by penalizing the model's global tendency to a predict normality via its Frobenius norm---a task that is infeasible for most deep learning models. Our method outperforms deep and classical algorithms on tabular datasets and produces competitive results on image datasets, despite not exploiting the locality of images.

preprint2020arXiv

Entanglement and Tensor Networks for Supervised Image Classification

Tensor networks, originally designed to address computational problems in quantum many-body physics, have recently been applied to machine learning tasks. However, compared to quantum physics, where the reasons for the success of tensor network approaches over the last 30 years is well understood, very little is yet known about why these techniques work for machine learning. The goal of this paper is to investigate entanglement properties of tensor network models in a current machine learning application, in order to uncover general principles that may guide future developments. We revisit the use of tensor networks for supervised image classification using the MNIST data set of handwritten digits, as pioneered by Stoudenmire and Schwab [Adv. in Neur. Inform. Proc. Sys. 29, 4799 (2016)]. Firstly we hypothesize about which state the tensor network might be learning during training. For that purpose, we propose a plausible candidate state $|Σ_{\ell}\rangle$ (built as a superposition of product states corresponding to images in the training set) and investigate its entanglement properties. We conclude that $|Σ_{\ell}\rangle$ is so robustly entangled that it cannot be approximated by the tensor network used in that work, which must therefore be representing a very different state. Secondly, we use tensor networks with a block product structure, in which entanglement is restricted within small blocks of $n \times n$ pixels/qubits. We find that these states are extremely expressive (e.g. training accuracy of $99.97 \%$ already for $n=2$), suggesting that long-range entanglement may not be essential for image classification. However, in our current implementation, optimization leads to over-fitting, resulting in test accuracies that are not competitive with other current approaches.

preprint2020arXiv

Investigating Quantum Approximate Optimization Algorithms under Bang-bang Protocols

The quantum approximate optimization algorithm (QAOA) is widely seen as a possible usage of noisy intermediate-scale quantum (NISQ) devices. We analyze the algorithm as a bang-bang protocol with fixed total time and a randomized greedy optimization scheme. We investigate the performance of bang-bang QAOA on MAX-2-SAT, finding the appearance of phase transitions with respect to the total time. As the total time increases, the optimal bang-bang protocol experiences a number of jumps and plateaus in performance, which match up with an increasing number of switches in the standard QAOA formulation. At large times, it becomes more difficult to find a globally optimal bang-bang protocol and performances suffer. We also investigate the effects of changing the initial conditions of the randomized optimization algorithm and see that better local optima can be found by using an adiabatic initialization.

preprint2020arXiv

Quantum Optimization with a Novel Gibbs Objective Function and Ansatz Architecture Search

The Quantum Approximate Optimization Algorithm (QAOA) is a standard method for combinatorial optimization with a gate-based quantum computer. The QAOA consists of a particular ansatz for the quantum circuit architecture, together with a prescription for choosing the variational parameters of the circuit. We propose modifications to both. First, we define the Gibbs objective function and show that it is superior to the energy expectation value for use as an objective function in tuning the variational parameters. Second, we describe an Ansatz Architecture Search (AAS) algorithm for searching the discrete space of quantum circuit architectures near the QAOA to find a better ansatz. Applying these modifications for a complete graph Ising model results in a $244.7\%$ median relative improvement in the probability of finding a low-energy state while using $33.3\%$ fewer two-qubit gates. For Ising models on a 2d grid we similarly find $44.4\%$ median improvement in the probability with a $20.8\%$ reduction in the number of two-qubit gates. This opens a new research field of quantum circuit architecture design for quantum optimization algorithms.

preprint2017arXiv

The Quantum Null Energy Condition, Entanglement Wedge Nesting, and Quantum Focusing

We study the consequences of Entanglement Wedge Nesting for CFTs with holographic duals. The CFT is formulated on an arbitrary curved background, and we include the effects of curvature-squared couplings in the bulk. In this setup we find necessary and sufficient conditions for Entanglement Wedge Nesting to imply the Quantum Null Energy Condition in $d\leq 5$, extending its earlier holographic proofs. We also show that the Quantum Focusing Conjecture yields the Quantum Null Energy Condition as its nongravitational limit under these same conditions.

preprint2016arXiv

Dynamics of the Area Law of Entanglement Entropy

We study the evolution of the universal area law of entanglement entropy when the Hamiltonian of the system undergoes a time dependent perturbation. In particular, we derive a general formula for the time dependent first order correction to the area law under the assumption that the field theory resides in a vacuum state when a small time-dependent perturbation of a relevant coupling constant is turned on. Using this formula, we carry out explicit calculations in free field theories deformed by a time dependent mass, whereas for a generic QFT we show that the time dependent first order correction is governed by the spectral function defining the two-point correlation function of the trace of the energy-momentum tensor. We also carry out holographic calculations based on the HRT proposal and find qualitative and, in certain cases, quantitative agreement with the field theory calculations.

preprint2016arXiv

Geometric Constraints from Subregion Duality Beyond the Classical Regime

Subregion duality in AdS/CFT implies certain constraints on the geometry: entanglement wedges must contain causal wedges, and nested boundary regions must have nested entanglement wedges. We elucidate the logical connections between these statements and the Quantum Focussing Conjecture, Quantum Null Energy Condition, Boundary Causality Condition, and Averaged Null Energy Condition. Our analysis does not rely on the classical limit of bulk physics, but instead works to all orders in $G\hbar \sim 1/N$. This constitutes a nontrivial check on the consistency of subregion duality, entanglement wedge reconstruction, and holographic entanglement entropy beyond the classical regime.

preprint2016arXiv

Holographic Proof of the Quantum Null Energy Condition

We use holography to prove the Quantum Null Energy Condition (QNEC) at leading order in large-$N$ for CFTs and relevant deformations of CFTs in Minkowski space which have Einstein gravity duals. Given any codimension-2 surface $Σ$ which is locally stationary under a null deformation in the direction $k$ at the point $p$, the QNEC is a lower bound on the energy-momentum tensor at $p$ in terms of the second variation of the entropy to one side of $Σ$: $\langle T_{kk}\rangle \geq S"/2π\sqrt{h}$. In a CFT, conformal transformations of this inequality give results which apply when $Σ$ is not locally stationary. The QNEC was proven previously for free theories, and taken together with our result this provides strong evidence that the QNEC is a true statement about quantum field theory in general.

preprint2015arXiv

A Quantum Focussing Conjecture

We propose a universal inequality that unifies the Bousso bound with the classical focussing theorem. Given a surface $σ$ that need not lie on a horizon, we define a finite generalized entropy $S_\text{gen}$ as the area of $σ$ in Planck units, plus the von Neumann entropy of its exterior. Given a null congruence $N$ orthogonal to $σ$, the rate of change of $S_\text{gen}$ per unit area defines a quantum expansion. We conjecture that the quantum expansion cannot increase along $N$. This extends the notion of universal focussing to cases where quantum matter may violate the null energy condition. Integrating the conjecture yields a precise version of the Strominger-Thompson Quantum Bousso Bound. Applied to locally parallel light-rays, the conjecture implies a Quantum Null Energy Condition: a lower bound on the stress tensor in terms of the second derivative of the von Neumann entropy. We sketch a proof of this novel relation in quantum field theory.

preprint2015arXiv

Entanglement Tsunami in (1+1)-Dimensions

We study the time dependence of the entanglement entropy of disjoint intervals following a global quantum quench in (1+1)-dimensional CFTs at large-$c$ with a sparse spectrum. The result agrees with a holographic calculation but differs from the free field theory answer. In particular, a simple model of free quasiparticle propagation is not adequate for CFTs with a holographic dual. We elaborate on the entanglement tsunami proposal of Liu and Suh and show how it can be used to reproduce the holographic answer.

preprint2015arXiv

Proof of the Quantum Null Energy Condition

We prove the Quantum Null Energy Condition (QNEC), a lower bound on the stress tensor in terms of the second variation in a null direction of the entropy of a region. The QNEC arose previously as a consequence of the Quantum Focussing Conjecture, a proposal about quantum gravity. The QNEC itself does not involve gravity, so a proof within quantum field theory is possible. Our proof is somewhat nontrivial, suggesting that there may be alternative formulations of quantum field theory that make the QNEC more manifest. Our proof applies to free and superrenormalizable bosonic field theories, and to any points that lie on stationary null surfaces. An example is Minkowski space, where any point $p$ and null vector $k^a$ define a null plane $N$ (a Rindler horizon). Given any codimension-2 surface $Σ$ that contains $p$ and lies on $N$, one can consider the von Neumann entropy $S_\text{out}$ of the quantum state restricted to one side of $Σ$. A second variation $S_\text{out}^{\prime\prime}$ can be defined by deforming $Σ$ along $N$, in a small neighborhood of $p$ with area $\cal A$. The QNEC states that $\langle T_{kk}(p) \rangle \ge \frac{\hbar}{2π} \lim_{{\cal A}\to 0}S_\text{out}^{ \prime\prime}/{\cal A}$.

preprint2015arXiv

Thermal Corrections to Entanglement Entropy from Holography

We use holographic techniques to calculate the first thermal correction to the entanglement entropy of a cap-like region of a CFT defined on a sphere, successfully reproducing the field theory result. Since this is an order-one correction to the entropy in the large-$N$ expansion, quantum corrections to the holographic entanglement entropy formula are essential. The bulk calculation is made tractable using the same technical machinery recently used to derive the linearized Einstein equations in the bulk from the first law of entanglement entropy in the CFT.

preprint2014arXiv

Disrupting Entanglement of Black Holes

We study entanglement in thermofield double states of strongly coupled CFTs by analyzing two-sided Reissner-Nordstrom solutions in AdS. The central object of study is the mutual information between a pair of regions, one on each asymptotic boundary of the black hole. For large regions the mutual information is positive and for small ones it vanishes; we compute the critical length scale, which goes to infinity for extremal black holes, of the transition. We also generalize the butterfly effect of Shenker and Stanford to a wide class of charged black holes, showing that mutual information is disrupted upon perturbing the system and waiting for a time of order $\log E/δE$ in units of the temperature. We conjecture that the parametric form of this timescale is universal.

preprint2014arXiv

Limits on New Physics from Black Holes

Black holes emit high energy particles which induce a finite density potential for any scalar field $ϕ$ coupling to the emitted quanta. Due to energetic considerations, $ϕ$ evolves locally to minimize the effective masses of the outgoing states. In theories where $ϕ$ resides at a metastable minimum, this effect can drive $ϕ$ over its potential barrier and classically catalyze the decay of the vacuum. Because this is not a tunneling process, the decay rate is not exponentially suppressed and a single black hole in our past light cone may be sufficient to activate the decay. Moreover, decaying black holes radiate at ever higher temperatures, so they eventually probe the full spectrum of particles coupling to $ϕ$. We present a detailed analysis of vacuum decay catalyzed by a single particle, as well as by a black hole. The former is possible provided large couplings or a weak potential barrier. In contrast, the latter occurs much more easily and places new stringent limits on theories with hierarchical spectra. Finally, we comment on how these constraints apply to the standard model and its extensions, e.g. metastable supersymmetry breaking.

preprint2013arXiv

A Consistent Effective Theory of Long-Wavelength Cosmological Perturbations

Effective field theory provides a perturbative framework to study the evolution of cosmological large-scale structure. We investigate the underpinnings of this approach, and suggest new ways to compute correlation functions of cosmological observables. We find that, in contrast with quantum field theory, the appropriate effective theory of classical cosmological perturbations involves interactions that are nonlocal in time. We describe an alternative to the usual approach of smoothing the perturbations, based on a path-integral formulation of the renormalization group equations. This technique allows for improved handling of short-distance modes that are perturbatively generated by long-distance interactions.

preprint2013arXiv

AdS black holes, the bulk-boundary dictionary, and smearing functions

In Lorentzian AdS/CFT there exists a mapping between local bulk operators and nonlocal CFT operators. In global AdS this mapping can be found through use of bulk equations of motion and allows the nonlocal CFT operator to be expressed as a local operator smeared over a range of positions and times. We argue that such a construction is not possible if there are bulk normal modes with exponentially small near boundary imprint. We show that the AdS-Schwarzschild background is such a case, with the horizon introducing modes with angular momentum much larger than frequency, causing them to be trapped by the centrifugal barrier. More generally, we argue that any barrier in the radial effective potential which prevents null geodesics from reaching the boundary will lead to modes with vanishingly small near boundary imprint, thereby obstructing the existence of a smearing function. While one may have thought the bulk-boundary dictionary for low curvature regions, such as the exterior of a black hole, should be as in empty AdS, our results demonstrate otherwise.

preprint2013arXiv

Null Geodesics, Local CFT Operators and AdS/CFT for Subregions

We investigate the nature of the AdS/CFT duality between a subregion of the bulk and its boundary. In global AdS/CFT in the classical G_N=0 limit, the duality reduces to a boundary value problem that can be solved by restricting to one-point functions of local operators in the CFT. We show that the solution of this boundary value problem depends continuously on the CFT data. In contrast, the AdS-Rindler subregion cannot be continuously reconstructed from local CFT data restricted to the associated boundary region. Motivated by related results in the mathematics literature, we posit that a continuous bulk reconstruction is only possible when every null geodesic in a given bulk subregion has an endpoint on the associated boundary subregion. This suggests that a subregion duality for AdS-Rindler, if it exists, must involve nonlocal CFT operators in an essential way.

preprint2012arXiv

Light-sheets and AdS/CFT

One may ask whether the CFT restricted to a subset b of the AdS boundary has a well-defined dual restricted to a subset H(b) of the bulk geometry. The Poincare patch is an example, but more general choices of b can be considered. We propose a geometric construction of H. We argue that H should contain the set C of causal curves with both endpoints on b. Yet H should not reach so far from the boundary that the CFT has insufficient degrees of freedom to describe it. This can be guaranteed by constructing a superset of H from light-sheets off boundary slices and invoking the covariant entropy bound in the bulk. The simplest covariant choice is L, the intersection of L^+ and L^-, where L^+ (L^-) is the union of all future-directed (past-directed) light-sheets. We prove that C=L, so the holographic domain is completely determined by our assumptions: H=C=L. In situations where local bulk operators can be constructed on b, H is closely related to the set of bulk points where this construction remains unambiguous under modifications of the CFT Hamiltonian outside of b. Our construction leads to a covariant geometric RG flow. We comment on the description of black hole interiors and cosmological regions via AdS/CFT.

preprint2010arXiv

A geometric solution to the coincidence problem, and the size of the landscape as the origin of hierarchy

Without assuming necessary conditions for observers such as galaxies or entropy production, we show that the causal patch measure predicts the coincidence of vacuum energy and present matter density. Their common scale, and thus the enormous size of the visible universe, has its origin in the number of metastable vacua in the landscape.

preprint2010arXiv

Boundary definition of a multiverse measure

We propose to regulate the infinities of eternal inflation by relating a late time cut-off in the bulk to a short distance cut-off on the future boundary. The light-cone time of an event is defined in terms of the volume of its future light-cone on the boundary. We seek an intrinsic definition of boundary volumes that makes no reference to bulk structures. This requires taming the fractal geometry of the future boundary, and lifting the ambiguity of the conformal factor. We propose to work in the conformal frame in which the boundary Ricci scalar is constant. We explore this proposal in the FRW approximation for bubble universes. Remarkably, we find that the future boundary becomes a round three-sphere, with smooth metric on all scales. Our cut-off yields the same relative probabilities as a previous proposal that defined boundary volumes by projection into the bulk along timelike geodesics. Moreover, it is equivalent to an ensemble of causal patches defined without reference to bulk geodesics. It thus yields a holographically motivated and phenomenologically successful measure for eternal inflation.

preprint2010arXiv

Geometric origin of coincidences and hierarchies in the landscape

We show that the geometry of cutoffs on eternal inflation strongly constrains predictions for the timescales of vacuum domination, curvature domination, and observation. We consider three measure proposals: the causal patch, the fat geodesic, and the apparent horizon cutoff, which is introduced here for the first time. We impose neither anthropic requirements nor restrictions on landscape vacua. For vacua with positive cosmological constant, all three measures predict the double coincidence that most observers live at the onset of vacuum domination and just before the onset of curvature domination. The hierarchy between the Planck scale and the cosmological constant is related to the number of vacua in the landscape. These results require only mild assumptions about the distribution of vacua (somewhat stronger assumptions are required by the fat geodesic measure). At this level of generality, none of the three measures are successful for vacua with negative cosmological constant. Their applicability in this regime is ruled out unless much stronger anthropic requirements are imposed.

preprint2010arXiv

Saturating the holographic entropy bound

The covariant entropy bound states that the entropy, S, of matter on a light-sheet cannot exceed a quarter of its initial area, A, in Planck units. The gravitational entropy of black holes saturates this inequality. The entropy of matter systems, however, falls short of saturating the bound in known examples. This puzzling gap has led to speculation that a much stronger bound, S< A^{3/4}, may hold true. In this note, we exhibit light-sheets whose entropy exceeds A^{3/4} by arbitrarily large factors. In open FRW universes, such light-sheets contain the entropy visible in the sky; in the limit of early curvature domination, the covariant bound can be saturated but not violated. As a corollary, we find that the maximum observable matter and radiation entropy in universes with positive (negative) cosmological constant is of order Lambda^{-1} (Lambda^{-2}), and not |Lambda|^{-3/4} as had hitherto been believed. Our results strengthen the evidence for the covariant entropy bound, while showing that the stronger bound S< A^{3/4} is not universally valid. We conjecture that the stronger bound does hold for static, weakly gravitating systems.

preprint2009arXiv

Predictions from Star Formation in the Multiverse

We compute trivariate probability distributions in the landscape, scanning simultaneously over the cosmological constant, the primordial density contrast, and spatial curvature. We consider two different measures for regulating the divergences of eternal inflation, and three different models for observers. In one model, observers are assumed to arise in proportion to the entropy produced by stars; in the others, they arise at a fixed time (5 or 10 billion years) after star formation. The star formation rate, which underlies all our observer models, depends sensitively on the three scanning parameters. We employ a recently developed model of star formation in the multiverse, a considerable refinement over previous treatments of the astrophysical and cosmological properties of different pocket universes. For each combination of observer model and measure, we display all single and bivariate probability distributions, both with the remaining parameter(s) held fixed, and marginalized. Our results depend only weakly on the observer model but more strongly on the measure. Using the causal diamond measure, the observed parameter values (or bounds) lie within the central $2σ$ of nearly all probability distributions we compute, and always within $3σ$. This success is encouraging and rather nontrivial, considering the large size and dimension of the parameter space. The causal patch measure gives similar results as long as curvature is negligible. If curvature dominates, the causal patch leads to a novel runaway: it prefers a negative value of the cosmological constant, with the smallest magnitude available in the landscape.