The following pages link to Quantum proofs (Q2808277):
Displaying 15 items.
- Lieb's concavity theorem, matrix geometric means, and semidefinite optimization (Q344905) (← links)
- A quantum characterization of NP (Q445251) (← links)
- Ancilla dimension in quantum channel discrimination (Q529596) (← links)
- The complexity of translationally invariant spin chains with low local dimension (Q1683948) (← links)
- Quantum interactive proofs and the complexity of separability testing (Q2941643) (← links)
- Quantum versus classical proofs and advice (Q3002783) (← links)
- Temporally unstructured quantum computation (Q3561913) (← links)
- Distinguishing short quantum computations (Q4910753) (← links)
- Proofs of Proximity for Distribution Testing (Q4993323) (← links)
- Nonlocal Games with Noisy Maximally Entangled States are Decidable (Q5096445) (← links)
- Classical verification of quantum proofs (Q5361888) (← links)
- On quantum interactive proofs with short messages (Q5414604) (← links)
- Interactive proofs for \(\mathsf{BQP}\) via self-tested graph states (Q5741632) (← links)
- The Connes embedding problem: A guided tour (Q5868652) (← links)
- Efficient Quantum Algorithms for Testing Symmetries of Open Quantum Systems (Q6181205) (← links)