중간대수에서 트리와 화살표 불가능성 정리의 새로운 연결고리

초록

본 논문은 보존적 중간대수를 일반화한 p₂:₃-중간반격자 개념을 도입해 트리를 정확히 기술하고, 트리형 목표대상 B에 대한 중간동형사상들의 구조를 완전히 규정한다. 이를 통해 다변량 중간함수 f: A₁×⋯×Aₙ→B가 하나의 인자에만 의존하도록 강제하는 화살표 불가능성 정리가 B가 트리일 때에만 성립함을 보인다.

상세 분석

논문은 먼저 중간대수 (A, m)와 그에 대응하는 반격자 (A, ∧ₐ) 사이의 동형성을 정리한다. 기존 연구에서 보존적 중간대수는 모든 삼중원소 x,y,z에 대해 m(x,y,z)∈{x,y,z} 이라는 강한 제약을 만족했으며, 이러한 구조는 두 개의 하한을 동일시한 사슬(chain)로 완전히 기술될 수 있었다. 저자들은 이 보존성을 “p₂:₃-중간반격자”라는 약화된 조건으로 대체한다. 구체적으로는 모든 x,y,z∈A에 대해
\