{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:KPSOJJKIQFFZX3TCBDM7LPYUCP","short_pith_number":"pith:KPSOJJKI","canonical_record":{"source":{"id":"1807.07605","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-07-19T18:55:11Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"145a26133489f290125a97455e161e2fc88bad0eb5cfccfa38169806d7c2b9ba","abstract_canon_sha256":"1b0f703790e713a551439d5c1485e95cbd15d3c76e3495ecfd0b08d15aad2741"},"schema_version":"1.0"},"canonical_sha256":"53e4e4a548814b9bee6208d9f5bf1413dfbeee1ddadef536602e9e0b13d5e013","source":{"kind":"arxiv","id":"1807.07605","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.07605","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"arxiv_version","alias_value":"1807.07605v2","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.07605","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"pith_short_12","alias_value":"KPSOJJKIQFFZ","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"pith_short_16","alias_value":"KPSOJJKIQFFZX3TC","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"pith_short_8","alias_value":"KPSOJJKI","created_at":"2026-07-05T07:35:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:KPSOJJKIQFFZX3TCBDM7LPYUCP","target":"record","payload":{"canonical_record":{"source":{"id":"1807.07605","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-07-19T18:55:11Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"145a26133489f290125a97455e161e2fc88bad0eb5cfccfa38169806d7c2b9ba","abstract_canon_sha256":"1b0f703790e713a551439d5c1485e95cbd15d3c76e3495ecfd0b08d15aad2741"},"schema_version":"1.0"},"canonical_sha256":"53e4e4a548814b9bee6208d9f5bf1413dfbeee1ddadef536602e9e0b13d5e013","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:35:33.110122Z","signature_b64":"tAyQodIKIpksgPQvZguaRKiCwwcfNkDcDVZ3lK2hvubIgxPke1QFKgPumdaDFUQUoPZk/xL6vGZOEQhoLjwdCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"53e4e4a548814b9bee6208d9f5bf1413dfbeee1ddadef536602e9e0b13d5e013","last_reissued_at":"2026-07-05T07:35:33.109670Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:35:33.109670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.07605","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-07-05T07:35:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wNjgAjUCsk2DZBTcRw25nJfn4XEw7J/TVsFLQq/MX5zLwKsRntLU+rIeV5dM8aM2DuajRedsIHSRTfSn4j0xAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T13:06:32.048666Z"},"content_sha256":"53378616da5d2c7930d225011af139d406989b379ede3b079d262a40d5ee51cc","schema_version":"1.0","event_id":"sha256:53378616da5d2c7930d225011af139d406989b379ede3b079d262a40d5ee51cc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:KPSOJJKIQFFZX3TCBDM7LPYUCP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Avoiding 3-Term Geometric Progressions in Hurwitz Quaternions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NT"],"primary_cat":"math.CO","authors_text":"Ajmain Yamin, Bruce Fang, Eva Fourakis, Gwyneth Moreland, Megumi Asada, Nathan McNew, Sarah Manski, Sindy Xin Zhang, Steven J. Miller","submitted_at":"2018-07-19T18:55:11Z","abstract_excerpt":"Several recent papers have considered the problem of how large a subset of integers can be without containing any 3-term geometric progressions. This problem has also recently been generalized to rings of integers in quadratic number fields and polynomial rings over finite fields. We study the analogous problem in the Hurwitz quaternion order to see how non-commutativity affects the problem. We compute an exact formula for the density of a 3-term geometric-progression-free set of Hurwitz quaternions arising from a greedy algorithm and derive upper and lower bounds for the supremum of upper den"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.07605","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1807.07605/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T07:35:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"glbdrQQyitkz0ntur7NA8wbjpWJeL+U/8i57drg+kwbPDUf89hzaVXC/C130VDdMPV5SpJdUDkeP6dCCXvXSCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T13:06:32.049040Z"},"content_sha256":"0ec938c98e16c90f43dfb0f4c2a7b819999bdb6dc4b220ff147ad3899300b65c","schema_version":"1.0","event_id":"sha256:0ec938c98e16c90f43dfb0f4c2a7b819999bdb6dc4b220ff147ad3899300b65c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KPSOJJKIQFFZX3TCBDM7LPYUCP/bundle.json","state_url":"https://pith.science/pith/KPSOJJKIQFFZX3TCBDM7LPYUCP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KPSOJJKIQFFZX3TCBDM7LPYUCP/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-07-10T13:06:32Z","links":{"resolver":"https://pith.science/pith/KPSOJJKIQFFZX3TCBDM7LPYUCP","bundle":"https://pith.science/pith/KPSOJJKIQFFZX3TCBDM7LPYUCP/bundle.json","state":"https://pith.science/pith/KPSOJJKIQFFZX3TCBDM7LPYUCP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KPSOJJKIQFFZX3TCBDM7LPYUCP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:KPSOJJKIQFFZX3TCBDM7LPYUCP","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":"1b0f703790e713a551439d5c1485e95cbd15d3c76e3495ecfd0b08d15aad2741","cross_cats_sorted":["math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-07-19T18:55:11Z","title_canon_sha256":"145a26133489f290125a97455e161e2fc88bad0eb5cfccfa38169806d7c2b9ba"},"schema_version":"1.0","source":{"id":"1807.07605","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.07605","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"arxiv_version","alias_value":"1807.07605v2","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.07605","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"pith_short_12","alias_value":"KPSOJJKIQFFZ","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"pith_short_16","alias_value":"KPSOJJKIQFFZX3TC","created_at":"2026-07-05T07:35:33Z"},{"alias_kind":"pith_short_8","alias_value":"KPSOJJKI","created_at":"2026-07-05T07:35:33Z"}],"graph_snapshots":[{"event_id":"sha256:0ec938c98e16c90f43dfb0f4c2a7b819999bdb6dc4b220ff147ad3899300b65c","target":"graph","created_at":"2026-07-05T07:35:33Z","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/1807.07605/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Several recent papers have considered the problem of how large a subset of integers can be without containing any 3-term geometric progressions. This problem has also recently been generalized to rings of integers in quadratic number fields and polynomial rings over finite fields. We study the analogous problem in the Hurwitz quaternion order to see how non-commutativity affects the problem. We compute an exact formula for the density of a 3-term geometric-progression-free set of Hurwitz quaternions arising from a greedy algorithm and derive upper and lower bounds for the supremum of upper den","authors_text":"Ajmain Yamin, Bruce Fang, Eva Fourakis, Gwyneth Moreland, Megumi Asada, Nathan McNew, Sarah Manski, Sindy Xin Zhang, Steven J. Miller","cross_cats":["math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-07-19T18:55:11Z","title":"Avoiding 3-Term Geometric Progressions in Hurwitz Quaternions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.07605","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:53378616da5d2c7930d225011af139d406989b379ede3b079d262a40d5ee51cc","target":"record","created_at":"2026-07-05T07:35:33Z","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":"1b0f703790e713a551439d5c1485e95cbd15d3c76e3495ecfd0b08d15aad2741","cross_cats_sorted":["math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2018-07-19T18:55:11Z","title_canon_sha256":"145a26133489f290125a97455e161e2fc88bad0eb5cfccfa38169806d7c2b9ba"},"schema_version":"1.0","source":{"id":"1807.07605","kind":"arxiv","version":2}},"canonical_sha256":"53e4e4a548814b9bee6208d9f5bf1413dfbeee1ddadef536602e9e0b13d5e013","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"53e4e4a548814b9bee6208d9f5bf1413dfbeee1ddadef536602e9e0b13d5e013","first_computed_at":"2026-07-05T07:35:33.109670Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:35:33.109670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tAyQodIKIpksgPQvZguaRKiCwwcfNkDcDVZ3lK2hvubIgxPke1QFKgPumdaDFUQUoPZk/xL6vGZOEQhoLjwdCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:35:33.110122Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.07605","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53378616da5d2c7930d225011af139d406989b379ede3b079d262a40d5ee51cc","sha256:0ec938c98e16c90f43dfb0f4c2a7b819999bdb6dc4b220ff147ad3899300b65c"],"state_sha256":"1080c1978ca16c354686c2d4d0c990a719cf1ba877dd8aa6c879b6974d501e9c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wi5gZKQKKPU2l4cdJ/HyJv22JrEzYykUdfB5RMl7xPZjn7OG2xToeoPCemRRIFkQx6L0E1V10g56rpQuWzy+Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T13:06:32.050909Z","bundle_sha256":"6c1e004127257f50c3f6441ea79befe0e0e2395b2a776057311e980d240b2528"}}