Certifying genuine multipartite nonlocality without inequality in quantum networks

Genuine multipartite nonlocality constitutes the strongest form of nonlocality, which is a key resource for many quantum communication and computational tasks. Standard methods for certifying nonlocality often require accessing contradictions in paradoxes or violations of Bell inequalities for composite quantum systems. However, the existing approaches become infeasible and cannot be adopted straightforwardly for a quantum network scenario, which usually possesses complex topological structure and many independent quantum sources. We have developed a simple and customizable strategy to achieve scalable, efficient, and flexible characterizations for various typical quantum network scenarios. The subtle something-versus-nothing contradiction in Hardy-type paradoxes without inequality allows us to substantiate genuine multipartite nonlocality in general quantum networks. Examples range from chain-type network to star-type network, with source connections of any pure entangled permutation symmetric multiqubit states, entangled two-qubit states, etc. The tools extend significantly our ability to certify genuine multipartite nonlocality in state-of-the-art network situations, and make a prominent step forward toward deeper understanding and practical depiction of quantum networks.