Imagen de Portada

Manjushri: A Tool for Equivalence Checking of Quantum Circuits

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Trinh, Xuan Du, Sistla, Meghana, Yu, Nengkun, Reps, Thomas
Formato:	Preprint
Publicado:	2026
Materias:	Quantum Physics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
por: Sistla, Meghana, et al.
Publicado: (2023)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
por: Sistla, Meghana, et al.
Publicado: (2022)

Adaptivity is not helpful for Pauli channel learning
por: Trinh, Xuan Du, et al.
Publicado: (2024)

Partial Equivalence Checking of Quantum Circuits
por: Chen, Tian-Fu, et al.
Publicado: (2022)

Equivalence Checking of Parameterised Quantum Circuits
por: Hong, Xin, et al.
Publicado: (2024)

Equivalence Checking of Quantum Circuits by Model Counting
por: Mei, Jingyi, et al.
Publicado: (2024)

Quantum Max-Flow Min-Cut theorem
por: Yu, Nengkun
Publicado: (2021)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
por: Huang, Mingyu, et al.
Publicado: (2025)

Model Checking Quantum Continuous-Time Markov Chains
por: Xu, Ming, et al.
Publicado: (2021)

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
por: Ricciardi, Jérome, et al.
Publicado: (2025)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
por: Quetschlich, Nils, et al.
Publicado: (2024)

Entanglement Certification by Measuring Nonlocality
por: Trinh, Xuan Du, et al.
Publicado: (2025)

What if you have only one copy? Low-depth quantum circuits have no advantage in decision problems!
por: Yu, Nengkun
Publicado: (2024)

Quantum Indistinguishable Obfuscation via Quantum Circuit Equivalence
por: Zhang, Yuanjing, et al.
Publicado: (2024)

Do CFLOBDDs Actually Make Use of Linear Structure?
por: Sistla, Meghana Aparna, et al.
Publicado: (2026)

Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem
por: Yu, Nengkun, et al.
Publicado: (2018)

Sample optimal tomography of quantum Markov chains
por: Gao, Li, et al.
Publicado: (2022)

Quantum channel tomography and estimation by local test
por: Chen, Kean, et al.
Publicado: (2025)

Towards Efficient Verification of Computation in Quantum Devices
por: Li, Keren, et al.
Publicado: (2025)

Artifact for the Paper "How Many Quantum Circuit Identities Are Needed to Generate All Others?"
por: Ding, Yuantian, et al.
Publicado: (2026)

Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
por: Lin, Shang-Wei, et al.
Publicado: (2026)

Formalizing CHSH Rigidity in Lean 4
por: Zhao, Tianrun, et al.
Publicado: (2026)

Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits (Extended)
por: Ross, Neil J., et al.
Publicado: (2025)

A Tool For Debugging Quantum Circuits
por: Metwalli, Sara Ayman, et al.
Publicado: (2022)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
por: Long, Peixun, et al.
Publicado: (2023)

Discrimination of quantum states under locality constraints in the many-copy setting
por: Cheng, Hao-Chung, et al.
Publicado: (2020)

Optimal lower bound for quantum channel tomography in away-from-boundary regime
por: Chen, Kean, et al.
Publicado: (2026)

Approximation does not help in quantum unitary time-reversal
por: Chen, Kean, et al.
Publicado: (2025)

Quantum channel tomography: optimal bounds and a Heisenberg-to-classical phase transition
por: Chen, Kean, et al.
Publicado: (2026)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
por: Kole, Abhoy, et al.
Publicado: (2024)

On the emergence of classical stochasticity
por: Trinh, Xuan Du, et al.
Publicado: (2026)

Pauli Measurements Are Near-Optimal for Single-Qubit Tomography
por: Acharya, Jayadev, et al.
Publicado: (2025)

SSR: A Swapping-Sweeping-and-Rewriting Optimizer for Quantum Circuit Transformation
por: Huang, Yunqi, et al.
Publicado: (2025)

Spacetime Quantum Circuit Complexity via Measurements
por: Du, Zhenyu, et al.
Publicado: (2024)

Circuit Partitioning for the Quantum Internet
por: Sünkel, Leo, et al.
Publicado: (2025)

Circuit Quantum Acoustodynamics in a Scalable Phononic Integrated Circuit Architecture
por: Wang, Weiting, et al.
Publicado: (2025)

Efficient Equivalent of Shallow Quantum Hashing
por: Zinnatullin, Ilnar, et al.
Publicado: (2025)

Programmable Quantum Processors: Equivalence and Learning
por: Pavličko, Jaroslav
Publicado: (2024)