와이어링 다이어그램을 통한 자기유사성 모델링: 연산자와 관계 대수의 통합

초록

이 논문은 전자 회로와 데이터베이스 쿼리, 재귀 함수 등을 하나의 그래픽 언어로 표현하기 위해, 와이어링 다이어그램을 연산자(operad)의 사상으로 정의하고, 관계(Rel) 대수를 통해 실제 응용 사례를 제시한다. 특히 타입이 없는 단일형 와이어링 연산자 S와 타입이 부여된 연산자 T를 구축하고, 이들을 닫힌 연산자로 확장해 플러그‑인·플러그‑아웃 및 재귀 정의를 형식화한다.

상세 분석

논문은 먼저 전통적인 대칭 다중범주(symmetric multicategory)인 연산자의 정의를 재정리하고, 이를 “와이어링 다이어그램 연산자” S에 적용한다. S의 객체는 유한 집합이며, 사상은 내부 별(입력 집합)들을 외부 별(출력 집합)과 연결하는 유한 케이블 집합 C를 매개로 하는 코스팬(cospan)으로 정의된다. 구성법칙은 케이블 집합의 푸시아웃(pushout)을 이용해 복합 다이어그램을 하나의 다이어그램으로 합성하는 방식으로 제시된다. 이 구조는 “와이어링 다이어그램 안에 와이어링 다이어그램을 넣는다”는 자기유사성을 정확히 포착한다.

다음으로 저자는 연산자 S 위에 관계(Rel) 대수를 정의한다. 각 객체 X에 대해 Rel(X) = 𝒫(X) × 𝒫(X) …와 같은 관계 집합을 할당하고, 사상 φ:X₁,…,Xₙ→Y에 대해 입력 관계들을 케이블을 통해 연결한 뒤 결과 관계를 출력 객체 Y에 부여한다. 이 과정은 데이터베이스의 조인 연산을 시각적으로 표현하는 것과 일치한다. 예시로 정수 곱셈, 나눗셈, 완전제곱 관계를 와이어링 다이어그램으로 나타낸다.

타입이 있는 버전 T는 각 와이어에 데이터 타입을 부여해 실제 데이터베이스 스키마와 직접 대응한다. T는 S를 일반화한 것으로, 타입 별로 다른 관계 대수를 적용할 수 있어 복합적인 쿼리(합성 조인·합집합 등)를 자연스럽게 모델링한다.

핵심적인 확장은 S와 T가 닫힌 연산자(closed operad)임을 보인 점이다. 닫힘 구조를 이용하면 내부 별을 함수형 객체로 보고, 재귀 정의를 연산자 내부에서 자체적으로 표현할 수 있다. 논문은 팩터리얼 함수를 와이어링 다이어그램으로 재귀적으로 정의하고, 플러그‑인·플러그‑아웃(핫스와핑) 장치를 “외부 별에 새로운 내부 별을 동적으로 삽입”하는 형태로 기술한다. 이는 모듈식 회로 설계와 동적 서비스 구성에 직접적인 적용 가능성을 제공한다.

마지막으로 저자는 관계 대수의 불변량(invariant) 탐색을 시도했으나, 비자명한 불변량이 존재하지 않을 것이라는 추측을 제시한다. 이는 연산자와 관계 대수 사이의 상호작용이 매우 유연하고, 구조적 제약이 적다는 의미로 해석될 수 있다. 전체적으로 논문은 연산자 이론을 실용적인 그래픽 언어와 연결함으로써, 데이터베이스, 회로 설계, 재귀 프로그래밍을 하나의 수학적 프레임워크로 통합하는 데 성공하였다.