Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have expanded the Idea section at state on a star-algebra and added a bunch of references.
The entry used to be called “state on an operator algebra”, but I renamed it (keeping the redirect) because part of the whole point of the definition is that it makes sense without necessarily having represented the “abstract” star-algebra as a C*-algebra of linear operators.
added a little bit more to state on a star-algebra, cross-linked with pure state
Started an Examples-section (here) with making explicit the two archetypical examples (classical probability measure as state on measurable functions and element on Hilbert space as state on bounded operators).
added a sentence at the very beginning, connecting back to quantum probability theory and AQFT
added pointer to:
added pointer to:
Under “Properties – Closure properties” I added mentioning of convex combinations of states
and then I added (here) the “operator-state correspondence” (one way) saying that for $\rho \;\colon\; \mathcal{A} \to \mathbb{C}$ a state, with a non-null observable $O \in \mathcal{A}$, $\rho(O^\ast O) \neq 0$, then also
$\rho_O \;\colon\; A \;\mapsto\; \tfrac{1}{ \rho(O^\ast O) } \cdot \rho\big( O^\ast \cdot A \cdot O \big)$is a state.
added this pointer:
1 to 8 of 8