Searcharxiv⌕ Search

arXiv subjects

Masanao Ozawa

Publications and source records attributed to Masanao Ozawa.

At least 91 records · Page 5Linked to original sources
arXiv2002

Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement

The Heisenberg uncertainty principle states that the product of the noise in a position measurement and the momentum disturbance caused by that measurement should be no less than the limit set by Planck's constant, hbar/2, as demonstrated by Heisenberg's thought experiment using a gamma-ray microscope. Here I show that this common assumption is false: a universally valid trade-off relation between the noise and the disturbance has an additional correlation term, which is redundant when the intervention brought by the measurement is independent of the measured object, but which allows the noise-disturbance product much below Planck's constant when the intervention is dependent. A model of measuring interaction with dependent intervention shows that Heisenberg's lower bound for the noise-disturbance product is violated even by a nearly nondisturbing, precise position measuring instrument. An experimental implementation is also proposed to realize the above model in the context of optical quadrature measurement with currently available linear optical devices.

quant-ph↗
arXiv2002

Conservative Quantum Computing

Conservation laws limit the accuracy of physical implementations of elementary quantum logic gates. If the computational basis is represented by a component of spin and physical implementations obey the angular momentum conservation law, any physically realizable unitary operators with size less than n qubits cannot implement the controlled-NOT gate within the error probability 1/(4n^2), where the size is defined as the total number of the computational qubits and the ancilla qubits. An analogous limit for bosonic ancillae is also obtained to show that the lower bound of the error probability is inversely proportional to the average number of photons. Any set of universal gates inevitably obeys a related limitation with error probability O(1/n^2)$. To circumvent the above or related limitations yielded by conservation laws, it is recommended that the computational basis should be chosen as the one commuting with the additively conserved quantities.

quant-ph↗
arXiv2002

Position measuring interactions and the Heisenberg uncertainty principle

An indirect measurement model is constructed for an approximately repeatable, precise position measuring apparatus that violates the assertion, sometimes called the Heisenberg uncertainty principle, that any position measuring apparatus with noise epsilon brings the momentum disturbance no less than hbar/2epsilon in any input state of the apparatus.

quant-ph↗
arXiv2001

Conservation laws, uncertainty relations, and quantum limits of measurements

The uncertainty relation between the noise operator and the conserved quantity leads to a bound for the accuracy of general measurements. The bound extends the assertion by Wigner, Araki, and Yanase that conservation laws limit the accuracy of ``repeatable'', or ``nondisturbing'', measurements to general measurements, and improves the one previously obtained by Yanase for spin measurements. The bound also sets an obstacle to making a small quantum computer.

quant-ph↗
arXiv2001

Quantum subroutine problem and the robustness of quantum complexity classes

This paper positively solves the quantum subroutine problem for fully quantum oracles. The quantum subroutine problem asks whether a quantum computer with an efficiently computable oracle can be efficiently simulated by a non-oracle quantum computer. We extends the earlier results obtained by Bennett, Bernstein, Brassard, and Vazirani, and by Aharonov, Kitaev, and Nisan to the case where the oracle evaluates a unitary operator and the computer is allowed to be in the superposition of a query state and a non-query state during computation. We also prove the robustness of {\bf EQP}, {\bf BQP}, and {\bf ZQP} under the above general formulation, extending the earlier results on the robustness of {\bf BQP} shown by Bennett et al.

quant-ph↗
arXiv2000

Local Transition Functions of Quantum Turing Machines

Foundations of the notion of quantum Turing machines are investigated. According to Deutsch's formulation, the time evolution of a quantum Turing machine is to be determined by the local transition function. In this paper, the local transition functions are characterized for fully general quantum Turing machines, including multi-tape quantum Turing machines, extending the results due to Bernstein and Vazirani.

quant-ph↗
arXiv2000

Computational Complexity of Uniform Quantum Circuit Families and Quantum Turing Machines

Deutsch proposed two sorts of models of quantum computers, quantum Turing machines (QTMs) and quantum circuit families (QCFs). In this paper we explore the computational powers of these models and re-examine the claim of the computational equivalence of these models often made in the literature without detailed investigations. For this purpose, we formulate the notion of the codes of QCFs and the uniformity of QCFs by the computability of the codes. Various complexity classes are introduced for QTMs and QCFs according to constraints on the error probability of algorithms or transition amplitudes. Their interrelations are examined in detail. For Monte Carlo algorithms, it is proved that the complexity classes based on uniform QCFs are identical with the corresponding classes based on QTMs. However, for Las Vegas algorithms, it is still open whether the two models are equivalent. We indicate the possibility that they are not equivalent. In addition, we give a complete proof of the existence of a universal QTM simulating multi-tape QTMs efficiently. We also examine the simulation of various types of QTMs such as multi-tape QTMs, single tape QTMs, stationary, normal form QTMs (SNQTMs), and QTMs with the binary tapes. As a result, we show that these QTMs are computationally equivalent one another as computing models implementing not only Monte Carlo algorithms but exact (or error-free) ones.

