{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:5KCD6NGP5FHODAAJCAOFMQFHZX","short_pith_number":"pith:5KCD6NGP","canonical_record":{"source":{"id":"1702.04376","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-14T20:17:00Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"3d8e2c55a8526c3d50703669abe8aed27e89f4b979a270b5277fff8fc5ec7f4d","abstract_canon_sha256":"8384aee43d3c213efff1568240b6e13c5e32d24b18eb35e3dd8278cd5a7af95f"},"schema_version":"1.0"},"canonical_sha256":"ea843f34cfe94ee18009101c5640a7cde5a0c553337644442f6e60984569bec9","source":{"kind":"arxiv","id":"1702.04376","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.04376","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"arxiv_version","alias_value":"1702.04376v2","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.04376","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"pith_short_12","alias_value":"5KCD6NGP5FHO","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5KCD6NGP5FHODAAJ","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5KCD6NGP","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:5KCD6NGP5FHODAAJCAOFMQFHZX","target":"record","payload":{"canonical_record":{"source":{"id":"1702.04376","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-14T20:17:00Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"3d8e2c55a8526c3d50703669abe8aed27e89f4b979a270b5277fff8fc5ec7f4d","abstract_canon_sha256":"8384aee43d3c213efff1568240b6e13c5e32d24b18eb35e3dd8278cd5a7af95f"},"schema_version":"1.0"},"canonical_sha256":"ea843f34cfe94ee18009101c5640a7cde5a0c553337644442f6e60984569bec9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:46.467587Z","signature_b64":"z766flDcXy+hSM2wdCIYO0f+uYff06Wp+xZUFldxCYeF3haBrQTmLiEfObmLEyRbmCXj8q7xgbpqNGjVXHtSAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea843f34cfe94ee18009101c5640a7cde5a0c553337644442f6e60984569bec9","last_reissued_at":"2026-05-18T00:26:46.466976Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:46.466976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.04376","source_version":2,"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:26:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MiwJdmircdGOu4F6mpT1rWX9MztcCzQSMGB55+p8lygKP+SYfW4LDEt+XQqn1/OZBlbJuU0xyFL1qzOaUrqEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:00:40.050206Z"},"content_sha256":"23089fae5129259abfb24760ccedb857d248d9bf935466de09a0895ff575518e","schema_version":"1.0","event_id":"sha256:23089fae5129259abfb24760ccedb857d248d9bf935466de09a0895ff575518e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:5KCD6NGP5FHODAAJCAOFMQFHZX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automata theory on sliding windows","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.FL","authors_text":"Daniel K\\\"onig, Danny Hucke, Konstantinos Mamouras, Markus Lohrey, Moses Ganardi","submitted_at":"2017-02-14T20:17:00Z","abstract_excerpt":"In a recent paper we analyzed the space complexity of streaming algorithms whose goal is to decide membership of a sliding window to a fixed language. For the class of regular languages we proved a space trichotomy theorem: for every regular language the optimal space bound is either constant, logarithmic or linear. In this paper we continue this line of research: We present natural characterizations for the constant and logarithmic space classes and establish tight relationships to the concept of language growth. We also analyze the space complexity with respect to automata size and prove alm"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.04376","kind":"arxiv","version":2},"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:26:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WZZSEninthHmPu4RW29+E1qSp36aYLdjsKGeP3F+XkLkRsDHens0jjBiOrok/4OXEmaGaagxSMdFbNFzAzvzDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T20:00:40.050873Z"},"content_sha256":"b5477890818d79050235a587140e4f7371d9cef1ee5baa5bb10cef33d7ca731e","schema_version":"1.0","event_id":"sha256:b5477890818d79050235a587140e4f7371d9cef1ee5baa5bb10cef33d7ca731e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5KCD6NGP5FHODAAJCAOFMQFHZX/bundle.json","state_url":"https://pith.science/pith/5KCD6NGP5FHODAAJCAOFMQFHZX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5KCD6NGP5FHODAAJCAOFMQFHZX/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-26T20:00:40Z","links":{"resolver":"https://pith.science/pith/5KCD6NGP5FHODAAJCAOFMQFHZX","bundle":"https://pith.science/pith/5KCD6NGP5FHODAAJCAOFMQFHZX/bundle.json","state":"https://pith.science/pith/5KCD6NGP5FHODAAJCAOFMQFHZX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5KCD6NGP5FHODAAJCAOFMQFHZX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5KCD6NGP5FHODAAJCAOFMQFHZX","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":"8384aee43d3c213efff1568240b6e13c5e32d24b18eb35e3dd8278cd5a7af95f","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-14T20:17:00Z","title_canon_sha256":"3d8e2c55a8526c3d50703669abe8aed27e89f4b979a270b5277fff8fc5ec7f4d"},"schema_version":"1.0","source":{"id":"1702.04376","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.04376","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"arxiv_version","alias_value":"1702.04376v2","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.04376","created_at":"2026-05-18T00:26:46Z"},{"alias_kind":"pith_short_12","alias_value":"5KCD6NGP5FHO","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5KCD6NGP5FHODAAJ","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5KCD6NGP","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:b5477890818d79050235a587140e4f7371d9cef1ee5baa5bb10cef33d7ca731e","target":"graph","created_at":"2026-05-18T00:26:46Z","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":"In a recent paper we analyzed the space complexity of streaming algorithms whose goal is to decide membership of a sliding window to a fixed language. For the class of regular languages we proved a space trichotomy theorem: for every regular language the optimal space bound is either constant, logarithmic or linear. In this paper we continue this line of research: We present natural characterizations for the constant and logarithmic space classes and establish tight relationships to the concept of language growth. We also analyze the space complexity with respect to automata size and prove alm","authors_text":"Daniel K\\\"onig, Danny Hucke, Konstantinos Mamouras, Markus Lohrey, Moses Ganardi","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-14T20:17:00Z","title":"Automata theory on sliding windows"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.04376","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:23089fae5129259abfb24760ccedb857d248d9bf935466de09a0895ff575518e","target":"record","created_at":"2026-05-18T00:26:46Z","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":"8384aee43d3c213efff1568240b6e13c5e32d24b18eb35e3dd8278cd5a7af95f","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-02-14T20:17:00Z","title_canon_sha256":"3d8e2c55a8526c3d50703669abe8aed27e89f4b979a270b5277fff8fc5ec7f4d"},"schema_version":"1.0","source":{"id":"1702.04376","kind":"arxiv","version":2}},"canonical_sha256":"ea843f34cfe94ee18009101c5640a7cde5a0c553337644442f6e60984569bec9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea843f34cfe94ee18009101c5640a7cde5a0c553337644442f6e60984569bec9","first_computed_at":"2026-05-18T00:26:46.466976Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:46.466976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"z766flDcXy+hSM2wdCIYO0f+uYff06Wp+xZUFldxCYeF3haBrQTmLiEfObmLEyRbmCXj8q7xgbpqNGjVXHtSAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:46.467587Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.04376","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:23089fae5129259abfb24760ccedb857d248d9bf935466de09a0895ff575518e","sha256:b5477890818d79050235a587140e4f7371d9cef1ee5baa5bb10cef33d7ca731e"],"state_sha256":"8052dbe6122106ecc99318431d98adc0a847b6b30244b3a2ec26fa1710e25352"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rYDvy0OGaHaSfZ/vBbWhButMUw2ac/EvcnCrZ3KgbOX1YwfqoGIt8yd4ckuNv9vEXJkoJ6BpPFMm2RrDftH8Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T20:00:40.054205Z","bundle_sha256":"3415b7182f69e7d5d12ae349e37344f23cc73e692a59d89866c710520946a986"}}