{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:33JBFJNSIJ6ZI26TOYHOFC52HJ","short_pith_number":"pith:33JBFJNS","schema_version":"1.0","canonical_sha256":"ded212a5b2427d946bd3760ee28bba3a6ff90ade83e32291030e5694cb04ed84","source":{"kind":"arxiv","id":"2302.14369","version":1},"attestation_state":"computed","paper":{"title":"Quantum Programming of the Satisfiability Problem with Rydberg Atom Graphs","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["physics.atom-ph"],"primary_cat":"quant-ph","authors_text":"Jaewook Ahn, Minhyuk Kim, Minki Hhan, Seokho Jeong","submitted_at":"2023-02-28T07:49:10Z","abstract_excerpt":"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, "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2302.14369","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2023-02-28T07:49:10Z","cross_cats_sorted":["physics.atom-ph"],"title_canon_sha256":"87d56ae4d8b0cfc3285b975d7140332dfa68fe230b30be0d508a69e490f95f63","abstract_canon_sha256":"9acf1a4bf10b75a60583de11d56fc048abc3e1c925c332f3a9e40af288bc942b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:38:51.349066Z","signature_b64":"cTPisSBTu4bXzoHN2FtAoBTbSsn8NHQp7E4jEYAsORL8yaRzz4jdmWAYWK5ZER2XngQVmrCohUw4gi0eij/9AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ded212a5b2427d946bd3760ee28bba3a6ff90ade83e32291030e5694cb04ed84","last_reissued_at":"2026-07-05T08:38:51.348655Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:38:51.348655Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantum Programming of the Satisfiability Problem with Rydberg Atom Graphs","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["physics.atom-ph"],"primary_cat":"quant-ph","authors_text":"Jaewook Ahn, Minhyuk Kim, Minki Hhan, Seokho Jeong","submitted_at":"2023-02-28T07:49:10Z","abstract_excerpt":"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, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.14369","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2302.14369/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2302.14369","created_at":"2026-07-05T08:38:51.348717+00:00"},{"alias_kind":"arxiv_version","alias_value":"2302.14369v1","created_at":"2026-07-05T08:38:51.348717+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.14369","created_at":"2026-07-05T08:38:51.348717+00:00"},{"alias_kind":"pith_short_12","alias_value":"33JBFJNSIJ6Z","created_at":"2026-07-05T08:38:51.348717+00:00"},{"alias_kind":"pith_short_16","alias_value":"33JBFJNSIJ6ZI26T","created_at":"2026-07-05T08:38:51.348717+00:00"},{"alias_kind":"pith_short_8","alias_value":"33JBFJNS","created_at":"2026-07-05T08:38:51.348717+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ","json":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ.json","graph_json":"https://pith.science/api/pith-number/33JBFJNSIJ6ZI26TOYHOFC52HJ/graph.json","events_json":"https://pith.science/api/pith-number/33JBFJNSIJ6ZI26TOYHOFC52HJ/events.json","paper":"https://pith.science/paper/33JBFJNS"},"agent_actions":{"view_html":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ","download_json":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ.json","view_paper":"https://pith.science/paper/33JBFJNS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2302.14369&json=true","fetch_graph":"https://pith.science/api/pith-number/33JBFJNSIJ6ZI26TOYHOFC52HJ/graph.json","fetch_events":"https://pith.science/api/pith-number/33JBFJNSIJ6ZI26TOYHOFC52HJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ/action/storage_attestation","attest_author":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ/action/author_attestation","sign_citation":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ/action/citation_signature","submit_replication":"https://pith.science/pith/33JBFJNSIJ6ZI26TOYHOFC52HJ/action/replication_record"}},"created_at":"2026-07-05T08:38:51.348717+00:00","updated_at":"2026-07-05T08:38:51.348717+00:00"}