Channel and question
- Input
- \(X\in\mathbb R\)
- Output
- \(Y\in\mathbb R\)
- Law
- \(Y=X+Z\), where \(Z\sim\mathcal N(0,N)\) independently across uses.
- Quantity
- Shannon capacity \(C_{\mathrm{AWGN}}(P,N)\), measured in bits per channel use.
Criterion. Average-error capacity without feedback. Resource averaging is fixed by the explicit model assumption below.
- Average decoding error vanishes with blocklength.
- For every message m, sum_t x_t(m)^2 <= n P. The constraint is block-average but holds for each codeword, not only after averaging over messages.
Parameters
- \(P\)
- Average input power. Range: \(P\ge0\).
- \(N\)
- Noise variance. Range: \(N>0\).
Current status
A zero-mean Gaussian input of variance P achieves capacity.
| Result | Relation | Method | Year |
|---|---|---|---|
| Lower | \(C\ge\frac12\log_2(1+P/N)\) | Gaussian random coding. | 1948 |
| Upper | \(C\le\frac12\log_2(1+P/N)\) | Gaussian distributions maximize differential entropy at fixed variance. | 1948 |
Formal verification
Concrete operational definitions and admitted research statements are present. Existing proofs are preserved. New statements require mathematical review and proof completion. Power convention: CodewordPowerAdmissible. No equivalence to another power convention is assumed.
Claims
- Operational real AWGN capacity with maximum-codeword average power.
operational-capacity· exact capacity · solved · Formally stated · v1
Lean declarations (1)
CapacityAtlas.Claims.awgnclaim · operational-capacity
lean/CapacityAtlas/Claims/AWGN.lean — Operational real AWGN capacity with maximum-codeword average power.
References
- Claude E. Shannon (1948). A Mathematical Theory of Communication. Bell System Technical Journal. DOI 10.1002/j.1538-7305.1948.tb01338.x.
- Thomas M. Cover and Joy A. Thomas (2006). Elements of Information Theory. Wiley, second edition. DOI 10.1002/047174882X.