Matsalolin Shigar Connes

Matsalar Haɗin Connes ɗaya ce daga cikin manyan tambayoyi a cikin ilimin lissafi na zamani, zaune a tsakar ma'aunin algebras, ka'idar bayanai ta ƙididdigewa, da rikitarwar lissafi. Bafaranshe masanin lissafi Alain Connes ne ya gabatar da shi a cikin 1976 kuma an warware shi a cikin 2020, amsarta ta sake fasalin yadda masana ilimin lissafi da masana kimiyya suka fahimci alaƙar adadi, sarari mara iyaka, da ainihin masana'antar dabaru na ilimin lissafi.

Menene Matsalolin Haɗin Connes?

A ainihinsa, Matsalar shigar da Connes ta yi wata tambaya mai sauƙi ta yaudara: shin kowace ƙarancin von Neumann algebra mai ƙayyadaddun yanayi za a iya shigar da shi cikin wani ultrapower na hyperfinite II₁ factor? A bayyane yake, ya bincika ko duk tsarin ƙididdiga mara iyaka na "kyakkyawan hali" za a iya kusanta su da ƙayyadaddun tsarin lissafin lissafi.

Alain Connes ya fara zato a cikin 1976 cewa amsar ita ce e - cewa wannan sakawa yana yiwuwa koyaushe. Fiye da shekaru arba'in, matsalar ta kasance a buɗe, ta ƙi ƙoƙarce-ƙoƙarcen wasu ƙwararrun masana ilmin lissafi na duniya. Ƙudurin sa ba zai fito daga ka'idar algebra mai tsaftar mai aiki ba, amma daga hanyar da ba a zata ba: ƙayyadaddun ƙididdiga na hujjoji masu mu'amala da ƙididdiga.

"Kwantar da Matsalolin Connes ba wai kawai son ilimin lissafi ba ne - yana bayyana babban gibi tsakanin abin da tsarin ƙididdiga zai iya yi da kuma abin da ƙima na gargajiya zai iya kamawa, tare da abubuwan da suka fito daga cryptography zuwa tushen kimiyyar lissafi."

Ta Yaya Ƙididdigar Ƙididdigar Ƙirar Ƙarshe Ya Magance Matsalar Math Mai Shekaru 44?

A cikin 2020, masu bincike Ji, Natarajan, Vidick, Wright, da Yuen sun buga takarda mai ban mamaki da ke tabbatar da cewaMIP* = RE, inda MIP* ke nuna nau'in matsalolin da za a iya warware su ta hanyar tabbatarwa na gargajiya da ke hulɗa da ma'auni guda biyu masu ma'ana, kuma RE shine ajin recursively enumer. Wannan sakamakon ya kasance mai ban mamaki: ya nuna cewa haɗakarwa ta ƙididdigewa tana ba da ban mamaki - da gaske marar iyaka - haɓakawa zuwa tsarin tabbatar da hulɗa.

Haɗin zuwa Connes? Tawagar ta tabbatar da cewa Matsala ta Connes tana daidai da bayanin MIP* = MIP (classical multiprover interactive proof class). Tun da MIP* ya zama mafi girma fiye da MIP - a zahiri, daidai yake da RE - Hasashen Connes ɗin ƙarya ne. Ba kowane ƙayyadadden algebra von Neumann ke haɗawa cikin ƙarfin ƙarfin ƙarfin ƙarfin ƙarfin kuzarin II₁.

Menene Tushen Ka'idodin Bayan Matsala?

Fahimtar Matsala ta haɗa Connes tana buƙatar sanin mahimmin tsarin lissafi da yawa:

• Von Neumann Algebras: Algebras na masu aiki masu iyaka akan sararin samaniyar Hilbert waɗanda ke rufe a ƙarƙashin ƙarancin aikin aiki, yana haɓaka algebras na matrix zuwa girma mara iyaka.
• Hyperfinite II₁ Factor: Na musamman, canonical von Neumann algebra wanda shine "iyaka" na algebras masu iyaka - mafi kyawun tsarin ƙididdigewa mara iyaka.
• Ƙasashen Tracial: Ayyuka masu layi na layi akan von Neumann algebras waɗanda ke yin kama da na al'ada, suna ba da ra'ayi na "girma" ko "girma" don tsinkaya.
• Ultrapowers: Ginin ƙirar ƙira wanda ke samar da sabbin tsarin lissafi ta hanyar ɗaukar iyakoki na jeri na algebra a takamammen hanyar da ba ta dace ba.
• Kwanta Kwamfuta: Ajin daidaitawa da ƙungiyoyi biyu za su iya yin musayar jimla jihohi, na tsakiya zuwa ka'idar bayanin ƙididdigewa da kuma warware matsalar.

Menene Ma'anar Tarihi da Juyin Halitta na Wannan Matsala?

