{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:QN35YGGITXEY66PWCB7XSEZGPH","short_pith_number":"pith:QN35YGGI","canonical_record":{"source":{"id":"1907.04511","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-07-10T05:18:32Z","cross_cats_sorted":["cs.NA","math.NA","math.OC"],"title_canon_sha256":"d7abb35c4a54888f6da09f98f997491aeead22dfd28705bbd71ca7f183617549","abstract_canon_sha256":"e5e98510300258cdf2f6ad5386b4e66891df2f342cd49eb3579a57222f47bf21"},"schema_version":"1.0"},"canonical_sha256":"8377dc18c89dc98f79f6107f79132679e836e5a63bc111634333c8e4d96c85ec","source":{"kind":"arxiv","id":"1907.04511","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.04511","created_at":"2026-05-17T23:41:00Z"},{"alias_kind":"arxiv_version","alias_value":"1907.04511v1","created_at":"2026-05-17T23:41:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.04511","created_at":"2026-05-17T23:41:00Z"},{"alias_kind":"pith_short_12","alias_value":"QN35YGGITXEY","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"QN35YGGITXEY66PW","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"QN35YGGI","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:QN35YGGITXEY66PWCB7XSEZGPH","target":"record","payload":{"canonical_record":{"source":{"id":"1907.04511","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-07-10T05:18:32Z","cross_cats_sorted":["cs.NA","math.NA","math.OC"],"title_canon_sha256":"d7abb35c4a54888f6da09f98f997491aeead22dfd28705bbd71ca7f183617549","abstract_canon_sha256":"e5e98510300258cdf2f6ad5386b4e66891df2f342cd49eb3579a57222f47bf21"},"schema_version":"1.0"},"canonical_sha256":"8377dc18c89dc98f79f6107f79132679e836e5a63bc111634333c8e4d96c85ec","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:00.013300Z","signature_b64":"b+2l8jGE/DTDVbh7CtsZWGfydhI7RMQo3hqs6YHF4NimcLvFVI7RBJgYQdBKPXT05z0p+J1FLZIps44ymjkwBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8377dc18c89dc98f79f6107f79132679e836e5a63bc111634333c8e4d96c85ec","last_reissued_at":"2026-05-17T23:41:00.012737Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:00.012737Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.04511","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-05-17T23:41:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uaqUv0ktQcJonIPLjlsmqFuY5a6ZQiQnpHRv2e5VNeFwQRuNNpzb//iTzRP0ytjt2874s6FZsJ2/lAo4Il2zBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:45:24.893654Z"},"content_sha256":"6316c514db918130ca883561ef9a17a0fba02cb51d062dee86625dfae43a806a","schema_version":"1.0","event_id":"sha256:6316c514db918130ca883561ef9a17a0fba02cb51d062dee86625dfae43a806a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:QN35YGGITXEY66PWCB7XSEZGPH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improved Structural Methods for Nonlinear Differential-Algebraic Equations via Combinatorial Relaxation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.NA","math.OC"],"primary_cat":"cs.SC","authors_text":"Taihei Oki","submitted_at":"2019-07-10T05:18:32Z","abstract_excerpt":"Differential-algebraic equations (DAEs) are widely used for modeling of dynamical systems. In numerical analysis of DAEs, consistent initialization and index reduction are important preprocessing prior to numerical integration. Existing DAE solvers commonly adopt structural preprocessing methods based on combinatorial optimization. Unfortunately, the structural methods fail if the DAE has numerical or symbolic cancellations. For such DAEs, methods have been proposed to modify them to other DAEs to which the structural methods are applicable, based on the combinatorial relaxation technique. Exi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.04511","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":""},"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-05-17T23:41:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6ZNypHyIeB3VWuTWUROrVC7Fzh3S1zX2Qj4yah5KOmuLgL3j5L3VmOG03PN9Ha34qYkGYEgu6+CbBz2eA6T3AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:45:24.894070Z"},"content_sha256":"a64455ebe2292fd3ce021f98f8ffd3e093a9b72401347e4a6f24a5cdc628adb6","schema_version":"1.0","event_id":"sha256:a64455ebe2292fd3ce021f98f8ffd3e093a9b72401347e4a6f24a5cdc628adb6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QN35YGGITXEY66PWCB7XSEZGPH/bundle.json","state_url":"https://pith.science/pith/QN35YGGITXEY66PWCB7XSEZGPH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QN35YGGITXEY66PWCB7XSEZGPH/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-05-26T03:45:24Z","links":{"resolver":"https://pith.science/pith/QN35YGGITXEY66PWCB7XSEZGPH","bundle":"https://pith.science/pith/QN35YGGITXEY66PWCB7XSEZGPH/bundle.json","state":"https://pith.science/pith/QN35YGGITXEY66PWCB7XSEZGPH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QN35YGGITXEY66PWCB7XSEZGPH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QN35YGGITXEY66PWCB7XSEZGPH","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":"e5e98510300258cdf2f6ad5386b4e66891df2f342cd49eb3579a57222f47bf21","cross_cats_sorted":["cs.NA","math.NA","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-07-10T05:18:32Z","title_canon_sha256":"d7abb35c4a54888f6da09f98f997491aeead22dfd28705bbd71ca7f183617549"},"schema_version":"1.0","source":{"id":"1907.04511","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.04511","created_at":"2026-05-17T23:41:00Z"},{"alias_kind":"arxiv_version","alias_value":"1907.04511v1","created_at":"2026-05-17T23:41:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.04511","created_at":"2026-05-17T23:41:00Z"},{"alias_kind":"pith_short_12","alias_value":"QN35YGGITXEY","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"QN35YGGITXEY66PW","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"QN35YGGI","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:a64455ebe2292fd3ce021f98f8ffd3e093a9b72401347e4a6f24a5cdc628adb6","target":"graph","created_at":"2026-05-17T23:41:00Z","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"},"paper":{"abstract_excerpt":"Differential-algebraic equations (DAEs) are widely used for modeling of dynamical systems. In numerical analysis of DAEs, consistent initialization and index reduction are important preprocessing prior to numerical integration. Existing DAE solvers commonly adopt structural preprocessing methods based on combinatorial optimization. Unfortunately, the structural methods fail if the DAE has numerical or symbolic cancellations. For such DAEs, methods have been proposed to modify them to other DAEs to which the structural methods are applicable, based on the combinatorial relaxation technique. Exi","authors_text":"Taihei Oki","cross_cats":["cs.NA","math.NA","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-07-10T05:18:32Z","title":"Improved Structural Methods for Nonlinear Differential-Algebraic Equations via Combinatorial Relaxation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.04511","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:6316c514db918130ca883561ef9a17a0fba02cb51d062dee86625dfae43a806a","target":"record","created_at":"2026-05-17T23:41:00Z","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":"e5e98510300258cdf2f6ad5386b4e66891df2f342cd49eb3579a57222f47bf21","cross_cats_sorted":["cs.NA","math.NA","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2019-07-10T05:18:32Z","title_canon_sha256":"d7abb35c4a54888f6da09f98f997491aeead22dfd28705bbd71ca7f183617549"},"schema_version":"1.0","source":{"id":"1907.04511","kind":"arxiv","version":1}},"canonical_sha256":"8377dc18c89dc98f79f6107f79132679e836e5a63bc111634333c8e4d96c85ec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8377dc18c89dc98f79f6107f79132679e836e5a63bc111634333c8e4d96c85ec","first_computed_at":"2026-05-17T23:41:00.012737Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:00.012737Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b+2l8jGE/DTDVbh7CtsZWGfydhI7RMQo3hqs6YHF4NimcLvFVI7RBJgYQdBKPXT05z0p+J1FLZIps44ymjkwBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:00.013300Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.04511","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6316c514db918130ca883561ef9a17a0fba02cb51d062dee86625dfae43a806a","sha256:a64455ebe2292fd3ce021f98f8ffd3e093a9b72401347e4a6f24a5cdc628adb6"],"state_sha256":"bfb6de32882645b9920cd144e61927387d6ac77c00414107b2e543f5c1b4ef4b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mm1d7jMy3K0qFigA/jkkKV9vYyTe+pMcWj4ElO1/NoGhJHRiy3uqrDVC1OzzFjJ6LK1wopuOXvNzW9Ap9ZvcDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T03:45:24.897703Z","bundle_sha256":"5105d59b981c39487777408a4ab99414252e9689ee1cf72277a2dc4849787763"}}