A lè kọ quantum mechanics pẹ̀lú real numbers nìkan — catch náà wà nínú bí systems ṣe combine

àkọlé kan tó yẹ ká tún ka

Ní ọdún díẹ̀ sẹ́yìn, claim kan tó striking tàn ká: ìdánwò ti fi hàn pé imaginary numbers jẹ́ physically gidi, pé quantum mechanics kò lè kọ́ láìsí wọn. Claim náà wá láti physics gidi, tí a ṣe pẹ̀lú ìṣọ́ra — proposal 2021 nínú Nature nipasẹ Marc-Olivier Renou àti colleagues, àti ìdánwò 2022 tó ṣe e. Ṣùgbọ́n popular ẹ̀dà compress precise statement kan sí slogan, slogan náà sì lágbára ju èsì lọ.

ìwé ìwádìí tuntun nínú Physical Review Letters nipasẹ Pedro Barrios Hita, Anton Trushechkin, Hermann Kampermann, Michael Epping àti Dagmar Bruß dá precise statement náà padà. Ó construct ẹ̀dà of quantum mechanics tí ó lo gidi numbers nìkan, tí ó sì reproduce every prediction ti standard complex àbá-ẹ̀kọ́ — pẹ̀lú multipartite ìdánwò gangan tí a sọ pé wọ́n òfin out gidi numbers. Trick kì í ṣe láti sneak imaginary numbers padà wọlé. Ó jẹ́ láti yí assumption kan nípa bí separate ètò ṣe combine. Honest conclusion, ní ọ̀rọ̀ òǹkọ̀wé, ni pé complex numbers kò necessary fún describing quantum mechanics, ṣùgbọ́n wọ́n useful gan-an.

Kí ni complex numbers ń ṣe nínú àbá-ẹ̀kọ́?

Nínú quantum mechanics, ipò ti ètò ni a describe pẹ̀lú amplitudes, láti gba probability of èsì a máa gba squared ìwọ̀n ti amplitude. Nínú standard àbá-ẹ̀kọ́, amplitudes wọ̀nyí jẹ́ complex numbers: ọkọọkan ní ìwọ̀n àti phase, angle kan. Phase yẹn kì í ṣe decoration. Nígbà paths méjì sí èsì kan combine, phases wọn pinnu bóyá wọ́n reinforce tàbí cancel — interference tí ó jẹ́ signature ti quantum ìhùwàsí. Overall phase tí whole ètò share, ní apa kejì, kò measurable.

Complex number jẹ́ pair of gidi numbers ní gidi — gidi part àti imaginary part — tí a bundle pẹ̀lú particular òfin fún multiplication. Nítorí náà natural ìbéèrè ni bóyá bundling náà essential. Ṣé a lè pa gidi numbers méjì mọ́, drop complex packaging, kí a sì tún ní gbogbo quantum mechanics? Multiplication òfin ni ó mú complex numbers ju numbers méjì tí a fi lẹ́gbẹ̀ẹ́ ara wọn lọ, nítorí náà answer kò obvious, subtletly náà wà níbẹ̀.

Ohun tí èsì 2021 fi hàn gan-an

Renou àti colleagues béèrè ìbéèrè yẹn gan-an, wọ́n sì fún un ní sharp, testable form. Wọ́n kò béèrè bóyá gidi numbers lè hàn ní ibikíbi nínú quantum àbá-ẹ̀kọ́; wọ́n béèrè bóyá real-number formulation lè match gbogbo predictions ti complex àbá-ẹ̀kọ́ given particular òfin fún combining ètò. Rule náà — tensor-product òfin — ni standard prescription fún describing several independent parts gẹ́gẹ́ bí whole kan.

Lábẹ́ òfin yẹn, wọ́n rí scenario pẹ̀lú parties mẹ́ta sharing entanglement láti independent orísun méjì níbi tí real-number àbá-ẹ̀kọ́ àti complex àbá-ẹ̀kọ́ predict yàtọ̀ measurable correlations — multipartite ẹ̀dà ti Bell ìdánwò. Ní 2022, ìdánwò pẹ̀lú superconducting circuits àti photons ṣe ìdánwò bẹ́ẹ̀. Measured correlations match complex quantum mechanics, wọ́n sì inconsistent pẹ̀lú gidi alternative.

