{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:KUCPMCYFD4X5M7DYO6VNROMFES","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":"b3fbf5ccc86fee97f03e94546ce6bfab266d4fa3fb238bf88d9993ea3c120c0d","cross_cats_sorted":["cs.CG","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2012-11-14T08:23:03Z","title_canon_sha256":"61a4bc27eb1cc34d222c2a37ae4d8681f00dcee36c85d88ff43cf56d55eb6225"},"schema_version":"1.0","source":{"id":"1211.3234","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.3234","created_at":"2026-05-18T00:02:36Z"},{"alias_kind":"arxiv_version","alias_value":"1211.3234v1","created_at":"2026-05-18T00:02:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.3234","created_at":"2026-05-18T00:02:36Z"},{"alias_kind":"pith_short_12","alias_value":"KUCPMCYFD4X5","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"KUCPMCYFD4X5M7DY","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"KUCPMCYF","created_at":"2026-05-18T12:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:18719eed57eccd0b850a90348ff5036782ce8867c1b2da18ab83fafb32ead60e","target":"graph","created_at":"2026-05-18T00:02:36Z","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":"In three-dimensional computational topology, the theory of normal surfaces is a tool of great theoretical and practical significance. Although this theory typically leads to exponential time algorithms, very little is known about how these algorithms perform in \"typical\" scenarios, or how far the best known theoretical bounds are from the real worst-case scenarios. Here we study the combinatorial and algebraic complexity of normal surfaces from both the theoretical and experimental viewpoints. Theoretically, we obtain new exponential lower bounds on the worst-case complexities in a variety of ","authors_text":"Benjamin A. Burton, Jo\\~ao Paix\\~ao, Jonathan Spreer","cross_cats":["cs.CG","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2012-11-14T08:23:03Z","title":"Computational topology and normal surfaces: Theoretical and experimental complexity bounds"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.3234","kind":"arxiv","version":1},"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:962a7d596667910af3483afaf91045f6d859f16ac3e3393d929ffa64abd5a375","target":"record","created_at":"2026-05-18T00:02:36Z","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":"b3fbf5ccc86fee97f03e94546ce6bfab266d4fa3fb238bf88d9993ea3c120c0d","cross_cats_sorted":["cs.CG","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2012-11-14T08:23:03Z","title_canon_sha256":"61a4bc27eb1cc34d222c2a37ae4d8681f00dcee36c85d88ff43cf56d55eb6225"},"schema_version":"1.0","source":{"id":"1211.3234","kind":"arxiv","version":1}},"canonical_sha256":"5504f60b051f2fd67c7877aad8b98524889529958a3803cb09dc6c5bc39b62d6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5504f60b051f2fd67c7877aad8b98524889529958a3803cb09dc6c5bc39b62d6","first_computed_at":"2026-05-18T00:02:36.990994Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:36.990994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U7UrAQ3R90T53UIqlzOEdS2qdxoIlGXhl2SQAXihTkeClb+yPFL+R1ZQPDLCSGWD8H7rUGhM7mQ/PG1eCJ1QDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:36.991588Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.3234","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:962a7d596667910af3483afaf91045f6d859f16ac3e3393d929ffa64abd5a375","sha256:18719eed57eccd0b850a90348ff5036782ce8867c1b2da18ab83fafb32ead60e"],"state_sha256":"cdd684698ad869f391f612914f2add8a2a3e3a53807811629c33a43462b98a94"}