{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:JVZA4GOJQQYUUEEPBVLEXTGCIE","short_pith_number":"pith:JVZA4GOJ","schema_version":"1.0","canonical_sha256":"4d720e19c984314a108f0d564bccc24126222bb05611c5c32e87faaa2cd16dab","source":{"kind":"arxiv","id":"2605.17331","version":1},"attestation_state":"computed","paper":{"title":"On the Minimax Bifurcation Formula","license":"http://creativecommons.org/licenses/by/4.0/","headline":"A variational minimax method identifies the critical parameter for saddle-node bifurcations directly as an extremal value of an extended Rayleigh quotient.","cross_cats":["math-ph","math.MP"],"primary_cat":"math.AP","authors_text":"Y. Sh. Il'yasov","submitted_at":"2026-05-17T08:48:09Z","abstract_excerpt":"We develop a variational minimax method for detecting maximal saddle-node bifurcations in abstract nonlinear equations. Unlike continuation and path-following techniques, the method identifies the critical parameter directly as an extremal value of an extended Rayleigh quotient. We prove an abstract minimax bifurcation formula, establish the existence and characterization of weak saddle-node bifurcation points, and justify finite-dimensional Galerkin approximations. We also obtain perturbation estimates for the bifurcation value. Applications to non-variational systems of nonlinear elliptic eq"},"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":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.17331","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AP","submitted_at":"2026-05-17T08:48:09Z","cross_cats_sorted":["math-ph","math.MP"],"title_canon_sha256":"aff6c80d4696c618afe31bba3f46e6ce945b2addea3e28b9b21fba67802eaebf","abstract_canon_sha256":"8cc59704ae0febe5bdbea85bcb096e03d4f8dbaf2987cf3ad768596b5c4dc255"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:03:52.473280Z","signature_b64":"DLfjQV4vm1IZ8/eUHBTTyUY2FF+cOhUQIsi7DMZqk/UYc19d2VWiiQ1uD87JLNH3V8uDLnli9aWboeVxOGBqDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d720e19c984314a108f0d564bccc24126222bb05611c5c32e87faaa2cd16dab","last_reissued_at":"2026-05-20T00:03:52.472538Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:03:52.472538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Minimax Bifurcation Formula","license":"http://creativecommons.org/licenses/by/4.0/","headline":"A variational minimax method identifies the critical parameter for saddle-node bifurcations directly as an extremal value of an extended Rayleigh quotient.","cross_cats":["math-ph","math.MP"],"primary_cat":"math.AP","authors_text":"Y. Sh. Il'yasov","submitted_at":"2026-05-17T08:48:09Z","abstract_excerpt":"We develop a variational minimax method for detecting maximal saddle-node bifurcations in abstract nonlinear equations. Unlike continuation and path-following techniques, the method identifies the critical parameter directly as an extremal value of an extended Rayleigh quotient. We prove an abstract minimax bifurcation formula, establish the existence and characterization of weak saddle-node bifurcation points, and justify finite-dimensional Galerkin approximations. We also obtain perturbation estimates for the bifurcation value. Applications to non-variational systems of nonlinear elliptic eq"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We prove an abstract minimax bifurcation formula, establish the existence and characterization of weak saddle-node bifurcation points, and justify finite-dimensional Galerkin approximations.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The critical parameter for saddle-node bifurcations can be characterized variationally as an extremal value of an extended Rayleigh quotient in abstract nonlinear equations, including those without classical variational structure.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Proves an abstract minimax bifurcation formula for detecting and characterizing weak saddle-node bifurcation points in nonlinear equations, with Galerkin approximations and applications to non-variational elliptic systems.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A variational minimax method identifies the critical parameter for saddle-node bifurcations directly as an extremal value of an extended Rayleigh quotient.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"6a04a0e5d1e7a1b6bcbc8bb0a316749c867f85c48ef27a02391f8b0966f5c1d8"},"source":{"id":"2605.17331","kind":"arxiv","version":1},"verdict":{"id":"46c75ddd-4df5-4b39-b11f-d566f3d72af9","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T23:12:24.417410Z","strongest_claim":"We prove an abstract minimax bifurcation formula, establish the existence and characterization of weak saddle-node bifurcation points, and justify finite-dimensional Galerkin approximations.","one_line_summary":"Proves an abstract minimax bifurcation formula for detecting and characterizing weak saddle-node bifurcation points in nonlinear equations, with Galerkin approximations and applications to non-variational elliptic systems.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The critical parameter for saddle-node bifurcations can be characterized variationally as an extremal value of an extended Rayleigh quotient in abstract nonlinear equations, including those without classical variational structure.","pith_extraction_headline":"A variational minimax method identifies the critical parameter for saddle-node bifurcations directly as an extremal value of an extended Rayleigh quotient."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.17331/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-19T23:31:20.124418Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T23:21:25.288884Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T21:41:57.809469Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.743288Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"8d2b3b73786369b30ca0c49de07c27e513f00e2b2d08c56d95614e6ecde82b3c"},"references":{"count":40,"sample":[{"doi":"","year":1994,"title":"A. Ambrosetti, H. Brezis, G. Cerami, Combined effects of concave and convex nonlinearities in some elliptic problems, J. Funct. Anal. 122 (1994) 519–543","work_id":"414fbb7e-1db0-4c26-85e7-528be54c0f61","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1991,"title":"I. Babuška, J. Osborn, Eigenvalue problems, in: Handbook of Numerical Analysis, Vol. II, North-Holland, Amsterdam, 1991, pp. 641–787","work_id":"4192e718-19a7-4341-8f83-e29c8fe80865","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2014,"title":"A. Bagirov, N. Karmitsa, M.M. Mäkelä, Introduction to Nonsmooth Opti- mization: Theory, Practice and Software, Springer, Cham, 2014","work_id":"3746d6d5-d495-4d48-9ad5-0976ef6e30ae","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1995,"title":"H. Berestycki, I. Capuzzo-Dolcetta, L. Nirenberg, Variational methods for indefinite superlinear homogeneous elliptic problems, NoDEA Nonlinear Differential Equations Appl. 2 (1995) 553–572","work_id":"928da4f7-b37d-4ea6-9653-6f946f1c5567","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1994,"title":"H. Berestycki, L. Nirenberg, S.R.S. Varadhan, The principal eigenvalue and maximum principle for second-order elliptic operators in general domains, Comm. Pure Appl. Math. 47 (1994) 47–92","work_id":"cf2ff96c-e1f2-46ab-a1ab-5bf402019e43","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":40,"snapshot_sha256":"6c65b732ea2099b9ab874278b76ba238c9bb93807374c1a65b96a6be7a5ec783","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"46b68aae8cb7b904246d229f39120abb8ca0c64c58bca5e4ae1d2989aef49225"},"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":"2605.17331","created_at":"2026-05-20T00:03:52.472658+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.17331v1","created_at":"2026-05-20T00:03:52.472658+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17331","created_at":"2026-05-20T00:03:52.472658+00:00"},{"alias_kind":"pith_short_12","alias_value":"JVZA4GOJQQYU","created_at":"2026-05-20T00:03:52.472658+00:00"},{"alias_kind":"pith_short_16","alias_value":"JVZA4GOJQQYUUEEP","created_at":"2026-05-20T00:03:52.472658+00:00"},{"alias_kind":"pith_short_8","alias_value":"JVZA4GOJ","created_at":"2026-05-20T00:03:52.472658+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE","json":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE.json","graph_json":"https://pith.science/api/pith-number/JVZA4GOJQQYUUEEPBVLEXTGCIE/graph.json","events_json":"https://pith.science/api/pith-number/JVZA4GOJQQYUUEEPBVLEXTGCIE/events.json","paper":"https://pith.science/paper/JVZA4GOJ"},"agent_actions":{"view_html":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE","download_json":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE.json","view_paper":"https://pith.science/paper/JVZA4GOJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.17331&json=true","fetch_graph":"https://pith.science/api/pith-number/JVZA4GOJQQYUUEEPBVLEXTGCIE/graph.json","fetch_events":"https://pith.science/api/pith-number/JVZA4GOJQQYUUEEPBVLEXTGCIE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE/action/storage_attestation","attest_author":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE/action/author_attestation","sign_citation":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE/action/citation_signature","submit_replication":"https://pith.science/pith/JVZA4GOJQQYUUEEPBVLEXTGCIE/action/replication_record"}},"created_at":"2026-05-20T00:03:52.472658+00:00","updated_at":"2026-05-20T00:03:52.472658+00:00"}