Source author record

Mischa P. Woods

Mischa P. Woods 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

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

11 published item(s)

preprint2022arXiv

Quantum clocks are more precise than classical ones

A clock is, from an information-theoretic perspective, a system that emits information about time. One may therefore ask whether the theory of information imposes any constraints on the maximum precision of clocks. Here we show a quantum-over-classical advantage for clocks or, more precisely, the task of generating information about what time it is. The argument is based on information-theoretic considerations: we analyse how the precision of a clock scales with its size, measured in terms of the number of bits that could be stored in it. We find that a quantum clock can achieve a quadratically improved precision compared to a purely classical one of the same size.

preprint2022arXiv

Solvable Criterion for the Contextuality of any Prepare-and-Measure Scenario

Starting from arbitrary sets of quantum states and measurements, referred to as the prepare-and-measure scenario, an operationally noncontextual ontological model of the quantum statistics associated with the prepare-and-measure scenario is constructed. The operationally noncontextual ontological model coincides with standard Spekkens noncontextual ontological models for tomographically complete scenarios, while covering the non-tomographically complete case with a new notion of a reduced space, which we motivate following the guiding principles of noncontextuality. A mathematical criterion, called unit separability, is formulated as the relevant classicality criterion -- the name is inspired by the usual notion of quantum state separability. Using this criterion, we derive a new upper bound on the cardinality of the ontic space. Then, we recast the unit separability criterion as a (possibly infinite) set of linear constraints, from which we obtain two separate hierarchies of algorithmic tests to witness the non-classicality or certify the classicality of a scenario. Finally, we reformulate our results in the framework of generalized probabilistic theories and discuss the implications for simplex-embeddability in such theories.

preprint2021arXiv

Autonomous Ticking Clocks from Axiomatic Principles

There are many different types of time keeping devices. We use the phrase ticking clock to describe those which -- simply put -- "tick" at approximately regular intervals. Various important results have been derived for ticking clocks, and more are in the pipeline. It is thus important to understand the underlying models on which these results are founded. The aim of this paper is to introduce a new ticking clock model from axiomatic principles that overcomes concerns in the community about the physicality of the assumptions made in previous models. The ticking clock model in [arXiv:1806.00491] achieves high accuracy, yet lacks the autonomy of the less accurate model in [10.1103/PhysRevX.7.031022]. Importantly, the model we introduce here achieves the best of both models: it retains the autonomy of [10.1103/PhysRevX.7.031022] while allowing for the high accuracies of [arXiv:1806.00491]. What is more, [10.1103/PhysRevX.7.031022] is revealed to be a special case of the new ticking clock model.

preprint2021arXiv

Optimal Universal Quantum Error Correction via Bounded Reference Frames

Error correcting codes with a universal set of transversal gates are a desideratum for quantum computing. Such codes, however, are ruled out by the Eastin-Knill theorem. Moreover, the theorem also rules out codes which are covariant with respect to the action of transversal unitary operations forming continuous symmetries. In this work, starting from an arbitrary code, we construct approximate codes which are covariant with respect to the entire group of local unitary gates in dimension $d$, using quantum reference frames. We show that our codes are capable of efficiently correcting different types of erasure errors. When only a small fraction of the $n$ qudits upon which the code is built are erased, our covariant code has an error that scales as $1/n^2$, which is reminiscent of the Heisenberg limit of quantum metrology. When every qudit has a chance of being erased, our covariant code has an error that scales as $1/n$. We show that the error scaling is optimal in both cases. Our approach has implications for fault-tolerant quantum computing, reference frame error correction, and the AdS-CFT duality.

preprint2020arXiv

Continuous groups of transversal gates for quantum error correcting codes from finite clock reference frames

Following the introduction of the task of reference frame error correction, we show how, by using reference frame alignment with clocks, one can add a continuous Abelian group of transversal logical gates to any error-correcting code. With this we further explore a way of circumventing the no-go theorem of Eastin and Knill, which states that if local errors are correctable, the group of transversal gates must be of finite order. We are able to do this by introducing a small error on the decoding procedure that decreases with the dimension of the frames used. Furthermore, we show that there is a direct relationship between how small this error can be and how accurate quantum clocks can be: the more accurate the clock, the smaller the error; and the no-go theorem would be violated if time could be measured perfectly in quantum mechanics. The asymptotic scaling of the error is studied under a number of scenarios of reference frames and error models. The scheme is also extended to errors at unknown locations, and we show how to achieve this by simple majority voting related error correction schemes on the reference frames. In the Outlook, we discuss our results in relation to the AdS/CFT correspondence and the Page-Wooters mechanism.

preprint2020arXiv

Universal quantum modifications to general relativistic time dilation in delocalised clocks

