Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2609.12667

Log-Sobolev inequality, von Neumann entropy and Entanglement of Formation

A. S. Holevo, M. E. Shirokov

quant-phcs.ITmath-phSubmitted Sep 11, 2026• Announced Sep 14, 2026• 0 citations• Revised Sep 15, 2026 (v3)
v1 · Sep 11, 2026v2 · Sep 14, 2026v3 · Sep 15, 2026
arXivHTMLPDF

Abstract

We present two results derived from the sharp log-Sobolev inequality for the uniform measure on a complete graph which concern the von Neumann entropy and the Entanglement of Formation of a state of finite and infinite-dimensional quantum systems. The first result is a sharp Lipschitz lower semicontinuity bound for the von Neumann entropy at any mixed state $ρ$ with uniform positive spectrum (i.e. a state proportional to a projector) w.r.t. the fidelity deficit: the inequality $\,S(ρ)-S(σ)\leq C_ρ(1-F(ρ,σ))\,$ valid for any state $σ$, where $C_ρ$ is a constant depending on the rank of $ρ$. The second result is a sharp Lipschitz lower semicontinuity bound for the Entanglement of Formation at any pure state $ρ$ with uniform positive spectrum of marginal states w.r.t. the fidelity deficit: the inequality $\,E_F(ρ)-E_F(σ)\leq C_ρ(1-\mathrm{Tr}ρσ)\,$ valid for any state $σ$, where $C_ρ$ is a constant depending on the Schmidt rank of $ρ$. In both cases the optimal constant $C_ρ$ is equal to the optimal constant $K_{d}$ in the log-Sobolev inequality for the complete graph with $d$ vertices: in the first case $d=\mathrm{rank}ρ$, in the second one $d=\mathrm{rank}ρ_A=\mathrm{rank}ρ_B$. The authors are grateful to GPT 5.6 for valuable discussion and technical help in preparing this note.

Comments
14 pages, any comments are welcome

Related papers

On supporting affine functionals for Entanglement of Formation

A. S. Holevo, M. E. Shirokov

In several articles, the authors assume that the convex roof structure of the EoF and finite-dimensionality of subsystems $A$ and $B$ guarantee the existence of the (global) supporting affine functional for the EoF at any state of the system $AB$. This means that for any state $ρ$ of $AB$ there is a Hermitian operator $Λ_ρ$ on $\mathcal{H}_{AB}=\mathcal{H}_A\otimes\mathcal{H}_B$ such that $E_F(ρ)=\mathrm{Tr}Λ_ρρ$ and $E_F(σ)\geq\mathrm{Tr}Λ_ρσ$ for any state $σ$ of $AB$. We present an explicit example showing that, when $ρ$ is degenerate, this is not true even in the simplest case when $A$ and $B$ are qubit systems. The construction is based on the fact that the existence of a supporting affine functional for the EoF at a state $ρ$ is equivalent to the Lipschitz lower semicontinuity of the EoF at this state $ρ$. We use Wootters' formula and the help of Claude Fable 5 to find a state $ρ$ of the system $AB$ for which the latter property does not hold. We also describe conditions for the existence the local and global supporting affine functionals for the EoF at a given state of both finite and infinite-dimensional bipartite quantum systems. These conditions allow us to find Lipschitz lower semicontinuity bounds for the EoF at a given finite rank state $ρ$ (i.e. inequalities of the form $\,E_F(ρ)-E_F(σ)\leq C_ρ\|ρ-σ\|_1$) with and without restrictions on the support of the state $σ$.

quant-pharXiv:2608.27363•Aug 28, 2026•0 citations

The $\varepsilon$-smoothed Entanglement of Formation and its relation to the Moreau-Yosida approximation

M. E. Shirokov

