{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:6W4FRKN2HOVQ2WGM6GSTLVUB7E","short_pith_number":"pith:6W4FRKN2","canonical_record":{"source":{"id":"1211.3422","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-11-14T21:00:25Z","cross_cats_sorted":["cond-mat.soft","math-ph","math.MP","physics.chem-ph"],"title_canon_sha256":"13583dce6fbd58bc39d746ac27befef20d4191608982b8d1ce664d3d72928be3","abstract_canon_sha256":"1754c4ba78fc3bbe77d769f36cfcac321b35748cafd9c33524255a030b39a737"},"schema_version":"1.0"},"canonical_sha256":"f5b858a9ba3bab0d58ccf1a535d681f92b0c86d7f1bcfb2d093026c39bcf112b","source":{"kind":"arxiv","id":"1211.3422","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.3422","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"arxiv_version","alias_value":"1211.3422v2","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.3422","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"pith_short_12","alias_value":"6W4FRKN2HOVQ","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"6W4FRKN2HOVQ2WGM","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"6W4FRKN2","created_at":"2026-05-18T12:26:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:6W4FRKN2HOVQ2WGM6GSTLVUB7E","target":"record","payload":{"canonical_record":{"source":{"id":"1211.3422","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-11-14T21:00:25Z","cross_cats_sorted":["cond-mat.soft","math-ph","math.MP","physics.chem-ph"],"title_canon_sha256":"13583dce6fbd58bc39d746ac27befef20d4191608982b8d1ce664d3d72928be3","abstract_canon_sha256":"1754c4ba78fc3bbe77d769f36cfcac321b35748cafd9c33524255a030b39a737"},"schema_version":"1.0"},"canonical_sha256":"f5b858a9ba3bab0d58ccf1a535d681f92b0c86d7f1bcfb2d093026c39bcf112b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:04.115740Z","signature_b64":"NcQUJV2r4oK1EMAldwlxv+BEvMeOxtByedZp0YpKoe8F3d+1sEF1vRLYFmyIcHmKBD2MVj2ifu15J2gTuqa0Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f5b858a9ba3bab0d58ccf1a535d681f92b0c86d7f1bcfb2d093026c39bcf112b","last_reissued_at":"2026-05-18T02:40:04.115216Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:04.115216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.3422","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:40:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EdP7y0KKPV/4L/eaO8+TOKed9hUnfYykazJrE3O4BzoSGEjNErKNQ9lqhTZUK1cT5TTLnXX6BCAnzCYbR1uHBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:57:56.016085Z"},"content_sha256":"da04684af060b5685881da73b01368433b38625d7c933b16b0dc4f08b17b9fdd","schema_version":"1.0","event_id":"sha256:da04684af060b5685881da73b01368433b38625d7c933b16b0dc4f08b17b9fdd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:6W4FRKN2HOVQ2WGM6GSTLVUB7E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Construction of Energy Functions for Lattice Heteropolymer Models: A Case Study in Constraint Satisfaction Programming and Adiabatic Quantum Optimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cond-mat.soft","math-ph","math.MP","physics.chem-ph"],"primary_cat":"quant-ph","authors_text":"Al\\'an Aspuru-Guzik, Alejandro Perdomo-Ortiz, Bryan O'Gorman, Ryan Babbush, William Macready","submitted_at":"2012-11-14T21:00:25Z","abstract_excerpt":"Optimization problems associated with the interaction of linked particles are at the heart of polymer science, protein folding and other important problems in the physical sciences. In this review we explain how to recast these problems as constraint satisfaction problems such as linear programming, maximum satisfiability, and pseudo-boolean optimization. By encoding problems this way, one can leverage substantial insight and powerful solvers from the computer science community which studies constraint programming for diverse applications such as logistics, scheduling, artificial intelligence,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.3422","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:40:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iwdGBlMpcyUF5dNrUu4t6GfIVvNrImiHBVHXp36eT4eEEY+g5xjaqYJwfhEKGz770nmzlja8KMZe8WPBF/o8BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:57:56.016466Z"},"content_sha256":"a247d74344ceb88def30e3b7b0e59a74684773e5976482d393261558b352cce4","schema_version":"1.0","event_id":"sha256:a247d74344ceb88def30e3b7b0e59a74684773e5976482d393261558b352cce4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6W4FRKN2HOVQ2WGM6GSTLVUB7E/bundle.json","state_url":"https://pith.science/pith/6W4FRKN2HOVQ2WGM6GSTLVUB7E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6W4FRKN2HOVQ2WGM6GSTLVUB7E/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T11:57:56Z","links":{"resolver":"https://pith.science/pith/6W4FRKN2HOVQ2WGM6GSTLVUB7E","bundle":"https://pith.science/pith/6W4FRKN2HOVQ2WGM6GSTLVUB7E/bundle.json","state":"https://pith.science/pith/6W4FRKN2HOVQ2WGM6GSTLVUB7E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6W4FRKN2HOVQ2WGM6GSTLVUB7E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:6W4FRKN2HOVQ2WGM6GSTLVUB7E","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"1754c4ba78fc3bbe77d769f36cfcac321b35748cafd9c33524255a030b39a737","cross_cats_sorted":["cond-mat.soft","math-ph","math.MP","physics.chem-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-11-14T21:00:25Z","title_canon_sha256":"13583dce6fbd58bc39d746ac27befef20d4191608982b8d1ce664d3d72928be3"},"schema_version":"1.0","source":{"id":"1211.3422","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.3422","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"arxiv_version","alias_value":"1211.3422v2","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.3422","created_at":"2026-05-18T02:40:04Z"},{"alias_kind":"pith_short_12","alias_value":"6W4FRKN2HOVQ","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"6W4FRKN2HOVQ2WGM","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"6W4FRKN2","created_at":"2026-05-18T12:26:56Z"}],"graph_snapshots":[{"event_id":"sha256:a247d74344ceb88def30e3b7b0e59a74684773e5976482d393261558b352cce4","target":"graph","created_at":"2026-05-18T02:40:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Optimization problems associated with the interaction of linked particles are at the heart of polymer science, protein folding and other important problems in the physical sciences. In this review we explain how to recast these problems as constraint satisfaction problems such as linear programming, maximum satisfiability, and pseudo-boolean optimization. By encoding problems this way, one can leverage substantial insight and powerful solvers from the computer science community which studies constraint programming for diverse applications such as logistics, scheduling, artificial intelligence,","authors_text":"Al\\'an Aspuru-Guzik, Alejandro Perdomo-Ortiz, Bryan O'Gorman, Ryan Babbush, William Macready","cross_cats":["cond-mat.soft","math-ph","math.MP","physics.chem-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-11-14T21:00:25Z","title":"Construction of Energy Functions for Lattice Heteropolymer Models: A Case Study in Constraint Satisfaction Programming and Adiabatic Quantum Optimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.3422","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:da04684af060b5685881da73b01368433b38625d7c933b16b0dc4f08b17b9fdd","target":"record","created_at":"2026-05-18T02:40:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"1754c4ba78fc3bbe77d769f36cfcac321b35748cafd9c33524255a030b39a737","cross_cats_sorted":["cond-mat.soft","math-ph","math.MP","physics.chem-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-11-14T21:00:25Z","title_canon_sha256":"13583dce6fbd58bc39d746ac27befef20d4191608982b8d1ce664d3d72928be3"},"schema_version":"1.0","source":{"id":"1211.3422","kind":"arxiv","version":2}},"canonical_sha256":"f5b858a9ba3bab0d58ccf1a535d681f92b0c86d7f1bcfb2d093026c39bcf112b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f5b858a9ba3bab0d58ccf1a535d681f92b0c86d7f1bcfb2d093026c39bcf112b","first_computed_at":"2026-05-18T02:40:04.115216Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:40:04.115216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NcQUJV2r4oK1EMAldwlxv+BEvMeOxtByedZp0YpKoe8F3d+1sEF1vRLYFmyIcHmKBD2MVj2ifu15J2gTuqa0Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:40:04.115740Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.3422","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da04684af060b5685881da73b01368433b38625d7c933b16b0dc4f08b17b9fdd","sha256:a247d74344ceb88def30e3b7b0e59a74684773e5976482d393261558b352cce4"],"state_sha256":"85236b0ed1b543645a02f62f2790f46094cb16bae61cc9ef495880bbf9da782b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M4ifK8h8k6jFGsKO/kS1GY18VxP5ajVTg5SX9GTxBkfl0694rlDsSjprJapPAEAYn5B9IQ7p0cMQ5HAj5Hz/Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T11:57:56.018697Z","bundle_sha256":"33464d34e97f7bb676299bdd39c636d9909a0daf3311a7f22f714acf349a150b"}}