{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:AYRYF3QYKPTD7PAZSNCSXGVUHM","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":"420c0258188813782fc5e9468642b69fd094045ea63060b3094b71dec4d620e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2023-09-06T15:19:15Z","title_canon_sha256":"ac397209368dcc26c7eb97e4149fe7af50459938c643e78226217597905426dd"},"schema_version":"1.0","source":{"id":"2309.03073","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.03073","created_at":"2026-07-05T08:48:39Z"},{"alias_kind":"arxiv_version","alias_value":"2309.03073v2","created_at":"2026-07-05T08:48:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.03073","created_at":"2026-07-05T08:48:39Z"},{"alias_kind":"pith_short_12","alias_value":"AYRYF3QYKPTD","created_at":"2026-07-05T08:48:39Z"},{"alias_kind":"pith_short_16","alias_value":"AYRYF3QYKPTD7PAZ","created_at":"2026-07-05T08:48:39Z"},{"alias_kind":"pith_short_8","alias_value":"AYRYF3QY","created_at":"2026-07-05T08:48:39Z"}],"graph_snapshots":[{"event_id":"sha256:b33854ee934b35635343c0cd6736879e2d4176fcfa4dbab7d7d17b61d2af21d9","target":"graph","created_at":"2026-07-05T08:48:39Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2309.03073/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Nonlinear cellular automata are extensively used in simulations, image processing, cryptography, and so on. The determination of their fundamental properties, injectivity and surjectivity, related to information loss during the evolution, is necessary in various applications. Currently, people still use Amoroso's algorithms for injectivity and surjectivity determinations, but this incurs significant computational costs when applied to complex nonlinear cellular automata. We have optimized Amoroso's surjectivity algorithm, improving its operational efficiency greatly and extended its applicabil","authors_text":"Chao Wang, Chen Wang, Defu Lin, Junchi Ma, Weilin Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2023-09-06T15:19:15Z","title":"Efficient Algorithms for Injectivity and Bounded Surjectivity of One-dimensional Nonlinear Cellular Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.03073","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:af2fb630b508a527da7ad86edcbc3afc2adbd19a7363193cd6fce279a4a6b6ee","target":"record","created_at":"2026-07-05T08:48:39Z","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":"420c0258188813782fc5e9468642b69fd094045ea63060b3094b71dec4d620e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2023-09-06T15:19:15Z","title_canon_sha256":"ac397209368dcc26c7eb97e4149fe7af50459938c643e78226217597905426dd"},"schema_version":"1.0","source":{"id":"2309.03073","kind":"arxiv","version":2}},"canonical_sha256":"062382ee1853e63fbc1993452b9ab43b2b4a4c9ba2f42f57fbc7b00d2f695712","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"062382ee1853e63fbc1993452b9ab43b2b4a4c9ba2f42f57fbc7b00d2f695712","first_computed_at":"2026-07-05T08:48:39.236057Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:48:39.236057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qNTocZ161oypA6Z1s3YTuMIQ2d5FciYhywsaF7BTqP6K3EQD3FpfGRANeZJR49SJspRZFzYsuUzwUCfndTFbCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:48:39.236547Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.03073","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af2fb630b508a527da7ad86edcbc3afc2adbd19a7363193cd6fce279a4a6b6ee","sha256:b33854ee934b35635343c0cd6736879e2d4176fcfa4dbab7d7d17b61d2af21d9"],"state_sha256":"74d16d9f9eb86284fffe3695ae982311848a809bbd5a2a3e2003cb0f81e7e11b"}