175 citations · 1.6k across the 65 of their papers we have counts for
Showing 2020 · quant-phShow all
2 papers · 2 filters
quant-ph2020★ 2 cited
Symbolic Verification of Quantum Circuits
Mingsheng Ying, Zhengfeng Ji
This short note proposes a symbolic approach for representing and reasoning about quantum circuits using complex, vector or matrix-valued Boolean expressions. A major benefit of th…
quant-ph2020★ 12 cited
Quantum soundness of the classical low individual degree test
Zhengfeng Ji, Anand Natarajan, Thomas Vidick +2
Low degree tests play an important role in classical complexity theory, serving as basic ingredients in foundational results such as [BFL91] and the…