ఒంటరి పరుగువీరునికి చివరకు కాస్త చోటు

ఒక చుట్టు పొడవున్న ఒక వృత్తాకార ట్రాక్‌ను ఊహించుకోండి. కొందరు పరుగువీరులు ఒకే బిందువు నుంచి, ఒకే క్షణంలో, ప్రతి ఒక్కరూ తమ సొంత స్థిర వేగంతో ప్రారంభిస్తారు, అన్ని వేగాలూ వేర్వేరు. ఒంటరి పరుగువీరుని ఊహ ప్రకారం, ప్రతి పరుగువీరుడూ ఏదో ఒక సమయంలో తనను తాను ఒంటరిగా కనుగొంటాడు: మొత్తం n + 1 పరుగువీరులు ఉన్నప్పుడు, మిగతా అందరి నుంచి కనీసం ఒక చుట్టులో 1/(n + 1) దూరంలో.

ఈ సమస్య దాని పేరు కంటే పాతది. షియు హు (Xiyu Hu, University of Chinese Academy of Sciences), యిఫాన్ జింగ్ (Yifan Jing, ఒహాయో స్టేట్ విశ్వవిద్యాలయం) ప్రకారం, దీని మూలం సంఖ్యలను భిన్నాలతో ఉజ్జాయింపు చేయడంపై యోర్గ్ విల్స్ (Jörg Wills) 1965 నాటి డాక్టోరల్ సిద్ధాంత గ్రంథంలో ఉంది. అడ్డంకులు అడ్డుకునే దృష్టి రేఖల పరంగా క్యూసిక్ (Cusick) ఒక సమానమైన రూపాన్ని ఇచ్చారు; పరుగువీరులు తర్వాత వచ్చారు, గాడిన్ (Goddyn) పునఃసూత్రీకరణతో. అప్పటి నుంచి ఇది బిలియర్డ్స్ మార్గాలతో, గ్రాఫ్‌ల రంగులతో, మ్యాట్రాయిడ్‌లు (matroids) అనే అమూర్త నిర్మాణాలలోని ప్రవాహాలతో ముడిపడింది.

ఒంటరితనాన్ని కొలవడం

గణిత శాస్త్రవేత్తలు సాధారణంగా ఒక పరుగువీరుని స్థిరంగా ఉంచి, అతనికి సాపేక్షంగా ఇతరుల వేగాలను చూస్తారు: n విభిన్న ధన పూర్ణాంకాల సమితి V. t సమయంలో, v వేగమున్న పరుగువీరుడు ట్రాక్‌పై vt స్థానంలో ఉంటాడు, ప్రారంభం నుంచి అతని దూరాన్ని ∥vt∥ అని రాస్తారు — vt నుంచి సమీప పూర్ణాంకానికి దూరం. V యొక్క గరిష్ఠ ఒంటరితనం

ML(V) = t పై గరిష్ఠం (V లోని v పై ∥vt∥ యొక్క కనిష్ఠం)

అంటే అత్యంత సమీప పరుగువీరుని బట్టి నిర్ణయించిన అత్యుత్తమ క్షణం. ఊహ ML(V) ≥ 1/(n + 1) అని వాదిస్తుంది, ఇది ఖచ్చితమైన (sharp) హద్దు అవుతుంది: 1, 2, …, n వేగాలకు, గరిష్ఠ ఒంటరితనం సరిగ్గా 1/(n + 1). ఉదాహరణకు, 1, 2 వేగాలతో ఇద్దరు కదిలే పరుగువీరులు ఉంటే, స్థిర పరుగువీరుడు ఇద్దరి నుంచీ గరిష్ఠంగా ఒక చుట్టులో మూడో వంతు దూరంలో ఉండగలడు — 1/3 సమయంలో.

సులభమైన సగం

సమాధానంలో సగం సులభంగానే వస్తుంది. ఒక పరుగువీరుడు ప్రారంభం నుంచి δ లోపల ఉండే సమయాలు గడియారంలో 2δ భాగాన్ని ఆక్రమిస్తాయి. n పరుగువీరులతో, 2nδ అనేది 1 కంటే తక్కువైతే, ఈ సమయ కిటికీలు అన్నింటినీ కప్పలేవు, కాబట్టి ఏదో ఒక క్షణం వాటన్నింటి నుంచి ఖాళీగా ఉంటుంది. δ ను దాని పరిమితి వరకు పెంచితే

ML(V) ≥ 1/(2n)