We describe a family of convex continuous functions $E_{F,\varepsilon}$, $\varepsilon\in(0,1]$, on the set of states of a bipartite quantum system (consisting of finite-dimensional or infinite-dimensional subsystems) obtained by applying the Mora-Piani-Briegel construction of $\varepsilon$-measure (proposed in [Phys. Rev. A 109, 052413]) to the Entanglement of Formation (EoF) with the use of the trace norm distance in the role of basic metric. These functions are non-increasing in $\varepsilon$ and converge pointwise to the EoF as $\varepsilon\to0^+$. We conducted a detailed analysis of properties of the functions $E_{F,\varepsilon}$, using (among others) the relationship between the family $\{E_{F,\varepsilon}\}_{\varepsilon\in[0,1]}$ and the family $\{E^λ_F(ρ)\}_{λ>0}$ of Moreau-Yosida approximations of the EoF explored in [arXiv:2609.30246]. We obtain a variational expression for the functions $E_{F,\varepsilon}$ (which for $\varepsilon=0$ turns into the standard variational expression for the EoF). We also describe the weak subadditivity property of the functions $E_{F,\varepsilon}$ and analyse their continuity properties. The semicontinuity bounds for the EoF (presented in [Lob.J.Math., 46, 2632-2658],[arXiv:2404.07978]) allow us to obtain easily computable upper bounds on the rate of uniform convergence of the function $E_{F,\varepsilon}$ to the EoF as $\varepsilon\to0^+$ on the sets of states with bounded rank/energy of one of the marginal states. Applicability of the obtained results to other entanglement measures, in particular, to the relative entropy of entanglement, is discussed. As an auxiliary result, it is shown that for any state of an infinite-dimensional bipartite quantum system, there exists a nearest separable state w.r.t. the trace norm distance. The non-uniqueness of such a state is also shown.

quant-pharXiv:2610.35797•Oct 27, 2026•0 citations

Relative entropy convergence for depolarizing channels

Alexander Müller‐Hermes, Daniel Stilck França, Michael M. Wolf

We study the convergence of states under continuous-time depolarizing channels with full rank fixed points in terms of the relative entropy. The optimal exponent of an upper bound on the relative entropy in this case is given by the log-Sobolev-1 constant. Our main result is the computation of this constant. As an application, we use the log-Sobolev-1 constant of the depolarizing channels to improve the concavity inequality of the von Neumann entropy. This result is compared to similar bounds obtained recently by Kim and we show a version of Pinsker’s inequality, which is optimal and tight if we fix the second argument of the relative entropy. Finally, we consider the log-Sobolev-1 constant of tensor-powers of the completely depolarizing channel and use a quantum version of Shearer’s inequality to prove a uniform lower bound.

arXiv:1508.07021•Journal of Mathematical Physics•Jan 20, 2016•50 citations

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

M. E. Shirokov

We describe a family of convex uniformly continuous functions $E^λ_F$, $λ>0$, 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 $λ\to0$. These functions are "nonselective" entanglement monotones defined in a 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 $E^λ_F$ 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 $E_F(ρ)-E^λ_F(ρ)$ for a given state $ρ$. These bounds give easily computable bounds on the rate of uniform convergence of the function $E^λ_F$ to the EoF as $λ\to0^+$ on the sets of states with bounded rank/energy of one of the marginal states. We also discuss sufficient conditions for the coincidence of $E_F(ρ)$ and $E^λ_F(ρ)$ 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 $E^λ_F$ and a possible way to prove it are briefly discussed. Secondary parts of the article are written with the help of ChatGPT-5.6.

quant-pharXiv:2609.30246•Sep 25, 2026•0 citations

Optimal continuity bound for the von Neumann entropy under energy constraints

Becker, S., Nilanjana Datta, Michael G. Jabbour +1 more

Using techniques proposed in [Sason, IEEE Trans. Inf. Th. 59, 7118 (2013)] and [Becker, Datta and Jabbour, IEEE Trans. Inf. Th. 69, 4128 (2023)], and based on the results from the latter, we construct a globally optimal continuity bound for the von Neumann entropy. This bound applies to any state under energy constraints imposed by arbitrary Hamiltonians that satisfy the Gibbs hypothesis. This completely solves the problem of finding an optimal continuity bound for the von Neumann entropy in this setting, previously known only for pairs of states that are sufficiently close to each other. Our main technical result, a globally optimal semicontinuity bound for the von Neumann entropy under general energy constraints, leads to this continuity bound. To prove it, we also derive an optimal Fano-type inequality for random variables with a countably infinite alphabet and a general constraint, as well as optimal semicontinuity and continuity bounds for the Shannon entropy in the same setting. In doing so, we improve the results derived in [Becker, Datta and Jabbour, IEEE Trans. Inf. Th. 69, 4128 (2023)].

arXiv:2410.02686•Oct 3, 2024•1 citation

How to improve the semicontinuity bounds in [Lett. Math. Phys., 113, 121 (2023)]

Максим Евгеньевич Широков

We show how to improve the semicontinuity bounds in [1] by optimizing the proof of the basic technical lemma. In this optimization we apply the modified version of the trick used in the resent article [2]. The most important applications are the semicontinuity bound for the von Neumann entropy with the energy constraint and the semicontinuity bounds for the entanglement of formation with the rank/energy constraint.

