2 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…