Proof.: Algorithm 3 maintains the invariant that \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[\alpha_{i},\beta_{i}]\) in each round. We will prove by induction that this is true and that the true vector of logits always lies in \(\mathcal{C}\). Note that by the assumption stated in the Lemma, this is clearly true at the beginning of the first round. Suppose that this is true after \(K<T\) rounds. Then, in the \(K+1\)-th round, the constraints added are all valid constraints for the true logit vector, since the API returning token \(k\) guarantees that \(\mathsf{logit}_{k}+b_{k}\geq\mathsf{logit}_{j}+b_{j}\) for all \(j\neq k\). Hence, by induction, the algorithm always ensures that \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[\alpha_{i},\beta_{i}]\).
증명: 알고리즘 3은 각 라운드에서 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[\alpha_{i},\beta_{i}]\)라는 불변성을 유지합니다. 우리는 귀납법을 통해 이것이 참이며, 로그잇의 실제 벡터가 항상 \(\mathcal{C}\)에 속한다는 것을 증명할 것입니다. 레마에서 언급된 가정에 따르면, 첫 번째 라운드의 시작 시점에서 이것이 명백히 참임을 알 수 있습니다. \(K<T\) 라운드 후에도 이것이 참이라고 가정합시다. 그러면 \(K+1\)번째 라운드에서 추가된 제약 조건들은 모두 실제 로그잇 벡터에 대한 유효한 제약 조건들입니다. 왜냐하면 API가 토큰 \(k\)를 반환할 때 \(\mathsf{logit}_{k}+b_{k}\geq\mathsf{logit}_{j}+b_{j}\) (모든 \(j\neq k\)에 대해)를 보장하기 때문입니다. 따라서 귀납법에 의해, 알고리즘은 항상 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[\alpha_{i},\beta_{i}]\)를 보장합니다.
증명: 알고리즘 3은 각 라운드에서 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[\alpha_{i},\beta_{i}]\)라는 불변을 유지합니다. 이것이 참이고 참 로짓 벡터가 항상 \(\mathcal{C}\)에 놓인다는 것을 귀납적으로 증명하겠습니다. 레마에 명시된 가정에 따르면, 이것은 첫 번째 라운드가 시작될 때 분명히 참입니다. 이것이 \(K<T\) 라운드 이후에 참이라고 가정합니다. 그러면, \(K+1\)-번째 라운드에서 추가된 제약 조건은 모두 참 로짓 벡터에 대한 유효한 제약 조건이며, 토큰 \(k\)를 반환하는 API는 모든 \(j\neq k\)에 대해 \(\mathsf{logit}_{k}+b_{k}\geq\mathsf{logit}_{j}+b_{j}\)를 보장하기 때문입니다. 따라서 귀납적으로 알고리즘은 항상 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[\alpha_{i},\beta_{i}]\)를 보장합니다.