Коннесны урнаштыру проблемасы

Коннесны урнаштыру проблемасы - хәзерге математикадагы иң тирән сорауларның берсе, оператор алгебралары киселешендә утыру, квант мәгълүмат теориясе һәм исәпләү катлаулылыгы. 1976-нчы елда француз математик Ален Коннес тарафыннан тәкъдим ителгән һәм 2020-нче елда төгәл хәл ителгән, аның җавабы математикларның һәм физикларның квант корреляцияләрен, чиксез үлчәм киңлекләрен һәм математик логиканың тукымасын ничек аңлавын үзгәртте.

Коннесны урнаштыру проблемасы нәрсә ул?

Аның нигезендә, Коннесны урнаштыру проблемасы алдаучы гади сорау бирде: трациональ халәтле һәр чикле фон Нейман алгебра гиперфинит II₁ факторының УЗИ көченә кертелә аламы? Гади сүзләр белән әйткәндә, ул барлык "яхшы тәртипле" чиксез үлчәмле квант системаларын чикле, тартыла торган математик структуралар белән якынлаштырып буламы икәнлеген тикшерде.

Ален Коннес 1976-нчы елда җавап әйе дип уйлады - бу урнаштыру һәрвакыт мөмкин иде. Дүрт дистә елдан артык проблема ачык булып, дөньяның иң якты математикларының тырышлыгына каршы торды. Аның резолюциясе саф оператор алгебра теориясеннән түгел, ә бөтенләй көтелмәгән юнәлештән: квант интерактив дәлилләрнең исәпләү катлаулылыгы.

"Коннесны урнаштыру проблемасын кире кагу математик кызыксыну гына түгел - ул квант системалары нәрсә эшли ала һәм классик якынлашулар кулга ала торган төп аерманы күрсәтә, криптографиядән физика нигезләренә кадәр."

Квант исәпләү ниһаять 44 яшьлек математика проблемасын ничек чиште?

2020-нче елда Jiзи, Натаражан, Видик, Райт һәм enен тикшерүчеләр истәлекле кәгазь бастырып чыгардылар, бу MIP * = RE , монда MIP * классик тикшерүче чишә торган проблемалар классын күрсәтә, ике квант проверы белән үзара бәйләнештә, һәм RE - сансыз телләр классы. Бу нәтиҗә шаккатырды: бу күрсәтте, квант катнашуы гадәттән тыш - асылда чикләнмәгән - интерактив дәлил системасына ярдәм итә.

Коннеска тоташу? Коллектив Конне урнаштыру проблемасының MIP * = MIP (классик мультипровер интерактив дәлил классы) аңлатмасына эквивалент булуын исбатлады. MIP * MIP-тан шактый зуррак булып чыкканга - чынлыкта RE белән тигез - Коннесны урнаштыру фаразы ялган иде. Everyәрбер чиксез фон Нейман алгебра гиперфинит II₁ факторының УЗИ көченә керми.

Проблема артында нинди принциплар бар?

Конне урнаштыру проблемасын аңлау берничә математик структура белән танышуны таләп итә:

• Вон Нейман Алгебрас: Хилберт космосындагы чикләнгән операторларның алгебралары, зәгыйфь оператор топологиясе астында ябылган, матрица алгебраларын чиксез үлчәмнәргә гомумиләштерә.
• Гиперфинит II₁ фактор: уникаль, каноник фон Нейман алгебра, ул чикләнгән матрица алгебраларының "чикләре" - иң табигый чиксез үлчәмле квант системасы.
• Традицион дәүләтләр: Фон Нейман алгебраларында сызыклы функцияләр, үзләрен нормальләштерелгән эзләр кебек тоталар, проекцияләр өчен "зурлык" яки "үлчәм" төшенчәсен бирәләр.
• Ultrapowers: Алгебралар эзлеклелеген билгеле, стандарт булмаган ысул белән алып, яңа математик структуралар чыгара торган модель-теоретик төзелеш.
• Квант корреляцияләре: Квант информация теориясенә һәм проблеманы чишү өчен үзәккә бәйләнгән квант хәлләрен бүлешкән ике як ирешә ала торган корреляцияләр классы.

Бу проблеманың тарихи контексты һәм эволюциясе нәрсә ул?

