모든 초등함수를 단일 이항 연산자로부터 생성

• exp(x) − ln(y) 형태의 단일 이항 연산자 EML이 모든 초등함수와 상수를 생성할 수 있음이 제시됨
• 이 연산자와 상수 1만으로 산술 연산, 초월함수(sin, cos, log, √ 등), 복소 상수(e, π, i) 를 모두 표현 가능
• 모든 EML 표현식은 동일한 노드 구조의 이진 트리로 구성되어, 기호 회귀와 경사 기반 학습에 활용 가능
• EML은 NAND 게이트의 수학적 대응체로, 연속 수학에서의 단일 보편 연산자 역할 수행
• 이 발견은 모든 초등함수가 단일 생성 규칙으로 환원 가능함을 보여주며, 수식 탐색과 심볼릭 AI의 새로운 가능성 제시

단일 이항 연산자 EML의 정의

• eml(x, y) = exp(x) − ln(y) 형태의 단일 이항 연산자가 모든 초등함수를 생성할 수 있음이 제시됨
  • 이 연산자와 상수 1만으로 산술 연산(+, −, ×, /, 거듭제곱), 초월함수(sin, cos, log, √ 등), 상수(e, π, i) 를 모두 표현 가능
  • 예시로 ex = eml(x, 1), ln x = eml(1, eml(eml(1, x), 1)) 형태로 표현 가능
• EML(Exp–Minus–Log) 연산자는 복소수 영역(C) 에서 계산 수행
  • 상수 1은 ln(1)=0을 통해 로그 항을 중화하는 역할 수행
  • ln(−1) 계산을 통해 i 및 π 등의 복소 상수 생성 가능
• 이 연산자는 디지털 논리의 NAND 게이트에 대응되는 연속 수학의 단일 기본 연산자로 제시됨
  • NAND가 모든 불리언 논리를 구성하듯, EML은 모든 초등함수를 구성

단일 연산자 기반 계산기의 개념

• “두 버튼 계산기” 개념 제시
  • 하나의 이항 연산자(EML)와 하나의 상수(1)만으로 과학용 계산기의 모든 기능 수행 가능
  • 추가 연산자 없이도 모든 실수 및 복소수 초등함수 계산 가능
• 더 이상의 연산자 수 축소는 불가능함
  • 최소한 하나의 이항 연산자와 하나의 단말 기호(상수)는 필요

EML 표현의 구조적 특징

• 모든 EML 표현식은 동일한 노드로 구성된 이진 트리 구조를 가짐
  • 문법 형태: S → 1 | eml(S, S)
  • 이는 Catalan 구조 및 완전 이진 트리와 동형인 문맥 자유 언어로 해석 가능
• 이러한 균일한 구조는 기호 회귀(symbolic regression) 에서 경사 기반 최적화(Adam 등) 적용을 가능하게 함
  • EML 트리를 학습 가능한 회로로 사용하여, 얕은 트리 깊이(최대 4) 에서 정확한 닫힌형 초등함수 복원 가능
  • 생성 법칙이 초등함수일 경우, 학습된 가중치가 정확한 수식 형태로 수렴 가능

발견 과정과 수학적 함의

• EML 연산자는 체계적 전수 탐색(exhaustive search) 을 통해 발견됨
  • 탐색 결과, EML이 과학용 계산기의 완전한 연산 기반을 구성함이 확인됨
• 연산자 수를 점진적으로 줄이는 “고장난 계산기(broken calculator)” 접근법을 사용
  • 4개 → 3개 → 2개 → 1개 연산자로 축소하며 완전 기능 유지
• EML은 예상치 못한 단순성을 가지며, 초등함수 자체로 정의된 이항 연산자임
• EML의 존재는 초등함수들이 훨씬 단순한 생성적 계층에 속함을 보여줌
  • 다양한 함수들이 exp와 ln의 조합으로 환원 가능함을 확장
• 단일 반복 가능한 구성요소로 모든 수학식을 표현할 수 있어,
  • 전자회로의 트랜지스터 기반 구성과 유사한 수학식의 회로적 표현 가능
• 이러한 균일 회로 표현은 수식 탐색, 평가, 학습의 새로운 가능성 제시

관련 개념과 역사적 맥락

• 단일 기본 요소의 보편성은 수학·공학·생물학 전반에서 중요한 개념으로 다뤄짐
  • 예: NAND/NOR 게이트, ReLU 활성함수, K,S 조합자, OISC(SUBLEQ), Rule 110 셀룰러 오토마톤 등
• Sheffer형 원소는 드물며, 발견에는 시간·계산·운이 필요함
  • EML은 이러한 Sheffer형 연속 연산자의 한 예로 제시됨
• 로그와 지수의 상호 표현성(x×y = e^{ln x + ln y}, x+y = ln(e^x × e^y)) 및 오일러 공식(e^{iφ} = cos φ + i sin φ) 등 기존의 축소 관계를 기반으로 함

초등함수 집합과 향후 확장

• 연구는 과학용 계산기 수준의 초등함수 집합을 출발점으로 삼음
  • 상수: π, e, i, −1, 1, 2, x, y
  • 단항 함수: exp, ln, inv(1/x), minus(−x), √, sqr(x²), σ(1/(1+e^−x)), sin, cos, tan, arcsin, arccos, arctan, sinh, cosh, tanh 등
  • 이항 연산: +, −, ×, /, log, pow(x^y), avg((x+y)/2), hypot(√(x²+y²))
• 이 전체 집합을 단일 연산자 EML과 상수 1로 완전히 대체 가능함을 입증
• 초기 탐색에서 더 강력한 성질을 가진 유사 연산자도 발견됨
  • 예: 상수를 필요로 하지 않는 삼항(ternary) 변형 연산자
• EML은 연속 수학의 단일 생성 연산자 존재 가능성을 보여주는 출발점으로 제시됨
  • 향후 수식 자동 발견, 심볼릭 AI, 수학적 표현 최적화 등 다양한 응용 가능성 존재