Skip to main content
Erschienen in: Natural Computing 3/2009

01.09.2009

Quantum complementarity and logical indeterminacy

verfasst von: Časlav Brukner

Erschienen in: Natural Computing | Ausgabe 3/2009

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Whenever a mathematical proposition to be proved requires more information than it is contained in an axiomatic system, it can neither be proved nor disproved, i.e. it is undecidable, or logically undetermined, within this axiomatic system. I will show that certain mathematical propositions on a d-valent function of a binary argument can be encoded in d-dimensional quantum states of mutually unbiased basis (MUB) sets, and truth values of the propositions can be tested in MUB measurements. I will then show that a proposition is undecidable within the system of axioms encoded in the state, if and only if the measurement associated with the proposition gives completely random outcomes.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
For a possible relation between Gödel’s theorem and physics see Barrow (2006). For a relation between algorithmic randomness and quantum indeterminacy see Svozil (1990), Stay and Calude (2005) and Calude and Svozil (2006).
 
2
The considerations here can be generalized to all dimensions that are powers of primes. This is related to the fact that in quantum theory in these cases a complete set of mutually unbiased bases is known to exit. In all other cases this is an open question and goes beyond the scope of this paper (see, for example Paterek et al. (2009)).
 
3
To put it in a grotesque way the system is not allowed to response "I am undecidable, I cannot give an answer."
 
Literatur
Zurück zum Zitat Bandyopadhyay S, Boykin PO, Roychowdhury V, Vatan F (2002) A new proof for the existence of mutually unbiased bases. Algorithmica 34:512MATHCrossRefMathSciNet Bandyopadhyay S, Boykin PO, Roychowdhury V, Vatan F (2002) A new proof for the existence of mutually unbiased bases. Algorithmica 34:512MATHCrossRefMathSciNet
Zurück zum Zitat Barrow JD (2006) Gödel and physics, electronic version: arXiv:physics/0612253. Paper presented at “Horizons of Truth”, Kurt Göedel Centenary Meeting, Vienna, 27–29th April 2006 Barrow JD (2006) Gödel and physics, electronic version: arXiv:physics/0612253. Paper presented at “Horizons of Truth”, Kurt Göedel Centenary Meeting, Vienna, 27–29th April 2006
Zurück zum Zitat Bell J (1964) On the Einstein Podolsky Rosen paradox. Physics 1:195–200 Bell J (1964) On the Einstein Podolsky Rosen paradox. Physics 1:195–200
Zurück zum Zitat Calude CS, Jürgensen H (2005) Is complexity a source of incompleteness? Appl Math 35:1-15MATH Calude CS, Jürgensen H (2005) Is complexity a source of incompleteness? Appl Math 35:1-15MATH
Zurück zum Zitat Calude CS, Svozil K (2006) Quantum randomness and value indefiniteness, electronic version: arXiv:quant-ph/0611029 Calude CS, Svozil K (2006) Quantum randomness and value indefiniteness, electronic version: arXiv:quant-ph/0611029
Zurück zum Zitat Greenberger D, Horne MA, Zeilinger A (1989) Going beyond Bell's theorem. In: Kafatos M (ed) Bell's theorem, quantum theory, and conceptions of the Universe. Kluwer Academic Publishers, Dordrecht (electronic version: arXiv:0712.0921v1 [quant-ph]) Greenberger D, Horne MA, Zeilinger A (1989) Going beyond Bell's theorem. In: Kafatos M (ed) Bell's theorem, quantum theory, and conceptions of the Universe. Kluwer Academic Publishers, Dordrecht (electronic version: arXiv:0712.0921v1 [quant-ph])
Zurück zum Zitat Kochen S, Specker E (1967) The problem of hidden variables in quantum mechanics. J Math Mech 17:59–87MATHMathSciNet Kochen S, Specker E (1967) The problem of hidden variables in quantum mechanics. J Math Mech 17:59–87MATHMathSciNet
Zurück zum Zitat Paterek T, Kofler J, Prevedel R, Klimek P, Aspelmeyer M, Zeilinger A, Brukner Č (2008) Mathematical undecidability and quantum randomness, electronic version: arXiv:0811.4542 Paterek T, Kofler J, Prevedel R, Klimek P, Aspelmeyer M, Zeilinger A, Brukner Č (2008) Mathematical undecidability and quantum randomness, electronic version: arXiv:0811.4542
Zurück zum Zitat Paterek T, Dakić B, Brukner Č (2009) Mutually unbiased bases, orthogonal Latin squares, and hidden-variable models. Phys Rev A 79:012109CrossRefMathSciNet Paterek T, Dakić B, Brukner Č (2009) Mutually unbiased bases, orthogonal Latin squares, and hidden-variable models. Phys Rev A 79:012109CrossRefMathSciNet
Zurück zum Zitat Peres A (1995) Quantum theory: concepts and methods. Kluwer Academic, Dordrecht, pp 153–154MATH Peres A (1995) Quantum theory: concepts and methods. Kluwer Academic, Dordrecht, pp 153–154MATH
Zurück zum Zitat Stay MA, Calude CS (2005) From Heisenberg to Gödel via Chaitin. Int J Theor Phys 44:1053–1065 Stay MA, Calude CS (2005) From Heisenberg to Gödel via Chaitin. Int J Theor Phys 44:1053–1065
Zurück zum Zitat Svozil K (1990) The quantum coin toss-testing microphysical undecidability. Phys Lett A 143:433–437 Svozil K (1990) The quantum coin toss-testing microphysical undecidability. Phys Lett A 143:433–437
Zurück zum Zitat Wootters WK and Fields BD (1989) Optimal state-determination by mutually unbiased measurements. Ann Phys (NY) 191:363–381CrossRefMathSciNet Wootters WK and Fields BD (1989) Optimal state-determination by mutually unbiased measurements. Ann Phys (NY) 191:363–381CrossRefMathSciNet
Metadaten
Titel
Quantum complementarity and logical indeterminacy
verfasst von
Časlav Brukner
Publikationsdatum
01.09.2009
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 3/2009
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-009-9118-z

Weitere Artikel der Ausgabe 3/2009

Natural Computing 3/2009 Zur Ausgabe

Premium Partner