గణితంప్రీప్రింట్సిద్ధాంతంచదవడానికి 3 నిమిషాలు

1990ల నాటి రంగుల ఊహను ముంచేసిన ఒక AI

గీతలతో కలిపిన బిందువుల జాలాన్ని తీసుకోండి — ఒక గ్రాఫ్. సంపూర్ణ రంగుపూత (total colouring) ప్రతి బిందువుకూ మరియు ప్రతి గీతకూ రంగు ఇస్తుంది, మూడు నియమాలను పాటిస్తూ: పొరుగున ఉన్న రెండు బిందువులు వేర్వేరు రంగులు, ఒక బిందువు వద్ద కలిసే రెండు గీతలు వేర్వేరు రంగులు, ఒక గీత దాని రెండు చివరి బిందువుల కంటే వేరే రంగు. ఇది సాధ్యమయ్యే కనిష్ఠ రంగుల సంఖ్యను సంపూర్ణ వర్ణ సంఖ్య (total chromatic number) అంటారు, దాన్ని χ″(G) అని రాస్తారు.

ఇప్పుడు దాన్ని కష్టతరం చేద్దాం. ప్రతి బిందువుకూ, ప్రతి గీతకూ అనుమతించిన రంగుల సొంత జాబితాను ఇవ్వండి — అన్ని జాబితాలూ ఒకే పరిమాణం k — జాబితాల నుంచి ఎంచుకున్న చెల్లుబాటు అయ్యే రంగుపూతను అడగండి. జాబితాలు ఏవైనా సరే పనిచేసే కనిష్ఠ k యే జాబితా సంపూర్ణ వర్ణ సంఖ్య, χ″ℓ(G). అది χ″(G) కంటే ఎప్పుడూ తక్కువ కాదు: అన్ని జాబితాలూ ఒకేలా ఉంటే, మళ్లీ సాధారణ సమస్యకే వస్తాం.

1990ల చివరి నాటి ఊహ

మూడు బృందాలు — బొరొడిన్, కొస్టోచ్కా, వుడాల్; యువాన్, మొహార్, ష్క్రెకోవ్‌స్కీ; హిల్టన్, జాన్సన్ — 1990ల చివర్లో, స్వతంత్రంగా, వ్యక్తిగత జాబితాలకు ఎప్పుడూ ఏ ఖర్చూ ఉండదని ప్రతిపాదించాయి:

ప్రతి గ్రాఫ్‌కూ χ″ℓ(G) = χ″(G) (రెండు బిందువుల మధ్య అనేక గీతలు ఉన్నా కూడా).

ఇదే జాబితా సంపూర్ణ రంగుపూత ఊహ (List Total Colouring Conjecture). సాక్ష్యాలు దాన్ని సమర్థించాయి: ఏ బిందువుకూ రెండు కంటే ఎక్కువ గీతలు లేని గ్రాఫ్‌లకు అది నిజం, ప్రతి బిందువుకూ సరిగ్గా మూడు గీతలు ఉండే ప్రతి గ్రాఫ్‌కూ (ఘన గ్రాఫ్, cubic graph) జాబితాల నుంచి గరిష్ఠంగా 5 రంగులు సరిపోతాయని తెలుసు.

ప్రత్యుదాహరణ

కెనడాలోని విక్టోరియా విశ్వవిద్యాలయానికి చెందిన జోనాథన్ నోయెల్ ఇప్పుడు χ″ = 4 అయినా χ″ℓ = 5 ఉన్న 20 బిందువుల ఘన గ్రాఫ్‌ను చూపుతున్నారు. ఊహ తప్పు.

నిర్మాణం సంక్షిప్తమైనది. K₂,₃ అనే ఒక చిన్న గ్రాఫ్ యొక్క నాలుగు ప్రతులను తీసుకోండి: రెండు “ప్రైవేట్” బిందువులు, ఒక్కొక్కటీ అవే మూడు “టెర్మినల్” బిందువులతో కలుపబడి ఉంటాయి. ఆ తర్వాత ప్రతి జత ప్రతులనూ టెర్మినల్‌ల మధ్య సరిగ్గా ఒక “అడ్డు” గీతతో కలపండి. చివరికి ప్రతి బిందువుకూ మూడు గీతలు ఉంటాయి.

అడ్డు గీతలతో కలిపిన నాలుగు బ్లాక్‌లుగా గీసిన, నాలుగు రంగులతో రంగు వేసిన 20 బిందువుల గ్రాఫ్.

కేవలం నాలుగు రంగులతో సంపూర్ణ రంగుపూత చేసిన గ్రాఫ్ G, ఆకారాలు, గీతల శైలుల ద్వారా చూపబడింది. — చిత్రం 1, Noel (2026), arXiv:2609.38417.

