Abstract:Quantum nonlocality based on state discrimination describes the global property of the set of orthogonal states and has a wide range of applications in quantum cryptographic protocols. Strongest nonlocality is the strongest form of quantum nonlocality recently presented in multipartite quantum systems: a set of orthogonal multipartite quantum states is strongest nonlocal if the only orthogonality-preserving local measurements on the subsystems in every bipartition are trivial. In this work, we found a construction of strongest nonlocal sets in $\mathbb{C}^{d_{1}}\otimes \mathbb{C}^{d_{2}}\otimes \mathbb{C}^{d_{3}}$ $(2\leq d_{1}\leq d_{2}\leq d_{3})$ of size $d_2d_3+1$ without stopper states. Then we obtain the strongest nonlocal sets in four-partite systems with $d^3+1$ orthogonal states in $\mathbb{C}^d\otimes \mathbb{C}^{d}\otimes \mathbb{C}^{d}\otimes \mathbb{C}^{d}$ $(d\geq2)$ and $d_{2}d_{3}d_{4}+1$ orthogonal states in $\mathbb{C}^{d_{1}}\otimes \mathbb{C}^{d_{2}}\otimes \mathbb{C}^{d_{3}}\otimes \mathbb{C}^{d_{4}}$ $(2\leq d_{1}\leq d_{2}\leq d_{3}\leq d_{4})$. Surprisingly, the number of the elements in all above constructions perfectly reaches the recent conjectured lower bound and reduces the size of the strongest nonlocal set in $\mathbb{C}^{d}\otimes \mathbb{C}^{d}\otimes \mathbb{C}^{d}\otimes \mathbb{C}^{d}$ of [\href{<a class="link-external link-https" href="https://doi.org/10.1103/PhysRevA.108.062407" rel="external noopener nofollow">this https URL</a>}{Phys. Rev. A \textbf{108}, 062407 (2023)}] by $d-2$. In particular, the general optimal construction of the strongest nonlocal set in four-partite system is completely solved for the first time, which further highlights the theory of quantum nonlocality from the perspective of state discrimination.

The construction of sets with strong nonlocality using fewer states

Nonlocal sets of orthogonal product states with less members in multipartite quantum systems

Completable sets of orthogonal product states with minimal nonlocality

Strongest nonlocal sets with minimum cardinality in multipartite systems

Strong quantum nonlocality without entanglement in every $(n-1)$-partition

Bounds on the smallest sets of quantum states with special quantum nonlocality

Existence of strongly nonlocal sets of three states in any N-partite system

Strongest quantum nonlocality in $N$-partite systems

Strongest nonlocal sets with minimum cardinality in tripartite systems

Optimal Conclusive Discrimination of Two Nonorthogonal Pure Product Multipartite States Through Local Operations

Isomorphism of nonlocal sets of orthogonal product states in bipartite quantum systems

Local Distinguishability and Schmidt Number of Orthogonal States

Genuinely nonlocal sets without entanglement in multipartite systems

Small sets of genuinely nonlocal GHZ states in multipartite systems

Locally stable sets with minimum cardinality

Strong quantum nonlocality and unextendibility without entanglement in $N$-partite systems with odd $N$

Optimally Conclusive Discrimination of Nonorthogonal Entangled States by Local Operations and Classical Communications

Construnctions of LOCC indistinguishable set of generalized Bell states

Strong nonlocality with genuine entanglement based on GHZ-like states in multipartite quantum systems

Local Distinguishability Of Orthogonal Quantum States And Generators Of Su(N)

Quantum nonlocality without entanglement in a 2n-partite system