2 citations · 2 across the 2 of their papers we have counts for
2 papers
quant-ph2026
Two-copy distillability of one-copy-undistillable negative-partial-transpose states in every dimension
Gelo Noel M. Tabia, Kai-Siang Chen, Min-Hsiu Hsieh
Whether negative-partial-transpose (NPT) states that are undistillable from one copy become distillable from finitely many copies remains a basic open problem in entanglement theor…
cs.SC2026★ 2 cited
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen +4
Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation…