{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:5UDTPJWVAYGJ26RBFR6GGANGRI","short_pith_number":"pith:5UDTPJWV","canonical_record":{"source":{"id":"2605.12712","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-05-12T20:21:20Z","cross_cats_sorted":[],"title_canon_sha256":"400a68f33786d5ca2c0f1e1276775a38f1a9ee101a4559c088f7892d9a170a87","abstract_canon_sha256":"00fd7f5f97d79d183fd199888011446c3afe1ed7749a0a76b204b3b8c0111844"},"schema_version":"1.0"},"canonical_sha256":"ed0737a6d5060c9d7a212c7c6301a68a21eadbddf8e3f5561c913a0e33e7b6ab","source":{"kind":"arxiv","id":"2605.12712","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12712","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12712v1","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12712","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"pith_short_12","alias_value":"5UDTPJWVAYGJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"5UDTPJWVAYGJ26RB","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"5UDTPJWV","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:5UDTPJWVAYGJ26RBFR6GGANGRI","target":"record","payload":{"canonical_record":{"source":{"id":"2605.12712","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-05-12T20:21:20Z","cross_cats_sorted":[],"title_canon_sha256":"400a68f33786d5ca2c0f1e1276775a38f1a9ee101a4559c088f7892d9a170a87","abstract_canon_sha256":"00fd7f5f97d79d183fd199888011446c3afe1ed7749a0a76b204b3b8c0111844"},"schema_version":"1.0"},"canonical_sha256":"ed0737a6d5060c9d7a212c7c6301a68a21eadbddf8e3f5561c913a0e33e7b6ab","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:49.526703Z","signature_b64":"eJRlm1R1QSkZ579v77pvQ068X7dhDvi3GFRowOmXEmH/XSmNSQzjNrnHZGUcCg8ig3IzZ7kpOKo1dBehzmsNCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed0737a6d5060c9d7a212c7c6301a68a21eadbddf8e3f5561c913a0e33e7b6ab","last_reissued_at":"2026-05-18T03:09:49.525773Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:49.525773Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.12712","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-18T03:09:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0pO/C3gGizZvoyr7zrHSZTwX80hT91i4PBxklLhgw2vieC42bZQFRAh6VDWsMyge08AxRC7s20py1cYTZX2hCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:35:36.527785Z"},"content_sha256":"19cf76dc951adb3f527d9466fc1f7e3dc22e61fb02ec58c2aa6884e1195f4b28","schema_version":"1.0","event_id":"sha256:19cf76dc951adb3f527d9466fc1f7e3dc22e61fb02ec58c2aa6884e1195f4b28"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:5UDTPJWVAYGJ26RBFR6GGANGRI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Classical Analysis Counterpart of Viterbo's Symplectic Geometry Proof of ABP in the Plane","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"A classical analysis proof gives the Alexandroff-Bakelman-Pucci inequality in the plane for compactly supported C² functions without using convexity or contact sets.","cross_cats":[],"primary_cat":"math.AP","authors_text":"Daniel Maienshein, Juan J. Manfredi","submitted_at":"2026-05-12T20:21:20Z","abstract_excerpt":"We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported $C^2$ functions in dimension $2$, inspired by the symplectic geometry proof method of Viterbo, which avoids convexity or contact sets. We then show how the proof may be modified to remove the compact support hypothesis and recover the usual statement of ABP, which includes a boundary term. We also discuss the possibility (and difficulties) of extending a pure classical analysis proof to dimension $3$ and above."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported C² functions in dimension 2, inspired by the symplectic geometry proof method of Viterbo, which avoids convexity or contact sets.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The translation from the symplectic geometry argument to classical analysis steps preserves the key estimates without hidden use of convexity or contact-set properties, which is asserted but not verified in the abstract alone.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A classical analysis proof of the ABP inequality in the plane is constructed for compactly supported C² functions and then extended to the standard form with a boundary term.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A classical analysis proof gives the Alexandroff-Bakelman-Pucci inequality in the plane for compactly supported C² functions without using convexity or contact sets.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"22f44e81408f73745d889c210807f55cd68409d4cb914af33d127082e95004b0"},"source":{"id":"2605.12712","kind":"arxiv","version":1},"verdict":{"id":"d986a380-199f-49d6-b3ff-2129a650a807","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T20:00:38.423830Z","strongest_claim":"We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported C² functions in dimension 2, inspired by the symplectic geometry proof method of Viterbo, which avoids convexity or contact sets.","one_line_summary":"A classical analysis proof of the ABP inequality in the plane is constructed for compactly supported C² functions and then extended to the standard form with a boundary term.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The translation from the symplectic geometry argument to classical analysis steps preserves the key estimates without hidden use of convexity or contact-set properties, which is asserted but not verified in the abstract alone.","pith_extraction_headline":"A classical analysis proof gives the Alexandroff-Bakelman-Pucci inequality in the plane for compactly supported C² functions without using convexity or contact sets."},"references":{"count":7,"sample":[{"doi":"","year":null,"title":"Journal of the American Mathematical Society , volume=","work_id":"666679cd-7e03-4038-8c8f-dc0e85a85d51","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Mathematische Annalen , volume=","work_id":"c8e3795c-1fe7-4365-bbe9-32cb113656cf","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1983,"title":"Foundations of differentiable manifolds and Lie groups , author=. 1983 , publisher=","work_id":"e3c07628-a554-4f5c-a1b8-248cb902847d","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1995,"title":"On the alexandroff-bakelman-pucci estimate and the reversed h","work_id":"6f16cb75-c085-4179-8d82-9cbf9040b142","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1969,"title":"Geometric measure theory , author=. 1969 , publisher=","work_id":"27e08e0e-c22a-41e3-aa48-cfbe1e51bbe9","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":7,"snapshot_sha256":"f8ddddbb743bfc4aa0c25d2595b031b48d1aa882e5fa34bb81434eda31f41e2d","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"91e1b34e666765bc111382c44b643b306f4289125b1aa466ee501813e6c60e68"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"d986a380-199f-49d6-b3ff-2129a650a807"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lfss7iclcd2+VwhwLCK/fPz69/Qc/J0LL+RTbYw1iUWWz+kTspEkcF8SNpv0bF7AUho5KPL6wr3LWu/RRlNaAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:35:36.528907Z"},"content_sha256":"e7b797527a152dc552d7d599d003c5796b0572d9a3e9262a6cbe8f249802f3a1","schema_version":"1.0","event_id":"sha256:e7b797527a152dc552d7d599d003c5796b0572d9a3e9262a6cbe8f249802f3a1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5UDTPJWVAYGJ26RBFR6GGANGRI/bundle.json","state_url":"https://pith.science/pith/5UDTPJWVAYGJ26RBFR6GGANGRI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5UDTPJWVAYGJ26RBFR6GGANGRI/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-07T21:35:36Z","links":{"resolver":"https://pith.science/pith/5UDTPJWVAYGJ26RBFR6GGANGRI","bundle":"https://pith.science/pith/5UDTPJWVAYGJ26RBFR6GGANGRI/bundle.json","state":"https://pith.science/pith/5UDTPJWVAYGJ26RBFR6GGANGRI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5UDTPJWVAYGJ26RBFR6GGANGRI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:5UDTPJWVAYGJ26RBFR6GGANGRI","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":"00fd7f5f97d79d183fd199888011446c3afe1ed7749a0a76b204b3b8c0111844","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-05-12T20:21:20Z","title_canon_sha256":"400a68f33786d5ca2c0f1e1276775a38f1a9ee101a4559c088f7892d9a170a87"},"schema_version":"1.0","source":{"id":"2605.12712","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12712","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12712v1","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12712","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"pith_short_12","alias_value":"5UDTPJWVAYGJ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"5UDTPJWVAYGJ26RB","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"5UDTPJWV","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:e7b797527a152dc552d7d599d003c5796b0572d9a3e9262a6cbe8f249802f3a1","target":"graph","created_at":"2026-05-18T03:09:49Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported C² functions in dimension 2, inspired by the symplectic geometry proof method of Viterbo, which avoids convexity or contact sets."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The translation from the symplectic geometry argument to classical analysis steps preserves the key estimates without hidden use of convexity or contact-set properties, which is asserted but not verified in the abstract alone."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A classical analysis proof of the ABP inequality in the plane is constructed for compactly supported C² functions and then extended to the standard form with a boundary term."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A classical analysis proof gives the Alexandroff-Bakelman-Pucci inequality in the plane for compactly supported C² functions without using convexity or contact sets."}],"snapshot_sha256":"22f44e81408f73745d889c210807f55cd68409d4cb914af33d127082e95004b0"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"91e1b34e666765bc111382c44b643b306f4289125b1aa466ee501813e6c60e68"},"paper":{"abstract_excerpt":"We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported $C^2$ functions in dimension $2$, inspired by the symplectic geometry proof method of Viterbo, which avoids convexity or contact sets. We then show how the proof may be modified to remove the compact support hypothesis and recover the usual statement of ABP, which includes a boundary term. We also discuss the possibility (and difficulties) of extending a pure classical analysis proof to dimension $3$ and above.","authors_text":"Daniel Maienshein, Juan J. Manfredi","cross_cats":[],"headline":"A classical analysis proof gives the Alexandroff-Bakelman-Pucci inequality in the plane for compactly supported C² functions without using convexity or contact sets.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-05-12T20:21:20Z","title":"A Classical Analysis Counterpart of Viterbo's Symplectic Geometry Proof of ABP in the Plane"},"references":{"count":7,"internal_anchors":0,"resolved_work":7,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Journal of the American Mathematical Society , volume=","work_id":"666679cd-7e03-4038-8c8f-dc0e85a85d51","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Mathematische Annalen , volume=","work_id":"c8e3795c-1fe7-4365-bbe9-32cb113656cf","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Foundations of differentiable manifolds and Lie groups , author=. 1983 , publisher=","work_id":"e3c07628-a554-4f5c-a1b8-248cb902847d","year":1983},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"On the alexandroff-bakelman-pucci estimate and the reversed h","work_id":"6f16cb75-c085-4179-8d82-9cbf9040b142","year":1995},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Geometric measure theory , author=. 1969 , publisher=","work_id":"27e08e0e-c22a-41e3-aa48-cfbe1e51bbe9","year":1969}],"snapshot_sha256":"f8ddddbb743bfc4aa0c25d2595b031b48d1aa882e5fa34bb81434eda31f41e2d"},"source":{"id":"2605.12712","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T20:00:38.423830Z","id":"d986a380-199f-49d6-b3ff-2129a650a807","model_set":{"reader":"grok-4.3"},"one_line_summary":"A classical analysis proof of the ABP inequality in the plane is constructed for compactly supported C² functions and then extended to the standard form with a boundary term.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A classical analysis proof gives the Alexandroff-Bakelman-Pucci inequality in the plane for compactly supported C² functions without using convexity or contact sets.","strongest_claim":"We first provide a classical analysis proof of a version of the Alexandroff-Bakelman-Pucci inequality (ABP) for compactly supported C² functions in dimension 2, inspired by the symplectic geometry proof method of Viterbo, which avoids convexity or contact sets.","weakest_assumption":"The translation from the symplectic geometry argument to classical analysis steps preserves the key estimates without hidden use of convexity or contact-set properties, which is asserted but not verified in the abstract alone."}},"verdict_id":"d986a380-199f-49d6-b3ff-2129a650a807"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:19cf76dc951adb3f527d9466fc1f7e3dc22e61fb02ec58c2aa6884e1195f4b28","target":"record","created_at":"2026-05-18T03:09:49Z","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":"00fd7f5f97d79d183fd199888011446c3afe1ed7749a0a76b204b3b8c0111844","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2026-05-12T20:21:20Z","title_canon_sha256":"400a68f33786d5ca2c0f1e1276775a38f1a9ee101a4559c088f7892d9a170a87"},"schema_version":"1.0","source":{"id":"2605.12712","kind":"arxiv","version":1}},"canonical_sha256":"ed0737a6d5060c9d7a212c7c6301a68a21eadbddf8e3f5561c913a0e33e7b6ab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed0737a6d5060c9d7a212c7c6301a68a21eadbddf8e3f5561c913a0e33e7b6ab","first_computed_at":"2026-05-18T03:09:49.525773Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:49.525773Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eJRlm1R1QSkZ579v77pvQ068X7dhDvi3GFRowOmXEmH/XSmNSQzjNrnHZGUcCg8ig3IzZ7kpOKo1dBehzmsNCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:49.526703Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.12712","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19cf76dc951adb3f527d9466fc1f7e3dc22e61fb02ec58c2aa6884e1195f4b28","sha256:e7b797527a152dc552d7d599d003c5796b0572d9a3e9262a6cbe8f249802f3a1"],"state_sha256":"478232fbcf52b6c31100fadf1b6b8a6dec95d22eb10788cc4b0183817e45d129"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lGLDr5j9MtV+t04e9sDqrLpGUGvjj4NQiESXzToXEE9Vdboq4G+LRsTl2GaNvk/yb83Z16XeAgH8psvwGBYZCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T21:35:36.533645Z","bundle_sha256":"10ebf5292bcbf17d7c969ab30a57c9505e69a3119cad747f4bcf78156dd76e65"}}