{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:VWSBW2XK5V3N54AKQNYBONIBXH","short_pith_number":"pith:VWSBW2XK","canonical_record":{"source":{"id":"1001.4119","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.CG","submitted_at":"2010-01-23T02:01:06Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"be6760b01ba060484e70b5093eb884b93eacb5c0a3bb12e1ce0590de8b73890e","abstract_canon_sha256":"865f380de72dc73c819ea87991c04a55bde59c34f0b72d6bd0e3de581741b011"},"schema_version":"1.0"},"canonical_sha256":"ada41b6aeaed76def00a8370173501b9cb1a06f5125e5ddacf1fad45269e264e","source":{"kind":"arxiv","id":"1001.4119","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.4119","created_at":"2026-05-18T04:05:46Z"},{"alias_kind":"arxiv_version","alias_value":"1001.4119v2","created_at":"2026-05-18T04:05:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.4119","created_at":"2026-05-18T04:05:46Z"},{"alias_kind":"pith_short_12","alias_value":"VWSBW2XK5V3N","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"VWSBW2XK5V3N54AK","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"VWSBW2XK","created_at":"2026-05-18T12:26:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:VWSBW2XK5V3N54AKQNYBONIBXH","target":"record","payload":{"canonical_record":{"source":{"id":"1001.4119","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.CG","submitted_at":"2010-01-23T02:01:06Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"be6760b01ba060484e70b5093eb884b93eacb5c0a3bb12e1ce0590de8b73890e","abstract_canon_sha256":"865f380de72dc73c819ea87991c04a55bde59c34f0b72d6bd0e3de581741b011"},"schema_version":"1.0"},"canonical_sha256":"ada41b6aeaed76def00a8370173501b9cb1a06f5125e5ddacf1fad45269e264e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:05:46.093270Z","signature_b64":"eUw28TKv7AEFSHmsIWLib1T130Gj6bJZm1ZkKvCNIWnQUpyzMAJ4XjjjdOXDKncHTk/6qdbAAlV/RLkAYKK6AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ada41b6aeaed76def00a8370173501b9cb1a06f5125e5ddacf1fad45269e264e","last_reissued_at":"2026-05-18T04:05:46.092682Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:05:46.092682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1001.4119","source_version":2,"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-18T04:05:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vS02Wqxe2xzAfsNPSV11CuMCs6X3BozxcMUbkf+RqlprvMfA5i+QXjS2/fs+p2tB4kx6KnVRifDwVyWPjonXCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T11:36:35.085246Z"},"content_sha256":"d81ef976951e8d27c38ce53fd473790a58ddb421f3a009a1dbd4e6166815f867","schema_version":"1.0","event_id":"sha256:d81ef976951e8d27c38ce53fd473790a58ddb421f3a009a1dbd4e6166815f867"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:VWSBW2XK5V3N54AKQNYBONIBXH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The tropical double description method","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.CG","authors_text":"Eric Goubault, Stephane Gaubert, Xavier Allamigeon","submitted_at":"2010-01-23T02:01:06Z","abstract_excerpt":"We develop a tropical analogue of the classical double description method allowing one to compute an internal representation (in terms of vertices) of a polyhedron defined externally (by inequalities). The heart of the tropical algorithm is a characterization of the extreme points of a polyhedron in terms of a system of constraints which define it. We show that checking the extremality of a point reduces to checking whether there is only one minimal strongly connected component in an hypergraph. The latter problem can be solved in almost linear time, which allows us to eliminate quickly redund"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.4119","kind":"arxiv","version":2},"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-18T04:05:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ji24UmP2m5Vqrvp2Z/wfnG9tBEo+R1n/G8jBYrFCMTDMJKJCF6tXGIS8DOzck9rXinDvnFXem56SYIZc2QyICQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T11:36:35.085925Z"},"content_sha256":"066cb856c34b411819f3495ee5c0e5f1fbbfd9dfbde6ff15f2cd79491a835ef9","schema_version":"1.0","event_id":"sha256:066cb856c34b411819f3495ee5c0e5f1fbbfd9dfbde6ff15f2cd79491a835ef9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VWSBW2XK5V3N54AKQNYBONIBXH/bundle.json","state_url":"https://pith.science/pith/VWSBW2XK5V3N54AKQNYBONIBXH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VWSBW2XK5V3N54AKQNYBONIBXH/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-31T11:36:35Z","links":{"resolver":"https://pith.science/pith/VWSBW2XK5V3N54AKQNYBONIBXH","bundle":"https://pith.science/pith/VWSBW2XK5V3N54AKQNYBONIBXH/bundle.json","state":"https://pith.science/pith/VWSBW2XK5V3N54AKQNYBONIBXH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VWSBW2XK5V3N54AKQNYBONIBXH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:VWSBW2XK5V3N54AKQNYBONIBXH","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":"865f380de72dc73c819ea87991c04a55bde59c34f0b72d6bd0e3de581741b011","cross_cats_sorted":["cs.DM"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.CG","submitted_at":"2010-01-23T02:01:06Z","title_canon_sha256":"be6760b01ba060484e70b5093eb884b93eacb5c0a3bb12e1ce0590de8b73890e"},"schema_version":"1.0","source":{"id":"1001.4119","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.4119","created_at":"2026-05-18T04:05:46Z"},{"alias_kind":"arxiv_version","alias_value":"1001.4119v2","created_at":"2026-05-18T04:05:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.4119","created_at":"2026-05-18T04:05:46Z"},{"alias_kind":"pith_short_12","alias_value":"VWSBW2XK5V3N","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"VWSBW2XK5V3N54AK","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"VWSBW2XK","created_at":"2026-05-18T12:26:15Z"}],"graph_snapshots":[{"event_id":"sha256:066cb856c34b411819f3495ee5c0e5f1fbbfd9dfbde6ff15f2cd79491a835ef9","target":"graph","created_at":"2026-05-18T04:05:46Z","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 develop a tropical analogue of the classical double description method allowing one to compute an internal representation (in terms of vertices) of a polyhedron defined externally (by inequalities). The heart of the tropical algorithm is a characterization of the extreme points of a polyhedron in terms of a system of constraints which define it. We show that checking the extremality of a point reduces to checking whether there is only one minimal strongly connected component in an hypergraph. The latter problem can be solved in almost linear time, which allows us to eliminate quickly redund","authors_text":"Eric Goubault, Stephane Gaubert, Xavier Allamigeon","cross_cats":["cs.DM"],"headline":"","license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.CG","submitted_at":"2010-01-23T02:01:06Z","title":"The tropical double description method"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.4119","kind":"arxiv","version":2},"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:d81ef976951e8d27c38ce53fd473790a58ddb421f3a009a1dbd4e6166815f867","target":"record","created_at":"2026-05-18T04:05:46Z","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":"865f380de72dc73c819ea87991c04a55bde59c34f0b72d6bd0e3de581741b011","cross_cats_sorted":["cs.DM"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.CG","submitted_at":"2010-01-23T02:01:06Z","title_canon_sha256":"be6760b01ba060484e70b5093eb884b93eacb5c0a3bb12e1ce0590de8b73890e"},"schema_version":"1.0","source":{"id":"1001.4119","kind":"arxiv","version":2}},"canonical_sha256":"ada41b6aeaed76def00a8370173501b9cb1a06f5125e5ddacf1fad45269e264e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ada41b6aeaed76def00a8370173501b9cb1a06f5125e5ddacf1fad45269e264e","first_computed_at":"2026-05-18T04:05:46.092682Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:05:46.092682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eUw28TKv7AEFSHmsIWLib1T130Gj6bJZm1ZkKvCNIWnQUpyzMAJ4XjjjdOXDKncHTk/6qdbAAlV/RLkAYKK6AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:05:46.093270Z","signed_message":"canonical_sha256_bytes"},"source_id":"1001.4119","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d81ef976951e8d27c38ce53fd473790a58ddb421f3a009a1dbd4e6166815f867","sha256:066cb856c34b411819f3495ee5c0e5f1fbbfd9dfbde6ff15f2cd79491a835ef9"],"state_sha256":"01067b2decb108c67c5341166a3dc2e233a07d478b300da29fde8fa823fa496f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W0YFVB1XwZ1W4AyVqpU4PZbei7J55ttPbgYggFUI/OzahuPosFMKc6JFHJKTeLcYLjI6OixpZTzkpiH96AXwCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T11:36:35.090055Z","bundle_sha256":"e1aa5cfd6e548ab2436a4564a2665f969e9f6a8507f0d60af8016fd752e56a8b"}}