Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 30th 2017
    • (edited Nov 30th 2017)

    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.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeDec 3rd 2017
    • (edited Dec 3rd 2017)

    added a little bit more to state on a star-algebra, cross-linked with pure state

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeDec 11th 2017

    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).

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 20th 2020
    • (edited Jan 20th 2020)

    added a sentence at the very beginning, connecting back to quantum probability theory and AQFT

    diff, v28, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 2nd 2021

    added pointer to:

    diff, v32, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 7th 2021

    added pointer to:

    diff, v33, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 7th 2021

    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𝒜O \in \mathcal{A}, ρ(O *O)0\rho(O^\ast O) \neq 0, then also

    ρ O:A1ρ(O *O)ρ(O *AO) \rho_O \;\colon\; A \;\mapsto\; \tfrac{1}{ \rho(O^\ast O) } \cdot \rho\big( O^\ast \cdot A \cdot O \big)

    is a state.

    diff, v34, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 19th 2021

    added this pointer:

    diff, v36, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)