Independence-inducing binarizations for the three-symbol distribution

About 3 years old · traced to

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 N≥1N\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 N≥1N\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.

References

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).

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.