കോൺസ് ഉൾച്ചേർക്കൽ പ്രശ്നം

ഓപ്പറേറ്റർ ബീജഗണിതങ്ങൾ, ക്വാണ്ടം വിവര സിദ്ധാന്തം, കമ്പ്യൂട്ടേഷണൽ സങ്കീർണ്ണത എന്നിവയുടെ കവലയിൽ ഇരിക്കുന്ന ആധുനിക ഗണിതത്തിലെ ഏറ്റവും ഗഹനമായ ചോദ്യങ്ങളിലൊന്നാണ് കോണസ് എംബഡിംഗ് പ്രശ്നം. ഫ്രഞ്ച് ഗണിതശാസ്ത്രജ്ഞൻ അലൈൻ കോൺസ് 1976-ൽ നിർദ്ദേശിക്കുകയും 2020-ൽ കൃത്യമായി പരിഹരിക്കുകയും ചെയ്തു, അതിൻ്റെ ഉത്തരം, ഗണിതശാസ്ത്രജ്ഞരും ഭൗതികശാസ്ത്രജ്ഞരും ക്വാണ്ടം പരസ്പരബന്ധങ്ങളും അനന്ത-മാന ഇടങ്ങളും ഗണിതശാസ്ത്ര യുക്തിയുടെ ഘടനയും എങ്ങനെ മനസ്സിലാക്കുന്നു എന്ന് പുനർരൂപകൽപ്പന ചെയ്തു.

എന്താണ് കോൺസ് ഉൾച്ചേർക്കൽ പ്രശ്നം?

കോണ്സ് ഉൾച്ചേർക്കൽ പ്രശ്നം വഞ്ചനാപരമായ ഒരു ലളിതമായ ചോദ്യമാണ് ചോദിച്ചത്: ഒരു ട്രേഷ്യൽ അവസ്ഥയുള്ള എല്ലാ പരിമിതമായ വോൺ ന്യൂമാൻ ബീജഗണിതവും ഹൈപ്പർഫിനൈറ്റ് II₁ ഘടകത്തിൻ്റെ അൾട്രാ പവറിൽ ഉൾപ്പെടുത്താൻ കഴിയുമോ? ലളിതമായി പറഞ്ഞാൽ, എല്ലാ "നന്നായി പെരുമാറുന്ന" അനന്ത-മാന ക്വാണ്ടം സിസ്റ്റങ്ങളെയും പരിമിതവും ട്രാക്‌റ്റ് ചെയ്യാവുന്നതുമായ ഗണിത ഘടനകൾ ഉപയോഗിച്ച് ഏകദേശം കണക്കാക്കാനാകുമോ എന്ന് ഇത് അന്വേഷിച്ചു.

അലെൻ കോൺസ് 1976-ൽ ആദ്യം ഊഹിച്ചത് ഉത്തരം അതെ എന്നാണ് - ഈ ഉൾച്ചേർക്കൽ എപ്പോഴും സാധ്യമാണ്. ലോകത്തിലെ ഏറ്റവും പ്രഗത്ഭരായ ഗണിതശാസ്ത്രജ്ഞരുടെ ശ്രമങ്ങളെ ചെറുത്തുതോൽപ്പിച്ച് നാല് പതിറ്റാണ്ടിലേറെക്കാലം ഈ പ്രശ്നം തുറന്നുകിടക്കുകയായിരുന്നു. അതിൻ്റെ റെസല്യൂഷൻ പ്യുവർ ഓപ്പറേറ്റർ ബീജഗണിത സിദ്ധാന്തത്തിൽ നിന്നല്ല, മറിച്ച് തികച്ചും അപ്രതീക്ഷിതമായ ദിശയിൽ നിന്നാണ്: ക്വാണ്ടം ഇൻ്ററാക്ടീവ് പ്രൂഫുകളുടെ കമ്പ്യൂട്ടേഷണൽ സങ്കീർണ്ണത.

"കോൺസ് ഉൾച്ചേർക്കൽ പ്രശ്നത്തിൻ്റെ നിരാകരണം കേവലം ഒരു ഗണിതശാസ്ത്ര ജിജ്ഞാസ മാത്രമല്ല - ക്രിപ്റ്റോഗ്രഫി മുതൽ ഭൗതികശാസ്ത്രത്തിൻ്റെ അടിത്തറ വരെ നീളുന്ന പ്രത്യാഘാതങ്ങളോടെ, ക്വാണ്ടം സിസ്റ്റങ്ങൾക്ക് എന്ത് ചെയ്യാൻ കഴിയും, ക്ലാസിക്കൽ ഏകദേശങ്ങൾ എന്തൊക്കെയാണ് ക്യാപ്‌ചർ ചെയ്യാൻ കഴിയുക എന്നത് തമ്മിലുള്ള അടിസ്ഥാന വിടവ് ഇത് വെളിപ്പെടുത്തുന്നു."

