Searcharxiv⌕ Search

arXiv subjects

Masanao Ozawa

Publications and source records attributed to Masanao Ozawa.

At least 73 records · Page 4Linked to original sources
arXiv2007

Conservation-Law-Induced Quantum Limits for Physical Realizations of the Quantum NOT Gate

In recent investigations, it has been found that conservation laws generally lead to precision limits on quantum computing. Lower bounds of the error probability have been obtained for various logic operations from the commutation relation between the noise operator and the conserved quantity or from the recently developed universal uncertainty principle for the noise-disturbance trade-off in general measurements. However, the problem of obtaining the precision limit to realizing the quantum NOT gate has eluded a solution from these approaches. Here, we develop a new method for this problem based on analyzing the trace distance between the output state from the realization under consideration and the one from the ideal gate. Using the mathematical apparatus of orthogonal polynomials, we obtain a general lower bound on the error probability for the realization of the quantum NOT gate in terms of the number of qubits in the control system under the conservation of the total angular momentum of the computational qubit plus the the control system along the direction used to encode the computational basis. The lower bound turns out to be more stringent than one might expect from previous results. The new method is expected to lead to more accurate estimates for physical realizations of various types of quantum computations under conservation laws, and to contribute to related problems such as the accuracy of programmable quantum processors.

quant-ph↗
arXiv2006

Comments on "Best conventional solutions to the King's problem"

Conventional solutions to the (Mean) King's problem without using entanglement have been investigated by Aravind [P. K. Aravind, ``Best conventional solutions to the King's problem'', Z. Naturforsch. 58a, 682 (2003)]. We report that the upper bound for the success probability claimed there is not valid in general, and give a condition for the claim to be justified.

quant-ph↗
arXiv2006

Minimum-energy pulses for quantum logic cannot be shared

We show that if an electromagnetic energy pulse with average photon number is used to carry out the same quantum logical operation on a set of N atoms, either simultaneously or sequentially, the overall error probability in the worst case scenario (i.e., maximized over all the possible initial atomic states) scales as N^2/ . This means that in order to keep the error probability bounded by Nε, with ε~ 1/ , one needs to use N/εphotons, or equivalently N separate "minimum-energy'' pulses: in this sense the pulses cannot, in general, be shared. The origin for this phenomenon is found in atom-field entanglement. These results may have important consequences for quantum logic and, in particular, for large-scale quantum computation.

quant-ph↗
arXiv2006

Transfer principle in quantum set theory

In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti's formulation is extended to construct a model of set theory based on the logic represented by the lattice of projections in an arbitrary von Neumann algebra. A transfer principle is established that enables us to transfer theorems of ZFC to their quantum counterparts holding in the model. The set of real numbers in the model is shown to be in one-to-one correspondence with the set of self-adjoint operators affiliated with the von Neumann algebra generated by the logic. Despite the difficulty pointed out by Takeuti that equality axioms do not generally hold in quantum set theory, it is shown that equality axioms hold for any real numbers in the model. It is also shown that any observational proposition in quantum mechanics can be represented by a corresponding statement for real numbers in the model with the truth value consistent with the standard formulation of quantum mechanics, and that the equality relation between two real numbers in the model is equivalent with the notion of perfect correlation between corresponding observables (self-adjoint operators) in quantum mechanics. The paper is concluded with some remarks on the relevance to quantum set theory of the choice of the implication connective in quantum logic.

math.LO↗
arXiv2006

Solution to the Mean King's problem with mutually unbiased bases for arbitrary levels

The Mean King's problem with mutually unbiased bases is reconsidered for arbitrary d-level systems. Hayashi, Horibe and Hashimoto [Phys. Rev. A 71, 052331 (2005)] related the problem to the existence of a maximal set of d-1 mutually orthogonal Latin squares, in their restricted setting that allows only measurements of projection-valued measures. However, we then cannot find a solution to the problem when e.g., d=6 or d=10. In contrast to their result, we show that the King's problem always has a solution for arbitrary levels if we also allow positive operator-valued measures. In constructing the solution, we use orthogonal arrays in combinatorial design theory.

