{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:CEWCRHPTPELXYHI3KEAIK4CQJQ","short_pith_number":"pith:CEWCRHPT","schema_version":"1.0","canonical_sha256":"112c289df379177c1d1b51008570504c06ee5f019eea697aba7e05bf9acdecc7","source":{"kind":"arxiv","id":"2509.02849","version":1},"attestation_state":"computed","paper":{"title":"Moment-SOS hierarchies for arrow-type polynomial matrix inequalities with applications to structural optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Giovanni Fantuzzi, Marek Tyburec, Marouan Handa, Michal Ko\\v{c}vara, Victor Magron","submitted_at":"2025-09-02T21:32:40Z","abstract_excerpt":"The Arrow Decomposition (AD) technique, initially introduced in [Mathematical Programming 190(1-2) (2021), pp 105-134], demonstrated superior scalability over the classical chordal decomposition in the context of Linear Matrix Inequalities (LMIs) if the matrix in question satisfied suitable assumptions. The primary objective of this paper is to extend the AD method to address Polynomial Optimization Problems (POPs) involving large-scale Polynomial Matrix Inequalities (PMIs), with the solution framework relying on moment-sum of square (mSOS) hierarchies. As a first step, we revisit the LMI case"},"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":"2509.02849","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-09-02T21:32:40Z","cross_cats_sorted":[],"title_canon_sha256":"1afe9219942792cd1cfea481c64816dcc24149ea7b8c26e3bcba382941b59af9","abstract_canon_sha256":"4248c5c92fce061e2ff04819966aebe155ab9b6534b96b2dddaf87c6bb78a7c4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:03:58.462326Z","signature_b64":"2jnFKyyd++Q1N/V2rUbnL3FISl3AVolOz9ger80WzJnTf0o3DfXP89VGcgE91mxksexeHnaP1MGxwogl/RObAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"112c289df379177c1d1b51008570504c06ee5f019eea697aba7e05bf9acdecc7","last_reissued_at":"2026-07-05T12:03:58.461790Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:03:58.461790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Moment-SOS hierarchies for arrow-type polynomial matrix inequalities with applications to structural optimization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Giovanni Fantuzzi, Marek Tyburec, Marouan Handa, Michal Ko\\v{c}vara, Victor Magron","submitted_at":"2025-09-02T21:32:40Z","abstract_excerpt":"The Arrow Decomposition (AD) technique, initially introduced in [Mathematical Programming 190(1-2) (2021), pp 105-134], demonstrated superior scalability over the classical chordal decomposition in the context of Linear Matrix Inequalities (LMIs) if the matrix in question satisfied suitable assumptions. The primary objective of this paper is to extend the AD method to address Polynomial Optimization Problems (POPs) involving large-scale Polynomial Matrix Inequalities (PMIs), with the solution framework relying on moment-sum of square (mSOS) hierarchies. As a first step, we revisit the LMI case"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.02849","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/2509.02849/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":"2509.02849","created_at":"2026-07-05T12:03:58.461850+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.02849v1","created_at":"2026-07-05T12:03:58.461850+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.02849","created_at":"2026-07-05T12:03:58.461850+00:00"},{"alias_kind":"pith_short_12","alias_value":"CEWCRHPTPELX","created_at":"2026-07-05T12:03:58.461850+00:00"},{"alias_kind":"pith_short_16","alias_value":"CEWCRHPTPELXYHI3","created_at":"2026-07-05T12:03:58.461850+00:00"},{"alias_kind":"pith_short_8","alias_value":"CEWCRHPT","created_at":"2026-07-05T12:03:58.461850+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/CEWCRHPTPELXYHI3KEAIK4CQJQ","json":"https://pith.science/pith/CEWCRHPTPELXYHI3KEAIK4CQJQ.json","graph_json":"https://pith.science/api/pith-number/CEWCRHPTPELXYHI3KEAIK4CQJQ/graph.json","events_json":"https://pith.science/api/pith-number/CEWCRHPTPELXYHI3KEAIK4CQJQ/events.json","paper":"https://pith.science/paper/CEWCRHPT"},"agent_actions":{"view_html":"https://pith.science/pith/CEWCRHPTPELXYHI3KEAIK4CQJQ","download_json":"https://pith.science/pith/CEWCRHPTPELXYHI3KEAIK4CQJQ.json","view_paper":"https://pith.science/paper/CEWCRHPT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.02849&json=true","fetch_graph":"https://pith.science/api/pith-number/CEWCRHPTPELXYHI3KEAIK4CQJQ/graph.json","fetch_events":"https://pith.science/api/pith-number/CEWCRHPTPELXYHI3KEAIK4CQJQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CEWCRHPTPELXYHI3KEAIK4CQJQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CEWCRHPTPELXYHI3KEAIK4CQJQ/action/storage_attestation","attest_author":"https://pith.science/pith/CEWCRHPTPELXYHI3KEAIK4CQJQ/action/author_attestation","sign_citation":"https://pith.science/pith/CEWCRHPTPELXYHI3KEAIK4CQJQ/action/citation_signature","submit_replication":"https://pith.science/pith/CEWCRHPTPELXYHI3KEAIK4CQJQ/action/replication_record"}},"created_at":"2026-07-05T12:03:58.461850+00:00","updated_at":"2026-07-05T12:03:58.461850+00:00"}