ക്വാണ്ടം കമ്പ്യൂട്ടിംഗ് 44 വർഷം പഴക്കമുള്ള ഗണിത പ്രശ്നം പരിഹരിച്ചത് എങ്ങനെയാണ്?

2020-ൽ, ഗവേഷകരായ ജി, നടരാജൻ, വിഡിക്ക്, റൈറ്റ്, യുവൻ എന്നിവർ MIP* = RE എന്ന് സ്ഥാപിക്കുന്ന ഒരു ലാൻഡ്‌മാർക്ക് പേപ്പർ പ്രസിദ്ധീകരിച്ചു, ഇവിടെ MIP* എന്നത് രണ്ട് എൻട്രാങ്ൾഡ് ക്വാണ്ടം പ്രൂവറുകളുമായി ഇടപഴകുന്ന ഒരു ക്ലാസിക്കൽ വെരിഫയർ മുഖേന പരിഹരിക്കാവുന്ന പ്രശ്നങ്ങളുടെ വിഭാഗത്തെ സൂചിപ്പിക്കുന്നു, കൂടാതെ RE എന്നത് ആവർത്തിച്ചുള്ള ഭാഷകളുടെ ക്ലാസാണ്. ഈ ഫലം ഞെട്ടിപ്പിക്കുന്നതായിരുന്നു: ക്വാണ്ടം എൻടാൻഗിൽമെൻ്റ് ഇൻ്ററാക്ടീവ് പ്രൂഫ് സിസ്റ്റങ്ങളിലേക്ക് അസാധാരണമായ - അടിസ്ഥാനപരമായി പരിധിയില്ലാത്ത - ഉത്തേജനം നൽകുന്നുവെന്ന് ഇത് കാണിച്ചു.

കോണസിലേക്കുള്ള കണക്ഷൻ? കോൺസ് എംബെഡിംഗ് പ്രശ്നം MIP* = MIP (ക്ലാസിക്കൽ മൾട്ടിപ്രൂവർ ഇൻ്ററാക്ടീവ് പ്രൂഫ് ക്ലാസ്) എന്ന പ്രസ്താവനയ്ക്ക് തുല്യമാണ് എന്ന് ടീം തെളിയിച്ചു. MIP* MIP-യെക്കാൾ വളരെ വലുതായി മാറിയതിനാൽ - വാസ്തവത്തിൽ, RE-ക്ക് തുല്യമാണ് - കോൺസ് ഉൾച്ചേർക്കൽ അനുമാനം തെറ്റായിരുന്നു. എല്ലാ പരിമിതമായ വോൺ ന്യൂമാൻ ബീജഗണിതവും ഹൈപ്പർഫിനൈറ്റ് II₁ ഘടകത്തിൻ്റെ ഒരു അൾട്രാ പവറിൽ ഉൾച്ചേർക്കുന്നില്ല.

പ്രശ്നത്തിന് പിന്നിലെ അടിസ്ഥാന തത്വങ്ങൾ എന്തൊക്കെയാണ്?

കോണസ് ഉൾച്ചേർക്കൽ പ്രശ്നം മനസ്സിലാക്കുന്നതിന് നിരവധി പ്രധാന ഗണിത ഘടനകളുമായി പരിചയം ആവശ്യമാണ്:

