RSA Convergence Theory (Stub) #
@cite{zaslavsky-hu-levy-2020}
Proves that RSA dynamics converge by showing G_α is monotonically increasing.
Results (to be restated for RSAConfig) #
- Concavity: G_α is concave in S (fixed L) and concave in L (fixed S)
- Alternating maximization: RSA speaker/listener updates maximize G_α
- Monotonicity: G_α(S_t, L_t) ≤ G_α(S_{t+1}, L_{t+1}) for all t
- Convergence: RSA dynamics converge to a fixed point
Old RSAScenarioR-based proofs removed; restate using RSAConfig.