Leggett-Gargs ojämlikhet är en matematisk ojämlikhet som gäller i alla makrorealistiska fysikaliska teorier. Uppkallad efter Anthony James Leggett och Anupam Garg [1] .
Här är makrorealism (makroskopisk realism) en klassisk världsbild som definieras av en kombination av två postulat:
Inom kvantmekaniken kränks Leggett-Garg-ojämlikheten, vilket innebär att den tidsmässiga utvecklingen av ett system inte kan förstås klassiskt. Situationen är analog med kränkningen av Bells ojämlikheter i experiment för att testa dem, som spelar en viktig roll för att förstå naturen av Einstein-Podolsky-Rosen-paradoxen . Det är här kvantförveckling spelar en central roll.
Den enklaste formen av Leggett-Garg-ojämlikheten följer av att betrakta ett system som bara har två möjliga tillstånd. Dessa tillstånd har motsvarande mätvärden . Huvudsaken här är att vi har mätningar vid två olika tidpunkter och en eller flera mätningar mellan första och sista mätningen. Det enklaste exemplet är när mätningar av systemets tillstånd görs vid tre på varandra följande tidpunkter . Antag nu att mellan tiderna och det finns en ideal korrelation , som alltid är lika med 1. Det vill säga för N implementeringar av experimentet kommer tidskorrelationen att vara lika med
Vi kommer att överväga detta fall i detalj. Vad kan man säga om vad som händer vid ett ögonblick ? Det är mycket möjligt att , så om värdet av at är lika med , då för båda gångerna och kommer också att vara . Det är också mycket möjligt att , så att , eftersom , vänds två gånger, och därför har samma värde i som i . Alltså och är anti-korrelerade medan och är antikorrelerade . En annan möjlighet är när det inte finns någon korrelation mellan och . Det vill säga, vi kunde ha . Sedan, även om det är känt att värdet på at är lika med värdet vid tidpunkten , kan värdet vid tidpunkten bestämmas genom att kasta ett mynt. Vi definierar hur . I dessa tre fall har vi , respektive .
Allt detta var för 100% korrelation mellan tider och . Faktum är att för varje samband mellan . För att verifiera detta noterar vi det
Det är lätt att se att för varje implementering måste innehållet i parentesen vara mindre än eller lika med ett, så resultatet för medelvärdet är också mindre än eller lika med ett. Om vi har fyra olika tider istället för tre, så har vi och så vidare. Dessa är ojämlikheterna mellan Leggett och Garg. De kopplar samman tidsmässiga korrelationer och korrelationer mellan på varandra följande tider i rörelse från början till slut.
I ovanstående slutsatser antogs det att kvantiteten , som är systemets tillstånd, alltid har ett visst värde (makrorealism som sådan) och att dess mätning vid en viss tidpunkt inte ändrar detta värde, och inte heller dess efterföljande utveckling ( icke-invasiv mätbarhet). Brott mot Leggett-Gargs ojämlikhet innebär att åtminstone ett av dessa två antaganden misslyckas.
Ett av de första experimenten som föreslagits för att demonstrera kränkningen av makroskopisk realism använder kvantinterferensenheter baserade på supraledningseffekten. Där kunde man med hjälp av Josephson-övergångar förbereda makroskopiska överlagringar av vänster och höger roterande makroskopiskt stora elektronströmmar i en supraledande ring. Med tillräcklig undertryckande av dekoherens kan en kränkning av Leggett-Garg-ojämlikheten [2] påvisas . Men viss kritik har framförts angående de oskiljbara elektronerna i Fermihavet [3] [4] .
En kritik av några av de andra föreslagna experimenten på ojämlikheten mellan Leggett och Garg är att de faktiskt inte visar en kränkning av makrorealism eftersom de i huvudsak involverar mätning av snurrandet av individuella partiklar [5] . 2015 demonstrerade Robens et al [6] ett experimentellt brott mot Leggett-Garg-ojämlikheten genom att använda superpositioner av positioner istället för spinn med en massiv partikel. På den tiden, och fortfarande i dag, representerar cesiumatomerna som används i deras experiment de största kvantobjekten som har använts för att experimentellt testa Leggett-Garg-ojämlikheten.
Experimenten av Robens et al [6] och Knee et al [7] med idealiska negativa mätningar undviker också den andra kritiken (refererad till som "klumpighetskryphålet" [8] ) som riktades mot tidigare experiment med mätprotokoll. , vilket kan tolkas som invasivt, vilket motsäger postulat 2.
Flera andra experimentella överträdelser har rapporterats, inklusive 2016 med neutrinopartiklar, baserat på data från MINOS neutrinoexperiment. [9] .
Bruckner och Kofler visade också att kvantöverträdelser kan hittas för godtyckligt stora "makroskopiska" system. Som ett alternativ till kvantdekoherens föreslår Bruckner och Kofler en lösning på det kvantklassiska övergångsproblemet i termer av "grovkorniga" kvantmätningar, där Leggett-Garg-lagen vanligtvis inte kränks och ojämlikheten kan ses direkt [ 10] [11] .
Experimenten som föreslås av Mermin [12] , Brownstein och Mann [13] skulle vara bättre för att testa makroskopisk realism, men det är en oro att experimenten kan vara tillräckligt komplexa för att tillåta oförutsedda fel i analysen. En detaljerad diskussion om denna fråga finns i granskningsdelen av Emari et al . [14] .
Den fyra siktiga Leggett-Garg-ojämlikheten kan ses som liknande CHSH-ojämlikheten. Dessutom föreslogs "jämlikheterna" av Yager et al. [15]