A Mathematical Exploration to Equivalence Checking of Quantum Circuits. - You-Cheng Lin; Yi-Ting Li; Wuqian Tang; Yung-Chih Chen; Chia-Chieh Chu; Chun-Yao Wang (DATE, 2026)