{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BSP5OYARI2X7NKYECI72NDIP7Y","short_pith_number":"pith:BSP5OYAR","canonical_record":{"source":{"id":"2504.05609","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-04-08T01:50:09Z","cross_cats_sorted":[],"title_canon_sha256":"6ff733d40ed85dc781c10a48d1b548e57337ebf5eec7a47522e8d730c6420e69","abstract_canon_sha256":"7d4fdfeec9666c4b778c4cea3a63f6926f751a04356b0ac997ea9e489f8b558e"},"schema_version":"1.0"},"canonical_sha256":"0c9fd7601146aff6ab04123fa68d0ffe1401dba4fea4b605a3b62e4c44f440db","source":{"kind":"arxiv","id":"2504.05609","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.05609","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"arxiv_version","alias_value":"2504.05609v3","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.05609","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"pith_short_12","alias_value":"BSP5OYARI2X7","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"pith_short_16","alias_value":"BSP5OYARI2X7NKYE","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"pith_short_8","alias_value":"BSP5OYAR","created_at":"2026-06-29T01:14:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BSP5OYARI2X7NKYECI72NDIP7Y","target":"record","payload":{"canonical_record":{"source":{"id":"2504.05609","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-04-08T01:50:09Z","cross_cats_sorted":[],"title_canon_sha256":"6ff733d40ed85dc781c10a48d1b548e57337ebf5eec7a47522e8d730c6420e69","abstract_canon_sha256":"7d4fdfeec9666c4b778c4cea3a63f6926f751a04356b0ac997ea9e489f8b558e"},"schema_version":"1.0"},"canonical_sha256":"0c9fd7601146aff6ab04123fa68d0ffe1401dba4fea4b605a3b62e4c44f440db","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-29T01:14:01.967854Z","signature_b64":"4OcKFcJwBO/xJZLu9c/iX30P2+X3BuVYbKYxJ7zIdhszkm0s2NDeABu1ebazVMl2VEkd+P6aMt4DgU30GRppAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0c9fd7601146aff6ab04123fa68d0ffe1401dba4fea4b605a3b62e4c44f440db","last_reissued_at":"2026-06-29T01:14:01.967402Z","signature_status":"signed_v1","first_computed_at":"2026-06-29T01:14:01.967402Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.05609","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-29T01:14:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8dddcq2bF3VNt94kPH10/Msa4sG0gVMRrzUWI61Ju/ox/JIV+cpq+4xb8w5Bu8w+I/upvYifRHQ/fcJivCJfAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:33:45.036675Z"},"content_sha256":"155fff6758fca0b3b00b23cad493248873904bfe5354cd39eb3753dbcd0b9534","schema_version":"1.0","event_id":"sha256:155fff6758fca0b3b00b23cad493248873904bfe5354cd39eb3753dbcd0b9534"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BSP5OYARI2X7NKYECI72NDIP7Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extended SQP Methods in Nonsmooth Difference Programming Applied to Problems with Variational Inequality Constraints","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Extended SQP methods converge globally for nonsmooth difference programming problems when the Polyak-Łojasiewicz-Kurdyka property holds.","cross_cats":[],"primary_cat":"math.OC","authors_text":"Boris S. Mordukhovich, Jin Zhang, Shangzhi Zeng, Yixia Song","submitted_at":"2025-04-08T01:50:09Z","abstract_excerpt":"This paper explores a new class of constrained difference programming problems, where the objective and constraints are formulated as differences of functions, without requiring their convexity. To investigate such problems, novel variants of the extended sequential quadratic method are introduced. These algorithms iteratively solve strongly convex quadratic subproblems constructed via linear approximations of the given data by using their gradients and subgradients. The convergence of the proposed methods is rigorously analyzed by employing, in particular, the Polyak-\\L ojasiewicz-Kurdyka pro"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The convergence of the proposed methods is rigorously analyzed by employing, in particular, the Polyak-Łojasiewicz-Kurdyka property that ensures global convergence for various classes of functions in the problem formulation, e.g., semialgebraic ones. The original framework is further extended to address difference programming problems with variational inequality (VI) constraints.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The functions appearing in the objective and constraints satisfy the Polyak-Łojasiewicz-Kurdyka property (or belong to classes such as semialgebraic functions for which this property holds), allowing the convergence analysis to go through.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"New extended SQP algorithms for nonsmooth difference programming with VI constraints, with global convergence via the Polyak-Łojasiewicz-Kurdyka property for semialgebraic functions.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Extended SQP methods converge globally for nonsmooth difference programming problems when the Polyak-Łojasiewicz-Kurdyka property holds.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"738c10ae66f437309913e275e37e1109071736f3f0fef9d14d99ced6e1cfa212"},"source":{"id":"2504.05609","kind":"arxiv","version":3},"verdict":{"id":"58f45140-dabe-4a83-b290-4c499fabeb78","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-22T21:04:13.967749Z","strongest_claim":"The convergence of the proposed methods is rigorously analyzed by employing, in particular, the Polyak-Łojasiewicz-Kurdyka property that ensures global convergence for various classes of functions in the problem formulation, e.g., semialgebraic ones. The original framework is further extended to address difference programming problems with variational inequality (VI) constraints.","one_line_summary":"New extended SQP algorithms for nonsmooth difference programming with VI constraints, with global convergence via the Polyak-Łojasiewicz-Kurdyka property for semialgebraic functions.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The functions appearing in the objective and constraints satisfy the Polyak-Łojasiewicz-Kurdyka property (or belong to classes such as semialgebraic functions for which this property holds), allowing the convergence analysis to go through.","pith_extraction_headline":"Extended SQP methods converge globally for nonsmooth difference programming problems when the Polyak-Łojasiewicz-Kurdyka property holds."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.05609/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"},"verdict_id":"58f45140-dabe-4a83-b290-4c499fabeb78"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-29T01:14:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7dC5O7phqKF2RP747gCwOgK8SOeoc7ui6XxsdZadvqZH9NJWMPvIDIVBSqmeF8G+8bYWzQk9oWnzJ8kboL/FDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:33:45.037348Z"},"content_sha256":"afea5f377dab0a3ed98e53dfe2e6a8cd4147186279326d098b71f2f8fd691a3f","schema_version":"1.0","event_id":"sha256:afea5f377dab0a3ed98e53dfe2e6a8cd4147186279326d098b71f2f8fd691a3f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BSP5OYARI2X7NKYECI72NDIP7Y/bundle.json","state_url":"https://pith.science/pith/BSP5OYARI2X7NKYECI72NDIP7Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BSP5OYARI2X7NKYECI72NDIP7Y/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T11:33:45Z","links":{"resolver":"https://pith.science/pith/BSP5OYARI2X7NKYECI72NDIP7Y","bundle":"https://pith.science/pith/BSP5OYARI2X7NKYECI72NDIP7Y/bundle.json","state":"https://pith.science/pith/BSP5OYARI2X7NKYECI72NDIP7Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BSP5OYARI2X7NKYECI72NDIP7Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BSP5OYARI2X7NKYECI72NDIP7Y","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":"7d4fdfeec9666c4b778c4cea3a63f6926f751a04356b0ac997ea9e489f8b558e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-04-08T01:50:09Z","title_canon_sha256":"6ff733d40ed85dc781c10a48d1b548e57337ebf5eec7a47522e8d730c6420e69"},"schema_version":"1.0","source":{"id":"2504.05609","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.05609","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"arxiv_version","alias_value":"2504.05609v3","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.05609","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"pith_short_12","alias_value":"BSP5OYARI2X7","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"pith_short_16","alias_value":"BSP5OYARI2X7NKYE","created_at":"2026-06-29T01:14:01Z"},{"alias_kind":"pith_short_8","alias_value":"BSP5OYAR","created_at":"2026-06-29T01:14:01Z"}],"graph_snapshots":[{"event_id":"sha256:afea5f377dab0a3ed98e53dfe2e6a8cd4147186279326d098b71f2f8fd691a3f","target":"graph","created_at":"2026-06-29T01:14: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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"The convergence of the proposed methods is rigorously analyzed by employing, in particular, the Polyak-Łojasiewicz-Kurdyka property that ensures global convergence for various classes of functions in the problem formulation, e.g., semialgebraic ones. The original framework is further extended to address difference programming problems with variational inequality (VI) constraints."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The functions appearing in the objective and constraints satisfy the Polyak-Łojasiewicz-Kurdyka property (or belong to classes such as semialgebraic functions for which this property holds), allowing the convergence analysis to go through."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"New extended SQP algorithms for nonsmooth difference programming with VI constraints, with global convergence via the Polyak-Łojasiewicz-Kurdyka property for semialgebraic functions."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Extended SQP methods converge globally for nonsmooth difference programming problems when the Polyak-Łojasiewicz-Kurdyka property holds."}],"snapshot_sha256":"738c10ae66f437309913e275e37e1109071736f3f0fef9d14d99ced6e1cfa212"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2504.05609/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper explores a new class of constrained difference programming problems, where the objective and constraints are formulated as differences of functions, without requiring their convexity. To investigate such problems, novel variants of the extended sequential quadratic method are introduced. These algorithms iteratively solve strongly convex quadratic subproblems constructed via linear approximations of the given data by using their gradients and subgradients. The convergence of the proposed methods is rigorously analyzed by employing, in particular, the Polyak-\\L ojasiewicz-Kurdyka pro","authors_text":"Boris S. Mordukhovich, Jin Zhang, Shangzhi Zeng, Yixia Song","cross_cats":[],"headline":"Extended SQP methods converge globally for nonsmooth difference programming problems when the Polyak-Łojasiewicz-Kurdyka property holds.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-04-08T01:50:09Z","title":"Extended SQP Methods in Nonsmooth Difference Programming Applied to Problems with Variational Inequality Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.05609","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-22T21:04:13.967749Z","id":"58f45140-dabe-4a83-b290-4c499fabeb78","model_set":{"reader":"grok-4.3"},"one_line_summary":"New extended SQP algorithms for nonsmooth difference programming with VI constraints, with global convergence via the Polyak-Łojasiewicz-Kurdyka property for semialgebraic functions.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Extended SQP methods converge globally for nonsmooth difference programming problems when the Polyak-Łojasiewicz-Kurdyka property holds.","strongest_claim":"The convergence of the proposed methods is rigorously analyzed by employing, in particular, the Polyak-Łojasiewicz-Kurdyka property that ensures global convergence for various classes of functions in the problem formulation, e.g., semialgebraic ones. The original framework is further extended to address difference programming problems with variational inequality (VI) constraints.","weakest_assumption":"The functions appearing in the objective and constraints satisfy the Polyak-Łojasiewicz-Kurdyka property (or belong to classes such as semialgebraic functions for which this property holds), allowing the convergence analysis to go through."}},"verdict_id":"58f45140-dabe-4a83-b290-4c499fabeb78"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:155fff6758fca0b3b00b23cad493248873904bfe5354cd39eb3753dbcd0b9534","target":"record","created_at":"2026-06-29T01:14: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":"7d4fdfeec9666c4b778c4cea3a63f6926f751a04356b0ac997ea9e489f8b558e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-04-08T01:50:09Z","title_canon_sha256":"6ff733d40ed85dc781c10a48d1b548e57337ebf5eec7a47522e8d730c6420e69"},"schema_version":"1.0","source":{"id":"2504.05609","kind":"arxiv","version":3}},"canonical_sha256":"0c9fd7601146aff6ab04123fa68d0ffe1401dba4fea4b605a3b62e4c44f440db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0c9fd7601146aff6ab04123fa68d0ffe1401dba4fea4b605a3b62e4c44f440db","first_computed_at":"2026-06-29T01:14:01.967402Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-29T01:14:01.967402Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4OcKFcJwBO/xJZLu9c/iX30P2+X3BuVYbKYxJ7zIdhszkm0s2NDeABu1ebazVMl2VEkd+P6aMt4DgU30GRppAg==","signature_status":"signed_v1","signed_at":"2026-06-29T01:14:01.967854Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.05609","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:155fff6758fca0b3b00b23cad493248873904bfe5354cd39eb3753dbcd0b9534","sha256:afea5f377dab0a3ed98e53dfe2e6a8cd4147186279326d098b71f2f8fd691a3f"],"state_sha256":"1b8ce5c9e14211e2060d29a6fe818368da77d64f55db9ef797a7365696029267"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I++8KgmmFVGX8+YxAgkeUY96GZQewX4VGrIhJnQlrHqg+OyuEw5FTnOgovnV+9zJRbjbYwot0HWqoY4CF5rVBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T11:33:45.043862Z","bundle_sha256":"d569ea77ab0d68ce67a6e5a00134022a8c366d7e2995668358c4fa81410580b2"}}