{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:GH4BFP2PJW6LLYYISCO4UJW7N2","short_pith_number":"pith:GH4BFP2P","canonical_record":{"source":{"id":"1309.6095","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-09-24T09:31:33Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"c4239d973e4bd8eb886d532743c5d7b0286b3fb96b225efd977bb7ccee9e3599","abstract_canon_sha256":"454e3c3e21a9e1ce1c6b19352f0fc58c1ef1284d1060a4ddc9b18b4ce5085cf7"},"schema_version":"1.0"},"canonical_sha256":"31f812bf4f4dbcb5e308909dca26df6ea14e9d8729d8391d3aad580655b76061","source":{"kind":"arxiv","id":"1309.6095","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.6095","created_at":"2026-05-18T01:35:57Z"},{"alias_kind":"arxiv_version","alias_value":"1309.6095v2","created_at":"2026-05-18T01:35:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.6095","created_at":"2026-05-18T01:35:57Z"},{"alias_kind":"pith_short_12","alias_value":"GH4BFP2PJW6L","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GH4BFP2PJW6LLYYI","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GH4BFP2P","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:GH4BFP2PJW6LLYYISCO4UJW7N2","target":"record","payload":{"canonical_record":{"source":{"id":"1309.6095","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-09-24T09:31:33Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"c4239d973e4bd8eb886d532743c5d7b0286b3fb96b225efd977bb7ccee9e3599","abstract_canon_sha256":"454e3c3e21a9e1ce1c6b19352f0fc58c1ef1284d1060a4ddc9b18b4ce5085cf7"},"schema_version":"1.0"},"canonical_sha256":"31f812bf4f4dbcb5e308909dca26df6ea14e9d8729d8391d3aad580655b76061","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:57.517347Z","signature_b64":"TtumEY9OSZYmBiYsGw7wEeZgb7IVpsbBk0kYEZ3QYGj6lgc9RglCONQhOUtnDPu/lpDxa0+qo0sNJVnGeD5wBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31f812bf4f4dbcb5e308909dca26df6ea14e9d8729d8391d3aad580655b76061","last_reissued_at":"2026-05-18T01:35:57.516725Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:57.516725Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.6095","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:35:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TFK+BCPhF6dbVWPkAV65aIif0TiDGR3w6ghVPKQrav4zWu+I3vqk3+JIu7ThamgPfz3j9qvAEANSsXjF5aYTDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T21:52:30.191233Z"},"content_sha256":"10d734b291514486afe2d952ca7a48df9222d94fcae57db6f6102f2424ea5d67","schema_version":"1.0","event_id":"sha256:10d734b291514486afe2d952ca7a48df9222d94fcae57db6f6102f2424ea5d67"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:GH4BFP2PJW6LLYYISCO4UJW7N2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lower bound in the Roth theorem for amenable groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.DS","authors_text":"Pavel Zorin-Kranich, Qing Chu","submitted_at":"2013-09-24T09:31:33Z","abstract_excerpt":"Let $T_1$, $T_2$ be two commuting probability measure-preserving actions of a countable amenable group such that the group spanned by these actions acts ergodically. We show that $\\mu(A\\cap T_1^g A\\cap T_1^g T_2^g A) > \\mu(A)^4-{\\epsilon}$ on a syndetic set for any measurable set $A$ and any $\\epsilon>0$. The proof uses the concept of a sated system introduced by Austin."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.6095","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:35:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7gJGk9ahuWmS/1iudJ+pD9sLKlGEFwJQ+f/wBUNgKuZghNOLo9EN9kGvW/51rUo6kLZdGfDv+SfqLLSwZg5wBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T21:52:30.191605Z"},"content_sha256":"ebcf0e4147e5818bdcb9985f752216de3b0f5f7ce53a96cac70006939f656fe0","schema_version":"1.0","event_id":"sha256:ebcf0e4147e5818bdcb9985f752216de3b0f5f7ce53a96cac70006939f656fe0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GH4BFP2PJW6LLYYISCO4UJW7N2/bundle.json","state_url":"https://pith.science/pith/GH4BFP2PJW6LLYYISCO4UJW7N2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GH4BFP2PJW6LLYYISCO4UJW7N2/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-24T21:52:30Z","links":{"resolver":"https://pith.science/pith/GH4BFP2PJW6LLYYISCO4UJW7N2","bundle":"https://pith.science/pith/GH4BFP2PJW6LLYYISCO4UJW7N2/bundle.json","state":"https://pith.science/pith/GH4BFP2PJW6LLYYISCO4UJW7N2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GH4BFP2PJW6LLYYISCO4UJW7N2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:GH4BFP2PJW6LLYYISCO4UJW7N2","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":"454e3c3e21a9e1ce1c6b19352f0fc58c1ef1284d1060a4ddc9b18b4ce5085cf7","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-09-24T09:31:33Z","title_canon_sha256":"c4239d973e4bd8eb886d532743c5d7b0286b3fb96b225efd977bb7ccee9e3599"},"schema_version":"1.0","source":{"id":"1309.6095","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.6095","created_at":"2026-05-18T01:35:57Z"},{"alias_kind":"arxiv_version","alias_value":"1309.6095v2","created_at":"2026-05-18T01:35:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.6095","created_at":"2026-05-18T01:35:57Z"},{"alias_kind":"pith_short_12","alias_value":"GH4BFP2PJW6L","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GH4BFP2PJW6LLYYI","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GH4BFP2P","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:ebcf0e4147e5818bdcb9985f752216de3b0f5f7ce53a96cac70006939f656fe0","target":"graph","created_at":"2026-05-18T01:35:57Z","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":"Let $T_1$, $T_2$ be two commuting probability measure-preserving actions of a countable amenable group such that the group spanned by these actions acts ergodically. We show that $\\mu(A\\cap T_1^g A\\cap T_1^g T_2^g A) > \\mu(A)^4-{\\epsilon}$ on a syndetic set for any measurable set $A$ and any $\\epsilon>0$. The proof uses the concept of a sated system introduced by Austin.","authors_text":"Pavel Zorin-Kranich, Qing Chu","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-09-24T09:31:33Z","title":"Lower bound in the Roth theorem for amenable groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.6095","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:10d734b291514486afe2d952ca7a48df9222d94fcae57db6f6102f2424ea5d67","target":"record","created_at":"2026-05-18T01:35:57Z","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":"454e3c3e21a9e1ce1c6b19352f0fc58c1ef1284d1060a4ddc9b18b4ce5085cf7","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2013-09-24T09:31:33Z","title_canon_sha256":"c4239d973e4bd8eb886d532743c5d7b0286b3fb96b225efd977bb7ccee9e3599"},"schema_version":"1.0","source":{"id":"1309.6095","kind":"arxiv","version":2}},"canonical_sha256":"31f812bf4f4dbcb5e308909dca26df6ea14e9d8729d8391d3aad580655b76061","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31f812bf4f4dbcb5e308909dca26df6ea14e9d8729d8391d3aad580655b76061","first_computed_at":"2026-05-18T01:35:57.516725Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:57.516725Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TtumEY9OSZYmBiYsGw7wEeZgb7IVpsbBk0kYEZ3QYGj6lgc9RglCONQhOUtnDPu/lpDxa0+qo0sNJVnGeD5wBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:57.517347Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.6095","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10d734b291514486afe2d952ca7a48df9222d94fcae57db6f6102f2424ea5d67","sha256:ebcf0e4147e5818bdcb9985f752216de3b0f5f7ce53a96cac70006939f656fe0"],"state_sha256":"3c1029018248775b3b1a8e19c5ea356f23e1a3159232ecc40f04c749c19d1684"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WL2+noqv6LKTVmF0P2bBJwq3rCQA5Y16PGaEPIH+WSXAsCIyjaAhp1wsVEjz28DId8EqqVH0G6ORHxO2od23AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T21:52:30.193543Z","bundle_sha256":"66a225c511c3f13b56275fc363f37b100915ebb5d575e26a8ad9212d175e4ab5"}}