ఐదు వస్తువులు, పరిమిత సంఖ్యలో పరిపూర్ణ నృత్యాలు

కొన్ని నక్షత్రాలు లేదా గ్రహాలు ఎంత ఖచ్చితంగా అమర్చబడ్డాయంటే, మొత్తం సమూహం ఆకారం మార్చుకోకుండా ఒక దృఢ వస్తువులా తిరగగలదని ఊహించుకోండి. అలా జరగాలంటే, ప్రతి వస్తువుపై గురుత్వాకర్షణ లాగుడు సరిగ్గా సమూహం యొక్క ద్రవ్యరాశి కేంద్రం వైపు ఉండాలి, దాని బలం కేంద్రం నుంచి దూరానికి అనులోమానుపాతంలో ఉండాలి. అలాంటి అమరికలను కేంద్రీయ అమరికలు (central configurations) అంటారు. అవి వస్తువులు ఒకే సాపేక్ష నమూనాను నిలుపుకునే n-వస్తువుల సమస్య యొక్క ప్రత్యేక పరిష్కారాల ఆకారాలు, దృఢంగా తిరిగే సాపేక్ష సమతుల్యతలు (relative equilibria) కూడా వీటిలో భాగమే.

ఒక నమూనా పనిచేస్తే, దాని ఏ భ్రమణం చేసిన, పెద్దది చేసిన లేదా జరిపిన నకలైనా పనిచేస్తుంది, కాబట్టి గణిత శాస్త్రవేత్తలు వాటిని “సారూప్యత వరకు” (up to similarity) లెక్కిస్తారు.

స్మేల్ ఆరవ సమస్య

ప్రశ్న చెప్పడం సులభం: ధన ద్రవ్యరాశులను ఎలా ఎంచుకున్నా, కేంద్రీయ అమరికల సంఖ్య పరిమితమేనా? గణిత శాస్త్రవేత్త స్మేల్ రూపొందించిన అపరిష్కృత సమస్యల జాబితాలో ఇది ఆరవ సమస్య.

పత్రం ప్రకారం పరిస్థితి ఇలా ఉంది:

మూడు వస్తువులు: సరిగ్గా ఐదు — లగ్రాంజ్ రెండు సమబాహు త్రిభుజాలు, ఆయిలర్ మూడు సరళ రేఖలు.
నాలుగు వస్తువులు: అన్ని ధన ద్రవ్యరాశులకూ పరిమితత్వాన్ని హాంప్టన్, మోకెల్ నిరూపించారు.
ఒక తలంలో ఐదు వస్తువులు: ఆల్బుయీ, కలోషిన్ 2012లో పరిమితత్వాన్ని నిరూపించారు, కానీ ఒక మినహాయింపు సమితి వెలుపల ఉన్న ద్రవ్యరాశులకు మాత్రమే — బహుపది సమీకరణాల ద్వారా నిర్వచించబడిన ద్రవ్యరాశి సంయోగాల ఒక పలుచని కుటుంబం, అక్కడ వారి వాదన విఫలమైంది.

మినహాయింపు సమితిని మూసివేయడం

తేజస్వి సింగ్ తోమర్ (Tejasvi Singh Tomar) ఆ మినహాయింపు సమితిని తొలగించారు. ప్రధాన సిద్ధాంతం: ఐదు ధన ద్రవ్యరాశుల ప్రతి ఎంపికకూ, తలీయ ఐదు-వస్తువుల సమస్యకు సారూప్యత వరకు పరిమిత సంఖ్యలో కేంద్రీయ అమరికలు ఉంటాయి.

వ్యూహం ఆల్బుయీ, కలోషిన్‌లను అనుసరిస్తుంది. అనంతంగా అమరికలు ఉంటే, సమీకరణాలను సంకీర్ణ సంఖ్యలకు విస్తరించినప్పుడు అవి పరిష్కారాల ఒక నిరంతర వక్రాన్ని ఏర్పరుస్తాయి. ఆ వక్రాన్ని “అనంతం వరకు” అనుసరిస్తే, వస్తువుల మధ్య దూరాలు ఒక ఖచ్చితమైన సమతుల్యతలో రద్దయ్యే విధంగా ప్రవర్తించాలి. వస్తువులు ఆల్బుయీ, కలోషిన్ గుర్తించిన పదహారు పరిమితి రేఖాచిత్రాలలో ఒకదాన్ని సమీపిస్తాయి, ఒక్కోటీ ద్రవ్యరాశులపై షరతులు విధిస్తుంది.

కొత్త పని ఈ షరతులను ప్రతి ధన ద్రవ్యరాశికీ ఖచ్చితం చేస్తుంది, ఇబ్బందికర సందర్భాలను ఒక్కొక్కటిగా తోసిపుచ్చుతుంది:

