{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:B7DK3WQST4WHGKSXW5Q5UPE3HA","short_pith_number":"pith:B7DK3WQS","canonical_record":{"source":{"id":"1502.07545","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-26T13:28:06Z","cross_cats_sorted":[],"title_canon_sha256":"357a461ac100a0021228ffb5ec00302d8d405eadd2946a6b79abcddc8919f992","abstract_canon_sha256":"20aac4059eafc5616d01ebfa8a6b57e046cbc6f2f341abcbcfaa4c3963d30f6a"},"schema_version":"1.0"},"canonical_sha256":"0fc6adda129f2c732a57b761da3c9b381eb5097065d60cc731abd3b28814fc19","source":{"kind":"arxiv","id":"1502.07545","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.07545","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"arxiv_version","alias_value":"1502.07545v3","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.07545","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"pith_short_12","alias_value":"B7DK3WQST4WH","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"B7DK3WQST4WHGKSX","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"B7DK3WQS","created_at":"2026-05-18T12:29:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:B7DK3WQST4WHGKSXW5Q5UPE3HA","target":"record","payload":{"canonical_record":{"source":{"id":"1502.07545","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-26T13:28:06Z","cross_cats_sorted":[],"title_canon_sha256":"357a461ac100a0021228ffb5ec00302d8d405eadd2946a6b79abcddc8919f992","abstract_canon_sha256":"20aac4059eafc5616d01ebfa8a6b57e046cbc6f2f341abcbcfaa4c3963d30f6a"},"schema_version":"1.0"},"canonical_sha256":"0fc6adda129f2c732a57b761da3c9b381eb5097065d60cc731abd3b28814fc19","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:31:11.318836Z","signature_b64":"cRWxOOVsX7AWdhVpJx3X1c7sw3kwhxLRbXKE0kOe3gbRMRrfUIjNxmdu4Wk/6RiujOdycJ5U82yYufUa8ol0AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0fc6adda129f2c732a57b761da3c9b381eb5097065d60cc731abd3b28814fc19","last_reissued_at":"2026-05-18T01:31:11.318177Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:31:11.318177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.07545","source_version":3,"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-18T01:31:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YVsf0jl0T81Wut/z3cxu58j4bkvM73L3pOxtXve9VdY3RIGWEIqw3Wel0AYB9ZUpohTZwuHS6/K3Ovxjog1/Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:57:41.117650Z"},"content_sha256":"7768ae5ceabb2fca3f321df2461a31d16b6f6473507fb388cd6b8ffb3074f706","schema_version":"1.0","event_id":"sha256:7768ae5ceabb2fca3f321df2461a31d16b6f6473507fb388cd6b8ffb3074f706"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:B7DK3WQST4WHGKSXW5Q5UPE3HA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SAT problem and statistical distance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Feng Pan","submitted_at":"2015-02-26T13:28:06Z","abstract_excerpt":"In this paper with two equivalent representations of the information contained by a SAT formula, the reason why string generated by succinct SAT formula can be greatly compressed is firstly presented based on Kolmogorov complexity theory. Then what strings can be greatly compressed were classified and discussed. In this way we discovered the SAT problem was composed of a basic distinguish problem: distinguish two different distributions induced under the computer with certain SAT formula ensemble. We then tried to map this problem into quantum mechanics, or the quantum version basic distinguis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.07545","kind":"arxiv","version":3},"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-18T01:31:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gq1tejggiZH1nuahrwXa7f3Z7RxcMrGrpKK19Y1hN2odKzc8vSgi78W53vNTf8ArTTDqS5GaQhccqQw1FMtkCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:57:41.118010Z"},"content_sha256":"fcc0793cdca1e1f01dfcf86c6d568fe4f08724a3245cb4e9dca8b354e5ba4f65","schema_version":"1.0","event_id":"sha256:fcc0793cdca1e1f01dfcf86c6d568fe4f08724a3245cb4e9dca8b354e5ba4f65"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B7DK3WQST4WHGKSXW5Q5UPE3HA/bundle.json","state_url":"https://pith.science/pith/B7DK3WQST4WHGKSXW5Q5UPE3HA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B7DK3WQST4WHGKSXW5Q5UPE3HA/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-06-02T17:57:41Z","links":{"resolver":"https://pith.science/pith/B7DK3WQST4WHGKSXW5Q5UPE3HA","bundle":"https://pith.science/pith/B7DK3WQST4WHGKSXW5Q5UPE3HA/bundle.json","state":"https://pith.science/pith/B7DK3WQST4WHGKSXW5Q5UPE3HA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B7DK3WQST4WHGKSXW5Q5UPE3HA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:B7DK3WQST4WHGKSXW5Q5UPE3HA","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":"20aac4059eafc5616d01ebfa8a6b57e046cbc6f2f341abcbcfaa4c3963d30f6a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-26T13:28:06Z","title_canon_sha256":"357a461ac100a0021228ffb5ec00302d8d405eadd2946a6b79abcddc8919f992"},"schema_version":"1.0","source":{"id":"1502.07545","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.07545","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"arxiv_version","alias_value":"1502.07545v3","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.07545","created_at":"2026-05-18T01:31:11Z"},{"alias_kind":"pith_short_12","alias_value":"B7DK3WQST4WH","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"B7DK3WQST4WHGKSX","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"B7DK3WQS","created_at":"2026-05-18T12:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:fcc0793cdca1e1f01dfcf86c6d568fe4f08724a3245cb4e9dca8b354e5ba4f65","target":"graph","created_at":"2026-05-18T01:31:11Z","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":"In this paper with two equivalent representations of the information contained by a SAT formula, the reason why string generated by succinct SAT formula can be greatly compressed is firstly presented based on Kolmogorov complexity theory. Then what strings can be greatly compressed were classified and discussed. In this way we discovered the SAT problem was composed of a basic distinguish problem: distinguish two different distributions induced under the computer with certain SAT formula ensemble. We then tried to map this problem into quantum mechanics, or the quantum version basic distinguis","authors_text":"Feng Pan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-26T13:28:06Z","title":"SAT problem and statistical distance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.07545","kind":"arxiv","version":3},"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:7768ae5ceabb2fca3f321df2461a31d16b6f6473507fb388cd6b8ffb3074f706","target":"record","created_at":"2026-05-18T01:31:11Z","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":"20aac4059eafc5616d01ebfa8a6b57e046cbc6f2f341abcbcfaa4c3963d30f6a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-02-26T13:28:06Z","title_canon_sha256":"357a461ac100a0021228ffb5ec00302d8d405eadd2946a6b79abcddc8919f992"},"schema_version":"1.0","source":{"id":"1502.07545","kind":"arxiv","version":3}},"canonical_sha256":"0fc6adda129f2c732a57b761da3c9b381eb5097065d60cc731abd3b28814fc19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0fc6adda129f2c732a57b761da3c9b381eb5097065d60cc731abd3b28814fc19","first_computed_at":"2026-05-18T01:31:11.318177Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:31:11.318177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cRWxOOVsX7AWdhVpJx3X1c7sw3kwhxLRbXKE0kOe3gbRMRrfUIjNxmdu4Wk/6RiujOdycJ5U82yYufUa8ol0AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:31:11.318836Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.07545","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7768ae5ceabb2fca3f321df2461a31d16b6f6473507fb388cd6b8ffb3074f706","sha256:fcc0793cdca1e1f01dfcf86c6d568fe4f08724a3245cb4e9dca8b354e5ba4f65"],"state_sha256":"6532701f0ca2d9d00ae8679252e2fd8041554d59e621a35062b1a3c434b2ab36"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xZfWJmzROtcblcpsgH5MbWgYNQNic8KSpFvQyvyfesAeBHBo8uBN3IITkwnNZUbjSLA722sQnT2sQe4emoLcDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T17:57:41.120055Z","bundle_sha256":"5d79c8c904db305793503ceb23913457deb02c277ddc350aa2bfac26a8da7d51"}}