{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OG66N4BTGSP5TRLTVUVVFB36ZX","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":"1eb86eeaa20132d133f75d33d0510761105a83bbe92b73d58a887e2790e5826c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-06-22T03:04:18Z","title_canon_sha256":"87cf9268b68df10c04fd4dbfedcd529808a98eada69b1b9c394973aff2a437c0"},"schema_version":"1.0","source":{"id":"1806.08476","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.08476","created_at":"2026-05-18T00:06:24Z"},{"alias_kind":"arxiv_version","alias_value":"1806.08476v2","created_at":"2026-05-18T00:06:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.08476","created_at":"2026-05-18T00:06:24Z"},{"alias_kind":"pith_short_12","alias_value":"OG66N4BTGSP5","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OG66N4BTGSP5TRLT","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OG66N4BT","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:59f0c878cf717c359f2bce7628f059cd5e9e4850616451c7fe3dd90bc03c59ee","target":"graph","created_at":"2026-05-18T00:06:24Z","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":"The state complexity of the result of a regular operation is often positively correlated with the number of distinct transformations induced by letters in the minimal deterministic finite automaton of the input languages. That is, more transformations in the inputs means higher state complexity in the output. When this correlation holds, the state complexity of a unary operation can be maximized using languages in which there is one letter corresponding to each possible transformation; for operations of higher arity, we can use $m$-tuples of languages in which there is one letter corresponding","authors_text":"Sylvie Davies","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-06-22T03:04:18Z","title":"A General Approach to State Complexity of Operations: Formalization and Limitations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.08476","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:199e04aa021621be65ad44b7a06b30f401583dbbccd4c497058070cbab532e7f","target":"record","created_at":"2026-05-18T00:06:24Z","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":"1eb86eeaa20132d133f75d33d0510761105a83bbe92b73d58a887e2790e5826c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-06-22T03:04:18Z","title_canon_sha256":"87cf9268b68df10c04fd4dbfedcd529808a98eada69b1b9c394973aff2a437c0"},"schema_version":"1.0","source":{"id":"1806.08476","kind":"arxiv","version":2}},"canonical_sha256":"71bde6f033349fd9c573ad2b52877ecdeeacbe22e337c605e1604ddf0f63a163","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"71bde6f033349fd9c573ad2b52877ecdeeacbe22e337c605e1604ddf0f63a163","first_computed_at":"2026-05-18T00:06:24.673757Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:24.673757Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OYd04TCEuNd/GozBd4r11z2WLPy1kSNP2ff6xEfs9lsvZ6nTqx+7c3txGjkiKorhdfsvRYhe5yw12+imp9zkCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:24.674405Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.08476","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:199e04aa021621be65ad44b7a06b30f401583dbbccd4c497058070cbab532e7f","sha256:59f0c878cf717c359f2bce7628f059cd5e9e4850616451c7fe3dd90bc03c59ee"],"state_sha256":"b14e1babf8fbd7137272006b1127eaa425a98dffee4d2932a8be0ff025c8ab54"}