Проблеманың килеп чыгышы Коннесның 1976-нчы елда инжекцион факторлар кәгазендә эзләнә, алгебраларда оператор. Аннан соңгы дистәләрдә математиклар CEP математика буенча бәйләнешсез булып күренгән дистәләрчә проблемага тиң булганын ачыкладылар - Кирчбергның QWEP фаразыннан C * -алгебра теориясенә кадәр Tsирелсон квант информация теориясендә, коммутатор операторлары тудырган квант корреляцияләре тензор продукт операторлары белән бертигезме-юкмы дип сорадылар.

Бу эквивалентлар челтәре CEPны үзәк оештыру проблемасына, төрле кырларны тоташтыручы "үзәк" итте. 2020-нче елда төшкәч, математика, физика һәм информатика буенча эффектлар бер үк вакытта сизелде. Irирелсон проблемасының тискәре җавап булганын исбатлау - турыдан-туры MIP * = RE - квант механикасының нечкәлекләрен физиклар уйлаганнан да тирәнрәк булуын раслады.

Бу карарның киләчәк тенденцияләре һәм практик нәтиҗәләре нинди?

Коннесны урнаштыру проблемасы чишелеше бөтенләй яңа тикшеренү чикләрен ача. Квант криптографиясендә ул математик яктан күз алдына китереп, квант корреляцияләренең физик яктан реализацияләнүен аңлауны көчәйтә. Катлаулы теориядә, ул бәйләнгән квант проверсларының көче элек модельләштерелгәнгә караганда күпкә экзотик булуын күрсәтә. In foundations of mathematics, it raises deep questions about the relationship between finite approximability and infinite mathematical objects.

Гамәли математиклар һәм квант инженерлары өчен нәтиҗә квант корреляцияләре арасындагы "җирле" һәм "коммутатор" арасындагы аерманы өйрәнүнең мөһимлеген күрсәтә - җайланмадан бәйсез квант криптографиясе һәм квант челтәрләре дизайны өчен туры нәтиҗәләр белән аерма.

Еш бирелә торган сораулар

Коннесны урнаштыру фаразы дөресме, ялганмы?

Бу фараз 2020-нче елда Jiи, Натаражан, Видик, Райт һәм enен тарафыннан расланган ялган . Аларның дәлиле, MIP * = RE булдырып, фон Нейман алгебраларының барлыгын күрсәтте, алар гиперфинит II₁ факторының ультра куәтләренә кертелә алмый, Коннның төп фаразын турыдан-туры кире кага.

Ни өчен Коннны урнаштыру проблемасы саф математикадан читтә мөһим?

Проблема квант физикасы һәм информатика белән турыдан-туры бәйләнә. Аның резолюциясе квант бәйләнешенең классик һәм хәтта стандарт квант-механик якынлашулар кабатлый алмаган корреляцияләр тудыра алуын раслады. Бу квант криптографиясенә, квант исәпләү архитектурасына, квант механикасының нигезләренә кагыла.

Гиперфинит II₁ факторы нәрсә ул һәм ни өчен ул бу проблемада үзәк?

Гиперфинит II₁ факторы, еш R белән билгеләнә, чиксез үлчәмле матрица алгебрасы чикләре итеп төзелгән уникаль фон Нейман алгебра. Бу иң гади һәм иң "якынча" чиксез үлчәмле квант системасы. R ультра көчләренә урнаштырылган катлаулырак алгебралар бармы, барлык квант системалары бу чикләнгән якынлык милеген бүлешәме - дигән сорау туа - һәм җавап, 2020 нәтиҗәләре күрсәткәнчә, юк.

Коннесны урнаштыру проблемасы кебек уңышлар катлаулы, үзара бәйләнгән системаларны иң тирән дәрәҗәдә аңлагач нәрсә булачагын күрсәтә - көтелмәгән бәйләнешләрне ачып, бөтенләй яңа мөмкинлекләрне ачу. Мевайз да без шул ук принцип сезнең бизнесны төзүгә кагыла дип саныйбыз. Безнең 207-модульле бизнес-операцион система 138,000 кулланучыларга үз операцияләренең һәр өлкәсен аңлау, тоташтыру һәм оптимальләштерү өчен кораллар бирә, маркетинг һәм CRMдан аналитикага кадәр һәм аннан соң - барысы да $ 19 / айдан башлана.

югарырак дәрәҗәдә эшләргә әзерме? Сәяхәтегезне app.mewayz.com сайтында башлап җибәрегез һәм ни өчен меңләгән эшкуарлар Мевайзга бөтен бизнес-ОС дип ышанганнарын ачыклагыз.