In terms of the relation between the state and its reduced states, we obtain two inequalities which are valid for all separable states in infinite-dimensional bipartite quantum systems. One of them provides an entanglement criterion which is strictly stronger than the computable cross-norm or realignment (CCNR) criterion.
Let X1 and X2 be complex Banach spaces with dimension at least three, A1 and A2 be standard operator algebras on X1 and X2, respectively. For k ≥ 2, let(i1, i2,..., im) be a finite sequence such that {i1, i2,..., im} = {1, 2,..., k} and assume that at least one of the terms in(i1,..., im) appears exactly once. Define the generalized Jordan product T1 o T2 o ··· o Tk= Ti1Ti2··· Tim+ Tim··· Ti2Ti1 on elements in Ai. This includes the usual Jordan product A1A2 + A2A1, and the Jordan triple A1 A2 A3 + A3 A2 A1. Let Φ : A1 → A2 be a map with range containing all operators of rank at most three. It is shown that Φ satisfies that σπ(Φ(A1) o ··· o Φ(Ak)) = σπ(A1 o ··· o Ak) for all A1,..., Ak,where σπ(A) stands for the peripheral spectrum of A, if and only if Φ is a Jordan isomorphism multiplied by an m-th root of unity.