quant-ph↗
arXiv2006

Defense of "Impossibility of distant indirect measurement of the quantum Zeno effect"

Recently, Wallentowitz and Toschek [Phys. Rev. A 69, 046101 (2005)] criticized the assertion made by Hotta and Morikawa [Phys. Rev. A 69, 052114 (2004)] that distant indirect measurements do not cause the quantum Zeno effect, and claimed that their proof is faulty and that their claim is unfounded. Here, it is shown that the argument given by Wallentowitz and Toschek includes a mathematical flaw and that their criticism is unfounded.

quant-ph↗
arXiv2005

Universal Uncertainty Principle in the Measurement Operator Formalism

Heisenberg's uncertainty principle has been understood to set a limitation on measurements; however, the long-standing mathematical formulation established by Heisenberg, Kennard, and Robertson does not allow such an interpretation. Recently, a new relation was found to give a universally valid relation between noise and disturbance in general quantum measurements, and it has become clear that the new relation plays a role of the first principle to derive various quantum limits on measurement and information processing in a unified treatment. This paper examines the above development on the noise-disturbance uncertainty principle in the model-independent approach based on the measurement operator formalism, which is widely accepted to describe a class of generalized measurements in the field of quantum information. We obtain explicit formulas for the noise and disturbance of measurements given by the measurement operators, and show that projective measurements do not satisfy the Heisenberg-type noise-disturbance relation that is typical in the gamma-ray microscope thought experiments. We also show that the disturbance on a Pauli operator of a projective measurement of another Pauli operator constantly equals the square root of 2, and examine how this measurement violates the Heisenberg-type relation but satisfies the new noise-disturbance relation.

quant-ph↗
arXiv2005

Ancilla-Assisted Enhancement of Channel Estimation for Low-Noise Parameters

In order to make a unified treatment for estimation problems of a very small noise or a very weak signal in a quantum process, we introduce the notion of a low-noise quantum channel with one noise parameter. It is known in several examples that prior entanglement together with nonlocal output measurement improves the performance of the channel estimation. In this paper, we study this ``ancilla-assisted enhancement'' for estimation of the noise parameter in a general low-noise channel. For channels on two level systems we prove that the enhancement factor, the ratio of the Fisher information of the ancilla-assisted estimation to that of the original one, is always upper bounded by 3/2. Some conditions for the attainability are also given with illustrative examples.

quant-ph↗
arXiv2005

Quantum perfect correlations

The notion of perfect correlations between arbitrary observables, or more generally arbitrary POVMs, is introduced in the standard formulation of quantum mechanics, and characterized by several well-established statistical conditions. The transitivity of perfect correlations is proved to generally hold, and applied to a simple articulation for the failure of Hardy's nonlocality proof for maximally entangled states. The notion of perfect correlations between observables and POVMs is used for defining the notion of a precise measurement of a given observable in a given state. A longstanding misconception on the correlation made by the measuring interaction is resolved in the light of the new theory of quantum perfect correlations.

quant-ph↗
arXiv2005

Entanglement Witness Derived from NMR Superdense Coding

We show that it is possible to transfer two-bit information via encoding a single qubit in a conventional nuclear magnetic resonance (NMR) experiment with two very weakly polarized nuclear spins. Nevertheless, the experiment can not be regarded as a demonstration of superdense coding by means of NMR because it is based on the large number of molecules being involved in the ensemble state rather than the entanglement of the NMR states. Following the discussions, an entanglement witness, particularly applicable for NMR, is introduced based on separate and simultaneous measurement of the individual nuclear spin magnetizations.

quant-ph↗
arXiv2005

Constraints for quantum logic arising from conservation laws and field fluctuations

