대칭 깨기로 본 π 계산의 표현력 차이

초록

본 논문은 혼합 선택을 허용하는 π‑mix와 선택을 분리한 π‑sep 사이의 표현력 격차를 ‘초기 대칭을 깨는 능력’이라는 관점에서 재조명한다. 기존의 리더 선출 문제 대신, 두 복제 프로세스를 병렬로 실행했을 때 발생하는 “incestual” 프로세스의 축소 가능성을 이용해 π‑mix가 대칭을 깨는 반면 π‑sep는 불가능함을 보인다. 이를 통해 균일하고 합리적인 인코딩이 존재하지 않음을 다양한 ‘균일성’·‘합리성’ 정의에 대해 증명한다.

상세 분석

이 논문은 π‑calculus의 두 변형, 즉 혼합 선택을 허용하는 π‑mix와 입력·출력 선택을 별도로 제한하는 π‑sep 사이의 상대적 표현력을 기존의 리더 선출 문제에 의존하지 않고, 보다 근본적인 ‘대칭 파괴(symmetry breaking)’ 개념을 통해 분석한다. 먼저 저자들은 Palamidessi가 사용한 ‘semantic symmetry’를 재정의한다. 기존 정의는 하이퍼그래프와 자동동형사상을 이용해 프로세스 네트워크의 구조적·이름적 대칭을 포괄했지만, 이는 리더 선출과 같은 특정 문제에 맞추어 과도하게 강력했다. 논문은 이를 ‘syntactic symmetry’와 ‘semantic symmetry’를 명확히 구분하고, 후자를 더 약화시켜 ‘초기 대칭(initial symmetry)’이라는 개념만을 남긴다. 즉, 네트워크가 이름 치환 σ에 대해 구조적으로 동일하고, 각 프로세스는 σ에 따라 이름이 바뀐 형태와 α‑동형(α‑conversion) 관계에 있으면 대칭이라고 정의한다.

그 다음 저자들은 ‘incestual’ 프로세스—같은 채널에 대해 동시에 활성화된 입력과 출력이 존재하는 혼합 선택—를 두 복제본으로 병렬 실행했을 때, π‑mix에서는 이러한 프로세스가 서로 소통하면서 대칭을 깨고 새로운 행동을 생성할 수 있음을 보인다. 구체적으로, P = a·P₁ + ā·P₂ 형태의 프로세스를 (ν a)(P | P) 형태로 구성하면, 혼합 선택 덕분에 한쪽 복제본이 a를 출력하고 다른 쪽이 a를 입력함으로써 τ‑전이 후 새로운 비대칭 상태로 전이된다. 반면 π‑sep에서는 입력과 출력이 같은 선택 안에 공존할 수 없으므로, 동일한 구조를 갖는 두 복제본을 병렬로 놓아도 모든 전이가 대칭을 유지한다. 즉, π‑sep는 ‘대칭 파괴’를 전혀 수행하지 못한다는 것이 핵심 증명이다.

이러한 차이를 바탕으로 논문은 ‘균일성(uniformity)’과 ‘합리성(reasonableness)’이라는 인코딩 조건을 여러 변형으로 정의한다. ‘균일성’은 구조 보존(α‑conversion, 이름 재배치 등)과 동시성 보존을 의미하고, ‘합리성’은 행동 의미(바깥으로 보이는 라벨)와 관찰 가능성(바깥 라벨의 보존)을 유지하는 것을 말한다. 저자들은 각 정의에 대해 π‑mix → π‑sep 인코딩이 존재한다면 반드시 대칭 파괴를 보존해야 하는데, 앞서 보인 π‑sep의 대칭 파괴 불가능성에 의해 모순이 발생함을 증명한다. 따라서 어떤 형태의 ‘좋은(good)’ 인코딩도 존재하지 않는다.

이 논문이 제공하는 주요 통찰은 다음과 같다. 첫째, ‘대칭 파괴’ 자체를 독립적인 문제 인스턴스로 끌어올림으로써 표현력 비교가 보다 일반화되고, 리더 선출과 같은 특수 목적 문제에 얽매이지 않는다. 둘째, 기존의 강력한 ‘semantic symmetry’ 정의를 약화해도 π‑mix와 π‑sep 사이의 격차를 충분히 드러낼 수 있음을 보인다. 셋째, 인코딩 조건을 다양하게 변형해도 핵심적인 대칭 파괴 능력 차이는 변하지 않으며, 이는 두 언어 사이의 ‘절대적 표현력 차이’를 확고히 한다. 마지막으로, 이 접근법은 CSP·π‑calculus 등 다른 동시성 모델에도 적용 가능하여, 대칭 파괴 능력이 모델 간 비교의 핵심 기준이 될 수 있음을 시사한다.