Imagen de Portada

Towards Efficient Verification of Computation in Quantum Devices

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Keren, Yan, Peng, Jiang, Hanru, Yu, Nengkun
Formato:	Preprint
Publicado:	2025
Materias:	Quantum Physics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Direct Measurement of Density Matrices via Dense Dual Bases
por: Wang, Yu, et al.
Publicado: (2024)

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

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
por: Yu, Nengkun, 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)

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

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

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

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

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
por: Trinh, Xuan Du, et al.
Publicado: (2026)

Device-independent Verification of Quantum Coherence without Quantum Control
por: Yang, Yan-Han, et al.
Publicado: (2024)

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

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

Realization of Thread Level Parallelism on Quantum Devices
por: Li, Keren, et al.
Publicado: (2025)

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

Quantum Position Verification with Remote Untrusted Devices
por: Kavuri, Gautam A., et al.
Publicado: (2026)

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

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

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

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

Limitations of Noisy Quantum Devices in Computational and Entangling Power
por: Yan, Yuxuan, et al.
Publicado: (2023)

Towards Classical Software Verification using Quantum Computers
por: Issel, Sebastian, et al.
Publicado: (2024)

Resource-Efficient Cross-Platform Verification with Modular Superconducting Devices
por: Dalton, Kieran, et al.
Publicado: (2025)

Toward an Experimental Device-Independent Verification of Indefinite Causal Order
por: Richter, Carla M. D., et al.
Publicado: (2025)

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

Validating a Koopman-Quantum Hybrid Paradigm for Diagnostic Denoising of Fusion Devices
por: Wang, Tie-Jun, et al.
Publicado: (2026)

Plugging Leaks in Fault-Tolerant Quantum Computation and Verification
por: Kapourniotis, Theodoros, et al.
Publicado: (2025)

Verification of Quantum Computations without Trusted Preparations or Measurements
por: Kashefi, Elham, et al.
Publicado: (2024)

Learning Parameterized Quantum Circuits with Quantum Gradient
por: Li, Keren, et al.
Publicado: (2024)

Towards Device-Independent Quantum Key Distribution with Photonic Devices
por: Lanore, Corentin, et al.
Publicado: (2026)

Efficient Device-Independent Quantum Key Distribution
por: Chen, Shih-Hsuan, et al.
Publicado: (2023)

Floquet-informed Learning of Periodically Driven Hamiltonians
por: Li, Keren
Publicado: (2025)

Quantum-Chiplet: A Novel Python-Based Efficient and Scalable Design Methodology for Quantum Circuit Verification and Implementation
por: Kao, Yu-Ting, et al.
Publicado: (2025)

Tolerating Device Failure in Distributed Quantum Computing
por: Sutcliffe, Evan, et al.
Publicado: (2026)

Efficient Arbitrated Quantum Digital Signature with Multi-Receiver Verification
por: Xiong, Siyu, et al.
Publicado: (2024)

Classical Verification of Quantum Computations in Linear Time
por: Zhang, Jiayu
Publicado: (2022)

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

Efficient Formal Verification of Quantum Error Correcting Programs
por: Huang, Qifan, et al.
Publicado: (2025)

Quantum-Computer-Based Verification of Quantum Thermodynamic Uncertainty Relation
por: Ishida, Nobumasa, et al.
Publicado: (2024)

Universal and Efficient Quantum State Verification via Schmidt Decomposition and Mutually Unbiased Bases
por: Li, Yunting, et al.
Publicado: (2025)

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
por: Quetschlich, Nils, et al.
Publicado: (2023)