{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:XC4JB2MR4GEDOHTAZFESAG62G5","short_pith_number":"pith:XC4JB2MR","canonical_record":{"source":{"id":"1203.0253","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-03-01T17:28:56Z","cross_cats_sorted":[],"title_canon_sha256":"8a06c1b0d6b833a510c9b3de17342fe9edc32c42f66518f097688257e244cf25","abstract_canon_sha256":"70033a3245afb7cae14ec5f9c93e5df246abfdab93363a01204ec6fecf693027"},"schema_version":"1.0"},"canonical_sha256":"b8b890e991e188371e60c949201bda376108cb6a81c2c0581eacba47b85f5d12","source":{"kind":"arxiv","id":"1203.0253","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0253","created_at":"2026-05-18T04:01:02Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0253v1","created_at":"2026-05-18T04:01:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0253","created_at":"2026-05-18T04:01:02Z"},{"alias_kind":"pith_short_12","alias_value":"XC4JB2MR4GED","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XC4JB2MR4GEDOHTA","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XC4JB2MR","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:XC4JB2MR4GEDOHTAZFESAG62G5","target":"record","payload":{"canonical_record":{"source":{"id":"1203.0253","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-03-01T17:28:56Z","cross_cats_sorted":[],"title_canon_sha256":"8a06c1b0d6b833a510c9b3de17342fe9edc32c42f66518f097688257e244cf25","abstract_canon_sha256":"70033a3245afb7cae14ec5f9c93e5df246abfdab93363a01204ec6fecf693027"},"schema_version":"1.0"},"canonical_sha256":"b8b890e991e188371e60c949201bda376108cb6a81c2c0581eacba47b85f5d12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:01:02.679387Z","signature_b64":"jlb4ALfrhAe551y5/cLkCdZ4p5mnX+GB2kLkGr95rOIkHoN+DFtwV0yOpSyd8PMpMRtxPybdT/nOpqJirgADAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8b890e991e188371e60c949201bda376108cb6a81c2c0581eacba47b85f5d12","last_reissued_at":"2026-05-18T04:01:02.678629Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:01:02.678629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.0253","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:01:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QyyZgO0wwrIijpf8D9Ikq415d8+JZZx+xUtGbGwm6s8BGGMxXpFaNhZgrrZbUzEhu7EBJLc4I67H4ZkAD16TDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T04:56:51.924458Z"},"content_sha256":"efbf4cb745d08c1b697a39c1979ecf89f6c0cd277f64c78239b367878d269429","schema_version":"1.0","event_id":"sha256:efbf4cb745d08c1b697a39c1979ecf89f6c0cd277f64c78239b367878d269429"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:XC4JB2MR4GEDOHTAZFESAG62G5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials and Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Erich L. Kaltofen, Feng Guo, Lihong Zhi","submitted_at":"2012-03-01T17:28:56Z","abstract_excerpt":"We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials with real coefficients must contain polynomials in the denominator of degree no less than a given input lower bound. By Artin's solution to Hilbert's 17th problems, such representations always exist for some denominator degree. Our certificates of infeasibility are based on the generalization of Farkas's Lemma to semidefinite programming.\n  The literature h"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0253","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:01:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"azQIx8WOGG8522T2dYYSWCsd+XCe7bxDdVD+RbuHOjZh/LtLRdmSsmBXIQxwdODJwMK1WjGFi3EyfhvSx9caAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T04:56:51.924857Z"},"content_sha256":"09d66f4f4548c88684689a635dcbe8a729609709503136f7b767acabda746897","schema_version":"1.0","event_id":"sha256:09d66f4f4548c88684689a635dcbe8a729609709503136f7b767acabda746897"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XC4JB2MR4GEDOHTAZFESAG62G5/bundle.json","state_url":"https://pith.science/pith/XC4JB2MR4GEDOHTAZFESAG62G5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XC4JB2MR4GEDOHTAZFESAG62G5/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-31T04:56:51Z","links":{"resolver":"https://pith.science/pith/XC4JB2MR4GEDOHTAZFESAG62G5","bundle":"https://pith.science/pith/XC4JB2MR4GEDOHTAZFESAG62G5/bundle.json","state":"https://pith.science/pith/XC4JB2MR4GEDOHTAZFESAG62G5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XC4JB2MR4GEDOHTAZFESAG62G5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:XC4JB2MR4GEDOHTAZFESAG62G5","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":"70033a3245afb7cae14ec5f9c93e5df246abfdab93363a01204ec6fecf693027","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-03-01T17:28:56Z","title_canon_sha256":"8a06c1b0d6b833a510c9b3de17342fe9edc32c42f66518f097688257e244cf25"},"schema_version":"1.0","source":{"id":"1203.0253","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0253","created_at":"2026-05-18T04:01:02Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0253v1","created_at":"2026-05-18T04:01:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0253","created_at":"2026-05-18T04:01:02Z"},{"alias_kind":"pith_short_12","alias_value":"XC4JB2MR4GED","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XC4JB2MR4GEDOHTA","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XC4JB2MR","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:09d66f4f4548c88684689a635dcbe8a729609709503136f7b767acabda746897","target":"graph","created_at":"2026-05-18T04:01:02Z","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 deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials with real coefficients must contain polynomials in the denominator of degree no less than a given input lower bound. By Artin's solution to Hilbert's 17th problems, such representations always exist for some denominator degree. Our certificates of infeasibility are based on the generalization of Farkas's Lemma to semidefinite programming.\n  The literature h","authors_text":"Erich L. Kaltofen, Feng Guo, Lihong Zhi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-03-01T17:28:56Z","title":"Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials and Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0253","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:efbf4cb745d08c1b697a39c1979ecf89f6c0cd277f64c78239b367878d269429","target":"record","created_at":"2026-05-18T04:01:02Z","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":"70033a3245afb7cae14ec5f9c93e5df246abfdab93363a01204ec6fecf693027","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-03-01T17:28:56Z","title_canon_sha256":"8a06c1b0d6b833a510c9b3de17342fe9edc32c42f66518f097688257e244cf25"},"schema_version":"1.0","source":{"id":"1203.0253","kind":"arxiv","version":1}},"canonical_sha256":"b8b890e991e188371e60c949201bda376108cb6a81c2c0581eacba47b85f5d12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8b890e991e188371e60c949201bda376108cb6a81c2c0581eacba47b85f5d12","first_computed_at":"2026-05-18T04:01:02.678629Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:01:02.678629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jlb4ALfrhAe551y5/cLkCdZ4p5mnX+GB2kLkGr95rOIkHoN+DFtwV0yOpSyd8PMpMRtxPybdT/nOpqJirgADAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:01:02.679387Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.0253","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:efbf4cb745d08c1b697a39c1979ecf89f6c0cd277f64c78239b367878d269429","sha256:09d66f4f4548c88684689a635dcbe8a729609709503136f7b767acabda746897"],"state_sha256":"6e54e9355c5c48f6b38e093300274bfa08333d340e960d4e93f56fab0ec4fb18"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Eldf/n0mO3B5W9gtfzlGy96PxgafDS16A+9WZGFTfOeN4RcuumuZbz35KWCo1nVLOziNbGyGfuXJj3x1QgloCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T04:56:51.927736Z","bundle_sha256":"d4f6111c0520f0c522b581c307b490e772ebffbc48f06febd2363cb7d6ef55f2"}}