Independence-inducing binarizations for the three-symbol distribution

From papers

Let X,Y,ZX,Y,Z have the distribution specified in the source, with ZZ determined by XX and YY according to the displayed table. For N1N\geq1, let YN\overline{Y^N} be any binary output of a binarization channel applied to YNY^N, and let ZN\overline{Z^N} be an output obtained by processing ZNZ^N. The independence-inducing binarization conjecture. For every N1N\geq1 and every YN\overline{Y^N}, there exists ZN\overline{Z^N} such that

(XN ⁣ ⁣ ⁣YN)ZN.(X^N \perp\!\!\!\perp \overline{Y^N})\mid \overline{Z^N}.

This strengthens the preceding bound-secrecy reduction by disallowing Alice from binarizing. The source presents it as a possible route to proving bound secrecy for the displayed distribution.

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

Andrey Boris Khesin, Andrew Tung and Karthik Vedula, “New Properties of Intrinsic Information and Their Relation to Bound Secrecy”, arXiv:2308.09031 (2023).

Solutions 0

No solutions have been posted yet.