On the Optimization and Self-Tensoring Construction of Nonlinear Entanglement Witnesses

Nonlinear entanglement witnesses constructed from multiple linear entanglement witnesses and multiple copies of quantum states have recently been proposed as a powerful tool for entanglement detection. In this work, we show, via an explicit counterexample, that the fineness of linear witnesses generally fails to transfer to their tensor-product nonlinear counterparts. For the canonical family of nonlinear witnesses in the form of (αI-L)⊗(βI-T), we rigorously prove that the optimal nonlinear witness is uniquely attained with weakly optimal parameters of α=λmax(L) and β=λmax(T). Meanwhile, we analytically demonstrate that the self-tensor products of two representative linear witnesses fail to detect any entangled state. The question of whether a nonlinear entanglement witness capable of detecting entanglement can be constructed by tensoring a linear witness with itself remains open.