On the Hardness of Detecting Macroscopic Superpositions

• URL: http://arxiv.org/abs/2009.07450v3
• Date: Thu, 24 Sep 2020 15:15:57 GMT
• Title: On the Hardness of Detecting Macroscopic Superpositions
• Authors: Scott Aaronson, Yosi Atia, Leonard Susskind
• Abstract summary: We prove that, if one had a quantum circuit to determine if a system was in an equal superposition of two states, one could also swap the two states. In other words, observing interference between the $|$Alive$rangle$ and $|$Dead$rangle$ states is a "necromancy-hard" problem. Our results have possible implications for the state dependence of observables in quantum gravity.
• Score: 3.781421673607643
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• 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.

Related papers

• Comment on "Multiparty quantum mutual information: An alternative definition" [0.0]
  We show that, contrary to the claim by Kumar [Phys. Rev. A 96, 012332], the quantum dual total correlation of an $n$-partite quantum state cannot be represented. We argue that the latter fails to yield a finite value for generalized $n$-partite Greenberger-Horne-Zeilinger states.
  arXiv  Detail & Related papers  (2023-12-30T13:04:11Z)
• Pseudorandom and Pseudoentangled States from Subset States [49.74460522523316]
  A subset state with respect to $S$, a subset of the computational basis, is [ frac1sqrt|S|sum_iin S |irangle. We show that for any fixed subset size $|S|=s$ such that $s = 2n/omega(mathrmpoly(n))$ and $s=omega(mathrmpoly(n))$, a random subset state is information-theoretically indistinguishable from a Haar random state even provided
  arXiv  Detail & Related papers  (2023-12-23T15:52:46Z)
• Exponential Separation between Quantum and Classical Ordered Binary Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
  We study quantum Ordered Binary Decision Diagrams($OBDD$) model. We prove lower bounds and upper bounds for OBDD with arbitrary order of input variables. We extend hierarchy for read$k$-times Ordered Binary Decision Diagrams ($k$-OBDD$) of width.
  arXiv  Detail & Related papers  (2022-04-22T12:37:56Z)
• Wigner's Friend Depends on Self-Contradictory Quantum Amplification [0.0]
  Wigner's Friend can be eliminated as physical possibilities on purely logical grounds. .Zukowski and Markiewicz showed that Wigner's Friend can be eliminated as physical possibilities on purely logical grounds.
  arXiv  Detail & Related papers  (2022-02-15T00:40:38Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• Statistics of projective measurement on a quantum probe as a witness of noncommutativity of algebra of a probed system [0.0]
  We consider a quantum probe $P$ undergoing pure dephasing due to its interaction with a quantum system $S$. For $P$ being a qubit, the witness is particularly simple: observation of breaking of Kolmogorov consistency of sequential measurements on a qubit coupled to $S$ means that the accessible algebra of $S$ is noncommutative.
  arXiv  Detail & Related papers  (2021-11-29T16:54:57Z)
• Quantum double aspects of surface code models [77.34726150561087]
  We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry. We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
  arXiv  Detail & Related papers  (2021-06-25T17:03:38Z)
• Quantum scars from zero modes in an Abelian lattice gauge theory on ladders [0.0]
  We show a new mechanism for generating quantum many-body scars (high-energy eigenstates that violate the eigenstate thermalization hypothesis) in a constrained Hilbert space. We give evidence for such scars on two-leg ladders with up to $56$ spins, which may be tested using available proposals of quantum simulators.
  arXiv  Detail & Related papers  (2020-12-15T19:00:12Z)
• Nondisturbing Quantum Measurement Models [0.0]
  We give formulas for observables and instruments measured by nondisturbing $MM$s. In this article, we give formulas for observables and instruments measured by nondisturbing $MM$s.
  arXiv  Detail & Related papers  (2020-09-26T17:47:57Z)
• Bosonic quantum communication across arbitrarily high loss channels [68.58838842613457]
  A general attenuator $Phi_lambda, sigma$ is a bosonic quantum channel that acts by combining the input with a fixed environment state. We show that for any arbitrary value of $lambda>0$ there exists a suitable single-mode state $sigma(lambda)$. Our result holds even when we fix an energy constraint at the input of the channel, and implies that quantum communication at a constant rate is possible even in the limit of arbitrarily low transmissivity.
  arXiv  Detail & Related papers  (2020-03-19T16:50:11Z)
• Quantum Coupon Collector [62.58209964224025]
  We study how efficiently a $k$-element set $Ssubseteq[n]$ can be learned from a uniform superposition $|Srangle of its elements. We give tight bounds on the number of quantum samples needed for every $k$ and $n$, and we give efficient quantum learning algorithms.
  arXiv  Detail & Related papers  (2020-02-18T16:14:55Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.