{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:TZ667VAFW6ECVMGTFITXTH2I7W","short_pith_number":"pith:TZ667VAF","canonical_record":{"source":{"id":"1401.1125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-01-06T15:54:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"80ba27be2630b752f713f4678d9d9275e9781d0dca77c216bd9dade29064aa5f","abstract_canon_sha256":"edc242ee682db558a20b7b7b71f78162cac4ef7a38168160087173d4e0281a28"},"schema_version":"1.0"},"canonical_sha256":"9e7defd405b7882ab0d32a27799f48fd959327b74f19d03c1dab15d83e17b7b8","source":{"kind":"arxiv","id":"1401.1125","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.1125","created_at":"2026-05-18T03:03:10Z"},{"alias_kind":"arxiv_version","alias_value":"1401.1125v1","created_at":"2026-05-18T03:03:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.1125","created_at":"2026-05-18T03:03:10Z"},{"alias_kind":"pith_short_12","alias_value":"TZ667VAFW6EC","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"TZ667VAFW6ECVMGT","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"TZ667VAF","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:TZ667VAFW6ECVMGTFITXTH2I7W","target":"record","payload":{"canonical_record":{"source":{"id":"1401.1125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-01-06T15:54:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"80ba27be2630b752f713f4678d9d9275e9781d0dca77c216bd9dade29064aa5f","abstract_canon_sha256":"edc242ee682db558a20b7b7b71f78162cac4ef7a38168160087173d4e0281a28"},"schema_version":"1.0"},"canonical_sha256":"9e7defd405b7882ab0d32a27799f48fd959327b74f19d03c1dab15d83e17b7b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:10.865309Z","signature_b64":"nC2cWvndVWi3rtP8Q7JfdKRb+bfrVRiWNjMWP5x52b3leyb0J0Y5WekU2bL/NvH4mg+vQMEhf5T789bq0+k5Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e7defd405b7882ab0d32a27799f48fd959327b74f19d03c1dab15d83e17b7b8","last_reissued_at":"2026-05-18T03:03:10.864491Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:10.864491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.1125","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:03:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mTWqv2/FEYzUiILGKplkRqS6LFt7S43lsOSgxwKOjXlrmgrmBEvQLO4ReU+W5XcY3zm1S4KNr90jWy79BlssCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T10:00:33.992841Z"},"content_sha256":"49ed878d1ad31e4fd832eea8155467275fc00bc4579e408b0d86196b125ba994","schema_version":"1.0","event_id":"sha256:49ed878d1ad31e4fd832eea8155467275fc00bc4579e408b0d86196b125ba994"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:TZ667VAFW6ECVMGTFITXTH2I7W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Symmetric Circuits and Fixed-Point Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CC","authors_text":"Anuj Dawar, Matthew Anderson","submitted_at":"2014-01-06T15:54:42Z","abstract_excerpt":"We study properties of relational structures such as graphs that are decided by families of Boolean circuits. Circuits that decide such properties are necessarily invariant to permutations of the elements of the input structures. We focus on families of circuits that are symmetric, i.e., circuits whose invariance is witnessed by automorphisms of the circuit induced by the permutation of the input structure. We show that the expressive power of such families is closely tied to definability in logic. In particular, we show that the queries defined on structures by uniform families of symmetric B"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.1125","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:03:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pZ31Tr0mbFWygYfaQVNjggDo9WKeHQbl70erF+dZ4Pmeujy97iIbor88atIYaUjOvj85FRy0U91iBzoFHqJRDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T10:00:33.993602Z"},"content_sha256":"0e33e3af91663235523002b9b083c1a169bd179ee07bcadd8bc769671903192a","schema_version":"1.0","event_id":"sha256:0e33e3af91663235523002b9b083c1a169bd179ee07bcadd8bc769671903192a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TZ667VAFW6ECVMGTFITXTH2I7W/bundle.json","state_url":"https://pith.science/pith/TZ667VAFW6ECVMGTFITXTH2I7W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TZ667VAFW6ECVMGTFITXTH2I7W/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-11T10:00:33Z","links":{"resolver":"https://pith.science/pith/TZ667VAFW6ECVMGTFITXTH2I7W","bundle":"https://pith.science/pith/TZ667VAFW6ECVMGTFITXTH2I7W/bundle.json","state":"https://pith.science/pith/TZ667VAFW6ECVMGTFITXTH2I7W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TZ667VAFW6ECVMGTFITXTH2I7W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:TZ667VAFW6ECVMGTFITXTH2I7W","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":"edc242ee682db558a20b7b7b71f78162cac4ef7a38168160087173d4e0281a28","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-01-06T15:54:42Z","title_canon_sha256":"80ba27be2630b752f713f4678d9d9275e9781d0dca77c216bd9dade29064aa5f"},"schema_version":"1.0","source":{"id":"1401.1125","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.1125","created_at":"2026-05-18T03:03:10Z"},{"alias_kind":"arxiv_version","alias_value":"1401.1125v1","created_at":"2026-05-18T03:03:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.1125","created_at":"2026-05-18T03:03:10Z"},{"alias_kind":"pith_short_12","alias_value":"TZ667VAFW6EC","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"TZ667VAFW6ECVMGT","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"TZ667VAF","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:0e33e3af91663235523002b9b083c1a169bd179ee07bcadd8bc769671903192a","target":"graph","created_at":"2026-05-18T03:03:10Z","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":"We study properties of relational structures such as graphs that are decided by families of Boolean circuits. Circuits that decide such properties are necessarily invariant to permutations of the elements of the input structures. We focus on families of circuits that are symmetric, i.e., circuits whose invariance is witnessed by automorphisms of the circuit induced by the permutation of the input structure. We show that the expressive power of such families is closely tied to definability in logic. In particular, we show that the queries defined on structures by uniform families of symmetric B","authors_text":"Anuj Dawar, Matthew Anderson","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-01-06T15:54:42Z","title":"On Symmetric Circuits and Fixed-Point Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.1125","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:49ed878d1ad31e4fd832eea8155467275fc00bc4579e408b0d86196b125ba994","target":"record","created_at":"2026-05-18T03:03:10Z","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":"edc242ee682db558a20b7b7b71f78162cac4ef7a38168160087173d4e0281a28","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-01-06T15:54:42Z","title_canon_sha256":"80ba27be2630b752f713f4678d9d9275e9781d0dca77c216bd9dade29064aa5f"},"schema_version":"1.0","source":{"id":"1401.1125","kind":"arxiv","version":1}},"canonical_sha256":"9e7defd405b7882ab0d32a27799f48fd959327b74f19d03c1dab15d83e17b7b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e7defd405b7882ab0d32a27799f48fd959327b74f19d03c1dab15d83e17b7b8","first_computed_at":"2026-05-18T03:03:10.864491Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:03:10.864491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nC2cWvndVWi3rtP8Q7JfdKRb+bfrVRiWNjMWP5x52b3leyb0J0Y5WekU2bL/NvH4mg+vQMEhf5T789bq0+k5Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:03:10.865309Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.1125","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:49ed878d1ad31e4fd832eea8155467275fc00bc4579e408b0d86196b125ba994","sha256:0e33e3af91663235523002b9b083c1a169bd179ee07bcadd8bc769671903192a"],"state_sha256":"45c5d9d59829caab6bc00f2f6ff7dec094ce3f4122e208ba3afdc1f895166349"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"35Uk59/QykMR5HBWWC2jCbzE0xJO/0MKCnLxych3n+JCorNzxg1gjMHbKcvhfmq03vztXGvn5GYMhKoaE/7UAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T10:00:33.997941Z","bundle_sha256":"49df1fb2d62f80e412dc48c8aae5b66d1a947322f8833e854067298843d49b51"}}