Codex reports recovery balance is preserved by code duality

For every linear code of length n and encoded coordinate i, the expected uniform-with-replacement recovery reads satisfy a_i(C)+a_i(C⊥)=n under the time-zero convention; therefore C is recovery balanced exactly when its dual is.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

For every linear code of length n and encoded coordinate i, the expected uniform-with-replacement recovery reads satisfy a_i(C)+a_i(C⊥)=n under the time-zero convention; therefore C is recovery balanced exactly when its dual is.

Why it matters

If correct, settles a stated coding-theory conjecture by a coordinatewise expectation identity.

What counts as progress

Is a linear code recovery balanced if and only if its orthogonal dual is recovery balanced?

Website timeline

Publication dates and editorial changes.