Connes Embedding Prɔblɛm

"Di rifyuteshɔn fɔ di Kɔns Ɛmbadin Prɔblɛm nɔto jɔs wan mɛtemat ɔl kɔriɔs — i de sho wan fondamental gap bitwin wetin kwantum sistɛm dɛn kin du ɛn wetin klasical aprɔksimɛshɔn kin kapchɔ, wit implikashɔn dɛn we de strɛch frɔm kriptografi to di fawndeshɔn dɛn fɔ fizik."

Aw Kwantum Kɔmpyutin Fainali Sɔlv wan 44 Ia Ol Math Prɔblɛm?

Insay 2020, risach pipul dɛm Ji, Natarajan, Vidick, Wright, ɛn Yuen bin pul di landmak pepa we establish se MIP* = RE, usay MIP* de sho di klas ɔf prɔblɛm dɛm we wan klasical verifya kin sɔlv we de intarakt wit tu entangled kwantum prɔva dɛm, ɛn RE na di klas fɔ rikɔrsivli enumɛrabl langwej dɛm. Dis risal bin shok: i sho se kwantum entanglement grant wan ekstra odinri — essentially unlimited — boost to intaraktiv pruf sistem.

Di kɔnɛkshɔn to Kɔns? Di tim pruv se di Kɔns Ɛmbadin Prɔblɛm na ikwivalɛnt to di stetmɛnt MIP* = MIP (di klasical multiprover intaraktiv pruf klas). Sins MIP* tɔn aut fɔ bi vastly big pas MIP — infakt, ikwal to RE — di Connes Embedding kɔnjɛkshɔn na bin lay. Nɔto ɔl fayn fayn von Neumann aljɛbra de ɛmbas insay wan ɔltra pawa fɔ di haypafayn II1 faktɔ.

Wetin Na di Fɔndamɛnt Prinsipul dɛn we De Biɛn di Prɔblɛm?

Fɔ ɔndastand di Kɔns Ɛmbadin Prɔblɛm nid fɔ no sɔm impɔtant mɛtemat strɔkchɔ dɛn:

we dɛn kɔl
• Von Neumann Algebras: Aljebra dɛm fɔ baund ɔpreshɔn pan wan Hilbert spɛs we dɛn klos ɔnda di wik ɔpreshɔn tɔpɔlɔji, we de jenɛraliz matris aljɛbra to infinit dimɛnshɔn.
• Di Hyperfinite II1 Factor: Wan yunik, kanonik von Neumann algebra we na di "limit" fɔ finite matris algebra — di mɔs natura infinite-dimensional kwantum sistɛm.
• Tracial Stet: Linear functionals pan von Neumann algebras we de bihayv lεk nכmal trays, we de gi wan noshכn fכ "sayz" כ "dimenshכn" fכ projεkshכn.
• Ultrapowers: Na mכdel-tiori kכnstrכkshכn we de prodyuz nyu mεtematכk strכkchכ bay we i de tek limit fכ sikεns dεm fכ algebra insay wan spεsifi k, nכn-standad we.
• Kwantum Kɔrɛleshɔn: Di klas ɔf kɔrɛleshɔn we tu pati dɛn we de sheb ɛntangled kwantum stet dɛn kin ajɔst, we na sɛntral to kwantum infɔmeshɔn tiori ɛn di ivintual rizɔlt fɔ di prɔblɛm.

Wetin Na di Istri Kɔntekst ɛn Evolushɔn fɔ Dis Prɔblɛm?

Di prɔblɛm in ɔrijin trays to Connes in 1976 pepa pan injektiv faktɔs, wan transfɔmativ wok insay ɔpreshɔn aljɛbra. Insay di dikɛd dɛn we bin fala, di wan dɛn we sabi bɔt matematiks bin kam fɔ no se di CEP ikwal to dɔzɛn prɔblɛm dɛn we tan lɛk se dɛn nɔ gɛt natin fɔ du wit am akɔdin to matematiks — frɔm Kirchberg in QWEP kɔnjɛkshɔn insay C*-aljɛbra tiori to Tsirelson in prɔblɛm insay kwantum infɔmeshɔn tiori, we aks if kwantum kɔrɛleshɔn dɛn we kɔmyut ɔpreshɔn dɛn de mek na di sem wit di wan dɛn we tɛnsɔ prodakt de mek ɔpreshɔn dɛn.

Dis wɛb we ikwal mek di CEP bi wan sɛntral ɔganayzin prɔblɛm, wan "hab" we de kɔnɛkt difrɛn fil dɛm. We i fɔdɔm insay 2020, dɛn bin fil di ripɛl ifɛkt dɛn akɔdin to matematiks, fizik, ɛn kɔmpyuta sayɛns wan tɛm. Di pruf se Tsirelson in prɔblɛm bin gɛt negatif ansa — we dɛn tɔk dairekt wan bay MIP* = RE — kɔnfyus se kwantum mɛkaniks de kip sɔbtil tin dɛn we ivin dip pas aw fiziks pipul dɛn bin dɔn imajin.

