{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:UGUKOQA5LLZK4O7NBIOEW55DWI","short_pith_number":"pith:UGUKOQA5","canonical_record":{"source":{"id":"1201.4061","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2012-01-19T14:00:52Z","cross_cats_sorted":[],"title_canon_sha256":"e319adec27420980418011c9531e3e08fc7b78aedcd9def95b6a646394bf5ab3","abstract_canon_sha256":"e7c256ddd16988db9c982757f3b759f8ac4b3a9fe45b7a063c583c2b114541be"},"schema_version":"1.0"},"canonical_sha256":"a1a8a7401d5af2ae3bed0a1c4b77a3b20bf2df0389802e89533fc7cfffafc365","source":{"kind":"arxiv","id":"1201.4061","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.4061","created_at":"2026-05-18T03:49:45Z"},{"alias_kind":"arxiv_version","alias_value":"1201.4061v2","created_at":"2026-05-18T03:49:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4061","created_at":"2026-05-18T03:49:45Z"},{"alias_kind":"pith_short_12","alias_value":"UGUKOQA5LLZK","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"UGUKOQA5LLZK4O7N","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"UGUKOQA5","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:UGUKOQA5LLZK4O7NBIOEW55DWI","target":"record","payload":{"canonical_record":{"source":{"id":"1201.4061","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2012-01-19T14:00:52Z","cross_cats_sorted":[],"title_canon_sha256":"e319adec27420980418011c9531e3e08fc7b78aedcd9def95b6a646394bf5ab3","abstract_canon_sha256":"e7c256ddd16988db9c982757f3b759f8ac4b3a9fe45b7a063c583c2b114541be"},"schema_version":"1.0"},"canonical_sha256":"a1a8a7401d5af2ae3bed0a1c4b77a3b20bf2df0389802e89533fc7cfffafc365","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:49:45.579730Z","signature_b64":"eT9PTd/yoo3Umsdmkeaunqphz/ERVgj5LA7pAu3ahR4eYnpKu4eR71pBxeZLrBSa2tuf2RXTUgffvjmFj67lAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1a8a7401d5af2ae3bed0a1c4b77a3b20bf2df0389802e89533fc7cfffafc365","last_reissued_at":"2026-05-18T03:49:45.579132Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:49:45.579132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.4061","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-18T03:49:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VBW3sXIdJkeGv5fUX42yBWmFdrdHFjWxfpinJJHT0NLtoSs5+Es7E7OTN9xFMoRiw22yscvOr1Ppsw/YyPekCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T22:07:40.291265Z"},"content_sha256":"bd2e00581a50090fc83ca3a11b7d4e50d5142c55d4515de1d4006987a83c99ab","schema_version":"1.0","event_id":"sha256:bd2e00581a50090fc83ca3a11b7d4e50d5142c55d4515de1d4006987a83c99ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:UGUKOQA5LLZK4O7NBIOEW55DWI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Separating inequalities for nonnegative polynomials that are not sums of squares","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Sadik Iliman, Timo de Wolff","submitted_at":"2012-01-19T14:00:52Z","abstract_excerpt":"Ternary sextics and quaternary quartics are the smallest cases where there exist nonnegative polynomials that are not sums of squares (SOS). A complete classification of the difference between these cones was given by G. Blekherman via analyzing the extreme rays of the corresponding dual cones. However, an exact computational approach in order to build separating extreme rays for nonnegative polynomials that are not sums of squares is a widely open problem. We provide a method substantially simplifying this computation for certain classes of polynomials on the boundary of the PSD cones. In par"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4061","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-18T03:49:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IyEZgG0IoPFgQjw+0lJxnZUA8zI2wRDl1kwK2G7YXgqLrDoipGht5Xv9OznVJKZ5cSBXaY3PDqtNLElWqdJJDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T22:07:40.291624Z"},"content_sha256":"9fa50494880507c6103c210eaf791bc1660901dbfefd0e2c6fb0a5026db0170d","schema_version":"1.0","event_id":"sha256:9fa50494880507c6103c210eaf791bc1660901dbfefd0e2c6fb0a5026db0170d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UGUKOQA5LLZK4O7NBIOEW55DWI/bundle.json","state_url":"https://pith.science/pith/UGUKOQA5LLZK4O7NBIOEW55DWI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UGUKOQA5LLZK4O7NBIOEW55DWI/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-02T22:07:40Z","links":{"resolver":"https://pith.science/pith/UGUKOQA5LLZK4O7NBIOEW55DWI","bundle":"https://pith.science/pith/UGUKOQA5LLZK4O7NBIOEW55DWI/bundle.json","state":"https://pith.science/pith/UGUKOQA5LLZK4O7NBIOEW55DWI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UGUKOQA5LLZK4O7NBIOEW55DWI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:UGUKOQA5LLZK4O7NBIOEW55DWI","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":"e7c256ddd16988db9c982757f3b759f8ac4b3a9fe45b7a063c583c2b114541be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2012-01-19T14:00:52Z","title_canon_sha256":"e319adec27420980418011c9531e3e08fc7b78aedcd9def95b6a646394bf5ab3"},"schema_version":"1.0","source":{"id":"1201.4061","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.4061","created_at":"2026-05-18T03:49:45Z"},{"alias_kind":"arxiv_version","alias_value":"1201.4061v2","created_at":"2026-05-18T03:49:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4061","created_at":"2026-05-18T03:49:45Z"},{"alias_kind":"pith_short_12","alias_value":"UGUKOQA5LLZK","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"UGUKOQA5LLZK4O7N","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"UGUKOQA5","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:9fa50494880507c6103c210eaf791bc1660901dbfefd0e2c6fb0a5026db0170d","target":"graph","created_at":"2026-05-18T03:49:45Z","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":"Ternary sextics and quaternary quartics are the smallest cases where there exist nonnegative polynomials that are not sums of squares (SOS). A complete classification of the difference between these cones was given by G. Blekherman via analyzing the extreme rays of the corresponding dual cones. However, an exact computational approach in order to build separating extreme rays for nonnegative polynomials that are not sums of squares is a widely open problem. We provide a method substantially simplifying this computation for certain classes of polynomials on the boundary of the PSD cones. In par","authors_text":"Sadik Iliman, Timo de Wolff","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2012-01-19T14:00:52Z","title":"Separating inequalities for nonnegative polynomials that are not sums of squares"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4061","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:bd2e00581a50090fc83ca3a11b7d4e50d5142c55d4515de1d4006987a83c99ab","target":"record","created_at":"2026-05-18T03:49:45Z","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":"e7c256ddd16988db9c982757f3b759f8ac4b3a9fe45b7a063c583c2b114541be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2012-01-19T14:00:52Z","title_canon_sha256":"e319adec27420980418011c9531e3e08fc7b78aedcd9def95b6a646394bf5ab3"},"schema_version":"1.0","source":{"id":"1201.4061","kind":"arxiv","version":2}},"canonical_sha256":"a1a8a7401d5af2ae3bed0a1c4b77a3b20bf2df0389802e89533fc7cfffafc365","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1a8a7401d5af2ae3bed0a1c4b77a3b20bf2df0389802e89533fc7cfffafc365","first_computed_at":"2026-05-18T03:49:45.579132Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:49:45.579132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eT9PTd/yoo3Umsdmkeaunqphz/ERVgj5LA7pAu3ahR4eYnpKu4eR71pBxeZLrBSa2tuf2RXTUgffvjmFj67lAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:49:45.579730Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.4061","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd2e00581a50090fc83ca3a11b7d4e50d5142c55d4515de1d4006987a83c99ab","sha256:9fa50494880507c6103c210eaf791bc1660901dbfefd0e2c6fb0a5026db0170d"],"state_sha256":"956985e4726eda0a8252f9ec3be766518a63fe2a31c9507a31beab1bc0567fed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lUdl2QG/09r8tuH4STBEfMUq+45Txj4SfDgFZji3LDcARM291w1dOvXBe8/A9UhLH+UbLuiS13mo+rBScVONBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T22:07:40.293538Z","bundle_sha256":"37a34ae02f18930cf5403d0ec67088c4d1e87be0a441120258954e0870765e51"}}