{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:IDBEF43PTE6LLZVUZIEPWDUKOS","short_pith_number":"pith:IDBEF43P","canonical_record":{"source":{"id":"2606.00412","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CC","submitted_at":"2026-05-29T23:06:42Z","cross_cats_sorted":["cs.SY","eess.SY","math.AG","math.OC"],"title_canon_sha256":"38ddee412f24689fcc904124e93b579eb880e8920ce6a182813c76346554b34d","abstract_canon_sha256":"a0898d64e25434dccea9ea750901072b7bc0b8b19c4455122591fc3a08dd9977"},"schema_version":"1.0"},"canonical_sha256":"40c242f36f993cb5e6b4ca08fb0e8a74b896445d15bc9daecd50ce2f09bb827b","source":{"kind":"arxiv","id":"2606.00412","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.00412","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"arxiv_version","alias_value":"2606.00412v1","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.00412","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"pith_short_12","alias_value":"IDBEF43PTE6L","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"pith_short_16","alias_value":"IDBEF43PTE6LLZVU","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"pith_short_8","alias_value":"IDBEF43P","created_at":"2026-06-02T01:03:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:IDBEF43PTE6LLZVUZIEPWDUKOS","target":"record","payload":{"canonical_record":{"source":{"id":"2606.00412","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CC","submitted_at":"2026-05-29T23:06:42Z","cross_cats_sorted":["cs.SY","eess.SY","math.AG","math.OC"],"title_canon_sha256":"38ddee412f24689fcc904124e93b579eb880e8920ce6a182813c76346554b34d","abstract_canon_sha256":"a0898d64e25434dccea9ea750901072b7bc0b8b19c4455122591fc3a08dd9977"},"schema_version":"1.0"},"canonical_sha256":"40c242f36f993cb5e6b4ca08fb0e8a74b896445d15bc9daecd50ce2f09bb827b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T01:03:53.905141Z","signature_b64":"cEKoEZHBh0U9kgPOYv6SUo+q/mqa7KRbAci3uYVRPPSE+b0VV8wu8sJ7WWzvyokfN0TV2XXF4qfeI5Mf6N+LAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"40c242f36f993cb5e6b4ca08fb0e8a74b896445d15bc9daecd50ce2f09bb827b","last_reissued_at":"2026-06-02T01:03:53.904760Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T01:03:53.904760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.00412","source_version":1,"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-02T01:03:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L9l9Iyh6FU4CFUXccpfk11z+vOpPe4w0VRQGHLTMKYS4u+EzQBm1jwuMScpcMXELf4WYTCdDSclgUl8sxc3CCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T16:20:19.961816Z"},"content_sha256":"ae265cc52e1519f913f5ad94b59a2b12e6eeebda1c30fe5e5082f6011c8f4eb6","schema_version":"1.0","event_id":"sha256:ae265cc52e1519f913f5ad94b59a2b12e6eeebda1c30fe5e5082f6011c8f4eb6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:IDBEF43PTE6LLZVUZIEPWDUKOS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying global identifiability of parametric linear ODE models is NP-hard","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SY","eess.SY","math.AG","math.OC"],"primary_cat":"cs.CC","authors_text":"Alexey Ovchinnikov, Pedro Soto","submitted_at":"2026-05-29T23:06:42Z","abstract_excerpt":"Global parameter identifiability is a property of a parametric ODE model to recover the parameter values uniquely from the input-output data. Not all parametric ODE models have this property, and checking for parameter identifiability is a prerequisite to perform numerical parameter estimation. There are many algorithms and software packages for global parameter identifiability, and frequently the runtime is large. However, the computational complexity for this problem has not been analyzed yet, though there are complexity results for local (finitely many values fit the data) parameter identif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.00412","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/2606.00412/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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-02T01:03:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/bgbUKpM2UnWrYLNpigteT5a4+xfmTGiugwGAFrOheMCnFI0RK9UCcT8523gQ8gpoHhnXqBxt1nv62d06pG+Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T16:20:19.962203Z"},"content_sha256":"cac4aa65e4b6184e74a3f837793f4115d93018ecb72d440e544d486d20995100","schema_version":"1.0","event_id":"sha256:cac4aa65e4b6184e74a3f837793f4115d93018ecb72d440e544d486d20995100"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IDBEF43PTE6LLZVUZIEPWDUKOS/bundle.json","state_url":"https://pith.science/pith/IDBEF43PTE6LLZVUZIEPWDUKOS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IDBEF43PTE6LLZVUZIEPWDUKOS/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-06-02T16:20:19Z","links":{"resolver":"https://pith.science/pith/IDBEF43PTE6LLZVUZIEPWDUKOS","bundle":"https://pith.science/pith/IDBEF43PTE6LLZVUZIEPWDUKOS/bundle.json","state":"https://pith.science/pith/IDBEF43PTE6LLZVUZIEPWDUKOS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IDBEF43PTE6LLZVUZIEPWDUKOS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IDBEF43PTE6LLZVUZIEPWDUKOS","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":"a0898d64e25434dccea9ea750901072b7bc0b8b19c4455122591fc3a08dd9977","cross_cats_sorted":["cs.SY","eess.SY","math.AG","math.OC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CC","submitted_at":"2026-05-29T23:06:42Z","title_canon_sha256":"38ddee412f24689fcc904124e93b579eb880e8920ce6a182813c76346554b34d"},"schema_version":"1.0","source":{"id":"2606.00412","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.00412","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"arxiv_version","alias_value":"2606.00412v1","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.00412","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"pith_short_12","alias_value":"IDBEF43PTE6L","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"pith_short_16","alias_value":"IDBEF43PTE6LLZVU","created_at":"2026-06-02T01:03:53Z"},{"alias_kind":"pith_short_8","alias_value":"IDBEF43P","created_at":"2026-06-02T01:03:53Z"}],"graph_snapshots":[{"event_id":"sha256:cac4aa65e4b6184e74a3f837793f4115d93018ecb72d440e544d486d20995100","target":"graph","created_at":"2026-06-02T01:03:53Z","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/2606.00412/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Global parameter identifiability is a property of a parametric ODE model to recover the parameter values uniquely from the input-output data. Not all parametric ODE models have this property, and checking for parameter identifiability is a prerequisite to perform numerical parameter estimation. There are many algorithms and software packages for global parameter identifiability, and frequently the runtime is large. However, the computational complexity for this problem has not been analyzed yet, though there are complexity results for local (finitely many values fit the data) parameter identif","authors_text":"Alexey Ovchinnikov, Pedro Soto","cross_cats":["cs.SY","eess.SY","math.AG","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CC","submitted_at":"2026-05-29T23:06:42Z","title":"Verifying global identifiability of parametric linear ODE models is NP-hard"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.00412","kind":"arxiv","version":1},"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:ae265cc52e1519f913f5ad94b59a2b12e6eeebda1c30fe5e5082f6011c8f4eb6","target":"record","created_at":"2026-06-02T01:03:53Z","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":"a0898d64e25434dccea9ea750901072b7bc0b8b19c4455122591fc3a08dd9977","cross_cats_sorted":["cs.SY","eess.SY","math.AG","math.OC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CC","submitted_at":"2026-05-29T23:06:42Z","title_canon_sha256":"38ddee412f24689fcc904124e93b579eb880e8920ce6a182813c76346554b34d"},"schema_version":"1.0","source":{"id":"2606.00412","kind":"arxiv","version":1}},"canonical_sha256":"40c242f36f993cb5e6b4ca08fb0e8a74b896445d15bc9daecd50ce2f09bb827b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"40c242f36f993cb5e6b4ca08fb0e8a74b896445d15bc9daecd50ce2f09bb827b","first_computed_at":"2026-06-02T01:03:53.904760Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T01:03:53.904760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cEKoEZHBh0U9kgPOYv6SUo+q/mqa7KRbAci3uYVRPPSE+b0VV8wu8sJ7WWzvyokfN0TV2XXF4qfeI5Mf6N+LAQ==","signature_status":"signed_v1","signed_at":"2026-06-02T01:03:53.905141Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.00412","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae265cc52e1519f913f5ad94b59a2b12e6eeebda1c30fe5e5082f6011c8f4eb6","sha256:cac4aa65e4b6184e74a3f837793f4115d93018ecb72d440e544d486d20995100"],"state_sha256":"d6e67e26ee4451bbdca0303b461fe31839c3d9346dcc0d247181349b7eebab7c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wPOYYPAjCtdDNhYV9U3K/Pfk1GqfTTkxgjnZuJ/y63TaMtfOsDTHIKt6lyXsaQEWJO7Genyq8f7B66ckKQCWCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T16:20:19.964284Z","bundle_sha256":"8f0f7e64a1baf2b71487ba320ef01d44dbc31bf12f9ac0167062879c89b2d20e"}}