All Questions
Tagged with oa.operator-algebras mp.mathematical-physics
15 questions with no upvoted or accepted answers
9
votes
0
answers
290
views
A robust version of Schur's lemma?
Does a robust version of Schur's lemma exist? Specifically, I was wondering about something like this:
Let $B$ be a bounded operator over a vector space $V$, with underlying field $\mathbb{C}$ and ...
6
votes
0
answers
378
views
What are some results that assume the Connes' embedding conjecture or any of its reformulations?
As you all (may) know, the Connes embedding conjecture was disproven last year. Also, as its Wikipedia page shows, there are multiple reformulations (but it is definitely not an exhaustive list):
...
6
votes
0
answers
197
views
A 'Fock'-type construction on a $C^*$-algebra
In very rough terms, let $A$ be a complex unital $C^*$-algebra. Assume it nuclear for convenience, but it doesn't matter much. Consider the 'Fock'-type $C^*$-algebra (don't know a better name for it)
$...
5
votes
0
answers
72
views
Braided monoidal category of (generalized) operator algebras
In the paper "Quantum Collections" Kornell (2016) proved that the category of $W^*$ (von Neumann) (and iirc also $C^*$) algebras, equipped with a suitable choice of tensor product, forms a ...
4
votes
0
answers
151
views
Is there a maximal finite depth infinite index irreducible subfactor?
A subfactor $N \subset M $ is irreducible if $N' \cap M = \mathbb{C} $.
It's maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $.
It's cyclic if its lattice of ...
3
votes
0
answers
219
views
Can any POVM be induced by a quantum instrument?
I suspect this is the obvious result of something in operator algebras, but that's far outside my field.
Recall that a projection-valued measure is a map $E$ from a sigma-algebra $\mathcal{F}$ on ...
3
votes
0
answers
57
views
Integration of Weyl operators multiplied by quasifree state over a symplectic space
I am reading the book "An invitation to the Algebra of Canonical Commutation Relations" by Denes Petz. It is freely available for download here. In Chapter 9, he defines the Lebesgue measure on a ...
3
votes
0
answers
431
views
Bohr topos and quantization
Bohrification is a natural way to construct a quantum "phase space" (with some nice insights on foundational problems like non-contextuality through Kochen-Specker etc). I was wondering, since we get ...
2
votes
0
answers
79
views
Algebraic machinery for boundary conditions: may spectral data be "lifted" via the Toeplitz extension?
Let $\tilde{\mathcal H}$ be a Hilbert space, and let $L(\tilde{\mathcal H})$ denote the corresponding space of linear operators. By fixing a basis, we can, via Fourier transform, identify an important ...
2
votes
0
answers
132
views
Extension of a bounded operator on manifold
I have a problem, which is quite urgent, as I have only today discovered an error in a proof i had in a thesis which is to be handed in tomorrow.
The problem, if stated in as full generality as ...
1
vote
0
answers
57
views
Continuity of a linear functional for sequences of projections
Let $T_+$ be the set of a positive trace-class operators over some separable Hilbert space and
$A: T_+ \to \mathbb{R}\cup \{\infty\}$ some linear functional.
In general, $A$ will not be continuous. ...
1
vote
0
answers
85
views
Characterization of the Subspace of Quasifree States of the CAR Algebra
Consider $\mathfrak U(\mathfrak H)$, the CAR algebra over a separable Hilbert space $\mathfrak H$. The states $E_{\mathfrak U}$ over this algebra are defined to be positive linear functionals of norm ...
1
vote
0
answers
455
views
How to correctly name "irreducible subrepresentation of an indecomposable representation"
I am studying the representation theory of some infinite dimensional algebras, for example infinite dimensional Lie-algebras, Kac-Moody algebras, W-algebras. These algebras arise as symmetry algebras ...
1
vote
0
answers
742
views
Tensor products as isomorphic functors in category theory
An earlier question that I posed sought to define a category with a set of quantum channels as arrows and the C$^{*}$-algebra that these channels map from and to as the object. So, for example, my ...
0
votes
0
answers
55
views
Status of generalization of timelike tube theorem to algebras of causal completions
The timelike tube theorem states that the additive algebra $A_{\text{add}}(U)$ of operators in a spacetime region $U$ is equal to the additive algebra $A_{\text{add}}(E(U))$ of the timelike envelope $...