{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:HDFRVFJIZJCKVCEVYWVSJCFJCO","short_pith_number":"pith:HDFRVFJI","canonical_record":{"source":{"id":"1107.1846","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2011-07-10T09:32:24Z","cross_cats_sorted":[],"title_canon_sha256":"a26bc3e55c34ed6a8366e3676c92809019d83d9997f2730fc2249eba6ae7e012","abstract_canon_sha256":"2a7a897e20ce67defec3618c7f5a13334b5babefcabffd6ceed0aee455cb05b4"},"schema_version":"1.0"},"canonical_sha256":"38cb1a9528ca44aa8895c5ab2488a9138317706578ec7a78507dd9f4acd342f0","source":{"kind":"arxiv","id":"1107.1846","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.1846","created_at":"2026-05-17T23:53:36Z"},{"alias_kind":"arxiv_version","alias_value":"1107.1846v1","created_at":"2026-05-17T23:53:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.1846","created_at":"2026-05-17T23:53:36Z"},{"alias_kind":"pith_short_12","alias_value":"HDFRVFJIZJCK","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"HDFRVFJIZJCKVCEV","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"HDFRVFJI","created_at":"2026-05-18T12:26:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:HDFRVFJIZJCKVCEVYWVSJCFJCO","target":"record","payload":{"canonical_record":{"source":{"id":"1107.1846","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2011-07-10T09:32:24Z","cross_cats_sorted":[],"title_canon_sha256":"a26bc3e55c34ed6a8366e3676c92809019d83d9997f2730fc2249eba6ae7e012","abstract_canon_sha256":"2a7a897e20ce67defec3618c7f5a13334b5babefcabffd6ceed0aee455cb05b4"},"schema_version":"1.0"},"canonical_sha256":"38cb1a9528ca44aa8895c5ab2488a9138317706578ec7a78507dd9f4acd342f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:36.543443Z","signature_b64":"Mi7OUN65nUxNX3huvD1cbPgQuilp1uhNUaCq6fkLe3wfOTWMYyYY2Z5lmlSdmDNlAe3eUbPTGIv1zjbKe2PFDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38cb1a9528ca44aa8895c5ab2488a9138317706578ec7a78507dd9f4acd342f0","last_reissued_at":"2026-05-17T23:53:36.542680Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:36.542680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.1846","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-17T23:53:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SLXxWXQtwoLqGB95jmrxum9TPkZdHhKArhgeaseCYLhCEyViL1HbVVtO9tzD9M1Fxlm1u0UDvmd1RNEnmHh3AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T02:12:03.019931Z"},"content_sha256":"4b621b1d8235e6b0c21fbdf58740df68ae8199d758d43891b59ca03b06f2b68a","schema_version":"1.0","event_id":"sha256:4b621b1d8235e6b0c21fbdf58740df68ae8199d758d43891b59ca03b06f2b68a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:HDFRVFJIZJCKVCEVYWVSJCFJCO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algebraic boundaries of Hilbert's SOS cones","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Bernd Sturmfels, Grigoriy Blekherman, John Christian Ottem, Jonathan Hauenstein, Kristian Ranestad","submitted_at":"2011-07-10T09:32:24Z","abstract_excerpt":"We study the geometry underlying the difference between non-negative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether-Lefschetz loci of K3 surfaces. The projective duals of these hypersurfaces are defined by rank constraints on Hankel matrices. We compute their degrees using numerical algebraic geometry, thereby verifying results due to Maulik and Pandharipande. The non-SOS extreme rays of the two cones of non-negative forms are parametrized respectively by the Severi variety of plane ration"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.1846","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-17T23:53:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0xSygtvla0MbpxjSfFsscNJb8c4dJKit8QAsbWmG0VeMefWI8PmNpXJY1cTst8lUA6lXxRU8XgoAbvoNXjjLCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T02:12:03.020275Z"},"content_sha256":"53172b286521e18996920b0942147306a521bddef1009bed9f72ced3c2f97ff2","schema_version":"1.0","event_id":"sha256:53172b286521e18996920b0942147306a521bddef1009bed9f72ced3c2f97ff2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HDFRVFJIZJCKVCEVYWVSJCFJCO/bundle.json","state_url":"https://pith.science/pith/HDFRVFJIZJCKVCEVYWVSJCFJCO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HDFRVFJIZJCKVCEVYWVSJCFJCO/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-27T02:12:03Z","links":{"resolver":"https://pith.science/pith/HDFRVFJIZJCKVCEVYWVSJCFJCO","bundle":"https://pith.science/pith/HDFRVFJIZJCKVCEVYWVSJCFJCO/bundle.json","state":"https://pith.science/pith/HDFRVFJIZJCKVCEVYWVSJCFJCO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HDFRVFJIZJCKVCEVYWVSJCFJCO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:HDFRVFJIZJCKVCEVYWVSJCFJCO","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":"2a7a897e20ce67defec3618c7f5a13334b5babefcabffd6ceed0aee455cb05b4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2011-07-10T09:32:24Z","title_canon_sha256":"a26bc3e55c34ed6a8366e3676c92809019d83d9997f2730fc2249eba6ae7e012"},"schema_version":"1.0","source":{"id":"1107.1846","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.1846","created_at":"2026-05-17T23:53:36Z"},{"alias_kind":"arxiv_version","alias_value":"1107.1846v1","created_at":"2026-05-17T23:53:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.1846","created_at":"2026-05-17T23:53:36Z"},{"alias_kind":"pith_short_12","alias_value":"HDFRVFJIZJCK","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"HDFRVFJIZJCKVCEV","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"HDFRVFJI","created_at":"2026-05-18T12:26:30Z"}],"graph_snapshots":[{"event_id":"sha256:53172b286521e18996920b0942147306a521bddef1009bed9f72ced3c2f97ff2","target":"graph","created_at":"2026-05-17T23:53: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":"We study the geometry underlying the difference between non-negative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether-Lefschetz loci of K3 surfaces. The projective duals of these hypersurfaces are defined by rank constraints on Hankel matrices. We compute their degrees using numerical algebraic geometry, thereby verifying results due to Maulik and Pandharipande. The non-SOS extreme rays of the two cones of non-negative forms are parametrized respectively by the Severi variety of plane ration","authors_text":"Bernd Sturmfels, Grigoriy Blekherman, John Christian Ottem, Jonathan Hauenstein, Kristian Ranestad","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2011-07-10T09:32:24Z","title":"Algebraic boundaries of Hilbert's SOS cones"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.1846","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:4b621b1d8235e6b0c21fbdf58740df68ae8199d758d43891b59ca03b06f2b68a","target":"record","created_at":"2026-05-17T23:53: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":"2a7a897e20ce67defec3618c7f5a13334b5babefcabffd6ceed0aee455cb05b4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2011-07-10T09:32:24Z","title_canon_sha256":"a26bc3e55c34ed6a8366e3676c92809019d83d9997f2730fc2249eba6ae7e012"},"schema_version":"1.0","source":{"id":"1107.1846","kind":"arxiv","version":1}},"canonical_sha256":"38cb1a9528ca44aa8895c5ab2488a9138317706578ec7a78507dd9f4acd342f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38cb1a9528ca44aa8895c5ab2488a9138317706578ec7a78507dd9f4acd342f0","first_computed_at":"2026-05-17T23:53:36.542680Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:53:36.542680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Mi7OUN65nUxNX3huvD1cbPgQuilp1uhNUaCq6fkLe3wfOTWMYyYY2Z5lmlSdmDNlAe3eUbPTGIv1zjbKe2PFDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:53:36.543443Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.1846","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b621b1d8235e6b0c21fbdf58740df68ae8199d758d43891b59ca03b06f2b68a","sha256:53172b286521e18996920b0942147306a521bddef1009bed9f72ced3c2f97ff2"],"state_sha256":"6307ebb5572f7d59dcc44ccd28220a26d0bb0fb7cf0401c36333a93114d04678"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RHejV5Ldwm8wp/IdXdLHLLRmFW6JJ9e92UKpxnEzZx9g2COHxjThreyJ84tFTbXi2Vxe4G6P7pWllF4d0exwDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T02:12:03.022685Z","bundle_sha256":"c6cabc46bac1cfb32411cc406334c73a90e700d2aeab7d7e4525952890d0344b"}}