{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:TMBVOP2K2CDFRE737Q7C4LB2TH","short_pith_number":"pith:TMBVOP2K","canonical_record":{"source":{"id":"1502.02817","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-10T09:08:42Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"1b3361d47da4452ff88ecd1b534776f6d1a8fbcf31211b93b0285884f382428e","abstract_canon_sha256":"bbda91afd82a05c455e5bd6b1755f4c9e4e0a8512eb3117b825a5feeb14c6d88"},"schema_version":"1.0"},"canonical_sha256":"9b03573f4ad0865893fbfc3e2e2c3a99ffecbf03a294d23f883074f0f116f879","source":{"kind":"arxiv","id":"1502.02817","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.02817","created_at":"2026-05-18T02:27:00Z"},{"alias_kind":"arxiv_version","alias_value":"1502.02817v2","created_at":"2026-05-18T02:27:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.02817","created_at":"2026-05-18T02:27:00Z"},{"alias_kind":"pith_short_12","alias_value":"TMBVOP2K2CDF","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TMBVOP2K2CDFRE73","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TMBVOP2K","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:TMBVOP2K2CDFRE737Q7C4LB2TH","target":"record","payload":{"canonical_record":{"source":{"id":"1502.02817","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-10T09:08:42Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"1b3361d47da4452ff88ecd1b534776f6d1a8fbcf31211b93b0285884f382428e","abstract_canon_sha256":"bbda91afd82a05c455e5bd6b1755f4c9e4e0a8512eb3117b825a5feeb14c6d88"},"schema_version":"1.0"},"canonical_sha256":"9b03573f4ad0865893fbfc3e2e2c3a99ffecbf03a294d23f883074f0f116f879","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:00.438593Z","signature_b64":"aRZ7TOioUMWnU8gwr5e1L2w5Qh5J5IlnTHIQhtr3sYNEuhUQh4Za8TclGgQaXqokRDW7JmR/cC4ZI9ASDEzbAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9b03573f4ad0865893fbfc3e2e2c3a99ffecbf03a294d23f883074f0f116f879","last_reissued_at":"2026-05-18T02:27:00.438197Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:00.438197Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.02817","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-18T02:27:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eJER9pUQ22IGRylKcMzH2/MpH8ySvNqHkQy4zBpTdhx58TdHg7+cUHUGkqS4ctZo1yfVwtcGpdEDlDmjdyUyBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:43:41.174927Z"},"content_sha256":"dc20e1bbe02d98e685f7ee37c7b8c5bcad7996d0f6143d9bfe8f9d741159a7b8","schema_version":"1.0","event_id":"sha256:dc20e1bbe02d98e685f7ee37c7b8c5bcad7996d0f6143d9bfe8f9d741159a7b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:TMBVOP2K2CDFRE737Q7C4LB2TH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Subgraph Polytopes and Independence Polytopes of Count Matroids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"cs.DM","authors_text":"Matthias Walter, Michele Conforti, Stefan Weltge, Volker Kaibel","submitted_at":"2015-02-10T09:08:42Z","abstract_excerpt":"Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong relationship between the non-empty subgraph polytope and the spanning forest polytope. We further show that these polytopes provide polynomial size extended formulations for independence polytopes of count matroids, which generalizes recent results obtained by Iwata et al. referring to sparsity matroids. As a byproduct, we obtain new lower bounds on the extens"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.02817","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-18T02:27:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WbIrWMtfPytGbXJuVsEMCV5B2EdfSsJ+uxxVIEDLSNXB0K32b5RmlIhEdjaaMnXpXPDH+bikcyj7gkj1R/UGDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:43:41.175384Z"},"content_sha256":"dfebac4f4e289827994d442a87c676078dfe1df35573cf72853f1f56ea833a3d","schema_version":"1.0","event_id":"sha256:dfebac4f4e289827994d442a87c676078dfe1df35573cf72853f1f56ea833a3d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TMBVOP2K2CDFRE737Q7C4LB2TH/bundle.json","state_url":"https://pith.science/pith/TMBVOP2K2CDFRE737Q7C4LB2TH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TMBVOP2K2CDFRE737Q7C4LB2TH/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-26T13:43:41Z","links":{"resolver":"https://pith.science/pith/TMBVOP2K2CDFRE737Q7C4LB2TH","bundle":"https://pith.science/pith/TMBVOP2K2CDFRE737Q7C4LB2TH/bundle.json","state":"https://pith.science/pith/TMBVOP2K2CDFRE737Q7C4LB2TH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TMBVOP2K2CDFRE737Q7C4LB2TH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:TMBVOP2K2CDFRE737Q7C4LB2TH","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":"bbda91afd82a05c455e5bd6b1755f4c9e4e0a8512eb3117b825a5feeb14c6d88","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-10T09:08:42Z","title_canon_sha256":"1b3361d47da4452ff88ecd1b534776f6d1a8fbcf31211b93b0285884f382428e"},"schema_version":"1.0","source":{"id":"1502.02817","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.02817","created_at":"2026-05-18T02:27:00Z"},{"alias_kind":"arxiv_version","alias_value":"1502.02817v2","created_at":"2026-05-18T02:27:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.02817","created_at":"2026-05-18T02:27:00Z"},{"alias_kind":"pith_short_12","alias_value":"TMBVOP2K2CDF","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TMBVOP2K2CDFRE73","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TMBVOP2K","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:dfebac4f4e289827994d442a87c676078dfe1df35573cf72853f1f56ea833a3d","target":"graph","created_at":"2026-05-18T02:27: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":"Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong relationship between the non-empty subgraph polytope and the spanning forest polytope. We further show that these polytopes provide polynomial size extended formulations for independence polytopes of count matroids, which generalizes recent results obtained by Iwata et al. referring to sparsity matroids. As a byproduct, we obtain new lower bounds on the extens","authors_text":"Matthias Walter, Michele Conforti, Stefan Weltge, Volker Kaibel","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-10T09:08:42Z","title":"Subgraph Polytopes and Independence Polytopes of Count Matroids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.02817","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:dc20e1bbe02d98e685f7ee37c7b8c5bcad7996d0f6143d9bfe8f9d741159a7b8","target":"record","created_at":"2026-05-18T02:27: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":"bbda91afd82a05c455e5bd6b1755f4c9e4e0a8512eb3117b825a5feeb14c6d88","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-10T09:08:42Z","title_canon_sha256":"1b3361d47da4452ff88ecd1b534776f6d1a8fbcf31211b93b0285884f382428e"},"schema_version":"1.0","source":{"id":"1502.02817","kind":"arxiv","version":2}},"canonical_sha256":"9b03573f4ad0865893fbfc3e2e2c3a99ffecbf03a294d23f883074f0f116f879","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9b03573f4ad0865893fbfc3e2e2c3a99ffecbf03a294d23f883074f0f116f879","first_computed_at":"2026-05-18T02:27:00.438197Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:00.438197Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aRZ7TOioUMWnU8gwr5e1L2w5Qh5J5IlnTHIQhtr3sYNEuhUQh4Za8TclGgQaXqokRDW7JmR/cC4ZI9ASDEzbAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:00.438593Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.02817","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc20e1bbe02d98e685f7ee37c7b8c5bcad7996d0f6143d9bfe8f9d741159a7b8","sha256:dfebac4f4e289827994d442a87c676078dfe1df35573cf72853f1f56ea833a3d"],"state_sha256":"8cf20a3b27285d349f37c5b1868e759505ab5e44234ef47721c3e263b9491883"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6uGYXlxSPfCNoiOZdE+vDh4AP1uc6dJvdqPq8D4beAkdPBixPzdY5IA/k2GKxUxKQi8GJ8JLA0+kc7zJx4M8Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T13:43:41.178665Z","bundle_sha256":"f291dd8f4914d8b48f5ce4933e8208dc38512797e3f12ce483dac4c92f207e78"}}