SLIDE 1 This work was funded by the ERC (grant agreement No 648913)
Classical capacity of channels between von Neumann algebras
Pieter Naaijkens Universidad Complutense de Madrid 9 September 2019
SLIDE 2
Infinite quantum systems
Can we do quantum information?
Quantum systems with infinitely many d.o.f.: Quantum field theory Systems in thermodynamic limit… e.g. quantum spin systems with topological order
SLIDE 3
Infinite quantum systems
Take an operator algebraic approach
E.g.: infinitely many spins: Superselection sectors Stone-von Neumann uniqueness
SLIDE 4
Outline
Quantum information Example Von Neumann algebras
SLIDE 5
Von Neumann algebras
SLIDE 6
Von Neumann algebras
*-subalgebra and closed in norm Equivalent definition: It is a von Neumann algebra if closed in w.o.t.: A factor Can be classified into Type I, Type II, Type III
SLIDE 7
Normal states
with A state is a positive linear functional Normal if
If a factor is not of Type I, there are no normal pure states
SLIDE 8
Definition of index
For irreducible inclusion index is the best constant
SLIDE 9
Araki relative entropy
Let be faithful normal states: Def: Def: Umegaki:
SLIDE 10 Quantum information
work mainly in the Heisenberg picture
- bservables modelled by von Neumann algebra
consider normal states on channels are normal unital CP maps Araki relative entropy
SLIDE 11
use quantum systems to communicate main question: how much information can I transmit? will consider infinite systems here… … described by subfactors channel capacity is given by Jones index
Quantum information
SLIDE 12
Quantum information
SLIDE 13 Sending classical information
풳 풴
encoding sending decoding Shannon information I(X : Y) Ey ≥ 0, ∑
y∈풴
Ey = I POVM measurement State preparation x ↦ ωx ↦ ℰ*(ωx) := ωx ∘ ℰ
Gives a classical channel !
풳 → 풴
SLIDE 14
Distinguishing states Alice prepares a mixed state : …and sends it to Bob Can Bob recover ?
SLIDE 15
Holevo 휒 quantity In general not exactly: Generalisation of Shannon information
SLIDE 16
Holevo 휒 quantity In general not exactly: Generalisation of Shannon information
SLIDE 17
Infinite systems
Suppose is an infinite factor, say Type III, and a faithful normal state where
Better to compare algebras!
SLIDE 18
Limited access
Alice Bob Eve ℛ ⊂ ̂ ℛ subfactor ̂ ℛ ̂ ℛ ℛ identity channel restriction
SLIDE 19
Quantum wiretapping
Alice Bob Eve
SLIDE 20 Theorem (Devetak, Cai/Winter/Yeung) The rate of a wiretapping channel is given by
lim
n→∞
1 n max
{px,ρx}
B (ρx)}) − χ({px}, Φ⊗n E (ρx)})
SLIDE 21
Comparing algebras
Want to compare and , with subfactor entropic disturbance
SLIDE 22 Jones index and entropy
gives an information-theoretic interpretation to the Jones index
Hiai, J. Operator Theory, ’90; J. Math. Soc. Japan, ‘91
constrained channel
SLIDE 23 Single-letter formula
It can be shown that [
̂ ℛ⊗n : ℛ⊗n] = [ ̂ ℛ : ℛ]n
Hence we get a single letter formula! lim
n→∞
1 n sup
{px},{ωx}
χ({px}, {ωx}) − χ({px}, {ωx|ℛ⊗n}) states on with
̂ ℛ⊗n ω ∘ ℰ⊗n = ω
= lim
n→∞
1 n log[ ̂ ℛ⊗n : ℛ⊗n]
SLIDE 24
What is missing?
No coding theorem yet! no pure states analogue of typical subspaces? look at hyperfinite factors? Positive side: can find states in concrete examples subfactors are well studied
SLIDE 25
Example
SLIDE 26
SLIDE 27 A(Λ) = O
x∈Λ
Md(C)
Quasi-local algebra A =
[
Λ
A(Λ)
k·k
SLIDE 28 A(Λ) = O
x∈Λ
Md(C)
and local Hamiltonians HΛ ∈ A(Λ)
SLIDE 29 A(Λ) = O
x∈Λ
Md(C)
ground state representation π0
SLIDE 30
Toric code
unique translation invariant ground state ω0 corresponding GNS representation π0 can identify anyonic excitations with π0 ∘ ρ where is localised and transportable autom.
ρ
can recover all anyons and their properties
SLIDE 31 RAB = RA ∨ RB RA = π0(A(A))00 RB
b RAB = π0(A((A ∪ B)c))0
SLIDE 32
Locality: RAB ⊂ b RAB but: RAB $ b RAB
SLIDE 33
A
SLIDE 34
Some remarks
Four states that can be distinguished perfectly on …
̂ ℛAB
… but coincide on ℛAB Inclusion of finite dim. algebras …
A ↦ A ⊕ A ⊕ A ⊕ A
with “convergence” to ℛAB ⊂
̂ ℛAB
SLIDE 35
Conclusions
SLIDE 36
Conclusions
Coding theorem missing Stability of capacity? QI channels for op. algs.