BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Dominic W. Berry

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

ResearcherUnclaimed source record
quant-phphysics.chem-phmath-phmath.MPcond-mat.mes-hallcond-mat.str-elData Structures and Algorithmsmath.NANumerical Analysis

Catalog footprint

What is connected

28works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

28 published item(s)

preprint2022arXiv

Nearly optimal quantum algorithm for generating the ground state of a free quantum field theory

We devise a quasilinear quantum algorithm for generating an approximation for the ground state of a quantum field theory (QFT). Our quantum algorithm delivers a super-quadratic speedup over the state-of-the-art quantum algorithm for ground-state generation, overcomes the ground-state-generation bottleneck of the prior approach and is optimal up to a polylogarithmic factor. Specifically, we establish two quantum algorithms -- Fourier-based and wavelet-based -- to generate the ground state of a free massive scalar bosonic QFT with gate complexity quasilinear in the number of discretized-QFT modes. The Fourier-based algorithm is limited to translationally invariant QFTs. Numerical simulations show that the wavelet-based algorithm successfully yields the ground state for a QFT with broken translational invariance. Furthermore, the cost of preparing particle excitations in the wavelet approach is independent of the energy scale. Our algorithms require a routine for generating one-dimensional Gaussian (1DG) states. We replace the standard method for 1DG-state generation, which requires the quantum computer to perform lots of costly arithmetic, with a novel method based on inequality testing that significantly reduces the need for arithmetic. Our method for 1DG-state generation is generic and could be extended to preparing states whose amplitudes can be computed on the fly by a quantum computer.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

$π$-Corrected Heisenberg Limit

We consider the precision $Δφ$ with which the parameter $φ$, appearing in the unitary map $U_φ= e^{ i φΛ}$ acting on some type of probe system, can be estimated when there is a finite amount of prior information about $φ$. We show that, if $U_φ$ acts $n$ times in total, then, asymptotically in $n$, there is a tight lower bound $Δφ\geq \fracπ{n (λ_+ - λ_-)}$, where $λ_+$, $λ_-$ are the extreme eigenvalues of the generator $Λ$. This is greater by a factor of $π$ than the conventional Heisenberg limit, derived from the properties of the quantum Fisher information. That is, the conventional bound is never saturable. Our result makes no assumptions on the measurement protocol, and is relevant not only in the noiseless case but also if noise can be eliminated using quantum error correction techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Improved Fault-Tolerant Quantum Simulation of Condensed-Phase Correlated Electrons via Trotterization

Recent work has deployed linear combinations of unitaries techniques to reduce the cost of fault-tolerant quantum simulations of correlated electron models. Here, we show that one can sometimes improve upon those results with optimized implementations of Trotter-Suzuki-based product formulas. We show that low-order Trotter methods perform surprisingly well when used with phase estimation to compute relative precision quantities (e.g. energies per unit cell), as is often the goal for condensed-phase systems. In this context, simulations of the Hubbard and plane-wave electronic structure models with $N < 10^5$ fermionic modes can be performed with roughly $O(1)$ and $O(N^2)$ T complexities. We perform numerics revealing tradeoffs between the error and gate complexity of a Trotter step; e.g., we show that split-operator techniques have less Trotter error than popular alternatives. By compiling to surface code fault-tolerant gates and assuming error rates of one part per thousand, we show that one can error-correct quantum simulations of interesting, classically intractable instances with a few hundred thousand physical qubits.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Time-dependent Hamiltonian simulation with $L^1$-norm scaling

The difficulty of simulating quantum dynamics depends on the norm of the Hamiltonian. When the Hamiltonian varies with time, the simulation complexity should only depend on this quantity instantaneously. We develop quantum simulation algorithms that exploit this intuition. For sparse Hamiltonian simulation, the gate complexity scales with the $L^1$ norm $\int_{0}^{t}\mathrm{d}τ\left\lVert H(τ)\right\lVert_{\max}$, whereas the best previous results scale with $t\max_{τ\in[0,t]}\left\lVert H(τ)\right\lVert_{\max}$. We also show analogous results for Hamiltonians that are linear combinations of unitaries. Our approaches thus provide an improvement over previous simulation algorithms that can be substantial when the Hamiltonian varies significantly. We introduce two new techniques: a classical sampler of time-dependent Hamiltonians and a rescaling principle for the Schrödinger equation. The rescaled Dyson-series algorithm is nearly optimal with respect to all parameters of interest, whereas the sampling-based approach is easier to realize for near-term simulation. These algorithms could potentially be applied to semi-classical simulations of scattering processes in quantum chemistry.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Quantum Optics Argument for the #P-hardness of a Class of Multidimensional Integrals

