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.

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

Strong quantum nonlocality in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>N</mml:mi></mml:math> -partite systems

Strong quantum nonlocality in N-partite systems

Strong Quantum Nonlocality in Multipartite Quantum Systems

Strongest quantum nonlocality in $N$-partite systems

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

Small sets of genuinely nonlocal GHZ states in multipartite systems

Strong Quantum Nonlocality Without Entanglement in Multipartite Quantum Systems

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

Genuinely nonlocal sets without entanglement in multipartite systems

Towards constructing orthogonal product sets of strong quantum nonlocality

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

Strong quantum nonlocality with genuine entanglement in an $N$-qutrit system

Distinguishability-based genuine nonlocality with genuine multipartite entanglement

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

Strong quantum nonlocality from hypercubes

Strongest nonlocal sets with minimum cardinality in multipartite systems

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

Quantum nonlocality without entanglement in a 2n-partite system

Strongly nonlocal unextendible product bases do exist

Nonlocality of orthogonal product basis quantum states