Trioblaid a' stèidheachadh Connes

Is e an Duilgheadas Leabachaidh Connes aon de na ceistean as doimhne ann am matamataig an latha an-diugh, a’ suidhe aig crois-rathaid ailseabra gnìomhaiche, teòiridh fiosrachaidh cuantamach, agus iom-fhillteachd àireamhachd. Air a mholadh leis an neach-matamataig Frangach Alain Connes ann an 1976 agus air a rèiteachadh gu deimhinnte ann an 2020, dh’ ath-chruthaich a fhreagairt mar a tha luchd-matamataig agus fiosaig a’ tuigsinn co-dhàimhean cuantamach, àiteachan gun chrìoch, agus fìor structar loidsig matamataigeach.

Dè dha-rìribh a th’ ann an Duilgheadas Bun-stèidh nan Connes?

Aig cridhe na h-obrach aige, dh’ fhaighnich Duilgheadas Leabachaidh Connes ceist a bha gu math sìmplidh: an urrainn a h-uile crìoch algebra von Neumann le staid lorg a bhith air fhighe a-steach do chumhachd ultra-chumhachd den bhàillidh II₁ hyperfinite? Gu soilleir, rannsaich e an gabhadh a h-uile siostam cuantamach neo-chrìochnach “math-mhodhail” a bhith air a thomhas le structaran matamataigeach cuibhrichte, so-ruigsinneach.

Bha Alain Connes a’ smaoineachadh an toiseach ann an 1976 gur e tha am freagairt - gun robh an stèidheachadh seo an-còmhnaidh comasach. Airson còrr air ceithir deicheadan, bha an duilgheadas fhathast fosgailte, a’ seasamh an aghaidh oidhirpean cuid den luchd-matamataig as sgoinneil san t-saoghal. Cha tigeadh an rùn aige bho theòiridh ailseabra gnìomhaiche fìor, ach bho stiùireadh gu tur ris nach robh dùil: iom-fhillteachd àireamhachd dearbhaidhean eadar-ghnìomhach cuantamach.

“Chan e dìreach feòrachas matamataigeach a th’ ann an ath-aithris Duilgheadas Leabachaidh Connes - tha e a’ nochdadh beàrn bunaiteach eadar na dh’ fhaodas siostaman cuantamach a dhèanamh agus dè as urrainn dha tuairmsean clasaigeach a ghlacadh, le buadhan a’ sìneadh bho chrioptachadh gu bunaitean fiosaigs.”

Ciamar a fhuair Coimpiutaireachd Quantum fuasgladh mu dheireadh air duilgheadas matamataig 44-bliadhna?

Ann an 2020, dh’ fhoillsich an luchd-rannsachaidh Ji, Natarajan, Vidick, Wright, agus Yuen am pàipear comharraichte a’ stèidheachadh sin MIP * = RE, far a bheil MIP * a’ comharrachadh an seòrsa de dhuilgheadasan a dh’ fhaodar fhuasgladh le dearbhaiche clasaigeach ag eadar-obrachadh le dà dhearbhadair cuantamach a tha an sàs ann, agus is e RE an clas de chànanan a ghabhas àireamhachadh a-rithist. Bha an toradh seo uamhasach: sheall e gu bheil ceangal cuantamach a’ toirt spionnadh iongantach - gu ìre mhòr gun chrìoch - do shiostaman dearbhaidh eadar-ghnìomhach.

An ceangal ri Connes? Dhearbh an sgioba gu bheil Duilgheadas Leabachaidh Connes co-ionann ris an aithris MIP* = MIP (an clas dearbhaidh eadar-ghnìomhach multiprover clasaigeach). Leis gu robh MIP * gu math nas motha na MIP - gu dearbh, co-ionann ri RE - bha beachd-bheachd Connes Embedding meallta. Chan eil a h-uile algebra crìochnaichte von Neumann a’ fighe a-steach do ultrapower den bhàillidh hyperfinite II₁.

Dè na prionnsapalan bunaiteach air cùlaibh na trioblaid?

Tha tuigse air Duilgheadas Leabachaidh nan Connes feumach air eòlas air grunn phrìomh structaran matamataigeach:

• Algebras Von Neumann: Ailseabra de ghnìomhaichean crìche air àite Hilbert a tha dùinte fo thopology gnìomhaiche lag, a’ gnàthachadh ailseabra matrix gu tomhasan gun chrìoch.
• Am Factor Hyperfinite II₁: Ailseabra àraid, canonical von Neumann a tha na “chrìoch” de ailseabra maitrice crìochnaichte - an siostam cuantamach neo-chrìochnach-mheudach as nàdarraiche.
• Stàitean Cèin: Gnìomhan sreathach air ailseabra von Neumann a bhios gan giùlan fhèin mar lorgan àbhaisteach, a’ toirt seachad beachd air “meud” no “meud” airson ro-mheasaidhean.
• Ultrachumhachdan: Togail modail-teòiridh a chruthaicheas structaran matamataigeach ùra le bhith a' toirt crìochan air sreathan ailseabra ann an dòigh shònraichte, neo-àbhaisteach.
• Co-dhàimhean Quantum: An seòrsa co-dhàimhean a ghabhas coileanadh le dà phàrtaidh a’ co-roinn stàitean cuantamach, a tha aig cridhe teòiridh fiosrachaidh cuantamach agus fuasgladh na trioblaid mu dheireadh.

Dè an co-theacs eachdraidheil agus mean-fhàs na trioblaid seo?

