ಸೋಫಿ ಗೆರ್ಮೈನ್ ಪ್ರೈಮ್ಗಳು: ಅಡೆತಡೆ-ಪಾರ್ಶ್ವದ ಅವಲೋಕನಗಳು
ನಾನು ಸೋಫಿ ಗೆರ್ಮೈನ್ ಪ್ರೈಮ್ಗಳ (Sophie Germain primes) ಕುರಿತು ಹೊಸ ವರದಿಯನ್ನು ಪ್ರಕಟಿಸುತ್ತಿದ್ದೇನೆ. ಈ ಕೆಲಸವು ಗಣಿತದ ಅಡೆತಡೆಗಳನ್ನು ಗಮನಿಸಲು Rei-AIOS ಟೂಲ್ಕಿಟ್ ಅನ್ನು ಬಳಸುತ್ತದೆ.
ನಾನು ಸೋಫಿ ಗೆರ್ಮೈನ್ ಪ್ರೈಮ್ ಕನ್ಜೆಕ್ಚರ್ ಅನ್ನು (conjecture) ಪರಿಹರಿಸುತ್ತೇನೆ ಎಂದು ಹೇಳಿಕೊಳ್ಳುತ್ತಿಲ್ಲ. ಅನಂತತೆಯ (infinity) ಸಾಬೀತು向 (proof) ಕಡೆಗೆ ಸಾಗುತ್ತಿದ್ದೇನೆ ಎಂದೂ ನಾನು ಹೇಳುತ್ತಿಲ್ಲ. ಈ ಪ್ರಬಂಧವು ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಅಡೆತಡೆಗಳ ಅವಲೋಕನಗಳು ಮತ್ತು ಔಪಚಾರಿಕ ಸಾಕ್ಷ್ಯಗಳ (formal witnesses) ಮೇಲೆ ಕೇಂದ್ರೀಕರಿಸುತ್ತದೆ.
ಇಲ್ಲಿ ನಾಲ್ಕು ಪ್ರಮುಖ ಸಂಶೋಧನೆಗಳಿವೆ:
ಸಂಖ್ಯಾತ್ಮಕ ಅಭಿಸರಣೆ (Numerical convergence): N = 10³ ರಿಂದ 10⁸ ವರೆಗೆ ಹಾರ್ಡಿ-ಲಿಟ್ಲ್ವುಡ್ ಮುನ್ಸೂಚನೆಗಳಿಗೆ (Hardy-Littlewood predictions) ಹೋಲಿಸಿದರೆ ಅನುಭವಜನ್ಯ ಎಣಿಕೆಗಳ ಅನುಪಾತವು ಸ್ಥಿರವಾಗಿ ಕಡಿಮೆಯಾಗುತ್ತದೆ. ಇದು ನಿರೀಕ್ಷಿತ ಆಸಿಮ್ಟೋಟಿಕ್ ಮಾದರಿಗಳಿಗೆ (asymptotic patterns) ಹೊಂದಿಕೆಯಾಗುತ್ತದೆ ಆದರೆ ಇದು ಸಾಬೀತು ಅಲ್ಲ.
ಸ್ಪೆಕ್ಟ್ರಲ್ ಅಂಕಿಅಂಶಗಳು (Spectral statistics): ಸೋಫಿ ಗೆರ್ಮೈನ್ ಪ್ರೈಮ್ ಅಂತರಗಳು ಪಾಯ್ಸನ್ನಂತಹ ವಿತರಣೆಯನ್ನು (Poisson-like distribution) ತೋರಿಸುತ್ತವೆ. ಇದು ರಿಮನ್ ಶೂನ್ಯಗಳಿಗಿಂತ (Riemann zeros) ಭಿನ್ನವಾಗಿದೆ, ಅವು GUE ಮಾದರಿಯ ಅಂಕಿಅಂಶಗಳನ್ನು ಅನುಸರಿಸುತ್ತವೆ.
Lean 4 ಔಪಚಾರಿಕ ಸಾಕ್ಷ್ಯಗಳು: ನಾನು Lean 4 ನಲ್ಲಿ ಆಕ್ಸಿಯಮ್-ಮುಕ್ತ (axiom-free) ಪ್ರಮೇಯಗಳ ಗುಂಪನ್ನು ರಚಿಸಿದ್ದೇನೆ. "is_prime(n)" ನಂತಹ ಏಕೈಕ ಲಕ್ಷಣಗಳು ಸೋಫಿ ಗೆರ್ಮೈನ್ ಪ್ರೈಮಲಿಟಿಯನ್ನು ಪತ್ತೆಹಚ್ಚಲು ಸಾಧ್ಯವಿಲ್ಲ ಎಂದು ಈ ಪ್ರಮೇಯಗಳು ತೋರಿಸುತ್ತವೆ. ಈ ಅಡೆತಡೆಯನ್ನು ದಾಟಲು ನಿಮಗೆ ಸಂಪೂರ್ಣ ಸಂಯೋಜನೆಯ (full conjunction) ಅಗತ್ಯವಿದೆ.
ದಾಖಲೆ ತಿದ್ದುಪಡಿ: ಆನ್ಲೈನ್ ಆಡಿಟ್ ಒಂದು ಆಂತರಿಕ ತಪ್ಪನ್ನು ತಿದ್ದಿದೆ. ಸೆಲ್ಬರ್ಗ್ (Selberg) 1949 ರಲ್ಲಿ ಪ್ಯಾರಿಟಿ ಸಮಸ್ಯೆಯನ್ನು (parity problem) ಗುರುತಿಸಿದರು, 1960 ರ ದಶಕದಲ್ಲಿ ಅಲ್ಲ.
ಈ ಸಂಶೋಧನೆಯು ಕಟ್ಟುನಿಟ್ಟಾದ ಶಿಸ್ತನ್ನು ಅನುಸರಿಸುತ್ತದೆ. ಕಾರ್ಯಸಾಧ್ಯತೆಯ ಪ್ರಶ್ನೆಗಳನ್ನು (feasibility questions) ನಕ್ಷೆ ಮಾಡಲು ನಾವು ಬೆಲ್ಮನ್-ಫೋರ್ಡ್ ಎನ್ಕೋಡಿಂಗ್ ಅನ್ನು ಬಳಸುತ್ತೇವೆ. ಸೀಮಿತ ಅಂಕಗಣಿತದ ಸತ್ಯಗಳ (finite arithmetic facts) ಪರಿಶೀಲಿಸಬಹುದಾದ, ಆಕ್ಸಿಯಮ್-ಮುಕ್ತ ದಾಖಲೆಗಳನ್ನು ಒದಗಿಸಲು ನಾವು Lean 4 ಅನ್ನು ಬಳಸುತ್ತೇವೆ.
ಗುರಿಯು ಅಡೆತಡೆ-ಪಾರ್ಶ್ವದ ವಿವರಣೆಯಾಗಿದೆ (barrier-side description). ಪ್ರಸ್ತುತ ವಿಧಾನಗಳು ಎಲ್ಲಿ ನಿಲ್ಲುತ್ತವೆ ಎಂಬುದನ್ನು ನಾವು ವಿವರಿಸುತ್ತೇವೆ.
Optional learning community: https://t.me/GyaanSetuAi