Asalin matsalar ya samo asali ne ga takardan Connes na 1976 akan abubuwan allura, aikin canza fasalin algebras. A cikin shekarun da suka biyo baya, masu ilimin lissafi sun gano cewa CEP tana daidai da ɗimbin matsalolin da ba su da alaƙa a cikin ilimin lissafi - daga Kirchberg's QWEP zato a cikin ka'idar C*-algebra zuwa matsalar Tsirelson a cikin ka'idar bayanin ƙididdiga, wanda ya tambayi ko haɗin gwiwar ƙididdiga da masu aikin zirga-zirga suka samar daidai da waɗannan masu aiki.

Wannan gidan yanar gizo na daidaici ya sanya CEP ta zama babbar matsala ta tsari, "hub" mai haɗa filaye daban-daban. Lokacin da ya faɗi a cikin 2020, an ji tasirin tasirin a cikin ilimin lissafi, kimiyyar lissafi, da kimiyyar kwamfuta a lokaci guda. Tabbacin cewa matsalar Tsirelson tana da amsa mara kyau - kai tsaye ta hanyar MIP* = RE - ta tabbatar da cewa injiniyoyin ƙididdiga suna ɗauke da dabara ko da zurfi fiye da yadda masana kimiyya suka zato.

Menene Matsalolin Gaba da Aiyukan Tasirin Wannan ƙudiri?

Ƙaddamar da Matsala ta Connes ta buɗe sabbin iyakokin bincike gaba ɗaya. A cikin ƙididdiga na ƙididdigewa, yana haɓaka fahimtarmu game da wane nau'in alaƙar ƙididdigewa ne ake iya gane su ta zahiri sabanin lissafi kawai. A cikin ka'idar hadaddun, yana nuna cewa ikon da ke tattare da kididdigar kididdigar ya fi girma fiye da yadda aka tsara a baya. A cikin tushen ilimin lissafi, yana tayar da tambayoyi masu zurfi game da alakar da ke tsakanin iyaka iyaka da abubuwan lissafi marasa iyaka.

Ga masu ilimin lissafi da injiniyoyi masu ƙididdigewa, sakamakon yana nuna mahimmancin nazarin rata tsakanin "na gida" da "tafiya" daidaitattun daidaituwa - rata tare da sakamako kai tsaye ga ƙididdigar ƙididdiga masu zaman kansu na na'ura da kuma ƙirar cibiyoyin sadarwa.

Tambayoyin da ake yawan yi

Shin an tabbatar da Hasashen Haɗin Connes gaskiya ne ko ƙarya?

An tabbatar da zato ƙaryaa cikin 2020 ta Ji, Natarajan, Vidick, Wright, da Yuen. Hujjarsu, kafa MIP* = RE, ta nuna wanzuwar von Neumann algebras waɗanda ba za a iya shigar da su cikin ultrapowers na hyperfinite II₁ factor, kai tsaye karyata ainihin zato na Connes.

Me yasa Matsalolin Haɗin Connes ke da mahimmanci a wajen tsantsar lissafi?

Matsalar ta haɗu kai tsaye zuwa ilimin lissafi da kimiyyar kwamfuta. Ƙudurin sa ya tabbatar da cewa haɗaɗɗiyar ƙididdigewa na iya samar da alaƙa waɗanda na gargajiya har ma da daidaitattun ƙididdiga-makanikanci ba za su iya kwafi ba. Wannan yana da tasiri ga ƙididdiga na ƙididdiga, ƙididdiga na ƙididdiga, da kuma tushe na injiniyoyin ƙididdiga da kanta.

Mene ne yanayin hyperfinite II₁ kuma me yasa yake tsakiyar wannan matsalar?

Matsakaicin hyperfinite II₁, sau da yawa ana nuna shiR, wani algebra ne na musamman na von Neumann wanda aka gina a matsayin iyakar matrix algebras mai iyaka. Shi ne mafi sauƙi kuma mafi "kusanci" tsarin ƙididdiga mara iyaka. Tambayar ko ƙarin hadaddun algebras da aka haɗa cikin manyan ƙarfi na R shine ainihin tambayar ko duk tsarin ƙididdigewa suna raba wannan ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun ƙayyadaddun abubuwa - kuma amsar, kamar yadda sakamakon 2020 ya nuna, a'a.

---

Nasarorin da aka samu kamar ƙudurin Matsala ta Connes suna nuna abin da ke faruwa idan aka fahimci hadaddun tsarin tsarin haɗin kai a matakin zurfafan su - yana bayyana hanyoyin da ba zato ba tsammani da buɗe sabbin damammaki. AMewayz, mun yi imanin wannan ka'ida ta shafi gina kasuwancin ku. Tsarin kasuwancin mu na 207-module yana ba masu amfani sama da 138,000 kayan aikin don fahimta, haɗi, da haɓaka kowane nau'in ayyukansu, daga tallace-tallace da CRM zuwa nazari da kuma bayan - duk suna farawa daga $19 kawai a wata.

Shirya shirye don aiki a matakin mafi girma? Fara tafiya a app.mewayz.com kuma gano dalilin da yasa dubban 'yan kasuwa suka amince da Mewayz a matsayin OS na kasuwancin su gaba ɗaya.