Formalizing CHSH Rigidity in Lean 4
Dit artikel beschrijft de formalisering in Lean 4 van het rigoreiditeitsstelsel voor de CHSH-ongelijkheid, waarbij tijdens het proces een hiaat in het bewijs van McKague, Yang en Scarani werd geïdentificeerd.
6391 papers
De wereld van kwantumfysica onderzoekt hoe materie en energie zich gedragen op het allerkleinste niveau, waar de regels van onze dagelijkse ervaring niet meer gelden. Op Gist.Science maken we de complexe inzichten uit dit fascinerende veld toegankelijk voor iedereen, van geïnteresseerde leken tot experts. We halen de moeilijkheidsgraad eruit zonder de wetenschappelijke diepgang te verliezen.
Elke nieuwe preprint in deze categorie komt rechtstreeks van arXiv. Ons team verwerkt elk document direct na publicatie en biedt zowel een begrijpelijke samenvatting in gewone taal als een gedetailleerde technische analyse. Hierdoor blijft u altijd up-to-date met de nieuwste doorbraken zonder vast te lopen in jargon. Hieronder vindt u de meest recente papers binnen dit dynamische onderzoeksgebied.
Dit artikel beschrijft de formalisering in Lean 4 van het rigoreiditeitsstelsel voor de CHSH-ongelijkheid, waarbij tijdens het proces een hiaat in het bewijs van McKague, Yang en Scarani werd geïdentificeerd.
Dit paper introduceert een nieuw theoretisch raamwerk dat microstructurele topologie en geometrische koppeling van elkaar scheidt om de decoherentie in supergeleidende qubits te voorspellen en te kwantificeren, met als doel een gestandaardiseerde basis te leggen voor toekomstige experimentele validatie.
Deze paper presenteert een analytische theorie die aantoont dat de meest subradiante modi in een eindige 1D-emitterarray gekoppeld aan een golfgeleider een universele lijnbreedteschaal van N⁻³ vertonen, waarbij even-ongeven-oscillaties en een N⁻²-correctie voor de collectieve energieruiling worden verklaard door grensvlakinterferentie en nabijveldsinteracties.
Dit artikel onderzoekt de statistiek van matrixelementen in het orde-vrije Sachdev-Ye-Kitaev-model en concludeert dat deze, in tegenstelling tot het Lieb-Liniger-model, beter worden beschreven door een gegeneraliseerde inverse Gauss-verdeling dan door Fréchet-verdelingen.
Dit artikel introduceert de 'dismagicker', een niet-Clifford-unitaire poort die, in combinatie met Clifford-circuits, de niet-stabilizerigheid van kwantumtoestanden effectief reduceert om klassieke simulatie en kwantumbereiding te verbeteren.
Dit essay betoogt dat, hoewel AI een onmisbare rol speelt in het structureren en genereren van tekst, de menselijke auteur de uiteindelijke verantwoordelijkheid draagt voor de fysieke logica en academische integriteit, en pleit daarom voor de verplichte publicatie van volledige AI-interactietranscripten als supplementair materiaal.
Dit artikel introduceert een kwantumversie van Lagrangiaanse beschrijvers via het padintegraalformalisme, waarbij kwantumschommelingen de klassieke invariantievariëteiten verbreden en zo een geometrisch raamwerk bieden voor het bestuderen van tunneling en vervoer buiten het klassieke regime.
Dit artikel toont aan dat unitaire -ontwerpen kunnen worden gegenereerd door een tijdelijk ensemble van slechts drie Hamiltonianen met willekeurige evolutietijden, waarbij een drie-stapsprotocol voldoende is om willekeurige Haar-dynamica te benaderen, terwijl een twee-stapsprotocol hier niet toe in staat is.
De auteurs introduceren en valideren experimenteel een efficiënte methode voor directe kwantumtoestandstomografie die gebruikmaakt van fan-out-koppelingen om de circuits diepte onafhankelijk van het systeemgrootte te houden, waardoor schaalbare reconstructie en foutgecorrigeerde verificatie mogelijk wordt.
Dit paper introduceert een qubit-efficiënte quantumformulering voor het capaciteitsgebonden voertuigrouteprobleem via gekleurde-permutaties die de noodzaak voor extra qubits voor laadcapaciteit elimineert en binnen het Constraint-Enhanced QAOA-framework optimale oplossingen bereikt.