Глисс теоремасы - Gleasons theorem - Wikipedia

Жылы математикалық физика, Глисон теоремасы есептеу үшін ережені қолданатынын көрсетеді ықтималдықтар жылы кванттық физика, Туған ереже, кванттық физикада өлшеулерді кәдімгі математикалық ұсынудан алумен бірге алуға болады контекстуалды емес. Глизон Эндрю алғаш теореманы 1957 жылы дәлелдеді,[1] қойған сұраққа жауап беру Джордж В. Макки, тарихи кең ауқымды топтарды көрсетудегі рөлі үшін маңызды жетістік жасырын айнымалы теориялар кванттық физикаға сәйкес келмейді. Содан бері бірнеше вариация дәлелденді. Глисон теоремасының өрісі үшін ерекше маңызы бар кванттық логика және оның минималды математикалық жиынтығын табуға тырысуы аксиомалар кванттық теория үшін.

Теореманың тұжырымы

Тұжырымдамалық негіз

Кванттық механикада әрбір физикалық жүйе Гильберт кеңістігімен байланысты. Осы шолу мақсатында Гильберт кеңістігі ақырлы өлшемді болып саналады. Кодификацияланған тәсілде Джон фон Нейман, физикалық жүйе бойынша өлшеу а өзін-өзі байланыстыратын оператор бұл кезде Гильберт кеңістігі кейде «байқалатын» деп аталады. The меншікті векторлар осындай оператордың ан ортонормальды негіз бұл Гильберт кеңістігі үшін және бұл өлшеудің әрбір мүмкін нәтижесі базисті құрайтын векторлардың біріне сәйкес келеді. A тығыздық операторы - ізі 1-ге тең болатын Гильберт кеңістігіндегі оң-жартылай шексіз оператор фон Вайцзеккер, тығыздық операторы - «ықтималдықтар каталогы»: анықталуы мүмкін әрбір өлшем үшін, осы өлшеу нәтижелеріне ықтималдықтың таралуын тығыздық операторынан есептеуге болады.[2] Мұны жасау процедурасы: Туған ереже, онда көрсетілген

қайда тығыздық операторы және болып табылады проекциялау операторы өлшеу нәтижесіне сәйкес келетін базалық векторға .

Борн ережесі ықтималдықты Гильберт кеңістігіндегі әрбір бірлік векторымен байланыстырады, осылайша ортонормальды негізді құрайтын бірлік векторларының кез-келген жиынтығы үшін бұл ықтималдықтар 1-ге тең болады. Сонымен, бірлік векторымен байланысты ықтималдық - бұл вектордың негізін таңдау сияқты қосымша ақпарат емес, тығыздық операторы мен бірлік векторының функциясы. Глисон теоремасы керісінше орнатады: ықтималдықтардың барлық тағайындаулары осы шарттарды қанағаттандыратын бірлік векторлары (немесе оларға проекциялайтын операторларға эквивалентті) Борн ережесін кейбір тығыздық операторларына қолдану түрінде болады. Глисон кеңістігінің өлшемі 3 немесе одан үлкен болса, Глисон теоремасы орындалады; қарсы мысалдар 2 өлшемі үшін бар.

Мемлекеттік кеңістік пен Борн ережесін шығару

Кванттық жүйе бойынша өлшеудің кез-келген нәтижесінің ықтималдығы 0 мен 1-ді қоса алғандағы нақты сан болуы керек және кез-келген жеке өлшем үшін әр түрлі мүмкін нәтижелердің ықтималдығы 1-ге дейін қосылуы керек. проекция операторлары анықтаған өлшеу нәтижелеріне ықтималдықтарды беретін кез-келген функция тығыздық операторы және Борн ережесі бойынша айқын болуы керек. Бұл ықтималдықтарды есептеу ережесін ғана емес, мүмкін болатын кванттық күйлер жиынын да анықтайды.

Келіңіздер проекция операторларынан бірлік аралығы егер бұл жиынтық болса проекция операторларының қосындысы сәйкестік матрицасы (яғни, олар ортонормальды негізге сәйкес келсе), онда

