Showing 2026 · quant-phShow all
2 papers · 2 filters
quant-ph2026
Exponential speedup in measurement property learning with post-measurement states
Zhenhuan Liu, Qi Ye, Zhenyu Cai +1
Learning properties of quantum states and channels is known to benefit from resources such as entangled operations, auxiliary qubits, and adaptivity, whereas the resource structure…
quant-ph2026
Quantum automated theorem proving
Zheng-Zhi Sun, Qi Ye, Dong-Ling Deng
Automated theorem proving, or more broadly automated reasoning, aims at using computer programs to automatically prove or disprove mathematical theorems and logical statements. It…