Rydberg blockade based parity quantum optimization
- URL: http://arxiv.org/abs/2210.05604v1
- Date: Tue, 11 Oct 2022 16:45:09 GMT
- Title: Rydberg blockade based parity quantum optimization
- Abstract summary: We present a scalable architecture for solving higher-order constrained binary optimization problems on neutral-atom hardware.
We formulate the recently developed parity encoding of arbitrary connected higher-order optimization problems as a maximum-weight independent set (textsfMWIS)
Our architecture builds from small textsfMWIS modules in a problem-independent way, crucial for practical scalability.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present a scalable architecture for solving higher-order constrained
binary optimization problems on current neutral-atom hardware operating in the
Rydberg blockade regime. In particular, we formulate the recently developed
parity encoding of arbitrary connected higher-order optimization problems as a
maximum-weight independent set (\textsf{MWIS}) problem on disk graphs, that are
directly encodable on such devices. Our architecture builds from small
\textsf{MWIS} modules in a problem-independent way, crucial for practical
scalability.
Related papers
- A Unified Local Light-shifts Encoding For Solving Optimization Problems on a Rydberg Annealer [0.0]
We present a unified framework for solving such optimization problems as two-SAT, XOR-SAT, mixed-two-XOR-SAT, set packing, quadratic assignment, binary clustering, and protein folding.<n>A direct mapping from the QUBO form of these problems onto the Rydberg quantum platform is demonstrated.<n>The framework can handle a variety of problems, each with different complexity.
arXiv Detail & Related papers (2026-05-08T11:56:12Z) - Efficient mapping of multi-constraint satisfaction problems to Rydberg platforms [0.040150524643488644]
We present a hardware-native gadget framework for solving constraint satisfaction problems on Rydberg quantum computing architectures.<n>Our approach introduces a compact $xor_1$ gadget that enforces exactly-one constraints, ubiquitous in optimization.<n>We observe reductions in detuning range of up to $99%$ and savings in atom count and connectivity overhead.
arXiv Detail & Related papers (2026-04-29T15:01:02Z) - HIPO: Instruction Hierarchy via Constrained Reinforcement Learning [57.40686733111483]
textscHIPO is a novel alignment framework that formulates HIF as a Constrained Markov Decision Process.<n>textscHIPO elevates system prompts from mere input context to strict algorithmic boundaries.
arXiv Detail & Related papers (2026-03-17T06:12:41Z) - MPQ-DMv2: Flexible Residual Mixed Precision Quantization for Low-Bit Diffusion Models with Temporal Distillation [74.34220141721231]
We present MPQ-DMv2, an improved textbfMixed textbfPrecision textbfQuantization framework for extremely low-bit textbfDiffusion textbfModels.
arXiv Detail & Related papers (2025-07-06T08:16:50Z) - Efficient QAOA Architecture for Solving Multi-Constrained Optimization Problems [3.757262277494307]
This paper proposes a novel combination of constraint encoding methods for the Quantum Approximate Optimization Ansatz.<n>One-hot constraints are enforced through $XY$-mixers that restrict the search space to the feasible sub-space naturally.<n>Since $XY$-mixers restrict the search space, specific state vector entries are always zero and can be omitted from the simulation, saving valuable memory and computing resources.
arXiv Detail & Related papers (2025-06-03T17:46:53Z) - Syzygy of Thoughts: Improving LLM CoT with the Minimal Free Resolution [59.39066657300045]
Chain-of-Thought (CoT) prompting enhances the reasoning of large language models (LLMs) by decomposing problems into sequential steps.
We propose Syzygy of Thoughts (SoT)-a novel framework that extends CoT by introducing auxiliary, interrelated reasoning paths.
SoT captures deeper logical dependencies, enabling more robust and structured problem-solving.
arXiv Detail & Related papers (2025-04-13T13:35:41Z) - A quantum wire approach to weighted combinatorial graph optimisation problems [0.0]
We present an efficient scheme based on chains of Rydberg-blockaded atoms, which we call quantum wires, to embed optimisation problems into a layout compatible with the neutral atom architecture.
Our work expands the existing toolkit to explore the potential use of neutral atom arrays to solve large scale optimisation problems.
arXiv Detail & Related papers (2025-03-21T13:00:51Z) - Differentiation Through Black-Box Quadratic Programming Solvers [21.717766458737426]
Differentiable optimization has attracted significant research interest, particularly for quadratic programming (QP)<n>We introduce dQP, a modular and solver-agnostic framework for plug-and-play differentiation of virtually any QP solver.<n>Building on this result, we provide a minimal-overhead, open-source implementation that seamlessly integrates with over 15 state-of-the-art solvers.
arXiv Detail & Related papers (2024-10-08T20:01:39Z) - Quantum optimization with globally driven neutral atom arrays [0.0]
We propose a scalable encoding of optimization problems with arbitrary connectivity.
We show, that these auxiliary atoms can be simultaneously used for both problem-specific programming and the mitigation of unwanted effects.
arXiv Detail & Related papers (2024-10-04T20:09:10Z) - The Complexity of Optimizing Atomic Congestion [14.845310803203724]
Atomic congestion games are a classic topic in network design, routing, and algorithmic game theory.
We show that the problem remains highly intractable even on extremely simple networks.
We conclude by extending our analysis towards the (even more challenging) min-max variant of the problem.
arXiv Detail & Related papers (2023-12-15T21:31:30Z) - Solving optimization problems with local light shift encoding on Rydberg
quantum annealers [0.0]
We provide a non-unit disk framework to solve optimization problems on a Rydberg quantum annealer.
Our setup consists of a many-body interacting Rydberg system where locally controllable light shifts are applied to individual qubits.
Our numerical simulations implement the local-detuning protocol while globally driving the Rydberg annealer to the desired many-body ground state.
arXiv Detail & Related papers (2023-08-15T14:24:45Z) - Quantum Gate Optimization for Rydberg Architectures in the Weak-Coupling
Limit [55.05109484230879]
We demonstrate machine learning assisted design of a two-qubit gate in a Rydberg tweezer system.
We generate optimal pulse sequences that implement a CNOT gate with high fidelity.
We show that local control of single qubit operations is sufficient for performing quantum computation on a large array of atoms.
arXiv Detail & Related papers (2023-06-14T18:24:51Z) - Quantum optimization with arbitrary connectivity using Rydberg atom
arrays [0.0]
We extend the classes of problems that can be efficiently encoded in Rydberg arrays by constructing explicit mappings from the original problems.
We analyze several examples, including: maximum weighted independent set on graphs with arbitrary connectivity, quadratic unconstrained binary optimization problems with arbitrary or restricted connectivity, and integer factorization.
arXiv Detail & Related papers (2022-09-08T18:00:00Z) - Sparse Polynomial Optimization: Theory and Practice [5.27013884159732]
Book presents several efforts to tackle this challenge with important scientific implications.
It provides alternative optimization schemes that scale well in terms of computational complexity.
We present sparsity-exploiting hierarchies of relaxations, for either unconstrained or constrained problems.
arXiv Detail & Related papers (2022-08-23T18:56:05Z) - Mind Your Solver! On Adversarial Attack and Defense for Combinatorial
Optimization [111.78035414744045]
We take an initiative on developing the mechanisms for adversarial attack and defense towards optimization solvers.
We present a simple yet effective defense strategy to modify the graph structure to increase the robustness of solvers.
arXiv Detail & Related papers (2021-12-28T15:10:15Z) - Neural Stochastic Dual Dynamic Programming [99.80617899593526]
We introduce a trainable neural model that learns to map problem instances to a piece-wise linear value function.
$nu$-SDDP can significantly reduce problem solving cost without sacrificing solution quality.
arXiv Detail & Related papers (2021-12-01T22:55:23Z) - iDARTS: Differentiable Architecture Search with Stochastic Implicit
Gradients [75.41173109807735]
Differentiable ARchiTecture Search (DARTS) has recently become the mainstream of neural architecture search (NAS)
We tackle the hypergradient computation in DARTS based on the implicit function theorem.
We show that the architecture optimisation with the proposed method, named iDARTS, is expected to converge to a stationary point.
arXiv Detail & Related papers (2021-06-21T00:44:11Z) - Efficient Micro-Structured Weight Unification and Pruning for Neural
Network Compression [56.83861738731913]
Deep Neural Network (DNN) models are essential for practical applications, especially for resource limited devices.
Previous unstructured or structured weight pruning methods can hardly truly accelerate inference.
We propose a generalized weight unification framework at a hardware compatible micro-structured level to achieve high amount of compression and acceleration.
arXiv Detail & Related papers (2021-06-15T17:22:59Z) - Offline Model-Based Optimization via Normalized Maximum Likelihood
Estimation [101.22379613810881]
We consider data-driven optimization problems where one must maximize a function given only queries at a fixed set of points.
This problem setting emerges in many domains where function evaluation is a complex and expensive process.
We propose a tractable approximation that allows us to scale our method to high-capacity neural network models.
arXiv Detail & Related papers (2021-02-16T06:04:27Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.