{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:L3QVTD73WLANZ47PZSSGGP6N5C","short_pith_number":"pith:L3QVTD73","canonical_record":{"source":{"id":"1504.07388","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-04-28T09:17:14Z","cross_cats_sorted":[],"title_canon_sha256":"526552abbcc1658ab4f79da071c0c10b07121a2f0d24db8eb5b541454d07b005","abstract_canon_sha256":"f118ef07e1a103329753e8ba320bcdc3a462c69a56581cb592085cab192ac401"},"schema_version":"1.0"},"canonical_sha256":"5ee1598ffbb2c0dcf3efcca4633fcde892e31c98fc84be6b699c79e1a2059b02","source":{"kind":"arxiv","id":"1504.07388","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07388","created_at":"2026-05-18T01:01:34Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07388v4","created_at":"2026-05-18T01:01:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07388","created_at":"2026-05-18T01:01:34Z"},{"alias_kind":"pith_short_12","alias_value":"L3QVTD73WLAN","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"L3QVTD73WLANZ47P","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"L3QVTD73","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:L3QVTD73WLANZ47PZSSGGP6N5C","target":"record","payload":{"canonical_record":{"source":{"id":"1504.07388","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-04-28T09:17:14Z","cross_cats_sorted":[],"title_canon_sha256":"526552abbcc1658ab4f79da071c0c10b07121a2f0d24db8eb5b541454d07b005","abstract_canon_sha256":"f118ef07e1a103329753e8ba320bcdc3a462c69a56581cb592085cab192ac401"},"schema_version":"1.0"},"canonical_sha256":"5ee1598ffbb2c0dcf3efcca4633fcde892e31c98fc84be6b699c79e1a2059b02","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:34.706955Z","signature_b64":"WGJ/PoOnltqXOKb93KK2D01QLq5Zn6/36GQdO6H+hqy5tlsbbz2ZvgIJTwsRJmZvrvNUSVTC5KfjCYriWDOuBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ee1598ffbb2c0dcf3efcca4633fcde892e31c98fc84be6b699c79e1a2059b02","last_reissued_at":"2026-05-18T01:01:34.706330Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:34.706330Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.07388","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-18T01:01:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jj2Z4dABsk1oi/A5WB8JJ9kx1A8JJF5bY3JZv1I92XGEiKNa7s+2yanLinjUyiDBeWQ7WJK7zrFmgu8J/e3DCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:35:46.597556Z"},"content_sha256":"726ff54f5a35c281b58a906f2aaabfec307dafb36f6368e2a3b30a34d9574d90","schema_version":"1.0","event_id":"sha256:726ff54f5a35c281b58a906f2aaabfec307dafb36f6368e2a3b30a34d9574d90"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:L3QVTD73WLANZ47PZSSGGP6N5C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Topological minors of cover graphs and dimension","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Piotr Micek, Veit Wiechert","submitted_at":"2015-04-28T09:17:14Z","abstract_excerpt":"We show that posets of bounded height whose cover graphs exclude a fixed graph as a topological minor have bounded dimension. This result was already proven by Walczak. However, our argument is entirely combinatorial and does not rely on structural decomposition theorems. Given a poset with large dimension but bounded height, we directly find a large clique subdivision in its cover graph. Therefore, our proof is accessible to readers not familiar with topological graph theory, and it allows us to provide explicit upper bounds on the dimension. With the introduced tools we show a second result "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07388","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-18T01:01:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MV0WlV1LafMBOwEFnvT4FdxXeZbvVcvuLVwEU+PdbuoHIZ0bJPzegy0VFWMa4rN+SUlOSKK0AHfNBkx4vWSFCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:35:46.597899Z"},"content_sha256":"c7a8a9c0e7d4737050de9cba6e89aea1a6559136e84ae54797240a954afb14a2","schema_version":"1.0","event_id":"sha256:c7a8a9c0e7d4737050de9cba6e89aea1a6559136e84ae54797240a954afb14a2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L3QVTD73WLANZ47PZSSGGP6N5C/bundle.json","state_url":"https://pith.science/pith/L3QVTD73WLANZ47PZSSGGP6N5C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L3QVTD73WLANZ47PZSSGGP6N5C/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-01T10:35:46Z","links":{"resolver":"https://pith.science/pith/L3QVTD73WLANZ47PZSSGGP6N5C","bundle":"https://pith.science/pith/L3QVTD73WLANZ47PZSSGGP6N5C/bundle.json","state":"https://pith.science/pith/L3QVTD73WLANZ47PZSSGGP6N5C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L3QVTD73WLANZ47PZSSGGP6N5C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:L3QVTD73WLANZ47PZSSGGP6N5C","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":"f118ef07e1a103329753e8ba320bcdc3a462c69a56581cb592085cab192ac401","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-04-28T09:17:14Z","title_canon_sha256":"526552abbcc1658ab4f79da071c0c10b07121a2f0d24db8eb5b541454d07b005"},"schema_version":"1.0","source":{"id":"1504.07388","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07388","created_at":"2026-05-18T01:01:34Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07388v4","created_at":"2026-05-18T01:01:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07388","created_at":"2026-05-18T01:01:34Z"},{"alias_kind":"pith_short_12","alias_value":"L3QVTD73WLAN","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"L3QVTD73WLANZ47P","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"L3QVTD73","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:c7a8a9c0e7d4737050de9cba6e89aea1a6559136e84ae54797240a954afb14a2","target":"graph","created_at":"2026-05-18T01:01:34Z","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 show that posets of bounded height whose cover graphs exclude a fixed graph as a topological minor have bounded dimension. This result was already proven by Walczak. However, our argument is entirely combinatorial and does not rely on structural decomposition theorems. Given a poset with large dimension but bounded height, we directly find a large clique subdivision in its cover graph. Therefore, our proof is accessible to readers not familiar with topological graph theory, and it allows us to provide explicit upper bounds on the dimension. With the introduced tools we show a second result ","authors_text":"Piotr Micek, Veit Wiechert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-04-28T09:17:14Z","title":"Topological minors of cover graphs and dimension"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07388","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:726ff54f5a35c281b58a906f2aaabfec307dafb36f6368e2a3b30a34d9574d90","target":"record","created_at":"2026-05-18T01:01:34Z","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":"f118ef07e1a103329753e8ba320bcdc3a462c69a56581cb592085cab192ac401","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-04-28T09:17:14Z","title_canon_sha256":"526552abbcc1658ab4f79da071c0c10b07121a2f0d24db8eb5b541454d07b005"},"schema_version":"1.0","source":{"id":"1504.07388","kind":"arxiv","version":4}},"canonical_sha256":"5ee1598ffbb2c0dcf3efcca4633fcde892e31c98fc84be6b699c79e1a2059b02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ee1598ffbb2c0dcf3efcca4633fcde892e31c98fc84be6b699c79e1a2059b02","first_computed_at":"2026-05-18T01:01:34.706330Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:01:34.706330Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WGJ/PoOnltqXOKb93KK2D01QLq5Zn6/36GQdO6H+hqy5tlsbbz2ZvgIJTwsRJmZvrvNUSVTC5KfjCYriWDOuBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:01:34.706955Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.07388","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:726ff54f5a35c281b58a906f2aaabfec307dafb36f6368e2a3b30a34d9574d90","sha256:c7a8a9c0e7d4737050de9cba6e89aea1a6559136e84ae54797240a954afb14a2"],"state_sha256":"663b7ab604a61a8713f557ed83e9b10305aee5e79928fb77992ddf948c3ad068"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/l+TppF0V8zXsxeG3IMmUUjnQ9Qaw6lPwfhQlPI8aIUqMU5d5SHN9KDDK0km45A2JtfSQBpiAg+5yngsGkrTCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T10:35:46.599826Z","bundle_sha256":"d526749bce2dde96e877c70f0a13e9ae6497d86a3d5e60899260a62dfba9542b"}}