{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:UZYS5URPAZK4MOVDG3DETJAMGN","short_pith_number":"pith:UZYS5URP","canonical_record":{"source":{"id":"1508.03814","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-08-16T11:50:05Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"4ea4d726b1af82be31b81867e58d8aebd7360f6b5a81dd2781ff1505ccae3e45","abstract_canon_sha256":"2f651db7a458219eeeb21cb29947f0f1d6f66d6cc157be61dedcde70e7c38dd1"},"schema_version":"1.0"},"canonical_sha256":"a6712ed22f0655c63aa336c649a40c334c25a65c1b5b5575a0cb7327c7063f67","source":{"kind":"arxiv","id":"1508.03814","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.03814","created_at":"2026-05-18T01:35:15Z"},{"alias_kind":"arxiv_version","alias_value":"1508.03814v1","created_at":"2026-05-18T01:35:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.03814","created_at":"2026-05-18T01:35:15Z"},{"alias_kind":"pith_short_12","alias_value":"UZYS5URPAZK4","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"UZYS5URPAZK4MOVD","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"UZYS5URP","created_at":"2026-05-18T12:29:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:UZYS5URPAZK4MOVDG3DETJAMGN","target":"record","payload":{"canonical_record":{"source":{"id":"1508.03814","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-08-16T11:50:05Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"4ea4d726b1af82be31b81867e58d8aebd7360f6b5a81dd2781ff1505ccae3e45","abstract_canon_sha256":"2f651db7a458219eeeb21cb29947f0f1d6f66d6cc157be61dedcde70e7c38dd1"},"schema_version":"1.0"},"canonical_sha256":"a6712ed22f0655c63aa336c649a40c334c25a65c1b5b5575a0cb7327c7063f67","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:15.177004Z","signature_b64":"R/4cde54I1vWTXtANXDUfvmPIqcne/JRo/wprtyW2n5CixK183t2v7e60EkeyKKdkL6fxWjreTMbRTgZ5EzjDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6712ed22f0655c63aa336c649a40c334c25a65c1b5b5575a0cb7327c7063f67","last_reissued_at":"2026-05-18T01:35:15.176635Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:15.176635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.03814","source_version":1,"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-05-18T01:35:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RH87BDpCjVBBlPO9c/vrDDO8tR5iM4QS38ILNJXww5qOJGRfR9RhCa+XU7L8AUbLPEwC2AAHg8+I/EaOw+fzDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T07:03:57.879732Z"},"content_sha256":"a23e3bd9d9be29dd070e22f96b22084903bdde270262deee771a1dae13b6a9d4","schema_version":"1.0","event_id":"sha256:a23e3bd9d9be29dd070e22f96b22084903bdde270262deee771a1dae13b6a9d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:UZYS5URPAZK4MOVDG3DETJAMGN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Differences of subgroups in subgroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.NT","authors_text":"Ilya D. Shkredov","submitted_at":"2015-08-16T11:50:05Z","abstract_excerpt":"We prove, in particular, that if A,G are two arbitrary multiplicative subgroups of the prime field f_p, |G| < p^{3/4} such that the difference A-A is contained in G then |A| \\ll |\\G|^{1/3+o(1)}. Also, we obtain that for any eps>0 and a sufficiently large subgroup G with |G| \\ll p^{1/2-eps} there is no representation G as G = A+B, where A is another subgroup, and B is an arbitrary set, |A|,|B|>1. Finally, we study the number of collinear triples containing in a set of f_p and prove a \"dual\" sum-products estimate."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.03814","kind":"arxiv","version":1},"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"},"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-05-18T01:35:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IyTtgqOXltP2qL8OewDHf16rLcRUvZ3AHG2DQZ3AvePii00chS6gesCG75I/v+JhfaFJl567kyOrIyRjzjYmAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T07:03:57.880384Z"},"content_sha256":"29410f55ec344924e957353f6af8bb64a5981c8a590ef814fcbb30729612eeaf","schema_version":"1.0","event_id":"sha256:29410f55ec344924e957353f6af8bb64a5981c8a590ef814fcbb30729612eeaf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UZYS5URPAZK4MOVDG3DETJAMGN/bundle.json","state_url":"https://pith.science/pith/UZYS5URPAZK4MOVDG3DETJAMGN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UZYS5URPAZK4MOVDG3DETJAMGN/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-06-10T07:03:57Z","links":{"resolver":"https://pith.science/pith/UZYS5URPAZK4MOVDG3DETJAMGN","bundle":"https://pith.science/pith/UZYS5URPAZK4MOVDG3DETJAMGN/bundle.json","state":"https://pith.science/pith/UZYS5URPAZK4MOVDG3DETJAMGN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UZYS5URPAZK4MOVDG3DETJAMGN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:UZYS5URPAZK4MOVDG3DETJAMGN","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":"2f651db7a458219eeeb21cb29947f0f1d6f66d6cc157be61dedcde70e7c38dd1","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-08-16T11:50:05Z","title_canon_sha256":"4ea4d726b1af82be31b81867e58d8aebd7360f6b5a81dd2781ff1505ccae3e45"},"schema_version":"1.0","source":{"id":"1508.03814","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.03814","created_at":"2026-05-18T01:35:15Z"},{"alias_kind":"arxiv_version","alias_value":"1508.03814v1","created_at":"2026-05-18T01:35:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.03814","created_at":"2026-05-18T01:35:15Z"},{"alias_kind":"pith_short_12","alias_value":"UZYS5URPAZK4","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"UZYS5URPAZK4MOVD","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"UZYS5URP","created_at":"2026-05-18T12:29:44Z"}],"graph_snapshots":[{"event_id":"sha256:29410f55ec344924e957353f6af8bb64a5981c8a590ef814fcbb30729612eeaf","target":"graph","created_at":"2026-05-18T01:35:15Z","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":"We prove, in particular, that if A,G are two arbitrary multiplicative subgroups of the prime field f_p, |G| < p^{3/4} such that the difference A-A is contained in G then |A| \\ll |\\G|^{1/3+o(1)}. Also, we obtain that for any eps>0 and a sufficiently large subgroup G with |G| \\ll p^{1/2-eps} there is no representation G as G = A+B, where A is another subgroup, and B is an arbitrary set, |A|,|B|>1. Finally, we study the number of collinear triples containing in a set of f_p and prove a \"dual\" sum-products estimate.","authors_text":"Ilya D. Shkredov","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-08-16T11:50:05Z","title":"Differences of subgroups in subgroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.03814","kind":"arxiv","version":1},"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:a23e3bd9d9be29dd070e22f96b22084903bdde270262deee771a1dae13b6a9d4","target":"record","created_at":"2026-05-18T01:35:15Z","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":"2f651db7a458219eeeb21cb29947f0f1d6f66d6cc157be61dedcde70e7c38dd1","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2015-08-16T11:50:05Z","title_canon_sha256":"4ea4d726b1af82be31b81867e58d8aebd7360f6b5a81dd2781ff1505ccae3e45"},"schema_version":"1.0","source":{"id":"1508.03814","kind":"arxiv","version":1}},"canonical_sha256":"a6712ed22f0655c63aa336c649a40c334c25a65c1b5b5575a0cb7327c7063f67","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6712ed22f0655c63aa336c649a40c334c25a65c1b5b5575a0cb7327c7063f67","first_computed_at":"2026-05-18T01:35:15.176635Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:15.176635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R/4cde54I1vWTXtANXDUfvmPIqcne/JRo/wprtyW2n5CixK183t2v7e60EkeyKKdkL6fxWjreTMbRTgZ5EzjDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:15.177004Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.03814","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a23e3bd9d9be29dd070e22f96b22084903bdde270262deee771a1dae13b6a9d4","sha256:29410f55ec344924e957353f6af8bb64a5981c8a590ef814fcbb30729612eeaf"],"state_sha256":"994d18d8379ce3353e2e6804245fe05f4ef511246ceb058d62a351e52dbab9e4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aePmYcE65CqXL9vcgHt4kLm1xl9UNtf+tFsfsdcES9yJx7ljlQ3nZUPHNGW1V5xSqbwtaWesaN3VbvUu8P+pCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T07:03:57.884607Z","bundle_sha256":"b8e312bd80a4bee2ad242d2c9e6deade0a48147df94257c84d1eb0e9226dabcb"}}