{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2003:3L3I2624JYZUNJVJWB44IO4EIA","short_pith_number":"pith:3L3I2624","canonical_record":{"source":{"id":"cs/0312007","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.CC","submitted_at":"2003-12-02T16:17:16Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"dfe900f86493761eab029f837c9830e0ceffedc7262c3273628300b502db663b","abstract_canon_sha256":"a6c04628a12d2a3df9642d0123981dc3981355ebdae05f18bedfb393d33a44bd"},"schema_version":"1.0"},"canonical_sha256":"daf68d7b5c4e3346a6a9b079c43b844028a67a71d5826f36b90edbce13678fea","source":{"kind":"arxiv","id":"cs/0312007","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0312007","created_at":"2026-05-18T04:19:53Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0312007v1","created_at":"2026-05-18T04:19:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0312007","created_at":"2026-05-18T04:19:53Z"},{"alias_kind":"pith_short_12","alias_value":"3L3I2624JYZU","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_16","alias_value":"3L3I2624JYZUNJVJ","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_8","alias_value":"3L3I2624","created_at":"2026-05-18T12:25:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2003:3L3I2624JYZUNJVJWB44IO4EIA","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0312007","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.CC","submitted_at":"2003-12-02T16:17:16Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"dfe900f86493761eab029f837c9830e0ceffedc7262c3273628300b502db663b","abstract_canon_sha256":"a6c04628a12d2a3df9642d0123981dc3981355ebdae05f18bedfb393d33a44bd"},"schema_version":"1.0"},"canonical_sha256":"daf68d7b5c4e3346a6a9b079c43b844028a67a71d5826f36b90edbce13678fea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:19:53.665949Z","signature_b64":"DDV+AGS1V6L8wdd2i/HWlpe2CEKKxyB4HkLZI2Zn1ycOJo6B1Z7vl/QeNUWpjqiimlTMsnIvCCiHzKbv3dIbCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"daf68d7b5c4e3346a6a9b079c43b844028a67a71d5826f36b90edbce13678fea","last_reissued_at":"2026-05-18T04:19:53.665173Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:19:53.665173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0312007","source_version":1,"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-18T04:19:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0HQ43jHyGyU1NJZKIg9cUjaCq5q3KGvkZtZz8I6F/VasgGDhO6JskMpAAc6qSPWqJ30s8euRDRrQGBUkvw+OBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:11:58.848243Z"},"content_sha256":"0b7f5d96dadf10c41d1b33b5747ab3db147903d5795ca2032f4510888d031833","schema_version":"1.0","event_id":"sha256:0b7f5d96dadf10c41d1b33b5747ab3db147903d5795ca2032f4510888d031833"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2003:3L3I2624JYZUNJVJWB44IO4EIA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Counting complexity classes for numeric computations II: algebraic and semialgebraic sets","license":"","headline":"","cross_cats":["math.AT"],"primary_cat":"cs.CC","authors_text":"Felipe Cucker, Peter Buergisser","submitted_at":"2003-12-02T16:17:16Z","abstract_excerpt":"We define counting classes #P_R and #P_C in the Blum-Shub-Smale setting of computations over the real or complex numbers, respectively. The problems of counting the number of solutions of systems of polynomial inequalities over R, or of systems of polynomial equalities over C, respectively, turn out to be natural complete problems in these classes. We investigate to what extent the new counting classes capture the complexity of computing basic topological invariants of semialgebraic sets (over R) and algebraic sets (over C). We prove that the problem of computing the (modified) Euler character"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0312007","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"},"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-18T04:19:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wNyQFbxaUJrxCwtmb84sj40v8iSnMtdiLSKxHYiloQBelhQJRimFUizymwkZbFOwcvkw7zNkkXqb5QlLApWLBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:11:58.848608Z"},"content_sha256":"8f7df7424356668491c52524c62a1c0bdff60d8dc23a98b4f4c551a48b6ef75b","schema_version":"1.0","event_id":"sha256:8f7df7424356668491c52524c62a1c0bdff60d8dc23a98b4f4c551a48b6ef75b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3L3I2624JYZUNJVJWB44IO4EIA/bundle.json","state_url":"https://pith.science/pith/3L3I2624JYZUNJVJWB44IO4EIA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3L3I2624JYZUNJVJWB44IO4EIA/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-02T03:11:58Z","links":{"resolver":"https://pith.science/pith/3L3I2624JYZUNJVJWB44IO4EIA","bundle":"https://pith.science/pith/3L3I2624JYZUNJVJWB44IO4EIA/bundle.json","state":"https://pith.science/pith/3L3I2624JYZUNJVJWB44IO4EIA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3L3I2624JYZUNJVJWB44IO4EIA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2003:3L3I2624JYZUNJVJWB44IO4EIA","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":"a6c04628a12d2a3df9642d0123981dc3981355ebdae05f18bedfb393d33a44bd","cross_cats_sorted":["math.AT"],"license":"","primary_cat":"cs.CC","submitted_at":"2003-12-02T16:17:16Z","title_canon_sha256":"dfe900f86493761eab029f837c9830e0ceffedc7262c3273628300b502db663b"},"schema_version":"1.0","source":{"id":"cs/0312007","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0312007","created_at":"2026-05-18T04:19:53Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0312007v1","created_at":"2026-05-18T04:19:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0312007","created_at":"2026-05-18T04:19:53Z"},{"alias_kind":"pith_short_12","alias_value":"3L3I2624JYZU","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_16","alias_value":"3L3I2624JYZUNJVJ","created_at":"2026-05-18T12:25:51Z"},{"alias_kind":"pith_short_8","alias_value":"3L3I2624","created_at":"2026-05-18T12:25:51Z"}],"graph_snapshots":[{"event_id":"sha256:8f7df7424356668491c52524c62a1c0bdff60d8dc23a98b4f4c551a48b6ef75b","target":"graph","created_at":"2026-05-18T04:19:53Z","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 define counting classes #P_R and #P_C in the Blum-Shub-Smale setting of computations over the real or complex numbers, respectively. The problems of counting the number of solutions of systems of polynomial inequalities over R, or of systems of polynomial equalities over C, respectively, turn out to be natural complete problems in these classes. We investigate to what extent the new counting classes capture the complexity of computing basic topological invariants of semialgebraic sets (over R) and algebraic sets (over C). We prove that the problem of computing the (modified) Euler character","authors_text":"Felipe Cucker, Peter Buergisser","cross_cats":["math.AT"],"headline":"","license":"","primary_cat":"cs.CC","submitted_at":"2003-12-02T16:17:16Z","title":"Counting complexity classes for numeric computations II: algebraic and semialgebraic sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0312007","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:0b7f5d96dadf10c41d1b33b5747ab3db147903d5795ca2032f4510888d031833","target":"record","created_at":"2026-05-18T04:19:53Z","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":"a6c04628a12d2a3df9642d0123981dc3981355ebdae05f18bedfb393d33a44bd","cross_cats_sorted":["math.AT"],"license":"","primary_cat":"cs.CC","submitted_at":"2003-12-02T16:17:16Z","title_canon_sha256":"dfe900f86493761eab029f837c9830e0ceffedc7262c3273628300b502db663b"},"schema_version":"1.0","source":{"id":"cs/0312007","kind":"arxiv","version":1}},"canonical_sha256":"daf68d7b5c4e3346a6a9b079c43b844028a67a71d5826f36b90edbce13678fea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"daf68d7b5c4e3346a6a9b079c43b844028a67a71d5826f36b90edbce13678fea","first_computed_at":"2026-05-18T04:19:53.665173Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:19:53.665173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DDV+AGS1V6L8wdd2i/HWlpe2CEKKxyB4HkLZI2Zn1ycOJo6B1Z7vl/QeNUWpjqiimlTMsnIvCCiHzKbv3dIbCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:19:53.665949Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0312007","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b7f5d96dadf10c41d1b33b5747ab3db147903d5795ca2032f4510888d031833","sha256:8f7df7424356668491c52524c62a1c0bdff60d8dc23a98b4f4c551a48b6ef75b"],"state_sha256":"9a64e849aa068bbc7f9a651805039b400966995f9291985486fc7c9728a5d686"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vjFoVjmBg4xpSHEQJDgB/JFnCtoOCH+DPpl1eQQ1WVv63O4b+FvTPq22HLCFVqq7dzoag+MLO7kMRWFYk4RDCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T03:11:58.850561Z","bundle_sha256":"70aa7cc13448cf239faaa630c1ea77fabb0ef816130df287bedb5c87a1a540d0"}}