아로우 데부레 균형 계산의 복잡도: 가법 분리 PLC 효용 함수에서 PPAD‑완전성 입증

본 논문은 아로우‑데부레(Arrow‑Debreu) 교환 시장에서 거래자들의 효용 함수가 가법적으로 분리되고 구간선형·볼록(PLC) 형태일 때, 시장 균형을 계산하는 문제의 복잡도를 완전히 규명한다. 연구는 크게 네 부분으로 구성된다. 첫째, 배경 및 동기 부여 단계에서 저자들은 일반 균형 이론의 핵심인 아로우‑데부레 정리를 소개하고, 기존 알고리즘 연구가 선형 효용에 한정된 점을 지적한다. 특히, Valiant Vazirani가 제기한 “가법 분리 PLC 효용 함수에 대한 다항시간 알고리즘 존재 여부”라는 오픈 질문을 명시한다. 둘째, 기술적 준비 단계에서는 “t‑segment PLC 함수”와 “t‑linear 시장”이라는 정의를 도입한다. t‑segment PLC 함수는 t개의 구간으로 나뉘어 각 구간마다 일정한 기울기를 갖는 연속 함수이며, 이를 이용해 각 거래자의 효용을 u_i(x)=∑_j r_{i,j}(x_j) 형태로 표현한다. 1‑linear 시장은 기존 선형 효용 시장에 해당하고, 2‑linear 시장은 각 재화에 대해 두 개의 구간을 갖는 PLC 효용을 의미한다. 셋째, 핵심 기여인 가격‑조절 시장(M_n)의 설계와 그 성질을 제시한다. M_n은 n개의 재화와 n개의 거래자로 구성된 1‑linear 시장이며, 균형 가격 p가 정규화될 경우 모든 p_k가