most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations

researchers with a paper here
collaborating institutions

2 papers

quant-ph2026

Quantum Walks on Simplicial Complexes and Harmonic Homology: Application to Topological Data Analysis with Superpolynomial Speedups

Ryu Hayakawa, Kuo-Chin Chen, Min-Hsiu Hsieh

This work investigates whether quantum walks on simplicial complexes exhibit quantum advantages. We introduce a novel quantum walk that encodes the combinatorial Laplacian, a key o…

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…