{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JX2XRG3Z2CM3NJLOUFWBRPXAUO","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":"fb876a558e49bbaac2f4bbeed350f2eeb63fbef1c90eecce5e4d28f164fcdf39","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GM","submitted_at":"2023-09-20T23:40:40Z","title_canon_sha256":"4c1941b12d8969f2ab07c661cd00bab4f7609e41dbed87d2dc2d01422b7f3161"},"schema_version":"1.0","source":{"id":"2402.00001","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00001","created_at":"2026-07-05T08:30:07Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00001v3","created_at":"2026-07-05T08:30:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00001","created_at":"2026-07-05T08:30:07Z"},{"alias_kind":"pith_short_12","alias_value":"JX2XRG3Z2CM3","created_at":"2026-07-05T08:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"JX2XRG3Z2CM3NJLO","created_at":"2026-07-05T08:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"JX2XRG3Z","created_at":"2026-07-05T08:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:bb81a29cd47c84fe14cf20d640b4af7f04bbba5f6ef8ed6a211f4de0f474df20","target":"graph","created_at":"2026-07-05T08:30:07Z","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/2402.00001/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce a full binary directed tree structure to represent the set of natural numbers, further categorizing them into three distinct subsets: pure odd numbers, pure even numbers, and mixed numbers. We adopt a binary string representation for natural numbers and elaborate on the composite methodology encompassing odd- and even-number functions. Our analysis focuses on examining the iteration sequence (or composition) of the Collatz function and its reduced variant, which serves as an analog to the inverse function, to scrutinize the validity of the Collatz conjecture. To substantiate this ","authors_text":"Jishe Feng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GM","submitted_at":"2023-09-20T23:40:40Z","title":"Using binary string to prove the Collatz conjecture"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00001","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:f2b887a9541c129f67a344b71d9b5d4ac41fe426f19a548b12096c3d347db610","target":"record","created_at":"2026-07-05T08:30:07Z","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":"fb876a558e49bbaac2f4bbeed350f2eeb63fbef1c90eecce5e4d28f164fcdf39","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GM","submitted_at":"2023-09-20T23:40:40Z","title_canon_sha256":"4c1941b12d8969f2ab07c661cd00bab4f7609e41dbed87d2dc2d01422b7f3161"},"schema_version":"1.0","source":{"id":"2402.00001","kind":"arxiv","version":3}},"canonical_sha256":"4df5789b79d099b6a56ea16c18bee0a3a5d4564a48165b2d1a94f34363620fdd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4df5789b79d099b6a56ea16c18bee0a3a5d4564a48165b2d1a94f34363620fdd","first_computed_at":"2026-07-05T08:30:07.983786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:30:07.983786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ct+NmRk9r1sOEf/z3YMfYAl50HMq0DKH1Qis5aUfjEi8HyfjevddrqNn8a5goblpCdZxYndVGju1H0OvUmV5Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:30:07.984256Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.00001","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f2b887a9541c129f67a344b71d9b5d4ac41fe426f19a548b12096c3d347db610","sha256:bb81a29cd47c84fe14cf20d640b4af7f04bbba5f6ef8ed6a211f4de0f474df20"],"state_sha256":"4d8e5adf33ebd453c8a602c6a04c7bb7e2221acdecc6299068fa88130f586150"}