Pith. sign in

REVIEW

Quantum Programming of the Satisfiability Problem with Rydberg Atom Graphs

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2302.14369 v1 pith:33JBFJNS submitted 2023-02-28 quant-ph physics.atom-ph

classification quant-phphysics.atom-ph
keywords problemquantumrydbergatomgraphsproblemsprogrammingsatisfiability
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Finding a quantum computing method to solve nondeterministic polynomial time (NP)-complete problems is currently of paramount importance in quantum information science. Here an experiment is presented to demonstrate the use of Rydberg atoms to solve (i.e., to program and obtain the solution of) the satisfiability (3-SAT) problem, which is the prototypical NP-complete problem allowing general programming of all NP problems. Boolean expressions of the 3-SAT problem are programmed with the blockade interactions of Rydberg atom graphs and their many-body ground states are experimentally obtained, to determine the satisfiabilities of the given 3-SAT problem instances quantum mechanically.

Discussion (0). Continue with ORCID to comment.

Pith tools