{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:ARU6J3C222CBZRNN6OJ3WYUYMJ","short_pith_number":"pith:ARU6J3C2","schema_version":"1.0","canonical_sha256":"0469e4ec5ad6841cc5adf393bb6298625936e9d36f9ebe5e6007df9925e29d9d","source":{"kind":"arxiv","id":"2408.12179","version":2},"attestation_state":"computed","paper":{"title":"HPR-LP: An implementation of an HPR method for solving linear programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Defeng Sun, Guojun Zhang, Kaihuang Chen, Xinyuan Zhao, Yancheng Yuan","submitted_at":"2024-08-22T07:51:55Z","abstract_excerpt":"In this paper, we introduce an HPR-LP solver, an implementation of a Halpern Peaceman-Rachford (HPR) method with semi-proximal terms for solving linear programming (LP). The HPR method enjoys the iteration complexity of $O(1/k)$ in terms of the Karush-Kuhn-Tucker residual and the objective error. Based on the complexity results, we design an adaptive strategy of restart and penalty parameter update to improve the efficiency and robustness of the HPR method. We conduct extensive numerical experiments on different LP benchmark datasets using NVIDIA A100-SXM4-80GB GPU in different stopping tolera"},"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":"2408.12179","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-08-22T07:51:55Z","cross_cats_sorted":[],"title_canon_sha256":"be73adf89da73fd9e2c3c559cc7c54726e7aa9b358f3fb626520f5d657c87733","abstract_canon_sha256":"8e4828a77914fed43bc0c32b70dd4245678f6d28f394b4cb3e8cb53176d98053"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:31:45.996660Z","signature_b64":"/5uto2qaaPfcexYORA1q/Tjn15vkYLnyyQKL2tL13mViuQhs4Z0VnwgEPrjcVL0gEOoHRQatkR2xSh//GvkmBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0469e4ec5ad6841cc5adf393bb6298625936e9d36f9ebe5e6007df9925e29d9d","last_reissued_at":"2026-07-05T10:31:45.996019Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:31:45.996019Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"HPR-LP: An implementation of an HPR method for solving linear programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Defeng Sun, Guojun Zhang, Kaihuang Chen, Xinyuan Zhao, Yancheng Yuan","submitted_at":"2024-08-22T07:51:55Z","abstract_excerpt":"In this paper, we introduce an HPR-LP solver, an implementation of a Halpern Peaceman-Rachford (HPR) method with semi-proximal terms for solving linear programming (LP). The HPR method enjoys the iteration complexity of $O(1/k)$ in terms of the Karush-Kuhn-Tucker residual and the objective error. Based on the complexity results, we design an adaptive strategy of restart and penalty parameter update to improve the efficiency and robustness of the HPR method. We conduct extensive numerical experiments on different LP benchmark datasets using NVIDIA A100-SXM4-80GB GPU in different stopping tolera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.12179","kind":"arxiv","version":2},"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/2408.12179/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":"2408.12179","created_at":"2026-07-05T10:31:45.996100+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.12179v2","created_at":"2026-07-05T10:31:45.996100+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.12179","created_at":"2026-07-05T10:31:45.996100+00:00"},{"alias_kind":"pith_short_12","alias_value":"ARU6J3C222CB","created_at":"2026-07-05T10:31:45.996100+00:00"},{"alias_kind":"pith_short_16","alias_value":"ARU6J3C222CBZRNN","created_at":"2026-07-05T10:31:45.996100+00:00"},{"alias_kind":"pith_short_8","alias_value":"ARU6J3C2","created_at":"2026-07-05T10:31:45.996100+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2410.04043","citing_title":"Accessible Complexity Bounds for Restarted PDHG on Linear Programs with a Unique Optimizer","ref_index":14,"is_internal_anchor":false},{"citing_arxiv_id":"2605.17883","citing_title":"On the convergence of doubly stochastic Primal-Dual Hybrid Gradient Method","ref_index":9,"is_internal_anchor":false},{"citing_arxiv_id":"2604.16192","citing_title":"Empirical Asymptotic Runtime Analysis of Linear Programming Algorithms","ref_index":5,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ","json":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ.json","graph_json":"https://pith.science/api/pith-number/ARU6J3C222CBZRNN6OJ3WYUYMJ/graph.json","events_json":"https://pith.science/api/pith-number/ARU6J3C222CBZRNN6OJ3WYUYMJ/events.json","paper":"https://pith.science/paper/ARU6J3C2"},"agent_actions":{"view_html":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ","download_json":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ.json","view_paper":"https://pith.science/paper/ARU6J3C2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.12179&json=true","fetch_graph":"https://pith.science/api/pith-number/ARU6J3C222CBZRNN6OJ3WYUYMJ/graph.json","fetch_events":"https://pith.science/api/pith-number/ARU6J3C222CBZRNN6OJ3WYUYMJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ/action/storage_attestation","attest_author":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ/action/author_attestation","sign_citation":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ/action/citation_signature","submit_replication":"https://pith.science/pith/ARU6J3C222CBZRNN6OJ3WYUYMJ/action/replication_record"}},"created_at":"2026-07-05T10:31:45.996100+00:00","updated_at":"2026-07-05T10:31:45.996100+00:00"}