Cover Image

Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yu, Nengkun, Zhou, Li, Ying, Shenggang, Ying, Mingsheng
Format:	Preprint
Published:	2018
Subjects:	Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantum Max-Flow Min-Cut theorem
by: Yu, Nengkun
Published: (2021)

Image Computation for Quantum Transition Systems
by: Hong, Xin, et al.
Published: (2025)

Quantum State Preparation Based on LimTDD
by: Hong, Xin, et al.
Published: (2025)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
by: Hong, Xin, et al.
Published: (2025)

Optimal Compilation Strategies for QFT Circuits in Neutral-Atom Quantum Computing
by: Gao, Dingchao, et al.
Published: (2025)

Symbolic Specification and Reasoning for Quantum Data and Operations
by: Ying, Mingsheng
Published: (2025)

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

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

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

RH: An Architecture for Redesigning Quantum Circuits on Quantum Hardware Devices
by: He, Runhong, et al.
Published: (2024)

Atomicity in Distributed Quantum Computing
by: Zhang, Zhicheng, et al.
Published: (2024)

Borrowing Dirty Qubits in Quantum Programs
by: Su, Bonan, et al.
Published: (2025)

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

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

DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation
by: Huang, Yunqi, et al.
Published: (2024)

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

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

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

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

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

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

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

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

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

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

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

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

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

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

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

Quantum Speedup for Hypergraph Sparsification
by: Liu, Chenghua, et al.
Published: (2025)

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

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

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
by: Hong, Xin, et al.
Published: (2020)

Hamiltonian-Informed Point Group Symmetry-Respecting Ansatz for Variational Quantum Eigensolver
by: He, Runhong, et al.
Published: (2025)

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

Utilizing Quantum Processor for the Analysis of Strongly Correlated Materials
by: Li, Hengyue, et al.
Published: (2024)

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

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

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