{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5IUYEUQZKD2PF4DIXMMYIDOCV3","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":"98e2794452fa0f997f3952fcc8e8d8f994dae70d6dee0d6a46d3c4482ca810de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-07-08T21:29:28Z","title_canon_sha256":"368ede7b221e7cf87696c40b492da0dfe43801478a8333551afa8a6c1e94873b"},"schema_version":"1.0","source":{"id":"2407.06408","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.06408","created_at":"2026-06-29T01:15:01Z"},{"alias_kind":"arxiv_version","alias_value":"2407.06408v2","created_at":"2026-06-29T01:15:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.06408","created_at":"2026-06-29T01:15:01Z"},{"alias_kind":"pith_short_12","alias_value":"5IUYEUQZKD2P","created_at":"2026-06-29T01:15:01Z"},{"alias_kind":"pith_short_16","alias_value":"5IUYEUQZKD2PF4DI","created_at":"2026-06-29T01:15:01Z"},{"alias_kind":"pith_short_8","alias_value":"5IUYEUQZ","created_at":"2026-06-29T01:15:01Z"}],"graph_snapshots":[{"event_id":"sha256:bfec3e8c9e576724b418bf9267c0bcd9d37607f87f1304535514eb9e70b15e89","target":"graph","created_at":"2026-06-29T01:15:01Z","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/2407.06408/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Facial reduction, FR, is a regularization technique for convex programs where the strict feasibility constraint qualification, CQ, fails.Though this CQ holds generically, failure is pervasive in applications such as semidefinite relaxations of hard discrete optimization problems. In this paper we relate FR to the analysis of the convergence behaviour of a semismooth Newton root finding method for the projection onto a spectrahedron, i.e., onto the intersection of a linear manifold and the semidefinite cone. We examine the effect of failure of strict feasibility on the projection problem. In th","authors_text":"David Torregrosa-Bel\\'en, Haesol Im, Henry Wolkowicz, Woosuk L. Jung","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-07-08T21:29:28Z","title":"Projection, Degeneracy, and Singularity Degree for Spectrahedra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.06408","kind":"arxiv","version":2},"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:5b6efdd6f881154ead731b79f88d12678ec336fb47390aa6a326e5a6aeb6c7d0","target":"record","created_at":"2026-06-29T01:15:01Z","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":"98e2794452fa0f997f3952fcc8e8d8f994dae70d6dee0d6a46d3c4482ca810de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-07-08T21:29:28Z","title_canon_sha256":"368ede7b221e7cf87696c40b492da0dfe43801478a8333551afa8a6c1e94873b"},"schema_version":"1.0","source":{"id":"2407.06408","kind":"arxiv","version":2}},"canonical_sha256":"ea2982521950f4f2f068bb19840dc2aed4029ef74a5dc7d804efcc889863265d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea2982521950f4f2f068bb19840dc2aed4029ef74a5dc7d804efcc889863265d","first_computed_at":"2026-06-29T01:15:01.814446Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-29T01:15:01.814446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MejxjACqVAWSL7eCduQie6OYZU0OGn0URC7NpBSqbTa3pIfevx4sCby+8F26eJuKEbura0M5pPmSHgYSL43HCA==","signature_status":"signed_v1","signed_at":"2026-06-29T01:15:01.815143Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.06408","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b6efdd6f881154ead731b79f88d12678ec336fb47390aa6a326e5a6aeb6c7d0","sha256:bfec3e8c9e576724b418bf9267c0bcd9d37607f87f1304535514eb9e70b15e89"],"state_sha256":"17b27602df1b48b474bf7b633e1cfe0dc7751a011efe052d0b325ceaedb10f76"}