Searcharxiv⌕ Search

arXiv subjects

Spyridon Michalakis

Publications and source records attributed to Spyridon Michalakis.

At least 19 recordsLinked to original sources
arXiv2023

Optimal protocols for quantum metrology with noisy measurements

Measurement noise is a major source of noise in quantum metrology. Here, we explore preprocessing protocols that apply quantum controls to the quantum sensor state prior to the final noisy measurement (but after the unknown parameter has been imparted), aiming to maximize the estimation precision. We define the quantum preprocessing-optimized Fisher information, which determines the ultimate precision limit for quantum sensors under measurement noise, and conduct a thorough investigation into optimal preprocessing protocols. First, we formulate the preprocessing optimization problem as a biconvex optimization using the error observable formalism, based on which we prove that unitary controls are optimal for pure states and derive analytical solutions of the optimal controls in several practically relevant cases. Then we prove that for classically mixed states (whose eigenvalues encode the unknown parameter) under commuting-operator measurements, coarse-graining controls are optimal, while unitary controls are suboptimal in certain cases. Finally, we demonstrate that in multi-probe systems where noisy measurements act independently on each probe, the noiseless precision limit can be asymptotically recovered using global controls for a wide range of quantum states and measurements. Applications to noisy Ramsey interferometry and thermometry are presented, as well as explicit circuit constructions of optimal controls.

quant-ph↗
arXiv2021

Building a Quantum Engineering Undergraduate Program

The rapidly growing quantum information science and engineering (QISE) industry will require both quantum-aware and quantum-proficient engineers at the bachelor's level. We provide a roadmap for building a quantum engineering education program to satisfy this need. For quantum-aware engineers, we describe how to design a first quantum engineering course accessible to all STEM students. For the education and training of quantum-proficient engineers, we detail both a quantum engineering minor accessible to all STEM majors, and a quantum track directly integrated into individual engineering majors. We propose that such programs typically require only three or four newly developed courses that complement existing engineering and science classes available on most larger campuses. We describe a conceptual quantum information science course for implementation at any post-secondary institution, including community colleges and military schools. QISE presents extraordinary opportunities to work towards rectifying issues of inclusivity and equity that continue to be pervasive within engineering. We present a plan to do so and describe how quantum engineering education presents an excellent set of education research opportunities. Finally, we outline a hands-on training plan on quantum hardware, a key component of any quantum engineering program, with a variety of technologies including optics, atoms and ions, cryogenic and solid-state technologies, nanofabrication, and control and readout electronics. Our recommendations provide a flexible framework that can be tailored for academic institutions ranging from teaching and undergraduate-focused two- and four-year colleges to research-intensive universities.

physics.ed-ph↗
arXiv2017

A note on "The Cartan-Hadamard conjecture and the Little Prince"

We provide elementary proofs of Lemmas 7.1 and 7.4 appearing in "The Cartan-Hadamard conjecture and the Little Prince", by B. Kloeckner and G. Kuperberg. The Lemmas play an important role in the derivation of novel isoperimetric inequalities. The original proofs relied on Sage, a symbolic algebra package, to factor certain algebraic varieties into irreducible components.

math.DG↗
arXiv2016

Space from Hilbert Space: Recovering Geometry from Bulk Entanglement

We examine how to construct a spatial manifold and its geometry from the entanglement structure of an abstract quantum state in Hilbert space. Given a decomposition of Hilbert space $\mathcal{H}$ into a tensor product of factors, we consider a class of "redundancy-constrained states" in $\mathcal{H}$ that generalize the area-law behavior for entanglement entropy usually found in condensed-matter systems with gapped local Hamiltonians. Using mutual information to define a distance measure on the graph, we employ classical multidimensional scaling to extract the best-fit spatial dimensionality of the emergent geometry. We then show that entanglement perturbations on such emergent geometries naturally give rise to local modifications of spatial curvature which obey a (spatial) analog of Einstein's equation. The Hilbert space corresponding to a region of flat space is finite-dimensional and scales as the volume, though the entropy (and the maximum change thereof) scales like the area of the boundary. A version of the ER=EPR conjecture is recovered, in that perturbations that entangle distant parts of the emergent geometry generate a configuration that may be considered as a highly quantum wormhole.

hep-th↗
arXiv2015

Stability of local quantum dissipative systems

Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of quantum many-body systems on a lattice it is natural to consider Lindbladians that decompose into a sum of local interactions with decreasing strength with respect to the size of their support. For both practical and theoretical reasons, it is crucial to estimate the impact that perturbations in the generating Lindbladian, arising as noise or errors, can have on the evolution. These local perturbations are potentially unbounded, but constrained to respect the underlying lattice structure. We show that even for polynomially decaying errors in the Lindbladian, local observables and correlation functions are stable if the unperturbed Lindbladian has a unique fixed point and a mixing time which scales logarithmically with the system size. The proof relies on Lieb-Robinson bounds, which describe a finite group velocity for propagation of information in local systems. As a main example, we prove that classical Glauber dynamics is stable under local perturbations, including perturbations in the transition rates which may not preserve detailed balance.

