A robust verification of the quantum nature of light

Quantum nature of time -- proposition of experimental verification

In quantum mechanics time usually appears as classical parameter which means that it is treated as being essentially different from spatial coordinates that are represented by operators. On the other hand, relativity theory demands to treat space and time on an equal footing and there are many approaches to the problem how to introduce time operator. In order to support these approaches we propose the experiment that will clearly expose the equivalence of space and time regarding the relation towards quantum interference. The proposed experiment can show that it is possible to have superpositi…

Practically feasible robust quantum money with classical verification

We introduce a private quantum money scheme with the note verification procedure based on Sampling Matching, a problem in the one-way communication complexity model introduced by Kumar et al.[Nature Communications 10, Article number: 4152]. Our scheme involves a Bank that produces and distributes quantum notes, noteholders who are untrusted and trusted local verifiers of the Bank to whom the holders send their notes in order to carry out transactions. The key aspects of our money scheme include: note verification procedure requiring a single round classical interaction between the local verifi…

The Robustness Verification of Linear Sound Quantum Classifiers

I present a quick and sound method for the robustness verification of a sort of quantum classifiers who are Linear Sound. Since quantum machine learning has been put into practice in relevant fields and Linear Sound Property, LSP is a pervasive property, the method could be universally applied. I implemented my method with a Quantum Convolutional Neural Network, QCNN using MindQuantum, Huawei and successfully verified its robustness when classifying MNIST dataset.

VeriQR：量子机器学习模型的鲁棒性验证工具

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models

VeriQR是首个形式化验证和改进量子机器学习模型鲁棒性的工具，支持精确及近似算法，并能通过对抗训练和噪声增强提升鲁棒性。

Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm

In recent years, quantum computers and algorithms have made significant progress indicating the prospective importance of quantum computing (QC). Especially combinatorial optimization has gained a lot of attention as an application field for near-term quantum computers, both by using gate-based QC via the Quantum Approximate Optimization Algorithm and by quantum annealing using the Ising model. However, demonstrating an advantage over classical methods in real-world applications remains an active area of research. In this work, we investigate the robustness verification of ReLU networks, which…

盲测量-based量子计算中图态的鲁棒高效验证

Robust and efficient verification of graph states in blind measurement-based quantum computation

提出一种鲁棒高效的协议，用于在对抗性场景下验证盲MBQC中的资源图态，仅需局部Pauli测量即可实现关于系统尺寸和目标精度的最优标度行为，并指数级提升显著性水平的标度行为。