Imagine you need to measure the height of a jagged mountain range, but your altimeter only works on smooth terrain. One classic trick: fill the valleys with sand to a controlled depth, measure the smooth surface, then gradually remove sand until the original peaks re-emerge. At each sand level you get a smooth, computable surface that provably converges to the true jagged profile. That is exactly what the Moreau-Yosida envelope does to a non-smooth convex function — and this paper applies it to one of quantum information theory's most important and most computationally brutal measures: the Entanglement of Formation (EoF). The committed claim: Shirokov constructs a one-parameter family of functions E^λF, indexed by λ > 0, that are convex, uniformly continuous entanglement monotones, monotonically increasing to the EoF as λ → 0. This works in both finite- and infinite-dimensional bipartite systems. The construction is close to the standard Moreau-Yosida regularization from modern convex analysis but adapted to the state-space geometry of quantum systems. The result is not a numerical algorithm — it is a theoretical toolbox that gives you computable upper bounds on the approximation error |EF(ρ) − E^λF(ρ)| for any given state ρ. Where does this sit on the ladder? The EoF itself has been known since Bennett et al. (1996), and its convex-roof definition makes direct computation NP-hard in general. Existing computable bounds — the squashed entanglement, various semidefinite relaxations, the Rains bound — attack the problem from different angles. Shirokov's approach is distinct: rather than bounding EoF with a different measure, it smooths EoF itself using a principled regularization, inheriting the measure's structure while gaining tractability. The paper explicitly leverages the author's own prior semicontinuity bounds (Lobachevskii J. Math., 2025) to control convergence rates on states with bounded marginal rank or energy. No numerical benchmarks are reported — this is pure analysis. The architecture is classical convex analysis transplanted into quantum information. The Moreau-Yosida envelope (or Moreau envelope) is a workhorse in optimization theory — it smooths any lower-semicontinuous convex function while preserving its minimizers. The key structural adaptation here is working on the convex set of quantum states (a trace-class operator space) rather than Euclidean space, and ensuring the regularized functions remain entanglement monotones under LOCC (local operations and classical communication). The paper establishes monotonicity under non-selective LOCC operations and conjectures selective LOCC-monotonicity, sketching a possible proof route. Integrity is strong for what this paper is: a mathematical theory contribution. The results are stated as theorems and propositions with proofs. No simulations, no experiments, no benchmarks — and none are claimed. The validation is internal mathematical consistency, which is the appropriate standard. The semicontinuity bounds that feed the convergence estimates come from the author's own prior published work, so there is some self-citation circularity in the toolkit, but the prior results are published and independently verifiable. The paper is refreshingly transparent: it is marked as a preliminary version, invites comments, and notes that 'secondary parts' were written with ChatGPT-5.6 assistance. The milestone question is inherently theoretical. The practical unlock would be: can E^λF be computed efficiently enough to serve as a practical entanglement witness or bound in quantum information processing tasks? The paper provides the convergence-rate machinery but does not demonstrate computational cost. The gap between 'computable upper bounds on the error' and 'actually computing E^λF for a given λ on a state of practical size' remains unaddressed. For finite-dimensional systems, the Moreau-Yosida envelope involves an infimum over all states plus a penalty term — still a hard optimization unless the penalty parameter λ is large enough to make the landscape benign. The obvious next experiment not run: numerical computation of E^λF for specific families of states (Werner states, isotropic states, random states of moderate dimension) to demonstrate that the convergence bounds are tight and that the approximation is practically useful. The honest read is (a): this is a solo theorist's paper, and the computational implementation is a different skill set and probably a different paper. The conjectured selective LOCC-monotonicity is the other open thread — proving it would upgrade these functions from useful approximations to full-fledged entanglement measures.
