비동기 게임에서 교대 없이 순수 무죄성 정의하기

초록

**
본 논문은 전통적인 교대(Alternating) 가정에 의존하던 무죄성(Innocence) 개념을 비동기 게임 프레임워크로 확장한다. 2차원 타일과 호몰로피 이론을 이용해 뷰(view) 없이도 전략의 무죄성을 정의하고, 이를 동시성 게임과의 연결 고리로 삼는다. 결과적으로 무죄 전략은 위치(호몰로피 클래스) 기반의 폐쇄 연산자로 표현되며, 비교적 복잡한 비교대 전략도 일관되게 다룰 수 있다.

**

상세 분석

**
논문은 먼저 Hyland‑Ong이 제시한 포인터 게임에서 무죄 전략이 “플레이어가 자신의 뷰(view)만을 이용해 반응한다”는 정의가 교대(Alternation) 전제에 크게 의존한다는 점을 지적한다. 교대가 깨지는 비교대(non‑alternating) 상황에서는 기존 뷰 정의가 의미를 상실한다. 이를 해결하기 위해 저자들은 비동기 게임(asynchronous games)의 2차원 타일 구조를 활용한다. 타일(□)은 두 개의 독립적인 전이 m, n이 서로 교환 가능함을 시각적으로 나타내며, 이러한 교환 가능성은 호몰로피 동치관계로 형식화된다. 즉, 두 전이의 순서는 “동시성”이라는 관점에서 무시될 수 있다.

이 구조를 이용해 무죄성을 새롭게 정의한다. 핵심은 위치 기반 무죄성이다. 두 교대 플레이 s, t가 같은 목표 위치 x에 도달하고 호몰로피 동치라면, 그 뒤에 이어지는 Opponent의 움직임 m에 대해 Proponent가 선택할 응답 n은 s·m·n ∈ σ ⇔ t·m·n ∈ σ 를 만족한다. 따라서 전략은 특정 위치에 도달했을 때 그 위치에 대한 “인과 관계(causality) 순서”만을 기억한다. 이 인과 관계는 각 위치마다 부분 순서(poset) 형태로 존재하며, 전략 전체는 이러한 부분 순서들의 합집합, 즉 이벤트 구조(event structure)로 귀결된다.

논문은 이 정의가 기존 교대 무죄 전략과 정확히 일치함을 보이며, 동시에 비교대 전략에도 적용 가능함을 증명한다. 특히, B⊗B와 같은 단순한 부울 게임을 예로 들어, 교대 전략과 비교대 전략이 동일한 최종 위치(호몰로피 클래스)에 도달하지만, 비교대 전략은 그 위치에 대한 모든 가능한 선형화(linearization)를 포함한다는 점을 강조한다. 이러한 선형화 집합은 부분 순서의 모든 위상 정렬에 해당하며, 전략을 폐쇄 연산자(closure operator)로 표현할 수 있게 만든다.

또한, 논문은 이 접근법이 Abramsky‑Melliès의 동시성 게임(concurrent games)과도 자연스럽게 연결된다는 점을 부각한다. 동시성 게임에서는 전략을 폐쇄 연산자로 정의하고, 위치는 정보가 누적된 집합으로 본다. 비동기 게임의 호몰로피 클래스는 바로 이러한 “정보 상태”와 동등하며, 따라서 무죄 전략은 동시성 게임의 전략과 동형인 폐쇄 연산자를 제공한다.

마지막으로 저자들은 “인간 전략(ingenuous strategy)”이라는 새로운 개념을 도입한다. 이는 각 도달 위치마다 인과 순서를 갖고, 특정 다이어그램적 조건(예: 타일 완전성, 교환 가능성)을 만족하는 전략이다. 현재는 합성성이 완전히 보장되지 않지만, 이는 향후 비교대 무죄 전략의 카테고리 이론적 구조를 구축하는 데 중요한 초석이 될 것으로 기대된다.

**