Èyí jẹ́ gidi, clean èsì. Ṣùgbọ́n wo ohun tí ìfiwéra náà jẹ́ pẹ̀lú ìṣọ́ra: standard complex quantum àbá-ẹ̀kọ́ against specific gidi àbá-ẹ̀kọ́ kan — ọ̀kan that keeps ordinary tensor-product òfin. Pairing yẹn, kì í ṣe gidi numbers as such, ni ìdánwò adjudicated. ìwé ìwádìí tuntun, pẹ̀lú quantum-foundations term, pe ruled-out alternative náà ní foil àbá-ẹ̀kọ́ — àbá-ẹ̀kọ́ tí kò sí ẹni tó propose as true, tí a set up deliberately gẹ́gẹ́ bí contrast sí accepted ọ̀kan kí ìdánwò lè distinguish. Iye rẹ̀ ni distinguishability: ruling out foil fi hàn assumptions wo nínú gidi àbá-ẹ̀kọ́ ni ń ṣe iṣẹ́.

Ohun tí ìwé ìwádìí tuntun yí padà

New iṣẹ́ pa fẹrẹẹ gbogbo nǹkan mọ́, ó yí postulate kan. Dípò assuming tensor-product òfin fún combining ètò, ó start láti locality requirement tí òǹkọ̀wé sọ pé physically sí i fundamental: operation tí a ṣe lórí subsystem kan nìkan kò yẹ kí ó ní measurable ipa lórí untouched subsystem mìíràn.

Láti starting kókó yẹn wọ́n kọ real-number quantum mechanics explicitly. Real àti imaginary parts ti usual amplitudes ni a carry gẹ́gẹ́ bí extra gidi bookkeeping — ìwé ìwádìí pe e ní “flag” tí a attach sí ètò kọọkan — unobservable global phase ti complex àbá-ẹ̀kọ́ sì di equally unobservable rotation nínú gidi ọ̀kan. Price hàn gangan níbi tí 2021 èsì locate rẹ̀: bí ètò ṣe combine. Naive way of gluing gidi descriptions together kò fún ni well-defined recipe, nítorí náà construction ẹgbẹ́ descriptions tí represent kan náà physics pọ̀, ó sì iṣẹ́ pẹ̀lú classes wọ̀nyí. Pẹ̀lú combining òfin yẹn, gidi àbá-ẹ̀kọ́ reproduce every expectation value tí complex àbá-ẹ̀kọ́ predict — fún ètò kan àti fún many entangled across separated parties. òǹkọ̀wé tún fi hàn construction essentially unique, equivalent sí standard quantum mechanics.

Nítorí náà multipartite ìdánwò kò lè distinguish gidi àbá-ẹ̀kọ́ yìí láti complex ọ̀kan, nítorí mejeeji agree lórí every prediction. Earlier ìdánwò kò fail; wọ́n kan ìdánwò against yàtọ̀, sí i restrictive gidi àbá-ẹ̀kọ́.

Kí nìdí tí èyí kì í ṣe contradiction?

Ó rọrùn láti ka èsì yìí bí “ìdánwò 2021 wrong.” Idakeji ni. Experiments correct, ìwé ìwádìí yìí sì depend lórí correctness wọn: ó accept every measured correlation, ó sì fi hàn gidi formulation tí ó produce wọn. Ohun tí ó revise ni interpretation — leap láti “gidi àbá-ẹ̀kọ́ yìí falsified” sí “gidi numbers impossible nínú quantum mechanics.” Leap yẹn skip assumption tó ń ṣe iṣẹ́.

ìwé ìwádìí náà kò sọ pé a yẹ ká abandon complex numbers. Summary tirẹ̀ ṣọ́ra ní ẹgbẹ́ méjèèjì: complex numbers kò strictly necessary, wọ́n sì very useful. Real construction nílò extra flag lórí every ètò àti sí i delicate combining òfin; complex numbers package gbogbo rẹ̀ sínú clean arithmetic. Convenience kì í ṣe ohun kékeré. Nínú physics, ó sábà jẹ́ reason tí formalism fi win.

