On Feige's conjecture

Feige 추측을 GPT-5.6 Sol 도움으로 짧게 증명한 확률론 논문.

기댓값 1인 음이 아닌 독립 확률변수 합의 하한을 다룬 확률론 논문이다. 합이 n+1보다 작을 확률이 e의 역수 이상임을 보여 Feige 추측을 확정했다. 증명은 GPT-5.6 Sol의 도움으로 얻었고 Vlassis-Thomas의 최근 돌파에 기반한다. 후속 연구로 n이 2일 때는 모든 델타에 대한 날카로운 형태까지 확장했다.

핵심 요약

• Vlassis와 Thomas의 분포 비의존 p값 결과를 Feige 추측의 확률변수 합 문제에 연결해 짧은 증명을 구성했다.
• 기댓값이 1인 음이 아닌 독립 확률변수 n개의 합이 n+1보다 작을 확률이 (n/(n+1))^n 이상임을 보였다.
• 이 하한은 1/e 이상이므로 2004년에 제기된 Feige 추측을 확정한다.
• 통계학의 Gaffke 추측 해결이 확률 부등식 증명으로 이어질 수 있음을 보여주며, GPT-5.6 Sol이 증명 탐색을 도왔다.
• 다만 핵심 정리는 임계값이 n+1인 Feige 추측에 초점을 두므로 더 일반적인 작은 편차 매개변수 전체를 해결하지는 않는다.

논문 링크

외부 연구를 정리한 자료입니다. HDATF가 발표한 논문이나 제품 성능을 측정한 결과는 아닙니다.