:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Lin, Huiping, Deng, Ruixuan, Yao, Chris Z., Ji, Zhengfeng, Ying, Mingsheng
Formato:	Preprint
Publicado:	2024
Materias:	Quantum Physics
Acceso en línea:	https://arxiv.org/abs/2412.08956
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Breaking the Treewidth Barrier in Quantum Circuit Simulation with Decision Diagrams
por: Cheng, Bin, et al.
Publicado: (2025)

Quantum Speedup for Hypergraph Sparsification
por: Liu, Chenghua, et al.
Publicado: (2025)

Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
por: Guan, Ji, et al.
Publicado: (2026)

Parallel Quantum Algorithm for Hamiltonian Simulation
por: Zhang, Zhicheng, et al.
Publicado: (2021)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
por: Zhang, Zhicheng, et al.
Publicado: (2024)

Access Control Threatened by Quantum Entanglement
por: Zhang, Zhicheng, et al.
Publicado: (2025)

Quantum Simulation of Noisy Quantum Networks
por: Riera-Sàbat, Ferran, et al.
Publicado: (2025)

Accelerating Regression Tasks with Quantum Algorithms
por: Liu, Chenghua, et al.
Publicado: (2025)

Lévy-Khintchine Structure Enables Fast-Forwardable Lindbladian Simulation
por: Gao, Minbo, et al.
Publicado: (2025)

Quantum Approximate $k$-Minimum Finding
por: Gao, Minbo, et al.
Publicado: (2024)

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
por: Lin, Yanling, et al.
Publicado: (2024)

Measurement-based Verification of Quantum Markov Chains
por: Guan, Ji, et al.
Publicado: (2024)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
por: Li, Chenjian, et al.
Publicado: (2025)

Symbolic Specification and Reasoning for Quantum Data and Operations
por: Ying, Mingsheng
Publicado: (2025)

Instantaneous Quantum Polynomial-Time Sampling and Verifiable Quantum Advantage: Stabilizer Scheme and Classical Security
por: Bremner, Michael J., et al.
Publicado: (2023)

A Practical Quantum Hoare Logic with Classical Variables, I
por: Ying, Mingsheng
Publicado: (2024)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
por: Huang, Qifan, et al.
Publicado: (2026)

Quantum Maximum Entropy Inference and Hamiltonian Learning
por: Gao, Minbo, et al.
Publicado: (2024)

Symbolic Execution for Quantum Error Correction Programs
por: Fang, Wang, et al.
Publicado: (2023)

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

Automatic Test Pattern Generation for Robust Quantum Circuit Testing
por: Chen, Kean, et al.
Publicado: (2022)

Efficient Quantum Simulation of Open Quantum System Dynamics on Noisy Quantum Computers
por: Sun, Shin, et al.
Publicado: (2021)

New Quantum Algorithms for Computing Quantum Entropies and Distances
por: Wang, Qisheng, et al.
Publicado: (2022)

Atomicity in Distributed Quantum Computing
por: Zhang, Zhicheng, et al.
Publicado: (2024)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
por: Dai, Aochu, et al.
Publicado: (2025)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
por: Li, Zihao, et al.
Publicado: (2026)

Verification of Recursively Defined Quantum Circuits
por: Ying, Mingsheng, et al.
Publicado: (2024)

Quantum Hamiltonian Certification
por: Gao, Minbo, et al.
Publicado: (2025)

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

Quantum Simulation of Dissipative Energy Transfer via Noisy Quantum Computer
por: Lin, Chin-Yi, et al.
Publicado: (2023)

Quantum Algorithm for Lexicographically Minimal String Rotation
por: Wang, Qisheng, et al.
Publicado: (2020)

Digital Quantum Simulation of the Holstein-Primakoff Transformation on Noisy Qubits
por: Yip, Kelvin, et al.
Publicado: (2026)

Quantum Büchi Automata
por: Wang, Qisheng, et al.
Publicado: (2018)

Quantum Nonlocality under Latency Constraints
por: Ding, Dawei, et al.
Publicado: (2025)

Quantum Speedup for Sampling Random Spanning Trees
por: Apers, Simon, et al.
Publicado: (2025)

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
por: Wang, Ziyuan, et al.
Publicado: (2025)

Simulating Electron Transfer on Noisy Quantum Computers
por: Gajewski, Marvin, et al.
Publicado: (2025)

BI-based Reasoning about Quantum Programs with Heap Manipulations
por: Su, Bonan, et al.
Publicado: (2024)

Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games
por: Gao, Minbo, et al.
Publicado: (2023)