Bryc 逆引理（Bryc's converse lemma）
/ BRITS /
Bryc 逆引理是 Varadhan 積分引理的部分逆命題：Varadhan 把大偏差原理轉化為指數積分的 Laplace 型漸近，Bryc 則反其道而行，由這些漸近的存在性產生大偏差原理。它回答一個實際問題——若你能計算所有適當加權指數期望的極限對數，是否自動擁有大偏差原理？——在指數緊性條件下，答案是肯定的。
陳述如下：假設 (mu_n) 指數緊，且對每個有界連續函數 F，極限 Lambda(F) = lim (1/n) log E[e^(n F(X_n))] 存在。則 (mu_n) 滿足以良好速率函數為速率函數的大偏差原理，該速率函數由逆勒讓德型變換 I(x) = 對有界連續 F 取上確界的 (F(x) - Lambda(F)) 復原。換言之，Laplace 泛函族 Lambda(F)（每個測試函數一個數）恰好包含大偏差原理的資訊，而速率函數作為 Laplace 泛函在測試函數上的共軛被讀出。指數緊性假設提供了把逐點泛函極限升級為帶良好速率函數的完整原理所需的緊性。
Bryc 引理之所以重要，是因為實務上極限 Laplace 泛函往往是可計算的對象——它是統計力學中的極限自由能、排隊與風險理論中的極限對數 Laplace 變換、Gartner-Ellis 中的縮放累積量。確立這些極限對所有有界連續 F 存在，再加上指數緊性，常比直接驗證開集下界容易，因此 Bryc 免費供給下界。對 F 的有界連續限制（相對於 Varadhan 帶動差條件的連續 F）使逆命題保持乾淨；兩個引理合在一起說明大偏差原理與 Laplace 原理是同一事實的兩面。
假設你已對某排隊工作量數列證明：對每個有界連續 F，lim (1/n) log E[e^(n F(W_n))] 存在，且 W_n 指數緊。Bryc 便交給你完整的大偏差原理，並把速率函數辨認為該極限泛函的共軛——無需另外的下界論證。
Bryc：所有 Laplace 極限的存在性 + 指數緊性 => 大偏差原理。
指數緊性不可省略。僅有對所有有界連續 F 存在的 Laplace 極限只給出弱大偏差原理（開集下界、僅緊集上的上界）；指數緊性正是把上界延拓到所有閉集並使速率函數良好的條件。