Kontekstualumas be nelokališkumo superlaidžioje kvantinėje sistemoje | gamtos komunikacijos

Kontekstualumas be nelokališkumo superlaidžioje kvantinėje sistemoje | gamtos komunikacijos

Anonim

Dalykai

  • Informacija apie kvantą
  • Kubitai
  • Superlaidieji įtaisai

Anotacija

Klasikinis realizmas reikalauja, kad sistemos savybės egzistuotų nepriklausomai nuo to, ar jos matuojamos, o nekontekstualumas reikalauja, kad matavimų rezultatai nepriklausytų nuo to, kokie kiti matavimai atliekami kartu su jais. Bellos – Kocheno – Speckerio teorema teigia, kad nekontekstinis realizmas negali atkartoti vienos trijų lygių kvantinės sistemos (qutrit) matavimo statistikos. Taigi nekontekstualius realistinius modelius galima išbandyti naudojant vieną qutritą, nepasikliaunant kvantinio įsitvirtinimo samprata, priešingai nei Bello nelygybės testai. Tokius modelius sudėtinga paneigti eksperimentiškai, nes dėl trūkumų gali atsirasti spragų, leidžiančių realistiškai interpretuoti. Čia mes naudojame superlaidųjį qutritą su deterministiniais, dvejetainiais rezultatais, kad pažeistume nekontekstualumo nelygybę, spręsdami aptikimo, individualaus egzistavimo ir suderinamumo spragas. Šie nuo valstybės priklausomo kontekstualumo įrodymai taip pat rodo superlaidžių kvantinių schemų tinkamumą klaidoms atspariems kvantiniams skaičiavimams paviršiaus kodo architektūrose, šiuo metu perspektyviausiu keliu į keičiamąjį kvantinį skaičiavimą.

Įvadas

Realistiniais gamtos modeliais siekiama aprašyti kvantinės mechanikos prognozes, naudojant paslėptus kintamuosius (HV), kurie iš anksto nustato sistemos savybes. Žinomiausi pavyzdžiai yra vietinės HV teorijos, kuriomis siekiama paaiškinti kvantinio įsipainiojimo prognozes remiantis realizmo ir lokalizacijos prielaidomis 1 . Atotrūkis tarp kvantinės ir klasikinės fizikos vis dėlto yra didesnis nei įsipainiojimo bruožas. Bellos – Kocheno – Speckerio teoremoje 2, 3 nagrinėjami nekontekstualūs aukštos įtampos modeliai, kurie apibrėžti nenurodant vietos. Bellos – Kocheno – Spekerio teorema parodo, kad jau qutrit sistemoms neįmanoma apibrėžti tokio modelio, kuris atitiktų kvantų teoriją.

Nors originalią teoremą sunku išmėginti, atradus nekontekstualumo nelygybes 4, 5, 6, 7, nekontekstualių modelių bandymai tampa prieinami eksperimentiškai net esant trūkumams. Nekontekstualumo testai buvo atlikti su įvairiomis fizikinėmis sistemomis ir matmenimis, įskaitant neutronus 8, įstrigusius jonus 9, 10, pavienius fotonus 11, 12, 13 ir azoto laisvųjų vietų centrus su deimantu 14, 15, tačiau visi šie eksperimentiniai testai įvedė papildomų spragų. Kaip ir atliekant vietinio realizmo testus, nepakankamas detektoriaus efektyvumas lemia aptikimo spragą. Nepaisydami įvykių nepaisymo atsiranda atrankos šališkumas, kurį galima panaudoti norint rasti nuoseklų HV paaiškinimą. Individualumo egzistavimo ir suderinamumo spragos yra svarbios nekontekstualumo bandymams, kuriems atlikti reikia palyginti įvairius rezultatus matavimo kontekste 3, 4, 16 . Jei matavimai atliekami kartu 17, ne visada įmanoma nustatyti reikšmingą atskiro matavimo operatyvinį apibrėžimą. Todėl labai svarbu kiekvienam matavimui gauti individualius matavimo rezultatus, pavyzdžiui, atliekant matavimus nuosekliai 18 . Suderinamumo spraga atsiranda, kai dėl trūkumų nuoseklūs matavimai yra netobulai važiuojantys 9, 19, 20 . Suderinamumo spraga buvo išnagrinėta tiek atliekant fotoninius 12, tiek su įstrigę jonus 9, tačiau aptikimo ir individualaus egzistavimo spragos buvo pašalintos tik naudojant didelio efektyvumo rodmenis įstrigusiuose jonuose 9, 10 . Trys spragos buvo nagrinėjamos tik tuo pačiu metu, atsižvelgiant į dviejų kvadratų scenarijų 9, kai lieka galimybė susidaryti paaiškinimus, susijusius su kvantų įsipainiojimu.

