Buchumschlag

A Formalization of the Generalized Quantum Stein's Lemma in Lean

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Meiburg, Alex, Lessa, Leonardo A., Soldati, Rodolfo R.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Quantum Physics Logic in Computer Science 81P45 (Primary) 62M07, 68V20 (Secondary) F.4.1; H.1.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
von: Linhares, Alexandre
Veröffentlicht: (2026)

How many samples to label for an application given a foundation model? Chest X-ray classification study
von: Nechaev, Nikolay, et al.
Veröffentlicht: (2025)

Rabi oscillations and entanglement between two atoms interacting by the Rydberg blockade studied by the Jaynes-Cummings Model
von: Santillan, Francisco D., et al.
Veröffentlicht: (2024)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
von: Farmer, William M., et al.
Veröffentlicht: (2023)

Hybrid quantum tensor networks for aeroelastic applications
von: Hickmann, M. Lautaro, et al.
Veröffentlicht: (2025)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2026)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2024)

A formalization of Borel determinacy in Lean
von: Manthe, Sven
Veröffentlicht: (2025)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
von: Figueira, Santiago, et al.
Veröffentlicht: (2023)

Quantum NLP models on Natural Language Inference
von: Sun, Ling, et al.
Veröffentlicht: (2025)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
von: Ding, Sichen, et al.
Veröffentlicht: (2026)

Confinement-Tunable Synthetic Gauge Fields and Floquet Topological Phenomena in a Driven Quantum Wire Qubit
von: Claire, Feulefack Ornela, et al.
Veröffentlicht: (2026)

Quantum Phase Transition of Non-Hermitian Systems using Variational Quantum Techniques
von: Hancock, James, et al.
Veröffentlicht: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
von: Farmer, William M.
Veröffentlicht: (2026)

Internalizing Extensions in Lattices of Type Theories
von: Chan, Jonathan
Veröffentlicht: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2025)

Relative Constructibility via Generalised Sequential Algorithms
von: Lau, Desmond
Veröffentlicht: (2024)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
von: Wiesnet, Franziskus
Veröffentlicht: (2025)

Formalization of QFT
von: Douglas, Michael R., et al.
Veröffentlicht: (2026)

Leveraging Imperfection with MEDLEY A Multi-Model Approach Harnessing Bias in Medical AI
von: Abtahi, Farhad, et al.
Veröffentlicht: (2025)

Privacy-preserving neutral atom-based quantum classifier towards real healthcare applications
von: Canonici, Ettore, et al.
Veröffentlicht: (2025)

QUBO-based SVM for credit card fraud detection on a real QPU
von: Canonici, Ettore, et al.
Veröffentlicht: (2024)

GT-PCA: Effective and Interpretable Dimensionality Reduction with General Transform-Invariant Principal Component Analysis
von: Heinrichs, Florian
Veröffentlicht: (2024)

Beyond Static Knowledge Messengers: Towards Adaptive, Fair, and Scalable Federated Learning for Medical AI
von: Arafat, Jahidul, et al.
Veröffentlicht: (2025)

Team Semantics and Independence Notions in Quantum Physics
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

Synthetic data for ratemaking: imputation-based methods vs adversarial networks and autoencoders
von: Havrylenko, Yevhen, et al.
Veröffentlicht: (2025)

Quantum Neural Networks for Propensity Score Estimation and Survival Analysis in Observational Biomedical Studies
von: Novák, Vojtěch, et al.
Veröffentlicht: (2025)

Learning Variational Quantum Circuit Parameters with Classical Artificial Intelligence for Quantum Phase Transition Detection
von: Li, Xin, et al.
Veröffentlicht: (2025)

Compositional Separation of Control Flow and Data Flow
von: Arellanes, Damian
Veröffentlicht: (2023)

The Predictive-Causal Gap: An Impossibility Theorem and Large-Scale Neural Evidence
von: Liu, Kejun
Veröffentlicht: (2026)

Mathematical comparison of classical and quantum mechanisms in optimization under local differential privacy
von: Yoshida, Yuuya
Veröffentlicht: (2020)

Classically Time-Controlled Quantum Automata: Definition and Properties
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2018)

Proof complexity of universal algebra in a CSP dichotomy proof
von: Gaysin, Azza
Veröffentlicht: (2024)

Simultaneously optimizing symmetry shifts and tensor factorizations for cost-efficient Fault-Tolerant Quantum Simulations of electronic Hamiltonians
von: Deka, Konrad, et al.
Veröffentlicht: (2024)

Multimodal Structure-Aware Quantum Data Processing
von: Hawashin, Hala, et al.
Veröffentlicht: (2024)

Quantum Discrete Variable Representations
von: Pliś, Szymon, et al.
Veröffentlicht: (2025)

Flexible and efficient emulation of spatial extremes processes via variational autoencoders
von: Zhang, Likun, et al.
Veröffentlicht: (2023)

On CNF Conversion for SAT and SMT Enumeration
von: Masina, Gabriele, et al.
Veröffentlicht: (2023)

Neural Networks Learn Distance Metrics
von: Oursland, Alan
Veröffentlicht: (2025)

A Formalization of Abstract Rewriting in Agda
von: Arkle, Sam, et al.
Veröffentlicht: (2026)