{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:CWODUGPEZA5Z76RMYKDFG5N5RO","short_pith_number":"pith:CWODUGPE","schema_version":"1.0","canonical_sha256":"159c3a19e4c83b9ffa2cc2865375bd8ba919e3d16d0e9baade159fa8bd863572","source":{"kind":"arxiv","id":"2502.20588","version":1},"attestation_state":"computed","paper":{"title":"A finite sufficient set of conditions for catalytic majorization","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.IT","math.IT"],"primary_cat":"quant-ph","authors_text":"Aditya Nema, Ananda G. Maity, David Elkouss, Sergii Strelchuk","submitted_at":"2025-02-27T23:18:07Z","abstract_excerpt":"The majorization relation has found numerous applications in mathematics, quantum information and resource theory, and quantum thermodynamics, where it describes the allowable transitions between two physical states. In many cases, when state vector $x$ does not majorize state vector $y$, it is nevertheless possible to find a catalyst - another vector $z$ such that $x \\otimes z$ majorizes $y \\otimes z$. Determining the feasibility of such catalytic transformation typically involves checking an infinite set of inequalities. Here, we derive a finite sufficient set of inequalities that imply cata"},"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":"2502.20588","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2025-02-27T23:18:07Z","cross_cats_sorted":["cs.IT","math.IT"],"title_canon_sha256":"3f2a5ee5a302e5c934cdea059bbd79e4057670208bb200704cc6176eb6a8b186","abstract_canon_sha256":"8b2d0601c2c039fedaf23d2302866ac742870a5ab5f727a97dbb67d798252fb7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T02:04:05.186843Z","signature_b64":"e11+uhC0cdGE5tee60lsVv+HRLidKza6ERPuarFbZasGP/GrchBjG9aMGN6Kc1mYi+E+I1MwSGyCUN3i9KNCCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"159c3a19e4c83b9ffa2cc2865375bd8ba919e3d16d0e9baade159fa8bd863572","last_reissued_at":"2026-06-02T02:04:05.186310Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T02:04:05.186310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A finite sufficient set of conditions for catalytic majorization","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.IT","math.IT"],"primary_cat":"quant-ph","authors_text":"Aditya Nema, Ananda G. Maity, David Elkouss, Sergii Strelchuk","submitted_at":"2025-02-27T23:18:07Z","abstract_excerpt":"The majorization relation has found numerous applications in mathematics, quantum information and resource theory, and quantum thermodynamics, where it describes the allowable transitions between two physical states. In many cases, when state vector $x$ does not majorize state vector $y$, it is nevertheless possible to find a catalyst - another vector $z$ such that $x \\otimes z$ majorizes $y \\otimes z$. Determining the feasibility of such catalytic transformation typically involves checking an infinite set of inequalities. Here, we derive a finite sufficient set of inequalities that imply cata"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.20588","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/2502.20588/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":"2502.20588","created_at":"2026-06-02T02:04:05.186378+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.20588v1","created_at":"2026-06-02T02:04:05.186378+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.20588","created_at":"2026-06-02T02:04:05.186378+00:00"},{"alias_kind":"pith_short_12","alias_value":"CWODUGPEZA5Z","created_at":"2026-06-02T02:04:05.186378+00:00"},{"alias_kind":"pith_short_16","alias_value":"CWODUGPEZA5Z76RM","created_at":"2026-06-02T02:04:05.186378+00:00"},{"alias_kind":"pith_short_8","alias_value":"CWODUGPE","created_at":"2026-06-02T02:04:05.186378+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/CWODUGPEZA5Z76RMYKDFG5N5RO","json":"https://pith.science/pith/CWODUGPEZA5Z76RMYKDFG5N5RO.json","graph_json":"https://pith.science/api/pith-number/CWODUGPEZA5Z76RMYKDFG5N5RO/graph.json","events_json":"https://pith.science/api/pith-number/CWODUGPEZA5Z76RMYKDFG5N5RO/events.json","paper":"https://pith.science/paper/CWODUGPE"},"agent_actions":{"view_html":"https://pith.science/pith/CWODUGPEZA5Z76RMYKDFG5N5RO","download_json":"https://pith.science/pith/CWODUGPEZA5Z76RMYKDFG5N5RO.json","view_paper":"https://pith.science/paper/CWODUGPE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.20588&json=true","fetch_graph":"https://pith.science/api/pith-number/CWODUGPEZA5Z76RMYKDFG5N5RO/graph.json","fetch_events":"https://pith.science/api/pith-number/CWODUGPEZA5Z76RMYKDFG5N5RO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CWODUGPEZA5Z76RMYKDFG5N5RO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CWODUGPEZA5Z76RMYKDFG5N5RO/action/storage_attestation","attest_author":"https://pith.science/pith/CWODUGPEZA5Z76RMYKDFG5N5RO/action/author_attestation","sign_citation":"https://pith.science/pith/CWODUGPEZA5Z76RMYKDFG5N5RO/action/citation_signature","submit_replication":"https://pith.science/pith/CWODUGPEZA5Z76RMYKDFG5N5RO/action/replication_record"}},"created_at":"2026-06-02T02:04:05.186378+00:00","updated_at":"2026-06-02T02:04:05.186378+00:00"}