Šiame eksperimente mes suprantame Klyachko – Can – Binicioğlu – Shumovsky (KCBS) nuo valstybės priklausomą nekontekstualumo testą 4 su suderinamu superlaidžiu qutritu. Atlikdami inžinerinius deterministinius, dvejetainio rezultato rodmenis, mes pažeidžiame nekontekstualumo nelygybę, spręsdami aptikimo, individualaus egzistavimo ir suderinamumo spragas jungiamajame eksperimente be įsipainiojimo. Šie nuo būsenų priklausomo kontekstualumo įrodymai superlaidžiose kvantinėse grandinėse rodo jų tinkamumą gedimams atspariems kvantiniams skaičiavimams, naudojant magišką būsenos distiliavimą 21 .

Rezultatai

Klyachko – Can – Binicioğlu – Shumovsky testas

KCBS būsenoje nekontekstualumo bandyme 4 naudojami penki skirtingi stebimieji elementai A i ( i = 1, 2, …, 5), kurių dvejetainiai rezultatai yra ± 1. Testas apima penkių stebimųjų porų, vadinamų matavimo kontekstais, matavimą: { A 1, A 2 }, { A 2, A 3 }, { A 3, A 4 }, { A 4, A 5 } ir { A 5, A 1 }, pasirinktas taip, kad kiekvienas stebimas matuojamas dviem skirtingais atvejais. Nekontekstiniai HV modeliai prognozuoja, kad bendrą stebimų rezultatų porų koreliaciją riboja 4

Image

Šią nelygybę galima pažeisti kvantinėje mechanikoje. Čia nagrinėjama qutrit sistema, turinti penkis dichotominius stebėjimus A i = 2 | l i 〉 〈 l i | −1, atitinkančios būsenas, pavaizduotas 1 pav. pavaizduotos pentagramos viršūnėse. Kiekvieną stebimąjį galima apibūdinti projektorių pora l i 〉 〈 l i, susietų su rezultatais {+1, −1}. . Būsenos, sujungtos pentagramos kraštais, yra stačiakampės, užtikrindamos, kad atitinkami stebimi elementai A i ir A i +1 (ir jų matavimo operatoriai) sustotų, padarydami juos suderinamais stebimais elementais. Kvantinė mechanika prognozuoja, kad (1) kairioji pusė vertinama iki 5–4

Image

≃ –3, 944, kai qutrit yra žemoje būsenoje, | 0〉. Tai yra didžiausias kiekybinis nelygybės pažeidimas (1) (nuoroda 6).

Image

Qutrit reikšmės yra | i 〉, kai i = 0, 1 ir 2. Galima sudaryti penkias qutrit būsenas | l i 〉, atitinkantys penkis dichotominius stebėjimus A i = 2 | l i 〉 〈 l i | −1. Pentagramos kraštais sujungtos būsenos yra stačiakampės, darant prielaidą, kad susiję stebimi elementai yra suderinami. Kiekviena suderinamų matavimų pora sudaro kontekstą, o kiekvienas stebimas yra įtrauktas į du skirtingus kontekstus. Pentagramos būsenos yra parinktos taip, kad būtų maksimalus prieštaravimas nekontekstiniams HV modeliams.

Visas dydis