quant-ph↗
arXiv2015

Rapid mixing and stability of quantum dissipative systems

The physics of many materials is modeled by quantum many-body systems with local interactions. If the model of the system is sensitive to noise from the environment, or small perturbations to the original interactions, it will not properly model the robustness of the real physical system it aims to describe, or be useful when engineering novel systems for quantum information processing. We show that local observables and correlation functions of local Liouvillians are stable to local perturbations if the dynamics is rapidly mixing and has a unique fixed point. No other condition is required.

quant-ph↗
arXiv2014

Quantization of Hall Conductance For Interacting Electrons on a Torus

We consider interacting, charged spins on a torus described by a gapped Hamiltonian with a unique groundstate and conserved local charge. Using quasi-adiabatic evolution of the groundstate around a flux-torus, we prove, without any averaging assumption, that the Hall conductance of the groundstate is quantized in integer multiples of e^2/h, up to exponentially small corrections in the linear size of the system. In addition, we discuss extensions to the fractional quantization case under an additional topological order assumption on the degenerate groundstate subspace.

quant-ph↗
arXiv2014

Persistence of locality in systems with power-law interactions

Motivated by recent experiments with ultra-cold matter, we derive a new bound on the propagation of information in $D$-dimensional lattice models exhibiting $1/r^α$ interactions with $α>D$. The bound contains two terms: One accounts for the short-ranged part of the interactions, giving rise to a bounded velocity and reflecting the persistence of locality out to intermediate distances, while the other contributes a power-law decay at longer distances. We demonstrate that these two contributions not only bound but, except at long times, \emph{qualitatively reproduce} the short- and long-distance dynamical behavior following a local quench in an $XY$ chain and a transverse-field Ising chain. In addition to describing dynamics in numerous intractable long-range interacting lattice models, our results can be experimentally verified in a variety of ultracold-atomic and solid-state systems.

quant-ph↗
arXiv2014

Non-local propagation of correlations in long-range interacting quantum systems

The maximum speed with which information can propagate in a quantum many-body system directly affects how quickly disparate parts of the system can become correlated and how difficult the system will be to describe numerically. For systems with only short-range interactions, Lieb and Robinson derived a constant-velocity bound that limits correlations to within a linear effective light cone. However, little is known about the propagation speed in systems with long-range interactions, since the best long-range bound is too loose to give the correct light-cone shape for any known spin model and since analytic solutions rarely exist. In this work, we experimentally determine the spatial and time-dependent correlations of a far-from-equilibrium quantum many-body system evolving under a long-range Ising- or XY-model Hamiltonian. For several different interaction ranges, we extract the shape of the light cone and measure the velocity with which correlations propagate through the system. In many cases we find increasing propagation velocities, which violate the Lieb-Robinson prediction, and in one instance cannot be explained by any existing theory. Our results demonstrate that even modestly-sized quantum simulators are well-poised for studying complicated many-body systems that are intractable to classical computation.

quant-ph↗
arXiv2013

Elementary excitations in gapped quantum spin systems

For quantum lattice systems with local interactions, the Lieb-Robinson bound acts as an alternative for the strict causality of relativistic systems and allows to prove many interesting results, in particular when the energy spectrum exhibits an energy gap. In this Letter, we show that for translation invariant systems, simultaneous eigenstates of energy and momentum with an eigenvalue that is separated from the rest of the spectrum in that momentum sector, can be arbitrarily well approximated by building a momentum superposition of a local operator acting on the ground state. The error decreases in the size of the support of the local operator, with a rate that is set by the gap below and above the targeted eigenvalue. We show this explicitly for the AKLT model and discuss generalizations and applications of our result.

quant-ph↗
arXiv2012

Stability of Frustration-Free Hamiltonians

We prove stability of the spectral gap for gapped, frustration-free Hamiltonians under general, quasi-local perturbations. We present a necessary and sufficient condition for stability, which we call "Local Topological Quantum Order" and show that this condition implies an area law for the entanglement entropy of the groundstate subspace. This result extends previous work by Bravyi et al., on the stability of topological quantum order for Hamiltonians composed of commuting projections with a common zero-energy subspace. We conclude with a list of open problems relevant to spectral gaps and topological quantum order.

quant-ph↗
arXiv2012

Stability of the Area Law for the Entropy of Entanglement

Recent results on the stability of the spectral gap under general perturbations for frustration-free Hamiltonians, have motivated the following question: Does the entanglement entropy of quantum states that are connected to states satisfying an area law along gapped Hamiltonian paths, also satisfy an area law? We answer this question in the affirmative, combining recent advances in quasi-adiabatic evolution and Lieb-Robinson bounds with ideas from the proof of the 1D area law.

quant-ph↗
arXiv2011

Automorphic Equivalence within Gapped Phases of Quantum Lattice Systems

