{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ORQ7XPPQZLB4KLOJPMC7MRGCOQ","short_pith_number":"pith:ORQ7XPPQ","canonical_record":{"source":{"id":"1804.02546","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-04-07T11:30:00Z","cross_cats_sorted":[],"title_canon_sha256":"153dc6519604ee4a49b714068111e55ae62654f137383e1d879f645a68b3453f","abstract_canon_sha256":"39a442a3abb86cd6a76ea1962e68a56a6ba8175daed7aece0c45e3ba1ad2bf5c"},"schema_version":"1.0"},"canonical_sha256":"7461fbbdf0cac3c52dc97b05f644c27430c3a1965738e7515724afdc57f5724e","source":{"kind":"arxiv","id":"1804.02546","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02546","created_at":"2026-05-18T00:18:59Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02546v1","created_at":"2026-05-18T00:18:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02546","created_at":"2026-05-18T00:18:59Z"},{"alias_kind":"pith_short_12","alias_value":"ORQ7XPPQZLB4","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"ORQ7XPPQZLB4KLOJ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"ORQ7XPPQ","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ORQ7XPPQZLB4KLOJPMC7MRGCOQ","target":"record","payload":{"canonical_record":{"source":{"id":"1804.02546","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-04-07T11:30:00Z","cross_cats_sorted":[],"title_canon_sha256":"153dc6519604ee4a49b714068111e55ae62654f137383e1d879f645a68b3453f","abstract_canon_sha256":"39a442a3abb86cd6a76ea1962e68a56a6ba8175daed7aece0c45e3ba1ad2bf5c"},"schema_version":"1.0"},"canonical_sha256":"7461fbbdf0cac3c52dc97b05f644c27430c3a1965738e7515724afdc57f5724e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:59.165694Z","signature_b64":"zSUjH2u56EEahET3az5oYSo/SIjXYlloHNxDwvqxYX/A6dyvsdP0gBVm0JmvorVOmJ+K00dXY6Gnt3uNcsFSCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7461fbbdf0cac3c52dc97b05f644c27430c3a1965738e7515724afdc57f5724e","last_reissued_at":"2026-05-18T00:18:59.165116Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:59.165116Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.02546","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-18T00:18:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Sd5ekv3h/jPO3zisXrWcQcKlMejL62llOdgzo/0xH6GqYVSPACa9VdTuw+mZB47RCpShO1a4h6FhWRnMGcbCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T20:19:45.380134Z"},"content_sha256":"79b330e3e6403f202a6fef5376a31657448a230bed74f5f9fc7ca1a7f9c7d3d4","schema_version":"1.0","event_id":"sha256:79b330e3e6403f202a6fef5376a31657448a230bed74f5f9fc7ca1a7f9c7d3d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ORQ7XPPQZLB4KLOJPMC7MRGCOQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coalgebraic Determinization of Alternating Automata","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jurriaan Rot, Meven Bertrand","submitted_at":"2018-04-07T11:30:00Z","abstract_excerpt":"Coalgebra is a currently quite active field, which aims to look at generic state-based systems (most prominently automata) from a very abstract point of view, mainly using tools from category theory. One of its achievements is to give a completely generic approach of determinization, unifying in an elegant manner non-deterministic automata, probabilistic automata or non-deterministic pushdown automata in one and the same model. However, the case of alternating automata fails to easily fit in this model. The aim of this internship was therefore to tackle this problem: can alternating automata a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02546","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-18T00:18:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PQ+a0x8ExKl0UyqbeZyOCe2kLNfQa0EnLlWctN8bsMa8t+TA4cD68XfAnNsTsG/1MKkFReTv9omoCHY6zie/DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T20:19:45.380496Z"},"content_sha256":"e9da2c1ce172152e3a5a0218039b94994244f97c5828d991e3be56f5819a0946","schema_version":"1.0","event_id":"sha256:e9da2c1ce172152e3a5a0218039b94994244f97c5828d991e3be56f5819a0946"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ORQ7XPPQZLB4KLOJPMC7MRGCOQ/bundle.json","state_url":"https://pith.science/pith/ORQ7XPPQZLB4KLOJPMC7MRGCOQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ORQ7XPPQZLB4KLOJPMC7MRGCOQ/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-27T20:19:45Z","links":{"resolver":"https://pith.science/pith/ORQ7XPPQZLB4KLOJPMC7MRGCOQ","bundle":"https://pith.science/pith/ORQ7XPPQZLB4KLOJPMC7MRGCOQ/bundle.json","state":"https://pith.science/pith/ORQ7XPPQZLB4KLOJPMC7MRGCOQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ORQ7XPPQZLB4KLOJPMC7MRGCOQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ORQ7XPPQZLB4KLOJPMC7MRGCOQ","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":"39a442a3abb86cd6a76ea1962e68a56a6ba8175daed7aece0c45e3ba1ad2bf5c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-04-07T11:30:00Z","title_canon_sha256":"153dc6519604ee4a49b714068111e55ae62654f137383e1d879f645a68b3453f"},"schema_version":"1.0","source":{"id":"1804.02546","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02546","created_at":"2026-05-18T00:18:59Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02546v1","created_at":"2026-05-18T00:18:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02546","created_at":"2026-05-18T00:18:59Z"},{"alias_kind":"pith_short_12","alias_value":"ORQ7XPPQZLB4","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"ORQ7XPPQZLB4KLOJ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"ORQ7XPPQ","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:e9da2c1ce172152e3a5a0218039b94994244f97c5828d991e3be56f5819a0946","target":"graph","created_at":"2026-05-18T00:18:59Z","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":"Coalgebra is a currently quite active field, which aims to look at generic state-based systems (most prominently automata) from a very abstract point of view, mainly using tools from category theory. One of its achievements is to give a completely generic approach of determinization, unifying in an elegant manner non-deterministic automata, probabilistic automata or non-deterministic pushdown automata in one and the same model. However, the case of alternating automata fails to easily fit in this model. The aim of this internship was therefore to tackle this problem: can alternating automata a","authors_text":"Jurriaan Rot, Meven Bertrand","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-04-07T11:30:00Z","title":"Coalgebraic Determinization of Alternating Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02546","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:79b330e3e6403f202a6fef5376a31657448a230bed74f5f9fc7ca1a7f9c7d3d4","target":"record","created_at":"2026-05-18T00:18:59Z","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":"39a442a3abb86cd6a76ea1962e68a56a6ba8175daed7aece0c45e3ba1ad2bf5c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-04-07T11:30:00Z","title_canon_sha256":"153dc6519604ee4a49b714068111e55ae62654f137383e1d879f645a68b3453f"},"schema_version":"1.0","source":{"id":"1804.02546","kind":"arxiv","version":1}},"canonical_sha256":"7461fbbdf0cac3c52dc97b05f644c27430c3a1965738e7515724afdc57f5724e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7461fbbdf0cac3c52dc97b05f644c27430c3a1965738e7515724afdc57f5724e","first_computed_at":"2026-05-18T00:18:59.165116Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:59.165116Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zSUjH2u56EEahET3az5oYSo/SIjXYlloHNxDwvqxYX/A6dyvsdP0gBVm0JmvorVOmJ+K00dXY6Gnt3uNcsFSCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:59.165694Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.02546","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79b330e3e6403f202a6fef5376a31657448a230bed74f5f9fc7ca1a7f9c7d3d4","sha256:e9da2c1ce172152e3a5a0218039b94994244f97c5828d991e3be56f5819a0946"],"state_sha256":"a3c115a3b6ebcc0bf64a3048689320cc77fb9b116f16036fce54f41889dd1483"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"riIem2o6bz7f0D7/kaM7IKUReXfqAVDxPZmA1Jdy6PQS5EoRVOpoR3fwTY9+xJniubRTjpPHVFIRyuaTgnp7CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T20:19:45.382388Z","bundle_sha256":"b2228eba4e85f29f7bacdfdc58b0507e612b91dd5eabb06320606294da411293"}}