비교연산자 값과 NPA 계층의 불일치: 한계와 불가산성

초록

이 논문은 비국소 게임의 비교연산자(Commuting Operator) 값이 1/2보다 큰지를 판별하는 문제가 RE‑hard, 즉 결정 불가능함을 보인다. 이를 위해 튜링 기계와 불리언 제약 시스템(BCS) 게임 사이의 계산 가능한 매핑을 구성하고, 그 결과 NPA 계층의 어느 유한 단계에서도 비교연산자 값을 정확히 잡아낼 수 없는 게임이 존재함을 증명한다.

상세 분석

논문은 먼저 비국소 게임 G의 비교연산자 값 ω_qc(G)를 *‑다항식 Φ_G와 연결시켜, ω_qc(G) ≤ λ ⇔ λ − Φ_G가 양의 *‑다항식이라는 관점을 제시한다. 이때 λ = 1/2인 경우, α = 1/2 − Φ_G가 양이면 게임의 비교연산자 값이 1/2 이하임을 의미한다. 기존 연구(