람루니안 라이브러리: 정수 관계 초그래프를 통한 자동 발견

초록

본 논문은 수학 상수와 그들 사이의 공식들을 정점·초엣지 형태의 초그래프로 모델링하고, PSLQ 알고리즘을 활용해 자동으로 새로운 정수 다항식 관계를 탐색·추가하는 시스템을 제시한다. 75개의 신규 관계를 발견했으며, 특히 π와 e 사이의 라무루니안 관계를 일반화한 결과를 포함한다.

상세 분석

이 연구는 먼저 수학 상수를 정점으로, 상수들 사이의 공식(선형·비선형 정수 관계)을 초엣지로 표현하는 초그래프 구조를 정의한다. 기존 그래프와 달리 초엣지는 두 개 이상을 연결할 수 있어, 다항식 형태의 복잡한 관계를 자연스럽게 담을 수 있다. 저자들은 C‑transform이라는 연속분수 표기법을 채택해, 무한급수·연속분수 모두를 하나의 형식으로 통합하였다. 이는 실험적 수학에서 공식 생성 과정을 자동화하는 데 핵심적인 역할을 한다.

정수 관계 탐색 핵심 알고리즘으로는 PSLQ를 사용한다. PSLQ는 QR 분해와 격자 축소를 기반으로 고정밀 실수 벡터에서 정수 관계를 찾아내며, 이론적으로 충분한 정밀도에서 거의 모든 관계를 복원한다. 논문에서는 PSLQ 실행 시 발생할 수 있는 거짓 양성을 걸러내기 위해 ‘투자 대비 수익(Return on Investment, RoI)’이라는 새로운 지표를 도입하였다. RoI는 발견된 정수들의 비트 길이와 전체 정밀도를 결합해 계산되며, 실험적으로 RoI≥2를 유의미한 관계의 임계값으로 설정하였다.

알고리즘 흐름은 크게 두 단계로 나뉜다. 첫 번째는 사전 정의된 상수 집합(기본 상수·C‑transform으로 만든 새로운 상수)을 선택하고, 지정된 차수·차수(order) 범위 내에서 모든 가능한 다항식 조합을 생성한다. 각 조합에 대해 PSLQ를 실행해 정수 관계를 찾고, RoI 기준을 통과하면 초그래프에 초엣지로 삽입한다. 두 번째 단계는 이미 구축된 초그래프를 활용해 중복 계산을 방지한다. 즉, 현재 탐색하려는 상수 집합에 이미 차수·차수 이하의 관계가 존재하면 PSLQ를 건너뛰어 연산 비용을 크게 절감한다. 이는 초그래프가 점진적으로 학습하면서 탐색 효율이 기하급수적으로 향상되는 메커니즘이다.

실험 결과, 저자들은 75개의 새로운 정수 관계를 발견했으며, 그 중에는 ‘첫 연속분수 상수 C₁’에 대한 새로운 공식, 자연 로그와 관련된 다수의 식, 그리고 π와 e 사이의 새로운 다항식 관계가 포함된다. 특히 기존 라무루니안 공식 π·e = 1+1/(1+2/(1+3/…))을 일반화한 고차 다항식 형태를 제시함으로써, π와 e 사이의 관계가 단일 식이 아니라 보다 풍부한 구조의 일부임을 증명했다.

코드와 데이터베이스는 오픈소스로 공개되어, 연구자들이 직접 새로운 상수를 추가하거나 기존 초그래프를 확장할 수 있다. API를 통해 자동화된 탐색 파이프라인을 구축하거나, 인간이 제안한 가설을 검증하는 도구로 활용 가능하다. 전체 시스템은 ‘embarrassingly parallel’ 구조를 갖추고 있어, 클러스터 환경에서 수천 개의 PSLQ 작업을 동시에 수행할 수 있다.

이 논문은 실험적 수학과 컴퓨터 과학을 연결하는 중요한 교량 역할을 한다. 초그래프라는 추상화와 PSLQ 기반 자동 탐색을 결합함으로써, 인간의 직관에 의존하던 상수 관계 발견 과정을 체계화하고 가속화한다. 향후에는 더 높은 차수·차수의 다항식 탐색, 다른 정수 관계 알고리즘(L L L 등)과의 혼합, 그리고 물리·생물학 등 다양한 분야의 실험 데이터와 연계한 멀티모달 상수 라이브러리 구축이 기대된다.