Related papers: Superposition detection and QMA with non-collapsin…
We define and study a variant of QMA (Quantum Merlin Arthur) in which Arthur can make multiple non-collapsing measurements to Merlin's witness state, in addition to ordinary collapsing measurements. By analogy to the class PDQP defined by…
We find a modification to QMA where having one quantum proof is strictly less powerful than having two unentangled proofs, assuming EXP $\ne$ NEXP. This gives a new route to prove QMA(2) = NEXP that overcomes the primary drawback of a…
Quantum entanglement is a fundamental property of quantum mechanics and plays a crucial role in quantum computation and information. We study entanglement via the lens of computational complexity by considering quantum generalizations of…
This paper studies multiple-proof quantum Merlin-Arthur (QMA) proof systems in the setting when the completeness-soundness gap is small. Small means that we only lower-bound the gap with an inverse-exponential function of the input length,…
We study a variant of QMA where quantum proofs have no relative phase (i.e. non-negative amplitudes, up to a global phase). If only completeness is modified, this class is equal to QMA [arXiv:1410.2882]; but if both completeness and…
With the example of a Stern-Gerlach measurement on a spin-1/2 atom, we show that a superposition of both paths may be observed compatibly with properties attributed to state collapse - for example, the singleness (or mutual exclusivity) of…
We initiate the systematic study of QMA algorithms in the setting of property testing, to which we refer as QMA proofs of proximity (QMAPs). These are quantum query algorithms that receive explicit access to a sublinear-size untrusted proof…
We study dynamics of the measurement process in quantum dot systems, where a particular state out of coherent superposition is observed. The ballistic point-contact placed near one of the dots is taken as a noninvasive detector. We…
Quantum superposition, collapse of wave function and quantum measurement problem are reexamined based on nonadiabatic dressed states and experimental observations on the quantum transitions. The physical mechanisms behind these processes…
The superposition principle is the cornerstone of quantum mechanics, leading to a variety of genuinely quantum effects. Whether the principle applies also to macroscopic systems or, instead, there is a progressive breakdown when moving to…
We study the power of QMA(2) with postselection and show that the power is equal to NEXP. Our method for showing this equality can be also used to prove that other classes with exponentially small completeness-soundness gap equals to the…
In this work we attempt to confront the orthodox widespread claim present in the foundational literature of Quantum Mechanics (QM) according to which 'superpositions are never actually observed in the lab'. In order to do so, we begin by…
Coherent superpositions are one of the hallmarks of quantum mechanics and are vital for any quantum mechanical device to outperform the classically achievable. Generically, superpositions are verified in interference experiments, but…
We propose tests of the weak equivalence principle (WEP) using a torsion balance, in which superposition of energy eigenstates are created in a controllable way for the test masses. After general considerations on the significance of tests…
The quantum marginal problem asks whether a set of given density matrices are consistent, i.e., whether they can be the reduced density matrices of a global quantum state. Not many non-trivial analytic necessary (or sufficient) conditions…
The high resilience to de-coherence shown by a recently discovered Macroscopic Quantum Superposition (MQS) generated by a quantum injected optical parametric amplifier (QI-OPA) and involving a number of photons in excess of 5x10^4 motivates…
It was recently shown by Atserias, Buss and Mueller that the standard complexity-theoretic conjecture NEXP not in P / poly is consistent with the relatively strong bounded arithmetic theory V^0_2, which can prove a substantial part of…
Aaronson, Bouland, Fitzsimons and Lee introduced the complexity class PDQP (which was original labeled naCQP), an alteration of BQP enhanced with the ability to obtain non-collapsing measurements, samples of quantum states without…
We study the geometric structure of the space of random measures $\mathcal{P}_p(\mathcal{P}_p(X))$, endowed with the Wasserstein on Wasserstein metric, where $(X, d)$ is a complete separable metric space. In this setting, we prove a metric…
We show that long standing debates on the collapse and the role of the observer in quantum mechanics can be resolved experimentally via a nondistructive continuous monitoring of a single quantum system. An example of such a system, coupled…