David E. Bernal Neira · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27362 · open-access PDF
Quanten- und physikalisch inspirierte Lösegeräte bieten spezialisierte Sampling-Schnittstellen für Ising- und quadratische unbegrenzte binäre Optimierungsmodelle, aber begrenzte Optimierung erfordert eine breitere Koordination und Zertifizierung. Diese Umfrage verwendet klassische Zertifizierung, um zu analysieren, wie solche Lösegeräte in hybride quantum-klassische Algorithmen integriert werden können. Wir unterscheiden formale Zertifizierung, Reformulation und Reduktion und computergestützte Orchestrierung. Für jede Schnittstelle fragen wir, was die Transformation bewahrt, welche Annahmen die externe Methode konvergen lassen und welche die implementierte
Machine translation (Meta M2M100); the English original follows.
Quantum and physics-inspired solvers provide specialized sampling interfaces for Ising and quadratic unconstrained binary optimization models, but constrained optimization requires broader coordination and certification. This survey uses classical decomposition to analyze how such solvers can be integrated into hybrid quantum-classical algorithms. We distinguish formal decomposition, reformulation and reduction, and computational orchestration. For each interface, we ask what the transformation preserves, which assumptions make the outer method converge, and which certificates the implemented
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27362, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange