We are initiating multiple projects focused on entanglement verification within quantum networks, aimed at applications in distributed quantum computing.

Quantum algorithms are developed for a variety of computing challenges. Our research is dedicated to compiling these algorithms into compact programs, enabling their execution on quantum processors. Related publications:

1. Optimal implementation of quantum gates with two controls

Jens Palsberg, Nengkun Yu, https://doi.org/10.1016/j.laa.2024.03.039

2. Structured Theorem for Quantum Programs and its Applications

Nengkun Yu, https://doi.org/10.1145/3587154

Testing and learning quantum states are fundamental processes in quantum computing, aiming to understand and manipulate quantum systems/devices accurately. Related publications:

1.Discrimination of Quantum States Under Locality Constraints in the Many-Copy Setting

Hao-Chung Cheng, Andreas Winter & Nengkun Yu,

https://doi.org/10.1007/s00220-023-04836-0

2.Learning marginals suffices!

Nengkun Yu, Tzu-Chieh Wei,  https://doi.org/10.48550/arXiv.2303.08938