Constant term of one-shot channel simulation

Upper bound, last-listed row

| $\sum_{k=1}^{\infty}2^{-k-1}k\log_{2}k-\log_{2}\log_{2}e \approx 0.76$ | [Li25] | |tracked since 2026-07-24 — no movement seen yet

Lower bound, last-listed row

| $-\log_{2}\log_{2}e\approx-0.53$ | [Li25] | |tracked since 2026-07-24 — no movement seen yet

Checked against material for its cited source

• Another row, not one shown above: bound row $3.45$ line 22 citing [FT23] — the claim we checked: that FT23 states or proves an upper bound of 3.45 on C_32, the additive constant in H(Y|S) ≤ I(X;Y) + log2(I(X;Y) + β) + C_32, in bits. What we read could not settle it. source link (reached in the arXiv preprint only; the ISIT edition the entry cites (pp. 454–459) was not reached. A search of the preprint's full text, all nine pages, finds no 3.45. Its headline constant is 3.63, in nats (Equation 3), and 3.45 follows only by converting an intermediate line of its Appendix A to bits, which gives 2 + 1/ln 2 ≈ 3.4427. Whether the six-page ISIT version carries that appendix is unknown). Selected: drawn by its position in the list of cited rows, not because it looked wrong.

1 bound row(s) here have been checked against material for their cited source (1 drawn by position, 0 chosen because something already looked wrong). Across this whole ledger 70 row(s) have been drawn by position, against 691 rows that name a source, counted on 2026-09-27: 64 were checked against material for their cited sources and for 6 the cited source could not be read at all. 5 more were chosen for suspicion and checked; they are counted apart, because a set selected for suspicion carries no rate. A row not listed here has NOT been checked.