{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:FIASAIKJBYUJL7VSNNNPTLNPPT","short_pith_number":"pith:FIASAIKJ","canonical_record":{"source":{"id":"1501.06841","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-27T17:50:47Z","cross_cats_sorted":[],"title_canon_sha256":"1686a3a8fb2c77d8b902ffd1f63633c63cb29275bb0f178cc0fa0ba5e3fb0f92","abstract_canon_sha256":"26bdc417835f1a09494050b23de92a9db46617b7bc5b7e9547eef44cdd6123fb"},"schema_version":"1.0"},"canonical_sha256":"2a012021490e2895feb26b5af9adaf7ccfd19a8d97d0513e88b2beb4df7007b0","source":{"kind":"arxiv","id":"1501.06841","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.06841","created_at":"2026-05-18T02:17:54Z"},{"alias_kind":"arxiv_version","alias_value":"1501.06841v3","created_at":"2026-05-18T02:17:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.06841","created_at":"2026-05-18T02:17:54Z"},{"alias_kind":"pith_short_12","alias_value":"FIASAIKJBYUJ","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"FIASAIKJBYUJL7VS","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"FIASAIKJ","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:FIASAIKJBYUJL7VSNNNPTLNPPT","target":"record","payload":{"canonical_record":{"source":{"id":"1501.06841","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-27T17:50:47Z","cross_cats_sorted":[],"title_canon_sha256":"1686a3a8fb2c77d8b902ffd1f63633c63cb29275bb0f178cc0fa0ba5e3fb0f92","abstract_canon_sha256":"26bdc417835f1a09494050b23de92a9db46617b7bc5b7e9547eef44cdd6123fb"},"schema_version":"1.0"},"canonical_sha256":"2a012021490e2895feb26b5af9adaf7ccfd19a8d97d0513e88b2beb4df7007b0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:17:54.236707Z","signature_b64":"IO+dpcNYmKd8WPKpB1TKlhOHc6TWaENJXlba77KsdB79lKSA8JBHnqemvwMz2OMjyLyaTsaH29FSwJk9Z5XVCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a012021490e2895feb26b5af9adaf7ccfd19a8d97d0513e88b2beb4df7007b0","last_reissued_at":"2026-05-18T02:17:54.236131Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:17:54.236131Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.06841","source_version":3,"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-18T02:17:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8HHIjl7PweD4Ds+F5Ota0pxgAA7helUNOCNAu3JsmVj/rOXQDAYBxfDKfrrEAEyhWitIH3t6Z/wh/rF4Ggf5CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:58:56.638177Z"},"content_sha256":"755ac93098adbb6d55a081ccaeb82f5ae7229c7845f2c98932c274756fe1ef11","schema_version":"1.0","event_id":"sha256:755ac93098adbb6d55a081ccaeb82f5ae7229c7845f2c98932c274756fe1ef11"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:FIASAIKJBYUJL7VSNNNPTLNPPT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Canonical Form for Weighted Automata and Applications to Approximate Minimization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Borja Balle, Doina Precup, Prakash Panangaden","submitted_at":"2015-01-27T17:50:47Z","abstract_excerpt":"We study the problem of constructing approximations to a weighted automaton. Weighted finite automata (WFA) are closely related to the theory of rational series. A rational series is a function from strings to real numbers that can be computed by a finite WFA. Among others, this includes probability distributions generated by hidden Markov models and probabilistic automata. The relationship between rational series and WFA is analogous to the relationship between regular languages and ordinary automata. Associated with such rational series are infinite matrices called Hankel matrices which play"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.06841","kind":"arxiv","version":3},"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-18T02:17:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p29YW88MS+pgcB+5Hu3P/Al7uKvL2ySPchRnxqeJdBCkVgNTzus4FS0utnlL1vni0VeQlCztnkEmzJZ/XYudCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:58:56.638794Z"},"content_sha256":"7c1e440b8f2d94fa00ef6b0f9ecf003fa2744a033cb5de461885ebead463014a","schema_version":"1.0","event_id":"sha256:7c1e440b8f2d94fa00ef6b0f9ecf003fa2744a033cb5de461885ebead463014a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/bundle.json","state_url":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/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-05-30T13:58:56Z","links":{"resolver":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT","bundle":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/bundle.json","state":"https://pith.science/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FIASAIKJBYUJL7VSNNNPTLNPPT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:FIASAIKJBYUJL7VSNNNPTLNPPT","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":"26bdc417835f1a09494050b23de92a9db46617b7bc5b7e9547eef44cdd6123fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-27T17:50:47Z","title_canon_sha256":"1686a3a8fb2c77d8b902ffd1f63633c63cb29275bb0f178cc0fa0ba5e3fb0f92"},"schema_version":"1.0","source":{"id":"1501.06841","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.06841","created_at":"2026-05-18T02:17:54Z"},{"alias_kind":"arxiv_version","alias_value":"1501.06841v3","created_at":"2026-05-18T02:17:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.06841","created_at":"2026-05-18T02:17:54Z"},{"alias_kind":"pith_short_12","alias_value":"FIASAIKJBYUJ","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"FIASAIKJBYUJL7VS","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"FIASAIKJ","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:7c1e440b8f2d94fa00ef6b0f9ecf003fa2744a033cb5de461885ebead463014a","target":"graph","created_at":"2026-05-18T02:17:54Z","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 the problem of constructing approximations to a weighted automaton. Weighted finite automata (WFA) are closely related to the theory of rational series. A rational series is a function from strings to real numbers that can be computed by a finite WFA. Among others, this includes probability distributions generated by hidden Markov models and probabilistic automata. The relationship between rational series and WFA is analogous to the relationship between regular languages and ordinary automata. Associated with such rational series are infinite matrices called Hankel matrices which play","authors_text":"Borja Balle, Doina Precup, Prakash Panangaden","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-27T17:50:47Z","title":"A Canonical Form for Weighted Automata and Applications to Approximate Minimization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.06841","kind":"arxiv","version":3},"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:755ac93098adbb6d55a081ccaeb82f5ae7229c7845f2c98932c274756fe1ef11","target":"record","created_at":"2026-05-18T02:17:54Z","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":"26bdc417835f1a09494050b23de92a9db46617b7bc5b7e9547eef44cdd6123fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2015-01-27T17:50:47Z","title_canon_sha256":"1686a3a8fb2c77d8b902ffd1f63633c63cb29275bb0f178cc0fa0ba5e3fb0f92"},"schema_version":"1.0","source":{"id":"1501.06841","kind":"arxiv","version":3}},"canonical_sha256":"2a012021490e2895feb26b5af9adaf7ccfd19a8d97d0513e88b2beb4df7007b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a012021490e2895feb26b5af9adaf7ccfd19a8d97d0513e88b2beb4df7007b0","first_computed_at":"2026-05-18T02:17:54.236131Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:17:54.236131Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IO+dpcNYmKd8WPKpB1TKlhOHc6TWaENJXlba77KsdB79lKSA8JBHnqemvwMz2OMjyLyaTsaH29FSwJk9Z5XVCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:17:54.236707Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.06841","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:755ac93098adbb6d55a081ccaeb82f5ae7229c7845f2c98932c274756fe1ef11","sha256:7c1e440b8f2d94fa00ef6b0f9ecf003fa2744a033cb5de461885ebead463014a"],"state_sha256":"b8c4ef02b977e90a625ce596963425ef82594f884c29aaca1298c3f3d5fb831e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hp+wYeuavnvyQdmkGV+WLhlprRfgsVEKoa0IyFXTRgFaERZog8iUZR/FBih1yrV1VlmJlir0cCNo5L9p2Q4LCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T13:58:56.642454Z","bundle_sha256":"1e9b64b63e9533a75594b0d5ecb18639ac81e1f7a4dcdcc5db91cc2f7cffed3c"}}