Мұндай функция өлшеу нәтижелеріне ықтималдық мәндерін тағайындауды білдіреді, бұл нәтиже ықтималдығы нәтиженің қай өлшемнің ішіне енуіне байланысты емес, тек математикалық бейнеленуіне байланысты болады. нақты нәтиже, яғни оның проекциялау операторы.[3][4]:§1.3[5]:§2.1[6] Глисон теоремасы кез-келген осындай функция үшін дейді , оң-жартылай шексіз оператор бар бірліктің ізімен

Борн ережесі де, «ықтималдық каталогтары» бірлік ізінің оң-жартылай шексіз операторлары екендігі де өлшемдер ортонормальды негіздермен ұсынылған және ықтималдықтар тағайындаулары «контексттік емес» деген болжамдардан туындайды. Глисон теоремасы қолданылуы үшін өлшемдер анықталған кеңістік нақты немесе күрделі Гильберт кеңістігі немесе кватернионды болуы керек модуль.[a] (Глисонның дәлелін қолдану мүмкін емес, егер мысалы, біреуін құруға тырысса кванттық механиканың аналогы б-адикалық сандар.)

Глисонның дәлелдеуінің тарихы мен контуры

Глисон 1959 ж

1932 жылы, Джон фон Нейман Борн ережесін өзінің оқулығынан да шығарып алды Mathematische Grundlagen der Quantenmechanik [Кванттық механиканың математикалық негіздері]. Алайда, фон Нейман өзінің дәлелін келтірген болжамдар айтарлықтай күшті болды және ақыр соңында дәлелсіз деп есептелді.[14] Нақтырақ айтқанда, фон Нейман ықтималдық функциясы барлық бақыланатын, жұмыс істейтін немесе ауыспайтын болып табылатындарда сызықтық болуы керек деп есептеді. Оның дәлелі мазаққа айналды Джон Белл ретінде «жай ғана жалған емес, ақымақ!».[15][16] Екінші жағынан, Глисон сызықтық емес, проекторлардың контексттілікке қосылмайтын қосымшасы деп болжады, бұл болжамдар анағұрлым жақсы дәлелді және физикалық тұрғыдан маңызды.[16][17]

1940 жылдардың аяғында Джордж Макки кванттық физиканың математикалық негіздеріне қызығушылық таныта бастады, атап айтқанда, Борн ережесі Гильберт кеңістігіндегі ортонормальды негіздер ретінде өлшемдерді бейнелейтін теориядағы ықтималдықтарды есептеудің жалғыз мүмкін ережесі болды ма деп ойлады.[18][19] Макки бұл мәселені талқылады Ирвинг Сегал кезінде Чикаго университеті, ол оны өз кезегінде көтерді Ричард Кадисон, содан кейін аспирант. Кадисон 2 өлшемді Гильберт кеңістігі үшін кванттық күйлер мен Борн ережесіне сәйкес келмейтін ықтималдық өлшемі бар екенін көрсетті. Глисонның нәтижесі бұл тек 2 өлшемде болатындығын білдіреді.[19]

Глисонның түпнұсқа дәлелі үш кезеңнен тұрады.[20]:§2 Глисонның терминологиясында а кадр функциясы нақты бағаланатын функция болып табылады Гильберт кеңістігінің бірлік сферасында

векторлар кез келген уақытта ортонормальды негізді құрайды. Алдыңғы бөлімде анықталғандай, мәтінмәтіндік емес ықтималдық тағайындауы кадр функциясына тең.[b] Стандартты түрде, яғни Борн ережесін кванттық күйге қолдану арқылы жазуға болатын кез келген осындай шара а деп аталады тұрақты кадр функциясы. Глисон тізбегін шығарады леммалар соңғы теоремамен аяқталатын кадр функциясы тұрақты болған кезде. Біріншіден, ол мұның бәрін орнатады үздіксіз Гильберт кеңістігіндегі кадр функциясы тұрақты болып табылады. Бұл қадам теориясын қолданады сфералық гармоника. Содан кейін ол кадрдың жұмыс істейтінін дәлелдейді үздіксіз болуы керек, бұл арнайы жағдай үшін теореманы белгілейді . Бұл қадам дәлелдеудің ең қиыны болып саналады.[21][22] Соңында, ол жалпы проблеманы осы ерекше жағдайға дейін азайтуға болатындығын көрсетеді. Глисон докторантқа дәлелдеудің осы соңғы кезеңінде қолданылған бір лемманы есептейді Ричард Палеис.[1]:fn 3

