{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:FCQMBSYORXWCVHOGOFMSTLHDAQ","short_pith_number":"pith:FCQMBSYO","schema_version":"1.0","canonical_sha256":"28a0c0cb0e8dec2a9dc6715929ace30419f62eba92ba330590754a1fa5749f85","source":{"kind":"arxiv","id":"2004.13137","version":1},"attestation_state":"computed","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 "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2004.13137","created_at":"2026-07-05T02:15:57.637118+00:00"},{"alias_kind":"arxiv_version","alias_value":"2004.13137v1","created_at":"2026-07-05T02:15:57.637118+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.13137","created_at":"2026-07-05T02:15:57.637118+00:00"},{"alias_kind":"pith_short_12","alias_value":"FCQMBSYORXWC","created_at":"2026-07-05T02:15:57.637118+00:00"},{"alias_kind":"pith_short_16","alias_value":"FCQMBSYORXWCVHOG","created_at":"2026-07-05T02:15:57.637118+00:00"},{"alias_kind":"pith_short_8","alias_value":"FCQMBSYO","created_at":"2026-07-05T02:15:57.637118+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/FCQMBSYORXWCVHOGOFMSTLHDAQ","json":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ.json","graph_json":"https://pith.science/api/pith-number/FCQMBSYORXWCVHOGOFMSTLHDAQ/graph.json","events_json":"https://pith.science/api/pith-number/FCQMBSYORXWCVHOGOFMSTLHDAQ/events.json","paper":"https://pith.science/paper/FCQMBSYO"},"agent_actions":{"view_html":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ","download_json":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ.json","view_paper":"https://pith.science/paper/FCQMBSYO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2004.13137&json=true","fetch_graph":"https://pith.science/api/pith-number/FCQMBSYORXWCVHOGOFMSTLHDAQ/graph.json","fetch_events":"https://pith.science/api/pith-number/FCQMBSYORXWCVHOGOFMSTLHDAQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/action/storage_attestation","attest_author":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/action/author_attestation","sign_citation":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/action/citation_signature","submit_replication":"https://pith.science/pith/FCQMBSYORXWCVHOGOFMSTLHDAQ/action/replication_record"}},"created_at":"2026-07-05T02:15:57.637118+00:00","updated_at":"2026-07-05T02:15:57.637118+00:00"}