ah, für mich ist Zustand immer "ein stetiges lineares Funktional auf der Observablenalgebra" und die reinen sind halt der Spezialfall der Rang-1 Funktionale. Für mich war unter der Überschrift "Test auf Verschränkung" klar, dass es um gemischte Zustände geht, weil die Frage nur für diese ein Problem ist. Es stimmt aber, dass sonst im Artikel immer nur reine Zustände betrachtet werden (was ich bei Gelegenheit mal ändern sollte ;-) Das PH-Kriterium erkennt auch alle reinen verschränkten Zustände (der zugehörige Projektor hat keine positive partielle Transposition), aber ist wird ja von vornherein für Dichtematrizen formuliert ist (partielle Transposition macht fuer Vektoren keinen Sinn) sodass man zumindest sagen sollte, dass es (im Gegensatz zu SZ) verallgemeinerbar ist (als teaser für den kommenden Abschnitt Quantenverschränkung gemischter Zustände) -- Qcomp 17:09, 29. Jan. 2020 (CET)