2 papers
quant-ph2026
SAT, MaxSAT, and SMT for QLDPC Distance Computation: A Large-Scale Empirical Study
Yu-Fang Chen, Seyed Mohammad Reza Jafari, Ching-Yi Lai
Exact distance computation for quantum LDPC (QLDPC) codes plays a central role in validating candidate fault-tolerant quantum-code constructions, yet the computational structure of…
quant-ph2025
Union-Intersection Union-Find for Decoding Depolarizing Errors in Topological Codes
Tzu-Hao Lin, Ching-Yi Lai
In this paper, we introduce the Union-Intersection Union-Find (UIUF) algorithm for decoding depolarizing errors in topological codes, combining the strengths of iterative and stand…