Superlaidus qutritas

Mes užkoduojame qutritą į transmoninio tipo daugiapakopę kvantinę grandinę 22, įterptą į trimatę mikrobangų vario ertmę (2a, b pav.). Trys silpniausiai anharmoninio transmondo žemiausios energijos savybės sudaro qutrito logines būsenas su leistinais pereinamųjų dažnių

Image

= 6, 939 GHz tarp žemės ir pirmosios sužadintos būsenos, ir

Image

= 6, 623 GHz tarp pirmosios ir antrosios sužadintų būsenų, atitinkančių α ≡ ν 12 - ν 01 = −314 MHz anharmoniškumą. Qutrit yra dispersiškai susietas su stiprumu g = 17, 9 MHz iki pagrindinio ertmės režimo (kai plikas dažnis ν c = 7, 3014 GHz, o linijos plotis 2, 4 MHz). Įprastu būdu aptinkame savo transmonto qutrit būseną per būseną, priklausomą nuo ertmės dažnio poslinkio, išmatuodami zondo signalo amplitudę ir fazę, perduodamą per ertmę. Tada šis signalas sustiprinamas Džozefsono parametriniu stiprintuvu 23, kriogeniniu didelio elektronų judrumo tranzistoriaus stiprintuvu ir kambario temperatūros stiprintuvų grandine. Didelio tikslumo vieno kadro aptikimas, įgalintas parametriniu stiprintuvu, užtikrino, kad kiekvienas eksperimentinis bandymas duotų aiškų rezultatą ir uždarytų aptikimo spragą.

Image

a ) Supaprastinta matavimo schema (išsamesnės informacijos žr. Metodai). b ) qutrit, sujungto su mikrobangų ertme, energijos lygio diagrama, kai dispersiniai ertmės dažnio poslinkiai yra identiški pirmosios ir antrosios sužadinto qutrit būsenų metu. Schema realizuoja dvejetainio rezultato projekcinį qutrito matavimą jo pradinėje būsenoje M | 0〉 . c ) perdavimas per rodmens ertmę su qutrit skirtingomis bazinėmis būsenomis. Po būsenos paruošimo keletą mikrosekundžių atliekamas kvadratinis mikrobangos impulsas, kurio dažnis artimas rezonansiniam ertmės dažniui. Diagrama rodo normalizuotą išmatuoto perduodamo signalo amplitudę, integruotą per 2 μs. Dispersinis poslinkis

Image

ir

Image

yra beveik identiški, neleidžiant matavimui atskirti dviejų būsenų.

Visas dydis

Dvejetainių rezultatų parodymai

Šiuo eksperimentu uždarome individualios egzistencijos spragą atlikdami efektyvius nuoseklius matavimus su klasikiniais, dvejetainiais rezultatais. Kritinis dalykas yra mūsų gebėjimas qutrit sistemoje atlikti iš dalies projekcinius dichotominius matavimus. Mūsų transmoninės sistemos būsenai priklausomas ertmės dažnio poslinkis yra 22

Image

Paprastai tai suteikia išskiriamus visų qutrit 24 būsenų matavimo atsakus, todėl gaunamas visiškai projekcinis matavimas. Pasirinkę qutrit, mažinantį ν 01 - ν c ≃ α (2b pav.), Suderiname du dispersinius poslinkius s 1 ir s 2 ( 2 c pav.), Padarydami atitinkamus matavimo atsakus neišskiriamus. Dėl to ertmės zondavimas greitai ištrina sąsajas tarp pagrindinės ir sužadintos būsenos, tačiau nepalieka ryšio tarp pirmosios ir antrosios sužadintų būsenų, atlikdamas dichotominį matavimą išilgai

Image

, susijęs su stebimuoju

Image

su projektoriais 0〉 〈0. Norėdami gauti išsamesnės informacijos apie parodymų impulsų poveikį įvairių detalių kiekio būsenai, įskaitant teorinį modelį, eksperimentinę patikros ir kalibravimo tvarką, žiūrėkite (nuoroda 25). Testuodami ertmę 350 ns, mes pasiekiame ≈ 96% vieno kadro kontrastą

