pipette
ESEspañol

The Moreau-Yosida approximation of the Entanglement of Formation: basic properties and accuracy estimates

M.E.Shirokov

Preprint

In the authors' words

We describe a family of convex uniformly continuous functions , , on the set of states of a bipartite quantum system (consisting of finite-dimensional or infinite-dimensional subsystems), which monotonically increase and converge pointwise to the Entanglement of Formation (EoF) as . These functions are "nonselective" entanglement monotones defined by the way close to the construction of the Moreau-Yosida regularization (the Moreau envelope) of a convex function on a convex set used in the modern convex analysis. So, we call the functions the Moreau-Yosida approximations of the EoF and describe their equivalent definitions and basic properties. The semicontinuity bounds for the EoF (presented in [Lob.J.Math., 46(6), 2632-2658]) allow us to obtain easily computable upper bounds on the difference for a given state . These bounds give easily computable bounds on the rate of uniform convergence of the function to the EoF as on the sets of states with bounded rank/energy of one of the marginal states. We also discuss sufficient conditions for the coincidence of and at a given state for all small enough and consider several classes of states for which such coincidence takes place. The conjectured selective LOCC-monotonicity of the functions and a possible way to prove it are briefly discussed. Secondary parts of the article are written with the help of ChatGPT-5.6.

Main resultLimitation the authors admit

Appeared: Friday, September 25. arXiv. Preprint, not yet peer-reviewed.

Authors' comment: 23 pages, 2 figures, preliminary version, any comments are welcome