Proof.: The API returns the (re-ordered) token \(0\) as long as the logit bias added is smaller than \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\). By the assumption, we know that \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[-B,0]\). The algorithm ensures that \(\beta_{i}\geq\mathsf{logit}_{i}-\mathsf{logit}_{0}\geq\alpha_{i}\) at each iteration, as can be seen easily by an inductive argument. Further, \(\beta_{i}-\alpha_{i}\) decreases by a factor of \(2\) in each iteration, and hence at termination, we can see that the true value of \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\) is sandwiched in an interval of length \(\varepsilon\). Furthermore, it is clear that the number of iterations is at most \(\log_{2}\left(\frac{B}{\varepsilon}\right)\) and hence so is the query cost of this algorithm.
증명: API는 추가된 logit bias가 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\)보다 작은 한 (재정렬된) 토큰 \(0\)을 반환합니다. 가정에 따르면, 우리는 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[-B,0]\)라는 것을 알고 있습니다. 이 알고리즘은 귀납적 인수를 통해 쉽게 알 수 있듯이 각 반복에서 \(\beta_{i}\geq\mathsf{logit}_{i}-\mathsf{logit}_{0}\geq\alpha_{i}\)를 보장합니다. 또한, \(\beta_{i}-\alpha_{i}\)는 각 반복에서 \(2\)의 계수만큼 감소하므로 종료 시 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\)의 실제 값이 길이 \(\varepsilon\)의 간격에 끼어 있음을 알 수 있습니다. 또한 반복 횟수는 최대 \(\log_{2}\left(\frac{B}{\varepsilon}\right)\)이므로 이 알고리즘의 쿼리 비용도 최대 \(\log_{2}\left(\frac{B}{\varepsilon}\right)\)임이 분명합니다.
증명: API는 추가된 로짓 바이어스가 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\)보다 작은 한 (재정렬된) 토큰 \(0\)을 반환합니다. 가정에 따르면, 우리는 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\in[-B,0]\)라는 것을 알고 있습니다. 이 알고리즘은 귀납적 인수를 통해 쉽게 알 수 있듯이 각 반복에서 \(\beta_{i}\geq\mathsf{logit}_{i}-\mathsf{logit}_{0}\geq\alpha_{i}\)를 보장합니다. 또한, \(\beta_{i}-\alpha_{i}\)는 각 반복에서 \(2\)의 계수만큼 감소하므로 종료 시 \(\mathsf{logit}_{i}-\mathsf{logit}_{0}\)의 실제 값이 길이 \(\바렙실론\)의 간격에 끼어 있음을 알 수 있습니다. 또한 반복 횟수는 최대 \(\log_{2}\left(\frac{B}{\varepsilon}\right)\)이므로 이 알고리즘의 쿼리 비용도 최대 \(\log_{2}\left(\frac{B}{\varepsilon}\right)\)임이 분명합니다.