సాధారణ ఆటలో నాలుగు రంగులు సరిపోతాయి: రంగు 4 అన్ని ప్రైవేట్ బిందువులకూ, అన్ని అడ్డు గీతలకూ వెళ్తుంది — ఇవి ఒకదాన్నొకటి ఎప్పుడూ తాకవు — మిగతాదాన్ని ఒక చిన్న పట్టిక, ఒక చక్రీయ నియమం చూసుకుంటాయి.

తృప్తిపరచలేని జాబితాలు

ఉచ్చు 1 నుంచి 5 వరకు రంగులను వాడుతుంది. బ్లాక్ i లోని ప్రతి బిందువుకూ, గీతకూ “i తప్ప అన్ని రంగులు” అనే జాబితా వస్తుంది; అడ్డు గీతలకు 5 లేదా i + 2 లేని, జాగ్రత్తగా ఎంచుకున్న జాబితాలు వస్తాయి. ఆ తర్వాత నిరూపణ ఒక చిన్న డిటెక్టివ్ కథలా సాగుతుంది:

  • ఉపసిద్ధాంతం: K₂,₃ యొక్క ఏ 4-రంగుపూతలోనైనా రెండు ప్రైవేట్ బిందువులకు ఒకే రంగు ఉండాలి.
  • కాబట్టి ప్రతి బ్లాక్ i కీ ఒక రంగుల జత {i, sᵢ} ఉంటుంది, రెండు బ్లాక్‌ల మధ్య ప్రతి అడ్డు గీతా రెండు జతలకూ ఉమ్మడిగా ఉన్న రంగును వాడాలి.
  • కొద్దిపాటి లెక్కింపు ఒక రంగు t నాలుగు జతల్లోనూ ఉండాలని చూపుతుంది.
  • సాధ్యమయ్యే ప్రతి t కీ, ఒక నిర్దిష్ట అడ్డు గీత జాబితాలో ఆ రంగు ఉండదు. వైరుధ్యం.

అదే గ్రాఫ్, ప్రతి బిందువుపై, గీతపై దాని జాబితాలో లేని రంగు గుర్తించబడింది.

జాబితాల కేటాయింపు: ప్రతి బిందువూ, గీతా 1 నుంచి 5 వరకు, సూచించిన ఒక్కటి తప్ప అన్ని రంగులనూ వాడవచ్చు. ఏ సంపూర్ణ రంగుపూతా ఈ జాబితాలను గౌరవించలేదు. — చిత్రం 2, Noel (2026), arXiv:2609.38417.

యంత్రం కనుగొంది, గణిత శాస్త్రజ్ఞుడు తనిఖీ చేశారు

ఈ పత్రం తన మూలం గురించి అసాధారణమైన నిక్కచ్చితనంతో ఉంది. 2026 సెప్టెంబర్ 24న, ఊహను ఖండించమని నోయెల్ ChatGPT 6 Astra Ultraను ప్రేరేపించారు, అది “రచయిత నుంచి చాలా తక్కువ ఇన్‌పుట్‌తో” ప్రత్యుదాహరణను సృష్టించింది. ఆయన వాదనలను తనిఖీ చేసి, నమూనా సృష్టించిన ముసాయిదాల నుంచి పాఠాన్ని తిరిగి రాశారు; నమూనా ప్రూఫ్‌రీడింగ్‌లోనూ సహాయపడింది, సూచనలను సూచించింది, చిత్రాలను గీసింది. “కచ్చితత్వానికి పూర్తి బాధ్యత రచయితదే,” అని ప్రకటన ముగుస్తుంది. పత్రం ప్రీప్రింట్, కానీ నిరూపణ ఎంత చిన్నదంటే ఓపిక ఉన్న ఏ పాఠకుడైనా దాన్ని ధృవీకరించవచ్చు.

ఒక్క తేడానా, లేక అంతకంటే ఎక్కువా?

వ్యక్తిగత జాబితాలకు ఒక అదనపు రంగు అవసరం కావచ్చు. అంతకంటే ఎక్కువ అవసరమవుతాయా? మూడు తేడా వస్తే, బాగా అధ్యయనం చేసిన ఒక బంధువు — జాబితా అంచు రంగుపూత ఊహ (List Edge Colouring Conjecture) — కూడా కూలిపోతుంది, ఎందుకంటే χ″ℓ ≤ χ′ℓ + 2, χ″ ≥ χ′. AI ప్రత్యుదాహరణ తర్వాత కూడా నిలిచి ఉన్న ఒక బహిరంగ ప్రశ్నతో నోయెల్ ముగిస్తారు: ప్రతి గ్రాఫ్‌కూ χ″ℓ(G) ≤ χ″(G) + 1 అవుతుందా?

Legal notice