{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:4WFN4COJABS74SI3G2PZQLYJRO","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":"6ba423c13ef4c651fc5f44b8d2364d7d05f70a07258d4e815577610721b83bf8","cross_cats_sorted":["cs.CC","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2020-04-19T07:07:20Z","title_canon_sha256":"ac105bebe3e28926ef534047b714642323e939d4eaf38f5fb403b1ab2bcee2a1"},"schema_version":"1.0","source":{"id":"2004.08783","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.08783","created_at":"2026-07-05T00:58:09Z"},{"alias_kind":"arxiv_version","alias_value":"2004.08783v2","created_at":"2026-07-05T00:58:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.08783","created_at":"2026-07-05T00:58:09Z"},{"alias_kind":"pith_short_12","alias_value":"4WFN4COJABS7","created_at":"2026-07-05T00:58:09Z"},{"alias_kind":"pith_short_16","alias_value":"4WFN4COJABS74SI3","created_at":"2026-07-05T00:58:09Z"},{"alias_kind":"pith_short_8","alias_value":"4WFN4COJ","created_at":"2026-07-05T00:58:09Z"}],"graph_snapshots":[{"event_id":"sha256:4a7f2ae51a2770effe5e42cd059f21080c2dc9dc45a0b1c99eb9b684dc6f3c73","target":"graph","created_at":"2026-07-05T00:58:09Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2004.08783/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Constraints on entropies are considered to be the laws of information theory. Even though the pursuit of their discovery has been a central theme of research in information theory, the algorithmic aspects of constraints on entropies remain largely unexplored. Here, we initiate an investigation of decision problems about constraints on entropies by placing several different such problems into levels of the arithmetical hierarchy. We establish the following results on checking the validity over all almost-entropic functions: first, validity of a Boolean information constraint arising from a mono","authors_text":"Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis, Phokion G. Kolaitis","cross_cats":["cs.CC","math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2020-04-19T07:07:20Z","title":"Decision Problems in Information Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.08783","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:a68030cde4a0ab1ed143149b9f3eae89e96c9833b049d15bcbe63cd8485443fc","target":"record","created_at":"2026-07-05T00:58:09Z","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":"6ba423c13ef4c651fc5f44b8d2364d7d05f70a07258d4e815577610721b83bf8","cross_cats_sorted":["cs.CC","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2020-04-19T07:07:20Z","title_canon_sha256":"ac105bebe3e28926ef534047b714642323e939d4eaf38f5fb403b1ab2bcee2a1"},"schema_version":"1.0","source":{"id":"2004.08783","kind":"arxiv","version":2}},"canonical_sha256":"e58ade09c90065fe491b369f982f098bbcb519c70b89df81f02da9f7e6e95bfc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e58ade09c90065fe491b369f982f098bbcb519c70b89df81f02da9f7e6e95bfc","first_computed_at":"2026-07-05T00:58:09.833868Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:58:09.833868Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"evAredTws0wYPsWmkT+6sJjMJEJC4JkdJ1N9R2ceUfFDJ+FDyko2CFRDRab3EY5MoQazMRbcVbAXAbmAki98AA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:58:09.834342Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.08783","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a68030cde4a0ab1ed143149b9f3eae89e96c9833b049d15bcbe63cd8485443fc","sha256:4a7f2ae51a2770effe5e42cd059f21080c2dc9dc45a0b1c99eb9b684dc6f3c73"],"state_sha256":"4f1f53898493af78fb783a34e6baedc18f570841f36475723f21773e7658f2d7"}