Image

ir

Image

,

Image

pirmiausia ribojamas šiluminio sužadinimo ir qutrit būsenos mažėjimo rodmenų metu. Sugeneruoti matavimus pasirinktomis kryptimis

Image

nuo M | 0〉, taikome vientisus sukimus prieš matavimą ir po jo (3a pav.). Kiekviena matavimo procedūra pradedama siunčiant mikrobangų impulsus į qutrit, kad būtų galima pasukti norimą matavimo pagrindą (apibrėžtą viena iš KCBS būsenų).

Image

; žr. 3b pav., c), esant pagrindinės būklės rodmeniui. Po to, kai nuskaitymo impulsas ir 475 ns uždelsimas ertmės suskaidymui, kiti mikrobangų impulsai grąžina qutrit į pradinį atskaitos rėmą, reikalingą vėlesniems matavimams atlikti nepriklausomai.

Image

a ) Vienetinės qutrit pagrindinės būklės transformacijos į KCBS būsenas. Kiekvieną U i galima suskaidyti į vieną ar dvi sukimasis

Image

, kur ϕ yra kampo sukimasis apie ašį

Image

qutrit poskyryje, aprėptame i +1〉. Tinkamiausias gaminio impulsas yra taikomas pirmiausia laiku. Kaip pavyzdys parodyta U 4 transformacijos būsenos trajektorija. b ) Matavimo protokolą sudaro du nuoseklūs projekciniai matavimai M | 0〉 į žemės būseną su vienodais virsmais prieš kiekvieną matavimą ir po jo. Unitarijos suka matavimo ašį į vieną iš KCBS pentagramos būsenų. c ) kiekvienos matavimų poros faktinė eksperimentinė seka. Stebimas M | 0〉 matuojamas naudojant ertmės zondo signalą ir qutrito pasukimus

Image

yra sukonstruoti naudojant mikrobangų impulsus, taikomus esant qutrit pereinamiesiems dažniams.

Visas dydis

Testavimo suderinamumas

Išsaugoti suderinamumą matavimo krypčiai stačiakampėje erdvėje taip pat labai svarbu, norint užtikrinti nuo konteksto nepriklausomų nuosekliųjų matavimų suderinamumą. Kadangi nekontekstualumo bandymais siekiama suklastoti nekontekstualumą, naudojant nekontekstinio realizmo prielaidas, kuriose nėra suderinamumo sąvokos, svarbu paklausti, kodėl testo protokoluose atsižvelgiama tik į suderinamus matavimus. Puikiai nustatyta, kad individualios nesuderinamų stebimų rezultatų tikimybės priklausys nuo jų matavimo tvarkos, tačiau šis akivaizdus kontekstualumas nerodo daugiau įžvalgos apie tikrovės pobūdį. Tačiau apribojus dėmesį suderinamais matavimais galima ištirti, ar vis dar išlieka priklausomybė nuo konteksto, kai tokio akivaizdaus kontekstualumo nėra. Praktikoje dėl eksperimentinių trūkumų tikrosios matavimo procedūros yra suderinamos. Šią spragą galima pašalinti išplečiant KCBS nelygybę 19

Image

Stebimųjų eiliškumas dviejų baigčių koreliacijose 〈A i A j〉 atitinka dviejų atitinkamų nuoseklių matavimų laiko seką, o ɛ ij yra šių matavimo procedūrų nesuderinamumo operacijų ribos. Privalomas nesuderinamumas 19 :

Image

kai A j matuojamas prieš / po A i, galima nustatyti atskirai (papildoma informacija).

Koreliacijų protokolas ir matavimai

Galutiniame protokole mes išmatuojame penkias kombinacijas

Image

,

Image

,

Image

,

Image

ir

Image