arXiv:2409.10546•Sep 1, 2024•0 citations
We present two results derived from the sharp log-Sobolev inequality for the uniform measure on a complete graph which concern the von Neumann entropy and the Entanglement of Formation of a state of finite and infinite-dimensional quantum systems.
The first result is a sharp Lipschitz lower semicontinuity bound for the von Neumann entropy at any mixed state ρρρ with uniform positive spectrum (i.e. a state proportional to a projector) w.r.t. the fidelity deficit: the inequality  S(ρ)−S(σ)≤Cρ(1−F(ρ,σ)) \,S(ρ)-S(σ)\leq C_ρ(1-F(ρ,σ))\,S(ρ)−S(σ)≤Cρ​(1−F(ρ,σ)) valid for any state σσσ, where CρC_ρCρ​ is a constant depending on the rank of ρρρ.
The second result is a sharp Lipschitz lower semicontinuity bound for the Entanglement of Formation at any pure state ρρρ with uniform positive spectrum of marginal states w.r.t. the fidelity deficit: the inequality  EF(ρ)−EF(σ)≤Cρ(1−Trρσ) \,E_F(ρ)-E_F(σ)\leq C_ρ(1-\mathrm{Tr}ρσ)\,EF​(ρ)−EF​(σ)≤Cρ​(1−Trρσ) valid for any state σσσ, where CρC_ρCρ​ is a constant depending on the Schmidt rank of ρρρ.
In both cases the optimal constant CρC_ρCρ​ is equal to the optimal constant KdK_{d}Kd​ in the log-Sobolev inequality for the complete graph with ddd vertices: in the first case d=rankρd=\mathrm{rank}ρd=rankρ, in the second one d=rankρA=rankρBd=\mathrm{rank}ρ_A=\mathrm{rank}ρ_Bd=rankρA​=rankρB​.
The authors are grateful to GPT 5.6 for valuable discussion and technical help in preparing this note.
In several articles, the authors assume that the convex roof structure of the EoF and finite-dimensionality of subsystems AAA and BBB guarantee the existence of the (global) supporting affine functional for the EoF at any state of the system ABABAB. This means that for any state ρρρ of ABABAB there is a Hermitian operator ΛρΛ_ρΛρ​ on HAB=HA⊗HB\mathcal{H}_{AB}=\mathcal{H}_A\otimes\mathcal{H}_BHAB​=HA​⊗HB​ such that EF(ρ)=TrΛρρE_F(ρ)=\mathrm{Tr}Λ_ρρEF​(ρ)=TrΛρ​ρ and EF(σ)≥TrΛρσE_F(σ)\geq\mathrm{Tr}Λ_ρσEF​(σ)≥TrΛρ​σ for any state σσσ of ABABAB. We present an explicit example showing that, when ρρρ is degenerate, this is not true even in the simplest case when AAA and BBB are qubit systems. The construction is based on the fact that the existence of a supporting affine functional for the EoF at a state ρρρ is equivalent to the Lipschitz lower semicontinuity of the EoF at this state ρρρ. We use Wootters' formula and the help of Claude Fable 5 to find a state ρρρ of the system ABABAB for which the latter property does not hold. We also describe conditions for the existence the local and global supporting affine functionals for the EoF at a given state of both finite and infinite-dimensional bipartite quantum systems. These conditions allow us to find Lipschitz lower semicontinuity bounds for the EoF at a given finite rank state ρρρ (i.e. inequalities of the form  EF(ρ)−EF(σ)≤Cρ∥ρ−σ∥1\,E_F(ρ)-E_F(σ)\leq C_ρ\|ρ-σ\|_1EF​(ρ)−EF​(σ)≤Cρ​∥ρ−σ∥1​) with and without restrictions on the support of the state σσσ.
The ε\varepsilonε-smoothed Entanglement of Formation and its relation to the Moreau-Yosida approximation
We describe a family of convex continuous functions EF,εE_{F,\varepsilon}EF,ε​, ε∈(0,1]\varepsilon\in(0,1]ε∈(0,1], on the set of states of a bipartite quantum system (consisting of finite-dimensional or infinite-dimensional subsystems) obtained by applying the Mora-Piani-Briegel construction of ε\varepsilonε-measure (proposed in [Phys. Rev. A 109, 052413]) to the Entanglement of Formation (EoF) with the use of the trace norm distance in the role of basic metric. These functions are non-increasing in ε\varepsilonε and converge pointwise to the EoF as ε→0+\varepsilon\to0^+ε→0+. We conducted a detailed analysis of properties of the functions EF,εE_{F,\varepsilon}EF,ε​, using (among others) the relationship between the family {EF,ε}ε∈[0,1]\{E_{F,\varepsilon}\}_{\varepsilon\in[0,1]}{EF,ε​}ε∈[0,1]​ and the family {EFλ(ρ)}λ>0\{E^λ_F(ρ)\}_{λ>0}{EFλ​(ρ)}λ>0​ of Moreau-Yosida approximations of the EoF explored in [arXiv:2609.30246]. We obtain a variational expression for the functions EF,εE_{F,\varepsilon}EF,ε​ (which for ε=0\varepsilon=0ε=0 turns into the standard variational expression for the EoF). We also describe the weak subadditivity property of the functions EF,εE_{F,\varepsilon}EF,ε​ and analyse their continuity properties. The semicontinuity bounds for the EoF (presented in [Lob.J.Math., 46, 2632-2658],[arXiv:2404.07978]) allow us to obtain easily computable upper bounds on the rate of uniform convergence of the function EF,εE_{F,\varepsilon}EF,ε​ to the EoF as ε→0+\varepsilon\to0^+ε→0+ on the sets of states with bounded rank/energy of one of the marginal states. Applicability of the obtained results to other entanglement measures, in particular, to the relative entropy of entanglement, is discussed. As an auxiliary result, it is shown that for any state of an infinite-dimensional bipartite quantum system, there exists a nearest separable state w.r.t. the trace norm distance. The non-uniqueness of such a state is also shown.
We study the convergence of states under continuous-time depolarizing channels with full rank fixed points in terms of the relative entropy. The optimal exponent of an upper bound on the relative entropy in this case is given by the log-Sobolev-1 constant. Our main result is the computation of this constant. As an application, we use the log-Sobolev-1 constant of the depolarizing channels to improve the concavity inequality of the von Neumann entropy. This result is compared to similar bounds obtained recently by Kim and we show a version of Pinsker’s inequality, which is optimal and tight if we fix the second argument of the relative entropy. Finally, we consider the log-Sobolev-1 constant of tensor-powers of the completely depolarizing channel and use a quantum version of Shearer’s inequality to prove a uniform lower bound.
We describe a family of convex uniformly continuous functions EFλE^λ_FEFλ​, λ>0λ>0λ>0, 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 λ→0λ\to0λ→0. These functions are "nonselective" entanglement monotones defined in a 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 EFλE^λ_FEFλ​ 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 EF(ρ)−EFλ(ρ)E_F(ρ)-E^λ_F(ρ)EF​(ρ)−EFλ​(ρ) for a given state ρρρ. These bounds give easily computable bounds on the rate of uniform convergence of the function EFλE^λ_FEFλ​ to the EoF as λ→0+λ\to0^+λ→0+ on the sets of states with bounded rank/energy of one of the marginal states. We also discuss sufficient conditions for the coincidence of EF(ρ)E_F(ρ)EF​(ρ) and EFλ(ρ)E^λ_F(ρ)EFλ​(ρ) 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 EFλE^λ_FEFλ​ and a possible way to prove it are briefly discussed. Secondary parts of the article are written with the help of ChatGPT-5.6.
Using techniques proposed in [Sason, IEEE Trans. Inf. Th. 59, 7118 (2013)] and [Becker, Datta and Jabbour, IEEE Trans. Inf. Th. 69, 4128 (2023)], and based on the results from the latter, we construct a globally optimal continuity bound for the von Neumann entropy. This bound applies to any state under energy constraints imposed by arbitrary Hamiltonians that satisfy the Gibbs hypothesis. This completely solves the problem of finding an optimal continuity bound for the von Neumann entropy in this setting, previously known only for pairs of states that are sufficiently close to each other. Our main technical result, a globally optimal semicontinuity bound for the von Neumann entropy under general energy constraints, leads to this continuity bound. To prove it, we also derive an optimal Fano-type inequality for random variables with a countably infinite alphabet and a general constraint, as well as optimal semicontinuity and continuity bounds for the Shannon entropy in the same setting. In doing so, we improve the results derived in [Becker, Datta and Jabbour, IEEE Trans. Inf. Th. 69, 4128 (2023)].