1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CR2025
Computational Certified Deletion Property of Magic Square Game and its Application to Classical Secure Key Leasing
Yuki Takeuchi, Duo Xu
We present the first construction of a computational Certified Deletion Property (CDP) achievable with classical communication, derived from the compilation of the non-local Magic…
quant-ph2025
Hyperbolic Floquet code with graph-edge syndromes
Hideyuki Ozawa, Isamu Kudo, Yuki Takeuchi +1
Quantum error correction would be a primitive for demonstrating quantum advantage in a realistic noisy environment. Floquet codes are a class of dynamically generated, stabilizer-b…
quant-ph2024★ 1 cited
Unconditional verification of quantum computation with classical light
Yuki Takeuchi, Akihiro Mizutani
Verification of quantum computation is a task to efficiently check whether an output given from a quantum computer is correct. Existing verification protocols conducted between a q…