{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:BRBQM7VLR4MSPPPBJDOTG6VMN3","short_pith_number":"pith:BRBQM7VL","canonical_record":{"source":{"id":"1609.02063","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2016-09-06T07:34:42Z","cross_cats_sorted":["math.DS","math.OC"],"title_canon_sha256":"90effaed474ba1ce5af4e3a9c979fff351c1dcdaf062d423af2cb012707ca39a","abstract_canon_sha256":"c8ae6ece74138fb2680b71bf873c661a8d8ad9a2a0174df351a7c978b3ee0fb9"},"schema_version":"1.0"},"canonical_sha256":"0c43067eab8f1927bde148dd337aac6ef7eea389c29e787d84fb5c0717c78f3d","source":{"kind":"arxiv","id":"1609.02063","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.02063","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"1609.02063v1","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.02063","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"BRBQM7VLR4MS","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"BRBQM7VLR4MSPPPB","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"BRBQM7VL","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:BRBQM7VLR4MSPPPBJDOTG6VMN3","target":"record","payload":{"canonical_record":{"source":{"id":"1609.02063","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2016-09-06T07:34:42Z","cross_cats_sorted":["math.DS","math.OC"],"title_canon_sha256":"90effaed474ba1ce5af4e3a9c979fff351c1dcdaf062d423af2cb012707ca39a","abstract_canon_sha256":"c8ae6ece74138fb2680b71bf873c661a8d8ad9a2a0174df351a7c978b3ee0fb9"},"schema_version":"1.0"},"canonical_sha256":"0c43067eab8f1927bde148dd337aac6ef7eea389c29e787d84fb5c0717c78f3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:53.140408Z","signature_b64":"cCXnvSCGHKujYbX7OusGhXowz77zon5sK2PBp3bbTu5RISi6nyrTlgLFD6k/bqdXEuo+NXFdHkpuV1fOZX6mCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0c43067eab8f1927bde148dd337aac6ef7eea389c29e787d84fb5c0717c78f3d","last_reissued_at":"2026-05-18T01:04:53.139752Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:53.139752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.02063","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-18T01:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PwOzqhTtKoigltzEKXPfN3bIzjeJqauzLn1qyVRNGiaZgQapIFZCYLNt6V5pE/t7/wTHV0LURE60n3R6bKsWBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T17:20:09.210537Z"},"content_sha256":"098532d08019531e7d2b85728268ae6a3cb53bcfdf29c3f6a74b2637ad76d60d","schema_version":"1.0","event_id":"sha256:098532d08019531e7d2b85728268ae6a3cb53bcfdf29c3f6a74b2637ad76d60d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:BRBQM7VLR4MSPPPBJDOTG6VMN3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS","math.OC"],"primary_cat":"cs.DS","authors_text":"Ambros Gleixner, Andreas Grever, Isabel Beckenbach, Jakob Witzig, Konstantin Fackeldey, Leon Eifler, Marcus Weber","submitted_at":"2016-09-06T07:34:42Z","abstract_excerpt":"In this paper, we present a new, optimization-based method to exhibit cyclic behavior in non-reversible stochastic processes. While our method is general, it is strongly motivated by discrete simulations of ordinary differential equations representing non-reversible biological processes, in particular molecular simulations. Here, the discrete time steps of the simulation are often very small compared to the time scale of interest, i.e., of the whole process. In this setting, the detection of a global cyclic behavior of the process becomes difficult because transitions between individual states"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.02063","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-18T01:04:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mUZyu21xaWU7nICh0AzeDSXXO+4nPJPtJ/1g5NVC1TTicvb8M2CN2Zz1UG2X6D7lcrc6OMYsScmuAjo1+CcLDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T17:20:09.211202Z"},"content_sha256":"227bf8d5f98c728d92d57ef97cbd2c02f76850126a57870a653b70999816941b","schema_version":"1.0","event_id":"sha256:227bf8d5f98c728d92d57ef97cbd2c02f76850126a57870a653b70999816941b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BRBQM7VLR4MSPPPBJDOTG6VMN3/bundle.json","state_url":"https://pith.science/pith/BRBQM7VLR4MSPPPBJDOTG6VMN3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BRBQM7VLR4MSPPPBJDOTG6VMN3/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-26T17:20:09Z","links":{"resolver":"https://pith.science/pith/BRBQM7VLR4MSPPPBJDOTG6VMN3","bundle":"https://pith.science/pith/BRBQM7VLR4MSPPPBJDOTG6VMN3/bundle.json","state":"https://pith.science/pith/BRBQM7VLR4MSPPPBJDOTG6VMN3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BRBQM7VLR4MSPPPBJDOTG6VMN3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:BRBQM7VLR4MSPPPBJDOTG6VMN3","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":"c8ae6ece74138fb2680b71bf873c661a8d8ad9a2a0174df351a7c978b3ee0fb9","cross_cats_sorted":["math.DS","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2016-09-06T07:34:42Z","title_canon_sha256":"90effaed474ba1ce5af4e3a9c979fff351c1dcdaf062d423af2cb012707ca39a"},"schema_version":"1.0","source":{"id":"1609.02063","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.02063","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"arxiv_version","alias_value":"1609.02063v1","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.02063","created_at":"2026-05-18T01:04:53Z"},{"alias_kind":"pith_short_12","alias_value":"BRBQM7VLR4MS","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"BRBQM7VLR4MSPPPB","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"BRBQM7VL","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:227bf8d5f98c728d92d57ef97cbd2c02f76850126a57870a653b70999816941b","target":"graph","created_at":"2026-05-18T01:04: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"},"paper":{"abstract_excerpt":"In this paper, we present a new, optimization-based method to exhibit cyclic behavior in non-reversible stochastic processes. While our method is general, it is strongly motivated by discrete simulations of ordinary differential equations representing non-reversible biological processes, in particular molecular simulations. Here, the discrete time steps of the simulation are often very small compared to the time scale of interest, i.e., of the whole process. In this setting, the detection of a global cyclic behavior of the process becomes difficult because transitions between individual states","authors_text":"Ambros Gleixner, Andreas Grever, Isabel Beckenbach, Jakob Witzig, Konstantin Fackeldey, Leon Eifler, Marcus Weber","cross_cats":["math.DS","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2016-09-06T07:34:42Z","title":"Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.02063","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:098532d08019531e7d2b85728268ae6a3cb53bcfdf29c3f6a74b2637ad76d60d","target":"record","created_at":"2026-05-18T01:04: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":"c8ae6ece74138fb2680b71bf873c661a8d8ad9a2a0174df351a7c978b3ee0fb9","cross_cats_sorted":["math.DS","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2016-09-06T07:34:42Z","title_canon_sha256":"90effaed474ba1ce5af4e3a9c979fff351c1dcdaf062d423af2cb012707ca39a"},"schema_version":"1.0","source":{"id":"1609.02063","kind":"arxiv","version":1}},"canonical_sha256":"0c43067eab8f1927bde148dd337aac6ef7eea389c29e787d84fb5c0717c78f3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0c43067eab8f1927bde148dd337aac6ef7eea389c29e787d84fb5c0717c78f3d","first_computed_at":"2026-05-18T01:04:53.139752Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:53.139752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cCXnvSCGHKujYbX7OusGhXowz77zon5sK2PBp3bbTu5RISi6nyrTlgLFD6k/bqdXEuo+NXFdHkpuV1fOZX6mCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:53.140408Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.02063","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:098532d08019531e7d2b85728268ae6a3cb53bcfdf29c3f6a74b2637ad76d60d","sha256:227bf8d5f98c728d92d57ef97cbd2c02f76850126a57870a653b70999816941b"],"state_sha256":"8d8a58be57918155c0ce1512f87507ea969e94adc5ace8912dca18a94f95dfb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8eBqYeroYBrGKfbeTEIK2bOV0BBEV3VjVsLZDlnSPkvarIxWUfopQQpT5haQg+edElLzvFTw44UHkhGVm+iiBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T17:20:09.213991Z","bundle_sha256":"f3d21cad911dff4689905797713473360f2e443a88b2b075918596fc226d5b86"}}