binary-insertion-channel

Binary random-insertion channel

In the fixed iid random-insertion model, each transmitted bit may be followed by one independent fair inserted bit and exact capacity is unknown.

Point-to-point Finite alphabet Binary Memory Capacity Bounds only

Channel and question

Input
A binary input string.
Output
The concatenation of each transmitted bit and, independently with probability \(p\), one fair inserted bit.
Law
Random insertions occur after transmitted bits; transmitted bits are never deleted or replaced.
Quantity
Random-insertion capacity \(C_{\mathrm{ins}}(p)\), measured in bits per transmitted input bit.

Criterion. Vanishing average decoding error under the fixed iid insertion law.

  • Inserted bits are independent Bernoulli one-half symbols.
  • The decoder observes only the resulting variable-length output string.
  • This is not the Gallager replacement-by-two-bits model.

Parameters

\(p\)
Probability that one fair bit is inserted after a transmitted bit. Range: \(0\le p\le1\).

Current status

\[0\le C_{\mathrm{ins}}(p)\le1\]

Small-insertion asymptotics are known, but no exact all-p formula is known.

ResultRelationMethodYear
Upper\(C_{\mathrm{ins}}(p)\le1\)Binary input entropy bound.2025
Lower\(C_{\mathrm{ins}}(p)\ge0\)One-message code.2025

Research frontier

Determine capacity or sharper finite-p bounds for this random-after-each-bit insertion model.

Why it remains open. Random output length and synchronization ambiguity create memory in the induced channel.

What would count as progress

  • Extend rigorous small-p expansions and finite-block certificates.

Lean formalization

Canonical statementStatement

Version 1 · Lean. The one-step finite-support law fixes the insertion convention and excludes the Gallager model.

Substantial proofs0 linked

No external Lean proof is registered. Proofs longer than roughly 50 lines or requiring problem-specific infrastructure should live in a dedicated repository and link back to this statement version.

References

  1. Busra Tegin and Tolga M. Duman (2025). Capacity Approximations for Insertion Channels with Small Insertion Probabilities. IEEE Transactions on Information Theory. DOI 10.1109/TIT.2025.3644665.

Discussion

Thread key: capacityatlas:binary-insertion-channel

Related problems

Each input bit is independently deleted without an erasure marker; the exact capacity is unknown for every nontrivial deletion probability.

Point-to-point Binary Finite alphabet Memory Deletion Capacity Bounds only
Open \(0.1221(1-d)<C_{\mathrm{del}}(d)\le0.3578(1-d)\)

Removing output feedback from the same binary finite-state trapdoor channel leaves its exact feedforward capacity unresolved.

Point-to-point Finite alphabet Binary Memory Capacity Bounds only
Open \(0\le C\le1\)
Binary Z-channel Z-channel

One binary symbol is transmitted perfectly while the other can flip in only one direction.

Point-to-point Binary Finite alphabet Discrete memoryless Asymmetric Capacity Exact
Solved \(C_Z(p)=\log_2\!\left(1+(1-p)p^{p/(1-p)}\right)\)

Each transmitted bit is received correctly or replaced by a visible erasure symbol.

Point-to-point Binary Finite alphabet Discrete memoryless Symmetric Erasure Capacity Exact
Solved \(C_{\mathrm{BEC}}(\varepsilon)=1-\varepsilon\)