Робин Лит Хадсон Глисон теоремасын «атап өтілген және белгілі қиын» деп сипаттады.[23] Кук, Кин және Моран кейінірек Глисоннан гөрі ұзағырақ, бірақ аз алғышарттарды қажет ететін дәлелдер келтірді.[21]

Салдары

Глисон теоремасы кванттық өлшеу теориясының бірқатар негізгі мәселелерін бөліп көрсетеді. Қалай Фукс бұл теорема «өте күшті нәтиже», өйткені «бұл Борн ықтималдығы ережесінің дәрежесін, тіпті тығыздық операторларының күй-кеңістік құрылымын көрсетеді тәуелді Теорияның басқа постулаттарына сәйкес «. Демек, кванттық теория» алғашқы ойлағаннан гөрі қатаң пакет «.[24]:94–95 Кванттық формализмді альтернативті аксиомалардан қайта алудың әр түрлі тәсілдері сәйкесінше Глисон теоремасын Гилберт кеңістігінің құрылымы мен Борн ережесінің арасындағы алшақтықты жойып, негізгі қадам ретінде қолданды.[3][12]:§2[25][26]:§1.4

Жасырын айнымалылар

Сонымен қатар, теорема мүмкіндікті жоққа шығарудағы рөлі үшін тарихи маңызды жасырын айнымалылар кванттық механикада. Бұл жасырын айнымалы теория детерминистік берілген нәтиженің ықтималдығы дегенді білдіреді әрқашан 0 немесе 1. Мысалы, а Штерн-Герлах өлшемі үстінде айналдыру-1 атом таңдалған ось бойымен атомның бұрыштық импульсі мүмкін болатын үш мәннің бірі болып табылатындығын хабарлайды , және . Детерминирленген жасырын-айнымалы теорияда өлшеу кезінде алынған нәтижені бекітетін негізгі физикалық қасиет бар. Кез келген берілген нәтиже негізінде (мысалы, нәтижесі) негізгі физикалық қасиеттің мәніне шартты ) мүмкін емес немесе кепілдендірілген болуы керек. Бірақ Глисон теоремасы мұндай детерминирленген ықтималдық өлшемі болуы мүмкін емес дегенді білдіреді. Картаға түсіру үздіксіз болады бірлік сферасы кез-келген тығыздық операторы үшін Гильберт кеңістігінің . Бұл бірлік сфера болғандықтан байланысты, ондағы ықтималдықтың үздіксіз шарасы детерминистік бола алмайды.[26]:§1.3 Глисон теоремасы кванттық теорияның терең және түбегейлі алшақтықты білдіреді деп болжайды классикалық белгісіздік жасырын бостандық дәрежелері туралы білмегендіктен болады деген түйсік.[27] Нақтырақ айтсақ, Глисон теоремасы «контексттік емес» жасырын айнымалы модельдерді жоққа шығарады. Кванттық механикаға арналған кез-келген жасырын-айнымалы модель Глисон теоремасының әсерін болдырмау үшін тек өлшенетін жүйеге жататын қасиеттер емес, сонымен қатар өлшеу жүргізілетін сыртқы контекстке тәуелді жасырын айнымалыларды қамтуы керек. Тәуелділіктің бұл түрі көбінесе ойдан шығарылған немесе қалаусыз болып көрінеді; кейбір параметрлерде ол сәйкес келмейді арнайы салыстырмалылық.[27][28]

Ішінде Блох сферасы ұсыну а кубит, бірлік сфераның әрбір нүктесі таза күйді білдіреді. Барлық басқа тығыздық матрицалары интерьердегі нүктелерге сәйкес келеді.

А деп аталатын екі өлшемді Гильберт кеңістігіне қарсы мысал құру кубит, жасырын айнымалы бірлік вектор болсын үш өлшемді эвклид кеңістігінде. Пайдалану Блох сферасы, кубиттегі әрбір мүмкін өлшемді жұп түрінде ұсынуға болады антиподальды нүктелер бірлік сферасында. Өлшеу нәтижесінің ықтималдығын анықтау, егер бұл нәтижені білдіретін нүкте жарты шарда орналасқан болса және 0, әйтпесе Глисонның жорамалдарына бағынатын өлшеу нәтижелеріне ықтималдықтарды тағайындайды. Алайда, бұл ықтималдық тағайындауы кез-келген жарамды тығыздық операторына сәйкес келмейді. -Ның мүмкін мәндеріне ықтималдық үлестіруін енгізу арқылы , кубитке арналған кванттық теорияның болжамын жасыратын жасырын айнымалы модель құруға болады.[27][29]

