Efterval
I sannolikhetsteorin är efterval att villkora ett sannolikhetsutrymme på förekomsten av en given händelse. I symboler, när vi efterval för en händelse , ändras sannolikheten för någon annan händelse från till den villkorliga sannolikhet .
![{\textstyle \operatorname {Pr} [F]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e0de6b26fd6267317c401229f254b6c89d66278)
![{\displaystyle \operatorname {Pr} [F\,|\,E]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b22ed8aff3c909e40b92b4ac14de7ddc269c8abc)
För ett sannolikhetsutrymme , , och därför kräver vi att är strikt positiv för att postselektionen ska vara bra- definierad.
![{\textstyle \operatorname {Pr} [F\,|\,E]={\frac {\operatorname {Pr} [F\,\cap \,E]}{\operatorname {Pr} [E]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cefb4f6c5d2bf963f709c8b1c333bb42760fb68c)
![{\textstyle \operatorname {Pr} [E]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3524bb493868a439651569e9a732371699d9fd8)
Se även PostBQP , en komplexitetsklass definierad med postselection. Genom att använda efterval verkar det som om kvant-Turing-maskiner är mycket kraftfullare: Scott Aaronson visade att PostBQP är lika med PP .
Vissa kvantexperiment använder post-selektion efter experimentet som en ersättning för kommunikation under experimentet, genom att efterselektera det kommunicerade värdet till en konstant.
- ^ Aaronson, Scott (2005). "Kvantberäkning, postselektion och probabilistisk polynomtid". Kungliga sällskapets handlingar A . 461 (2063): 3473–3482. arXiv : quant-ph/0412187 . Bibcode : 2005RSPSA.461.3473A . doi : 10.1098/rspa.2005.1546 .
- ^ Aaronson, Scott (2004-01-11). "Veckans komplexitetsklass: PP" . Webblogg för beräkningskomplexitet . Hämtad 2008-05-02 .
- ^ Hensen; et al. (2015). "Kränkning av kryphålsfri Bell-ojämlikhet med elektronsnurr åtskilda med 1,3 kilometer". Naturen . 526 (7575): 682–686. arXiv : 1508.05949 . Bibcode : 2015Natur.526..682H . doi : 10.1038/nature15759 . PMID 26503041 .