{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:BLLHETLVSQNPJEDMODN3FJBDBN","short_pith_number":"pith:BLLHETLV","canonical_record":{"source":{"id":"1211.4949","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-21T07:28:42Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"659fb4bb73040f7c4c83e11dd431d95d179a0ff024e102a30527e88459bb9716","abstract_canon_sha256":"32993884a87619b251f3ab628c2c720bb683d98c90726c416fcb3a2d0a6fab96"},"schema_version":"1.0"},"canonical_sha256":"0ad6724d75941af4906c70dbb2a4230b4793c3f7d70abb1ea6a11635ebc42596","source":{"kind":"arxiv","id":"1211.4949","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.4949","created_at":"2026-05-18T03:40:15Z"},{"alias_kind":"arxiv_version","alias_value":"1211.4949v1","created_at":"2026-05-18T03:40:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.4949","created_at":"2026-05-18T03:40:15Z"},{"alias_kind":"pith_short_12","alias_value":"BLLHETLVSQNP","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"BLLHETLVSQNPJEDM","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"BLLHETLV","created_at":"2026-05-18T12:27:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:BLLHETLVSQNPJEDMODN3FJBDBN","target":"record","payload":{"canonical_record":{"source":{"id":"1211.4949","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-21T07:28:42Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"659fb4bb73040f7c4c83e11dd431d95d179a0ff024e102a30527e88459bb9716","abstract_canon_sha256":"32993884a87619b251f3ab628c2c720bb683d98c90726c416fcb3a2d0a6fab96"},"schema_version":"1.0"},"canonical_sha256":"0ad6724d75941af4906c70dbb2a4230b4793c3f7d70abb1ea6a11635ebc42596","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:40:15.439018Z","signature_b64":"rwkOzYLuCDihnrfrCdAW2bt15TaZZIpYTCZwJ3zPm5Pu3mQhVCqB8X6iPadteppqEaUSOQI8i071H4u/mlMoBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ad6724d75941af4906c70dbb2a4230b4793c3f7d70abb1ea6a11635ebc42596","last_reissued_at":"2026-05-18T03:40:15.438282Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:40:15.438282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.4949","source_version":1,"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-18T03:40:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9EMPH3ho1dw/MqZNozipJsRQbuestEipvfruoDuqTGYqQQB0pjNhgHWFudaIMBsTkeNTtpeq9PPHmb3sHrAiAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:52:47.842086Z"},"content_sha256":"3bc6a4bbc92d711081a88d26524634a77bb0d583d55f9d4bbb257d7bdef541ea","schema_version":"1.0","event_id":"sha256:3bc6a4bbc92d711081a88d26524634a77bb0d583d55f9d4bbb257d7bdef541ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:BLLHETLVSQNPJEDMODN3FJBDBN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the behavior of tile assembly system at high temperatures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.CC","authors_text":"Shinnosuke Seki, Yasushi Okuno","submitted_at":"2012-11-21T07:28:42Z","abstract_excerpt":"Behaviors of Winfree's tile assembly systems (TASs) at high temperatures are investigated in combination with integer programming of a specific form called threshold programming. First, we propose a way to build bridges from the Boolean satisfiability problem (SAT) to threshold programming, and further to TAS's behavior, in order to prove the NP-hardness of optimizing temperatures of TASs that behave in a way given as input. These bridges will take us further to two important results on the behavior of TASs at high temperatures. The first says that arbitrarily high temperatures are required to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.4949","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":""},"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-18T03:40:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1eZoqS7gKVDR+yN+3pILcyNxY0uvr7356v2NfXAGUPvI9cDbRxlg1eRZ8GAMj6t3SOY0cv6kloopcncQL5WtDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:52:47.842922Z"},"content_sha256":"46262b43a3699a6f8b5c266fc7b04855a13ec717435632b4e0ca562b69e56ccc","schema_version":"1.0","event_id":"sha256:46262b43a3699a6f8b5c266fc7b04855a13ec717435632b4e0ca562b69e56ccc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BLLHETLVSQNPJEDMODN3FJBDBN/bundle.json","state_url":"https://pith.science/pith/BLLHETLVSQNPJEDMODN3FJBDBN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BLLHETLVSQNPJEDMODN3FJBDBN/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-31T03:52:47Z","links":{"resolver":"https://pith.science/pith/BLLHETLVSQNPJEDMODN3FJBDBN","bundle":"https://pith.science/pith/BLLHETLVSQNPJEDMODN3FJBDBN/bundle.json","state":"https://pith.science/pith/BLLHETLVSQNPJEDMODN3FJBDBN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BLLHETLVSQNPJEDMODN3FJBDBN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:BLLHETLVSQNPJEDMODN3FJBDBN","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":"32993884a87619b251f3ab628c2c720bb683d98c90726c416fcb3a2d0a6fab96","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-21T07:28:42Z","title_canon_sha256":"659fb4bb73040f7c4c83e11dd431d95d179a0ff024e102a30527e88459bb9716"},"schema_version":"1.0","source":{"id":"1211.4949","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.4949","created_at":"2026-05-18T03:40:15Z"},{"alias_kind":"arxiv_version","alias_value":"1211.4949v1","created_at":"2026-05-18T03:40:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.4949","created_at":"2026-05-18T03:40:15Z"},{"alias_kind":"pith_short_12","alias_value":"BLLHETLVSQNP","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"BLLHETLVSQNPJEDM","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"BLLHETLV","created_at":"2026-05-18T12:27:01Z"}],"graph_snapshots":[{"event_id":"sha256:46262b43a3699a6f8b5c266fc7b04855a13ec717435632b4e0ca562b69e56ccc","target":"graph","created_at":"2026-05-18T03:40:15Z","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":"Behaviors of Winfree's tile assembly systems (TASs) at high temperatures are investigated in combination with integer programming of a specific form called threshold programming. First, we propose a way to build bridges from the Boolean satisfiability problem (SAT) to threshold programming, and further to TAS's behavior, in order to prove the NP-hardness of optimizing temperatures of TASs that behave in a way given as input. These bridges will take us further to two important results on the behavior of TASs at high temperatures. The first says that arbitrarily high temperatures are required to","authors_text":"Shinnosuke Seki, Yasushi Okuno","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-21T07:28:42Z","title":"On the behavior of tile assembly system at high temperatures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.4949","kind":"arxiv","version":1},"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:3bc6a4bbc92d711081a88d26524634a77bb0d583d55f9d4bbb257d7bdef541ea","target":"record","created_at":"2026-05-18T03:40:15Z","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":"32993884a87619b251f3ab628c2c720bb683d98c90726c416fcb3a2d0a6fab96","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-11-21T07:28:42Z","title_canon_sha256":"659fb4bb73040f7c4c83e11dd431d95d179a0ff024e102a30527e88459bb9716"},"schema_version":"1.0","source":{"id":"1211.4949","kind":"arxiv","version":1}},"canonical_sha256":"0ad6724d75941af4906c70dbb2a4230b4793c3f7d70abb1ea6a11635ebc42596","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ad6724d75941af4906c70dbb2a4230b4793c3f7d70abb1ea6a11635ebc42596","first_computed_at":"2026-05-18T03:40:15.438282Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:40:15.438282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rwkOzYLuCDihnrfrCdAW2bt15TaZZIpYTCZwJ3zPm5Pu3mQhVCqB8X6iPadteppqEaUSOQI8i071H4u/mlMoBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:40:15.439018Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.4949","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bc6a4bbc92d711081a88d26524634a77bb0d583d55f9d4bbb257d7bdef541ea","sha256:46262b43a3699a6f8b5c266fc7b04855a13ec717435632b4e0ca562b69e56ccc"],"state_sha256":"21e95b62147c352464171eb3e84f16e048c1cb4d6b53025461812687865f3f67"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bs1IQVQrx5HrzED6HiooBHX/qXnHpoWaZ6BiWeXtMQ3NjuuBqM5de912XPY1PST8gUtVtvq0hSJozNcrNLWcCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T03:52:47.846727Z","bundle_sha256":"90047fc461df27816815a08d4b1589d3868127e74005a2abce632453b83f1c56"}}