Глисон теоремасы кейінірек жұмыс істеуге уәждеді Джон Белл, Эрнст Спецкер және Саймон Кочен нәтижеге алып келді, бұл жиі деп аталады Кохен - Спецкер теоремасы, бұл мәтінмәндік емес жасырын айнымалы модельдердің кванттық механикамен үйлеспейтіндігін көрсетеді. Жоғарыда атап өткеніміздей, Глисон теоремасы Гильберт кеңістігінің 0 және 1 мәндерін ғана қабылдайтын сәулелерінің ықтималдық өлшемі жоқ екенін көрсетеді (сол кеңістіктің өлшемі 2-ден асқан жағдайда). Кохен-Спецкер теоремасы осы тұжырымды нақтылайды, мұндай ықтималдық өлшемін анықтауға болмайтын сәулелердің белгілі бір ақырғы жиынтығын құру арқылы.[27][30] Сәулелердің мұндай ақырлы жиынтығының болуы Глисон теоремасынан а жолымен туындайды логикалық ықшамдылық аргумент, бірақ бұл әдіс қажетті жиынтықты нақты түрде жасамайды.[20]:§1 Байланысты жасырын емес айнымалылар ретінде белгілі Белл теоремасы, оның орнына жасырын айнымалы теорияның мәтінмәтіндік емес екендігі туралы болжам, ол сол туралы болжаммен ауыстырылады жергілікті. Кохен - Спецкер конструкцияларында қолданылатын бірдей сәулелер жиынтығын Bell типіндегі дәлелдерді алу үшін пайдалануға болады.[27][31][32]

Питовский Глисон теоремасын қолдана отырып, кванттық механика ықтималдықтың жаңа теориясын ұсынады, ондағы ықтимал оқиғалар кеңістігінің құрылымы классикалық, буль алгебрасынан өзгертіледі. Ол мұны арнайы салыстырмалылықтың модификациялау тәсілімен ұқсас деп санайды кинематика туралы Ньютон механикасы.[4][5]

Глисон мен Кохен-Спецкер теоремалары әр түрлі философияларды, соның ішінде дәлелдерді келтіре отырып келтірілген перспективизм, сындарлы эмпиризм және агционалды реализм.[33][34][35]

Кванттық логика

Глисон теоремасы кванттық логикада өте көп қолданылатын қосымшаны табады тор теориясы. Кванттық логика а нәтижесін қарастырады кванттық өлшеу сияқты логикалық ұсыныс және осы логикалық ұсыныстардан туындаған қатынастар мен құрылымдарды зерттейді. Олар торға ұйымдастырылған, онда тарату құқығы, классикалық логикада жарамды, кванттық физикада барлық жұп шамалар бола алмайтындығын көрсету үшін әлсіреді бір уақытта өлшенеді.[36] The өкілдік теоремасы кванттық логикада мұндай тордың бар екенін көрсетеді изоморфты торына дейін ішкі кеңістіктер а векторлық кеңістік а скалярлы өнім.[5]:§2 Қолдану Солер теоремасы, өріс Қ векторлық кеңістікті анықтайтын қосымша гипотезалармен дәлелдеуге болады нақты сандар, күрделі сандар немесе кватерниондар, Глисон теоремасын жүргізу үшін қажет.[12]:§3[37][38]

Глисон теоремасын қолдану арқылы тор элементтеріндегі ықтималдық функциясының формасын шектеуге болады. Тор элементтерінен ықтималдықтарға дейін кескінделуді контексттік емес деп санап, Глисон теоремасы оның Борн ережесімен түсінікті болатындығын анықтайды.

Жалпылау