, ir jų atvirkštinės eilės variantai, po kurių eina kalibravimo blokai, skirti aptikti ertmės signalo fazės poslinkius. Kadangi qutrit veikia skiedimo šaldytuve esant 20 mK, jo šiluminė būsena yra artima pradinei būsenai. Norėdami išvengti likutinės šiluminės populiacijos, kiekvieną eksperimentinį bandymą pradedame taikydami inicializacijos nuskaitymo toną ertmei, norėdami išskleisti ir parinkti norimą pagrindinę būseną, atmesdami ∼ 10% visų duomenų taškų. Kitas 565 ns vėlavimas leidžia ertmei suskambėti prieš pradedant matavimų seką. Visa seka kartojama 2 21 kartus, suveikiama kas 100 μs. Kiekvienam stebimam Ai buvo naudojama ta pati procedūra (impulsų rinkinys), kad būtų galima atlikti matavimą nepriklausomai nuo matavimo konteksto, o ertmės perdavimo signalas aptinkamas, integruotas ir diskriminuojamas, kad būtų galima gauti dichotominį rezultatą ± 1. Rezultatai buvo užfiksuoti standžiajame diske ir vėliau buvo naudojami apskaičiuojant lūkesčių vertes 〈A i〉 ir koreliacijas 〈A i A j〉 . Rezultatai, naudojami nelygybei (3) (ir jos atvirkštinės eilės atitikmeniui) išbandyti, pateikti 1 lentelėje. Visų porų atveju pirmasis matavimas duoda lūkesčių vertes, labai artimas idealiai vertei 0, 105 (6), antruoju matavimu nuosekliai. pasislinkęs dėl qutrit deherencijos sekos metu. Randame −3, 489 (1) ir ribos, įskaitant nesuderinamumo ribas, –3, 352 (2), sumą.

Pilno dydžio lentelė

P-vertės apskaičiavimas

Naudodamiesi standartine tokių nelygybių analize, mes pažeidžiame KCBS nekontekstualumo nelygybės lygtį (3)> 53 sd. Įkvėpti išplėstinės nelygybės, išvestos ref. 19, suderinamumo spraga buvo išnagrinėta formalizuojant problemą kaip hipotezės testą be jokių prielaidų apie suderinamumą ir ribojantį matavimų nesuderinamumą atskirame hipotezės teste 26 . Nulinė hipotezė, kad eksperimentą apibūdina nekontekstinis HV modelis su suderinamumu

Image

≲ 0, 0413 (žr. Metodus) atmetamas, kai P vertė yra <2, 96 × 10 –575 . Atskiras suderinamumo sąlygos tyrimas atmeta hipotezę, kad stebimi elementai yra labiau nesuderinami su P verte <4, 1 × 10 −4 . Mūsų analizei reikia tik prielaidos, kad įrenginiai atlieka tą patį poveikį kiekviename bandyme, ir prielaidos, kad nėra atminties, be jokių papildomų prielaidų dėl matavimų suderinamumo ar matavimo kontrasto.

Diskusija

Mūsų rezultatai smarkiai prieštarauja nekontekstiniams aukštos įtampos modelių numatymams, uždarantiems dvi bendro pobūdžio spragas: aptikimo spragą per didelio tikslumo, deterministinį vieno kadro rodmenis ir individualaus egzistavimo spragą 18, naudojant atskirus nuoseklius matavimus. Suderinamumo spraga buvo pašalinta pažeidžiant išplėstinę nelygybę 19 ir savarankiškai formuluojant problemą atliekant hipotezės testą be jokių suderinamumo prielaidų ir ribojant matavimų nesuderinamumą atskirame hipotezės teste.

Kaip svarbiausias šių spragų šalinimo komponentas, mes įgyvendinome nuoseklius dichotominius qutrito matavimus, kurie nubrėžė vieną tikslinę būseną, netrikdydami informacijos, saugomos likusiame dviejų dimensijų poskyryje. Tai leidžia gauti klasikinį pirmojo matavimo rezultatą prieš įgyvendinant nustatymą, kuris bus naudojamas antrajam matavimui. Mūsų rezultatai rodo, kad kvantinė mechanika nukrypsta nuo nekontekstinio realizmo prognozių, nesiremdama nelokališkumu ar įsipainiojimų koreliacijomis, ir pateikia kontekstualumo šaltinio įrodymus superlaidžiose grandinėse. Nors superlaidžių grandinių kontekstiniam pobūdžiui parodyti panaudojome paprastesnę nuo valstybės priklausomą nelygybę, nuo valstybės nepriklausomas testas bus tiesus mūsų eksperimento pratęsimas.