quant-ph↗
arXiv2000

Operations, Disturbance, and Simultaneous Measurability

Quantum mechanics predicts the joint probability distributions of the outcomes of simultaneous measurements of commuting observables, but the current formulation lacks the operational definition of simultaneous measurements. In order to provide foundations of joint statistics of local general measurements on entangled systems in a general theoretical framework, the question is answered as to under what condition the outputs of two measuring apparatuses satisfy the joint probability formula for simultaneous measurements of their observables. For this purpose, all the possible state changes caused by measurements of an observable are characterized and the notion of disturbance in measurement is formalized in terms of operations derived by the measuring interaction.

quant-ph↗
arXiv2000

Measurements of Nondegenerate Discrete Observables

Every measurement on a quantum system causes a state change from the system state just before the measurement to the system state just after the measurement conditional upon the outcome of measurement. This paper determines all the possible conditional state changes caused by measurements of nondegenerate discrete observables. For this purpose, the following conditions are shown to be equivalent for measurements of nondegenerate discrete observables: (i) The joint probability distribution of the outcomes of successive measurements depends affinely on the initial state. (ii) The apparatus has an indirect measurement model. (iii) The state change is described by a positive superoperator valued measure. (iv) The state change is described by a completely positive superoperator valued measure. (v) The output state is independent of the input state and the family of output states can be arbitrarily chosen by the choice of the apparatus. The implications to the measurement problem are discussed briefly.

quant-ph↗
arXiv2000

Entanglement measures and the Hilbert-Schmidt distance

In order to construct a measure of entanglement on the basis of a ``distance'' between two states, it is one of desirable properties that the ``distance'' is nonincreasing under every completely positive trace preserving map. Contrary to a recent claim, this letter shows that the Hilbert-Schmidt distance does not have this property.

quant-ph↗
arXiv1998

Measurability and Computability

The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79, 2915 (1997)] that the measurability of a certain observable contradicts the Church-Turing thesis. It is argued that any function computable by a quantum algorithm is a recursive function obeying the Church-Turing thesis, whereas any observable can be measured in principle.

quant-ph↗
arXiv1998

Quantum Turing Machines: Local Transition, Preparation, Measurement, and Halting

Foundations of the theory of quantum Turing machines are investigated. The protocol for the preparation and the measurement of quantum Turing machines is discussed. The local transition functions are characterized for fully general quantum Turing machines. A new halting protocol is proposed without augmenting the halting qubit and is shown to work without spoiling the computation.

quant-ph↗
arXiv1998

Controlling Quantum State Reduction

Every measurement leaves the object in a family of states indexed by the possible outcomes. This family, called the posterior states, is usually a family of the eigenstates of the measured observable, but it can be an arbitrary family of states by controlling the object-apparatus interaction. A potentially realizable object-apparatus interaction measures position in such a way that the posterior states are the translations of an arbitrary wave function. In particular, position can be measured without perturbing the object in a momentum eigenstate.

quant-ph↗
arXiv1998

Operational Characterization of Simultaneous Measurements in Quantum Mechanics

Quantum mechanics predicts the joint probability distribution of the outcomes of simultaneous measurements of commuting observables, but, in the state of the art, has lacked the operational definition of simultaneous measurements. The question is answered as to when the consecutive applications of measuring apparatuses give a simultaneous measurement of their observables. For this purpose, all the possible state reductions caused by measurements of an observable is also characterized by their operations.

quant-ph↗
arXiv1998

On the Concept of Quantum State Reduction: Inconsistency of the Orthodox View

The argument is re-examined that the program of deriving the rule of state reduction from the Schroedinger equation holding for the object-apparatus composite system falls into a vicious circle or an infinite regress called the von Neumann chain. It is shown that this argument suffers from a serious physical inconsistency concerning the causality between the reading of the outcome and the state reduction. A consistent argument which accomplishes the above program without falling into the circular argument is presented.

quant-ph↗
arXiv1997

Quantum Nondemolition Monitoring of Universal Quantum Computers

The halt scheme for quantum Turing machines, originally proposed by Deutsch, is reformulated precisely and is proved to work without spoiling the computation. The ``conflict'' pointed out recently by Myers in the definition of a universal quantum computer is shown to be only apparent. In the context of quantum nondemolition (QND) measurement, it is also shown that the output observable, an observable representing the output of the computation, is a QND observable and that the halt scheme is equivalent to the QND monitoring of the output observable.

quant-ph↗
arXiv1997

Quantum State Reduction: An Operational Approach

A rigorous theory of quantum state reduction, the state change of the measured system caused by a measurement conditional upon the outcome of measurement, is developed fully within quantum mechanics without leading to the vicious circle relative to the von Neumann chain. For the basis of the theory, the local measurement theorem provides the joint probability distribution for the outcomes of local successive measurements on a noninteracting entangled system without assuming the projection postulate, and the quantum Bayes principle enables us to determine operationally the quantum state from a given information on the outcome of measurement.

quant-ph↗