Matrix permanents arise naturally in the context of linear optical networks fed with nonclassical states of light. In this letter we tie the computational complexity of a class of multi-dimensional integrals to the permanents of large matrices using a simple quantum optics argument. In this way we prove that evaluating integrals in this class is \textbf{\#P}-hard. Our work provides a new approach for using methods from quantum physics to prove statements in computer science.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Exponentially more precise quantum simulation of fermions I: Quantum chemistry in second quantization

We introduce novel algorithms for the quantum simulation of molecular systems which are asymptotically more efficient than those based on the Trotter-Suzuki decomposition. We present the first application of a recently developed technique for simulating Hamiltonian evolution using a truncated Taylor series to obtain logarithmic scaling with the inverse of the desired precision, an exponential improvement over all prior methods. The two algorithms developed in this work rely on a second quantized encoding of the wavefunction in which the state of an $N$ spin-orbital system is encoded in ${\cal O}(N)$ qubits. Our first algorithm requires at most $\widetilde{\cal O}(N^8 t)$ gates. Our second algorithm involves on-the-fly computation of molecular integrals, in a way that is exponentially more precise than classical sampling methods, by using the truncated Taylor series simulation technique. Our second algorithm has the lowest gate count of any approach to second quantized quantum chemistry simulation in the literature, scaling as $\widetilde{\cal O}(N^{5} t)$. The approaches presented here are readily applicable to a wide class of fermionic models, many of which are defined by simplified versions of the chemistry Hamiltonian.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hamiltonian simulation with nearly optimal dependence on all parameters

We present an algorithm for sparse Hamiltonian simulation whose complexity is optimal (up to log factors) as a function of all parameters of interest. Previous algorithms had optimal or near-optimal scaling in some parameters at the cost of poor scaling in others. Hamiltonian simulation via a quantum walk has optimal dependence on the sparsity at the expense of poor scaling in the allowed error. In contrast, an approach based on fractional-query simulation provides optimal scaling in the error at the expense of poor scaling in the sparsity. Here we combine the two approaches, achieving the best features of both. By implementing a linear combination of quantum walk steps with coefficients given by Bessel functions, our algorithm's complexity (as measured by the number of queries and 2-qubit gates) is logarithmic in the inverse error, and nearly linear in the product $τ$ of the evolution time, the sparsity, and the magnitude of the largest entry of the Hamiltonian. Our dependence on the error is optimal, and we prove a new lower bound showing that no algorithm can have sublinear dependence on $τ$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Optimized quantum sensing with a single electron spin using real-time adaptive measurements

Quantum sensors based on single solid-state spins promise a unique combination of sensitivity and spatial resolution. The key challenge in sensing is to achieve minimum estimation uncertainty within a given time and with a high dynamic range. Adaptive strategies have been proposed to achieve optimal performance but their implementation in solid-state systems has been hindered by the demanding experimental requirements. Here we realize adaptive d.c. sensing by combining single-shot readout of an electron spin in diamond with fast feedback. By adapting the spin readout basis in real time based on previous outcomes we demonstrate a sensitivity in Ramsey interferometry surpassing the standard measurement limit. Furthermore, we find by simulations and experiments that adaptive protocols offer a distinctive advantage over the best-known non-adaptive protocols when overhead and limited estimation time are taken into account. Using an optimized adaptive protocol we achieve a magnetic field sensitivity of $6.1 \pm 1.7$ nT *Hz$^{-1/2}$ over a wide range of 1.78 mT. These results open up a new class of experiments for solid-state sensors in which real-time knowledge of the measurement history is exploited to obtain optimal performance.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Efficiencies of Quantum Optical Detectors

We propose a definition for the efficiency that can be universally applied to all classes of quantum optical detectors. This definition is based on the maximum amount of optical loss that a physically plausible device can experience while still replicating the properties of a given detector. We prove that detector efficiency cannot be increased using linear optical processing. That is, given a set of detectors, as well as arbitrary linear optical elements and ancillary light sources, it is impossible to construct detection devices that would exhibit higher efficiencies than the initial set.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Exponential improvement in precision for simulating sparse Hamiltonians

We provide a quantum algorithm for simulating the dynamics of sparse Hamiltonians with complexity sublogarithmic in the inverse error, an exponential improvement over previous methods. Specifically, we show that a $d$-sparse Hamiltonian $H$ acting on $n$ qubits can be simulated for time $t$ with precision $ε$ using $O\big(τ\frac{\log(τ/ε)}{\log\log(τ/ε)}\big)$ queries and $O\big(τ\frac{\log^2(τ/ε)}{\log\log(τ/ε)}n\big)$ additional 2-qubit gates, where $τ= d^2 \|{H}\|_{\max} t$. Unlike previous approaches based on product formulas, the query complexity is independent of the number of qubits acted on, and for time-varying Hamiltonians, the gate complexity is logarithmic in the norm of the derivative of the Hamiltonian. Our algorithm is based on a significantly improved simulation of the continuous- and fractional-query models using discrete quantum queries, showing that the former models are not much more powerful than the discrete model even for very small error. We also simplify the analysis of this conversion, avoiding the need for a complex fault correction procedure. Our simplification relies on a new form of "oblivious amplitude amplification" that can be applied even though the reflection about the input state is unavailable. Finally, we prove new lower bounds showing that our algorithms are optimal as a function of the error.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

High-order quantum algorithm for solving linear differential equations

Linear differential equations are ubiquitous in science and engineering. Quantum computers can simulate quantum systems, which are described by a restricted type of linear differential equations. Here we extend quantum simulation algorithms to general inhomogeneous sparse linear differential equations, which describe many classical physical systems. We examine the use of high-order methods to improve the efficiency. These provide scaling close to $Δt^2$ in the evolution time $Δt$. As with other algorithms of this type, the solution is encoded in amplitudes of the quantum state, and it is possible to extract global features of the solution.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Information Causality in the Quantum and Post-Quantum Regime

Quantum correlations can be stronger than anything achieved by classical systems, yet they are not reaching the limit imposed by relativity. The principle of information causality offers a possible explanation for why the world is quantum and why there appear to be no even stronger correlations. Generalizing the no-signaling condition it suggests that the amount of accessible information must not be larger than the amount of transmitted information. Here we study this principle experimentally in the classical, quantum and post-quantum regimes. We simulate correlations that are stronger than allowed by quantum mechanics by exploiting the effect of polarization-dependent loss in a photonic Bell-test experiment. Our method also applies to other fundamental principles and our results highlight the special importance of anisotropic regions of the no-signalling polytope in the study of fundamental principles.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Loss-resistant unambiguous phase measurement

Entangled multi-photon states have the potential to provide improved measurement accuracy, but are sensitive to photon loss. It is possible to calculate ideal loss-resistant states that maximize the Fisher information, but it is unclear how these could be experimentally generated. Here we propose a set of states that can be obtained by processing the output from parametric down-conversion. Although these states are not optimal, they provide performance very close to that of optimal states for a range of parameters. Moreover, we show how to use sequences of such states in order to obtain an unambiguous phase measurement that beats the standard quantum limit. We consider the optimization of parameters in order to minimize the final phase variance, and find that the optimum parameters are different from those that maximize the Fisher information.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Simulating Hamiltonian dynamics with a truncated Taylor series

We describe a simple, efficient method for simulating Hamiltonian dynamics on a quantum computer by approximating the truncated Taylor series of the evolution operator. Our method can simulate the time evolution of a wide variety of physical systems. As in another recent algorithm, the cost of our method depends only logarithmically on the inverse of the desired precision, which is optimal. However, we simplify the algorithm and its analysis by using a method for implementing linear combinations of unitary operations to directly apply the truncated Taylor series.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The quantum Bell-Ziv-Zakai bounds and Heisenberg limits for waveform estimation

We propose quantum versions of the Bell-Ziv-Zakai lower bounds on the error in multiparameter estimation. As an application we consider measurement of a time-varying optical phase signal with stationary Gaussian prior statistics and a power law spectrum $\sim 1/|ω|^p$, with $p>1$. With no other assumptions, we show that the mean-square error has a lower bound scaling as $1/{\cal N}^{2(p-1)/(p+1)}$, where ${\cal N}$ is the time-averaged mean photon flux. Moreover, we show that this accuracy is achievable by sampling and interpolation, for any $p>1$. This bound is thus a rigorous generalization of the Heisenberg limit, for measurement of a single unknown optical phase, to a stochastically varying optical phase.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Exponential improvement in precision for Hamiltonian-evolution simulation

We provide a quantum method for simulating Hamiltonian evolution with complexity polynomial in the logarithm of the inverse error. This is an exponential improvement over existing methods for Hamiltonian simulation. In addition, its scaling with respect to time is close to linear, and its scaling with respect to the time derivative of the Hamiltonian is logarithmic. These scalings improve upon most existing methods. Our method is to use a compressed Lie-Trotter formula, based on recent ideas for efficient discrete-time simulations of continuous-time quantum query algorithms.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Gate-efficient discrete simulations of continuous-time quantum query algorithms

We show how to efficiently simulate continuous-time quantum query algorithms that run in time T in a manner that preserves the query complexity (within a polylogarithmic factor) while also incurring a small overhead cost in the total number of gates between queries. By small overhead, we mean T within a factor that is polylogarithmic in terms of T and a cost measure that reflects the cost of computing the driving Hamiltonian. This permits any continuous-time quantum algorithm based on an efficiently computable driving Hamiltonian to be converted into a gate-efficient algorithm with similar running time.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Solovay-Kitaev Decomposition Strategy for Single-Qubit Channels

Inspired by the Solovay-Kitaev decomposition for approximating unitary operations as a sequence of operations selected from a universal quantum computing gate set, we introduce a method for approximating any single-qubit channel using single-qubit gates and the controlled-NOT (CNOT). Our approach uses the decomposition of the single-qubit channel into a convex combination of "quasiextreme" channels. Previous techniques for simulating general single-qubit channels would require as many as 20 CNOT gates, whereas ours only needs one, bringing it within the range of current experiments.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Stochastic Heisenberg limit: Optimal estimation of a fluctuating phase

The ultimate limits to estimating a fluctuating phase imposed on an optical beam can be found using the recently derived continuous quantum Cramer-Rao bound. For Gaussian stationary statistics, and a phase spectrum scaling asymptotically as 1/omega^p with p>1, the minimum mean-square error in any (single-time) phase estimate scales as N^{-2(p-1)/(p+1)}, where N is the photon flux. This gives the usual Heisenberg limit for a constant phase (as the limit p--> infinity) and provides a stochastic Heisenberg limit for fluctuating phases. For p=2 (Brownian motion), this limit can be attained by phase tracking.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Swarm optimization for adaptive phase measurements with low visibility

Adaptive feedback normally provides the greatest accuracy for optical phase measurements. New advances in nitrogen vacancy centre technology have enabled magnetometry via individual spin measurements, which are similar to optical phase measurements but with low visibility. The adaptive measurements that previously worked well with high-visibility optical interferometry break down and give poor results for nitrogen vacancy centre measurements. We use advanced search techniques based on swarm optimisation to design better adaptive measurements that can provide improved measurement accuracy with low-visibility interferometry, with applications in nitrogen vacancy centre magnetometry.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Optimal Heisenberg-style bounds for the average performance of arbitrary phase estimates

The ultimate bound to the accuracy of phase estimates is often assumed to be given by the Heisenberg limit. Recent work seemed to indicate that this bound can be violated, yielding measurements with much higher accuracy than was previously expected. The Heisenberg limit can be restored as a rigorous bound to the accuracy provided one considers the accuracy averaged over the possible values of the unknown phase, as we have recently shown [Phys. Rev. A 85, 041802(R) (2012)]. Here we present an expanded proof of this result together with a number of additional results, including the proof of a previously conjectured stronger bound in the asymptotic limit. Other measures of the accuracy are examined, as well as other restrictions on the generator of the phase shifts. We provide expanded numerical results for the minimum error and asymptotic expansions. The significance of the results claiming violation of the Heisenberg limit is assessed, followed by a detailed discussion of the limitations of the Cramer-Rao bound.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quantum-enhanced optical phase tracking

Tracking a randomly varying optical phase is a key task in metrology, with applications in optical communication. The best precision for optical phase tracking has till now been limited by the quantum vacuum fluctuations of coherent light. Here we surpass this coherent-state limit by using a continuous-wave beam in a phase-squeezed quantum state. Unlike in previous squeezing-enhanced metrology, restricted to phases with very small variation, the best tracking precision (for a fixed light intensity) is achieved for a finite degree of squeezing, due to Heisenberg's uncertainty principle. By optimizing the squeezing we track the phase with a mean square error 15 \pm 4 % below the coherent-state limit.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Universality of the Heisenberg limit for estimates of random phase shifts

The Heisenberg limit traditionally provides a lower bound on the phase uncertainty scaling as 1/<N>, where <N> is the mean number of photons in the probe. However, this limit has a number of loopholes which potentially might be exploited, to achieve measurements with even greater accuracy. Here we close these loopholes by proving a completely rigorous form of the Heisenberg limit for the average error over all phase shifts. Our result gives the first completely general, constraint-free and non-asymptotic statement of the Heisenberg limit. It holds for all phase estimation schemes, including multiple passes, nonlinear phase shifts, multimode probes, and arbitrary measurements.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Preservation of loss in linear-optical processing

We propose a measure of quantum efficiency of a multimode state of light that quantifies the amount of optical loss this state has experienced, and prove that this efficiency cannot increase in any linear-optical processing with destructive conditional measurements. Any loss that has affected a state can neither be removed nor redistributed so as to further increase the efficiency in higher-efficiency modes at the expense of lower-efficiency modes. This result eliminates the possibility of catalytically improving photon sources.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Simulating Quantum Dynamics On A Quantum Computer

We present efficient quantum algorithms for simulating time-dependent Hamiltonian evolution of general input states using an oracular model of a quantum computer. Our algorithms use either constant or adaptively chosen time steps and are significant because they are the first to have time-complexities that are comparable to the best known methods for simulating time-independent Hamiltonian evolution, given appropriate smoothness criteria on the Hamiltonian are satisfied. We provide a thorough cost analysis of these algorithms that considers discretizion errors in both the time and the representation of the Hamiltonian. In addition, we provide the first upper bounds for the error in Lie-Trotter-Suzuki approximations to unitary evolution operators, that use adaptively chosen time steps.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The standard fair sampling assumption is not necessary to test local realism

Almost all Bell-inequality experiments to date have used postselection, and therefore relied on the fair sampling assumption for their interpretation. The standard form of the fair sampling assumption is that the loss is independent of the measurement settings, so the ensemble of detected systems provides a fair statistical sample of the total ensemble. This is often assumed to be needed to interpret Bell inequality experiments as ruling out hidden-variable theories. Here we show that it is not necessary; the loss can depend on measurement settings, provided the detection efficiency factorises as a function of the measurement settings and any hidden variable. This condition implies that Tsirelson's bound must be satisfied for entangled states. On the other hand, we show that it is possible for Tsirelson's bound to be violated while the CHSH-Bell inequality still holds for unentangled states, and present an experimentally feasible example.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Higher Order Decompositions of Ordered Operator Exponentials

We present a decomposition scheme based on Lie-Trotter-Suzuki product formulae to represent an ordered operator exponential as a product of ordinary operator exponentials. We provide a rigorous proof that does not use a time-displacement superoperator, and can be applied to non-analytic functions. Our proof provides explicit bounds on the error and includes cases where the functions are not infinitely differentiable. We show that Lie-Trotter-Suzuki product formulae can still be used for functions that are not infinitely differentiable, but that arbitrary order scaling may not be achieved.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Efficiency limits for linear optical processing of single photons and single-rail qubits

We analyze the problem of increasing the efficiency of single-photon sources or single-rail photonic qubits via linear optical processing and destructive conditional measurements. In contrast to previous work we allow for the use of coherent states and do not limit to photon-counting measurements. We conjecture that it is not possible to increase the efficiency, prove this conjecture for several important special cases, and provide extensive numerical results for the general case.

0 citations0 reviewsNo code linkedOpen access