Problem setup: consider a many-body system containing N fermions of half-integer spin S and focus on the states with total spin Stot=0. For example, when N=2, S=1/2, we will get the usual spin singlet state. For a pure Stot=0 state |ψ⟩ (or more generally a mixed state consisting only of Stot=0 pure states), calculate the 2-body reduced density matrix ρ2. The condition Stot=0 dictates that the only non-zero elements are
ρ2J≡ρ2JM,JM≡12⟨ψ|ξ†JMξJM|ψ⟩,ξ†JM=CSSJm1m2Mc†m1c†m2
where ξ†JM is the creation operator for a pair of fermions with an even total spin J=2k,k∈[0,(2S−1)/2] and z-component M∈[−J,J], c†m is the creation operator for a fermion of z-component m∈[−S,S], and C is the CG coefficient.
I'd like to find some O(1) bounds on these ρ2J's (suggested by numerical experiments). For example for J=2S−1, ρ22S−1=⟨ψ|c†Sc†S−1cS−1cS|ψ⟩≤1. I sense this problem might have something to do with the N-representability of a 2-body density matrix, i.e., whether it can be viewed as reduced from a full N-body density matrix, plus the Stot=0 constraint. In that context, it might be possible to characterize the high-dimensional manifold containing all possible combinations of the ρ2J's. Here are two constraints that might be helpful:
∑J(2J+1)ρ2J=N(N−1)/2∑J(2J+1)J(J+1)ρ2J=N(N−2)S(S+1)
The first one is just saying that the trace of the two-body reduced density matrix is equal to the number of pairs. The second one comes from the Stot=0 constraint.
I'd appreciate any suggestions you might have.