{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:DJPELRAQCEWF3ZYROKFY6DQ2LW","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":"0e68615dc0165c6723037e414d446f351cc2ed7f2332b12a6561fec1569b6f5f","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2025-09-08T19:50:53Z","title_canon_sha256":"a4649757d674aed3057bcad219620c2a0683750356a0d48003dea0aaeb581514"},"schema_version":"1.0","source":{"id":"2509.07179","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.07179","created_at":"2026-07-05T12:07:17Z"},{"alias_kind":"arxiv_version","alias_value":"2509.07179v1","created_at":"2026-07-05T12:07:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.07179","created_at":"2026-07-05T12:07:17Z"},{"alias_kind":"pith_short_12","alias_value":"DJPELRAQCEWF","created_at":"2026-07-05T12:07:17Z"},{"alias_kind":"pith_short_16","alias_value":"DJPELRAQCEWF3ZYR","created_at":"2026-07-05T12:07:17Z"},{"alias_kind":"pith_short_8","alias_value":"DJPELRAQ","created_at":"2026-07-05T12:07:17Z"}],"graph_snapshots":[{"event_id":"sha256:9efba1a4dea89ebbec2d6fce339e33208a186071645baf54eb5393b43738f809","target":"graph","created_at":"2026-07-05T12:07:17Z","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/2509.07179/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present an auxiliary space theory that provides a unified framework for analyzing various iterative methods for solving linear systems that may be semidefinite. By interpreting a given iterative method for the original system as an equivalent, yet more elementary, iterative method for an auxiliary system defined on a larger space, we derive sharp convergence estimates using elementary linear algebra. In particular, we establish identities for the error propagation operator and the condition number associated with iterative methods, which generalize and refine existing results. The proposed ","authors_text":"Jinchao Xu, Jongho Park","cross_cats":["cs.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2025-09-08T19:50:53Z","title":"Auxiliary space theory for the analysis of iterative methods for semidefinite linear systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.07179","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:0d7e2c21c95309b0ca4ba453d54953dd9da35f3a5b66eb6e2ee3d839ef438618","target":"record","created_at":"2026-07-05T12:07:17Z","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":"0e68615dc0165c6723037e414d446f351cc2ed7f2332b12a6561fec1569b6f5f","cross_cats_sorted":["cs.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2025-09-08T19:50:53Z","title_canon_sha256":"a4649757d674aed3057bcad219620c2a0683750356a0d48003dea0aaeb581514"},"schema_version":"1.0","source":{"id":"2509.07179","kind":"arxiv","version":1}},"canonical_sha256":"1a5e45c410112c5de711728b8f0e1a5d9e441ceffedf4cf41fee06fe4ad2529e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a5e45c410112c5de711728b8f0e1a5d9e441ceffedf4cf41fee06fe4ad2529e","first_computed_at":"2026-07-05T12:07:17.126047Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:07:17.126047Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"r/OPUn5fUfq3AL/J3fNBldP5RJTntfvCVjm32AH8LUv15aXMyKUQtD89nehizWVv6d8IVaaJXzhBYtQYHoCNCA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:07:17.126707Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.07179","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d7e2c21c95309b0ca4ba453d54953dd9da35f3a5b66eb6e2ee3d839ef438618","sha256:9efba1a4dea89ebbec2d6fce339e33208a186071645baf54eb5393b43738f809"],"state_sha256":"889812264679af976b89323ee07f427a0827c336c8867057301a3e56d277950a"}