{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:6BGNQESYNNNG5DVWCD6TTTWMSC","short_pith_number":"pith:6BGNQESY","schema_version":"1.0","canonical_sha256":"f04cd812586b5a6e8eb610fd39cecc9091c9c60c9a65eb2a698caa8593133588","source":{"kind":"arxiv","id":"2606.01335","version":1},"attestation_state":"computed","paper":{"title":"Transpose-free linear algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA"],"primary_cat":"math.NA","authors_text":"Alex Townsend, Diana Halikias, Michiel E. Hochstenbach","submitted_at":"2026-05-31T16:38:43Z","abstract_excerpt":"We study the limitations of matrix-free algorithms that access a matrix $A$ only through forward matrix-vector products (matvecs) $x \\mapsto Ax$, without access to the transpose $A^\\top$ or its action. This setting arises naturally in operator learning, inverse problems, and matrix-free PDE solvers, where adjoint evaluations may be unavailable or prohibitively expensive. We show that the lack of transpose access creates severe and sometimes insurmountable theoretical barriers. For Krylov methods, we prove that the sequence of projected operator norms produced by Arnoldi iteration can follow an"},"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":"2606.01335","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2026-05-31T16:38:43Z","cross_cats_sorted":["cs.NA"],"title_canon_sha256":"898a3a2b8b964ee2e2ddcc10a5a308d1406031fd0ac95b3c74ce3009cb6c485f","abstract_canon_sha256":"2c9e62e9f288795b88adc865259c061890bd14d67dcc23ad5960e098c5ecfe9e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T02:04:30.533487Z","signature_b64":"IAnM3s4jHc0mqMxG5LTeNBwE2QK2m/I2fGw/IW6Twkhe53kf6fzjm3wly8ph8aSpBEo/yeWtL6zF+ncKnXG0AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f04cd812586b5a6e8eb610fd39cecc9091c9c60c9a65eb2a698caa8593133588","last_reissued_at":"2026-06-02T02:04:30.533118Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T02:04:30.533118Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Transpose-free linear algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA"],"primary_cat":"math.NA","authors_text":"Alex Townsend, Diana Halikias, Michiel E. Hochstenbach","submitted_at":"2026-05-31T16:38:43Z","abstract_excerpt":"We study the limitations of matrix-free algorithms that access a matrix $A$ only through forward matrix-vector products (matvecs) $x \\mapsto Ax$, without access to the transpose $A^\\top$ or its action. This setting arises naturally in operator learning, inverse problems, and matrix-free PDE solvers, where adjoint evaluations may be unavailable or prohibitively expensive. We show that the lack of transpose access creates severe and sometimes insurmountable theoretical barriers. For Krylov methods, we prove that the sequence of projected operator norms produced by Arnoldi iteration can follow an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.01335","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/2606.01335/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":"2606.01335","created_at":"2026-06-02T02:04:30.533182+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.01335v1","created_at":"2026-06-02T02:04:30.533182+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.01335","created_at":"2026-06-02T02:04:30.533182+00:00"},{"alias_kind":"pith_short_12","alias_value":"6BGNQESYNNNG","created_at":"2026-06-02T02:04:30.533182+00:00"},{"alias_kind":"pith_short_16","alias_value":"6BGNQESYNNNG5DVW","created_at":"2026-06-02T02:04:30.533182+00:00"},{"alias_kind":"pith_short_8","alias_value":"6BGNQESY","created_at":"2026-06-02T02:04:30.533182+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/6BGNQESYNNNG5DVWCD6TTTWMSC","json":"https://pith.science/pith/6BGNQESYNNNG5DVWCD6TTTWMSC.json","graph_json":"https://pith.science/api/pith-number/6BGNQESYNNNG5DVWCD6TTTWMSC/graph.json","events_json":"https://pith.science/api/pith-number/6BGNQESYNNNG5DVWCD6TTTWMSC/events.json","paper":"https://pith.science/paper/6BGNQESY"},"agent_actions":{"view_html":"https://pith.science/pith/6BGNQESYNNNG5DVWCD6TTTWMSC","download_json":"https://pith.science/pith/6BGNQESYNNNG5DVWCD6TTTWMSC.json","view_paper":"https://pith.science/paper/6BGNQESY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.01335&json=true","fetch_graph":"https://pith.science/api/pith-number/6BGNQESYNNNG5DVWCD6TTTWMSC/graph.json","fetch_events":"https://pith.science/api/pith-number/6BGNQESYNNNG5DVWCD6TTTWMSC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6BGNQESYNNNG5DVWCD6TTTWMSC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6BGNQESYNNNG5DVWCD6TTTWMSC/action/storage_attestation","attest_author":"https://pith.science/pith/6BGNQESYNNNG5DVWCD6TTTWMSC/action/author_attestation","sign_citation":"https://pith.science/pith/6BGNQESYNNNG5DVWCD6TTTWMSC/action/citation_signature","submit_replication":"https://pith.science/pith/6BGNQESYNNNG5DVWCD6TTTWMSC/action/replication_record"}},"created_at":"2026-06-02T02:04:30.533182+00:00","updated_at":"2026-06-02T02:04:30.533182+00:00"}