Christandl–Ferrara–Lancien continuity conjecture for filtered relative entropy

About 2 years old · traced to

Let F⊆D(H)\mathcal{F}\subseteq\mathcal{D}(\mathcal{H}) be a set of states star-shaped around the maximally mixed state, where D=dim⁡(H)<∞D=\dim(\mathcal{H})<\infty, and let L⊆CPTP⁡(H→H′)\mathcal{L}\subseteq\operatorname{CPTP}(\mathcal{H}\to\mathcal{H}') be any set of channels. Let DL(ρ∥F)D^{\mathcal{L}}(\rho\|\mathcal{F}) denote the filtered relative entropy associated with L\mathcal{L} and F\mathcal{F}, and let ∥ρ−σ∥L\|\rho-\sigma\|_{\mathcal{L}} be the corresponding filtered distance.

Christandl–Ferrara–Lancien's conjecture. There should exist a universal constant κ\kappa and a function g:[0,1]→R+g:[0,1]\to\mathbb{R}_+ with

lim⁡ε→0+g(ε)=0\lim_{\varepsilon\to0^+}g(\varepsilon)=0

such that, for every ρ,σ∈D(H)\rho,\sigma\in\mathcal{D}(\mathcal{H}) satisfying

12∥ρ−σ∥L≤ε,\frac{1}{2}\|\rho-\sigma\|_{\mathcal{L}}\leq\varepsilon,

one has

∣DL(ρ∥F)−DL(σ∥F)∣≤κεlog⁡D+g(ε).\left|D^{\mathcal{L}}(\rho\|\mathcal{F})-D^{\mathcal{L}}(\sigma\|\mathcal{F})\right|\leq\kappa\varepsilon\log D+g(\varepsilon).

The conjecture proposes dimension-controlled continuity for filtered relative entropy uniformly over the specified state and channel sets; the paper states it as an open problem and develops results aimed at proving it.

References

Primary source

Mario Berta, Ludovico Lami and Marco Tomamichel, “Continuity of entropies via integral representations”, arXiv:2408.15226 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.