계층적 모노이달 이론과 화학적 역합성의 형식화

초록

본 논문은 여러 추상화 수준을 동시에 기술할 수 있는 ‘계층적 모노이달 이론(Layered Monoidal Theories)’을 정의하고, 이를 문자열 다이어그램으로 시각화한다. 세 가지 변형(옵피브레이션, 피브레이션, 디플레이션)과 자유‑망각(adjunction) 구조를 제시하며, 디지털 회로·양자 회로·CCS·화학 반응 등 다양한 사례에 적용한다. 후반부에서는 합성 화학의 역합성(retrosynthesis)을 세 단계(반응, 반응 스킴, 분리 규칙)로 모델링하고, 각 단계 사이의 함자적 변환이 완전·음성·보편적임을 증명한다. 마지막으로 역합성 모델을 특정 계층적 모노이달 이론 안에 공식화한다.

상세 분석

논문은 먼저 전통적인 모노이달 이론을 ‘문자열 다이어그램’이라는 2차원 그래픽 언어로 재정의한다. 여기서 객체는 와이어, 사상은 박스로 나타내며, 병렬·순차 합성은 다이어그램의 수평·수직 결합으로 구현된다. 기존 모노이달 이론은 하나의 레이어만을 다루지만, 저자는 서로 다른 모노이달 이론과 그 사이의 번역(translation)들을 하나의 다이어그램 안에 겹쳐 그릴 수 있는 ‘계층적 모노이달 이론’을 제안한다. 이를 위해 세 가지 ‘맛(flavour)’을 정의한다. 첫 번째는 옵피브레이션(opfibration) 기반으로, 상위 레이어가 하위 레이어의 객체를 ‘옵션’처럼 선택하도록 하는 구조이며, 자유‑망각(adjunction)에서 왼쪽 자유함수는 레이어를 추가하고 오른쪽 망각함수는 레이어를 제거한다. 두 번째는 피브레이션(fibration) 기반으로, 하위 레이어가 상위 레이어의 구조를 ‘끌어올리는’ 형태이며, 이는 전통적인 인덱스 카테고리와 동일시된다. 세 번째는 디플레이션(deflation) 기반으로, 레이어 간의 사상들이 동형 사상으로 축소되는 경우를 다루어, 복합 시스템에서 불필요한 세부 정보를 제거하는 역할을 한다. 각각에 대해 자유‑망각 쌍을 명시적으로 구성하고, 이들 사이의 삼각 관계를 통해 ‘계층적 모노이달 이론’이 실제 카테고리(특히 피브레드/옵피브레드)와 동형임을 증명한다.

다음 장에서는 이 이론을 실제 사례에 적용한다. 디지털 회로와 전기 회로는 전압·전류와 같은 물리량을 서로 다른 레이어로 구분하면서, 회로 합성을 동일한 문자열 다이어그램 안에 표현한다. ZX‑계산법은 양자 회로와 측정 기반 양자 컴퓨팅을 연결하는 레이어를 제공하고, CCS(통신 시스템 계산법)는 동시성 연산을 두 레이어(프로세스와 통신 채널)로 분리한다. 확률 채널은 확률 분포와 샘플링 연산을 별도 레이어로 두어, 정보 흐름과 확률 변환을 동시에 시각화한다.

핵심적인 두 번째 파트는 화학적 역합성을 ‘세 단계’ 모델로 공식화한다. (1) 반응(Reaction) 은 모든 가능한 분자 재배열을 포괄하는 가장 추상적인 레이어이며, 이는 그래프 재작성의 ‘이중 푸시아웃(double pushout)’ 규칙으로 정의된다. (2) 반응 스킴(Reaction Scheme) 은 기능기(patch) 수준에서 적용 가능한 변환 집합을 제공하고, 스킴 자체가 작은 그래프 패턴을 매칭해 부분 그래프를 교체한다. (3) 분리 규칙(Disconnection Rule) 은 단일 결합이나 원자 수준의 로컬 rewrite 규칙으로, 가장 미세한 레이어에 해당한다. 저자는 분리 규칙에서 반응 스킴, 그리고 반응 스킴에서 전체 반응으로 가는 두 함자적 사상(translation functor)을 정의하고, 이 사상이 음성(sound), 완전(complete), 보편(universal) 임을 증명한다. 즉, 모든 화학 반응은 적절한 분리 규칙들의 조합으로 완전히 기술될 수 있으며, 반대로 분리 규칙은 그 의미론을 반응 레이어가 제공한다.

마지막으로, 이 세 레이어를 하나의 ‘계층적 모노이달 이론’ 안에 끼워 넣는다. 각 레이어는 자체적인 모노이달 서명을 가지고, 레이어 간 번역은 옵피브레이션/피브레이션 구조로 모델링된다. 이를 통해 역합성 과정 자체가 문자열 다이어그램 상에서 레시피(recipe) 로 시각화되며, 자동 합성 알고리즘이 카테고리 이론적 의미를 갖는 ‘합성 사상(composition morphism)’ 으로 해석될 수 있음을 보여준다. 전체적으로 이 논문은 추상적 수학(카테고리 이론)과 실용적 화학(역합성) 사이의 다리 역할을 수행하며, 복합 시스템을 다중 레이어로 구조화하는 새로운 패러다임을 제시한다.