{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:NFJLONLJ2AIYYHX4SLG6AB4L3Z","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":"e55c768c4e67551c349650bafef0f52014c54dda8002d90d018c664e9d067633","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2019-04-14T00:07:44Z","title_canon_sha256":"59c79b18176b6b9dac697738ac4ba01cbd085ffa90b9090f860e1f4518953d18"},"schema_version":"1.0","source":{"id":"1904.06610","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.06610","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"arxiv_version","alias_value":"1904.06610v1","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.06610","created_at":"2026-05-17T23:48:38Z"},{"alias_kind":"pith_short_12","alias_value":"NFJLONLJ2AIY","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"NFJLONLJ2AIYYHX4","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"NFJLONLJ","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:79d01f5a8a2c36f90ad2fe661d90a6b5ed2fa6c2b4e3f74ea0e98dd0096aa7ff","target":"graph","created_at":"2026-05-17T23:48:38Z","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":"For the first time, a globally convergent numerical method is developed and Lipschitz stability estimate is obtained for the challenging problem of travel time tomography in 3D for formally determined incomplete data. The semidiscrete case is considered meaning that finite differences are involved with respect to two out of three variables. First, Lipschitz stability estimate is derived, which implies uniqueness. Next, a weighted globally strictly convex Tikhonov-like functional is constructed using a Carleman-like weight function for a Volterra integral operator. The gradient projection metho","authors_text":"Michael V. Klibanov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2019-04-14T00:07:44Z","title":"Travel time tomography with formally determined incomplete data in 3D"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.06610","kind":"arxiv","version":1},"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:82ea55a406e4ba68f36c5eb9f840017cb98de48a4560c868cd62fab589ed0acc","target":"record","created_at":"2026-05-17T23:48:38Z","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":"e55c768c4e67551c349650bafef0f52014c54dda8002d90d018c664e9d067633","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2019-04-14T00:07:44Z","title_canon_sha256":"59c79b18176b6b9dac697738ac4ba01cbd085ffa90b9090f860e1f4518953d18"},"schema_version":"1.0","source":{"id":"1904.06610","kind":"arxiv","version":1}},"canonical_sha256":"6952b73569d0118c1efc92cde0078bde5622b2365ba4bb6edc42aa9989502121","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6952b73569d0118c1efc92cde0078bde5622b2365ba4bb6edc42aa9989502121","first_computed_at":"2026-05-17T23:48:38.658765Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:38.658765Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kW54KURl/6OJ+S+R3i6wNDT9d8/kXtkHm7eNCaq2YoWx1Lby5QxNa2/WcPXvNnJCCL5+GD6m8n8bkaehiCEICg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:38.659452Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.06610","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82ea55a406e4ba68f36c5eb9f840017cb98de48a4560c868cd62fab589ed0acc","sha256:79d01f5a8a2c36f90ad2fe661d90a6b5ed2fa6c2b4e3f74ea0e98dd0096aa7ff"],"state_sha256":"91f1950385e7427f5a112540e86fa94d991da5f002e958ba7ace40bbb29efaa1"}