Arbitrage and the Stability of AMM Price Tracking

기술 요약: AMM 가격 추종의 안정성과 차익거래

문제 제기
자동화 시장 maker(AMM) 는 제한 주문 장부 대신 풀의 상태를 기반으로 가격을 결정합니다. 지배적인 경제학적 직관은 차익거래자가 AMM 가격과 외부 기준 가격 간의 편차를 교정할 것이라고 시사하지만, 기존 문헌은 이 메커니즘이 블록 규모에서 안정성을 보장한다는 엄밀한 증명이 부족합니다. 블록체인에서 가격 교정은 연속적이지 않으며, 트랜잭션 순서, 지연, 수수료, 그리고 잠재적 실패에 따라 이산적으로 발생합니다. 또한, 집중 유동성 풀에서는 교정의 효능이 상태에 의존합니다. 현재 연구는 대부분 연속 시간 근사, 고립된 차익거래 수익, 또는 특정 실행 리스크 (MEV, 프론트러닝) 에 초점을 맞추고 있으며, 이러한 요소들을 추적 오차가 안정적으로 유지됨을 증명하는 폐루프 모델로 통합하지는 못했습니다.

방법론
저자들은 AMM 가격 추종 과정을 블록 수준에서 작동하는 확률적 폐루프 시스템으로 모델링합니다.

1. 상태 정의:

   • $P_n$: 블록 $n$ 이전의 기준 로그 가격.
   • $\tilde{P}_n$: 블록 $n$ 이후의 AMM 로그 가격.
   • $x_n = P_n - \tilde{P}_{n-1}$: 실행 전 추적 오차 (차익거래자가 보는 갭).
   • $z_n = P_n - \tilde{P}_n$: 실행 후 추적 오차.
   • 동역학은 $x_{n+1} = z_n + w_{n+1}$을 따르며, 여기서 $w_n$은 외생적 교란입니다.

2. 실행 계층 축소:
   검색자와 트랜잭션 순서에 대한 복잡한 게임을 모델링하는 대신, 저자들은 실행 계층을 두 가지 주요 양으로 축소합니다.

   • 데드존 상한 ($\bar{\gamma}$): 수수료, 슬리피지, 고정 비용으로 인한 최대 "거래 없음" 반경을 나타내는 측정 가능한 상한.
   • 실현된 교정 ($C_n$): 블록이 전달한 오차 크기의 총 성공적 감소분.
   • 순차적 실행 규칙은 블록 내 잔여 오차가 해당 트랜잭션의 특정 실행 가능 잔여 대역을 초과하는지에 따라 블록 내 어떤 트랜잭션이 성공할지 결정합니다.

3. 이론적 프레임워크:

   • 가정: 이 모델은 블록 환경에 대한 시간 동질성 확률 커널과 "대규모 오차 교정 조건"을 가정합니다. 이 조건은 갭이 충분히 클 때, 블록이 초과 갭의 적어도 일부 ($\lambda^*$) 를 제거할 비영률 확률 ($p^*$) 이 존재한다고 전제합니다.
   • 명제 1: 상수 곱 AMM 에서 "거래 없음 대역"과 최적 차익거래 크기에 대한 명시적 계산을 제공하며, 수수료와 고정 비용이 수익성 있는 교정을 위한 정량적 임계값을 어떻게 생성하는지 보여줍니다.
   • 명제 2: 실행 후 오차가 데드존으로 제한된 실행 전 오차에서 실현된 교정을 뺀 값으로 제한됨을 확립합니다.

4. 안정성 분석:
   저자들은 추적 오차의 마코프 체인을 분석하기 위해 포스터 - 리아푸노프 이론을 사용합니다. 그들은 $V(x) = e^{\alpha|x|}$라는 리아푸노프 함수를 구성하여, 대규모 오차 교정 조건 하에서 시스템이 콤팩트 집합 외부에서 음의 드리프트를 보임을 증명합니다.

주요 결과

• 정리 1 (기하학적 에르고딕성): 명시된 가정 하에서, 추적 오차 과정 $\{x_n\}$은 기하학적 속도로 고유 불변 확률 측도 $\pi_x$로 수렴하는 양의 해리스 재귀 마코프 체인입니다. 이는 대규모 편차가 신뢰할 수 있는 차익거래 교정을 유발할 경우, AMM 가격 추종이 장기적으로 안정적임을 증명합니다.
• 명시적 상한: 이 논문은 유동성과 실행 품질과 추적 품질을 연결하는 명시적 1 단계 상한을 유도합니다. 구체적으로, 수렴 속도는 교정 비율 ($\lambda^*$) 과 전달 확률 ($p^*$) 의 곱에 의존합니다.
• 실증 보정: 이더리움 메인넷 데이터 (블록 16800007–16803511) 를 사용하여 저자들은 정리의 매개변수에 대한 실증적 대리 변수를 구성합니다.
  • 데드존 대리 변수 ($\bar{\gamma}$): $\approx 3.82 \times 10^{-4}$.
  • 대규모 오차 교정 비율 ($\hat{\lambda}^*$): 0.50.
  • 전달 확률 ($\hat{p}^*$): 72.9%.
  • 데이터는 작은 갭보다 큰 갭이 더 빈번하고 깊게 교정됨을 확인합니다.
• 시뮬레이션 검증: 이러한 실증 매개변수로 구동된 축소 시뮬레이션은 시스템이 충격 후 신속하게 작동 튜브로 복귀함을 보여줍니다. 비교 정적 분석은 교정 비율이나 전달 확률을 높이면 추종이 강화되는 반면, 고정 비용이 증가하거나 유동성이 낮아지면 추적 오차가 확대됨을 보여줍니다.

의의와 주장
이 논문의 주요 기여는 "차익거래가 AMM 가격을 정렬한다"는 기본 경제학적 직관을 처리 가능한 보정 인터페이스를 갖춘 정량적 안정성 진술로 전환하는 것입니다.

• 이론적 격차 해소: AMM 동역학, 차익거래 인센티브, 실행 제약 (수수료, 순서, 실패) 을 결합하여 안정성을 증명하는 최초의 블록 규모 확률적 폐루프 모델을 제공합니다.
• 실용적 유용성: 저자들은 정리 자체의 날카로운 실증 검증을 주장하지 않습니다. 대신, 정리가 요구하는 양(데드존, 교정 확률) 이 온체인에서 관찰 가능하며, 이러한 관찰된 양으로 구동된 시뮬레이션이 이론적 예측과 일관되게 작동함을 보여줍니다.
• 메커니즘 통찰: 상수 곱 예시를 통해, 논문은 수수료, 고정 실행 비용, 그리고 준비금 깊이가 경제적 거래 없음 대역과 최적 교정 거래 크기를 어떻게 명시적으로 매핑하는지 보여주며, 유동성과 마찰이 가격 안정성에 미치는 영향을 해석하기 위한 명확한 인터페이스를 제공합니다.

요약하자면, 이 연구는 차익거래 인센티브가 충분히 강력하여 매 블록에서 큰 편차가 일정 확률로 부분적으로 교정될 때, 블록 규모의 AMM 가격 추종이 기하학적 에르고딕성을 가진다는 것을 확립합니다. 이 안정성은 유동성 깊이, 실행 비용, 그리고 교정 메커니즘의 신뢰성 간의 상호작용에 달려 있습니다.