• വോൺ ന്യൂമാൻ ആൾജിബ്രാസ്: ദുർബലമായ ഓപ്പറേറ്റർ ടോപ്പോളജിക്ക് കീഴിൽ അടച്ചിരിക്കുന്ന ഹിൽബർട്ട് സ്‌പെയ്‌സിലെ ബൗണ്ടഡ് ഓപ്പറേറ്റർമാരുടെ ബീജഗണിതങ്ങൾ, മാട്രിക്സ് ബീജഗണിതങ്ങളെ അനന്തമായ അളവുകളിലേക്ക് സാമാന്യവൽക്കരിക്കുന്നു.
• ഹൈപ്പർഫിനൈറ്റ് II₁ ഘടകം: ഫിനൈറ്റ് മാട്രിക്സ് ബീജഗണിതങ്ങളുടെ "പരിധി" - ഏറ്റവും സ്വാഭാവികമായ അനന്ത-മാന ക്വാണ്ടം സിസ്റ്റം.
• ട്രാസിയൽ സ്റ്റേറ്റുകൾ: പ്രൊജക്ഷനുകൾക്ക് "വലിപ്പം" അല്ലെങ്കിൽ "മാനം" എന്ന ആശയം നൽകുന്ന, നോർമലൈസ്ഡ് ട്രെയ്സ് പോലെ പെരുമാറുന്ന വോൺ ന്യൂമാൻ ബീജഗണിതങ്ങളിലെ ലീനിയർ ഫങ്ഷണലുകൾ.
• അൾട്രാ പവറുകൾ: ഒരു നിർദ്ദിഷ്ട, നിലവാരമില്ലാത്ത രീതിയിൽ ബീജഗണിതങ്ങളുടെ ശ്രേണികളുടെ പരിധികൾ എടുത്ത് പുതിയ ഗണിത ഘടനകൾ നിർമ്മിക്കുന്ന ഒരു മാതൃക-സൈദ്ധാന്തിക നിർമ്മാണം.
• ക്വാണ്ടം പരസ്പര ബന്ധങ്ങൾ: ക്വാണ്ടം വിവര സിദ്ധാന്തത്തിൻ്റെ കേന്ദ്രവും പ്രശ്‌നത്തിൻ്റെ അന്തിമ പരിഹാരവും, കുടുങ്ങുന്ന ക്വാണ്ടം അവസ്ഥകൾ പങ്കിടുന്ന രണ്ട് കക്ഷികൾക്ക് നേടാനാകുന്ന പരസ്പര ബന്ധങ്ങളുടെ ക്ലാസ്.

ഈ പ്രശ്നത്തിൻ്റെ ചരിത്രപരമായ സന്ദർഭവും പരിണാമവും എന്താണ്?

ഓപ്പറേറ്റർ ബീജഗണിതത്തിലെ പരിവർത്തനാത്മക സൃഷ്ടിയായ ഇൻജക്റ്റീവ് ഘടകങ്ങളെക്കുറിച്ചുള്ള കോൺസിൻ്റെ 1976 ലെ പ്രബന്ധത്തിൽ നിന്നാണ് പ്രശ്നത്തിൻ്റെ ഉത്ഭവം. തുടർന്നുള്ള ദശാബ്ദങ്ങളിൽ, ഗണിതശാസ്ത്രജ്ഞർ ഗണിതശാസ്ത്രത്തിൽ ഉടനീളം ബന്ധമില്ലാത്ത ഡസൻ കണക്കിന് പ്രശ്നങ്ങൾക്ക് തുല്യമാണെന്ന് ഗണിതശാസ്ത്രജ്ഞർ കണ്ടെത്തി - C*-ആൾജിബ്ര സിദ്ധാന്തത്തിലെ കിർച്ച്ബെർഗിൻ്റെ QWEP അനുമാനം മുതൽ ക്വാണ്ടം വിവര സിദ്ധാന്തത്തിലെ സിറൽസണിൻ്റെ പ്രശ്നം വരെ. ഓപ്പറേറ്റർമാർ.

ഈ തുല്യതകളുടെ വെബ് CEP-യെ ഒരു കേന്ദ്ര ഓർഗനൈസിംഗ് പ്രശ്‌നമാക്കി, വ്യത്യസ്ത ഫീൽഡുകളെ ബന്ധിപ്പിക്കുന്ന ഒരു "ഹബ്" ആക്കി. 2020-ൽ ഇത് വീണപ്പോൾ, ഗണിതശാസ്ത്രത്തിലും ഭൗതികശാസ്ത്രത്തിലും കമ്പ്യൂട്ടർ സയൻസിലും ഒരേസമയം അലയടികൾ അനുഭവപ്പെട്ടു. Tsirelson-ൻ്റെ പ്രശ്നത്തിന് നെഗറ്റീവ് ഉത്തരം ഉണ്ടായിരുന്നു എന്നതിൻ്റെ തെളിവ് - MIP* = RE നേരിട്ട് സൂചിപ്പിക്കുന്നത് - ഭൗതികശാസ്ത്രജ്ഞർ സങ്കൽപ്പിച്ചതിലും ആഴത്തിലുള്ള സൂക്ഷ്മതകൾ ക്വാണ്ടം മെക്കാനിക്‌സിൽ ഉണ്ടെന്ന് സ്ഥിരീകരിച്ചു.

ഈ പ്രമേയത്തിൻ്റെ ഭാവി പ്രവണതകളും പ്രായോഗിക പ്രത്യാഘാതങ്ങളും എന്തൊക്കെയാണ്?