Gapped ground states of quantum spin systems have been referred to in the physics literature as being `in the same phase' if there exists a family of Hamiltonians H(s), with finite range interactions depending continuously on $s \in [0,1]$, such that for each $s$, H(s) has a non-vanishing gap above its ground state and with the two initial states being the ground states of H(0) and H(1), respectively. In this work, we give precise conditions under which any two gapped ground states of a given quantum spin system that 'belong to the same phase' are automorphically equivalent and show that this equivalence can be implemented as a flow generated by an $s$-dependent interaction which decays faster than any power law (in fact, almost exponentially). The flow is constructed using Hastings' 'quasi-adiabatic evolution' technique, of which we give a proof extended to infinite-dimensional Hilbert spaces. In addition, we derive a general result about the locality properties of the effect of perturbations of the dynamics for quantum systems with a quasi-local structure and prove that the flow, which we call the {\em spectral flow}, connecting the gapped ground states in the same phase, satisfies a Lieb-Robinson bound. As a result, we obtain that, in the thermodynamic limit, the spectral flow converges to a co-cycle of automorphisms of the algebra of quasi-local observables of the infinite spin system. This proves that the ground state phase structure is preserved along the curve of models $H(s), 0\leq s\leq 1$.

math-ph↗
arXiv2010

Topological quantum order: stability under local perturbations

We study zero-temperature stability of topological phases of matter under weak time-independent perturbations. Our results apply to quantum spin Hamiltonians that can be written as a sum of geometrically local commuting projectors on a D-dimensional lattice with certain topological order conditions. Given such a Hamiltonian H_0 we prove that there exists a constant threshold ε>0 such that for any perturbation V representable as a sum of short-range bounded-norm interactions the perturbed Hamiltonian H=H_0+εV has well-defined spectral bands originating from O(1) smallest eigenvalues of H_0. These bands are separated from the rest of the spectrum and from each other by a constant gap. The band originating from the smallest eigenvalue of H_0 has exponentially small width (as a function of the lattice size). Our proof exploits a discrete version of Hamiltonian flow equations, the theory of relatively bounded operators, and the Lieb-Robinson bound.

quant-ph↗
arXiv2009

Quantization of Hall Conductance For Interacting Electrons Without Averaging Assumptions

We consider two-dimensional Hamiltonians on a torus with finite range, finite strength interactions and a unique ground state with a non-vanishing spectral gap, and a conserved local charge, as defined precisely in the text. Using the local charge operators, we introduce a boundary magnetic flux in the horizontal and vertical direction and evolve the ground state quasi-adiabatically around a square of size one magnetic flux, in flux space. At the end of the evolution we obtain a trivial Berry phase, which we compare, via a method reminiscent of Stokes' Theorem, to the Berry phase obtained from an evolution around a small loop near the origin. As a result, we prove, without any averaging assumption, that the Hall conductance for interacting electron systems is quantized in integer multiples of e^2/h up to small corrections bounded by a function that decays as a stretched exponential in the linear size L. Finally, we discuss extensions to the fractional case under an additional topological order assumption to describe the multiple degenerate ground states.

math-ph↗
arXiv2009

Approximating the ground state of gapped quantum spin systems

We consider quantum spin systems defined on finite sets $V$ equipped with a metric. In typical examples, $V$ is a large, but finite subset of Z^d. For finite range Hamiltonians with uniformly bounded interaction terms and a unique, gapped ground state, we demonstrate a locality property of the corresponding ground state projector. In such systems, this ground state projector can be approximated by the product of observables with quantifiable supports. In fact, given any subset, X, of V the ground state projector can be approximated by the product of two projections, one supported on X and one supported on X^c, and a bounded observable supported on a boundary region in such a way that as the boundary region increases, the approximation becomes better. Such an approximation was useful in proving an area law in one dimension, and this result corresponds to a multi-dimensional analogue.

quant-ph↗
arXiv2008

Entanglement and ground states of gapped Hamiltonians

We begin by deriving bounds for the entanglement of a spin with an (adjacent and non-adjacent) interval of spins in an arbitrary pure Finitely Correlated States (FCS). The bounds we derive become exact in the case where one considers the entanglement of a single spin with a half-infinite chain to the right of it. Our result permits a more efficient calculation, numerically and in some cases even analytically, of the entanglement in arbitrary finitely correlated quantum spin chains. We continue the study of entanglement in the setting of ground states of Hamiltonians with a spectral gap. In particular, for $V$ a finite subset of $Z^d$, we let $H_V$ denote a Hamiltonian on $V$ with finite range, finite strength interactions and a unique ground state with a non-vanishing spectral gap. For a density matrix $ρ_A$ that describes the finite-volume restriction to a region $A$ of the unique ground state, we provide a detailed version of a proof by M. Hastings, that the entropy of $ρ_A$ is bounded by a uniform constant $C$. Moreover, we provide a detailed generalization of the 1-dimensional construction of Hastings' approximation to the ground state in dimensions 2 and higher. Finally, we turn our attention to the study of a conjecture central to Quantum Information Theory, the multiplicativity of the maximal output Schatten $p$-norm of quantum channels, for $p > 1$. In particular, we study the output 2-norm for a special class of quantum channels, the depolarized Werner-Holevo channels, and show that multiplicativity holds for a product of two identical channels in this class.

quant-ph↗