Image de couverture de livre

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Huang, Mingyu, Guan, Ji, Fang, Wang, Ying, Mingsheng
Format:	Preprint
Publié:	2025
Sujets:	Quantum Physics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Equivalence Checking of Parameterised Quantum Circuits
par: Hong, Xin, et autres
Publié: (2024)

Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks
par: Lin, Huiping, et autres
Publié: (2024)

Partial Equivalence Checking of Quantum Circuits
par: Chen, Tian-Fu, et autres
Publié: (2022)

Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
par: Guan, Ji, et autres
Publié: (2026)

Equivalence Checking of Quantum Circuits by Model Counting
par: Mei, Jingyi, et autres
Publié: (2024)

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
par: Trinh, Xuan Du, et autres
Publié: (2026)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
par: Li, Zihao, et autres
Publié: (2026)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
par: Lin, Yanling, et autres
Publié: (2024)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
par: Quetschlich, Nils, et autres
Publié: (2024)

Automatic Test Pattern Generation for Robust Quantum Circuit Testing
par: Chen, Kean, et autres
Publié: (2022)

Parallel Quantum Algorithm for Hamiltonian Simulation
par: Zhang, Zhicheng, et autres
Publié: (2021)

Measurement-based Verification of Quantum Markov Chains
par: Guan, Ji, et autres
Publié: (2024)

Verification of Recursively Defined Quantum Circuits
par: Ying, Mingsheng, et autres
Publié: (2024)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
par: Ricciardi, Jérome, et autres
Publié: (2025)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
par: Li, Chenjian, et autres
Publié: (2025)

New Quantum Algorithms for Computing Quantum Entropies and Distances
par: Wang, Qisheng, et autres
Publié: (2022)

Extrapolating Pauli Checks for Expectation Value Estimation on Noisy Quantum Devices
par: Langfitt, Quinn, et autres
Publié: (2024)

RH: An Architecture for Redesigning Quantum Circuits on Quantum Hardware Devices
par: He, Runhong, et autres
Publié: (2024)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
par: Huang, Qifan, et autres
Publié: (2026)

Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
par: Lin, Shang-Wei, et autres
Publié: (2026)

Analytical and Compressed Simulation of Noisy Stabilizer Circuits
par: Aigner, Paul, et autres
Publié: (2026)

Efficient Formal Verification of Quantum Error Correcting Programs
par: Huang, Qifan, et autres
Publié: (2025)

Quantum Indistinguishable Obfuscation via Quantum Circuit Equivalence
par: Zhang, Yuanjing, et autres
Publié: (2024)

Real-time Sign-Problem-Suppressed Quantum Monte Carlo Algorithm For Noisy Quantum Circuit Simulations
par: Shen, Tong, et autres
Publié: (2025)

Limitations of Noisy Geometrically Local Quantum Circuits
par: Nelson, Jon, et autres
Publié: (2025)

Nonstabilizerness and Error Resilience in Noisy Quantum Circuits
par: Trigueros, Fabian Ballar, et autres
Publié: (2025)

Symbolic Specification and Reasoning for Quantum Data and Operations
par: Ying, Mingsheng
Publié: (2025)

A Practical Quantum Hoare Logic with Classical Variables, I
par: Ying, Mingsheng
Publié: (2024)

Symmetry-Checking in Band Structure Calculations on a Noisy Quantum Computer
par: Zhang, Shaobo, et autres
Publié: (2025)

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
par: Hong, Xin, et autres
Publié: (2020)

Quantum Simulation of Noisy Quantum Networks
par: Riera-Sàbat, Ferran, et autres
Publié: (2025)

Extending Matchgate Simulation Methods to Universal Quantum Circuits
par: Mocherla, Avinash, et autres
Publié: (2023)

Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem
par: Yu, Nengkun, et autres
Publié: (2018)

Test-Time Training with Quantum Auto-Encoder: From Distribution Shift to Noisy Quantum Circuits
par: Jian, Damien, et autres
Publié: (2024)

Universality in the Anticoncentration of Noisy Quantum Circuits at Finite Depths
par: Sauliere, Arman, et autres
Publié: (2025)

Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits (Extended)
par: Ross, Neil J., et autres
Publié: (2025)

Quantum Algorithm for Lexicographically Minimal String Rotation
par: Wang, Qisheng, et autres
Publié: (2020)

Polynomial-Time Classical Simulation of Noisy Quantum Circuits with Naturally Fault-Tolerant Gates
par: Nelson, Jon, et autres
Publié: (2024)