Vienas esminis dalykas, išskiriantis mūsų nekontekstualumo analizę nedalomai sistemai nuo panašios Bello nelygybės su lokalumo apribojimais analizės, yra tas, kad sunku išvengti papildomų iid ir ne atminties prielaidų, kai reikia atlikti matavimus vienoje sistemoje. Kadangi kvantinį kontekstualumą galima imituoti klasikine sistema su atmintimi 27, šios spragos greičiausiai liks atliekant bet kuriuos Kocheno-Speckerio testus be nonlocality. Kitu atveju dėl baigtinio tikslumo 28, 29 spragos tęsiama diskusija, ar šią spragą iš esmės galima uždaryti 30, 31, 32 . Lieka svarbus atviras iššūkis - nustatyti aiškų, bendrą nurodymą, kaip atlikti nekontekstualumo testą su minimaliomis prielaidomis.

Metodai

Mėginys ir ertmė

Qutrit buvo pagamintas ant vidinio Si substrato vienoje elektronų pluošto litografijos stadijoje, po to išgarindamas šešėlį dviem Al sluoksniais, o oksidacijos etapu tarp nusėdimų. Grandinės konstrukcija yra identiška ref. 33 ir susideda iš dviejų po milimetrų dydžio kondensatorių plokštelių, sujungtų per liniją, pertrauktą nuolatinio nuolatinio superlaidžio kvantinio interferencijos įtaiso (SQUID), atliekančio magnetiškai suderinamą Josephson sankryžą. Magnetinis srautas, kurį tiekia superlaidžioji ritė, pritvirtinta prie vario ertmės, naudojamas qutrito pereinamiesiems dažniams valdyti. Qutrit maksimalūs perėjimo dažniai yra

Image

= 6, 950 GHz tarp žemės ir pirmosios sužadintos būsenos,

Image

= 6, 635 GHz tarp pirmosios ir antrosios sužadintų būsenų, atitinkančių α = 314 MHz anharmoniškumą ir įkrovimo energiją E C / h = 288 MHz, kaip parodyta 2b paveiksle. Tiriamojo qutrito taške, parinktame pagal magnetinio lauko paklaidą, išmatuojome skilimo ir koherencijos laikus T 1, 1 = 17, 4 μs, T 1, 2 = 6, 2 μs, T 1, 2 → 1 = 18, 1 μs, T 1., 2 → 0 = 9, 5 μs,

Image

= 6, 6 μs ir

Image

= 4, 6 μs.

Qutrit buvo įterptas į trimatę mikrobangų vario ertmę, pritvirtintą prie praskiedimo kriostato šaltojo etapo (2a pav.). Ertmė asimetriškai buvo sujungta su įvesties ir išvesties mikrobangų jungtimis su atitinkamais išoriniais kokybės koeficientais Q ≃ 80 000 ir Q out = 4 200 perdavimo matavimams, o vidinis ertmės kokybės koeficientas buvo matuojamas atskirais bandymais kaip Q ∼ 10 000 esant mK. temperatūros.

Norėdami išmatuoti perdavimą, į ertmės įvesties angą buvo perduodamas signalas iš mikrobangų generatoriaus (RF). Mikrobangos, perduodamos per ertmę, buvo sustiprintos Džozefsono parametriniu stiprintuvu, didelio elektronų judrumo tranzistoriaus stiprintuvu esant 4 K ir kambario temperatūros stiprintuvų grandinei. Mėginys esant 20 mK iš aukštesnės temperatūros šaldytuvo buvo paimtas iš eilės trim cirkuliaciniais siurbliais (C). Stiprintas perdavimo signalas buvo sumažintas į 25 MHz tarpinį dažnį IQ maišytuve, kurį varo specialus vietinis osciliatorius (LO), ir skaitmenina iš analoginio į skaitmeninį keitiklį duomenų analizei.

