2 papers
cs.ET2026
On the completeness of transformation rules in reversible logic synthesis
Shiguang Feng, Zongxing Xiong, Lvzhou Li
Transformation rules play a central role in reversible circuit optimization, template-based rewriting, and equivalence checking, and establishing their completeness is a fundamenta…
quant-ph2026
Genuinely nonlocal sets with smallest cardinality
Zong-Xing Xiong, Mao-Sheng Li, Bing Yu +2
Recently, there is growing interest in the study of genuine nonlocality, which serves to explore the local accessability of global information encoded in orthogonal multipartite qu…