Бастапқыда Глисон теореманы жүйеге қолданылатын өлшемдер фон Нейман типті деп болжайды, яғни мүмкін болатын әрбір өлшем сәйкес келеді деп дәлелдеді. ортонормальды негіз Гильберт кеңістігінің Кейінірек, Буш[39] және тәуелсіз Үңгірлер т.б.[24]:116[40] ретінде белгілі жалпы өлшемдер класы үшін ұқсас нәтижені дәлелдеді оператордың оң бағалайтын шаралары (POVMs). Барлық POVM жиынтығы фон Нейманның өлшемдер жиынтығын қамтиды, сондықтан бұл теореманың болжамдары Глисонға қарағанда айтарлықтай күшті. Бұл нәтиженің дәлелі Глисонға қарағанда қарапайым, ал тұжырымдар күшейе түсті. Глисонның бастапқы теоремасынан айырмашылығы, POVM-ді қолданған жалпыланған нұсқа бір кубиттің жағдайына да қатысты.[41][42] POVM-лер үшін мәтінмәндік емес деп болжау даулы болып табылады, өйткені POVM-лер іргелі емес, ал кейбір авторлар контекстуалдылықты тек фон фондық Нейман өлшемдері үшін қабылдау керек деп санайды.[43] Глисон кеңістігі бойынша анықталса, Глисон теоремасы өзінің бастапқы нұсқасында орындалмайды рационал сандар, яғни, егер Гильберт кеңістігіндегі векторлардың компоненттері рационал сандар немесе рационал бөліктері бар күрделі сандармен шектелген болса. Алайда, рұқсат етілген өлшемдер жиынтығы барлық POVM жиынтығы болған кезде, теорема орындалады.[40]:§3.D

Глисонның алғашқы дәлелі болған жоқ сындарлы: оған тәуелді идеялардың бірі - а-да анықталған әрбір үздіксіз функция ықшам кеңістік оған жетеді минимум. Барлық жағдайда минимумның қай жерде болатындығын нақты көрсете алмайтындықтан, осы қағидаға сүйенген дәлел сындарлы дәлел бола алмайды. Алайда теореманы конструктивті дәлел табатындай етіп қайта құруға болады.[20][44]

Глисон теоремасын теорияның бақыланатын элементтері a құрайтын кейбір жағдайларға таратуға болады фон Нейман алгебрасы. Нақтырақ айтсақ, егер Глисон нәтижесінің аналогы, егер бақыланатын заттар алгебрасында жоқ болса, орындалуы мүмкін тікелей шақыру бұл коммутативті фон Нейман алгебрасының үстіндегі 2 × 2 матрицаның алгебрасы ретінде ұсынылады (яғни, типтің тікелей жиынтығы жоқ) Мен2). Шындығында, теореманы дәлелдеуге кедергі болатын жалғыз нәрсе - Глисон кеңістігі кубитке тең болған кезде Глисонның бастапқы нәтижесінің болмайтындығы.[45]

Ескертулер

  1. ^ Осы мәселе бойынша қосымша талқылау үшін Пиронды қараңыз,[7]:§6 Дриш,[8] Хорвиц пен Биденхарн,[9] Разон мен Хорвиц,[10] Варадараджан,[11]:83 Кассинелли мен Лахти,[12]:§2 және Моретти мен Оппио.[13]
  2. ^ Глисон кадрдың функциясын 1-ден басқа тұрақтыға дейін қалыпқа келтіруге мүмкіндік береді, бірақ бұл жерде «бірлік салмағы» жағдайына назар аудару нәтижеге әкелмейді жалпылықтың жоғалуы.

