English
Related papers

Related papers: Solving k-SAT problems with generalized quantum me…

200 papers

The adiabatic quantum algorithm has drawn intense interest as a potential approach to accelerating optimization tasks using quantum computation. The algorithm is most naturally realised in systems which support Hamiltonian evolution, rather…

Quantum Physics · Physics 2019-10-02 Liming Zhao , Carlos A. Perez-Delgado , Simon C. Benjamin , Joseph F. Fitzsimons

Earth imaging satellites are a crucial part of our everyday lives that enable global tracking of industrial activities. Use cases span many applications, from weather forecasting to digital maps, carbon footprint tracking, and vegetation…

Learning-augmented algorithms are a prominent recent development in beyond worst-case analysis. In this framework, a problem instance is provided with a prediction (``advice'') from a machine-learning oracle, which provides partial…

Data Structures and Algorithms · Computer Science 2025-06-03 Idan Attias , Xing Gao , Lev Reyzin

Phase estimation with potentially large phase values, i.e., with large dynamic range, has many applications in quantum metrology, for example to atomic clocks. A recently proposed phase estimation scheme approaches the Heisenberg scaling in…

Quantum Physics · Physics 2026-03-17 Tyler G. Thurtell , Akimasa Miyake

Measurements in quantum mechanics can not only effectively freeze the state of the quantum system (the quantum Zeno effect) but also accelerate the time evolution of the system (the quantum anti-Zeno effect). In studies of the quantum Zeno…

Quantum Physics · Physics 2017-02-07 Muhammad Junaid Aftab , Adam Zaman Chaudhry

We propose a resource-constrained heuristic for instances of Max-SAT that iteratively decomposes a larger problem into smaller subcomponents that can be solved by optimized solvers and hardware. The unconstrained outer loop maintains the…

Artificial Intelligence · Computer Science 2024-10-15 Brian Matejek , Daniel Elenius , Cale Gentry , David Stoker , Adam Cobb

Quantum computing offers significant potential for solving NP-hard combinatorial (optimization) problems that are beyond the reach of classical computers. One way to tap into this potential is by reformulating combinatorial problems as a…

Prevention of a quantum system's time evolution by repetitive, frequent measurements of the system's state has been called the quantum Zeno effect (or paradox). Here we investigate theoretically and numerically the effect of repeated…

Quantum Physics · Physics 2011-08-04 B. Kaulakys , V. Gontis

The dynamics of a quantum system undergoing frequent measurements (quantum Zeno effect) is investigated. Using asymptotic analysis, the system is found to evolve unitarily in a proper subspace of the total Hilbert space. For spatial…

Quantum Physics · Physics 2016-09-08 P. Facchi , S. Pascazio , A. Scardicchio , L. S. Schulman

Within quantum information, many methods have been proposed to avoid or correct the deleterious effects of the environment on a system of interest. In this work, expanding on our earlier paper [G. A. Paz-Silva et al., Phys. Rev. Lett. 108,…

Quantum Physics · Physics 2014-02-26 Jason M. Dominy , Gerardo A. Paz-Silva , A. T. Rezakhani , D. A. Lidar

Random $K$-satisfiability ($K$-SAT) is a paradigmatic model system for studying phase transitions in constraint satisfaction problems and for developing empirical algorithms. The statistical properties of the random $K$-SAT solution space…

Disordered Systems and Neural Networks · Physics 2020-07-08 Han Zhao , Hai-Jun Zhou

Quantum optimization solvers typically rely on one-variable-to-one-qubit mapping. However, the low qubit count on current quantum computers is a major obstacle in competing against classical methods. Here, we develop a qubit-efficient…

Quantum Physics · Physics 2026-03-24 Bhuvanesh Sundar , Maxime Dupont

The so-called quantum Zeno effect is essentially a consequence of the projection postulate for ideal measurements. To test the effect Itano et al. have performed an experiment on an ensemble of atoms where rapidly repeated level…

Quantum Physics · Physics 2014-11-18 Almut Beige , Gerhard C. Hegerfeldt , Dirk G. Sondermann

Using a specially constructed set of hard 2-SAT problems with four satisfying assignments, we study the scaling and sampling performance of numerical simulation of quantum annealing as well as that of the physical quantum annealers offered…

Quantum Physics · Physics 2025-11-04 Vrinda Mehta , Hans De Raedt , Kristel Michielsen , Fengping Jin

Quantum computing provides powerful algorithmic tools that have been shown to outperform established classical solvers in specific optimization tasks. A core step in solving optimization problems with known quantum algorithms such as the…

Combinatorial optimization problems play a central role in computer science with many real world applications. A number of relevant problems remain computationally difficult to solve as they lie in the NP-hard complexity class. We present a…

Quantum Physics · Physics 2026-05-11 Kapil Goswami , Peter Schmelcher

We observe the quantum Zeno effect -- where the act of measurement slows the rate of quantum state transitions -- in a superconducting qubit using linear circuit quantum electrodynamics readout and a near-quantum-limited following…

Quantum Physics · Physics 2016-05-20 D. H. Slichter , C. Müller , R. Vijay , S. J. Weber , A. Blais , I. Siddiqi

We propose a quantum machine learning algorithm for efficiently solving a class of problems encoded in quantum controlled unitary operations. The central physical mechanism of the protocol is the iteration of a quantum time-delayed equation…

Quantum simulation using time evolution in phase estimation-based quantum algorithms can yield unbiased solutions of classically intractable models. However, long runtimes open such algorithms to decoherence. We show how measurement-based…

Quantum Physics · Physics 2022-08-11 Woo-Ram Lee , Zhangjie Qin , Robert Raussendorf , Eran Sela , V. W. Scarola

The #2-SAT and #3-SAT problems involve counting the number of satisfying assignments (also called models) for instances of 2-SAT and 3-SAT, respectively. In 2010, Zhou et al. proposed an $\mathcal{O}^*(1.1892^m)$-time algorithm for #2-SAT…

Data Structures and Algorithms · Computer Science 2025-07-22 Junqiang Peng , Zimo Sheng , Mingyu Xiao