{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:I4DQ2NJWW55PEZRLNMSADZKODE","short_pith_number":"pith:I4DQ2NJW","canonical_record":{"source":{"id":"1504.05732","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-04-22T11:12:30Z","cross_cats_sorted":[],"title_canon_sha256":"b069ecaa7a8ef4e250451bd820632fb773b68dafe19e7cb0fedf523bd5a36169","abstract_canon_sha256":"6c67f5ded34f1c71f242a733d31cd2a9d02852d11431ca144003a517ec73eb1a"},"schema_version":"1.0"},"canonical_sha256":"47070d3536b77af2662b6b2401e54e190f2454b9a869e10b7725dd33d6ccb8f2","source":{"kind":"arxiv","id":"1504.05732","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05732","created_at":"2026-05-18T01:04:33Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05732v2","created_at":"2026-05-18T01:04:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05732","created_at":"2026-05-18T01:04:33Z"},{"alias_kind":"pith_short_12","alias_value":"I4DQ2NJWW55P","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"I4DQ2NJWW55PEZRL","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"I4DQ2NJW","created_at":"2026-05-18T12:29:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:I4DQ2NJWW55PEZRLNMSADZKODE","target":"record","payload":{"canonical_record":{"source":{"id":"1504.05732","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-04-22T11:12:30Z","cross_cats_sorted":[],"title_canon_sha256":"b069ecaa7a8ef4e250451bd820632fb773b68dafe19e7cb0fedf523bd5a36169","abstract_canon_sha256":"6c67f5ded34f1c71f242a733d31cd2a9d02852d11431ca144003a517ec73eb1a"},"schema_version":"1.0"},"canonical_sha256":"47070d3536b77af2662b6b2401e54e190f2454b9a869e10b7725dd33d6ccb8f2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:33.355386Z","signature_b64":"bEngOo0emZKnWtJ5UhwhfgM1D7HSwmvdLmwbDD+VtKWPwFBTmsbYhT+i3C3UfSpZDd3p0oAlHbF2MKKXPQeGDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"47070d3536b77af2662b6b2401e54e190f2454b9a869e10b7725dd33d6ccb8f2","last_reissued_at":"2026-05-18T01:04:33.354628Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:33.354628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.05732","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-05-18T01:04:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AttQnRt8X+CoNG47KHnKkikRwjPeJmvFwVdI04Q7rAzIJ9l1fcY/PBMde8hyPiXQOQGtMqkn1akZgnUONJC1AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T12:48:43.591658Z"},"content_sha256":"220119e0ee9e3fe7b66e91df1a8688c6dfe2808f1572e974e81b14b90a290b05","schema_version":"1.0","event_id":"sha256:220119e0ee9e3fe7b66e91df1a8688c6dfe2808f1572e974e81b14b90a290b05"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:I4DQ2NJWW55PEZRLNMSADZKODE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pointwise double recurrence and nilsequences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Idris Assani","submitted_at":"2015-04-22T11:12:30Z","abstract_excerpt":"Consider a system $(X, \\mathcal{F}, \\mu, T)$, bounded functions $f_1, f_2 \\in L^\\infty(\\mu)$ and $a,b \\in \\ZZ.$ We show that there exists a set of full measure $X_{f_1, f_2}$ in $X$ such that for all $x \\in X_{f_1, f_2}$ and for every nilsequence $b_n$ , the averages \\[ \\frac{1}{N} \\sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)b_n \\] converge. We will show that this can be deduced from the classical Wiener-Wintner theorem for the double recurrence theorem. Together with the past work on this subject, we will show that several statements regarding the extension of the double recurrence theorem are equiv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05732","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"},"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:04:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PN0o7qlFlyOhkqrjDG9HpnchsiNqUF8Tdvam/rSjzjpp81m18UrrZ1adtgV1lE8INrk3i3I9aNm2EcURmghhBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T12:48:43.592000Z"},"content_sha256":"7b4a92ae861144a561c4a84ce143686ac2311db3f68d9ca62eb6d82ce4cd7576","schema_version":"1.0","event_id":"sha256:7b4a92ae861144a561c4a84ce143686ac2311db3f68d9ca62eb6d82ce4cd7576"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I4DQ2NJWW55PEZRLNMSADZKODE/bundle.json","state_url":"https://pith.science/pith/I4DQ2NJWW55PEZRLNMSADZKODE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I4DQ2NJWW55PEZRLNMSADZKODE/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-23T12:48:43Z","links":{"resolver":"https://pith.science/pith/I4DQ2NJWW55PEZRLNMSADZKODE","bundle":"https://pith.science/pith/I4DQ2NJWW55PEZRLNMSADZKODE/bundle.json","state":"https://pith.science/pith/I4DQ2NJWW55PEZRLNMSADZKODE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I4DQ2NJWW55PEZRLNMSADZKODE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:I4DQ2NJWW55PEZRLNMSADZKODE","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":"6c67f5ded34f1c71f242a733d31cd2a9d02852d11431ca144003a517ec73eb1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-04-22T11:12:30Z","title_canon_sha256":"b069ecaa7a8ef4e250451bd820632fb773b68dafe19e7cb0fedf523bd5a36169"},"schema_version":"1.0","source":{"id":"1504.05732","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05732","created_at":"2026-05-18T01:04:33Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05732v2","created_at":"2026-05-18T01:04:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05732","created_at":"2026-05-18T01:04:33Z"},{"alias_kind":"pith_short_12","alias_value":"I4DQ2NJWW55P","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"I4DQ2NJWW55PEZRL","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"I4DQ2NJW","created_at":"2026-05-18T12:29:25Z"}],"graph_snapshots":[{"event_id":"sha256:7b4a92ae861144a561c4a84ce143686ac2311db3f68d9ca62eb6d82ce4cd7576","target":"graph","created_at":"2026-05-18T01:04: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"},"paper":{"abstract_excerpt":"Consider a system $(X, \\mathcal{F}, \\mu, T)$, bounded functions $f_1, f_2 \\in L^\\infty(\\mu)$ and $a,b \\in \\ZZ.$ We show that there exists a set of full measure $X_{f_1, f_2}$ in $X$ such that for all $x \\in X_{f_1, f_2}$ and for every nilsequence $b_n$ , the averages \\[ \\frac{1}{N} \\sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)b_n \\] converge. We will show that this can be deduced from the classical Wiener-Wintner theorem for the double recurrence theorem. Together with the past work on this subject, we will show that several statements regarding the extension of the double recurrence theorem are equiv","authors_text":"Idris Assani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-04-22T11:12:30Z","title":"Pointwise double recurrence and nilsequences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05732","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:220119e0ee9e3fe7b66e91df1a8688c6dfe2808f1572e974e81b14b90a290b05","target":"record","created_at":"2026-05-18T01:04: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":"6c67f5ded34f1c71f242a733d31cd2a9d02852d11431ca144003a517ec73eb1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2015-04-22T11:12:30Z","title_canon_sha256":"b069ecaa7a8ef4e250451bd820632fb773b68dafe19e7cb0fedf523bd5a36169"},"schema_version":"1.0","source":{"id":"1504.05732","kind":"arxiv","version":2}},"canonical_sha256":"47070d3536b77af2662b6b2401e54e190f2454b9a869e10b7725dd33d6ccb8f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"47070d3536b77af2662b6b2401e54e190f2454b9a869e10b7725dd33d6ccb8f2","first_computed_at":"2026-05-18T01:04:33.354628Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:33.354628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bEngOo0emZKnWtJ5UhwhfgM1D7HSwmvdLmwbDD+VtKWPwFBTmsbYhT+i3C3UfSpZDd3p0oAlHbF2MKKXPQeGDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:33.355386Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.05732","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:220119e0ee9e3fe7b66e91df1a8688c6dfe2808f1572e974e81b14b90a290b05","sha256:7b4a92ae861144a561c4a84ce143686ac2311db3f68d9ca62eb6d82ce4cd7576"],"state_sha256":"90d16e1547c271451eaa826693dc1d53dc0d4bdc69fa44b6e668f4dc937d54ef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jlC3NMd6T8nRGNnKZWRpALUgKPj7IGRyzHn0X/REw7Z1eqsK0O6OlEKo0vB5DqBZtQj+o7VZZ/RisY0Mc/ivCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T12:48:43.593973Z","bundle_sha256":"4d91d43f3cd66b6c8ec6de1db7a66478d3ef3c51de202029c9f1ee3e41ec97a3"}}