Wetin Na di Fyuchɔ Trend ɛn Praktikal Implikashɔn fɔ Dis Rizolushɔn?

Di rizɔlt fɔ di Kɔns Ɛmbadin Prɔblɛm de opin ɔl nyu risach frɔnt dɛn. Insay kwantum kriptografi, i de shap wi ɔndastandin fɔ us kayn kwantum kɔrɛleshɔn dɛn we pɔsin kin riliys pan fizik versus we pɔsin kin jɔs tink bɔt wit matematiks. Insay kɔmplisiti tiori, i sho se di pawa we entangled kwantum prova dɛn gɛt na fa mɔ ɛkzotik pas aw dɛn bin dɔn mɔdel am bifo. Insay fawndeshɔn dɛn fɔ matematiks, i de mek dip kwɛstyɔn dɛn bɔt di rilayshɔn bitwin fayn aprɔksibiliti ɛn infinit mɛtemat ɔbjɛkt dɛn.

Fɔ aplai matematishan ɛn kwantum injinia, di rizɔlt ɔndaskayn di impɔtants fɔ stɔdi di gap bitwin "lɔkal" ɛn "kɔmyutin" kwantum kɔrɛleshɔn — wan gap wit dairekt kɔnsɛkshɔn fɔ divays-indipɛndɛnt kwantum kriptografi ɛn di dizayn fɔ kwantum nɛtwɔk.

Kwɛshɔn dɛn we dɛn kin aks bɔku tɛm

Dɛn bin pruv se di Kɔns Ɛmbadin Kɔnjɛkshɔn na tru ɔ lay?

Di kɔnjɛkshɔn bin pruv fal insay 2020 bay Ji, Natarajan, Vidick, Wright, ɛn Yuen. Dɛn pruf, we establish MIP* = RE, sho di ɛgzistens fɔ von Neumann aljɛbra dɛn we nɔ kin ebul fɔ ɛmbas insay ɔltrapawa dɛn fɔ di haypafayn II1 faktɔ, we de rifyut Kɔns in ɔrijinal kɔnjɛkshɔn dairekt wan.

Wetin mek di Kɔns Ɛmbadin Prɔblɛm impɔtant ausayd klin matematiks?

Di prɔblɛm kɔnɛkt dairekt to kwantum fizik ɛn kɔmpyuta sayɛns. I rεsכlushכn kכnfכm se kwantum εntanglεmεnt kin prodyuz kכrεleshכn we klasical εn ivin standad kwantum-mεkanikal aprכksimεshכn dεm nכ kin rεplik. Dis gɛt implikashɔn fɔ kwantum kriptografi, kwantum kɔmpiutin akitɛkɛt, ɛn di fawndeshɔn dɛn fɔ kwantum mɛkaniks insɛf.

Wetin na di haypafinit II1 factor ɛn wetin mek na di sɛntral fɔ dis prɔblɛm?

Di haypafayn II1 faktɔ, we dɛn kin kɔl bɔku tɛm R, na wan yunik von Nyuman aljɛbra we dɛn kɔnstrɔk as di limit fɔ fayn-dimɛnshɔnal matris aljɛbra. Na di simpul ɛn "aprɔksim" infinit-dimɛnshɔnal kwantum sistɛm. Di kwɛshɔn if mɔ kɔmpleks aljɛbra dɛn de ɛmbas insay ɔltrapawa dɛn na R na essentially aks if ɔl kwantum sistɛm dɛn de sheb dis fayn aprɔksibiliti prɔpati — ɛn di ansa, as di 2020 rizɔlt sho, na nɔ.

Brekthroughs lɛk di rizɔlt fɔ di Connes Embedding Problem de sho wetin kin apin we dɛn ɔndastand kɔmpleks, intakɔnekt sistɛm dɛn na dɛn dip lɛvɛl — we de sho kɔnɛkshɔn dɛn we dɛn nɔ bin de ɛkspɛkt ɛn we de ɔplɔk ɔl nyu pɔsibul dɛn. Na Mewayz, wi biliv se di sem prinsipul de fɔ bil yu biznɛs. Wi 207-modul biznɛs ɔpreshɔn sistɛm de gi pas 138,000 yuza dɛn di tul dɛn fɔ ɔndastand, kɔnɛkt, ɛn ɔptimayz ɛvri dimɛnshɔn fɔ dɛn ɔpreshɔn, frɔm makɛt ɛn CRM to analitiks ɛn biyɔn — ɔl dis de stat frɔm jɔs $19/mɔnt.

Rɛdi fɔ ɔpreshɔn na ay levul? Start yu joyn na app.mewayz.com ɛn diskɔba wetin mek bɔku bɔku ɛntrɔprenɔ dɛn trɔst Mewayz as dɛn ɔl-in-wan biznɛs OS.