{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:TKH77GA7BJ7XWWR2TUO4JBQ4QA","short_pith_number":"pith:TKH77GA7","canonical_record":{"source":{"id":"0910.1134","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-10-06T23:35:47Z","cross_cats_sorted":["math.MG"],"title_canon_sha256":"7c20708d204f048241a213a4765e1ae817794c231050b04f7014c1ecb6878e57","abstract_canon_sha256":"22f946da193a41657e53b4fc15f606da8e286003755ce31d24accf85f09929f2"},"schema_version":"1.0"},"canonical_sha256":"9a8fff981f0a7f7b5a3a9d1dc4861c802b611a3e1c7f48a0f1784991de4c4a4c","source":{"kind":"arxiv","id":"0910.1134","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0910.1134","created_at":"2026-05-18T00:40:08Z"},{"alias_kind":"arxiv_version","alias_value":"0910.1134v2","created_at":"2026-05-18T00:40:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0910.1134","created_at":"2026-05-18T00:40:08Z"},{"alias_kind":"pith_short_12","alias_value":"TKH77GA7BJ7X","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"TKH77GA7BJ7XWWR2","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"TKH77GA7","created_at":"2026-05-18T12:26:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:TKH77GA7BJ7XWWR2TUO4JBQ4QA","target":"record","payload":{"canonical_record":{"source":{"id":"0910.1134","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-10-06T23:35:47Z","cross_cats_sorted":["math.MG"],"title_canon_sha256":"7c20708d204f048241a213a4765e1ae817794c231050b04f7014c1ecb6878e57","abstract_canon_sha256":"22f946da193a41657e53b4fc15f606da8e286003755ce31d24accf85f09929f2"},"schema_version":"1.0"},"canonical_sha256":"9a8fff981f0a7f7b5a3a9d1dc4861c802b611a3e1c7f48a0f1784991de4c4a4c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:08.893733Z","signature_b64":"3XhgF5G02OioLaPdSzPKGmvxLs/o8QDL56akAT111LSkg2LuIIug+I79GRjE+zgkrUbyGmB7aaMcgI6okY1LDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a8fff981f0a7f7b5a3a9d1dc4861c802b611a3e1c7f48a0f1784991de4c4a4c","last_reissued_at":"2026-05-18T00:40:08.893089Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:08.893089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0910.1134","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-18T00:40:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BOTl9uc+OMvFO2kUj/fC5SS839fADO6zchlG66TSvn3t4hrzNelKNNMCA5so2SzEBakKXGaCMMyDkn8ys2Q3Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T10:35:50.326999Z"},"content_sha256":"669eadb14da30aceaffb3fd7282382a7405e3e97025bb1b33fe96c4315ee68bf","schema_version":"1.0","event_id":"sha256:669eadb14da30aceaffb3fd7282382a7405e3e97025bb1b33fe96c4315ee68bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:TKH77GA7BJ7XWWR2TUO4JBQ4QA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A lower bound technique for triangulations of simplotopes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.MG"],"primary_cat":"math.CO","authors_text":"Francis Edward Su, Tyler Seacrest","submitted_at":"2009-10-06T23:35:47Z","abstract_excerpt":"Products of simplices, called simplotopes, and their triangulations arise naturally in algorithmic applications in game theory and optimization. We develop techniques to derive lower bounds for the size of simplicial covers and triangulations of simplotopes, including those with interior vertices. We establish that a minimal triangulation of a product of two simplices is given by a vertex triangulation, i.e., one without interior vertices. For products of more than two simplices, we produce bounds for products of segments and triangles. Aside from cubes, these are the first known lower bounds "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0910.1134","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-18T00:40:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o3YGXdJNkgLvnGf/mgYsLcMCNmw4amqbitioL5CG1LQgZmvNQgcZsI0y6baJIc/NT+SIxop52D/nX1gtVQtMAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T10:35:50.327365Z"},"content_sha256":"5a0dc6fa7544d191d2b178e8b0a8f5b204acebe9d15464205ba472d7c4402f83","schema_version":"1.0","event_id":"sha256:5a0dc6fa7544d191d2b178e8b0a8f5b204acebe9d15464205ba472d7c4402f83"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TKH77GA7BJ7XWWR2TUO4JBQ4QA/bundle.json","state_url":"https://pith.science/pith/TKH77GA7BJ7XWWR2TUO4JBQ4QA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TKH77GA7BJ7XWWR2TUO4JBQ4QA/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-06-02T10:35:50Z","links":{"resolver":"https://pith.science/pith/TKH77GA7BJ7XWWR2TUO4JBQ4QA","bundle":"https://pith.science/pith/TKH77GA7BJ7XWWR2TUO4JBQ4QA/bundle.json","state":"https://pith.science/pith/TKH77GA7BJ7XWWR2TUO4JBQ4QA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TKH77GA7BJ7XWWR2TUO4JBQ4QA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:TKH77GA7BJ7XWWR2TUO4JBQ4QA","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":"22f946da193a41657e53b4fc15f606da8e286003755ce31d24accf85f09929f2","cross_cats_sorted":["math.MG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-10-06T23:35:47Z","title_canon_sha256":"7c20708d204f048241a213a4765e1ae817794c231050b04f7014c1ecb6878e57"},"schema_version":"1.0","source":{"id":"0910.1134","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0910.1134","created_at":"2026-05-18T00:40:08Z"},{"alias_kind":"arxiv_version","alias_value":"0910.1134v2","created_at":"2026-05-18T00:40:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0910.1134","created_at":"2026-05-18T00:40:08Z"},{"alias_kind":"pith_short_12","alias_value":"TKH77GA7BJ7X","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_16","alias_value":"TKH77GA7BJ7XWWR2","created_at":"2026-05-18T12:26:01Z"},{"alias_kind":"pith_short_8","alias_value":"TKH77GA7","created_at":"2026-05-18T12:26:01Z"}],"graph_snapshots":[{"event_id":"sha256:5a0dc6fa7544d191d2b178e8b0a8f5b204acebe9d15464205ba472d7c4402f83","target":"graph","created_at":"2026-05-18T00:40:08Z","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":"Products of simplices, called simplotopes, and their triangulations arise naturally in algorithmic applications in game theory and optimization. We develop techniques to derive lower bounds for the size of simplicial covers and triangulations of simplotopes, including those with interior vertices. We establish that a minimal triangulation of a product of two simplices is given by a vertex triangulation, i.e., one without interior vertices. For products of more than two simplices, we produce bounds for products of segments and triangles. Aside from cubes, these are the first known lower bounds ","authors_text":"Francis Edward Su, Tyler Seacrest","cross_cats":["math.MG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-10-06T23:35:47Z","title":"A lower bound technique for triangulations of simplotopes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0910.1134","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:669eadb14da30aceaffb3fd7282382a7405e3e97025bb1b33fe96c4315ee68bf","target":"record","created_at":"2026-05-18T00:40:08Z","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":"22f946da193a41657e53b4fc15f606da8e286003755ce31d24accf85f09929f2","cross_cats_sorted":["math.MG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2009-10-06T23:35:47Z","title_canon_sha256":"7c20708d204f048241a213a4765e1ae817794c231050b04f7014c1ecb6878e57"},"schema_version":"1.0","source":{"id":"0910.1134","kind":"arxiv","version":2}},"canonical_sha256":"9a8fff981f0a7f7b5a3a9d1dc4861c802b611a3e1c7f48a0f1784991de4c4a4c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a8fff981f0a7f7b5a3a9d1dc4861c802b611a3e1c7f48a0f1784991de4c4a4c","first_computed_at":"2026-05-18T00:40:08.893089Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:08.893089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3XhgF5G02OioLaPdSzPKGmvxLs/o8QDL56akAT111LSkg2LuIIug+I79GRjE+zgkrUbyGmB7aaMcgI6okY1LDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:08.893733Z","signed_message":"canonical_sha256_bytes"},"source_id":"0910.1134","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:669eadb14da30aceaffb3fd7282382a7405e3e97025bb1b33fe96c4315ee68bf","sha256:5a0dc6fa7544d191d2b178e8b0a8f5b204acebe9d15464205ba472d7c4402f83"],"state_sha256":"23eb5338f5d2781ec2b95dcdd13a656d4282caef413ff3d297cbf821a20658b6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/232aZ7tHZ7CeH9asIicQgvdDdjptG5PMryiGoEWvM4rxAhMzRRUxAd/K7i0YGHe0xldSsryQDM7vBXZJimaBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T10:35:50.329337Z","bundle_sha256":"6caf64c42e18a06d138f02673f432a3585353a81c939f267fe848a19682c1239"}}