{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IEYVL62RE7KYAI4RYUGVTC5RL5","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":"9325261ccad91ae38cb92fd145fb250922c6d645822bfcaf64fb708894e576c6","cross_cats_sorted":["cs.NA"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.NA","submitted_at":"2026-05-15T05:41:57Z","title_canon_sha256":"d9a95e40b4eea80e8777f8241862b60f3f22b3db9a1e1b002cc305825b1f5132"},"schema_version":"1.0","source":{"id":"2605.15636","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15636","created_at":"2026-05-20T00:01:09Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15636v1","created_at":"2026-05-20T00:01:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.15636","created_at":"2026-05-20T00:01:09Z"},{"alias_kind":"pith_short_12","alias_value":"IEYVL62RE7KY","created_at":"2026-05-20T00:01:09Z"},{"alias_kind":"pith_short_16","alias_value":"IEYVL62RE7KYAI4R","created_at":"2026-05-20T00:01:09Z"},{"alias_kind":"pith_short_8","alias_value":"IEYVL62R","created_at":"2026-05-20T00:01:09Z"}],"graph_snapshots":[{"event_id":"sha256:ed552a1a273b5ed7ffcd02ae5a05cbe9146b17594f03831e6d419183fd5e05e0","target":"graph","created_at":"2026-05-20T00:01:09Z","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":"Under a mild condition on that splitting, it is shown that (i) one does not need any gradient part in the non-conducting domain, and therefore no coupling of any gradient components between the two subdomains, (ii) both subdomain operators are invertible, and (iii) although the magnetic vector potential is discontinuous across the subdomain interface, the corresponding magnetic field is globally in H(div)."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The mild condition on the splitting of the space into gradient fields and a complementary space (invoked in the abstract to establish properties (i)-(iii) and overcome interface kernel issues)."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A domain decomposition formulation for magneto-quasi-statics that removes gradient components from the insulating subdomain via space splitting, ensuring invertible operators and global H(div) regularity under a mild condition."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A space splitting into gradient fields and a complementary part makes subdomain operators invertible in a tearing-and-interconnecting formulation for the eddy current model."}],"snapshot_sha256":"13e028152146f0be083ecb4d632d0370aa7920a178dd2c447d130ee01dd3be6f"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T23:01:19.693525Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T22:42:11.519700Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T19:33:35.673911Z","status":"skipped","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T17:41:56.021950Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.15636/integrity.json","findings":[],"snapshot_sha256":"d94ac6cc0f0b79a3b0164cb75df406ae3a470a08091f3e6ec3f5b397086b4d8e","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This note deals with a tearing and interconnecting (special non-overlapping domain decomposition) formulation for magneto-quasi-statics (also known as the eddy current model). Only two subdomains are considered, one conducting and one insulating. Using a straightforward tree-cotree splitting, one can get rid of some kernel components in the non-conducting region, but due to the coupling across the interface, a lot of kernel functions remain that are associated with the interface. The formulation presented here overcomes this problem by using a space splitting into gradient fields and a complem","authors_text":"Clemens Pechstein","cross_cats":["cs.NA"],"headline":"A space splitting into gradient fields and a complementary part makes subdomain operators invertible in a tearing-and-interconnecting formulation for the eddy current model.","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.NA","submitted_at":"2026-05-15T05:41:57Z","title":"A Tearing and Interconnecting Formulation for Magneto-Quasi-Statics"},"references":{"count":32,"internal_anchors":0,"resolved_work":32,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"R. Albanese and G. Rubinacci. Solution of three dimensional eddy current problems by integral and differential methods.IEEE Trans. Magn., vol. 24(1):98–101, 1988","work_id":"7f69732c-d3c0-4477-aa98-8c0b6a639453","year":1988},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Alonso Rodr´ ıguez and A","work_id":"80afbd12-a742-4f99-813f-6a9c2ad7c8a3","year":2010},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"A. Buffa, M. Costabel, and D. Sheen. On traces for H(curl, Ω) in Lipschitz domains. J. Math. Anal. Appl., 276(2):845–867, 2002","work_id":"ea3ab437-85a5-4f39-b777-55c37317b8f0","year":2002},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"C. R. Dohrmann. A preconditioner for substructuring based on constrained energy minimization.SIAM J. Sci. Comput., 25(1):246–258, 2003","work_id":"5c101bf4-87bc-45b9-b9ab-185fc50a2cb1","year":2003},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"C. R. Dohrmann and O. B. Widlund. A BDDC algorithm with deluxe scaling for three-dimensional H(curl) problems.Comm. Pure Appl. Math., 69(4):745–770, 2016","work_id":"d9d8ba88-416d-4243-8677-c2424a87e595","year":2016}],"snapshot_sha256":"1a10fee1947fddca284a112205abca8d6aab154c1f147cbde13ac851c9abe3bb"},"source":{"id":"2605.15636","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T22:30:26.492860Z","id":"8d6614df-4390-4323-8ab9-054c9e93cf92","model_set":{"reader":"grok-4.3"},"one_line_summary":"A domain decomposition formulation for magneto-quasi-statics that removes gradient components from the insulating subdomain via space splitting, ensuring invertible operators and global H(div) regularity under a mild condition.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A space splitting into gradient fields and a complementary part makes subdomain operators invertible in a tearing-and-interconnecting formulation for the eddy current model.","strongest_claim":"Under a mild condition on that splitting, it is shown that (i) one does not need any gradient part in the non-conducting domain, and therefore no coupling of any gradient components between the two subdomains, (ii) both subdomain operators are invertible, and (iii) although the magnetic vector potential is discontinuous across the subdomain interface, the corresponding magnetic field is globally in H(div).","weakest_assumption":"The mild condition on the splitting of the space into gradient fields and a complementary space (invoked in the abstract to establish properties (i)-(iii) and overcome interface kernel issues)."}},"verdict_id":"8d6614df-4390-4323-8ab9-054c9e93cf92"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:67b178f46549aef47c56e6d0369a770680bb4e4b7e6000e410713180c988ecaf","target":"record","created_at":"2026-05-20T00:01:09Z","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":"9325261ccad91ae38cb92fd145fb250922c6d645822bfcaf64fb708894e576c6","cross_cats_sorted":["cs.NA"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.NA","submitted_at":"2026-05-15T05:41:57Z","title_canon_sha256":"d9a95e40b4eea80e8777f8241862b60f3f22b3db9a1e1b002cc305825b1f5132"},"schema_version":"1.0","source":{"id":"2605.15636","kind":"arxiv","version":1}},"canonical_sha256":"413155fb5127d5802391c50d598bb15f4f241015b4b50ba321422ed32e3fa822","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"413155fb5127d5802391c50d598bb15f4f241015b4b50ba321422ed32e3fa822","first_computed_at":"2026-05-20T00:01:09.354485Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:01:09.354485Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TVO+ZDpB9BbtgepOibq52Ss3qWioeymJ/IrOj8iBfBGB/0Swi3QlnssPaUE6yVpPgAnDmg5DF5WSwMHc3rHpAA==","signature_status":"signed_v1","signed_at":"2026-05-20T00:01:09.355272Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.15636","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:67b178f46549aef47c56e6d0369a770680bb4e4b7e6000e410713180c988ecaf","sha256:ed552a1a273b5ed7ffcd02ae5a05cbe9146b17594f03831e6d419183fd5e05e0"],"state_sha256":"0d72d13db9822379e68ed1e486f3a3e8f3ba3191d5112da1608286d65ffbca8e"}