We explore the connections between the constraints on the precision of quantum logical operations that arise from a conservation law, and those arising from quantum field fluctuations. We show that the conservation-law based constraints apply in a number of situations of experimental interest, such as Raman excitations, and atoms in free space interacting with the multimode vacuum. We also show that for these systems, and for states with a sufficiently large photon number, the conservation-law based constraint represents an ultimate limit closely related to the fluctuations in the quantum field phase.

quant-ph↗
arXiv2004

Perfect correlations between noncommuting observables

The problem as to when two noncommuting observables are considered to have the same value arises commonly, but shows a nontrivial difficulty. Here, an answer is given by establishing the notion of perfect correlations between noncommuting observables, and applied to obtain a criterion for precise measurements of a given observable in a given state.

quant-ph↗
arXiv2004

Universal uncertainty principle and quantum state control under conservation laws

Heisenberg's uncertainty principle, exemplified by the gamma ray thought experiment, suggests that any finite precision measurement disturbs any observables noncommuting with the measured observable. Here, it is shown that this statement contradicts the limit of the accuracy of measurements under conservation laws originally found by Wigner in 1950s, and should be modified to correctly derive the unavoidable noise caused by the conservation law induced decoherence. The obtained accuracy limit leads to an interesting conclusion that a widely accepted, but rather naive, physical encoding of qubits for quantum computing suffers significantly from the decoherence induced by the angular momentum conservation law.

quant-ph↗
arXiv2004

Uncertainty principle for quantum instruments and computing

Recently, universally valid uncertainty relations have been established to set a precision limit for any instruments given a disturbance constraint in a form more general than the one originally proposed by Heisenberg. One of them leads to a quantitative generalization of the Wigner-Araki-Yanase theorem on the precision limit of measurements under conservation laws. Applying this, a rigorous lower bound is obtained for the gate error probability of physical implementations of Hadamard gates on a standard qubit of a spin 1/2 system by interactions with control fields or ancilla systems obeying the angular momentum conservation law.

quant-ph↗
arXiv2003

Uncertainty Relations for Joint Measurements of Noncommuting Observables

Universally valid uncertainty relations are proven in a model independent formulation for inherent and unavoidable extra noises in arbitrary joint measurements on single systems, from which Heisenber's original uncertainty relation is proven valid for any joint measurements with statistically independent noises.

quant-ph↗
arXiv2003

Uncertainty Relations for Noise and Disturbance in Generalized Quantum Measurements

Heisenberg's uncertainty relation for measurement noise and disturbance states that any position measurement with noise epsilon brings the momentum disturbance not less than hbar/2epsilon. This relation holds only for restricted class of measuring apparatuses. Here, Heisenberg's uncertainty relation is generalized to a relation that holds for all the possible quantum measurements, from which conditions are obtained for measuring apparatuses to satisfy Heisenberg's relation. In particular, every apparatus with the noise and the disturbance statistically independent from the measured object is proven to satisfy Heisenberg's relation. For this purpose, all the possible quantum measurements are characterized by naturally acceptable axioms. Then, a mathematical notion of the distance between probability operator valued measures and observables is introduced and the basic properties are explored. Based on this notion, the measurement noise and disturbance are naturally defined for any quantum measurements in a model independent formulation. Under this formulation, various uncertainty relations are also derived for apparatuses with independent noise, independent disturbance, unbiased noise, and unbiased disturbance as well as noiseless apparatuses and nondisturbing apparatuses. Two models of position measurements are discussed to show that Heisenberg's relation can be violated even by approximately repeatable position measurements.

quant-ph↗
arXiv2003

Physical content of Heisenberg's uncertainty relation: Limitation and reformulation

Heisenberg's reciprocal relation between position measurement error and momentum disturbance is rigorously proven under the assumption that those error and disturbance are independent of the state of the measured object. A generalization of Heisenberg's relation proven valid for arbitrary measurements is proposed and reveals two distinct types of possible violations of Heisenberg's relation.

quant-ph↗