{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2009:64VW3VLQLTHPACZOZR2OCF2LHZ","short_pith_number":"pith:64VW3VLQ","schema_version":"1.0","canonical_sha256":"f72b6dd5705ccef00b2ecc74e1174b3e70ce4960574f5aebe6fa42762bf7d60b","source":{"kind":"arxiv","id":"0906.3492","version":1},"attestation_state":"computed","paper":{"title":"The number of extreme points of tropical polyhedra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.CO","authors_text":"Ricardo D. Katz, Stephane Gaubert, Xavier Allamigeon","submitted_at":"2009-06-18T18:07:24Z","abstract_excerpt":"The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define it, showing that the maximum is attained by the polar of the cyclic polytope. We show that the same bound is valid in the tropical setting, up to a trivial modification. Then, we study the natural candidates to be the maximizing polyhedra, which are the polars of a family of cyclic polytopes equipped with a sign pattern. We construct bijections between the extreme points of these polars and lattice paths depending on"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"0906.3492","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-06-18T18:07:24Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"e106b6e3161def4aebd022fe92683f906bc707ac2f3b02a36f8232a8ddaa81ba","abstract_canon_sha256":"b4c3d8c5601d41f053b0075ce1bf2519bd27c6b5710a430a5c548d01aeac7a9b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:37:20.855787Z","signature_b64":"4RYetQpfzaiP9fcSPCHz/ULLiQA25fLJW3lT8JmgNIYbe+rVmr/Q2bUfm7tJXUKt1Pl8qO7CaKqUrGFlqDuiDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f72b6dd5705ccef00b2ecc74e1174b3e70ce4960574f5aebe6fa42762bf7d60b","last_reissued_at":"2026-05-18T04:37:20.855341Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:37:20.855341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The number of extreme points of tropical polyhedra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.CO","authors_text":"Ricardo D. Katz, Stephane Gaubert, Xavier Allamigeon","submitted_at":"2009-06-18T18:07:24Z","abstract_excerpt":"The celebrated upper bound theorem of McMullen determines the maximal number of extreme points of a polyhedron in terms of its dimension and the number of constraints which define it, showing that the maximum is attained by the polar of the cyclic polytope. We show that the same bound is valid in the tropical setting, up to a trivial modification. Then, we study the natural candidates to be the maximizing polyhedra, which are the polars of a family of cyclic polytopes equipped with a sign pattern. We construct bijections between the extreme points of these polars and lattice paths depending on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0906.3492","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"0906.3492","created_at":"2026-05-18T04:37:20.855401+00:00"},{"alias_kind":"arxiv_version","alias_value":"0906.3492v1","created_at":"2026-05-18T04:37:20.855401+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0906.3492","created_at":"2026-05-18T04:37:20.855401+00:00"},{"alias_kind":"pith_short_12","alias_value":"64VW3VLQLTHP","created_at":"2026-05-18T12:25:58.837520+00:00"},{"alias_kind":"pith_short_16","alias_value":"64VW3VLQLTHPACZO","created_at":"2026-05-18T12:25:58.837520+00:00"},{"alias_kind":"pith_short_8","alias_value":"64VW3VLQ","created_at":"2026-05-18T12:25:58.837520+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ","json":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ.json","graph_json":"https://pith.science/api/pith-number/64VW3VLQLTHPACZOZR2OCF2LHZ/graph.json","events_json":"https://pith.science/api/pith-number/64VW3VLQLTHPACZOZR2OCF2LHZ/events.json","paper":"https://pith.science/paper/64VW3VLQ"},"agent_actions":{"view_html":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ","download_json":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ.json","view_paper":"https://pith.science/paper/64VW3VLQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0906.3492&json=true","fetch_graph":"https://pith.science/api/pith-number/64VW3VLQLTHPACZOZR2OCF2LHZ/graph.json","fetch_events":"https://pith.science/api/pith-number/64VW3VLQLTHPACZOZR2OCF2LHZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ/action/storage_attestation","attest_author":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ/action/author_attestation","sign_citation":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ/action/citation_signature","submit_replication":"https://pith.science/pith/64VW3VLQLTHPACZOZR2OCF2LHZ/action/replication_record"}},"created_at":"2026-05-18T04:37:20.855401+00:00","updated_at":"2026-05-18T04:37:20.855401+00:00"}