Searcharxiv⌕ Search

arXiv subjects

Masanao Ozawa

Publications and source records attributed to Masanao Ozawa.

At least 55 records · Page 3Linked to original sources
arXiv2014

Universal Optimal Quantum Correlator

Recently, a novel operational strategy to access quantum correlation functions of the form Tr[A rho B] was provided in [F. Buscemi, M. Dall'Arno, M. Ozawa, and V. Vedral, arXiv:1312.4240]. Here we propose a realization scheme, that we call partial expectation values, implementing such strategy in terms of a unitary interaction with an ancillary system followed by the measurement of an observable on the ancilla. Our scheme is universal, being independent of rho, A, and B, and it is optimal in a statistical sense. Our scheme is suitable for implementation with present quantum optical technology, and provides a new way to test uncertainty relations.

quant-ph↗
arXiv2014

Tight Bounds on the Accessible Information and the Informational Power

The accessible information quantifies the amount of classical information that can be extracted from an ensemble of quantum states. Analogously, the informational power quantifies the amount of classical information that can be extracted by a quantum measurement. For both quantities, we provide upper and lower bounds that depend only on the dimension of the system, and we prove their tightness. In the case of symmetric informationally complete (SIC) ensembles and measurements, stronger bounds are provided and their tightness proved for qubits and qutrits. From our upper bounds, we notice, perhaps surprisingly, that the statistics generated by SIC ensembles or measurements in arbitrary dimension, though optimal for tomographic purposes, in fact never contains more than just one bit of information, the rest being constituted by completely random bits. On the other hand, from our lower bounds, we obtain an explicit strategy beating the so-called "pretty-good" one for the extraction of mutual information in the case of SIC ensembles and measurements.

quant-ph↗
arXiv2014

Error-disturbance relations in mixed states

Heisenberg's uncertainty principle was originally formulated in 1927 as a quantitative relation between the "mean error" of a measurement of one observable and the disturbance thereby caused on another observable. Heisenberg derived this famous relation under an additional assumption on quantum measurements that has been abandoned in the modern theory, and its universal validity was questioned in a debate on the sensitivity limit to gravitational-wave detectors in 1980s. A universally valid form of the error-disturbance relation was shown to be derived in the modern framework of general quantum measurements in 2003. We have experienced a considerable progress in theoretical and experimental study of error-disturbance relations in the last decade. In 2013 Branciard showed a new stronger form of universally valid error-disturbance relations, one of which is proved tight for spin measurements carried out in "pure" states. Nevertheless, a recent information-theoretical study of error-disturbance relations has suggested that Branciard relations can be considerably strengthened for measurements in mixed states. Here, we show a method for strengthening Branciard relations in mixed states and derive several new universally valid and stronger error-disturbance relations in mixed states. In particular, it is proved that one of them gives an ultimate error-disturbance relation for spin measurements, which is tight in any state. The new relations will play an important role in applications to state estimation problems including quantum cryptographic scenarios.

quant-ph↗
arXiv2014

Heisenberg's uncertainty relation: Violation and reformulation

The uncertainty relation formulated by Heisenberg in 1927 describes a trade-off between the error of a measurement of one observable and the disturbance caused on another complementary observable so that their product should be no less than a limit set by Planck's constant. In 1980, Braginsky, Vorontsov, and Thorne claimed that this relation leads to a sensitivity limit for gravitational wave detectors. However, in 1988 a model of position measurement was constructed that breaks both this limit and Heisenberg's relation. Here, we discuss the problems as to how we reformulate Heisenberg's relation to be universally valid and how we experimentally quantify the error and the disturbance to refute the old relation and to confirm the new relation.

quant-ph↗
arXiv2014

Noise and disturbance in quantum measurements: an information-theoretic approach

We introduce information-theoretic definitions for noise and disturbance in quantum measurements and prove a state-independent noise-disturbance tradeoff relation that these quantities have to satisfy in any conceivable setup. Contrary to previous approaches, the information-theoretic quantities we define are invariant under relabelling of outcomes, and allow for the possibility of using quantum or classical operations to `correct' for the disturbance. We also show how our bound implies strong tradeoff relations for mean square deviations.

quant-ph↗
arXiv2013

Direct observation of any two-point quantum correlation function

The existence of noncompatible observables in quantum theory makes a direct operational interpretation of two-point correlation functions problematic. Here we challenge such a view by explicitly constructing a measuring scheme that, independently of the input state $ρ$ and observables $A$ and $B$, performs an unbiased optimal estimation of the two-point correlation function $\operatorname{Tr}[A \ ρ\ B]$. This shows that, also in quantum theory, two-point correlation functions are as operational as any other expectation value. A very simple probabilistic implementation of our proposal is presented.

quant-ph↗
arXiv2013

Experimental Test of Error-Disturbance Uncertainty Relations by Weak Measurement

We experimentally test the error-disturbance uncertainty relation (EDR) in generalized, strength-variable measurement of a single photon polarization qubit, making use of weak measurement that keeps the initial signal state practically unchanged. We demonstrate that Heisenberg's EDR is violated, yet Ozawa's and Branciard's EDRs are valid throughout the range of our measurement strength.

quant-ph↗
arXiv2013

Disproving Heisenberg's error-disturbance relation

Recently, Busch, Lahti, and Werner (arXiv:1306.1565v1 [quant-ph]) claimed that Heisenberg's error-disturbance relation can be proved in its original form with new formulations of error and disturbance, in contrast to the theory proposed by the present author and confirmed by recent experiments. Despite their claim, it is shown here that a class of solvable models of position measurement with explicit interaction Hamiltonians escape the Busch-Lahti-Werner relation. It is also made clear where their proof fails. Those models have unambiguously defined zero root-mean-square error and finite root-mean-square disturbance in every input state and are naturally considered to violate Heisenberg's error-disturbance relation in any conceivable formulation.

quant-ph↗
arXiv2013

Violation of Heisenberg's error-disturbance uncertainty relation in neutron spin measurements

In its original formulation, Heisenberg's uncertainty principle dealt with the relationship between the error of a quantum measurement and the thereby induced disturbance on the measured object. Meanwhile, Heisenberg's heuristic arguments have turned out to be correct only for special cases. A new universally valid relation was derived by Ozawa in 2003. Here, we demonstrate that Ozawa's predictions hold for projective neutron-spin measurements. The experimental inaccessibility of error and disturbance claimed elsewhere has been overcome using a tomographic method. By a systematic variation of experimental parameters in the entire configuration space, the physical behavior of error and disturbance for projective spin-1/2 measurements is illustrated comprehensively. The violation of Heisenberg's original relation, as well as, the validity of Ozawa's relation become manifest. In addition, our results conclude that the widespread assumption of a reciprocal relation between error and disturbance is not valid in general.

quant-ph↗
arXiv2012

Experimental demonstration of a universally valid error-disturbance uncertainty relation in spin-measurements

The uncertainty principle generally prohibits determination of certain pairs of quantum mechanical observables with arbitrary precision and forms the basis of indeterminacy in quantum mechanics. It was Heisenberg who used the famous gamma-ray microscope thought experiment to illustrate this indeterminacy. A lower bound was set for the product of the measurement error of an observable and the disturbance caused by the measurement. Later on, the uncertainty relation was reformulated in terms of standard deviations, which focuses solely on indeterminacy of predictions and neglects unavoidable recoil in measuring devices. A correct formulation of the error-disturbance relation, taking recoil into account, is essential for a deeper understanding of the uncertainty principle. However, the validity of Heisenberg's original error-disturbance uncertainty relation is justifed only under limited circumstances. Another error-disturbance relation, derived by rigorous and general theoretical treatments of quantum measurements, is supposed to be universally valid. Here, we report a neutron optical experiment that records the error of a spin-component measurement as well as the disturbance caused on another spin-component measurement. The results confirm that both error and disturbance completely obey the new, more general relation but violate the old one in a wide range of an experimental parameter.

quant-ph↗
arXiv2011

Reconstructing Bohr's Reply to EPR in Algebraic Quantum Theory

Halvorson and Clifton have given a mathematical reconstruction of Bohr's reply to Einstein, Podolsky and Rosen (EPR), and argued that this reply is dictated by the two requirements of classicality and objectivity for the description of experimental data, by proving consistency between their objectivity requirement and a contextualized version of the EPR reality criterion which had been introduced by Howard in his earlier analysis of Bohr's reply. In the present paper, we generalize the above consistency theorem, with a rather elementary proof, to a general formulation of EPR states applicable to both non-relativistic quantum mechanics and algebraic quantum field theory; and we clarify the elements of reality in EPR states in terms of Bohr's requirements of classicality and objectivity, in a general formulation of algebraic quantum theory.

quant-ph↗
arXiv2011

Universal Uncertainty Principle, Simultaneous Measurability, and Weak Values

In the conventional formulation, it is broadly accepted that simultaneous measurability and commutativity of observables are equivalent. However, several objections have been claimed that there are cases in which even nowhere commuting observables can be measured simultaneously. Here, we outline a new theory of simultaneous measurements based on a state-dependent formulation, in which nowhere commuting observables are shown to have simultaneous measurements in some states, so that the known objections to the conventional theory are theoretically justified. We also discuss new results on the relation between weak values and output probability distributions of simultaneous measurements.

quant-ph↗
arXiv2010

Quantum Reality and Measurement: A Quantum Logical Approach

The recently established universal uncertainty principle revealed that two nowhere commuting observables can be measured simultaneously in some state, whereas they have no joint probability distribution in any state. Thus, one measuring apparatus can simultaneously measure two observables that have no simultaneous reality. In order to reconcile this discrepancy, an approach based on quantum logic is proposed to establish the relation between quantum reality and measurement. We provide a language speaking of values of observables independent of measurement based on quantum logic and we construct in this language the state-dependent notions of joint determinateness, value identity, and simultaneous measurability. This naturally provides a contextual interpretation, in which we can safely claim such a statement that one measuring apparatus measures one observable in one context and simultaneously it measures another nowhere commuting observable in another incompatible context.

quant-ph↗
arXiv2009

Gate fidelity of arbitrary single-qubit gates constrained by conservation laws

Recent investigations show that conservation laws limit the accuracy of gate operations in quantum computing. The inevitable error under the angular momentum conservation law has been evaluated so far for the CNOT, Hadamard, and NOT gates for spin 1/2 qubits, while the SWAP gate has no constraint. Here, we extend the above results to general single-qubit gates. We obtain an upper bound of the gate fidelity of arbitrary single-qubit gates implemented under arbitrary conservation laws, determined by the geometry of the conservation law and the gate operation on the Bloch sphere as well as the size of the ancilla.

quant-ph↗
arXiv2008

Perfect Computational Equivalence between Quantum Turing Machines and Finitely Generated Uniform Quantum Circuit Families

In order to establish the computational equivalence between quantum Turing machines (QTMs) and quantum circuit families (QCFs) using Yao's quantum circuit simulation of QTMs, we previously introduced the class of uniform QCFs based on an infinite set of elementary gates, which has been shown to be computationally equivalent to the polynomial-time QTMs (with appropriate restriction of amplitudes) up to bounded error simulation. This result implies that the complexity class BQP introduced by Bernstein and Vazirani for QTMs equals its counterpart for uniform QCFs. However, the complexity classes ZQP and EQP for QTMs do not appear to equal their counterparts for uniform QCFs. In this paper, we introduce a subclass of uniform QCFs, the finitely generated uniform QCFs, based on finite number of elementary gates and show that the class of finitely generated uniform QCFs is perfectly equivalent to the class of polynomial-time QTMs; they can exactly simulate each other. This naturally implies that BQP as well as ZQP and EQP equal the corresponding complexity classes of the finitely generated uniform QCFs.

quant-ph↗
arXiv2008

Quantum Limits of Measurements Induced by Multiplicative Conservation Laws: Extension of the Wigner-Araki-Yanase Theorem

The Wigner-Araki-Yanase (WAY) theorem shows that additive conservation laws limit the accuracy of measurements. Recently, various quantitative expressions have been found for quantum limits on measurements induced by additive conservation laws, and have been applied to the study of fundamental limits on quantum information processing. Here, we investigate generalizations of the WAY theorem to multiplicative conservation laws. The WAY theorem is extended to show that an observable not commuting with the modulus of, or equivalently the square of, a multiplicatively conserved quantity cannot be precisely measured. We also obtain a lower bound for the mean-square noise of a measurement in the presence of a multiplicatively conserved quantity. To overcome this noise it is necessary to make large the coefficient of variation (the so-called relative fluctuation), instead of the variance as is the case for additive conservation laws, of the conserved quantity in the apparatus.

quant-ph↗
arXiv2008

Secure Quantum Passwords

We propose a quantum authentication protocol that is robust against the theft of secret keys. In the protocol, disposable quantum passwords prevent impersonation attacks with stolen secret keys. The protocol also prevents the leakage of secret information of a certification agent.

quant-ph↗