{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VP3TB3LMTBDUMAAUYLPC7D3IRS","short_pith_number":"pith:VP3TB3LM","canonical_record":{"source":{"id":"1803.09511","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-26T11:22:05Z","cross_cats_sorted":[],"title_canon_sha256":"4bfe7717981638a118ab1410ce64d1e8f1852d7c085e44cabf3b37b9e33b0443","abstract_canon_sha256":"51fc21a9093d8b3d36b5a9e251cb43fa15643d1de31c76da349b0a706fce20ad"},"schema_version":"1.0"},"canonical_sha256":"abf730ed6c9847460014c2de2f8f688cb7195bf80ba1b327cf0ffe3a26d49a3c","source":{"kind":"arxiv","id":"1803.09511","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.09511","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"arxiv_version","alias_value":"1803.09511v1","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.09511","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"pith_short_12","alias_value":"VP3TB3LMTBDU","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VP3TB3LMTBDUMAAU","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VP3TB3LM","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VP3TB3LMTBDUMAAUYLPC7D3IRS","target":"record","payload":{"canonical_record":{"source":{"id":"1803.09511","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-26T11:22:05Z","cross_cats_sorted":[],"title_canon_sha256":"4bfe7717981638a118ab1410ce64d1e8f1852d7c085e44cabf3b37b9e33b0443","abstract_canon_sha256":"51fc21a9093d8b3d36b5a9e251cb43fa15643d1de31c76da349b0a706fce20ad"},"schema_version":"1.0"},"canonical_sha256":"abf730ed6c9847460014c2de2f8f688cb7195bf80ba1b327cf0ffe3a26d49a3c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:11.315503Z","signature_b64":"uh+5Qf3eB1I2DSq6JWjdAEF76OFES94NtJnjF40yh1v8itmmuTi6CWh/+BfCwcxwcjOoWyrZwMsLjTfYHkv/DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"abf730ed6c9847460014c2de2f8f688cb7195bf80ba1b327cf0ffe3a26d49a3c","last_reissued_at":"2026-05-18T00:20:11.314810Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:11.314810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.09511","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-18T00:20:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wjods+4fuoAp8C1RiMIVvh56G92zjxkZ+LBsyA1Y1RCU6sHAVSPX7QzW0S2f/CuxgR1h7ur0VAfOBSRNtuqwCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T09:09:22.459734Z"},"content_sha256":"92670cd37e579e6d84c0e7634cb5e0c415e0a589c6fc0fb3f703962422f56c68","schema_version":"1.0","event_id":"sha256:92670cd37e579e6d84c0e7634cb5e0c415e0a589c6fc0fb3f703962422f56c68"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VP3TB3LMTBDUMAAUYLPC7D3IRS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Left-eigenvectors are certificates of the Orbit Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Peter Habermehl, Saddek Bensalem, Steven de Oliveira, Virgile Prevosto","submitted_at":"2018-03-26T11:22:05Z","abstract_excerpt":"This paper investigates the connexion between the Kannan-Lipton Orbit Problem and the polynomial invariant generator algorithm PILA based on eigenvectors computation. Namely, we reduce the problem of generating linear and polynomial certificates of non-reachability for the Orbit Problem for linear transformations with rational coefficients to the generalized eigenvector problem. Also, we prove the existence of such certificates for any transformation with integer coefficients, which is not the case with rational coefficients."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.09511","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-18T00:20:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WXkfKy5ctOtMI0suKfhCfy+R8MD5+1KGV6hP5pVBJTQg1psyS9FhrB+Cqmmce0DLtxw3q032DYVP0+tqsXDnCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T09:09:22.460094Z"},"content_sha256":"de206dbcb1dd8f4056538e06fc2282f0af0e0b84b35884a0d999952a48a2309d","schema_version":"1.0","event_id":"sha256:de206dbcb1dd8f4056538e06fc2282f0af0e0b84b35884a0d999952a48a2309d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VP3TB3LMTBDUMAAUYLPC7D3IRS/bundle.json","state_url":"https://pith.science/pith/VP3TB3LMTBDUMAAUYLPC7D3IRS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VP3TB3LMTBDUMAAUYLPC7D3IRS/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-21T09:09:22Z","links":{"resolver":"https://pith.science/pith/VP3TB3LMTBDUMAAUYLPC7D3IRS","bundle":"https://pith.science/pith/VP3TB3LMTBDUMAAUYLPC7D3IRS/bundle.json","state":"https://pith.science/pith/VP3TB3LMTBDUMAAUYLPC7D3IRS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VP3TB3LMTBDUMAAUYLPC7D3IRS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VP3TB3LMTBDUMAAUYLPC7D3IRS","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":"51fc21a9093d8b3d36b5a9e251cb43fa15643d1de31c76da349b0a706fce20ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-26T11:22:05Z","title_canon_sha256":"4bfe7717981638a118ab1410ce64d1e8f1852d7c085e44cabf3b37b9e33b0443"},"schema_version":"1.0","source":{"id":"1803.09511","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.09511","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"arxiv_version","alias_value":"1803.09511v1","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.09511","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"pith_short_12","alias_value":"VP3TB3LMTBDU","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VP3TB3LMTBDUMAAU","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VP3TB3LM","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:de206dbcb1dd8f4056538e06fc2282f0af0e0b84b35884a0d999952a48a2309d","target":"graph","created_at":"2026-05-18T00:20:11Z","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":"This paper investigates the connexion between the Kannan-Lipton Orbit Problem and the polynomial invariant generator algorithm PILA based on eigenvectors computation. Namely, we reduce the problem of generating linear and polynomial certificates of non-reachability for the Orbit Problem for linear transformations with rational coefficients to the generalized eigenvector problem. Also, we prove the existence of such certificates for any transformation with integer coefficients, which is not the case with rational coefficients.","authors_text":"Peter Habermehl, Saddek Bensalem, Steven de Oliveira, Virgile Prevosto","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-26T11:22:05Z","title":"Left-eigenvectors are certificates of the Orbit Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.09511","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:92670cd37e579e6d84c0e7634cb5e0c415e0a589c6fc0fb3f703962422f56c68","target":"record","created_at":"2026-05-18T00:20:11Z","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":"51fc21a9093d8b3d36b5a9e251cb43fa15643d1de31c76da349b0a706fce20ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-03-26T11:22:05Z","title_canon_sha256":"4bfe7717981638a118ab1410ce64d1e8f1852d7c085e44cabf3b37b9e33b0443"},"schema_version":"1.0","source":{"id":"1803.09511","kind":"arxiv","version":1}},"canonical_sha256":"abf730ed6c9847460014c2de2f8f688cb7195bf80ba1b327cf0ffe3a26d49a3c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"abf730ed6c9847460014c2de2f8f688cb7195bf80ba1b327cf0ffe3a26d49a3c","first_computed_at":"2026-05-18T00:20:11.314810Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:11.314810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uh+5Qf3eB1I2DSq6JWjdAEF76OFES94NtJnjF40yh1v8itmmuTi6CWh/+BfCwcxwcjOoWyrZwMsLjTfYHkv/DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:11.315503Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.09511","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:92670cd37e579e6d84c0e7634cb5e0c415e0a589c6fc0fb3f703962422f56c68","sha256:de206dbcb1dd8f4056538e06fc2282f0af0e0b84b35884a0d999952a48a2309d"],"state_sha256":"c76a3d7598a9671ee635d13178903f42119808a311ba1c6acc6f49e87a41b250"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sbooiww4rUlPbhq20fHomLSKGo8pJ+MPB94Fv0XCGlWWBA+xheQ8Pm9BbLVNDIm9zukSWLv36cbekO3BemHuDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T09:09:22.462455Z","bundle_sha256":"2b4baffbeb0235d35789617e01772a02fd11fe6326803d0dd47d84963263efee"}}