Кохен - Спецкер теоремасы - Kochen–Specker theorem - Wikipedia

Жылы кванттық механика, Кохен - Спецкер (KS) теорема,[1] деп те аталады Белл-Кохен-Спецкер теоремасы,[2] Бұл «баруға болмайды» теоремасы[3] арқылы дәлелденген Джон С.Белл 1966 ж. және Саймон Б. Кочен және Эрнст Спецкер 1967 жылы. рұқсат етілген түрлеріне белгілі бір шектеулер қояды жасырын айнымалы теориялар, болжамдарын түсіндіруге тырысады кванттық механика контекстке тәуелді емес тәсілмен. Кохен мен Спекер дәлелдеген теореманың нұсқасы да бұл шектеушіге мемлекеттік векторлардың шектеулі саны тұрғысынан нақты мысал келтірді.

Теорема - толықтырушы Белл теоремасы (осы мақаланың (Bell–) Кочен - Спецкер теоремасынан ажыратуға болады). Белл теоремасы құрылды жергілікті емес кванттық механиканың болжамдарын қалпына келтіретін кез-келген жасырын айнымалы теорияның ерекшелігі болу керек, KS теоремасы контекстілік осындай теориялардың сөзсіз ерекшелігі болу.

Теорема кванттық механиканың нәтижелерін шығаруға арналған жасырын-айнымалы теориялардың екі негізгі жорамалдары арасында қарама-қайшылық бар екенін дәлелдейді: кванттық-механикалық бақыланатын заттарға сәйкес келетін барлық жасырын айнымалылардың белгілі бір уақытта белгілі мәндері болады және бұл айнымалылар ішкі және оларды өлшеуге арналған құрылғыдан тәуелсіз. Қарама-қайшылық кванттық-механикалық бақыланатын заттардың қажет еместігіне байланысты ауыстырмалы. Бір мезгілде барлық суб-алгебраларды ендіру мүмкін емес болып шығады алгебра жасырын айнымалылар теориясының классикалық құрылымын ұсынады деп есептелетін бір коммутативті алгебрадағы бақыланатын заттардың Гильберт кеңістігі өлшемі кемінде үш.

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

Тарих

KS теоремасы 1935 жылы кванттық механиканың толықтығы туралы пікірталастың маңызды кезеңі болды Копенгагеннің толықтығы Эйнштейн, Подольский және Розен мақаласында, деп аталатындарды жасайды EPR парадоксы. Бұл парадокс өлшеудің кванттық-механикалық нәтижесі детерминирленген жолмен пайда болады деген болжамнан туындайды физикалық шындықтың элементі микроскопиялық объектінің қасиеті ретінде өлшеу алдында болған деп болжанған. EPR мақаласында бұл болды болжалды кванттық-механикалық бақыланатын шаманың өлшенген мәні физикалық шындықтың осындай элементі рөлін атқара алатындығы. Осы метафизикалық болжамның салдарынан физикалық қоғамдастықтың көпшілігі ЭПР-ге қатысты сынға онша мән бермеді. Оның жауабында[5] Бор ЭПР мақаласындағы екіұштылыққа назар аударды, ол бақыланатын кванттық-механикалық мәнді контексттік емес деп санайды (яғни өлшеу келісімінен тәуелсіз). Бордың пікірінше, өлшеу келісімінен туындайтын контекстуалдылықты ескере отырып, EPR негіздемесін ескірген болар еді. Мұны кейіннен Эйнштейн байқады[6] Бордың контекстуалдылыққа тәуелділігі локальділікті («қашықтықтағы үрейлі іс-қимыл») білдіретіндігін, демек, егер адам нелочеліктен аулақ болғысы келсе, толымсыздықты қабылдауға тура келеді.

