{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:SPE5Z5VVUSYYMXJT5Y4KGQH6JT","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":"b1cb35f809e5533554829bbbe623cc98c69887c28342628e89d196814b910817","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DG","submitted_at":"2026-05-13T05:36:39Z","title_canon_sha256":"790eeb796f48e0acd32e6f4b8b474b182638de473fffbd79897ac3e8e98924be"},"schema_version":"1.0","source":{"id":"2605.13033","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13033","created_at":"2026-05-18T03:08:59Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13033v1","created_at":"2026-05-18T03:08:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13033","created_at":"2026-05-18T03:08:59Z"},{"alias_kind":"pith_short_12","alias_value":"SPE5Z5VVUSYY","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"SPE5Z5VVUSYYMXJT","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"SPE5Z5VV","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:03f65260653aaaa025928032fb027a6a7510dd6a903424fbf5214d2dc9e44109","target":"graph","created_at":"2026-05-18T03:08:59Z","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":"if Λ≠0, we show that the surfaces must be either surfaces of revolution or of the type z=f(x)+g(y); furthermore, explicit parametrizations of these surfaces are obtained."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"the surfaces are the zero level sets of an implicit equation of the type f(x)+g(y)+h(z)=0 where f, g and h are smooth functions of one variable."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Separable surfaces obeying the PDE φ_xx + φ_yy = Λ/2 are revolution surfaces or z = f(x) + g(y) when Λ is nonzero."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"When the constant Λ is nonzero, the only separable surfaces satisfying the PDE φ_xx + φ_yy = Λ/2 are surfaces of revolution or graphs of the form z = f(x) + g(y)."}],"snapshot_sha256":"5dc438f107de50d8a8c3dbdc1dde20e776f67092d79ebac54e32c9d41e285c51"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In this paper, we study surfaces $z=\\varphi(x,y)$ in Euclidean space that satisfy the equation $\\varphi_{xx}+\\varphi_{yy}=\\frac{\\Lambda}{2}$ where $\\Lambda\\in\\r$ is a real constant. We classify these surfaces when they are the zero level sets of an implicit equation of the type $f(x)+g(y)+h(z)=0$, where $f$, $g$ and $h$ are smooth functions of one variable. If $\\Lambda=0$, we find a large family of surfaces with interesting symmetry properties. However, if $\\Lambda\\not=0$, we show that the surfaces must be either surfaces of revolution or of the type $z=f(x)+g(y)$; furthermore, explicit parame","authors_text":"Rafael L\\'opez","cross_cats":[],"headline":"When the constant Λ is nonzero, the only separable surfaces satisfying the PDE φ_xx + φ_yy = Λ/2 are surfaces of revolution or graphs of the form z = f(x) + g(y).","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DG","submitted_at":"2026-05-13T05:36:39Z","title":"Separable surfaces that are critical points of the Dirichlet energy"},"references":{"count":12,"internal_anchors":0,"resolved_work":12,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"J. E. Brothers, F. Morgan, The isoperimetric theorem for general integrands, Michigan Math. J. 41 (1994), 419--431","work_id":"485340a0-a9fd-411c-90b9-6298f6222af7","year":1994},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"T. Hasanis, R. L\\'opez, A characteristic property of Delaunay surfaces. Proc. Amer. Math. Soc. 148 (2020), 5291--5298","work_id":"3a7a0e85-5a44-4e73-8a58-fc7400bee0c1","year":2020},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"D. Hoffman, H. Karcher, Complete embedded minimal surfaces of finite total curvature, Geometry, V, Encyclopaedia Math. Sci., vol. 90, Springer, Berlin, 1997, pp. 5--93","work_id":"44d67df3-16a5-4409-ad02-d093c2410795","year":1997},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"M. Koiso and B. Palmer, Geometry and stability of surfaces with constant anisotropic mean curvature, Indiana Univ. Math. J. 54 (2005), 1817--1852","work_id":"864afccf-c473-43ff-88f9-ac09adfb0dd6","year":2005},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"M. Koiso and B. Palmer, Stability of anisotropic capillary surfaces between two parallel planes, Calc. Var. Partial Differ. Equ. 25, (2006), 275--298","work_id":"3f485345-a398-4067-a4eb-b580018925fc","year":2006}],"snapshot_sha256":"9fa03285f564c38ea15a2af9a2cedd257cc41d7db65de90ad7338babb22dcb6d"},"source":{"id":"2605.13033","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T02:14:03.438345Z","id":"aa3085d5-8f84-4920-b524-21a3fb261e1c","model_set":{"reader":"grok-4.3"},"one_line_summary":"Separable surfaces obeying the PDE φ_xx + φ_yy = Λ/2 are revolution surfaces or z = f(x) + g(y) when Λ is nonzero.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"When the constant Λ is nonzero, the only separable surfaces satisfying the PDE φ_xx + φ_yy = Λ/2 are surfaces of revolution or graphs of the form z = f(x) + g(y).","strongest_claim":"if Λ≠0, we show that the surfaces must be either surfaces of revolution or of the type z=f(x)+g(y); furthermore, explicit parametrizations of these surfaces are obtained.","weakest_assumption":"the surfaces are the zero level sets of an implicit equation of the type f(x)+g(y)+h(z)=0 where f, g and h are smooth functions of one variable."}},"verdict_id":"aa3085d5-8f84-4920-b524-21a3fb261e1c"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f485ab56dfa5f7e35f588064fa08faae662a92d0f89f751a9221138a921d5550","target":"record","created_at":"2026-05-18T03:08:59Z","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":"b1cb35f809e5533554829bbbe623cc98c69887c28342628e89d196814b910817","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.DG","submitted_at":"2026-05-13T05:36:39Z","title_canon_sha256":"790eeb796f48e0acd32e6f4b8b474b182638de473fffbd79897ac3e8e98924be"},"schema_version":"1.0","source":{"id":"2605.13033","kind":"arxiv","version":1}},"canonical_sha256":"93c9dcf6b5a4b1865d33ee38a340fe4ceb8afe43198a2d555ea5c9d49c1fe863","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"93c9dcf6b5a4b1865d33ee38a340fe4ceb8afe43198a2d555ea5c9d49c1fe863","first_computed_at":"2026-05-18T03:08:59.676828Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:59.676828Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QaXWCwXqeYHPfmrC/nbJJllGHAo4tPPoADXDkddz21GhxZUJ7B3a4m5aTWRCEV7UzdnW7X74nnYSf1OGqCnIAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:59.677453Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13033","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f485ab56dfa5f7e35f588064fa08faae662a92d0f89f751a9221138a921d5550","sha256:03f65260653aaaa025928032fb027a6a7510dd6a903424fbf5214d2dc9e44109"],"state_sha256":"02e41e79f71aca1197f2bf5a415109b9f19da1422784c2f421a87d72f47aa523"}