వస్తుంది. ఇది ఊహ అంచనా వేసే దానిలో సుమారు సగం. దాన్ని దాటడం మొండిగా నిరూపితమైంది. రచయితలు చరిత్రను జాబితా చేస్తారు: దశాబ్దాల తరబడి, 1/n² క్రమపు మెరుగుదలలు మాత్రమే; తర్వాత పెరార్నౌ (Perarnau), సెర్రా (Serra), 2018లో టెరెన్స్ టావో (Terence Tao), 2025లో బెంజమిన్ బెడర్ట్ (Benjamin Bedert) మెరుగుదలలు. కానీ అన్నింటికీ ఒక ఉమ్మడి బలహీనత ఉంది: పరుగువీరుల సంఖ్య పెరిగేకొద్దీ 1/(2n) కి సాపేక్షంగా మెరుగుదల సున్నాకు చేరుతుంది.

మసకబారని మెరుగుదల

కొత్త సిద్ధాంతం దాన్ని మారుస్తుంది:

ML(V) > (1 + c)/(2n)

ఒక స్థిర స్థిరాంకం c > 0 కి, n ≥ 2 వేగాల ప్రతి సమితికీ. ఎంతమంది పరుగువీరులు ఉన్నా, అదనపు అంచు ఇప్పుడు సులభమైన హద్దులో ఒక స్థిర భిన్నం. ఈ స్థిరాంకం స్పష్టమైనదే (explicit) కానీ పత్రంలో లెక్కించలేదు, రచయితలు దాన్ని అనుకూలీకరించడానికి ప్రయత్నించలేదు. అది ఊహించిన 1/(n + 1) ని చేరుకోదు; కరిగిపోని మొదటి మెరుగుదల ఇది.

నిరూపణ వేర్వేరు పరుగువీరుల “ప్రమాద కిటికీలు” ఎలా అతివ్యాప్తి చెందుతాయో చూస్తుంది. కొన్ని ఉమ్మడి కేంద్రం ఉన్నందున అతివ్యాప్తి చెందుతాయి — వేగాలకు ఉమ్మడి భాజకాలు ఉన్న పరుగువీరులు కలిసి ప్రారంభ బిందువును చేరుకుంటారు. మరికొన్ని వేర్వేరు కేంద్రాల వద్ద అతివ్యాప్తి చెందుతాయి. మొదటి రకానికి, రచయితలు గ్రీన్ (Green), వాకర్ (Walker) ల పెద్ద ఉమ్మడి భాజకాల గురించిన ఒక వాదనను మెరుగుపరుస్తారు. రెండో రకానికి, వారు ఒక కొత్త జ్యామితీయ అసమానతను నిరూపిస్తారు: కిటికీలను వాటి కేంద్రాల చుట్టూ విస్తరిస్తే, వాటి అతివ్యాప్తులు అనుపాతం కంటే వేగంగా పెరగాలి. ఏ విధంగా చూసినా, కప్పబడని సమయం కుంచించుకుపోయి సున్నా కాలేదు.

అదనపు లాభంగా, ఈ ఫలితం “పైజామా సమస్య” (pyjama problem) కు కింది హద్దును కూడా మెరుగుపరుస్తుంది: తలాన్ని కప్పడానికి చారల నమూనా యొక్క తిప్పిన, సాగదీసిన ఎన్ని ప్రతులు అవసరం.

ఎవరు ఏం చేశారు

పత్రంలో AI వినియోగం గురించి స్పష్టమైన ప్రకటన ఉంది. వ్యూహం, చట్రం రచయితల సొంతం. ChatGPT 6 Pro, ChatGPT 6 Astra లను ప్రధానంగా వాదనలను తనిఖీ చేయడానికి, అనధికారిక నిరూపణలను కఠినమైనవిగా మార్చడానికి, మెరుగుదలలను అన్వేషించడానికి వాడారు. ఉమ్మడి భాజకాలపై మొత్తాలను తీసుకురావాలని Pro సూచించింది, తర్వాత కీలక అసమానత నిరూపణ మొదటి వెర్షన్‌లోని “కొన్ని చిన్న ఖాళీలను” సరిచేసింది. తుది నిరూపణలను రచయితలే రాశారు. సాధనాలపై వారి తీర్పు ఖచ్చితమైనది: “మోడళ్లు తమంతట తాము ఒంటరి పరుగువీరుని హద్దును మెరుగుపరచలేకపోయాయి.”

విల్స్ తర్వాత అరవై ఏళ్లకు, ప్రతి పరుగువీరునికీ హామీ ఇచ్చిన ఒంటరితనానికి, మొదటిసారిగా, కదలకుండా నిలిచే ఒక అంచు దక్కింది.