Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedprecheck pending
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Real and complex two-user Gaussian interference channels

Definition

The two-user Gaussian interference channel has independent messages, separate encoders, and outputs Y1=h11X1+h21X2+Z1,Y2=h12X1+h22X2+Z2. For the real model, Xi,hji,Zj are real and Zj∼N(0,1). For the complex model, the inputs and gains are complex and Zj∼CN(0,1) with density π−1e−∣z∣2. The receiver-noise variables are independent across receivers and channel uses and independent of the messages, so the channel is memoryless. Each power budget satisfies Pi≥0. A length-n code has independent uniform messages Mi on [mi] for integers mi≥1, deterministic separate encoders Xin=fi(Mi), and decoders M^i=gi(Yin); no feedback is present. The expected average-power constraints are n−1∑t=1nE[Xi,t2]≤Pi in the real model and n−1∑t=1nE∣Xi,t∣2≤Pi in the complex model, with expectations under the uniform message law. The average joint error is Pr⁡{(M^1,M^2)≠(M1,M2)}. For either model define SNR1=∣h11∣2P1,SNR2=∣h22∣2P2,INR1=∣h21∣2P2,INR2=∣h12∣2P1. Rates are bits per use, Ri=n−1log⁡2mi. For a scalar unit-noise AWGN link Y=aX+Z with power constraint P, the capacity is κlog⁡2(1+∣a∣2P), attained by a centered real Gaussian input or a circular complex Gaussian input; κ=1/2 in the real model and κ=1 in the complex model.

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources