Pith. sign in

REVIEW 2 cited by

On the Hardness of Detecting Macroscopic Superpositions

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2009.07450 v3 pith:TC2H7GTN submitted 2020-09-16 quant-ph gr-qc

classification quant-phgr-qc
keywords rangledeadabilityalivequantumstatesinterferencecircuit
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

When is decoherence "effectively irreversible"? Here we examine this central question of quantum foundations using the tools of quantum computational complexity. We prove that, if one had a quantum circuit to determine if a system was in an equal superposition of two orthogonal states (for example, the $|$Alive$\rangle$ and $|$Dead$\rangle$ states of Schr\"{o}dinger's cat), then with only a slightly larger circuit, one could also $\mathit{swap}$ the two states (e.g., bring a dead cat back to life). In other words, observing interference between the $|$Alive$\rangle$and $|$Dead$\rangle$ states is a "necromancy-hard" problem, technologically infeasible in any world where death is permanent. As for the converse statement (i.e., ability to swap implies ability to detect interference), we show that it holds modulo a single exception, involving unitaries that (for example) map $|$Alive$\rangle$ to $|$Dead$\rangle$ but $|$Dead$\rangle$ to -$|$Alive$\rangle$. We also show that these statements are robust---i.e., even a $\mathit{partial}$ ability to observe interference implies partial swapping ability, and vice versa. Finally, without relying on any unproved complexity conjectures, we show that all of these results are quantitatively tight. Our results have possible implications for the state dependence of observables in quantum gravity, the subject that originally motivated this study.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A complexity theory for non-local quantum computation

    quant-ph 2025-05 conditional novelty 7.0 of 10

    f-route, f-measure and CDQS are equivalent under O(1) overhead reductions, so known upper and lower bounds for each transfer to the other two.

  2. Wavefunction branches demand a definition!

    quant-ph 2025-06 accept novelty 4.0 of 10

    A perspective comparing two quantum-complexity definitions of wavefunction branches, finding neither satisfactory and identifying the open problems that remain.

Pith tools