The theory of relativity associates a proper time with each moving object via its world line. In quantum theory however, such well-defined trajectories are forbidden. After introducing a general characterisation of quantum clocks, we demonstrate that, in the weak-field, low-velocity limit, all "good" quantum clocks experience time dilation as dictated by general relativity when their state of motion is classical (i.e. Gaussian). For nonclassical states of motion, on the other hand, we find that quantum interference effects may give rise to a significant discrepancy between the proper time and the time measured by the clock. The universality of this discrepancy implies that it is not simply a systematic error, but rather a quantum modification to the proper time itself. We also show how the clock's delocalisation leads to a larger uncertainty in the time it measures -- a consequence of the unavoidable entanglement between the clock time and its center-of-mass degrees of freedom. We demonstrate how this lost precision can be recovered by performing a measurement of the clock's state of motion alongside its time reading.

preprint2016arXiv

Dynamical error bounds for continuum discretisation via Gauss quadrature rules, -- a Lieb-Robinson bound approach

Instances of discrete quantum systems coupled to a continuum of oscillators are ubiquitous in physics. Often the continua are approximated by a discrete set of modes. We derive analytical error bounds on expectation values of system observables that have been time evolved under such discretised Hamiltonians. These bounds take on the form of a function of time and the number of discrete modes, where the discrete modes are chosen according to Gauss quadrature rules. The derivation makes use of tools from the field of Lieb-Robinson bounds and the theory of orthonormal polynominals.

preprint2016arXiv

Realising a quantum absorption refrigerator with an atom-cavity system

An autonomous quantum thermal machine comprising a trapped atom or ion placed inside an optical cavity is proposed and analysed. Such a machine can operate as a heat engine whose working medium is the quantised atomic motion, or as an absorption refrigerator which cools without any work input. Focusing on the refrigerator mode, we predict that it is possible with state-of-the-art technology to cool a trapped ion almost to its motional ground state using a thermal light source such as sunlight. We nonetheless find that a laser or similar reference system is necessary to stabilise the cavity frequencies. Furthermore, we establish a direct and heretofore unacknowledged connection between the abstract theory of quantum absorption refrigerators and practical sideband cooling techniques. We also highlight and clarify some assumptions underlying several recent theoretical studies on self-contained quantum engines and refrigerators. Our work indicates that cavity quantum electrodynamics is a promising and versatile experimental platform for the study of autonomous thermal machines in the quantum domain.

preprint2015arXiv

Coherence-assisted single-shot cooling by quantum absorption refrigerators

The extension of thermodynamics into the quantum regime has received much attention in recent years. A primary objective of current research is to find thermodynamic tasks which can be enhanced by quantum mechanical effects. With this goal in mind, we explore the finite-time dynamics of absorption refrigerators composed of three qubits. The aim of this finite-time cooling is to reach low temperatures as fast as possible and subsequently extract the cold particle to exploit it for information processing purposes. We show that the coherent oscillations inherent to quantum dynamics can be harnessed to reach temperatures that are colder than the steady state in orders of magnitude less time, thereby providing a fast source of low-entropy qubits. This effect demonstrates that quantum thermal machines can surpass classical ones, reminiscent of quantum advantages in other fields, and is applicable to a broad range of technologically important scenarios.

preprint2015arXiv

Simulating Bosonic Baths with Error Bars

We derive rigorous truncation-error bounds for the spin-boson model and its generalizations to arbitrary quantum systems interacting with bosonic baths. For the numerical simulation of such baths the truncation of both, the number of modes and the local Hilbert-space dimensions is necessary. We derive super-exponential Lieb--Robinson-type bounds on the error when restricting the bath to finitely-many modes and show how the error introduced by truncating the local Hilbert spaces may be efficiently monitored numerically. In this way we give error bounds for approximating the infinite system by a finite-dimensional one. As a consequence, numerical simulations such as the time-evolving density with orthogonal polynomials algorithm (TEDOPA) now allow for the fully certified treatment of the system-environment interaction.

preprint2011arXiv

Probability distributions for measures of placental shape and morphology

Weight at delivery is a standard cumulative measure of placental growth. But weight is a crude summary of other placental characteristics, such as the size and shape of the chorionic plate and the location of the umbilical cord insertion. Distributions of such measures across a cohort reveal information about the developmental history of the chorionic plate that is unavailable from an analysis based solely on the mean and standard deviation. Various measures were determined from digitized images of chorionic plates obtained from the Pregnancy, Infection, and Nutrition Study, a prospective cohort study of preterm birth in central North Carolina between 2002 and 2004. The centroids (the geometric centers) and umbilical cord insertions were taken directly from the images. The chorionic plate outlines were obtained from an interpolation based on a Fourier series, while eccentricity (of the best-fit ellipse), skewness, and kurtosis were determined from a shape analysis using the method of moments. The distribution of each variable was compared against the normal, lognormal, and Levy distributions. We found only a single measure (eccentricity) with a normal distribution. All other placental measures required lognormal or "heavy-tailed" distributions to account for moderate to extreme deviations from the mean, where relative likelihoods in the cohort far exceeded those of a normal distribution. Normal and lognormal distributions result from the accumulated effects of a large number of independent additive (normal) or multiplicative (lognormal) events. Thus, while most placentas appear to develop by a series of small, regular, and independent steps, the presence of heavy-tailed distributions suggests that many show shape features which are more consistent with a large number of correlated steps or fewer, but substantially larger, independent steps.