1950-1960 жылдары метафизикаға қарсы емес адамдар үшін екі даму жолдары ашық болды, екеуі де «баруға болмайды» теоремасымен жақсарады. фон Нейман,[7] кванттық механика сияқты нәтижелер беретін жасырын айнымалы теориялардың мүмкін еместігін дәлелдеуге бағытталған. Біріншіден, Бом дамыған кванттық механиканың интерпретациясы, а ретінде қабылданған жасырын-айнымалы теория кванттық механиканың негізі. Бом теориясының локалды еместігі туындады Қоңырау кванттық шындық деп болжауға болады емесжергілікті, және бұл мүмкін жергілікті жасырын айнымалы теориялар кванттық механикамен келіспейді. Ең бастысы, Белл проблеманы метафизика деңгейінен физикаға дейін теңсіздікті шығару арқылы көтере алды Қоңырау теңсіздігі, бұл эксперименттік тексеруден өтуге қабілетті.

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

Белл 1966 жылы өзінің әйгілі Bell-теңсіздік мақаласынан бұрын журналға ұсынылған, бірақ екі жыл бойы редактор үстелінде жоғалып кеткен мақаласында Кохен-Спецкер теоремасының дәлелін жариялады. Кочен-Спецкерге қарағанда әлдеқайда қарапайым дәлелдер кейінірек келтірілді, басқалармен қатар Мермин[8][9] және арқылы Перес.[10] Алайда көптеген қарапайым дәлелдер тек жоғары өлшемді Гильберт кеңістігі үшін теореманы белгілейді, мысалы, төрт өлшемнен.

Шолу

КС теоремасы кванттық-механикалық бақыланатын заттар жиынтығын жиынтыққа енгізуге болатын-болмайтындығын зерттейді классикалық барлық классикалық шамалардың өзара үйлесімділігіне қарамастан, шамалар.Кохен-Спецкер мақаласында жасалған алғашқы байқау, бұл тривиальды жолмен, яғни кванттық-механикалық бақылаушылар жиынтығының алгебралық құрылымын ескермеу арқылы мүмкін болады. . Шынында да, рұқсат етіңіз бA(ак) байқалатын ықтималдық болуы керек A мәні бар ак, содан кейін өнім ΠAбA(ак), барлық мүмкін бақыланатын заттарды қабылдады A, жарамды ықтималдықтың бірлескен таралуы, қабылдау арқылы кванттық-механикалық бақыланатын заттардың барлық ықтималдығын береді шекті. Кочен мен Спекер бұл ықтималдықтың үлестірілуіне жол берілмейді, алайда бақыланатын заттар арасындағы барлық корреляцияларды елемейтіндігін ескереді. Сонымен, кванттық механикада A2 мәні бар ак2 егер A мәні бар акдеген мағынаны білдіреді A және A2 өзара байланысты.

Көбінесе, ерікті функция үшін Кочен мен Спецкер талап етеді f мәні бақыланатын қанағаттандырады

Егер A1 және A2 болып табылады үйлесімді (commeasurable) бақыланатын заттар, сол себепті бізде келесі екі теңдік болу керек:

және нақты, және

Олардың біріншісі фон Нейманның бұл теңдікке тәуелді болмауы керек деген болжамымен салыстырғанда айтарлықтай әлсіреу болып табылады. A1 және A2 үйлесімді немесе сәйкес келмейді. Кочен мен Спекер осы әлсіз болжамдар негізінде де құндылық тағайындау мүмкін еместігін дәлелдеуге қабілетті болды. Мұны істеу үшін олар бақыланатын заттарды арнайы сыныппен шектеді, атап айтқанда иә - бақыланбайтын деп аталады, тек 0 және 1 мәндеріне сәйкес келеді. болжам Гильберт кеңістігінің белгілі ортогональ негіздерінің меншікті векторларындағы операторлар.

Гильберт кеңістігі кем дегенде үш өлшемді болғанша, олар 117 осындай проекциялау операторларының жиынтығын таба алды, емес 0 немесе 1 мәндерін олардың әрқайсысына бір мағыналы етіп жатқызуға мүмкіндік беретін, Кочен мен Спекердің дәлелдеуінің орнына, әлдеқайда кейінірек келтірілген әлдеқайда қарапайым дәлелдердің бірін көбейту жарықтандырады. проекция операторларының, бірақ теореманы Гильберт кеңістігінің өлшемі кем дегенде 4. болғанда ғана дәлелдейді. Демек, тек 18 проекция операторларының жиынтығы негізінде ұқсас нәтиже алуға болады екен.[11]