నాలుగు వస్తువులు ఒక గట్టి గుంపుగా ఏర్పడి, ఐదవది దాన్ని సమీపించే అమరికలను, స్థితిజ శక్తిని — ఇది వక్రం వెంట స్థిరంగా ఉంటుంది — మరింత ఉన్నత క్రమాల వరకు విస్తరించడం ద్వారా మినహాయిస్తారు; ధన ద్రవ్యరాశులకు ఫలితంగా వచ్చే షరతులు ఒకదానికొకటి విరుద్ధంగా ఉంటాయి;
మరో రెండు రేఖాచిత్రాలు ఎప్పుడూ సంభవించవని చూపించారు;
మిగతా అన్నింటికీ, రచయిత ఖచ్చితమైన కంప్యూటర్ బీజగణితంతో — 2,206 బీజగణిత వ్యవస్థలు — అనుకూలమైన అన్ని ద్రవ్యరాశి షరతులను వర్ణిస్తారు, ఒక్కోదానికీ ఒక సంఖ్యాత్మక ధృవపత్రం తయారు చేస్తారు: ఖచ్చితమైన అంకగణితంలో తనిఖీ చేసినప్పుడు ఆ సమతుల్యత అసాధ్యమని నిరూపించే గుణాలున్న అకరణీయ సంఖ్యల జాబితా.

ఋణ ద్రవ్యరాశులు పన్నిన ఉచ్చు

స్వచ్ఛమైన బీజగణితం దాటలేని ఒక చిక్కు ఉంది. రాబర్ట్స్ అనే మరో గణిత శాస్త్రవేత్త (1, 1, 1, 1, −¼) ద్రవ్యరాశులకు — ఒక ఋణ ద్రవ్యరాశితో — అనంతంగా కేంద్రీయ అమరికలను కనుగొన్నారు. కొన్ని గుర్తులను తిప్పితే, అవి (4, 4, 4, 4, 1) ద్రవ్యరాశులకు సంకీర్ణీకరించిన సమీకరణాల అనంత పరిష్కారాలుగా మారతాయి. అవి నిజమైన అమరికలు కావు, కానీ సంకీర్ణ సమీకరణాలను మాత్రమే చూసే వాదన వాటిని వేరు చేయలేదు.

కాబట్టి ఆ ద్రవ్యరాశుల వద్ద, సంబంధిత నిష్పత్తి (1, 1, 4, 4, 4) వద్ద, రచయిత నిజమైన అమరికలను నేరుగా లెక్కిస్తారు, హామీ ఉన్న అంతరాల అంకగణితం (interval arithmetic) ఉపయోగించే కంప్యూటర్ శోధనతో:

(1, 4, 4, 4, 4) ద్రవ్యరాశులకు: భ్రమణం, స్కేలింగ్ వరకు 306 అమరికలు — 60 సరళ రేఖలో, 24 కుంభాకార పంచభుజిని ఏర్పరిచేవి, మిగిలినవి ఒకటి లేదా రెండు వస్తువులు లోపల ఉండేవి;
(1, 1, 4, 4, 4)కు: 294.

సరళ రేఖలోని 60 అమరికలు మౌల్టన్ గతంలో చేసిన లెక్కతో సరిపోలుతాయి.

యంత్రంతో తనిఖీ

ఇన్ని గణనలపై నిలిచిన నిరూపణకు బలమైన ధృవీకరణ అవసరం. ప్రతి ధృవపత్రాన్ని పత్రంలోని నిర్వచనాల నుంచి రాసిన ఒక ప్రత్యేక ప్రోగ్రామ్ మళ్లీ తనిఖీ చేసింది. అన్నింటికంటే ముఖ్యంగా, ఈ సిద్ధాంతం Lean 4 నిరూపణ సహాయకంలో నిరూపించబడింది, ఇది ప్రతి తార్కిక దశను తనిఖీ చేసే ప్రోగ్రామ్. లాంఛనప్రాయ నిరూపణ ఆల్బుయీ, కలోషిన్ ఫలితాలను కూడా ఊహించుకోదు: తనకు కావలసినదాన్ని మళ్లీ రాబట్టుకుంటుంది, వారి నియమాలను సంతృప్తిపరిచే 1,376 లేబుల్ చేసిన రేఖాచిత్రాలను శోధన ద్వారా కనుగొంటుంది. Lean నిరూపణల కోసం మరో రెండు స్వతంత్ర తనిఖీదారులు దాన్ని ఆమోదించాయి. దాన్ని మొదటి నుంచి నిర్మించడానికి సుమారు 860 CPU-గంటలు పడుతుంది.

పత్రం ఒక చిన్న ప్రకటనతో ముగుస్తుంది: ఫలితాలను కనుగొని నిరూపించడానికి, ప్రోగ్రామ్‌లను, Lean లాంఛనీకరణను రాయడానికి, పాఠ్యం ముసాయిదా తయారు చేయడానికి జనరేటివ్ AI సాధనాలు ఉపయోగించబడ్డాయి. సాధనాల పేర్లు ఇవ్వలేదు.

ఇది ఏం చెబుతుంది, ఏం చెప్పదు

ఈ ఫలితం ఒక తలంలోని ఐదు వస్తువులకు సంబంధించినది. ధన ద్రవ్యరాశుల ప్రతి సమితికీ అమరికల సంఖ్య పరిమితమని ఇది నిరూపిస్తుంది, కానీ అధ్యయనం చేసిన కొన్ని ద్రవ్యరాశి నిష్పత్తుల వద్ద మాత్రమే ఖచ్చితమైన లెక్కలను ఇస్తుంది.