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 scalar Gaussian multicast relay network and power constraints
Definition
A real scalar Gaussian relay network has node set for an integer , source set , destination set , one real input and output at each node, and channel equations where the gains are fixed and the noises are independent random variables, independent across channel uses and of all source messages. At each use the current noise vector is independent of all past observations and the current inputs; future inputs may depend on past noises through feedback. Each node has a nonnegative power budget and average power constraint . Each source has an independent uniform message in a finite nonempty set . For every non-source node , set and , so its encoder has no message information. A length- causal code uses measurable encoders and destination decoders based on , where is its own source message when and a singleton otherwise; multicast means every destination must decode every other source message, while its own message is already known. The average error probability is the probability that any required destination estimate is wrong. Write for the matrix with rows indexed by and columns by whose entries are .
Rates in this page's Gaussian formulas are measured in bits per use, .
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Abbas El Gamal and Young-Han Kim, Lecture Notes on Network Information Theory, arXiv:1001.3404v4 (standard reference, not scraped)
- Sung Hoon Lim, Young-Han Kim, Abbas El Gamal, and Sae-Young Chung, Noisy Network Coding, IEEE Transactions on Information Theory 57(5), 2011 (standard reference, not scraped)