കോണസ് എംബഡിംഗ് പ്രശ്നത്തിൻ്റെ പരിഹാരം തികച്ചും പുതിയ ഗവേഷണ അതിർത്തികൾ തുറക്കുന്നു. ക്വാണ്ടം ക്രിപ്‌റ്റോഗ്രാഫിയിൽ, ഗണിതശാസ്ത്രപരമായി സങ്കൽപ്പിക്കാവുന്നവയ്‌ക്കെതിരെ ശാരീരികമായി തിരിച്ചറിയാൻ കഴിയുന്ന തരത്തിലുള്ള ക്വാണ്ടം പരസ്പരബന്ധങ്ങളെക്കുറിച്ചുള്ള നമ്മുടെ ധാരണ ഇത് മൂർച്ച കൂട്ടുന്നു. സങ്കീർണ്ണത സിദ്ധാന്തത്തിൽ, എൻടാൻഗ്ലെഡ് ക്വാണ്ടം പ്രൂവറുകളുടെ ശക്തി മുമ്പ് മാതൃകയാക്കപ്പെട്ടതിനേക്കാൾ വളരെ വിചിത്രമാണെന്ന് ഇത് സൂചിപ്പിക്കുന്നു. ഗണിതശാസ്ത്രത്തിൻ്റെ അടിത്തറയിൽ, പരിമിതമായ ഏകദേശത്വവും അനന്തമായ ഗണിതശാസ്ത്ര വസ്തുക്കളും തമ്മിലുള്ള ബന്ധത്തെക്കുറിച്ച് ആഴത്തിലുള്ള ചോദ്യങ്ങൾ ഉയർത്തുന്നു.

പ്രയോഗിച്ച ഗണിതശാസ്ത്രജ്ഞർക്കും ക്വാണ്ടം എഞ്ചിനീയർമാർക്കും, "ലോക്കൽ", "കമ്മ്യൂട്ടിംഗ്" എന്നീ ക്വാണ്ടം പരസ്പര ബന്ധങ്ങൾ തമ്മിലുള്ള വിടവ് പഠിക്കേണ്ടതിൻ്റെ പ്രാധാന്യം ഈ ഫലം അടിവരയിടുന്നു - ഉപകരണ-സ്വതന്ത്ര ക്വാണ്ടം ക്രിപ്റ്റോഗ്രഫിക്കും ക്വാണ്ടം നെറ്റ്‌വർക്കുകളുടെ രൂപകൽപ്പനയ്ക്കും നേരിട്ടുള്ള പ്രത്യാഘാതങ്ങളുള്ള ഒരു വിടവ്.

പതിവ് ചോദിക്കുന്ന ചോദ്യങ്ങൾ

കോണസ് ഉൾച്ചേർക്കൽ അനുമാനം ശരിയാണോ തെറ്റാണോ എന്ന് തെളിയിക്കപ്പെട്ടോ?

ജി, നടരാജൻ, വിഡിക്ക്, റൈറ്റ്, യുവൻ എന്നിവർ 2020-ൽ ഈ അനുമാനം തെറ്റെന്ന് തെളിയിച്ചു. MIP* = RE സ്ഥാപിക്കുന്ന അവരുടെ തെളിവ്, ഹൈപ്പർഫിനൈറ്റ് II₁ ഘടകത്തിൻ്റെ അൾട്രാ പവറുകളിലേക്ക് ഉൾച്ചേർക്കാൻ കഴിയാത്ത വോൺ ന്യൂമാൻ ബീജഗണിതങ്ങളുടെ അസ്തിത്വം പ്രകടമാക്കി, കോൺസിൻ്റെ യഥാർത്ഥ അനുമാനത്തെ നേരിട്ട് നിരാകരിക്കുന്നു.

ശുദ്ധമായ ഗണിതത്തിന് പുറത്ത് കോൺസ് ഉൾച്ചേർക്കൽ പ്രശ്നം പ്രധാനമാകുന്നത് എന്തുകൊണ്ട്?

പ്രശ്നം നേരിട്ട് ക്വാണ്ടം ഫിസിക്സും കമ്പ്യൂട്ടർ സയൻസുമായി ബന്ധിപ്പിക്കുന്നു. ക്ലാസിക്കൽ, സ്റ്റാൻഡേർഡ് ക്വാണ്ടം-മെക്കാനിക്കൽ ഏകദേശങ്ങൾ പോലും ആവർത്തിക്കാൻ കഴിയാത്ത പരസ്പരബന്ധം ക്വാണ്ടം എൻടാൻഗിൽമെൻ്റ് ഉണ്ടാക്കുമെന്ന് അതിൻ്റെ പ്രമേയം സ്ഥിരീകരിച്ചു. ഇത് ക്വാണ്ടം ക്രിപ്‌റ്റോഗ്രഫി, ക്വാണ്ടം കമ്പ്യൂട്ടിംഗ് ആർക്കിടെക്ചർ, ക്വാണ്ടം മെക്കാനിക്‌സിൻ്റെ തന്നെ അടിസ്ഥാനങ്ങൾ എന്നിവയിൽ സ്വാധീനം ചെലുത്തുന്നു.

