{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:6GNQY7MIKE7B4JZ6VG6ZWLCEZF","short_pith_number":"pith:6GNQY7MI","schema_version":"1.0","canonical_sha256":"f19b0c7d88513e1e273ea9bd9b2c44c97d62b8451100e822aa3386ccc9029728","source":{"kind":"arxiv","id":"1204.3904","version":2},"attestation_state":"computed","paper":{"title":"Strongly sufficient sets and the distribution of arithmetic sequences in the 3x+1 graph","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Keenan Monks, Kenneth G. Monks, Kenneth M. Monks, Maria Monks","submitted_at":"2012-04-17T20:05:03Z","abstract_excerpt":"The 3x+1 Conjecture asserts that the T-orbit of every positive integer contains 1, where T maps x\\mapsto x/2 for x even and x\\mapsto (3x+1)/2 for x odd. A set S of positive integers is sufficient if the orbit of each positive integer intersects the orbit of some member of S. In a previous paper it was shown that every arithmetic sequence is sufficient.\n  In this paper we further investigate the concept of sufficiency. We construct sufficient sets of arbitrarily low asymptotic density in the natural numbers. We determine the structure of the groups generated by the maps x\\mapsto x/2 and x\\mapst"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1204.3904","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2012-04-17T20:05:03Z","cross_cats_sorted":[],"title_canon_sha256":"9a2367610d3b0b9fcd701471178d1d08eaf64a1e30f7a8602177f0b2651e441c","abstract_canon_sha256":"50af504e2db33e880151500abac50bf57df9920e08544e10d579c2f815736778"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:57:26.397711Z","signature_b64":"o90MORJaII7+9Cwxhvfe6N8jkZaA91imJD0xz56D6FtgwpP/scm+wjOdT9n9AbICKBc5MUbpMkPOpANPAQltAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f19b0c7d88513e1e273ea9bd9b2c44c97d62b8451100e822aa3386ccc9029728","last_reissued_at":"2026-05-18T03:57:26.396913Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:57:26.396913Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Strongly sufficient sets and the distribution of arithmetic sequences in the 3x+1 graph","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Keenan Monks, Kenneth G. Monks, Kenneth M. Monks, Maria Monks","submitted_at":"2012-04-17T20:05:03Z","abstract_excerpt":"The 3x+1 Conjecture asserts that the T-orbit of every positive integer contains 1, where T maps x\\mapsto x/2 for x even and x\\mapsto (3x+1)/2 for x odd. A set S of positive integers is sufficient if the orbit of each positive integer intersects the orbit of some member of S. In a previous paper it was shown that every arithmetic sequence is sufficient.\n  In this paper we further investigate the concept of sufficiency. We construct sufficient sets of arbitrarily low asymptotic density in the natural numbers. We determine the structure of the groups generated by the maps x\\mapsto x/2 and x\\mapst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.3904","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1204.3904","created_at":"2026-05-18T03:57:26.397045+00:00"},{"alias_kind":"arxiv_version","alias_value":"1204.3904v2","created_at":"2026-05-18T03:57:26.397045+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.3904","created_at":"2026-05-18T03:57:26.397045+00:00"},{"alias_kind":"pith_short_12","alias_value":"6GNQY7MIKE7B","created_at":"2026-05-18T12:26:56.085431+00:00"},{"alias_kind":"pith_short_16","alias_value":"6GNQY7MIKE7B4JZ6","created_at":"2026-05-18T12:26:56.085431+00:00"},{"alias_kind":"pith_short_8","alias_value":"6GNQY7MI","created_at":"2026-05-18T12:26:56.085431+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF","json":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF.json","graph_json":"https://pith.science/api/pith-number/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/graph.json","events_json":"https://pith.science/api/pith-number/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/events.json","paper":"https://pith.science/paper/6GNQY7MI"},"agent_actions":{"view_html":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF","download_json":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF.json","view_paper":"https://pith.science/paper/6GNQY7MI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1204.3904&json=true","fetch_graph":"https://pith.science/api/pith-number/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/graph.json","fetch_events":"https://pith.science/api/pith-number/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/action/storage_attestation","attest_author":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/action/author_attestation","sign_citation":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/action/citation_signature","submit_replication":"https://pith.science/pith/6GNQY7MIKE7B4JZ6VG6ZWLCEZF/action/replication_record"}},"created_at":"2026-05-18T03:57:26.397045+00:00","updated_at":"2026-05-18T03:57:26.397045+00:00"}