Әдебиеттер тізімі

  1. ^ а б Глисон, Эндрю М. (1957). «Гильберт кеңістігінің жабық ішкі кеңістігі бойынша шаралар». Индиана университетінің математика журналы. 6 (4): 885–893. дои:10.1512 / iumj.1957.6.56050. МЫРЗА  0096113.
  2. ^ Дрищнер, М .; Горниц, Th .; фон Вейцзеккер, C. Ф. (1988-03-01). «Абстрактілі кванттық теорияны қайта құру». Халықаралық теориялық физика журналы. 27 (3): 289–306. Бибкод:1988IJTP ... 27..289D. дои:10.1007 / bf00668895. ISSN  0020-7748. S2CID  122866239.
  3. ^ а б Барнум, Х .; Үңгірлер, C. М.; Финкельштейн, Дж .; Фукс, С. А .; Schack, R. (2000-05-08). «Шешім теориясының кванттық ықтималдығы?». Лондон А Корольдік Қоғамының еңбектері: математикалық, физикалық және инженерлік ғылымдар. 456 (1997): 1175–1182. arXiv:квант-ph / 9907024. Бибкод:2000RSPSA.456.1175B. CiteSeerX  10.1.1.769.8732. дои:10.1098 / rspa.2000.0557. ISSN  1364-5021. S2CID  11563591.
  4. ^ а б Питовский, Итамар (2003). «Өлшеу нәтижелеріне ставка: кванттық ықтималдықтың Байес теориясы». Қазіргі физиканың тарихы мен философиясы саласындағы зерттеулер. 34 (3): 395–414. arXiv:quant-ph / 0208121. Бибкод:2003SHPMP..34..395P. дои:10.1016 / S1355-2198 (03) 00035-2.
  5. ^ а б в Питовский, Итамар (2006). «Кванттық механика ықтималдықтар теориясы ретінде». Демопулоста Уильям; Питовский, Итамар (ред.) Физикалық теория және оны түсіндіру: Джеффри Бубтың құрметіне арналған очерктер. Спрингер. б. 213. arXiv:квант-ph / 0510095. Бибкод:2005quant.ph.10095P. ISBN  9781402048760. OCLC  917845122.
  6. ^ Кунжвал, Рави; Спекенс, Роб В. (2015-09-09). «Кохен-Спецкер теоремасынан контекстілік емес теңсіздіктерге дейін, детерминизмге жол бермей». Физикалық шолу хаттары. 115 (11): 110403. arXiv:1506.04150. Бибкод:2015PhRvL.115k0403K. дои:10.1103 / PhysRevLett.115.110403. PMID  26406812. S2CID  10308680.
  7. ^ Пирон, С. (1972-10-01). «Жалпы кванттық физикаға шолу». Физиканың негіздері. 2 (4): 287–314. Бибкод:1972FoPh .... 2..287P. дои:10.1007 / bf00708413. ISSN  0015-9018. S2CID  123364715.
  8. ^ Дриш, Томас (1979-04-01). «Глисон теоремасын жалпылау». Халықаралық теориялық физика журналы. 18 (4): 239–243. Бибкод:1979IJTP ... 18..239D. дои:10.1007 / bf00671760. ISSN  0020-7748. S2CID  121825926.
  9. ^ Хорвиц, Л.П .; Биеденхарн, Л.С. (1984). «Кватернионның кванттық механикасы: екінші кванттау және калибр өрістері». Физика жылнамалары. 157 (2): 432–488. Бибкод:1984AnPhy.157..432H. дои:10.1016 / 0003-4916 (84) 90068-x.
  10. ^ Разон, Аарон; Хорвиц, Л.П. (1991-08-01). «Гильберт кватернионының туындысындағы проекция операторлары мен күйлері». Acta Applicationsandae Mathematicae. 24 (2): 179–194. дои:10.1007 / bf00046891. ISSN  0167-8019. S2CID  119666741.
  11. ^ Варадараджан, Вееравалли С. (2007). Кванттық теорияның геометриясы (2-ші басылым). Springer Science + Business Media. ISBN  978-0-387-96124-8. OCLC  764647569.
  12. ^ а б в Кассинелли, Г .; Лахти, П. (2017-11-13). «Кванттық механика: неге Гильберт кеңістігі қажет?». Корольдік қоғамның философиялық операциялары А. 375 (2106): 20160393. Бибкод:2017RSPTA.37560393C. дои:10.1098 / rsta.2016.0393. ISSN  1364-503X. PMID  28971945.
  13. ^ Моретти, Вальтер; Оппио, Марко (2018-10-16). «Гватен теоремасын кватериониондық Гильберт кеңістігінде дұрыс тұжырымдау». Анналес Анри Пуанкаре. 19 (11): 3321–3355. arXiv:1803.06882. Бибкод:2018AHH ... 19.3321M. дои:10.1007 / s00023-018-0729-8. S2CID  53630146.
  14. ^ Джон Белл (1966). «Кванттық механикадағы жасырын айнымалылар мәселесі туралы». Қазіргі физика туралы пікірлер. 38 (3): 447. дои:10.1103 / RevModPhys.38.447. OSTI  1444158.
  15. ^ Джеффри Буб (2010). «Фон Нейманның« Жасырын айнымалылардың жоқтығының дәлелі: қайта бағалау ». Физиканың негіздері. 40 (9–10): 1333–1340. arXiv:1006.0499. дои:10.1007 / s10701-010-9480-9. S2CID  118595119.
  16. ^ а б Мермин, Н. Дэвид; Шак, Рюдигер (2018). «Гомер бас изеді: фон Нейманның таңқаларлық қадағалауы». Физиканың негіздері. 48 (9): 1007–1020. arXiv:1805.10311. Бибкод:2018FoPh ... 48.1007M. дои:10.1007 / s10701-018-0197-5. S2CID  118951033.
  17. ^ Перес, Ашер (1992). «Глисон теоремасына арналған эксперименттік тест». Физика хаттары. 163 (4): 243–245. дои:10.1016 / 0375-9601 (92) 91005-C.
  18. ^ Макки, Джордж В. (1957). «Кванттық механика және Гильберт кеңістігі». Американдық математикалық айлық. 64 (8P2): 45-57. дои:10.1080/00029890.1957.11989120. JSTOR  2308516.
  19. ^ а б Чернофф, Пол Р. «Энди Глисон және кванттық механика» (PDF). AMS хабарламалары. 56 (10): 1253–1259.
  20. ^ а б в Грушовский, Эхуд; Питовский, Итамар (2004-06-01). «Кохен мен Спекер теоремасын жалпылау және Глисон теоремасының тиімділігі». Ғылымның тарихын және философиясын зерттеу В бөлімі: қазіргі физиканың тарихы мен философиясын зерттеу. 35 (2): 177–194. arXiv:квант-ph / 0307139. Бибкод:2004SHPMP..35..177H. дои:10.1016 / j.shpsb.2003.10.002. S2CID  15265001.
  21. ^ а б Кук, Роджер; Кин, Майкл; Моран, Уильям (1985). «Глисон теоремасының қарапайым дәлелі». Кембридж философиялық қоғамының математикалық еңбектері. 98 (1): 117–128. дои:10.1017 / S0305004100063313.
  22. ^ Питовский, Итамар (1998). «Шексіз және ақырлы Глисон теоремалары және анықталмағандық логикасы». Математикалық физика журналы. 39 (1): 218–228. Бибкод:1998 ЖМП .... 39..218Р. дои:10.1063/1.532334.
  23. ^ Хадсон, Робин Лит (1986). «Кванттық теорияның геометриясы». Математикалық газет. 70 (454): 332–333. дои:10.2307/3616230. JSTOR  3616230.
  24. ^ а б Фукс, Кристофер А. (2011). Жастың кванттық ақпаратпен келуі: Паулиандық идея туралы ескертпелер. Кембридж: Кембридж университетінің баспасы. ISBN  978-0-521-19926-1. OCLC  535491156.
  25. ^ Баспалдақ, Аллен (2015). «Кванттық логика және кванттық қайта құру». Физиканың негіздері. 45 (10): 1351–1361. arXiv:1501.05492. Бибкод:2015FoPh ... 45.1351S. дои:10.1007 / s10701-015-9879-4. S2CID  126435.
  26. ^ а б Wilce, A. (2017). «Кванттық логика және ықтималдықтар теориясы «. Жылы Стэнфорд энциклопедиясы философия (2017 жылғы көктем шығарылымы), Эдуард Н. Зальта (ред.)
  27. ^ а б в г. e Мермин, Н. Дэвид (1993-07-01). «Жасырын айнымалылар және Джон Беллдің екі теоремасы». Қазіргі физика туралы пікірлер. 65 (3): 803–815. arXiv:1802.10119. Бибкод:1993RvMP ... 65..803M. дои:10.1103 / RevModPhys.65.803. S2CID  119546199.
  28. ^ Шимони, Абнер (1984). «Контексттік жасырын айнымалы теориялар және Белл теңсіздіктері». Британдық ғылым философиясы журналы. 35 (1): 25–45. дои:10.1093 / bjps / 35.1.25.
  29. ^ Харриган, Николас; Спекенс, Роберт В. (2010). «Эйнштейн, толық емес және кванттық күйлерге гносеологиялық көзқарас». Физиканың негіздері. 40 (2): 125–157. arXiv:0706.2661. дои:10.1007 / s10701-009-9347-0. S2CID  32755624.
  30. ^ Перес, Ашер (1991). «Кохен-Спецкер теоремасының екі қарапайым дәлелі». Физика журналы А: Математикалық және жалпы. 24 (4): L175-L178. Бибкод:1991JPhA ... 24L.175P. дои:10.1088/0305-4470/24/4/003. ISSN  0305-4470.
  31. ^ Баспалдақ, Аллен (1983). «Кванттық логика, реализм және құндылықтың анықтығы». Ғылым философиясы. 50 (4): 578–602. дои:10.1086/289140.
  32. ^ Хейвуд, Питер; Redhead, Michael L. G. (1983). «Жергілікті емес және Кохен-Спецкер парадоксы». Физиканың негіздері. 13 (5): 481–499. дои:10.1007 / BF00729511. S2CID  120340929.
  33. ^ Эдвардс, Дэвид (1979). «Кванттық механиканың математикалық негіздері». Синтез. 42: 1–70. дои:10.1007 / BF00413704. S2CID  46969028.
  34. ^ ван Фрассен, Бас (1991). Кванттық механика: эмпириктік көзқарас. Clarendon Press. ISBN  9780198239802. OCLC  1005285550.
  35. ^ Барад, Карен (2007). Ғаламды жарты жолда кездестіру: кванттық физика және материя мен мағынаның шатасуы. Duke University Press. ISBN  9780822339175. OCLC  894219980.
  36. ^ Двуреценский, Анатолий (1992). Глисон теоремасы және оның қолданылуы. Математика және оның қосымшалары, т. 60. Дордрехт: Kluwer Acad. Publ. б. 348. ISBN  978-0-7923-1990-0. OCLC  751579618.
  37. ^ Баез, Джон С. (2010-12-01). «Солер теоремасы». N-санаттағы кафе. Алынған 2017-04-24.
  38. ^ Моретти, Вальтер; Оппио, Марко (2019-06-01). «Квартернионды Гильберт кеңістігіндегі кванттық теория: Пуанкаре симметриясы теорияны стандартты комплекске қалай төмендетеді». Математикалық физикадағы шолулар. 31 (4): 1950013–502. arXiv:1709.09246. Бибкод:2019RvMaP..3150013M. дои:10.1142 / S0129055X19500132. S2CID  119733863.
  39. ^ Буш, Пол (2003). «Кванттық күйлер және жалпыланған бақылаушылар: Глисон теоремасының қарапайым дәлелі». Физикалық шолу хаттары. 91 (12): 120403. arXiv:квант-ph / 9909073. Бибкод:2003PhRvL..91l0403B. дои:10.1103 / PhysRevLett.91.120403. PMID  14525351. S2CID  2168715.
  40. ^ а б Үңгірлер, Карлтон М.; Фукс, Кристофер А .; Манне, Киран К .; Ренес, Джозеф М. (2004). «Жалпы өлшемдер үшін кванттық ықтималдық ережесінің глисон түріндегі туындылары». Физиканың негіздері. 34 (2): 193–209. arXiv:квант-ph / 0306179. Бибкод:2004FoPh ... 34..193C. дои:10.1023 / B: FOOP.0000019581.00318.a5. S2CID  18132256.
  41. ^ Роберт В. Спеккенс (2014). «Кванттық теорияның контексттік емес моделінің мүмкін еместігінің дәлелдеріндегі детерминизм жағдайы». Физиканың негіздері. 44 (11): 1125–1155. arXiv:1312.3667. дои:10.1007 / s10701-014-9833-x. S2CID  118469528.
  42. ^ Райт, Виктория Дж.; Вайгерт, Стефан (2019). «Проективті өлшеулер негізінде кубиттерге арналған Глисон типіндегі теорема». Физика журналы A. 52 (5): 055301. arXiv:1808.08091. дои:10.1088 / 1751-8121 / aaf93d. S2CID  119309162.
  43. ^ Анджей Грудка; Павел Курзински (2008). «Жалғыз кубит үшін контексттілік бар ма?». Физикалық шолу хаттары. 100 (16): 160401. arXiv:0705.0181. дои:10.1103 / PhysRevLett.100.160401. PMID  18518167. S2CID  13251108.
  44. ^ Ричман, Фред; Көпірлер, Дуглас (1999-03-10). «Глисон теоремасының конструктивті дәлелі». Функционалды талдау журналы. 162 (2): 287–312. дои:10.1006 / jfan.1998.3372.
  45. ^ Хамхалтер, қаңтар (2003-10-31). Кванттық өлшемдер теориясы. Springer Science & Business Media. ISBN  9781402017148. МЫРЗА  2015280. OCLC  928681664. Zbl  1038.81003.