Formalizing CHSH Rigidity in Lean 4
Diese Arbeit formalisiert den Rigidity-Satz für die CHSH-Ungleichung in Lean 4 und deckt dabei eine Lücke im Beweis von McKague, Yang und Scarani auf.
6391 Arbeiten
Die Quantenphysik erforscht die seltsame und faszinierende Welt der kleinsten Teilchen, wo die klassischen Gesetze der Physik ihre Gültigkeit verlieren. In diesem Bereich geht es um Phänomene wie Verschränkung und Superposition, die nicht nur unser Verständnis des Universums erweitern, sondern auch den Weg für revolutionäre Technologien wie Quantencomputer ebnen.
Auf Gist.Science stellen wir Ihnen die neuesten Erkenntnisse aus diesem dynamischen Feld direkt zur Verfügung. Wir verarbeiten systematisch jeden neuen Preprint aus dem arXiv-Repositorium in der Kategorie Quant-Ph und erstellen dazu sowohl verständliche Zusammenfassungen für ein breites Publikum als auch detaillierte technische Analysen für Fachleute.
Hier finden Sie die aktuellsten Veröffentlichungen, die unser Team gerade für Sie aufbereitet hat.
Diese Arbeit formalisiert den Rigidity-Satz für die CHSH-Ungleichung in Lean 4 und deckt dabei eine Lücke im Beweis von McKague, Yang und Scarani auf.
Dieser Beitrag stellt einen theoretischen Rahmen vor, der die Dekohärenz in supraleitenden Transmon-Qubits durch die Trennung von geometrieunabhängigen mikrostrukturellen Preskriptoren und geometrieabhängigen Kopplungsfunktionalen beschreibt, um eine falsifizierbare, standardisierte Grundlage für die materialspezifische Fehlerreduktion zu schaffen.
Die Arbeit präsentiert eine analytische Theorie für die subradiantesten Moden in einem endlichen eindimensionalen Emitter-Array, die zeigt, dass deren Linienbreiten sowohl in idealen als auch in nichtidealen Wellenleitern universell mit N⁻³ skalieren, während die Zerfallsraten im tiefen Subwellenlängenbereich durch Randinterferenzen oszillieren und die kollektive Energieverschiebung gegen einen atomabstandsabhängigen konstanten Wert strebt.
Diese Arbeit untersucht die Statistik der Matrixelemente von Operatoren im disorderfreien Sachdev-Ye-Kitaev-Modell und stellt fest, dass die Verteilung der nicht-diagonalen Elemente für durch eine verallgemeinerte inverse Gauß-Verteilung und nicht durch Fréchet-Verteilungen beschrieben wird.
Die Arbeit stellt den „Dismagicker" vor, ein nicht-Clifford-Unitär, das im Rahmen von Matrix-Produkt-Zuständen entwickelt wurde, um die Nicht-Stabilisierbarkeit („Magic") von Quantenzuständen gezielt zu reduzieren und so die klassische Simulation sowie die Quantenzustandspräparation durch die Kombination mit entanglement-reduzierenden Clifford-Schaltkreisen signifikant zu verbessern.
Dieser Aufsatz argumentiert, dass bei der KI-gestützten wissenschaftlichen Autorenschaft die menschliche Verantwortung für physikalische Logik und akademische Integrität entscheidend bleibt und fordert daher die Veröffentlichung vollständiger KI-Interaktionsprotokolle als Standard-Supplement, um die Rechenschaftspflicht zu gewährleisten.
Diese Arbeit formuliert Lagrangesche Deskriptoren im Pfadintegral-Rahmenwerk, um durch Mittelung über Quantenfluktuationen eine quantenmechanische Version zu definieren, die Tunnelprozesse als geometrische Verbreiterung klassischer invarianten Mannigfaltigkeiten beschreibt.
Die Arbeit zeigt, dass ein zeitliches Ensemble aus nur drei zufällig gewählten Hamilton-Operatoren mit stochastischen Evolutionszeiten ausreicht, um unitäre -Designs für beliebiges zu erzeugen, während ein Zwei-Schritt-Protokoll dafür nicht ausreicht.
Die Autoren stellen ein effizientes Verfahren zur direkten Quantenzustandstomografie vor, das eine Fan-out-Kopplungsarchitektur mit starken Messungen kombiniert, um eine konstante Schaltungstiefe zu erreichen und die Rekonstruktion von Quantenzuständen sowie die Fehlerminderung auf skalierbaren Quantenprozessoren zu ermöglichen.
Diese Arbeit stellt eine qubit-effiziente Quantenformulierung für das kapazitierte Fahrzeugroutingproblem vor, die eine farbige Permutationskodierung nutzt, um explizite Kapazitätsregister zu vermeiden und gleichzeitig optimale Lösungen auf Standard-Benchmarks zu erreichen.