എന്താണ് ഹൈപ്പർഫിനൈറ്റ് II₁ ഘടകം, എന്തുകൊണ്ടാണ് ഇത് ഈ പ്രശ്നത്തിൻ്റെ കേന്ദ്രമായിരിക്കുന്നത്?

പലപ്പോഴും R സൂചിപ്പിക്കുന്ന ഹൈപ്പർഫിനൈറ്റ് II₁ ഘടകം, ഫിനിറ്റ്-ഡൈമൻഷണൽ മാട്രിക്സ് ബീജഗണിതങ്ങളുടെ പരിധിയായി നിർമ്മിച്ച ഒരു അദ്വിതീയ വോൺ ന്യൂമാൻ ബീജഗണിതമാണ്. ഇത് ഏറ്റവും ലളിതവും ഏറ്റവും "ഏകദേശം" അനന്തമായ അളവിലുള്ള ക്വാണ്ടം സിസ്റ്റമാണ്. കൂടുതൽ സങ്കീർണ്ണമായ ബീജഗണിതങ്ങൾ Rൻ്റെ അൾട്രാ പവറിൽ ഉൾച്ചേർന്നിട്ടുണ്ടോ എന്ന ചോദ്യം പ്രധാനമായും എല്ലാ ക്വാണ്ടം സിസ്റ്റങ്ങളും ഈ പരിമിതമായ ഏകദേശ ഗുണം പങ്കിടുന്നുണ്ടോ എന്ന് ചോദിക്കുന്നു - കൂടാതെ 2020 ഫലം കാണിക്കുന്നതുപോലെ ഉത്തരം ഇല്ല.

സങ്കീർണ്ണവും പരസ്പരബന്ധിതവുമായ സിസ്റ്റങ്ങൾ അവയുടെ ആഴത്തിലുള്ള തലത്തിൽ മനസ്സിലാക്കുമ്പോൾ എന്താണ് സംഭവിക്കുന്നതെന്ന് കോൺസ് ഉൾച്ചേർക്കൽ പ്രശ്‌നത്തിൻ്റെ പരിഹാരം പോലുള്ള വഴിത്തിരിവുകൾ കാണിക്കുന്നു - അപ്രതീക്ഷിത കണക്ഷനുകൾ വെളിപ്പെടുത്തുകയും പൂർണ്ണമായും പുതിയ സാധ്യതകൾ തുറക്കുകയും ചെയ്യുന്നു. Mewayz-ൽ, നിങ്ങളുടെ ബിസിനസ്സ് കെട്ടിപ്പടുക്കുന്നതിനും ഇതേ തത്ത്വം ബാധകമാണെന്ന് ഞങ്ങൾ വിശ്വസിക്കുന്നു. ഞങ്ങളുടെ 207-മൊഡ്യൂൾ ബിസിനസ്സ് ഓപ്പറേറ്റിംഗ് സിസ്റ്റം 138,000-ലധികം ഉപയോക്താക്കൾക്ക് അവരുടെ പ്രവർത്തനങ്ങളുടെ എല്ലാ തലങ്ങളും മനസ്സിലാക്കാനും ബന്ധിപ്പിക്കാനും ഒപ്റ്റിമൈസ് ചെയ്യാനുമുള്ള ഉപകരണങ്ങൾ നൽകുന്നു, മാർക്കറ്റിംഗ്, CRM മുതൽ അനലിറ്റിക്‌സ് വരെയും അതിനപ്പുറവും — എല്ലാം വെറും $19/മാസം മുതൽ ആരംഭിക്കുന്നു.

ഉയർന്ന തലത്തിൽ പ്രവർത്തിക്കാൻ തയ്യാറാണോ? app.mewayz.com-ൽ നിങ്ങളുടെ യാത്ര ആരംഭിക്കുക കൂടാതെ ആയിരക്കണക്കിന് സംരംഭകർ Mewayz-നെ അവരുടെ ഓൾ-ഇൻ-വൺ ബിസിനസ് OS ആയി വിശ്വസിക്കുന്നത് എന്തുകൊണ്ടെന്ന് കണ്ടെത്തുക.