Skaitymas

Norėdami įgyvendinti vieno kadro rodmenis, kaip signalo išankstinį stiprintuvą mes panaudojome Josephson parametrinį dimerio stiprintuvą 23 (JPDA). Džozefsono parametrinis dimerio stiprintuvas susideda iš dviejų sujungtų netiesinių rezonatorių ir gali būti valdomas nedegeneravusio režimu, jei siurblio tono dažnis yra nustatytas tarp rezonatorių rezonansinių dažnių. Mūsų eksperimente siurblio tonas buvo nustatytas 7, 058 GHz, užtikrinant 25 dB stiprinimo ir 12, 5 MHz juostos pločio amplifikaciją, nukreiptą į rodmens dažnį ν c . Du cirkuliaciniai siurbliai, sumontuoti tarp skaitymo ertmės ir JPDA, kartu su pačia skaitymo ertme pašalino bet kokį siurblio tono poveikį qutrit.

Hipotezės testas

Eksperimentiniai aukštosios įtampos modelių bandymai gali būti suformuluoti kaip hipotezės testas, kai niekinė hipotezė (atmestina) reiškia, kad matavimo statistiką galima modeliuoti naudojant aukštaūgius 26 . Šiuo tikslu eksperimentas išdėstomas kaip žaidimo bandymų rinkinys, kurį galima laimėti esant didžiausiai β laimėjimo tikimybei, jei eksperimentą valdys konkretus nekontekstinis HV modelis. Tiksliau, mes išbandome iid modelį (prietaisai kiekviename bandyme elgiasi taip pat), kuriame matavimų suderinamumas atitinka garantuojamą ribą, kaip nurodyta 4 punkte (papildoma informacija). Tada ši riba išbandoma atskirai. Šiuo tikslu patogu frazuoti (4) suderinamumo sąlygą tikimybėmis, o ne laukimo reikšmėmis kaip | Pr ( A j = a j | # 1 = j ) −Pr ( A j = a j | # 1 = i , # 2 = j ) | ≤

Image

( i , j ), kur mes naudojame Nr. 1 ir Nr. 2, norėdami nurodyti matavimo tvarką A j, pažymėtą i ir j , o j žymi matavimo j rezultatą. An

Image

- nesuderinamas modelis daro prielaidą, kad

Image

Dėl KCBS nelygybės bandymas laimimas, jei du konteksto rezultatai nėra vienodi. Bendras laimėjimų skaičius užregistruojamas per visą n bandymų eksperimentinį važiavimą. P- reikšmė yra tikimybė, kad žaidimas galėjo būti laimėtas bent tiek kartų, jei pateiktas nekontekstinis HV modelis su nesuderinamumu

Image

. Šiame eksperimente mes užfiksavome 3 912 769 pergales iš 4 603 450 bandymų, o tai reiškia, kad P vertė ≤ 2, 96 × 10 −575 . Antrasis lygiagretus hipotezės testas suformuluotas norint patikrinti nesuderinamumą (5).

Duomenų prieinamumas

Matavimo duomenis, pagrindžiančius šio tyrimo išvadas, galite rasti UQ eSpace: //dx.doi.org/10.14264/uql.2016.207.

Papildoma informacija

PDF failai

  1. 1.

    Papildoma informacija

    1 papildomas paveikslas, 1 papildoma pastaba ir papildomos nuorodos.

  2. 2.

    Tarpusavio apžvalgos byla

Komentarai

Pateikdami komentarą jūs sutinkate laikytis mūsų taisyklių ir bendruomenės gairių. Jei pastebite ką nors įžeidžiančio ar neatitinkančio mūsų taisyklių ar gairių, pažymėkite, kad tai netinkama.