{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:D52RAPARGMXD5I2IQEUE7ZDB3L","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":"1b7d598da2a5ffb05711a0314f8080c9b9c227e9e02c006a7a6c3ca43e61743b","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.SI","submitted_at":"2026-05-15T14:11:49Z","title_canon_sha256":"99504a0c58e84567427ee5d9b225b582e3242cdec630afac881190646e126c28"},"schema_version":"1.0","source":{"id":"2605.15977","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15977","created_at":"2026-05-20T00:01:47Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15977v1","created_at":"2026-05-20T00:01:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.15977","created_at":"2026-05-20T00:01:47Z"},{"alias_kind":"pith_short_12","alias_value":"D52RAPARGMXD","created_at":"2026-05-20T00:01:47Z"},{"alias_kind":"pith_short_16","alias_value":"D52RAPARGMXD5I2I","created_at":"2026-05-20T00:01:47Z"},{"alias_kind":"pith_short_8","alias_value":"D52RAPAR","created_at":"2026-05-20T00:01:47Z"}],"graph_snapshots":[{"event_id":"sha256:2ded6d72ba8b0922844be953e3a3d3a2eb46c1ec79bd9efe78d1df3673e46b53","target":"graph","created_at":"2026-05-20T00:01:47Z","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":"We demonstrate that this approach can be efficiently used for finding non-Liouvillian and non-Puiseux integrable dynamical systems... We illustrate this approach by proving non-Liouvillian integrability of two dynamical systems from the Painlevé–Gambier classification and non-Puiseux integrability of an oscillator from the considered family."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The method assumes that the relevant transcendental invariant curves exist and that their cofactors being polynomial or rational in one variable is sufficient to reduce the search to linear algebraic and linear ODE problems whose solutions yield the integrals."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A method based on transcendental invariant curves with polynomial or rational cofactors is used to prove integrability for selected nonlinear oscillators and Painlevé-Gambier systems by solving linear algebraic and ODE problems."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Transcendental invariant curves with polynomial or rational cofactors yield first integrals for non-Liouvillian integrable oscillators."}],"snapshot_sha256":"2fd669c7c003fdea237bb692633d2c07e1cb19af4ad2c7f340c0dd83e266b04b"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"501eed7dede7fd0c61d64532c6f676b3bcbcc3b96c191e72b0bc0e5544190437"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T17:33:44.862691Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T17:31:18.440267Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T17:26:19.653336Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T17:01:55.682966Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.15977/integrity.json","findings":[],"snapshot_sha256":"5a777c219f127509c82faf0d98ed134db377764480f30cfb1d428643957d8b2f","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work we study the integrability of a family of nonlinear oscillators. Dynamical systems from this family appear in different applications from mechanics to chemistry. We propose an approach for finding first integrals and integrating factors, which is based on the construction and classification of transcendental invariant curves whose cofactors are polynomial or rational in one of the variables. We demonstrate that this approach can be efficiently used for finding non-Liouvillian and non-Puiseux integrable dynamical systems. Its application involves finding solutions only of linear al","authors_text":"Dmitry Sinelshchikov, Jaume Gin\\'e","cross_cats":["math.DS"],"headline":"Transcendental invariant curves with polynomial or rational cofactors yield first integrals for non-Liouvillian integrable oscillators.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.SI","submitted_at":"2026-05-15T14:11:49Z","title":"Integrability of oscillators and transcendental invariant curves"},"references":{"count":59,"internal_anchors":0,"resolved_work":59,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Dove r Publications, New York (2011)","work_id":"38641c8c-9999-46c7-a221-bae497a78b1a","year":2011},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Murray, J.D.: Mathematical Biology. I. An Introduction. Springe r-Verlag, Berlin, Heidelberg (2001)","work_id":"48306ff4-a6e4-414d-a340-d0b61abb9346","year":2001},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"MIT press ( 2007)","work_id":"72fc200e-de55-4882-bf1e-2ddc466ce317","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Jenkins, A.: Self-oscillation. Phys. Rep. 525, 167–222 (2013)","work_id":"b8539461-377e-42fb-ba90-5095eebbfcf7","year":2013},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Ghosh, S., Ray, D.S.: Chemical oscillator as a generalized Rayleigh os cillator. J. Chem. Phys. 139, 164112 (2013)","work_id":"42a48a51-4f73-48b4-9945-210cdf69b8c9","year":2013}],"snapshot_sha256":"6872624e4de2695946e3926f5a649b5017afe47ef2b65e73890eecdbf1b4d285"},"source":{"id":"2605.15977","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T17:19:36.382212Z","id":"673e9e41-3a15-4bdf-80ac-f2a2fc01c390","model_set":{"reader":"grok-4.3"},"one_line_summary":"A method based on transcendental invariant curves with polynomial or rational cofactors is used to prove integrability for selected nonlinear oscillators and Painlevé-Gambier systems by solving linear algebraic and ODE problems.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Transcendental invariant curves with polynomial or rational cofactors yield first integrals for non-Liouvillian integrable oscillators.","strongest_claim":"We demonstrate that this approach can be efficiently used for finding non-Liouvillian and non-Puiseux integrable dynamical systems... We illustrate this approach by proving non-Liouvillian integrability of two dynamical systems from the Painlevé–Gambier classification and non-Puiseux integrability of an oscillator from the considered family.","weakest_assumption":"The method assumes that the relevant transcendental invariant curves exist and that their cofactors being polynomial or rational in one variable is sufficient to reduce the search to linear algebraic and linear ODE problems whose solutions yield the integrals."}},"verdict_id":"673e9e41-3a15-4bdf-80ac-f2a2fc01c390"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:107552440851828c44594ec4b48a308b34f384ebbe1ea5ccad7806ca325ae3a8","target":"record","created_at":"2026-05-20T00:01:47Z","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":"1b7d598da2a5ffb05711a0314f8080c9b9c227e9e02c006a7a6c3ca43e61743b","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"nlin.SI","submitted_at":"2026-05-15T14:11:49Z","title_canon_sha256":"99504a0c58e84567427ee5d9b225b582e3242cdec630afac881190646e126c28"},"schema_version":"1.0","source":{"id":"2605.15977","kind":"arxiv","version":1}},"canonical_sha256":"1f75103c11332e3ea34881284fe461dad145b3695162892311e92e4fbb013853","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1f75103c11332e3ea34881284fe461dad145b3695162892311e92e4fbb013853","first_computed_at":"2026-05-20T00:01:47.366626Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:01:47.366626Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rOCg2URaHPRMtsgUcV3KeT3XvCNuZ4qQGfGwnmyGMbL0taD/ECuoREBBWXouTaOKLxRp/Dihz5wyHubruAnwAw==","signature_status":"signed_v1","signed_at":"2026-05-20T00:01:47.367281Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.15977","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:107552440851828c44594ec4b48a308b34f384ebbe1ea5ccad7806ca325ae3a8","sha256:2ded6d72ba8b0922844be953e3a3d3a2eb46c1ec79bd9efe78d1df3673e46b53"],"state_sha256":"d04340ef0368a1bef6ff0e2f5824085e9c1c4c387fa46bd974244801c6c6b922"}