{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:XBFXD4OKN373BRRAMAOLY4D5CM","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":"4dcab21f16b4467ece18f7422c89ef555c312d13a339ab73b162421624b179a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-03T09:24:54Z","title_canon_sha256":"d9bf7d2f7cff40c696e73ac9c50c2f4b26d11c51435bebe8c9fe9b82bc1e5759"},"schema_version":"1.0","source":{"id":"1305.0648","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.0648","created_at":"2026-05-18T03:04:08Z"},{"alias_kind":"arxiv_version","alias_value":"1305.0648v2","created_at":"2026-05-18T03:04:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.0648","created_at":"2026-05-18T03:04:08Z"},{"alias_kind":"pith_short_12","alias_value":"XBFXD4OKN373","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XBFXD4OKN373BRRA","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XBFXD4OK","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:81959a4f4cb4f17dc7ac99e1bf14bb9df1ac9e428087bce3a76fed9546752465","target":"graph","created_at":"2026-05-18T03:04:08Z","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":"Guarded normal form requires occurrences of fixpoint variables in a {\\mu}-calculus-formula to occur under the scope of a modal operator. The literature contains guarded transformations that effectively bring a {\\mu}-calculus-formula into guarded normal form. We show that the known guarded transformations can cause an exponential blowup in formula size, contrary to existing claims of polynomial behaviour. We also show that any polynomial guarded transformation for {\\mu}-calculus-formulas in the more relaxed vectorial form gives rise to a polynomial solution algorithm for parity games, the exist","authors_text":"Florian Bruse, Martin Lange, Oliver Friedmann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-03T09:24:54Z","title":"On Guarded Transformation In The Modal Mu-Calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.0648","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:ec0b04a71f3985e289dc301014b7f09fa1ebd8469604f221f836436a7b96d036","target":"record","created_at":"2026-05-18T03:04:08Z","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":"4dcab21f16b4467ece18f7422c89ef555c312d13a339ab73b162421624b179a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-03T09:24:54Z","title_canon_sha256":"d9bf7d2f7cff40c696e73ac9c50c2f4b26d11c51435bebe8c9fe9b82bc1e5759"},"schema_version":"1.0","source":{"id":"1305.0648","kind":"arxiv","version":2}},"canonical_sha256":"b84b71f1ca6effb0c620601cbc707d131e2aae56bd0d63018dc3903fb1b0a68e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b84b71f1ca6effb0c620601cbc707d131e2aae56bd0d63018dc3903fb1b0a68e","first_computed_at":"2026-05-18T03:04:08.403109Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:04:08.403109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0oxBeAtxzj0h9QspzcYL1EDjKcJgEhayxTTZLKvwWpZNO1fMoPvu6UF9INCEvRwwAf0T2BT4uYvnbZxfXTmEBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:04:08.403670Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.0648","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ec0b04a71f3985e289dc301014b7f09fa1ebd8469604f221f836436a7b96d036","sha256:81959a4f4cb4f17dc7ac99e1bf14bb9df1ac9e428087bce3a76fed9546752465"],"state_sha256":"590303ece208b4398bd6a7a017dbde6cb90715dc4bf94474591577ca079affc4"}