Connes Embedding olana

Ny Olan'ny Connes Embeddingdia iray amin'ireo fanontaniana lalina indrindra amin'ny matematika maoderina, mipetraka eo amin'ny fihaonan'ny algebra operator, ny teoria momba ny fampahalalam-baovao quantum, ary ny fahasarotan'ny kajy. Natolotry ny mpahay matematika frantsay Alain Connes tamin'ny 1976 ary voavaha tanteraka tamin'ny 2020, ny valinteniny dia nanova ny fomba nahatakaran'ny mpahay matematika sy ny fizika ny fifandraisan'ny quantum, ny habaka tsy manam-petra ary ny rafitry ny lojika matematika.

Inona marina ny olan'ny Connes Embedding?

Amin'ny fotony, ny Olana Connes Embedding dia nametraka fanontaniana tsotra mamitaka: afaka ampidirina ao anatin'ny hery faran'izay mahery amin'ny anton'ny hyperfinite II₁ ve ny algebra von Neumann misy fetrany? Raha lazaina amin'ny teny tsotra, dia nandinika raha toa ka azo tombanana amin'ny rafitra matematika voafetra sy azo trandrahana avokoa ny rafitra quantum tsy manam-petra rehetra "tsara fitondran-tena".

Alain Connes dia nihevitra tany am-boalohany tamin'ny 1976 fa ny valiny dia eny — fa azo atao foana io fampidirana io. Nandritra ny efapolo taona mahery, dia nisokatra ny olana, nanohitra ny ezaky ny sasany amin'ireo mpahay matematika fanta-daza indrindra eran-tany. Tsy avy amin'ny teôlôjian'ny algebra operator madiodio ny famahana azy, fa avy amin'ny lalana tsy ampoizina tanteraka: ny fahasarotan'ny fikajiana ny porofo mifanentana amin'ny quantum.

"Ny fandavana ny olan'ny Connes Embedding dia tsy fahalianana ara-matematika fotsiny - mampiseho ny elanelana fototra eo amin'izay azon'ny rafitra quantum atao sy izay azon'ny fanombantombanana mahazatra, izay misy fiantraikany manomboka amin'ny kriptografika ka hatrany amin'ny fototry ny fizika."

Ahoana no fomba namaha ny olan'ny matematika 44 taona ny computing quantum?

Tamin'ny taona 2020, ny mpikaroka Ji, Natarajan, Vidick, Wright, ary Yuen dia namoaka ilay taratasy manan-tantara izay manambara fa MIP* = RE, izay ilazan'ny MIP* ny sokajin'ny olana azo voavaha amin'ny alàlan'ny mpanamarina mahazatra mifandray amin'ny prover quantum roa mifamatotra, ary ny RE no kilasin'ny fiteny azo isaina miverimberina. Nanafintohina ity vokatra ity: nasehon'izy io fa ny fikorontanan'ny quantum dia manome fampiroboroboana miavaka — tsy misy fetrany — ho an'ny rafitra porofo mifampiankina.

Ny fifandraisana amin'i Connes? Noporofoin'ny ekipa fa ny Olana Connes Embedding dia mitovyamin'ilay fanambarana MIP* = MIP (ilay classique multiprover interactive proof class). Satria ny MIP* dia nivadika ho lehibe lavitra noho ny MIP — raha ny marina, mitovy amin'ny RE — diso ny fiheverana ny Connes Embedding. Tsy ny algebra faran'ny Neumann rehetra no tafiditra ao anatin'ny herin'aratra amin'ny anton'ny hyperfinite II₁.

Inona no fitsipika fototra ao ambadiky ny olana?

Mila fahalalana rafitra matematika fototra maromaro ny fahafantarana ny olan'ny Connes Embedding:

• Algebras Von Neumann: Algebras an'ny mpandraharaha voafetra amin'ny habaka Hilbert izay mihidy eo ambanin'ny topologie opérateur malemy, mametaka algebra matrix amin'ny refy tsy manam-petra.
• Ny Hyperfinite II₁ Factor: Algebra tsy manam-paharoa, kanônika von Neumann izay "fetra" amin'ny algebra matrix voafetra — ny rafitra quantum tsy manam-petra voajanahary indrindra.
• Fanjakana Tracial: Fampiasana tsipika amin'ny algebra von Neumann izay mitovitovy amin'ny dian normalized, manome hevitra ny "habe" na "dimension" ho an'ny vinavina.
• Ultrapowers: Fanorenana modely-teorika izay mamokatra rafitra matematika vaovao amin'ny alàlan'ny famerana ny filaharan'ny algebra amin'ny fomba manokana, tsy manara-penitra.
• Fifandraisan'ny Quantum: Ny kilasin'ny fifamatorana azon'ny antoko roa mifampizara fanjakana mifanandrify, ivon'ny teoria momba ny fampahalalam-baovao ary ny famahana ny olana amin'ny farany.

Inona ny toe-javatra ara-tantara sy ny fivoaran'ity olana ity?

