{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:6F4V6JBA5GDHZVEQGTREMZQP5W","short_pith_number":"pith:6F4V6JBA","canonical_record":{"source":{"id":"0904.3436","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-04-22T11:26:26Z","cross_cats_sorted":[],"title_canon_sha256":"4edfd9a3fd1143c0aa2fc5ad6a2bf3684f5e368c9e732def93bc45421f56146c","abstract_canon_sha256":"75dcc6944e4bd693becf73f52f5c4d3eaa447dc43ebff0ca2aca20a420620927"},"schema_version":"1.0"},"canonical_sha256":"f1795f2420e9867cd49034e246660fedb391541dc9661a5527c6df57c1063c40","source":{"kind":"arxiv","id":"0904.3436","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.3436","created_at":"2026-05-18T03:34:00Z"},{"alias_kind":"arxiv_version","alias_value":"0904.3436v4","created_at":"2026-05-18T03:34:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.3436","created_at":"2026-05-18T03:34:00Z"},{"alias_kind":"pith_short_12","alias_value":"6F4V6JBA5GDH","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"6F4V6JBA5GDHZVEQ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"6F4V6JBA","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:6F4V6JBA5GDHZVEQGTREMZQP5W","target":"record","payload":{"canonical_record":{"source":{"id":"0904.3436","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-04-22T11:26:26Z","cross_cats_sorted":[],"title_canon_sha256":"4edfd9a3fd1143c0aa2fc5ad6a2bf3684f5e368c9e732def93bc45421f56146c","abstract_canon_sha256":"75dcc6944e4bd693becf73f52f5c4d3eaa447dc43ebff0ca2aca20a420620927"},"schema_version":"1.0"},"canonical_sha256":"f1795f2420e9867cd49034e246660fedb391541dc9661a5527c6df57c1063c40","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:34:00.274964Z","signature_b64":"9zfsYunu9Jy1f2F9j8RnjmdmsaTuMwztXsNRmqPkzBhQOuiQxh5loq/kpkcVoMFVUzpNQSUMe/zpQ8y7JX6DDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1795f2420e9867cd49034e246660fedb391541dc9661a5527c6df57c1063c40","last_reissued_at":"2026-05-18T03:34:00.274227Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:34:00.274227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0904.3436","source_version":4,"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-18T03:34:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cDFSZbqH982dUctxnubMM1vl9W3IL4kn/pLxtpK7YSOYLkaEevFbEfiElLFSYhqZ836OBpS8vTIjJFrl3/8zDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:17:11.381894Z"},"content_sha256":"60e5fc70fa47ce8f1313dc53fd9ca534c5687e9ef53c556e2652eedaefc01765","schema_version":"1.0","event_id":"sha256:60e5fc70fa47ce8f1313dc53fd9ca534c5687e9ef53c556e2652eedaefc01765"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:6F4V6JBA5GDHZVEQGTREMZQP5W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computing the vertices of tropical polyhedra using directed hypergraphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Eric Goubault, Stephane Gaubert, Xavier Allamigeon","submitted_at":"2009-04-22T11:26:26Z","abstract_excerpt":"We establish a characterization of the vertices of a tropical polyhedron defined as the intersection of finitely many half-spaces. We show that a point is a vertex if, and only if, a directed hypergraph, constructed from the subdifferentials of the active constraints at this point, admits a unique strongly connected component that is maximal with respect to the reachability relation (all the other strongly connected components have access to it). This property can be checked in almost linear-time. This allows us to develop a tropical analogue of the classical double description method, which c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.3436","kind":"arxiv","version":4},"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-18T03:34:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1Y+Bdrv6FX51LHD+YyVEY6Ib/sSroor6RmPggPMFpJmefFM3P7GNambTZHjBqDCccmUFCCKlowWcI1rCygU+CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T20:17:11.382543Z"},"content_sha256":"c2ed976aec4f05bcc225aa364b2f043cef6413a66ef1dc073eaff17bdfb61be9","schema_version":"1.0","event_id":"sha256:c2ed976aec4f05bcc225aa364b2f043cef6413a66ef1dc073eaff17bdfb61be9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6F4V6JBA5GDHZVEQGTREMZQP5W/bundle.json","state_url":"https://pith.science/pith/6F4V6JBA5GDHZVEQGTREMZQP5W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6F4V6JBA5GDHZVEQGTREMZQP5W/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-30T20:17:11Z","links":{"resolver":"https://pith.science/pith/6F4V6JBA5GDHZVEQGTREMZQP5W","bundle":"https://pith.science/pith/6F4V6JBA5GDHZVEQGTREMZQP5W/bundle.json","state":"https://pith.science/pith/6F4V6JBA5GDHZVEQGTREMZQP5W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6F4V6JBA5GDHZVEQGTREMZQP5W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:6F4V6JBA5GDHZVEQGTREMZQP5W","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":"75dcc6944e4bd693becf73f52f5c4d3eaa447dc43ebff0ca2aca20a420620927","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-04-22T11:26:26Z","title_canon_sha256":"4edfd9a3fd1143c0aa2fc5ad6a2bf3684f5e368c9e732def93bc45421f56146c"},"schema_version":"1.0","source":{"id":"0904.3436","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0904.3436","created_at":"2026-05-18T03:34:00Z"},{"alias_kind":"arxiv_version","alias_value":"0904.3436v4","created_at":"2026-05-18T03:34:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0904.3436","created_at":"2026-05-18T03:34:00Z"},{"alias_kind":"pith_short_12","alias_value":"6F4V6JBA5GDH","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"6F4V6JBA5GDHZVEQ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"6F4V6JBA","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:c2ed976aec4f05bcc225aa364b2f043cef6413a66ef1dc073eaff17bdfb61be9","target":"graph","created_at":"2026-05-18T03:34: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":"We establish a characterization of the vertices of a tropical polyhedron defined as the intersection of finitely many half-spaces. We show that a point is a vertex if, and only if, a directed hypergraph, constructed from the subdifferentials of the active constraints at this point, admits a unique strongly connected component that is maximal with respect to the reachability relation (all the other strongly connected components have access to it). This property can be checked in almost linear-time. This allows us to develop a tropical analogue of the classical double description method, which c","authors_text":"Eric Goubault, Stephane Gaubert, Xavier Allamigeon","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-04-22T11:26:26Z","title":"Computing the vertices of tropical polyhedra using directed hypergraphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0904.3436","kind":"arxiv","version":4},"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:60e5fc70fa47ce8f1313dc53fd9ca534c5687e9ef53c556e2652eedaefc01765","target":"record","created_at":"2026-05-18T03:34: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":"75dcc6944e4bd693becf73f52f5c4d3eaa447dc43ebff0ca2aca20a420620927","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-04-22T11:26:26Z","title_canon_sha256":"4edfd9a3fd1143c0aa2fc5ad6a2bf3684f5e368c9e732def93bc45421f56146c"},"schema_version":"1.0","source":{"id":"0904.3436","kind":"arxiv","version":4}},"canonical_sha256":"f1795f2420e9867cd49034e246660fedb391541dc9661a5527c6df57c1063c40","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1795f2420e9867cd49034e246660fedb391541dc9661a5527c6df57c1063c40","first_computed_at":"2026-05-18T03:34:00.274227Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:34:00.274227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9zfsYunu9Jy1f2F9j8RnjmdmsaTuMwztXsNRmqPkzBhQOuiQxh5loq/kpkcVoMFVUzpNQSUMe/zpQ8y7JX6DDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:34:00.274964Z","signed_message":"canonical_sha256_bytes"},"source_id":"0904.3436","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:60e5fc70fa47ce8f1313dc53fd9ca534c5687e9ef53c556e2652eedaefc01765","sha256:c2ed976aec4f05bcc225aa364b2f043cef6413a66ef1dc073eaff17bdfb61be9"],"state_sha256":"5e6abdf5adb0039f35dc0acee032970c033aaf6120c60f6e5f4dfff5196d8fad"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lQD6XO5dm+0spGCMh+p718z62XK0468Vw45TRhMoUlw+4TAvuuJkmUK2LHlToD6vh/L5LTxbfkbVfz8vDb43Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T20:17:11.386203Z","bundle_sha256":"ea506da21f728ee546d5c467116a8058819833d822b05be50cb852e204115470"}}