Christandl–Ferrara–Lancien continuity conjecture for filtered relative entropy

From papers

Let FD(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 LCPTP(HH)\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)κεlogD+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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.