{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OF5KBHWXHYUB2LCL3YZ77CUOSA","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":"c50c82b9e5b7e9048dc2439209f95a63fa4b303ece6bfa097d4ce26ba72321c4","cross_cats_sorted":["cs.CR","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-07-25T12:12:35Z","title_canon_sha256":"4100f6f20d8aa208ac614a5189a4855e9f085418e8eb73db5a2b14a7f63ff3fd"},"schema_version":"1.0","source":{"id":"1707.07945","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.07945","created_at":"2026-05-18T00:11:00Z"},{"alias_kind":"arxiv_version","alias_value":"1707.07945v2","created_at":"2026-05-18T00:11:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.07945","created_at":"2026-05-18T00:11:00Z"},{"alias_kind":"pith_short_12","alias_value":"OF5KBHWXHYUB","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OF5KBHWXHYUB2LCL","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OF5KBHWX","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:074d2cda686d9afd1bbc93396b0387e594b36c72c9f00e94941798baaab2c6f2","target":"graph","created_at":"2026-05-18T00:11:00Z","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":"The Tu--Deng Conjecture is concerned with the sum of digits $w(n)$ of $n$ in base~$2$ (the Hamming weight of the binary expansion of $n$) and states the following: assume that $k$ is a positive integer and $1\\leq t<2^k-1$. Then \\[\\Bigl \\lvert\\Bigl\\{(a,b)\\in\\bigl\\{0,\\ldots,2^k-2\\bigr\\}^2:a+b\\equiv t\\bmod 2^k-1, w(a)+w(b)<k\\Bigr\\}\\Bigr \\rvert\\leq 2^{k-1}.\\]\n  We prove that the Tu--Deng Conjecture holds almost surely in the following sense: the proportion of $t\\in[1,2^k-2]$ such that the above inequality holds approaches $1$ as $k\\rightarrow\\infty$.\n  Moreover, we prove that the Tu--Deng Conjectu","authors_text":"Lukas Spiegelhofer, Michael Wallner","cross_cats":["cs.CR","math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-07-25T12:12:35Z","title":"The Tu--Deng Conjecture holds almost surely"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.07945","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:53b1ba44dce7a6a19f5743b079cc425a47e75a15fdf97b0d6edea51eb4b5795a","target":"record","created_at":"2026-05-18T00:11:00Z","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":"c50c82b9e5b7e9048dc2439209f95a63fa4b303ece6bfa097d4ce26ba72321c4","cross_cats_sorted":["cs.CR","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-07-25T12:12:35Z","title_canon_sha256":"4100f6f20d8aa208ac614a5189a4855e9f085418e8eb73db5a2b14a7f63ff3fd"},"schema_version":"1.0","source":{"id":"1707.07945","kind":"arxiv","version":2}},"canonical_sha256":"717aa09ed73e281d2c4bde33ff8a8e900529abc3a39f8d4b4a27ead08ea293ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"717aa09ed73e281d2c4bde33ff8a8e900529abc3a39f8d4b4a27ead08ea293ef","first_computed_at":"2026-05-18T00:11:00.495686Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:11:00.495686Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VwVM5jrqV049fPmnOKwti/awVplLoJBK0MkQ2NJcJ+T3f0z01kGkneOZ9TfBpA9R0ujzA+iVp0dllbLLnccdDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:11:00.496420Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.07945","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53b1ba44dce7a6a19f5743b079cc425a47e75a15fdf97b0d6edea51eb4b5795a","sha256:074d2cda686d9afd1bbc93396b0387e594b36c72c9f00e94941798baaab2c6f2"],"state_sha256":"f2fc4d0f3f2b7ff72b082313507cd12d911541279d2e96b434c578625e0886f4"}