Tha tùs na trioblaid a’ leantainn pàipear Connes ann an 1976 air factaran in-stealladh, obair chruth-atharrachail ann an ailseabra gnìomhaiche. Anns na deicheadan às deidh sin, fhuair luchd-matamataig a-mach gu robh an CEP co-ionann ri dusanan de dhuilgheadasan a rèir coltais nach robh ceangailte ri matamataig - bho bheachd-bheachd Kirchberg QWEP ann an teòiridh C*-algebra gu duilgheadas Tsirelson ann an teòiridh fiosrachaidh cuantamach, a dh’ fhaighnich an robh co-dhàimhean cuantamach air an cruthachadh le gnìomhaichean siubhail co-ionann ris an fheadhainn a chaidh a chruthachadh le deich.

Rinn an lìon seo de cho-ionannachdan am CEP na phrìomh dhuilgheadas eagrachaidh, “mòr-ionad” a’ ceangal raointean eadar-dhealaichte. Nuair a thuit e ann an 2020, bhathas a’ faireachdainn na buaidhean ripple thar matamataig, fiosaig, agus saidheans coimpiutaireachd aig an aon àm. Dhaingnich an dearbhadh gun robh freagairt àicheil aig duilgheadas Tsirelson - air a thuigsinn gu dìreach le MIP * = RE - gu bheil meacanaig cuantamach a’ caladh subtleties eadhon nas doimhne na bha fiosaig air smaoineachadh.

Dè na gluasadan agus na buaidhean practaigeach a bhios aig an rùn seo san àm ri teachd?

Tha fuasgladh Duilgheadas Leabachaidh Connes a’ fosgladh chrìochan rannsachaidh gu tur ùr. Ann an crioptachadh cuantamach, bidh e a’ geurachadh ar tuigse air dè an seòrsa co-dhàimhean cuantamach a ghabhas coileanadh gu corporra an coimeas ri dìreach matamataigeach. Ann an teòiridh iom-fhillteachd, tha e a 'moladh gu bheil cumhachd luchd-dearbhaidh cuantamach a tha an sàs fada nas iomallaiche na chaidh a dhealbhadh roimhe. Ann am bunaitean matamataig, tha e a’ togail cheistean domhainn mun dàimh eadar tuairmseachd chrìochnaichte agus nithean matamataigeach gun chrìoch.

Do luchd-matamataig gnìomhaichte agus innleadairean cuantamach, tha an toradh a’ daingneachadh cho cudromach sa tha e sgrùdadh a dhèanamh air a’ bheàrn eadar co-dhàimhean cuantamach “ionadail” agus “siubhal gu obair” - beàrn le builean dìreach airson crioptachadh cuantamach a tha neo-eisimeileach air innealan agus dealbhadh lìonraidhean cuantamach.

Ceistean Bitheanta

An robh Connes Embeding Conjecture air a dhearbhadh fìor neo ceàrr?

Chaidh a’ bheachd-bheachd a dhearbhadh meallta ann an 2020 le Ji, Natarajan, Vidick, Wright, agus Yuen. Sheall an dearbhadh aca, a’ stèidheachadh MIP* = RE, gu robh ailseabra von Neumann ann nach gabh a chuir a-steach do chumhachdan ultra-chrìochnaichte a’ bhàillidh II₁, a’ dol an aghaidh beachd-bheachd tùsail Connes gu dìreach.

Carson a tha an Trioblaid Leabachaidh Connes cudromach taobh a-muigh matamataig fìor-ghlan?

Tha an duilgheadas a’ ceangal gu dìreach ri fiosaig cuantamach agus saidheans coimpiutaireachd. Dhaingnich an rùn aige gum faod dol an sàs cuantamach co-dhàimhean a thoirt gu buil nach urrainn tuairmsean clasaigeach agus eadhon àbhaisteach quantum-meacanaigeach ath-riochdachadh. Tha buaidh aig seo air crioptachadh cuantamach, ailtireachd coimpiutaireachd cuantamach, agus bunaitean meacanaig cuantamach fhèin.

Dè am bàillidh hyperfinite II₁ agus carson a tha e aig cridhe na trioblaid seo?

Tha am bàillidh hyperfinite II₁, gu tric air ainmeachadh mar R, na algebra von Neumann gun samhail a chaidh a thogail mar chrìoch ailseabra matrix meudach crìochnaichte. Is e seo an siostam cuantamach neo-chrìochnach gun chrìoch as sìmplidh agus as “tuairmse”. Tha a’ cheist a bheil ailseabra nas iom-fhillte a’ fighe a-steach do chumhachdan R gu ìre mhòr a’ faighneachd a bheil a h-uile siostam quantum a’ roinn an t-seilbh tuairmseach chrìochnaichte seo - agus chan eil am freagairt, mar a tha toradh 2020 a’ sealltainn.

Tha leasachaidhean mar fuasgladh Duilgheadas Leabachaidh Connes a’ sealltainn dè thachras nuair a thuigear siostaman iom-fhillte, eadar-cheangailte aig an ìre as doimhne - a’ nochdadh cheanglaichean ris nach robh dùil agus a’ fuasgladh chothroman gu tur ùr. Aig Mewayz, tha sinn a' creidsinn gu bheil an aon phrionnsapal a' buntainn ri togail do ghnìomhachas. Bheir an siostam obrachaidh gnìomhachais 207-modal againn na h-innealan do chòrr air 138,000 neach-cleachdaidh gus gach taobh den obair aca a thuigsinn, a cheangal agus a bharrachadh, bho mhargaidheachd agus CRM gu anailisean agus nas fhaide air falbh - uile a’ tòiseachadh aig dìreach $ 19 / mìos.

Deiseil airson obrachadh aig ìre nas àirde? Tòisich air do thuras aig app.mewayz.com agus faigh a-mach carson a tha earbsa aig mìltean de luchd-tionnsgain ann am Mewayz mar an OS gnìomhachais uile-ann-aon aca.