Yupan Liu
@yupan-liu.bsky.social
|complexity⟩+|quantum⟩.
https://yupanliu.info
https://yupanliu.info
The principle of deferred measurements makes quantum logspace with O(logn) intermediate measurements no stronger than the unitary case. But what about quantum *interactive proofs* with an almost unitary logspace verifier? We explore this in the updated version of arxiv.org/abs/2410.23958.
Space-bounded quantum interactive proof systems
We introduce two models of space-bounded quantum interactive proof systems, ${\sf QIPL}$ and ${\sf QIP_{\rm U}L}$. The ${\sf QIP_{\rm U}L}$ model, a space-bounded variant of quantum interactive proofs...
arxiv.org
February 23, 2025 at 4:06 AM
The principle of deferred measurements makes quantum logspace with O(logn) intermediate measurements no stronger than the unitary case. But what about quantum *interactive proofs* with an almost unitary logspace verifier? We explore this in the updated version of arxiv.org/abs/2410.23958.
Reposted by Yupan Liu
A student asked me whether research was easier or harder back when I was a student.
Sure you have fancy drones today, but I had my most success standing on the step stools of giants.
blog.computationalco...
Sure you have fancy drones today, but I had my most success standing on the step stools of giants.
blog.computationalco...
Research Then and Now
A student asked me if complexity research was easier when I was a student. Interesting question. Let's compare research now versus the late ...
blog.computationalcomplexity.org
February 12, 2025 at 7:03 PM
A student asked me whether research was easier or harder back when I was a student.
Sure you have fancy drones today, but I had my most success standing on the step stools of giants.
blog.computationalco...
Sure you have fancy drones today, but I had my most success standing on the step stools of giants.
blog.computationalco...