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 scalar Gaussian multicast relay network and power constraints

Definition

A real scalar Gaussian relay network has node set [N] for an integer N≥1, source set S⊆[N], destination set D⊆[N], one real input Xi and output Yi at each node, and channel equations Yj=∑i=1NgjiXi+Zj,j∈[N], where the gains gji∈R are fixed and the noises Zj are independent N(0,1) 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 Pi≥0 and average power constraint 1n∑t=1nE[Xi,t2]≤Pi. Each source i∈S has an independent uniform message Mi in a finite nonempty set Mi. For every non-source node i∉S, set Mi={∗} and Mi=∗, so its encoder has no message information. A length-n causal code uses measurable encoders Xi,t=fi,t(Mi,Yit−1) and destination decoders based on (Ydn,Md), where Md is its own source message when d∈S 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 GB,A for the matrix with rows indexed by B and columns by A whose entries are gji.

Rates in this page's Gaussian formulas are measured in bits per use, Ri=n−1log⁡2∣Mi∣.

Used by

Dependency tree · 0 levels

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

Sources