{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:APHAFGQK3G45GWYENVUOU7PN4N","short_pith_number":"pith:APHAFGQK","schema_version":"1.0","canonical_sha256":"03ce029a0ad9b9d35b046d68ea7dede379b5687062815114daff6672eca68d87","source":{"kind":"arxiv","id":"1811.02865","version":2},"attestation_state":"computed","paper":{"title":"Binary recovery via phase field regularization for first traveltime tomography","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.AP"],"primary_cat":"math.NA","authors_text":"Charles M. Elliott, Oliver R. A. Dunbar","submitted_at":"2018-11-07T13:05:10Z","abstract_excerpt":"We propose a double obstacle phase field methodology for binary recovery of the slowness function of an Eikonal equation found in first traveltime tomography. We treat the inverse problem as an optimization problem with quadratic misfit functional added to a phase field relaxation of the perimeter penalization functional. Our approach yields solutions as we account for well posedness of the forward problem by choosing regular priors. We obtain a convergent finite difference and mixed finite element based discretization and a well defined descent scheme by accounting for the non-differentiabili"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1811.02865","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2018-11-07T13:05:10Z","cross_cats_sorted":["cs.NA","math.AP"],"title_canon_sha256":"38f7de10b233d4bb4937d36425340de2359d642c3e26224dfe5babcdd5d9c922","abstract_canon_sha256":"0eb68e9af3044b18c44b65296f468573bfed94dc7d40db6ef64e3864be79a957"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T20:13:39.839440Z","signature_b64":"2goRGHhDPTtzQ5hz8IhsSRFx0perLEWIHELt6sej7qq8j+Yw6DdmO3kiwS7XRTZFp4HD5wZ6mMIi++pmzNLBCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"03ce029a0ad9b9d35b046d68ea7dede379b5687062815114daff6672eca68d87","last_reissued_at":"2026-06-04T20:13:39.838649Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T20:13:39.838649Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Binary recovery via phase field regularization for first traveltime tomography","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.AP"],"primary_cat":"math.NA","authors_text":"Charles M. Elliott, Oliver R. A. Dunbar","submitted_at":"2018-11-07T13:05:10Z","abstract_excerpt":"We propose a double obstacle phase field methodology for binary recovery of the slowness function of an Eikonal equation found in first traveltime tomography. We treat the inverse problem as an optimization problem with quadratic misfit functional added to a phase field relaxation of the perimeter penalization functional. Our approach yields solutions as we account for well posedness of the forward problem by choosing regular priors. We obtain a convergent finite difference and mixed finite element based discretization and a well defined descent scheme by accounting for the non-differentiabili"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02865","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1811.02865/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1811.02865","created_at":"2026-06-04T20:13:39.838751+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.02865v2","created_at":"2026-06-04T20:13:39.838751+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02865","created_at":"2026-06-04T20:13:39.838751+00:00"},{"alias_kind":"pith_short_12","alias_value":"APHAFGQK3G45","created_at":"2026-06-04T20:13:39.838751+00:00"},{"alias_kind":"pith_short_16","alias_value":"APHAFGQK3G45GWYE","created_at":"2026-06-04T20:13:39.838751+00:00"},{"alias_kind":"pith_short_8","alias_value":"APHAFGQK","created_at":"2026-06-04T20:13:39.838751+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N","json":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N.json","graph_json":"https://pith.science/api/pith-number/APHAFGQK3G45GWYENVUOU7PN4N/graph.json","events_json":"https://pith.science/api/pith-number/APHAFGQK3G45GWYENVUOU7PN4N/events.json","paper":"https://pith.science/paper/APHAFGQK"},"agent_actions":{"view_html":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N","download_json":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N.json","view_paper":"https://pith.science/paper/APHAFGQK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.02865&json=true","fetch_graph":"https://pith.science/api/pith-number/APHAFGQK3G45GWYENVUOU7PN4N/graph.json","fetch_events":"https://pith.science/api/pith-number/APHAFGQK3G45GWYENVUOU7PN4N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N/action/storage_attestation","attest_author":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N/action/author_attestation","sign_citation":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N/action/citation_signature","submit_replication":"https://pith.science/pith/APHAFGQK3G45GWYENVUOU7PN4N/action/replication_record"}},"created_at":"2026-06-04T20:13:39.838751+00:00","updated_at":"2026-06-04T20:13:39.838751+00:00"}