{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:FGSFKA6ZB2CW7CEQDY266OEMBZ","short_pith_number":"pith:FGSFKA6Z","canonical_record":{"source":{"id":"0709.3283","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.AG","submitted_at":"2007-09-20T19:28:10Z","cross_cats_sorted":["cs.CG","math.AT","math.GT"],"title_canon_sha256":"58eeb36ba4a6c0a1de5288201e09fc0c4c8f7c65f241bd6f859e0cc34c6a8b6e","abstract_canon_sha256":"ef6c2f79e32a91d7cd07ff9f60294bf43fec303640a85988d70904de5a829b12"},"schema_version":"1.0"},"canonical_sha256":"29a45503d90e856f88901e35ef388c0e6d02e2744e8734a09c461fdbf1c63eeb","source":{"kind":"arxiv","id":"0709.3283","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0709.3283","created_at":"2026-05-18T04:09:14Z"},{"alias_kind":"arxiv_version","alias_value":"0709.3283v1","created_at":"2026-05-18T04:09:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0709.3283","created_at":"2026-05-18T04:09:14Z"},{"alias_kind":"pith_short_12","alias_value":"FGSFKA6ZB2CW","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"FGSFKA6ZB2CW7CEQ","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"FGSFKA6Z","created_at":"2026-05-18T12:25:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:FGSFKA6ZB2CW7CEQDY266OEMBZ","target":"record","payload":{"canonical_record":{"source":{"id":"0709.3283","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.AG","submitted_at":"2007-09-20T19:28:10Z","cross_cats_sorted":["cs.CG","math.AT","math.GT"],"title_canon_sha256":"58eeb36ba4a6c0a1de5288201e09fc0c4c8f7c65f241bd6f859e0cc34c6a8b6e","abstract_canon_sha256":"ef6c2f79e32a91d7cd07ff9f60294bf43fec303640a85988d70904de5a829b12"},"schema_version":"1.0"},"canonical_sha256":"29a45503d90e856f88901e35ef388c0e6d02e2744e8734a09c461fdbf1c63eeb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:09:14.430629Z","signature_b64":"1EoEpR10UF17xoIRD6DGQVYsdO9ss12CXjpy4xO5R/2CzEu1ydl726HTW6NTwGHoYApZXnRnI/2h5g+BN8S7DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29a45503d90e856f88901e35ef388c0e6d02e2744e8734a09c461fdbf1c63eeb","last_reissued_at":"2026-05-18T04:09:14.430216Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:09:14.430216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0709.3283","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:09:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l9jCnko1njoo9/XobzrTawpLAAhH+QZg2WZZH5DnphPOZkbj+2OtaTKpS7/J/Vv/E/h97V17dJULPsYPksa1Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:11:12.145036Z"},"content_sha256":"d10a33600c6ed84cf8641fd255c60eda3c014216a33b351c864cabaf3e22f9ed","schema_version":"1.0","event_id":"sha256:d10a33600c6ed84cf8641fd255c60eda3c014216a33b351c864cabaf3e22f9ed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:FGSFKA6ZB2CW7CEQDY266OEMBZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithmic and topological aspects of semi-algebraic sets defined by quadratic polynomial","license":"","headline":"","cross_cats":["cs.CG","math.AT","math.GT"],"primary_cat":"math.AG","authors_text":"Michael Kettner","submitted_at":"2007-09-20T19:28:10Z","abstract_excerpt":"In this thesis, we consider semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials. Semi-algebraic sets of $R^k$ are defined as the smallest family of sets in $R^k$ that contains the algebraic sets as well as the sets defined by polynomial inequalities, and which is also closed under the boolean operations (complementation, finite unions and finite intersections). We prove new bounds on the Betti numbers as well as on the number of different stable homotopy types of certain fibers of semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials, i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0709.3283","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:09:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zflVOemL94r6wiPrk3WrYbgaasA1lr4dNYc2OOSycD7AmzvWW7IWPQMtiS3GyAVKrraBEc7uOCgiiaMe0oSJAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:11:12.145646Z"},"content_sha256":"ca81df3a362d8a02f089f524f4daf090fb2d6482703b60ee65a258f6777c9924","schema_version":"1.0","event_id":"sha256:ca81df3a362d8a02f089f524f4daf090fb2d6482703b60ee65a258f6777c9924"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/bundle.json","state_url":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/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-30T07:11:12Z","links":{"resolver":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ","bundle":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/bundle.json","state":"https://pith.science/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FGSFKA6ZB2CW7CEQDY266OEMBZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:FGSFKA6ZB2CW7CEQDY266OEMBZ","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":"ef6c2f79e32a91d7cd07ff9f60294bf43fec303640a85988d70904de5a829b12","cross_cats_sorted":["cs.CG","math.AT","math.GT"],"license":"","primary_cat":"math.AG","submitted_at":"2007-09-20T19:28:10Z","title_canon_sha256":"58eeb36ba4a6c0a1de5288201e09fc0c4c8f7c65f241bd6f859e0cc34c6a8b6e"},"schema_version":"1.0","source":{"id":"0709.3283","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0709.3283","created_at":"2026-05-18T04:09:14Z"},{"alias_kind":"arxiv_version","alias_value":"0709.3283v1","created_at":"2026-05-18T04:09:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0709.3283","created_at":"2026-05-18T04:09:14Z"},{"alias_kind":"pith_short_12","alias_value":"FGSFKA6ZB2CW","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"FGSFKA6ZB2CW7CEQ","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"FGSFKA6Z","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:ca81df3a362d8a02f089f524f4daf090fb2d6482703b60ee65a258f6777c9924","target":"graph","created_at":"2026-05-18T04:09:14Z","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 this thesis, we consider semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials. Semi-algebraic sets of $R^k$ are defined as the smallest family of sets in $R^k$ that contains the algebraic sets as well as the sets defined by polynomial inequalities, and which is also closed under the boolean operations (complementation, finite unions and finite intersections). We prove new bounds on the Betti numbers as well as on the number of different stable homotopy types of certain fibers of semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials, i","authors_text":"Michael Kettner","cross_cats":["cs.CG","math.AT","math.GT"],"headline":"","license":"","primary_cat":"math.AG","submitted_at":"2007-09-20T19:28:10Z","title":"Algorithmic and topological aspects of semi-algebraic sets defined by quadratic polynomial"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0709.3283","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:d10a33600c6ed84cf8641fd255c60eda3c014216a33b351c864cabaf3e22f9ed","target":"record","created_at":"2026-05-18T04:09:14Z","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":"ef6c2f79e32a91d7cd07ff9f60294bf43fec303640a85988d70904de5a829b12","cross_cats_sorted":["cs.CG","math.AT","math.GT"],"license":"","primary_cat":"math.AG","submitted_at":"2007-09-20T19:28:10Z","title_canon_sha256":"58eeb36ba4a6c0a1de5288201e09fc0c4c8f7c65f241bd6f859e0cc34c6a8b6e"},"schema_version":"1.0","source":{"id":"0709.3283","kind":"arxiv","version":1}},"canonical_sha256":"29a45503d90e856f88901e35ef388c0e6d02e2744e8734a09c461fdbf1c63eeb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29a45503d90e856f88901e35ef388c0e6d02e2744e8734a09c461fdbf1c63eeb","first_computed_at":"2026-05-18T04:09:14.430216Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:09:14.430216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1EoEpR10UF17xoIRD6DGQVYsdO9ss12CXjpy4xO5R/2CzEu1ydl726HTW6NTwGHoYApZXnRnI/2h5g+BN8S7DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:09:14.430629Z","signed_message":"canonical_sha256_bytes"},"source_id":"0709.3283","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d10a33600c6ed84cf8641fd255c60eda3c014216a33b351c864cabaf3e22f9ed","sha256:ca81df3a362d8a02f089f524f4daf090fb2d6482703b60ee65a258f6777c9924"],"state_sha256":"adb17a638014fc26ba1c36332aacfdaef64611c5e5236f0ab5e443c480c6e779"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ro2czEeE4DFLaC9SFjXNLmkV+Pt4+7CSrOLefJt/KB3MB3SZl+rDlG3RbtzRqT7qy38gd0NORvkeswib+YIlCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T07:11:12.148642Z","bundle_sha256":"3fa3c707afe53527ed59da6ef81d65fdd63afa7e9a47491e59038c87b2508a99"}}