Research papers by Masanao Ozawa

(in refereed journals or refereed conference proceedings written in English)

  1. Masanao Ozawa, Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory, Quantum Physics and Logic (QPL) 2022, edited by S. Gogioso and M. Hoban, Electronic Proceedings in Theoretical Computer Science (EPTS) 394, 1-12 (16 November 2023).
  2. Masanao Ozawa, Quantum Measurement Theory for Systems with Finite Dimensional State Spaces, The Quantum-Like Revolution: A Festschrift for Andrei Khrennikov, Arkady Plotnitsky, Emmanuel Haven (eds.), Springer Nature Switzerland. (28 June 2023). preprint arXiv:2110.03219 [quant-ph]
  3. Masanao Ozawa, Andrei Khrennikov, Nondistributivity of human logic and violation of response replicability effect in cognitive psychology, Journal of Mathematical Psychology 112, 102739/1-102739/7 (February 2023). doi: 10.1016/j.jmp.2022.102739 (published online 24 December 2022); preprint arXiv:2208.12946 [q-bio.NC] .
  4. M. Ozawa, Reforming Takeuti's Quantum Set Theory to Satisfy de Morgan's Laws, Advances in Mathematical Logic, T. Arai et al. (eds.), Springer Proceedings in Mathematics & Statistics 369, 143-159 (2021); doi: 10.1007/978-981-16-4173-2_7 (published online 1 January 2022).
  5. S. Sponar, A. Danner, M. Ozawa, Y. Hasegawa, Neutron optical test of completeness of quantum root-mean-square errors, npj Quantum Information 7, 106 (2021); doi:10.1038/s41534-018-0113-z (published online 28 June 2021).
  6. A. Doering, B. Eva, M. Ozawa, A Bridge Between Q-Worlds, The Review of Symbolic Logic 14 (2), 447 - 486 (June 2021). doi:10.1017/S1755020319000492 (published online 2 July 2020).
  7. M. Ozawa, Quantum set theory: Transfer Principle and De Morgan's Laws, Annals of Pure and Applied Logic 172 (4), 102938/1-42 (April 2021) ; doi: 10.1016/j.apal.2020.102938 ; preprint arXiv:2002.06692 [quant-ph] (published online 12 January 2021).
  8. I. Basieva, A. Khrennikov, M. Ozawa, Quantum-like modeling in biology with open quantum systems and instruments, Biosystems 201, 104328/1-11 (March 2021); doi:10.1016/j.biosystems.2020.104328 (open access) (published online 18 December 2020); preprint arXiv:2010.15573 [physics.bio-ph] .
  9. M. Ozawa, From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti, Mathematics 9 (4), 397/1-10 (February 2021); doi: 10.3390/ math9040397 (open access) (published online 17 February 2021); preprint arXiv:2102.03851 [quant-ph] .
  10. Yuki Inoue, Masanao Ozawa, Violation of Heisenberg's error-eisturbance relation by Stern-Gerlach measurements, EPL (Europhysics Letters) 133 (3), 30001/1-6 (February 2021); doi: 10.1209/0295-5075/133/30001 (published online 26 March 2021); preprint arXiv:2009.01646 [quant-ph] .
  11. Masanao Ozawa, Andrei Khrennikov, Modeling combination of question order effect, response replicability effect, and QQ-equality with quantum instruments, Journal of Mathematical Psychology 100, 102491/1-16 (February 2021); DOI:10.1016/j.jmp.2020.102491 (open access) (published online 26 December 2020); preprint arXiv:2010.10444 [q-bio.NC] .
  12. Yuki Inoue, Masanao Ozawa, Error-Disturbance Relation in Stern-Gerlach Measurements, Physical Review A 102 (4), 042226/1-17 (October 2020); DOI: 10.1103/physreva.102.042226 ; preprint arXiv:1910.07929 [quant-ph] (published online 26 October 2020).
  13. Masanao Ozawa, Andrei Khrennikov, Application of Theory of Quantum Instruments to Psychology: Combination of Question Order Effect with Response Replicability Effect, Entropy 22 (1), 37/1-14 (January 2020); doi: 10.3390/e22010037 (open access, published 26 December 2019).
  14. Masanao Ozawa, Soundness and completeness of quantum root-mean-square errors, npj Quantum Information 5, 1/1-8 (2019); DOI: 10.1038/s41534-018-0113-z .
  15. Orthomodular-valued models for quantum set theory, The Review of Symbolic Logic 10, 782-807 (2017); DOI: 10.1017/S1755020317000120 ; preprint arXiv:0908.0367 [quant-ph]. .
  16. Operational meanings of orders of observables defined through quantum set theories with different conditionals, Electronic Proceedings in Theoretical Computer Science (EPTS) 236, 127-144 (2017); doi:10.4204/EPTCS.236.9 .
  17. Experimental Test of Residual Error-Disturbance Uncertainty Relations for Mixed Spin-1/2 States, Physical Review Letters 117 (14), 140402/1-140402/5 (2016) (with B. Demirel, S. Sponar, G. Sulyok and Y. Hasegawa); doi:10.1103/PhysRevLett.117.140402 .
  18. Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory, New Generation Computing 34 (1-2), 125-152 (2016); doi:10.1007/s00354-016-0205-2 [ Special Issue on Quantum Physics and Logic ]; preprint arXiv:1504.06838 [quant-ph] .
  19. Measurement Theory in Local Quantum Physics, Journal of Mathematical Physics 57 (1), 015209/1-29 (2016) (with K. Okamura); doi:10.1063/1.4935407 (open access) [ MR3425191 ]
  20. Heisenberg's Original Derivation of the Uncertainty Principle and its Universally Valid Reformulations, Current Science 109 (11), 2006-2016 (10 December 2015); doi:10.18520/v109/i11/2006-2016 (open access).
  21. Experimental Test of Entropic Noise-Disturbance Uncertainty Relations for Spin-1/2 Measurements, Physical Review Letters 115, 030401 (2015) (with G. Sulyok, S. Sponar, B. Demirel, F. Buscemi, M. J. W. Hall, Y. Hasegawa); doi:10.1103/PhysRevLett.115.030401 .
  22. Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory, (Extended Abstract), Proceedings of the 11th Workshop on Quantum Physics and Logic, Kyoto, Japan, 4-6 June 2014, edited by Coecke, Bob and Hasuo, Ichiro and Panangaden, Prakash, Electronic Proceedings in Theoretical Computer Science (EPTCS) 172, 15-26 (December 2014); Doi:10.4204/EPTCS.172.2
  23. Mathematical foundations of quantum information: Measurement and foundations. Sugaku Expositions 27,195-221 (2014); preprint arXiv:1201.5334 .
  24. Universal optimal quantum correlator, International Journal of Quantum Information 12, 1560002 (2014) (with Francesco Buscemi, Michele Dall'Arno, Vlatko Vedral). doi: 10.1142/S0219749915600023
  25. Tight bounds on accessible information and informational power, Journal of Physics A: Mathematical and Theoretical 47, 235302 (2014) (with Michele Dall'Arno, Francesco Buscemi). doi:10.1088/1751-8113/47/23/235302
  26. Heisenberg's uncertainty relation: Violation and reformulation, Journal of Physics: Conference Series 504, 012024/1-12 (2014). doi:10.1088/1742-6596/504/1/012024
  27. Noise and disturbance in quantum measurements: An information theoretic approach, Physical Review Letters 112, 050401 (2014) (with F. Buscemi, M.J.W. Hall, and M.M. Wilde). doi: 10.1103/PhysRevLett.112.050401
  28. Experimental test of error-disturbance uncertainty relations by weak measurement, Physical Review Letters 112, 020402 (2014) (with F. Kaneda, S.-Y. Baek, and K. Edamatsu); doi:10.1103/PhysRevLett.112.020402 .
  29. Violation of Heisenberg's error-disturbance uncertainty relation in neutron spin measurements, Physical Review A 88, 022110 (2013) (with G. Sulyok, S. Sponar, J. Erhart, G. Badurek, and Y. Hasegawa); doi:10.1103/PhysRevA.88.022110 ; arXiv:1305.7251 [quant-ph] .
  30. Experimental violation and reformulation of the Heisenberg error-disturbance uncertainty relation, Scientific Reports 3, 2221 (2013) (with S-Y. Baek, F. Kaneda, and K. Edamatsu). < doi:10.1038/srep02221 (Open Access). >
  31. Experimental demonstration of a universally valid error-disturbance uncertainty relation in spin-measurements, Nature Physics 8, 185-189 (2012) (with J. Erhart, S. Sponar, G. Sulyok, G. Badurek, Y. Hasegawa). < doi: 10.1038/NPHYS2194 >
  32. Reconstructing Bohr's Reply to EPR in Algebraic Quantum Theory, Foundations of Physics 42 (4), 475--487 (2012) (with Y. Kitajima). < doi: 10.1007/s10701-011-9615-7 > < arXiv: 1305.7251 [quant-ph]. . >
  33. Universal uncertainty principle, simultaneous measurability, and weak values, AIP Conference Proceedings 1363, 53-62 (2011).
  34. Quantum reality and measurement: A quantum logical approach, Foundations of Physics 41, 592-607, (2011). < doi: 10.1007/s10701-010-9462-y >
  35. Gete fidelity of arbitrary single-qubit gates constrained by conservation laws, J. Phys. A: Math. Theor. 42, 225303 (16) (2009) (with T. Karasawa, J. Gea-Banacloche. [arXiv:0809.3095]
  36. Theoretical constraints on implementations of arbitrary single-qubit gates under conservation laws, AIP Conference Proceedings 1110, 411-414 (2009) (with T. Karasawa, K. Nemoto).
  37. A Protocol of Quantum Authentication with Secure Quantum Passwords, AIP Conference Proceedings 1110, 388-391 (2009) (with M. Hotta).
  38. Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families, Quantum Information Processing 8, 12-24 (2009) (with H. Nishimura). [Open Access]
  39. Quantum limits of measurements induced by multiplicative conservation laws: Extension of the Wigner-Araki-Yanase Theorem, Phys. Rev. A 78, 032106 (7) (2008/09/08) (with G. Kimura, B.K. Meister)Ã\UTF{2464}% [arXiv:0707.3238]
  40. Quantum precision limits for any implementation of single qubit gates under conservation laws, Intern. J. Quantum Information 6, 701-706 (2008) (with T. Karasawa, J. Gea-Banacloche, and K. Nemoto).
  41. Simultaneous measurability of non-commuting observables and the universal uncertainty principle, Proc. 8th Int. Conf. on Quantum Communication, Measurement and Computing (NICT Press, Tokyo, 2007), 363-368.
  42. Low-noise channel estimation, Proc. 8th Int. Conf. on Quantum Communication, Measurement and Computing (NICT Press, Tokyo, 2007), 319-322 (with M. Hotta, T. Karasawa, K. Matsumoto).
  43. Transfer principle in quantum set theory, J. Symbolic Logic 72, 625-648 (2007). [arXiv:math/0604349]
  44. Comments on "Best conventional solutions to the King's problem," Z. Naturforsch. 62a, 152-156 (2007) (with G. Kimura, H. Tanaka). [arXiv:quant-ph/0612053]
  45. Conservation-law-induced quantum limits for physical realizations of the quantum NOT gate, Phys. Rev. A 75, 032324 (16) (2007/03/19) (with T. Karasawa).
  46. Minimum-energy pulses for quantum logic cannot be shared, Phys. Rev. A 74, 060301(R) (4) (2006) (with J. Gea-Banacloche). [arXiv:quant-ph/0611137]
  47. N-body-extended channel estimation for low-noise parameters, J. Phys. A: Math. Gen. 39, 14465-14470 (2006) (with M. Hotta, T. Karasawa).
  48. Defense of "Impossibility of distant indirect measurement of the quantum Zeno effect," Phys. Lett. A 356, 411-413 (2006). [arXiv:quant-ph/0603030]
  49. Noise and disturbance in quantum measurements and operations, Proc. SPIE Int. Soc. Opt. Eng. 6244, 62440Q (9) (2006).
  50. Solution to the mean King's problem with mutually unbiased bases for arbitrary levels, Phys. Rev. A 73, 050301(R) (4) (2006) (with G. Kimura, H. Tanaka). [arXiv:quant-ph/0604096]
  51. Quantum perfect correlations, Ann. Phys. (N.Y.) 321, 744-769 (2006). [arXiv:quant-ph/0501081]
  52. Entanglement witness derived from NMR superdense coding, J. Phys. A: Math. Gen. 39, 2151-2159 (2006) (with R. Rahimi, K. Takeda, M. Kitagawa). [arXiv:quant-ph/0405175]
  53. Quantum gates generated by rotationally invariant operators in a decoherence-free subsystem, Phys. Rev. A 73, 012339 (8) (2006) (with Y. Kawano).
  54. Universal uncertainty principle in measurement operator formalism, J. Opt. B: Quantum Semiclass. Opt. 7, S672-S681 (2005). [arXiv:quant-ph/0510083]
  55. Ancilla-assisted enhancement of channel estimation for low-noise parameters, Phys. Rev. A 72, 052334 (11) (2005) (with M. Hotta, T. Karasawa). [arXiv:quant-ph/0507055]
  56. Constraints for quantum logic arising from conservation laws and field fluctuations, J. Opt. B: Quantum Semiclass. Opt. 7, S326-S332 (2005) (with J. Gea-Banacloche). [arXiv:quant-ph/0507251]
  57. Existence of the exact CNOT on a quantum computer with the exchange interaction, Quant. Inf. Proc. 4, 65-85 (2005) (with Y. Kawano, K. Kimura, H. Sekigawa, M. Noro, K. Shirayanagi, M. Kitagawa).
  58. Uniformity of quantum circuit families for error-free algorithms, Theor. Comput. Sci. 332, 487- 496 (2005) (with . Nishimura).
  59. Perfect correlations between noncommuting observables, Phys. Lett. A 335, 11-19 (2005). [arXiv:quant-ph/0310072]
  60. Universal uncertainty principle and quantum state control under conservation laws, AIP Conference Proceedings 734, 95-98. [arXiv:quant-ph/0510083]
  61. Quantum estimation by local observables, Phys. Rev. A 70, 022327 (13) (2004) (with M. Hotta). [arXiv:quant-ph/0401187]
  62. Uncertainty relations for noise and disturbance in generalized quantum measurements, Ann. Phys. (N.Y.) 311, 350-416 (2004). [arXiv:quant-ph/0307057]
  63. Uncertainty relations for joint measurements of noncommuting observables, Phys. Lett. A 320, 367-374 (2004). [arXiv:quant-ph/0310070]
  64. Uncertainty principle for quantum instruments and computing, Int. J. Quant. Inf. 1, 569--588 (2003). [arXiv:quant-ph/0310071]
  65. Uncertainty relations for generalized quantum measurements and completely positive maps, Proceedings of the 2003 International Conference on Physics and Control (PHYCON'03) - Volume 3 (IEEE Computer Society, Washington, DC, 2003), 773-784.
  66. Physical content of the Heisenberg uncertainty relation: Limitation and reformulation, Phys. Lett. A 318, 21-29 (2003). [arXiv::quant-ph/0210044]
  67. Ozawa replies [to Comments on "Conservative quantum computing"], Phys. Rev. Lett. 91, 089802 (2003/08/22).
  68. Quantum limits of measurement and computing induced by conservation laws and uncertainty relations, Proceedings of the Sixth International Conference on Quantum Communication, Measurement and Computing, (Rinton Press, Princeton, 2003), 175-180. [arXiv:quant-ph/0210046]
  69. Universally valid reformulation of the Heisenberg uncertainty principle on noise and disturbance in measurement, Phys. Rev. A 67, 042105 (6) (2003/04/11). Ã\UTF{2460}[arXiv:quant-ph/0207121]
  70. Quantum state reduction and the repeatability hypothesis, Ann. Japan Assoc. Phil. Sci. 11, 107-121 (2003).
  71. Halting of quantum Turing machines, Lecture Notes in Computer Science 2509 (Springer, Berlin, 2002), 58-65.
  72. Conservative quantum computing, Phys. Rev. Lett. 89, 057902 (4) (2002/07/16). [arXiv:quant-ph/0112179]
  73. Position measuring interactions and the Heisenberg uncertainty principle, Phys. Lett. A 299, 1-7 (2002).
  74. Computational complexity of uniform quantum circuit families and quantum Turing machines, Theor. Comput. Sci. 276, 147-181 (2002) (with H. Nishimura). [arXiv:quant-ph/9906095]
  75. Conservation laws, uncertainty relations, and quantum limits of measurements, Phys. Rev. Lett. 88, 050402 (4) (2002/01/23). [arXiv:quant-ph/011215]
  76. Quantum measurement, information, and completely positive maps, Quantum Communication, Computing, and Measurement 3 (Kluwer/Plenum, New York, 2001), 97-106 . [arXiv:quant-ph/0107090]
  77. Controlling quantum state reduction, Phys. Lett. A 282, 336-342 (2001).
  78. Operations, disturbance, and simultaneous measurability, Phys. Rev. A 63, 032109 (15) (2001/02/15). [arXiv:quant-ph/0005054]
  79. Local transition functions of quantum Turing machines, Theoret. Informatics and Appl. 34, 379-402 (2000) (with H. Nishimura). [arXiv:quant-ph/9811069]
  80. Measurements of nondegenerate discrete observables, Phys. Rev. A 62, 062101 (13) (2000/11/08). [arXiv:quant-ph/0003033]
  81. Nonstandard representations of the canonical commutation relations, Rev. Math. Phys. 12 (2000), 1407-1427 (with H. Yamashita).
  82. Operational characterization of simultaneous measurements in quantum mechanics, Phys. Lett. A 275 (2000), 5-11. [arXiv:quant-ph/9802039]
  83. Entanglement measures and the Hilbert-Schmidt distance, Phys. Lett. A 268 (2000), 158-160. [arxiv.org/abs/quant-ph/0002036]
  84. Quantum Turing machines: Local transition, preparation, measurement, and halting, Quantum Communication, Computing and Measurement 2, Plenum (2000), 233-241. [arXiv:quant-ph/9809038]
  85. Quantum state reduction: An operational approach, Fortschr. Phys. 46 (1998), 615-625. [arXiv:quant-ph/9711006]
  86. Quantum nondemolition monitoring of universal quantum computers, Phys. Rev. Lett. 80, 631-634 (1998/01/19). [arXiv:quant-ph/9704028]
  87. The problem of measurement and the theory of quantum state reduction, Fifth International Conference on Squeezed States and Uncertainty Relations (1998), 517-522. [arXiv:quant-ph/9710023]
  88. An operational approach to quantum state reduction, Ann. Phys. (N.Y.) 259 (1997), 121-137. [arXiv:quant-ph/9706027]
  89. Phase operator problem and macroscopic extension of quantum mechanics, Ann. Phys. (N.Y.) 257 (1997), 65-83. [arXiv:quant-ph/9705034]
  90. Quantum state reduction and the quantum Bayes principle, Quantum Communication, Computing and Measurement, Plenum, 233-241 (1997). [arXiv:quant-ph/9705030]
  91. Incompleteness of the hyperreals: An application of forcing to nonstandard analysis, Mathematica Moravica, Special Volume, 125-140 (1997).
  92. Mathematical characterizations of measurement statistics, Quantum Communication and Measurement, Plenum, 109-117 (1995).
  93. Scott incomplete Boolean ultrapowers of the real line, J. Symbolic Logic 60, 160-171 (1995).
  94. Forcing in nonstandard analysis, Ann. Pure Appl. Logic 68, 263-297 (1994).
  95. Canonical approximate quantum measurements, J. Math. Phys. 34, 5596-5624 (1993).
  96. Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics, Open Sys. & Information Dyn. 2, 107-128 (1993) (with I. Ojima).
  97. Wigner-Araki-Yanase theorem for continuous observables, Classical and Quantum Systems, World Scientific, 224-228 (1993).
  98. Conversion from nonstandard matrix algebras to standard factors of type II1, Ill. J. Math. 37, 1-13 (1993) (with T. Hinokuma).
  99. Ultimate information carrying limit of quantum systems, Phys. Rev. Lett. 70, 363-366 (1993) (with H. P. Yuen); doi:10.1103/PhysRevLett.70.363 .
  100. Cat paradox for C*-dynamical systems, Prog. Theor. Phys. 88, 1051-1064 (1992).
  101. Does a conservation law limit position measurements? Phys. Rev. Lett. 67, 1956-1959 (1991/10/07).
  102. Quantum limits of measurements and uncertainty principle, Lecture Notes in Phys. 378, 3-17 (1991).
  103. Operator algebras and nonstandard analysis, Current Topics in Operator Algebras, World Scientific, 52-58 (1991).
  104. Boolean valued interpretation of Banach space theory and module structures of von Neumann algebras, Nagoya Math. J. 117, 1-36 (1990).
  105. Quantum-mechanical models of position measurements, Phys. Rev. A 41, 1735-1737 (R) (1990).
  106. Realization of measurement and the standard quantum limit, Squeezed and Nonclassical Light, Plenum, 263-286 (1989).
  107. Statistical inference and quantum measurement, Ann. Japan Assoc. Phil. Sci. 7, 185-194 (1989).
  108. Measurement breaking the standard quantum limit for free-mass position, Phys. Rev. Lett. 60, 385-388 (1988/02/01).
  109. Measuring processes and repeatability hypothesis, Lecture Notes in Math. 1299, 412-421 (1988).
  110. Embeddable AW*-algebras and regular completions, J. London Math. Soc. (2) 34, 511-523 (1986) (with K. Saito).
  111. Boolean valued analysis approach to the trace problem of AW*-algebras, J. London Math. Soc. (2) 33, 347-354 (1986). < doi:10.1.1.95.8433
  112. On information gain by quantum measurements of continuous observables, J. Math. Phys. 27, 759-763 (1986).
  113. Concepts of conditional expectations in quantum theory, J. Math. Phys. 26, 1948-1955 (1985).
  114. A transfer principle from von Neumann algebras to AW*-algebras, J. London Math. Soc. (2) 32, 141-148 (1985).
  115. Continuous affine functions on the space of Markov kernels, Teorija Verojatnostei i ee Primenenija 30, 486-498 (1985); Theory Prob. Appl. 30, 516-528 (1985).
  116. Nonuniqueness of the cardinality attached to homogeneous AW*-algebras, Proc. Amer. Math. Soc. 93, 681-684 (1985).
  117. Conditional probability and a posteriori states in quantum mechanics, Publ. RIMS, Kyoto Univ. 21, 279-295 (1985).
  118. Set theory and Lesniewski's ontology, Ann. Japan Assoc. Phil. Sci. 6, 261-272 (1985) (with T. Waragai).
  119. A classification of type I AW*-algebras and Boolean valued analysis, J. Math. Soc. Japan 36, 589-608 (1984).
  120. Quantum measuring processes of continuous observables, J. Math. Phys. 25, 79-87 (1984).
  121. Boolean valued analysis and type I AW*-algebras, Proc. Japan Acad. 59A (1983), 368-371.
  122. Boolean valued interpretation of Hilbert space theory, J. Math. Soc. Japan 35, 609-627 (1983).
  123. Conditional expectation and repeated measurement of continuous quantum observables, Lecture Notes in Math. 1021, 518-525 (1983).
  124. Optimal measurements for general quantum systems, Rep. Math. Phys. 18, 11-28 (1980).
  125. Hilbert B(H)-modules and stationary processes, Kodai Math. J. 3, 26-39 (1980).
Back