{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:FCQMBSYORXWCVHOGOFMSTLHDAQ","short_pith_number":"pith:FCQMBSYO","canonical_record":{"source":{"id":"2004.13137","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-04-27T20:02:31Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"e869ae6b7fa85b140a2bd064520c564209021949fc6c18d5580ad69fc48bc70a","abstract_canon_sha256":"3ff647812b75557cf40f4c31ac31183730258b1dd6a0b3efc0163c67462d9b96"},"schema_version":"1.0"},"canonical_sha256":"28a0c0cb0e8dec2a9dc6715929ace30419f62eba92ba330590754a1fa5749f85","source":{"kind":"arxiv","id":"2004.13137","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.13137","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"arxiv_version","alias_value":"2004.13137v1","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.13137","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_12","alias_value":"FCQMBSYORXWC","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_16","alias_value":"FCQMBSYORXWCVHOG","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_8","alias_value":"FCQMBSYO","created_at":"2026-07-05T02:15:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:FCQMBSYORXWCVHOGOFMSTLHDAQ","target":"record","payload":{"canonical_record":{"source":{"id":"2004.13137","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-04-27T20:02:31Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"e869ae6b7fa85b140a2bd064520c564209021949fc6c18d5580ad69fc48bc70a","abstract_canon_sha256":"3ff647812b75557cf40f4c31ac31183730258b1dd6a0b3efc0163c67462d9b96"},"schema_version":"1.0"},"canonical_sha256":"28a0c0cb0e8dec2a9dc6715929ace30419f62eba92ba330590754a1fa5749f85","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:15:57.637468Z","signature_b64":"uaPSbkCz59Mjhaj9ZXlO+LvTXFkhUUga7BTMrxKwLkgQ2KtzbM0/nyEvbls3gyCpeMqUKGs0E27jU70s4AHvDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28a0c0cb0e8dec2a9dc6715929ace30419f62eba92ba330590754a1fa5749f85","last_reissued_at":"2026-07-05T02:15:57.637056Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:15:57.637056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.13137","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-07-05T02:15:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ezr0GW/xSO4FT6lj9oFKGpGhyO8kfpd/SVhF2/+17jEPH2ci0SOjlIBU+jmvANVX+Z74O2ArX9q/cpv4Bo8xAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T17:28:56.816471Z"},"content_sha256":"1302be2942243168e262306738e3eb486268de132e8521553e091b0cba4e124b","schema_version":"1.0","event_id":"sha256:1302be2942243168e262306738e3eb486268de132e8521553e091b0cba4e124b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:FCQMBSYORXWCVHOGOFMSTLHDAQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convergence and quasi-optimal cost of adaptive algorithms for nonlinear operators including iterative linearization and algebraic solver","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA"],"primary_cat":"math.NA","authors_text":"Alexander Haberl, Dirk Praetorius, Martin Vohralik, Stefan Schimanko","submitted_at":"2020-04-27T20:02:31Z","abstract_excerpt":"We consider a second-order elliptic boundary value problem with strongly monotone and Lipschitz-continuous nonlinearity. We design and study its adaptive numerical approximation interconnecting a finite element discretization, the Banach-Picard linearization, and a contractive linear algebraic solver. We in particular identify stopping criteria for the algebraic solver that on the one hand do not request an overly tight tolerance but on the other hand are sufficient for the inexact (perturbed) Banach-Picard linearization to remain contractive. Similarly, we identify suitable stopping criteria "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.13137","kind":"arxiv","version":1},"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/2004.13137/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"},"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-07-05T02:15:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"42Q30SQ+aOzCVvvrYypyT4H+SqwjrlNGhi7XNe5jTCN6lgU0VAx6sVt3o2AvIiWCy1i/cuQo5bEadgeLm7IfDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T17:28:56.817232Z"},"content_sha256":"993491df7236a5a81b5090b425032ebe6088cd5ded65f697dabc11e7a1db59d2","schema_version":"1.0","event_id":"sha256:993491df7236a5a81b5090b425032ebe6088cd5ded65f697dabc11e7a1db59d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/bundle.json","state_url":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/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-08-12T17:28:56Z","links":{"resolver":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ","bundle":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/bundle.json","state":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:FCQMBSYORXWCVHOGOFMSTLHDAQ","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":"3ff647812b75557cf40f4c31ac31183730258b1dd6a0b3efc0163c67462d9b96","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-04-27T20:02:31Z","title_canon_sha256":"e869ae6b7fa85b140a2bd064520c564209021949fc6c18d5580ad69fc48bc70a"},"schema_version":"1.0","source":{"id":"2004.13137","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.13137","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"arxiv_version","alias_value":"2004.13137v1","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.13137","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_12","alias_value":"FCQMBSYORXWC","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_16","alias_value":"FCQMBSYORXWCVHOG","created_at":"2026-07-05T02:15:57Z"},{"alias_kind":"pith_short_8","alias_value":"FCQMBSYO","created_at":"2026-07-05T02:15:57Z"}],"graph_snapshots":[{"event_id":"sha256:993491df7236a5a81b5090b425032ebe6088cd5ded65f697dabc11e7a1db59d2","target":"graph","created_at":"2026-07-05T02:15: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2004.13137/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider a second-order elliptic boundary value problem with strongly monotone and Lipschitz-continuous nonlinearity. We design and study its adaptive numerical approximation interconnecting a finite element discretization, the Banach-Picard linearization, and a contractive linear algebraic solver. We in particular identify stopping criteria for the algebraic solver that on the one hand do not request an overly tight tolerance but on the other hand are sufficient for the inexact (perturbed) Banach-Picard linearization to remain contractive. Similarly, we identify suitable stopping criteria ","authors_text":"Alexander Haberl, Dirk Praetorius, Martin Vohralik, Stefan Schimanko","cross_cats":["cs.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-04-27T20:02:31Z","title":"Convergence and quasi-optimal cost of adaptive algorithms for nonlinear operators including iterative linearization and algebraic solver"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.13137","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:1302be2942243168e262306738e3eb486268de132e8521553e091b0cba4e124b","target":"record","created_at":"2026-07-05T02:15: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":"3ff647812b75557cf40f4c31ac31183730258b1dd6a0b3efc0163c67462d9b96","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2020-04-27T20:02:31Z","title_canon_sha256":"e869ae6b7fa85b140a2bd064520c564209021949fc6c18d5580ad69fc48bc70a"},"schema_version":"1.0","source":{"id":"2004.13137","kind":"arxiv","version":1}},"canonical_sha256":"28a0c0cb0e8dec2a9dc6715929ace30419f62eba92ba330590754a1fa5749f85","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28a0c0cb0e8dec2a9dc6715929ace30419f62eba92ba330590754a1fa5749f85","first_computed_at":"2026-07-05T02:15:57.637056Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:15:57.637056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uaPSbkCz59Mjhaj9ZXlO+LvTXFkhUUga7BTMrxKwLkgQ2KtzbM0/nyEvbls3gyCpeMqUKGs0E27jU70s4AHvDw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:15:57.637468Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.13137","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1302be2942243168e262306738e3eb486268de132e8521553e091b0cba4e124b","sha256:993491df7236a5a81b5090b425032ebe6088cd5ded65f697dabc11e7a1db59d2"],"state_sha256":"404cbb8d17326a7afe3f608e3a1843c5a21388e7b2831473e47942117e1fc053"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iEctzxaz98D/4RwqbS9VHhp934CH3Q2JDt5CkRXyWU1BLNywV/c76ZnldvUG5gw8mc0CqlGny9hVYBSdstmoBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T17:28:56.821316Z","bundle_sha256":"6a5563759fab0f7c4b5fb9cfe2784fbf481ea16a1ffa1ddc9101da39a28c69da"}}