Limits RegistryPUBLIC RECORDLimits RegistryResearch Console →Lossless separate-encoder rate region for two correlated memoryless sources.
The question, scope, and sources behind this Registry record.
Determine achievable lossless rates for separately encoded correlated iid sources jointly decoded with vanishing error.
Current frontiers derived from accepted Claims.
The accepted equality closes this optimization result.
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.