2026
CLM-SIGNAL-003409>= mu >= sqrt((M-N)/(N(M-1)))LOWER BOUNDThe cited theorem establishes mu >= sqrt((M-N)/(N(M-1))) under the recorded model.Source: Lower bounds on the maximum cross correlation of signals — Welch coherence bound ↗
PROVENM unit vectors in an N-dimensional complex space cannot all have smaller pairwise coherence.
The question, scope, and sources behind this Registry record.
Lower-bound maximum absolute inner product among M unit-norm vectors in C^N for M>N.
Current frontiers derived from accepted Claims.
Assertions tied to evidence, attribution, and review.
The frontier as it changed over time.
Only accepted Claims matching the current specification contribute to the displayed bounds. Strict inequalities remain open; contradictory Claims require editorial review.