Diese Frage kann auf zwei Arten formuliert werden. Lass es zwei sein -dimensionale orthonormale Basen Und . Ich beziehe mich auf die Elemente von von und zu den Elementen von von . Diese beiden Grundlagen sind gegenseitig unvoreingenommen, nämlich: für alle Und . Wir definieren einen Vektor so dass ist orthonormal zu einem Element von , sagen und es ist gegenseitig unvoreingenommen in Bezug auf alle Elemente in : für alle . Können wir darauf schließen ist gleich Mitglied von sagen für einige bis zu einer Phasendifferenz?
Eine andere Möglichkeit, dieselbe Schlussfolgerung zu ziehen, besteht darin, Folgendes zu fragen: Es gebe drei orthonormale Basen , Und . Und sind gegenseitig unvoreingenommen, so sind Und . Können wir darauf schließen Und sind entweder gegenseitig unvoreingenommen oder haben äquivalente Hadamard-Matrizen? Diese Frage ist für mich besonders wichtig, da in der Literatur immer von Mengen paarweise gegeneinander unverzerrter Basen gesprochen wird. Aber es gibt keinen Beweis dafür, dass drei voneinander unbeeinflusste Basen notwendigerweise paarweise MUBs sein müssen.
Die Antwort auf Ihre erste Frage ist nein .
Betrachten Sie den dreidimensionalen Hilbert-Raum , und lass sei die kanonische Basis und
Derselbe Trick kann verwendet werden, um eine dritte Basis zu erzeugen,
Andererseits ist diese dritte Basis offensichtlich verwandt mit durch eine einfache Permutation. Ich bin mir nicht sicher, welche Art von Äquivalenzen Sie für die Hadamard-Matrizen zulassen, die Sie vermutlich meinen . Wenn Sie das benötigen dann und nur dann, wenn , dann bin ich mir nicht sicher, aber ich vermute die Hadamard-Matrizen von mit Und mit sind nicht gleichwertig. Wenn Sie Beziehungen des Formulars zulassen dann begibst du dich auf gefährliches Terrain, da auf diese Weise jede Basis erreichbar ist.