Kí nìdí tí ó fi ṣe pàtàkì?

ìbéèrè tó wà ní abẹ́ ni ohun tí “necessary” túmọ̀ sí fún physical àbá-ẹ̀kọ́. Experiment lè distinguish theories méjì tí predictions wọn yàtọ̀. Kò lè, fúnra rẹ̀, tell you pé mathematical ingredient kan ṣoṣo ni nìkan ṣeé ṣe container fún predictions kan — ìbéèrè nípa which theories exist ni, construction ló settle, kì í ṣe measurement. ìwé ìwádìí yìí jẹ́ construction: ó exhibit alternative tí a ti interpret ìdánwò gẹ́gẹ́ bí ẹni pé wọ́n exclude.

èsì náà tún sharpen distinction tó yẹ ká pa mọ́: “àbá-ẹ̀kọ́ yìí falsified” àti “mathematical irinṣẹ́ yìí unavoidable” jẹ́ statements tó yàtọ̀. Gap láàárín wọn ni ibi tí clean experimental èsì lè di overclaim. Complex numbers ṣì jẹ́ natural, efficient èdè of quantum mechanics. Bóyá wọ́n metaphysically required jẹ́ separate ìbéèrè, answer fún báyìí sì jẹ́ no.

Àkótán kedere

Proposal 2021 àti ìdánwò 2022 fi hàn pé real-number quantum mechanics tí a kọ lórí standard tensor-product òfin fún combining ètò ṣe yàtọ̀ testable predictions láti complex quantum mechanics, ìdánwò sì favor complex àbá-ẹ̀kọ́. Èyí ni a popularize gẹ́gẹ́ bí proof pé imaginary numbers physically necessary. New Physical Review Letters ìwé ìwádìí kọ real-number quantum mechanics lórí yàtọ̀ locality-based postulate tí ó reproduce gbogbo predictions ti complex àbá-ẹ̀kọ́, pẹ̀lú multipartite ìdánwò — tó fi hàn pé complex numbers convenient ju pé strictly necessary. Theoretical construction ni, kò overturn earlier ìdánwò, kò sì pe wa láti reformulate quantum mechanics ní practice.

Àyẹ̀wò láìsí àṣejù

Ohun tí ìwé ìwádìí fi hàn: Self-consistent formulation of quantum mechanics pẹ̀lú gidi numbers nìkan lè reproduce every prediction ti standard complex àbá-ẹ̀kọ́, pẹ̀lú multipartite Bell-type ìdánwò, tí a bá build lórí locality postulate dípò tensor-product òfin fún combining ètò.

Ohun tó ṣeé gbà ṣùgbọ́n kì í ṣe kókó: Pé èsì yìí “refutes” 2021–2022 èsì. Kò ṣe bẹ́ẹ̀. Ó accept ìdánwò wọ̀nyí, ó sì reinterpret scope wọn: wọ́n òfin out ọ̀kan specific gidi àbá-ẹ̀kọ́, kì í ṣe gidi numbers in principle.

Ohun tí kò fi hàn: Pé complex numbers wrong, useless, tàbí yẹ ká drop. ìwé ìwádìí pe wọn very useful. Kì í ṣe ìdánwò tuntun: kò sí tuntun dátà; claim jẹ́ mathematical construction àti consistency proof.

Main limitations fún gbogbogbò reader: Argument depend lórí assumption wo ni o ka sí physically sí i fundamental — tensor-product òfin tàbí locality postulate. Èyí jẹ́ reasoned choice nínú foundations debate, kì í ṣe fact tí measurement fix; real-number construction tún lè dà less natural ju complex ọ̀kan tó match.

Ìgbẹ́kẹ̀lé wo ni olùkà gbogboogbo yẹ kí ó ní? Gíga pé construction mathematically consistent — peer-reviewed, logic rẹ̀ checkable. Takeaway tó yẹ ká trust jẹ́ modest ọ̀kan: complex numbers jẹ́ convenient èdè of quantum mechanics, kì í ṣe proven metaphysical necessity. Ka àkọlé “imaginary numbers are gidi” gẹ́gẹ́ bí slogan tí ìwé ìwádìí yìí ń correct.