Мұны істеу үшін, егер екенін түсіну жеткілікті сен1, сен2, сен3 және сен4 төрт өлшемді Гильберт кеңістігіндегі ортогональ негіздің төрт ортогональ векторы, содан кейін проекция операторлары P1, P2, P3, P4 бұл векторларда барлығы өзара коммутатор болып табылады (және, демек, 0 немесе 1 мәндерін бір мезгілде жатқызуға мүмкіндік беретін үйлесімді бақыланатын заттарға сәйкес келеді). Бастап

Бұдан шығатыны

Бірақ содан бері

бұл келесіден = 0 немесе 1, , төрт мәннің ішінен біреуі 1, ал қалған үшеуі 0 болуы керек.

Кабелло,[12][13] Кернаған әзірлеген аргументті кеңейту[14] 9 ортогоналды негіздерді қарастырды, олардың әрқайсысы келесі кестенің бағанына сәйкес келеді, онда базалық векторлар нақты көрсетілген. Негіздер әр проектор дәл екі жағдайда пайда болатындай етіп таңдалады, осылайша контексттер арасында функционалды қатынастар орнатылады.

сен1(0, 0, 0, 1)(0, 0, 0, 1)(1, −1, 1, −1)(1, −1, 1, −1)(0, 0, 1, 0)(1, −1, −1, 1)(1, 1, −1, 1)(1, 1, −1, 1)(1, 1, 1, −1)
сен2(0, 0, 1, 0)(0, 1, 0, 0)(1, −1, −1, 1)(1, 1, 1, 1)(0, 1, 0, 0)(1, 1, 1, 1)(1, 1, 1, −1)(−1, 1, 1, 1)(−1, 1, 1, 1)
сен3(1, 1, 0, 0)(1, 0, 1, 0)(1, 1, 0, 0)(1, 0, −1, 0)(1, 0, 0, 1)(1, 0, 0, −1)(1, −1, 0, 0)(1, 0, 1, 0)(1, 0, 0, 1)
сен4(1, −1, 0, 0)(1, 0, −1, 0)(0, 0, 1, 1)(0, 1, 0, −1)(1, 0, 0, −1)(0, 1, −1, 0)(0, 0, 1, 1)(0, 1, 0, −1)(0, 1, −1, 0)

Енді «баруға болмайды» теоремасы келесілердің мүмкін еместігіне көз жеткізеді: жоғарыдағы кестенің әр бөліміне 1 немесе 0 мәнін орналастыру үшін:

(а) 1 мәні бағанға дәл бір рет пайда болады, бағандағы басқа жазбалар 0 болады;
(b) бірдей түсті бөлімдерде бірдей мән бар - екеуінде де 1 немесе екеуінде де 0 болады.

Солай бола тұра, бізге тек сұрақ қою керек, 1 мәні кестеде неше рет пайда болуы керек? Бір жағынан, (а) 1 9 рет пайда болуы керек дегенді білдіреді: 9 баған бар және (а) 1 бағанға дәл бір рет пайда болуы керек дейді. Екінші жағынан, (b) 1-дің жұп рет пайда болуы керек дегенді білдіреді: бөлімдердің барлығы бірдей түсті жұпта болады, және (b) егер жұптың бір мүшесінде 1 болса, екінші мүшеде 1 болу керек дейді сонымен қатар. Қайталау үшін (а) 1-дің 9 рет пайда болатынын айтады, ал (b) оның жұп рет пайда болатынын айтады. 9 біркелкі болмағандықтан, (а) және (b) өзара қарама-қайшы екендігі шығады; 1 және 0-дің бөлімдерге бөлінбеуі екеуін де қанағаттандыра алмады.