Ny niandohan'ny olana dia avy amin'ny taratasy Connes tamin'ny 1976 momba ny antony injective, asa manova ny algebra operator. Tao anatin'ny folo taona nanaraka, hitan'ny mpahay matematika fa mitovy amin'ny olana am-polony maro toa tsy misy ifandraisany eo amin'ny matematika ny CEP — avy amin'ny vinavinan'i Kirchberg's QWEP ao amin'ny teôlôjian'ny C*-algebra ka hatramin'ny olan'i Tsirelson amin'ny teôlôjian'ny fampahalalam-baovao, izay nanontany raha mitovy ny fifandraisan'ny quantum aterak'ireo operateur commuting ireo.

Ity tranonkalan'ny fampitoviana ity dia nahatonga ny CEP ho olana lehibe amin'ny fandaminana, "heb" mampifandray ireo sehatra samihafa. Rehefa nianjera tamin'ny taona 2020, dia tsapa niaraka tamin'ny matematika, fizika ary siansa informatika ny fiantraikan'ny ripple. Ny porofo fa manana valiny ratsy ny olan'i Tsirelson — nasehon'ny MIP* = RE mivantana — dia nanamafy fa ny mekanika quantum dia manana hafetsena lalina kokoa noho ny noeritreretin'ny mpahay fizika.

Inona no fironana ho avy sy ny fiantraikany azo ampiharina amin'ity fanapahan-kevitra ity?

Ny famahana ny olan'ny Connes Embedding dia manokatra sisintany fikarohana vaovao tanteraka. Ao amin'ny kriptografika quantum, dia manatsara ny fahatakarantsika ny karazana fifandraisan'ny quantum azo tsapain-tanana sy azo eritreretina ara-matematika fotsiny. Ao amin'ny teorian'ny fahasarotana, dia manondro fa ny herin'ny prover quantum voafandrika dia hafahafa lavitra noho ny modely teo aloha. Ao amin'ny fototry ny matematika, dia mametraka fanontaniana lalina momba ny fifandraisana misy eo amin'ny fahatoniana voafetra sy ny zavatra matematika tsy manam-petra.

Ho an'ny matematika ampiharina sy ny injeniera quantum, ny valiny dia manasongadina ny maha-zava-dehibe ny fandalinana ny elanelana misy eo amin'ny fifandraisan'ny quantum "eo an-toerana" sy ny "commuting" — elanelana misy fiantraikany mivantana amin'ny cryptography quantum tsy miankina amin'ny fitaovana sy ny famolavolana tambajotra quantum.

Fanontaniana matetika

Voaporofo fa marina sa diso ny Connes Embedding Conjecture?

Noporofoin'i Ji, Natarajan, Vidick, Wright, ary Yuen fa diso ny vinavina tamin'ny taona 2020. Ny porofon'izy ireo, nametraka ny MIP* = RE, dia nampiseho ny fisian'ny algebra von Neumann izay tsy azo ampidirina ao anatin'ny hery faran'izay an'ny anton'ny hyperfinite II₁, izay manohitra mivantana ny fiheveran'i Connes tany am-boalohany.

Nahoana no zava-dehibe ivelan'ny matematika madio ny Olana Connes Embedding?

Ny olana dia mifandray mivantana amin'ny fizika quantum sy ny siansa informatika. Ny fanapahan-keviny dia nanamafy fa ny fifandonan'ny quantum dia afaka mamokatra fifandraisana izay tsy azo averina amin'ny fomba mahazatra sy ara-mekanika mahazatra. Misy fiantraikany amin'ny cryptography quantum, architecture computing quantum, ary ny fototry ny mekanika quantum mihitsy izany.

Inona ny anton'ny hyperfinite II₁ ary nahoana no ivon'ity olana ity?

Ny anton'ny hyperfinite II₁, izay matetika lazaina R, dia algebra von Neumann tsy manam-paharoa natsangana ho fetran'ny algebra matrix misy refy voafetra. Izy io no rafitra quantum tsy manam-petra sy tsy misy fetrany indrindra ary "azo antenaina". Ny fanontaniana raha toa ka misy algebra sarotra kokoa miditra ao anatin'ny hery faran'ny R dia manontany raha ny rafitra quantum rehetra dia mizara an'io fananana tombantombana voafetra io - ary ny valiny, araka ny asehon'ny valiny 2020, dia tsia.

Ny fandrosoana toy ny famahana ny Olan'ny Connes Embedding dia mampiseho ny zava-mitranga rehefa takatra amin'ny ambaratonga lalina indrindra ny rafitra saro-pantarina sy mifamatotra — manambara fifandraisana tsy ampoizina ary manokatra fahafahana vaovao tanteraka. Ao amin'ny Mewayz, mino izahay fa mihatra amin'ny fananganana orinasanao io fitsipika io. Ny rafitra fampandehanan-draharahanay 207-module dia manome fitaovana maherin'ny 138.000 ho an'ny mpampiasa hahatakatra, hampifandray, ary hanatsara ny lafiny rehetra amin'ny asany, manomboka amin'ny varotra sy CRM ka hatramin'ny analyse sy ny sisa - manomboka amin'ny $19/volana fotsiny.

Vonona hiasa amin'ny ambaratonga ambony kokoa? Atombohy amin'ny app.mewayz.com ny dianao ary fantaro hoe nahoana ny mpandraharaha an'arivony no matoky an'i Mewayz ho OS-n'ny orinasany rehetra.