{"id":"arxiv/2605.14822","url":"https://arxiv.org/abs/2605.14822","tags":["quant-ph"],"score":0,"title":"Nonlinear Hamiltonians and Boolean satisfiability","domain":"quant-ph","source":"arxiv","authors":["Michael R. Geller","Victoria S. Ordonez","Yohannes Abate"],"reviews":0,"subject":"quant-ph","summary":"We consider an extended model of quantum computation where a scalable fault-tolerant quantum computer is coupled to one or more ancilla qubits that evolve according to a nonlinear Schrödinger equation. Following the approach of Abrams and Lloyd, an efficient quantum circuit evaluating an $n$-bit Boolean function in conjunctive normal form is used to prepare an ancilla encoding its number $s$ of satisfying assignments ($0 \\le s \\le 2^n$). This is followed by a nonlinear quantum state discrimination gate on the ancilla qubit that is used to learn properties of $s$. Here we consider three types…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}