Erdős–Straus 추측의 건설적 글로벌 해법: 잔여 타겟팅, 매개변수 매핑 및 아델릭 봉인을 위한 통합 프레임워크.

이 해법은 전통적인 "밀도" 논거를 넘어서(해가 거의 모든 곳에 존재한다고 제안함) 모든 n ≥ 2에 대한 해가 존재함을 명시적으로 보장하는 알고리즘을 제공합니다. 핵심 논리는 프라임 축소 보조정리에 바탕을 두고 있으며, 이는 모든 소수 p에 대해 4/p = 1/x + 1/y + 1/z가 성립하면 모든 정수 n으로 수학적으로 확장됨을 확립합니다. 이 해법은 효율적으로 무한한 수선형을 유한하고 해결 가능한 잔여 패밀리로 "깎아"내어, 어떤 정수 n도 논리적 그물망을 피할 수 없음을 보장합니다. III. 5개의 핵심 패키지 (A–E): 증명 아키텍처 각 패키지는 더 넓은 해법 내에서 특정 기능 모듈로 작용합니다: • 패키지 A: 모듈 커버리지 & 소수 축소 • 역할: 기초. 무한한 수선형을 잔여 커버리지 스켈레톤(패밀리 R1–R4)으로 매핑합니다. • 메커니즘: 소수를 24로 모듈로 정렬하여 해결 가능한 클래스에 할당하여 초기 "외과적 깎기"가 전체 영역을 고려하도록 합니다. • 패키지 B: 잔여 타겟팅 & 매개변수 구성 • 역할: 현미경. 식별된 모듈 클래스에 대해 명시적인 대수적 삼중(x, y, z)을 생성합니다. • 메커니즘: 선형 매개변수 매핑을 사용하여 정수 정확성을 보장하기 위해 정당화된 선형 함수로서 분모를 생성합니다. • 패키지 C: 건설적 폴백 & 종료 • 역할: 운동 감쇠. 주 매개변수 매핑과 즉시 일치하지 않는 "와일드카드" 소수들을 다룹니다. • 메커니즘: 경계 구간 I(p) = p/4, p를 정의하고, 유효한 해결로 종료될 것이 보장된 결정론적 검색을 제공합니다. • 패키지 D: 봉인 구성 및 글로벌 정리 진술 • 역할: 평결. 지역 모듈 결과를 단일의 연속 글로벌 증명으로 종합합니다. • 메커니즘: 아델릭 곱 공식을 사용하여 지역 솔루션을 "잠금"하여, 이들이 유리체 Q 전반에 걸쳐 글로벌 일관성을 보장하도록 하여 "논리 누수"를 남기지 않습니다. • 패키지 E: 복제 키트(도구 비종속적) • 역할: 감사. 외부 연구자가 작업을 검증하는 데 필요한 도구를 제공합니다. • 메커니즘: 의사 코드, LaTeX 템플릿 및 복제 연산자(K)를 포함하여 모든 소수 p에 대한 도구 비종속적 검증을 허용합니다. IV. 5개의 보조 패키지: 검증 및 통합 이러한 보조 패키지는 해법이 단순한 증명이 아니라 재현 가능한 과학적 유물임을 보장합니다: 1. 물리학자 및 수학자 요약 패키지 • 기능: 복잡한 모듈 체계를 도메인 특정 비유로 변환(예: 시스템 감쇠, 에너지 분할)하여 학제 간 동료 검토를 촉진합니다. 2. 응용 프로그램 아틀라스 • 기능: 각 기술 패키지에서의 레마가 글로벌 정리를 지원하는 방식을 보여주는 "상호 잠금 맵"을 제공합니다. 3. 문제 해결 매뉴얼(정지 및 복구) • 기능: 검토자에게 잠재적 "정지 지점"(예: 글로벌 일관성에 대한 질문)을 식별하고 이를 해결하기 위해 글로벌 곱 공식과 같은 "복구 정체성"을 제공합니다. 4. API 문서 • 기능: 논리를 결정론적 함수(종단점)로 표준화하고, REDUCEPRIME 및 ALIGNRESIDUE와 같은 계산 프레임워크를 통한 자동 검증을 가능하게 합니다. 5. 복제 가이드 • 기능: 외부 검증을 위한 단계별 프로토콜을 설정하여, 검토자가 "모듈 기초"(1단계)에서 "최종 핸드셰이크"(5단계)로 이동합니다. V. 출판을 위한 상호 연결 출판을 위해 패키지는 통합 아델릭 유물로 상호 연결됩니다: • 검증 경로: 검토자는 요약 패키지로 컨텍스트를 시작하고 응용 프로그램 아틀라스를 사용하여 탐색하며 복제 가이를 통해 계산을 검증합니다. • 논리적 봉인: 패키지 D의 아델릭 봉인과 복제 가이드의 아티야-싱어 핸드셰이크는 지역 모듈 구성을 보편적 법칙으로 결합하는 수학적 "접착제"를 제공합니다.