Searcharxiv⌕ Search

arXiv · 2610.19905

On the structure of low-rank PPT entangled states violating Peres conjecture

Abstract

Bound-entangled states with positive partial transpose (PPT) can exhibit quantum steering and Bell nonlocality, disproving the long-standing Peres conjecture and its stronger steering counterpart. These counterexamples, obtained through explicit constructions or numerical searches, raise the question of whether they share a common structural origin. We address this question in the low-rank regime by asking whether known counterexamples can be obtained, up to invertible local filtering, from the complement of an unextendible product basis (UPB). We find that the answer depends crucially on the local dimension. In $3\otimes3$, the rank-four structure of PPT entangled states implies that both the steerable PPT state of Moroder \textit{et al.} and the Bell-nonlocal PPT state of Vértesi and Brunner can be obtained from UPB-complement states under invertible local filtering. For three qubits, in contrast, rank-four states that are PPT across every bipartition are separable across each cut. Moreover, comparison of the product-vector structure of the relevant kernels shows that the known three-qubit Bell-nonlocal PPT states cannot be obtained by invertible local filtering from the complement of any three-qubit UPB. Going beyond rank four, we further show that a known rank-eight three-qutrit state, supported on the complement of a UPB and PPT across every bipartition, is genuinely multipartite entangled. These results show that UPBs provide a unifying structural origin for important low-rank PPT entangled states in $3\otimes3$, but that nonlocal bound entanglement is not, in general, a UPB phenomenon.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gurvir Singh, Manik Banik. 2026-10-14. On the structure of low-rank PPT entangled states violating Peres conjecture. https://arxiv.org/abs/2610.19905

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

All you need is Trotter

The work here enables a cost scaling of $\tilde{O}\left( \frac{T ^{1+o(1)}\,{\rm log}^2 (1/ε)}{\varepsilon}\right)$ and maximum depth $\tilde{O}\left( \frac{T^{1+o(1)}\,{\rm log} (1/ε)}{\varepsilon}\right)$ for estimating observables after some Hamiltonian evolution $e^{i H T}$ using no extra block-encoding qubits, where $ε$ is the algorithmic error of the target Hamiltonian evolution and $\varepsilon$ is the statistical error from the observable estimation. Throughout, $\tilde{O}$ suppresses factors that are doubly logarithmic in $1/ε$ (i.e. ${\rm polyloglog}(1/ε)$), which are subdominant to the displayed ${\rm polylog}(1/ε)$ factors. This is achieved through product formulas, stable interpolation (Chebyshev), and to calculate the needed fractional queries, cardinal sine interpolation is used. This is an improvement over similar work using interpolation methods which have a superlinear scaling of the form $5^p T^{1+1/p}$, where $p$ is the order of the product formula used and an improvement on required qubits over Quantum Signal Processing methods while maintaining scaling with ${\rm polylog}{1/ε}$. This is accomplished through an optimized and variable (with $T$) order $p$. The slightly better $\log^2(1/ε)$ compared to $\log^3(1/ε)$ comes from the use of cardinal sine interpolation compared to other methods using Chebyshev interpolation and product formulas. The work presented here also provides an alternative to Quantum Signal Processing techniques to calculate observables or amplitudes after a fractional query evolution with a cost $O(T\log{1/ε})$ through this cardinal sine interpolation.

quant-ph↗

Relativistic generalization of Feynman's path integral on the basis of extended Lagrangians

In the extended Lagrange formalism of classical point dynamics, the system's dynamics is parametrized along a system evolution parameter $s$, and the physical time $t$ is treated as a \emph{dependent} variable $t(s)$ on equal footing with all other configuration space variables $q^{i}(s)$. In the action principle, the conventional classical action $L dt$ is then replaced by the generalized action $L_{e}ds$. A direct reparametrization of the conventional action yields an extended Lagrangian that is homogeneous of degree one in the velocities. A regular extended Lagrangian that is not homogeneous of degree one can also reproduce the conventional dynamics on a suitably selected invariant hypersurface. With this representation, the physical motion takes place on a hypersurface within a symplectic extended phase space of even dimension. The formal similarity of conventional and extended Lagrange formalisms provides a direct connection with the proper-time path integral approach to relativistic quantum physics. To provide an example, the non-homogeneous extended Lagrangian $L_{e}$ of a classical relativistic spinless point particle in an external electromagnetic field will be presented. This extended Lagrangian is a quadratic function in the velocities, and its selected zero-energy hypersurface is the classical mass shell. With this $L_{e}$, the generalized path integral first yields an evolution equation in $s$. Imposing the corresponding quantum mass-shell condition then yields the Klein-Gordon equation as the physical wave equation. This establishes the relation between the classical extended Lagrangian description and proper-time quantization for a charged spin-zero particle.

quant-ph↗

Reliable Entropy Estimation from Observed Statistics for Device-Independent Quantum Cryptography

This paper introduces a numerical framework for establishing lower bounds on the conditional von-Neumann entropy in device-independent quantum cryptography and randomness extraction scenarios. Leveraging a hierarchy of semidefinite programs derived from the Navascués-Pironio-Acin (NPA) hierarchy, our tool enables efficient computation of entropy bounds based solely on observed statistics, assuming the validity of quantum mechanics. The method's computational efficiency is ensured by its reliance on projective operators within the non-commutative polynomial optimization problem. The method facilitates provable bounds for extractable randomness in noisy scenarios and aligns with modern entropy accumulation theorems. Consequently, the framework offers an adaptable tool for practical quantum cryptographic protocols, expanding secure communication possibilities in untrusted environments.

quant-ph↗