Белл теоремасының кәдімгі дәлелі (CHSH теңсіздігі ) өлшемін КС теоремасының қарапайым дәлелі ретінде де айналдыруға болады. Белл қондырғысы төрт нәтижемен төрт өлшеуді (эксперименттің әр қанатында бір мезгілде екілік өлшеудің төрт жұбы) және төртеуін екі нәтижемен (екі эксперименттің әр қанатындағы екілік өлшемдер, ілеспе жүрусіз), осылайша 24 проекциялау операторы.

Ескертулер

Мәтінмән

Kochen-Specker мақаласында мән атрибуциясы туралы айтылады контекстке тәуелді болуы мүмкін, яғни кестенің әр түрлі бағандарындағы тең векторларға сәйкес келетін бақыланатын заттарда тең мәндер болмауы керек, өйткені әр түрлі бағандар сәйкес келеді әр түрлі өлшеу шаралары. Субкванттық шындық (жасырын-айнымалы теория сипаттағандай) өлшеу мәнмәтініне тәуелді болуы мүмкін болғандықтан, кванттық-механикалық бақыланатындар мен жасырын айнымалылар арасындағы қатынастар әділетті болуы мүмкін гомоморфты изоморфты емес. Бұл контекстке тәуелді емес құндылық атрибуциясының талабын ескірген етеді. Демек, KS теоремасы тек мәтінмәндік емес жасырын айнымалы теорияларды жоққа шығарады. Контекстіліктің мүмкіндігі деп аталатынды тудырды кванттық механиканың модальді интерпретациясы.

Сипаттаманың әртүрлі деңгейлері

КС теоремасы бойынша Эйнштейннің физикалық шындықтың элементі кванттық-механикалық бақыланатын мәнмен ұсынылған деген болжамының мүмкін еместігі дәлелденді. Кванттық-механикалық бақыланатын мән бірінші кезекте өлшеу кезінде пайда болатын және осы себепті физикалық элемент рөлін атқара алмайтын өлшеу құралы көрсеткішінің соңғы күйіне жатады. шындық. Физикалық шындықтың элементтері, егер олар бар болса, оларды сипаттау үшін кванттық механикадан гөрі субкванттық (жасырын-айнымалы) теорияны қажет ететін сияқты. Кейінгі басылымдарда[15] Bell теңсіздіктері жасырын айнымалы а деп аталуы керек жасырын айнымалы теориялар негізінде талқыланады субквант микроскопиялық объектінің кванттық-механикалық мәннен ерекшеленетін қасиеті. Бұл әр түрлі теориялармен сипатталған шындықтың әр түрлі деңгейлерін ажырату мүмкіндігін ашады, олар бұрыннан тәжірибеде болған Луи де Бройль. Осындай жалпы теориялар үшін KS теоремасы өлшеу сенімді деп есептелген жағдайда ғана қолданылады, яғни детерминистік физикалық шындықтың субкванттық элементі мен өлшеу кезінде байқалатын мән арасындағы байланыс.

