quantum-information-computing / Quantum Shannon theory; channel capacities; Holevo additivity

The unassisted classical capacity of the generalized amplitude-damping channel

Claims that for every γ,ν∈[0,1]\gamma,\nu\in[0,1] the unassisted classical capacity of Aγ,ν\mathcal A_{\gamma,\nu} equals its one-shot Holevo capacity, given by max⁡p∈[0,1][h((1−γ)p+γν)−g(γν(1−ν)+γ(1−γ)(p−ν)2)]\max_{p\in[0,1]}[h((1-\gamma)p+\gamma\nu)-g(\gamma\nu(1-\nu)+\gamma(1-\gamma)(p-\nu)^2)] in bits, with gg the entropy of a qubit state of given determinant, attained by two equiprobable pure signals of opposite phase and their independent products. It also claims additivity of one-shot Holevo capacity, minimum output entropy and regularized classical capacity under tensoring with any finite-dimensional channel. It does NOT give the quantum or private capacity of the channel, entanglement-assisted settings, or a closed form for the maximizing pp.

16Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

quantum-information-computingSep 24, 2026Significance 16/100Registry: lean checked

The unassisted classical capacity of the generalized amplitude-damping channel

Prior state unknown→proved

Claims that for every γ,ν∈[0,1]\gamma,\nu\in[0,1] the unassisted classical capacity of Aγ,ν\mathcal A_{\gamma,\nu} equals its one-shot Holevo capacity, given by max⁡p∈[0,1][h((1−γ)p+γν)−g(γν(1−ν)+γ(1−γ)(p−ν)2)]\max_{p\in[0,1]}[h((1-\gamma)p+\gamma\nu)-g(\gamma\nu(1-\nu)+\gamma(1-\gamma)(p-\nu)^2)] in bits, with gg the entropy of a qubit state of given determinant, attained by two equiprobable pure signals of opposite phase and their independent products. It also claims…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims that for every γ,ν∈[0,1]\gamma,\nu\in[0,1] the unassisted classical capacity of Aγ,ν\mathcal A_{\gamma,\nu} equals its one-shot Holevo capacity, given by max⁡p∈[0,1][h((1−γ)p+γν)−g(γν(1−ν)+γ(1−γ)(p−ν)2)]\max_{p\in[0,1]}[h((1-\gamma)p+\gamma\nu)-g(\gamma\nu(1-\nu)+\gamma(1-\gamma)(p-\nu)^2)] in bits, with gg the entropy of a qubit state of given determinant, attained by two equiprobable pure signals of opposite phase and their independent products. It also claims additivity of one-shot Holevo capacity, minimum output entropy and regularized classical capacity under tensoring with any finite-dimensional channel. It does NOT give the quantum or private capacity of the channel, entanglement-assisted settings, or a closed form for the maximizing pp.

Claims that for every γ,ν∈[0,1]\gamma,\nu\in[0,1] the unassisted classical capacity of Aγ,ν\mathcal A_{\gamma,\nu} equals its one-shot Holevo capacity, given by max⁡p∈[0,1][h((1−γ)p+γν)−g(γν(1−ν)+γ(1−γ)(p−ν)2)]\max_{p\in[0,1]}[h((1-\gamma)p+\gamma\nu)-g(\gamma\nu(1-\nu)+\gamma(1-\gamma)(p-\nu)^2)] in bits, with gg the entropy of a qubit state of given determinant, attained by two equiprobable pure signals of opposite phase and their independent products. It also claims additivity of one-shot Holevo capacity, minimum output entropy and regularized classical capacity under tensoring with any finite-dimensional channel. It does NOT give the quantum or private capacity of the channel, entanglement-assisted settings, or a closed form for the maximizing pp.

Recorded attempts

Evidence graph

Connected research record