Hujjoji daga kimiyyar lissafi da aka sani ko ka’idar lissafi game da abin da zai ɗauka a kwaikwayon wannan sararin samaniya.
Beane, Davoudi & Savage: tazarar raga daga cosmic rays
Yana ɗauka sararin samaniya kwaikwayon lambobi ne a kan raga mai siffar cube ta lokaci-sarari (unimproved Wilson fermions, kamar lattice QCD na farko). Sannan yana lissafa abin da za mu iya gani, har da karyewar daidaiton juyawa a cikin mafi ƙarfin cosmic rays.
Sakamako. Iyakarsu mafi ƙarfi ita ce tazarar raga ta juyi sama da kusan 1011 GeV. Wato tazara ƙasa da kusan 2 × 10-27 m. Ta fito ne daga yankewar ƙarfi mai girma na cosmic-ray spectrum. Raga kuma za ta sa mafi ƙarfin cosmic rays su isa tare da axes ɗinta sau da yawa. Babu wanda ya ba da rahoton hakan.
Abin da ba ya nunawa. Yana iyakance samfuri ɗaya ne, raga mai cube mai discretisation irin na Wilson. Ba ya fitar da wasu discretisations, ragogi masu laushi ko hanyoyin da ba raga ba. Kuma ba ya ba da rahoton gano komai.
Ba ya shafi wani maɓalli kai tsaye · Beane, S. R., Davoudi, Z. & Savage, M. J. (2014). Constraints on the Universe as a numerical simulation. Eur. Phys. J. A 50, 148. arXiv:1210.1847.
Ringel & Kovrizhin: martanin nauyi da matsalar alama
Marubutan sun nuna cewa martanin nauyi da aka ƙididdige (kamar thermal Hall conductance a fractional quantum Hall phases) yana toshe sign-free quantum Monte Carlo na gida ga wasu tsarin bosonic. Hakan yana nuna wasu tsarin quantum suna tsayayya da kwaikwayon Monte Carlo na gargajiya mai inganci.
Sakamako. Sakamakon yana game da wakilcin sign-free QMC na takamaiman matakan condensed-matter. Takardar ba ta game da hasashen kwaikwayo ba ce. Rahotannin jama’a sun yi da’awar ta nuna cewa ba mu cikin kwaikwayo. Masu sharhi sun ƙi hakan.
Abin da ba ya nunawa. Ba ya nuna sararin samaniya ba za a iya kwaikwayonsa ba. Yana rufe aji ɗaya na algorithm na gargajiya. Ba hujjar wahalar ka’idar sarƙaƙiyar lissafi ta tsari ba ce. Kuma mai kwaikwayo da aka gina a kan kwamfutar quantum ba abin ya shafa ba (Aaronson, 2017).
Ba ya shafi wani maɓalli kai tsaye · Ringel, Z. & Kovrizhin, D. L. (2017). Quantized gravitational responses, the sign problem, and quantum complexity. Science Advances 3(9), e1701758. (arXiv:1704.03880, earlier title 'Quantized gravitational responses and the sign problem'); Aaronson, S. (3 Oct 2017). Because you asked: the Simulation Hypothesis has not been falsified; remains unfalsifiable. Shtetl-Optimized.
Vazza: kasafin ƙarfi da bayani na astrophysical
Yana amfani da iyakar holographic da ƙa’idar Landauer don kiyasin ƙarfin da ake buƙata don rubuta yanayin sararin samaniyar da ake gani, na Duniya a ƙudurin Planck, da na Duniya a ƙuduri mafi ƙarancin laushi da lura da neutrino masu ƙarfi ya saita.
Sakamako. Rubuta sararin samaniyar da ake gani zai buƙaci kusan bits 3.5 × 10124 da 8.9 × 10101 J. Sararin samaniyar da ake iya gani yana ɗauke da kusan 2.7 × 1071 J. Duniya a ƙudurin Planck tana buƙatar kusan 3.0 × 1052 J. Duniya a mafi ƙarancin ƙuduri da lura da neutrino masu ƙarfi ya ba da dama (kusan 10-23 m) tana buƙatar kusan 4.3 × 1028 J. Wannan ƙarfi yana wanzuwa a ƙa’ida, amma ba a gudun da kwaikwayo mai gudana yake buƙata ba. Ƙarshe: sararin samaniya mai kimiyyar lissafinmu ba zai iya kwaikwayon wannan ba. Lambobin daga preprint ne (arXiv v1).
Abin da ba ya nunawa. Ba ya rufe masu kwaikwayo masu wata kimiyyar lissafi, ko kwaikwayo da ke nuna abin da masu kallo ke buƙata kawai. Sharhin Frontiers na 2026 (Edge & Brown) yana cewa takardar tana nufin sigar da ta fi ƙarfi, ta duniya da aka raba, fiye da da’awar Bostrom.
Ba ya shafi wani maɓalli kai tsaye · Vazza, F. (2025). Astrophysical constraints on the simulation hypothesis for this Universe: why it is (nearly) impossible that we live in a simulation. Frontiers in Physics 13, 1561873. arXiv:2504.08461.; Edge, E. & Brown, C. A. (2026). Commentary: Astrophysical constraints on the simulation hypothesis for this Universe. Frontiers in Physics (article 1808725), 21 April 2026.
Wolpert: ka’idar kimiyyar kwamfuta da hasashen kwaikwayo
Yana haɗa ka’idar kimiyyar kwamfuta da kimiyyar lissafi ta hanyar thesis ɗin Church-Turing na zahiri. Yana ayyana kwaikwayo bisa tsarin lissafi. Sannan yana amfani da theorem na recursion na biyu na Kleene da theorem na Rice don samun sakamako kan kwaikwayo da kwaikwayon kai.
Sakamako. Yana tabbatarwa cewa, a ƙarƙashin zatonsa, za mu iya kasancewa a cikin kwaikwayo da mu kanmu muke tafiyarwa a kwamfuta. Wannan kwaikwayon kai ne: misalai biyu iri ɗaya, daidai suke na gaske. Yana kuma samo sakamakon rashin yiwuwa daga theorem na Rice, kuma yana duba homomorphic encryption da zane-zanen sararin samaniya masu shiga cikin juna.
Abin da ba ya nunawa. Bincike ne na tsari da ya dogara ga thesis ɗin Church-Turing na zahiri. Ba ya faɗin ko sararin samaniyarmu kwaikwayo ce. Sakamakonsa yana riƙe ga kowane irin sararin samaniya biyu masu wannan dangantaka, ba wannan kaɗai ba.
Ba ya shafi wani maɓalli kai tsaye · Wolpert, D. H. (2025). What computer science has to say about the simulation hypothesis. J. Phys. Complexity 6(4), 045010. (arXiv:2404.16050, 'Implications of computer science theory for the simulation hypothesis')