Главная
Study mode:
on
1
Intro
2
Theory of Computing
3
The 1930s
4
The EPR paradox (1935)
5
A nonlocal game
6
The genesis of operator algebras
7
A zoo of algebras
8
A mysterious animal
9
A universal machine and unsolvable problem
10
Verifying vs finding proofs
11
The proofs revolution
12
Verifying proofs interactively
13
The power of interactivity
14
Probabilistic checking of proofs
15
Interactive proofs and entanglement
16
The complexity of entanglement
17
An unexpected connection
18
A candidate algorithm
19
The proof (from a thousand miles away)
20
The many facets of MIP* = RE
21
A Frequently Asked Question
22
A parable
Description:
Explore the convergence of computational complexity theory, quantum information, and operator algebras in this Richard M. Karp Distinguished Lecture. Delve into the groundbreaking "MIP* = RE" result, which resolves long-standing problems across multiple fields, including the 44-year-old Connes' Embedding Problem. Trace the evolution of ideas from the 1930s, covering Turing's universal computing machine, quantum entanglement, and von Neumann's operator theory, to cutting-edge developments in theoretical computer science and quantum computing. Gain insights into nonlocal games, interactive proofs, probabilistic checking, and the complexity of entanglement. Suitable for a general scientific audience, this talk requires no specialized background in complexity theory, quantum physics, or operator algebras.

A Tale of Turing Machines, Quantum-Entangled Particles, and Operator Algebras

Simons Institute
Add to list
0:00 / 0:00