Compare Papers

Paper 1

Real-space RG, error correction and Petz map

Keiichiro Furuya, Nima Lashkari, Shoy Ouseph

Year

2020

Journal

arXiv preprint

DOI

arXiv:2012.14001

arXiv

2012.14001

There are two parts to this work: First, we study the error correction properties of the real-space renormalization group (RG). The long-distance operators are the (approximately) correctable operators encoded in the physical algebra of short-distance operators. This is closely related to modeling the holographic map as a quantum error correction code. As opposed to holography, the real-space RG of a many-body quantum system does not have the complementary recovery property. We discuss the role of large $N$ and a large gap in the spectrum of operators in the emergence of complementary recovery. Second, we study the operator algebra exact quantum error correction for any von Neumann algebra. We show that similar to the finite dimensional case, for any error map in between von Neumann algebras the Petz dual of the error map is a recovery map if the inclusion of the correctable subalgebra of operators has finite index.

Open paper

Paper 2

Proofs of quantum memory

Minki Hhan, Tomoyuki Morimae, Yasuaki Okinaka, Takashi Yamakawa

Year

2025

Journal

arXiv preprint

DOI

arXiv:2510.04159

arXiv

2510.04159

With the rapid advances in quantum computer architectures and the emerging prospect of large-scale quantum memory, it is becoming essential to classically verify that remote devices genuinely allocate the promised quantum memory with specified number of qubits and coherence time. In this paper, we introduce a new concept, proofs of quantum memory (PoQM). A PoQM is an interactive protocol between a classical probabilistic polynomial-time (PPT) verifier and a quantum polynomial-time (QPT) prover over a classical channel where the verifier can verify that the prover has possessed a quantum memory with a certain number of qubits during a specified period of time. PoQM generalize the notion of proofs of quantumness (PoQ) [Brakerski, Christiano, Mahadev, Vazirani, and Vidick, JACM 2021]. Our main contributions are a formal definition of PoQM and its constructions based on hardness of LWE. Specifically, we give two constructions of PoQM. The first is of a four-round and has negligible soundness error under subexponential-hardness of LWE. The second is of a polynomial-round and has inverse-polynomial soundness error under polynomial-hardness of LWE. As a lowerbound of PoQM, we also show that PoQM imply one-way puzzles. Moreover, a certain restricted version of PoQM implies quantum computation classical communication (QCCC) key exchange.

Open paper