Source author record

Kristan Temme

Kristan Temme 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

18works
11topics
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

18 published item(s)

preprint2022arXiv

Model-free readout-error mitigation for quantum expectation values

Measurements on current quantum processors are subject to hardware imperfections that lead to readout errors. These errors manifest themselves as a bias in quantum expectation values. Here, we propose a very simple method that forces the bias in the expectation value to appear as a multiplicative factor that can be measured directly and removed at the cost of an increase in the sampling complexity for the observable. The method assumes no specific form of the noise, but only requires that the noise is `weak' to avoid excessive sampling overhead. We provide bounds relating the error in the expectation value to the sample complexity.

preprint2022arXiv

Simpler (classical) and faster (quantum) algorithms for Gibbs partition functions

We present classical and quantum algorithms for approximating partition functions of classical Hamiltonians at a given temperature. Our work has two main contributions: first, we modify the classical algorithm of Štefankovič, Vempala and Vigoda (\emph{J.~ACM}, 56(3), 2009) to improve its sample complexity; second, we quantize this new algorithm, improving upon the previously fastest quantum algorithm for this problem, due to Harrow and Wei (SODA 2020). The conventional approach to estimating partition functions requires approximating the means of Gibbs distributions at a set of inverse temperatures that form the so-called cooling schedule. The length of the cooling schedule directly affects the complexity of the algorithm. Combining our improved version of the algorithm of Štefankovič, Vempala and Vigoda with the paired-product estimator of Huber (\emph{Ann.\ Appl.\ Probab.}, 25(2),~2015), our new quantum algorithm uses a shorter cooling schedule than previously known. This length matches the optimal length conjectured by Štefankovič, Vempala and Vigoda. The quantum algorithm also achieves a quadratic advantage in the number of required quantum samples compared to the number of random samples drawn by the best classical algorithm, and its computational complexity has quadratically better dependence on the spectral gap of the Markov chains used to produce the quantum samples.

preprint2020arXiv

Circuit optimization of Hamiltonian simulation by simultaneous diagonalization of Pauli clusters

Many applications of practical interest rely on time evolution of Hamiltonians that are given by a sum of Pauli operators. Quantum circuits for exact time evolution of single Pauli operators are well known, and can be extended trivially to sums of commuting Paulis by concatenating the circuits of individual terms. In this paper we reduce the circuit complexity of Hamiltonian simulation by partitioning the Pauli operators into mutually commuting clusters and exponentiating the elements within each cluster after applying simultaneous diagonalization. We provide a practical algorithm for partitioning sets of Paulis into commuting subsets, and show that the proposed approach can help to significantly reduce both the number of CNOT operations and circuit depth for Hamiltonians arising in quantum chemistry. The algorithms for simultaneous diagonalization are also applicable in the context of stabilizer states; in particular we provide novel four- and five-stage representations, each containing only a single stage of conditional gates.

preprint2019arXiv

Quantum Simulators: Architectures and Opportunities

Quantum simulators are a promising technology on the spectrum of quantum devices from specialized quantum experiments to universal quantum computers. These quantum devices utilize entanglement and many-particle behaviors to explore and solve hard scientific, engineering, and computational problems. Rapid development over the last two decades has produced more than 300 quantum simulators in operation worldwide using a wide variety of experimental platforms. Recent advances in several physical architectures promise a golden age of quantum simulators ranging from highly optimized special purpose simulators to flexible programmable devices. These developments have enabled a convergence of ideas drawn from fundamental physics, computer science, and device engineering. They have strong potential to address problems of societal importance, ranging from understanding vital chemical processes, to enabling the design of new materials with enhanced performance, to solving complex computational problems. It is the position of the community, as represented by participants of the NSF workshop on "Programmable Quantum Simulators," that investment in a national quantum simulator program is a high priority in order to accelerate the progress in this field and to result in the first practical applications of quantum machines. Such a program should address two areas of emphasis: (1) support for creating quantum simulator prototypes usable by the broader scientific community, complementary to the present universal quantum computer effort in industry; and (2) support for fundamental research carried out by a blend of multi-investigator, multi-disciplinary collaborations with resources for quantum simulator software, hardware, and education.

preprint2016arXiv

A Quantum Version of Schöning's Algorithm Applied to Quantum 2-SAT

We study a quantum algorithm that consists of a simple quantum Markov process, and we analyze its behavior on restricted versions of Quantum 2-SAT. We prove that the algorithm solves this decision problem with high probability for n qubits, L clauses, and promise gap c in time O(n^2 L^2 c^{-2}). If the Hamiltonian is additionally polynomially gapped, our algorithm efficiently produces a state that has high overlap with the satisfying subspace. The Markov process we study is a quantum analogue of Schöning's probabilistic algorithm for k-SAT.

preprint2016arXiv

Self correction requires Energy Barrier for Abelian quantum doubles

We rigorously establish an Arrhenius law for the mixing time of quantum doubles based on any Abelian group $\mathbb{Z}_d$. We have made the concept of the energy barrier therein mathematically well-defined, it is related to the minimum energy cost the environment has to provide to the system in order to produce a generalized Pauli error, maximized for any generalized Pauli errors, not only logical operators. We evaluate this generalized energy barrier in Abelian quantum double models and find it to be a constant independent of system size. Thus, we rule out the possibility of entropic protection for this broad group of models.

preprint2016arXiv

Thermalization time bounds for Pauli stabilizer Hamiltonians

We prove a general lower bound to the spectral gap of the Davies generator for Hamiltonians that can be written as the sum of commuting Pauli operators. These Hamiltonians, defined on the Hilbert space of $N$-qubits, serve as one of the most frequently considered candidates for a self-correcting quantum memory. A spectral gap bound on the Davies generator establishes an upper limit on the life time of such a quantum memory and can be used to estimate the time until the system relaxes to thermal equilibrium when brought into contact with a thermal heat bath. The bound can be shown to behave as $λ\geq {\cal O}(N^{-1}\exp(-2β\, \overlineε))$, where $\overlineε$ is a generalization of the well known energy barrier for logical operators. Particularly in the low temperature regime we expect this bound to provide the correct asymptotic scaling of the gap with the system size up to a factor of $N^{-1}$. Furthermore, we discuss conditions and provide scenarios where this factor can be removed and a constant lower bound can be proven

preprint2015arXiv

How fast do stabilizer Hamiltonians thermalize?

We present rigorous bounds on the thermalization time of the family of quantum mechanical spin systems known as stabilizer Hamiltonians. The thermalizing dynamics are modeled by a Davies master equation that arises from a weak local coupling of the system to a large thermal bath. Two temperature regimes are considered. First we clarify how in the low temperature regime, the thermalization time is governed by a generalization of the energy barrier between orthogonal ground states. When no energy barrier is present the Hamiltonian thermalizes in a time that is at most quadratic in the system size. Secondly, we show that above a universal critical temperature, every stabilizer Hamiltonian relaxes to its unique thermal state in a time which scales at most linearly in the size of the system. We provide an explicit lower bound on the critical temperature. Finally, we discuss the implications of these result for the problem of self-correcting quantum memories with stabilizer Hamiltonians.

preprint2015arXiv

Quantum reverse hypercontractivity

We develop reverse versions of hypercontractive inequalities for quantum channels. By generalizing classical techniques, we prove a reverse hypercontractive inequality for tensor products of qubit depolarizing channels. We apply this to obtain a rapid mixing result for depolarizing noise applied to large subspaces, and to prove bounds on a quantum generalization of non-interactive correlation distillation.

preprint2014arXiv

A note on the runtime of a faulty Hamiltonian oracle

In these notes we show that it is impossible to obtain a quantum speedup for a faulty Hamiltonian oracle. The effect of dephasing noise to this continuous time oracle model has first been investigated in [1]. The authors consider a faulty oracle described by a continuous time master equation that acts as dephasing noise in the basis determined by the marked item. The analysis focuses on the implementation with a particular driving Hamiltonian. A universal lower bound for this oracle model, which rules out a better performance with a different driving Hamiltonian has so far been lacking. In this note, we derive an adversary type lower bound which shows that the evolution time T has to be at least in the order of N, i.e. the size of the search space, when the error rate of the oracle is constant. For the standard quantum oracle model this result was first proven in [2]. This note can be seen as an extension of their result to the continuous time setting.

preprint2014arXiv

Hypercontractivity of quasi-free quantum semigroups

Hypercontractivity of a quantum dynamical semigroup has strong implications for its convergence behavior and entropy decay rate. A logarithmic Sobolev inequality and the corresponding logarithmic Sobolev constant can be inferred from the semigroup's hypercontractive norm bound. We consider completely-positive quantum mechanical semigroups described by a Lindblad master equation. To prove the norm bound, we follow an approach which has its roots in the study of classical rate equations. We use interpolation theorems for non-commutative $L_p$ spaces to obtain a general hypercontractive inequality from a particular $p \rightarrow q$-norm bound. Then, we derive a bound on the $2 \rightarrow 4$-norm from an analysis of the block diagonal structure of the semigroup's spectrum. We show that the dynamics of an $N$-qubit graph state Hamiltonian weakly coupled to a thermal environment is hypercontractive. As a consequence this allows for the efficient preparation of graph states in time ${\rm poly}(\log(N))$ by coupling at sufficiently low temperature. Furthermore, we extend our results to gapped Liouvillians arising from a weak linear coupling of a free-fermion systems.

preprint2014arXiv

Lower bounds to the spectral gap of Davies generators

We construct lower bounds to the spectral gap of a family of Lindblad generators known as Davies maps. These maps describe the thermalization of quantum systems weakly coupled to a heat bath. The steady state of these systems is given by the Gibbs distribution with respect to the system Hamiltonian. The bounds can be evaluated explicitly, when the eigenbasis and the spectrum of the Hamiltonian is known. A crucial assumption is that the spectrum of the Hamiltonian is non-degenerate. Furthermore, we provide a counterexample to the conjecture, that the convergence rate is always determined by the gap of the associated Pauli master equation. We conclude, that the full dynamics of the Lindblad generator has to be considered. Finally, we present several physical example systems for which the bound to the spectral gap is evaluated.

preprint2013arXiv

Quantum logarithmic Sobolev inequalities and rapid mixing

A family of logarithmic Sobolev inequalities on finite dimensional quantum state spaces is introduced. The framework of non-commutative $\bL_p$-spaces is reviewed and the relationship between quantum logarithmic Sobolev inequalities and the hypercontractivity of quantum semigroups is discussed. This relationship is central for the derivation of lower bounds for the logarithmic Sobolev (LS) constants. Essential results for the family of inequalities are proved, and we show an upper bound to the generalized LS constant in terms of the spectral gap of the generator of the semigroup. These inequalities provide a framework for the derivation of improved bounds on the convergence time of quantum dynamical semigroups, when the LS constant and the spectral gap are of the same order. Convergence bounds on finite dimensional state spaces are particularly relevant for the field of quantum information theory. We provide a number of examples, where improved bounds on the mixing time of several semigroups are obtained; including the depolarizing semigroup and quantum expanders.

preprint2012arXiv

Efficient Computation of the Permanent of Block Factorizable Matrices

We present an efficient algorithm for computing the permanent for matrices of size N that can written as a product of L block diagonal matrices with blocks of size at most 2. For fixed L, the time and space resources scale linearly in N, with a prefactor that scales exponentially in L. This class of matrices contains banded matrices with banded inverse. We show that such a factorization into a product of block diagonal matrices gives rise to a circuit acting on a Hilbert space with a tensor product structure and that the permanent is equal to the transition amplitude of this circuit and a product basis state. In this correspondence, a block diagonal matrix gives rise to one layer of the circuit, where each block to a gate acting either on a single tensor component or on two adjacent tensor components. This observation allows us to adopt matrix product states, a computational method from condensed matter physics and quantum information theory used to simulate quantum systems, to evaluate the transition amplitude.

preprint2012arXiv

Preparing topological PEPS on a quantum computer

Simulating of exotic phases of matter that are not amenable to classical techniques is one of the most important potential applications of quantum information processing. We present an efficient algorithm for preparing a large class of topological quantum states -- the G-injective Projected Entangled Pair States (PEPS) -- on a quantum computer. Important examples include the resonant valence bond (RVB) states, conjectured to be topological spin liquids. The runtime of the algorithm scales polynomially with the condition number of the PEPS projectors, and inverse-polynomially in the spectral gap of the PEPS parent Hamiltonian.

preprint2010arXiv

Stochastic exclusion processes versus coherent transport

Stochastic exclusion processes play an integral role in the physics of non-equilibrium statistical mechanics. These models are Markovian processes, described by a classical master equation. In this paper a quantum mechanical version of a stochastic hopping process in one dimension is formulated in terms of a quantum master equation. This allows the investigation of coherent and stochastic evolution in the same formal framework. The focus lies on the non-equilibrium steady state. Two stochastic model systems are considered, the totally asymmetric exclusion process and the fully symmetric exclusion process. The steady state transport properties of these models is compared to the case with additional coherent evolution, generated by the $XX$-Hamiltonian.

preprint2010arXiv

Stochastic Matrix Product States

The concept of stochastic matrix product states is introduced and a natural form for the states is derived. This allows to define the analogue of Schmidt coefficients for steady states of non-equilibrium stochastic processes. We discuss a new measure for correlations which is analogous to the entanglement entropy, the entropy cost $S_C$, and show that this measure quantifies the bond dimension needed to represent a steady state as a matrix product state. We illustrate these concepts on the hand of the asymmetric exclusion process.