Сондай-ақ қараңыз

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

  1. ^ С.Кочен; Э.П.Спекер (1967). «Кванттық механикадағы жасырын айнымалылар мәселесі». Математика және механика журналы. 17 (1): 59–87. дои:10.1512 / iumj.1968.17.17004. JSTOR  24902153.
  2. ^ Белл, Джон С. (1966). «Кванттық механикадағы жасырын айнымалылар мәселесі туралы». Қазіргі физика туралы пікірлер. 38 (3): 447–452. Бибкод:1966RvMP ... 38..447B. дои:10.1103 / RevModPhys.38.447. ISSN  0034-6861. OSTI  1444158.
  3. ^ Буб, Джеффри (1999). Кванттық әлемді түсіндіру (қайта қаралған қағаздық ред.). Кембридж университетінің баспасы. ISBN  978-0-521-65386-2.
  4. ^ Ишам, Дж.; Баттерфилд, Дж. (1998). «Кочен-Спецкер теоремасына топос перспективасы: I. Кванттық күйлер жалпыланған бағалау ретінде». Халықаралық теориялық физика журналы. 37 (11): 2669–2733. arXiv:quant-ph / 9803055v4. дои:10.1023 / A: 1026680806775. ISSN  0020-7748. S2CID  6489803.
  5. ^ Бор, Н. (1935). «Физикалық шындықтың кванттық-механикалық сипаттамасын толық деп санауға бола ма?». Физикалық шолу. 48 (8): 696–702. Бибкод:1935PhRv ... 48..696B. дои:10.1103 / PhysRev.48.696. ISSN  0031-899X.
  6. ^ Эйнштейн, А. (1948). «Quanten-Mechanik und Wirklichkeit». Диалектика (неміс тілінде). 2 (3–4): 320–324. дои:10.1111 / j.1746-8361.1948.tb00704.x. ISSN  0012-2017.
  7. ^ Джон фон Нейман, Mathematische Grundlagen der Quantenmechanik, Спрингер, Берлин, 1932; Ағылшынша аударма: Кванттық механиканың математикалық негіздері, Принстон Унив. Баспасөз, 1955, IV.1.2 тарау.
  8. ^ Мермин, Н.Дэвид (1990). «Бұл шындық элементтеріне не қате?». Бүгінгі физика. 43 (6): 9–11. Бибкод:1990PhT .... 43f ... 9M. дои:10.1063/1.2810588. ISSN  0031-9228.
  9. ^ Мермин, Н.Дэвид (1990). «Ауыстырылмайтын негізгі теоремалар үшін қарапайым бірыңғай форма». Физикалық шолу хаттары. 65 (27): 3373–3376. Бибкод:1990PhRvL..65.3373M. дои:10.1103 / PhysRevLett.65.3373. ISSN  0031-9007. PMID  10042855.
  10. ^ Перес, А (1991). «Кохен-Спецкер теоремасының екі қарапайым дәлелі». Физика журналы А: Математикалық және жалпы. 24 (4): L175-L178. Бибкод:1991JPhA ... 24L.175P. дои:10.1088/0305-4470/24/4/003. ISSN  0305-4470.
  11. ^ Кернаван, Майкл; Перес, Ашер (1995). «Сегіз өлшемді кеңістікке арналған Кохен-Спецкер теоремасы». Физика хаттары. 198 (1): 1–5. arXiv:квант-ph / 9412006. Бибкод:1995PHLA..198 .... 1K. дои:10.1016 / 0375-9601 (95) 00012-R. ISSN  0375-9601. S2CID  17413808.
  12. ^ А.Кабелло, «Белл-Кохен-Спецкер теоремасының 18 векторымен дәлел», М. Ферреро және А. ван дер Мерве (ред.), Кванттық физикадағы іргелі мәселелер бойынша жаңа әзірлемелер, Клювер академик, Дордрехт, Голландия, 1997, 59-62
  13. ^ Кабелло, Адан; Эстебаранц, ХосеМ .; Гарсия-Алькейн, Гильермо (1996). «Белл-Кохен-Спецкер теоремасы: 18 векторы бар дәлел». Физика хаттары. 212 (4): 183–187. arXiv:квант-ph / 9706009v1. Бибкод:1996PHLA..212..183C. дои:10.1016 / 0375-9601 (96) 00134-X. ISSN  0375-9601. S2CID  5976402.
  14. ^ Кернаған, М (1994). «20 векторға арналған Белл-Кохен-Спецкер теоремасы». Физика журналы А: Математикалық және жалпы. 27 (21): L829 – L830. Бибкод:1994JPhA ... 27L.829K. дои:10.1088/0305-4470/27/21/007. ISSN  0305-4470.
  15. ^ Клаузер, Джон Ф .; Хорне, Майкл А. (1974). «Объективті жергілікті теориялардың эксперименттік салдары». Физикалық шолу D. 10 (2): 526–535. Бибкод:1974PhRvD..10..526C. дои:10.1103 / PhysRevD.10.526. ISSN  0556-2821.

Сыртқы сілтемелер

  • Карстен Хелд, Кохен-спекер теоремасы, Стэнфорд энциклопедиясы философия *[1]
  • С.Кочен және Э.П.Спекер, Кванттық механикадағы жасырын айнымалылар мәселесі, Толық мәтін [2]