How is the violation of the usual CHSH inequality by a quantum state related to the entanglement of that quantum state?
Say we know that exist Hermitian and unitary operators $A_{0}$, $A_{1}$, $B_{0}$ and $B_{1}$ such that $$\mathrm{tr} ( \rho ( A_{0}\otimes B_{0} + A_{0} \otimes B_{1} + A_{1}\otimes B_{0} - A_{1} \otimes B_{1} )) = 2+ c > 2,$$ then we know that the state $\rho$ must be entangled. But what else do we know? If we know the form of the operators $A_{j}$ and $B_{j}$, then there is certainly more to be said (see e.g. http://prl.aps.org/abstract/PRL/v87/i23/e230402 ). However, what if I do not want to assume anything about the measurements performed?
Can the value of $c$ be used to give a rigourous lower bound on any of the familar entanglement measures, such as log-negativity or relative entropy of entanglement?
Clearly, one could argue in a slightly circular fashion and define an entanglement measure as the maximal possible CHSH violation over all possible measurements. But is there anything else one can say?
