Pseudoentanglement Ain't Cheap

Grewal, Sabee; Iyer, Vishnu; Kretschmer, William; Liang, Daniel

Pseudoentanglement Ain't Cheap

Mar 29, 2024

15 pages

e-Print:

2404.00126 [quant-ph]

View in:

ADS Abstract Service

pdf

reference search6 citations

Citations per year

Abstract: (arXiv)

We show that any pseudoentangled state ensemble with a gap of

t

bits of entropy requires

\Omega(t)

non-Clifford gates to prepare. This bound is tight up to polylogarithmic factors if linear-time quantum-secure pseudorandom functions exist. Our result follows from a polynomial-time algorithm to estimate the entanglement entropy of a quantum state across any cut of qubits. When run on an

n

-qubit state that is stabilized by at least

2^{n-t}

Pauli operators, our algorithm produces an estimate that is within an additive factor of

\frac{t}{2}

bits of the true entanglement entropy.

Note:

15 pages; v2: slight edits to concurrent work section

entropy: entanglement
operator: Pauli
stability
gate
qubit
quantum state

References(28)

Figures(0)

[ABF+24]

Quantum Pseudoentanglement

Scott Aaronson
(
- Texas U.
)
,
Adam Bouland
(
- Stanford U.
)
,
Bill Fefferman
(
- U. Chicago (main)
)
,
Soumik Ghosh
(
- U. Chicago (main)
)
,
Umesh Vazirani
(
- UC, Berkeley (main)
)

et al.

- Leibniz Int.Proc.Inf. 287 (2024) 2:1-2:21
•
e-Print:
- 2211.00747
•
DOI:
- 10.4230/LIPIcs.ITCS.2024.2

[AG04]

Improved simulation of stabilizer circuits

Scott Aaronson
(
- MIT
)
,
Daniel Gottesman
(
- Perimeter Inst. Theor. Phys.
)

- Phys.Rev.A 70 (2004) 5, 052328
•
e-Print:
- quant-ph/0406196
•
DOI:
- 10.1103/PhysRevA.70.052328

[AG08]

Scott Aaronson and Daniel Gottesman. Identifying Stabilizer States

[AG23]

Efficient Tomography of Non-Interacting-Fermion States

- Leibniz Int.Proc.Inf. 266 (2023) 12:1-12:18
•
e-Print:
- 2102.10458
•
DOI:
- 10.4230/LIPIcs.TQC.2023.12

[Aud07]

A sharp continuity estimate for the von Neumann entropy

Koenraad M.R. Audenaert

- J.Phys.A 40 (2007) 28, 8127
•
DOI:
- 10.1088/1751-8113/40/28/S18

[BBC+19]

Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset, and Mark Howard. Simulation of quantum circuits by low-rank stabilizer decompositions

- Quantum 3 (2019) 181
•
DOI:
- 10.22331/q-2019-09-02-181

[BG16]

Improved Classical Simulation of Quantum Circuits Dominated by Clifford Gates

Sergey Bravyi
(
- IBM Watson Res. Ctr.
)
,
David Gosset
(
- Caltech
)

- Phys.Rev.Lett. 116 (2016) 25, 250501
•
DOI:
- 10.1103/PhysRevLett.116.250501

[BK05]

Universal quantum computation with ideal Clifford gates and noisy ancillas

Sergei Bravyi
(
- Caltech, IQI
)
,
Alexei Kitaev
(
- Caltech, IQI
)

- Phys.Rev.A 71 (2005) 2, 022316
•
e-Print:
- quant-ph/0403025
•
DOI:
- 10.1103/PhysRevA.71.022316

[CLL23]

Efficient learning of $t$ -doped stabilizer states with single-copy measurements

- Quantum 8 (2024) 1250,
- Quantum 8 (2024) 1250
•
e-Print:
- 2308.07014
•
DOI:
- 10.22331/q-2024-02-12-1250

[FCY+04]

Entanglement in the stabilizer formalism

e-Print:
- quant-ph/0406168

[FLY22]

Zhiyuan Fan, Jiatu Li, and Tianqi Yang. The Exact Complexity of Pseudorandom Functions and the Black-Box Natural Proof Barrier for Bootstrapping Results in Computational Complexity. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC, page 962-975

•
DOI:
- 10.1145/3519935.3520010

[GIKL23a]

Efficient Learning of Quantum States Prepared With Few Non-Clifford Gates

e-Print:
- 2305.13409

[GIKL23b]

Efficient Learning of Quantum States Prepared With Few Non-Clifford Gates II: Single-Copy Measurements

Sabee Grewal
(
- Texas U.
)
,
Vishnu Iyer
(
- Texas U. and
- Sandia
)
,
William Kretschmer
(
- Texas U.
)
,
Daniel Liang
(
- Texas U. and
- Rice U.
)

e-Print:
- 2308.07175

[GIKL23c]

Improved Stabilizer Estimation via Bell Difference Sampling

•
e-Print:
- 2304.13915
•
DOI:
- 10.1145/3618260.3649738

[GIKL23d]

Low-Stabilizer-Complexity Quantum States Are Not Pseudorandom

e-Print:
- 2209.14530
•
DOI:
- 10.4230/LIPIcs.ITCS.2023.64

[GNW21]

Schur–Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations

- Commun.Math.Phys. 385 (2021) 3, 1325-1393
•
DOI:
- 10.1007/s00220-021-04118-7

[GOL24]

Magic-induced computational separation in entanglement theory

Andi Gu
(
- Harvard U.
)
,
Salvatore F.E. Oliviero
(
- Pisa, Scuola Normale Superiore
)
,
Lorenzo Leone
(
- Freie U., Berlin
)

e-Print:
- 2403.19610

[GTB23]

Pseudorandomness from Subset States

Tudor Giurgica-Tiron
(
- Stanford U.
)
,
Adam Bouland
(
- Stanford U.
)

e-Print:
- 2312.09206

[HG23]

Bell Sampling from Quantum Circuits

Dominik Hangleiter
(
- Maryland U.
)
,
Michael J. Gullans
(
- Maryland U.
)

- Phys.Rev.Lett. 133 (2024) 2, 020601
•
e-Print:
- 2306.00083
•
DOI:
- 10.1103/PhysRevLett.133.020601

[IKOS08]

Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky, and Amit Sahai. Cryptography with Constant Computational Overhead. In Proceedings of the Fortieth Annual ACM Symposium on Theory of Computing, STOC ’08, page 433-442