{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:4FXKVO6RFZH6DWPOIJP64BQGOP","short_pith_number":"pith:4FXKVO6R","canonical_record":{"source":{"id":"1507.03059","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-11T02:48:47Z","cross_cats_sorted":["cs.DM","math.OC"],"title_canon_sha256":"e7ecd705b63637a9d6e029c4807eb38123d2425a1dc93be8aeb0f9076759fd55","abstract_canon_sha256":"fff759436ab1e113ea2a16179b18a0d4011f6acc72be6489ccb883381a1e1173"},"schema_version":"1.0"},"canonical_sha256":"e16eaabbd12e4fe1d9ee425fee060673f96b29cafa98fb43f36cb2d047f52ae9","source":{"kind":"arxiv","id":"1507.03059","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03059","created_at":"2026-05-18T00:36:33Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03059v3","created_at":"2026-05-18T00:36:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03059","created_at":"2026-05-18T00:36:33Z"},{"alias_kind":"pith_short_12","alias_value":"4FXKVO6RFZH6","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4FXKVO6RFZH6DWPO","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4FXKVO6R","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:4FXKVO6RFZH6DWPOIJP64BQGOP","target":"record","payload":{"canonical_record":{"source":{"id":"1507.03059","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-11T02:48:47Z","cross_cats_sorted":["cs.DM","math.OC"],"title_canon_sha256":"e7ecd705b63637a9d6e029c4807eb38123d2425a1dc93be8aeb0f9076759fd55","abstract_canon_sha256":"fff759436ab1e113ea2a16179b18a0d4011f6acc72be6489ccb883381a1e1173"},"schema_version":"1.0"},"canonical_sha256":"e16eaabbd12e4fe1d9ee425fee060673f96b29cafa98fb43f36cb2d047f52ae9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:33.609639Z","signature_b64":"IAhAD8EqHDDf2OwsCobz4LWMGOPoZ70UcZE7j/CeXiru2jnmwvmLyKGXhu6QhLXTTDEf4herAGjfiyKqP7a0BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e16eaabbd12e4fe1d9ee425fee060673f96b29cafa98fb43f36cb2d047f52ae9","last_reissued_at":"2026-05-18T00:36:33.608874Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:33.608874Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.03059","source_version":3,"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-18T00:36:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MRfy8sX7+sOh84bgZPtRPqWo6tD23bScDLzFAxDvEhRKF8NAkmlOs0jsauWVOPMdMjXFkrQd/X8HMd0tXSGnDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:25:47.508225Z"},"content_sha256":"13561407483036d7a83bc0be37c6f1bc3fc64041c8da00e05566674c37bb6512","schema_version":"1.0","event_id":"sha256:13561407483036d7a83bc0be37c6f1bc3fc64041c8da00e05566674c37bb6512"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:4FXKVO6RFZH6DWPOIJP64BQGOP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symmetry in Tur\\'an Sums of Squares Polynomials from Flag Algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.OC"],"primary_cat":"math.CO","authors_text":"Annie Raymond, Mohit Singh, Rekha R. Thomas","submitted_at":"2015-07-11T02:48:47Z","abstract_excerpt":"Tur\\'an problems in extremal combinatorics ask to find asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful methods based on semidefinite programming to find sums of squares that establish edge density inequalities in Tur\\'an problems. Working with polynomial analogs of the flag algebra entities, we prove that such sums of squares created by flag algebras can be retrieved from a restricted version of the symmetry-adapted semidefinite program proposed by Gatermann and Parrilo. This in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03059","kind":"arxiv","version":3},"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-18T00:36:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rX0rBgtWyF/hy1PwC0Mup1qza/dfS9Z+YTNxcC60isEK8klhIGZpK5AkqGmwacohUjmI2lMDTbKzFUsEc+RrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:25:47.508623Z"},"content_sha256":"f861f6a92f7b386cfd2866a2b1c11c330b466fce54e5fb9f433236cd2bac332f","schema_version":"1.0","event_id":"sha256:f861f6a92f7b386cfd2866a2b1c11c330b466fce54e5fb9f433236cd2bac332f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4FXKVO6RFZH6DWPOIJP64BQGOP/bundle.json","state_url":"https://pith.science/pith/4FXKVO6RFZH6DWPOIJP64BQGOP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4FXKVO6RFZH6DWPOIJP64BQGOP/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-31T23:25:47Z","links":{"resolver":"https://pith.science/pith/4FXKVO6RFZH6DWPOIJP64BQGOP","bundle":"https://pith.science/pith/4FXKVO6RFZH6DWPOIJP64BQGOP/bundle.json","state":"https://pith.science/pith/4FXKVO6RFZH6DWPOIJP64BQGOP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4FXKVO6RFZH6DWPOIJP64BQGOP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:4FXKVO6RFZH6DWPOIJP64BQGOP","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":"fff759436ab1e113ea2a16179b18a0d4011f6acc72be6489ccb883381a1e1173","cross_cats_sorted":["cs.DM","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-11T02:48:47Z","title_canon_sha256":"e7ecd705b63637a9d6e029c4807eb38123d2425a1dc93be8aeb0f9076759fd55"},"schema_version":"1.0","source":{"id":"1507.03059","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03059","created_at":"2026-05-18T00:36:33Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03059v3","created_at":"2026-05-18T00:36:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03059","created_at":"2026-05-18T00:36:33Z"},{"alias_kind":"pith_short_12","alias_value":"4FXKVO6RFZH6","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4FXKVO6RFZH6DWPO","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4FXKVO6R","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:f861f6a92f7b386cfd2866a2b1c11c330b466fce54e5fb9f433236cd2bac332f","target":"graph","created_at":"2026-05-18T00:36:33Z","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":"Tur\\'an problems in extremal combinatorics ask to find asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful methods based on semidefinite programming to find sums of squares that establish edge density inequalities in Tur\\'an problems. Working with polynomial analogs of the flag algebra entities, we prove that such sums of squares created by flag algebras can be retrieved from a restricted version of the symmetry-adapted semidefinite program proposed by Gatermann and Parrilo. This in","authors_text":"Annie Raymond, Mohit Singh, Rekha R. Thomas","cross_cats":["cs.DM","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-11T02:48:47Z","title":"Symmetry in Tur\\'an Sums of Squares Polynomials from Flag Algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03059","kind":"arxiv","version":3},"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:13561407483036d7a83bc0be37c6f1bc3fc64041c8da00e05566674c37bb6512","target":"record","created_at":"2026-05-18T00:36:33Z","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":"fff759436ab1e113ea2a16179b18a0d4011f6acc72be6489ccb883381a1e1173","cross_cats_sorted":["cs.DM","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-07-11T02:48:47Z","title_canon_sha256":"e7ecd705b63637a9d6e029c4807eb38123d2425a1dc93be8aeb0f9076759fd55"},"schema_version":"1.0","source":{"id":"1507.03059","kind":"arxiv","version":3}},"canonical_sha256":"e16eaabbd12e4fe1d9ee425fee060673f96b29cafa98fb43f36cb2d047f52ae9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e16eaabbd12e4fe1d9ee425fee060673f96b29cafa98fb43f36cb2d047f52ae9","first_computed_at":"2026-05-18T00:36:33.608874Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:33.608874Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IAhAD8EqHDDf2OwsCobz4LWMGOPoZ70UcZE7j/CeXiru2jnmwvmLyKGXhu6QhLXTTDEf4herAGjfiyKqP7a0BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:33.609639Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.03059","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:13561407483036d7a83bc0be37c6f1bc3fc64041c8da00e05566674c37bb6512","sha256:f861f6a92f7b386cfd2866a2b1c11c330b466fce54e5fb9f433236cd2bac332f"],"state_sha256":"31a5ed686763a0688de3da80a6fafca2e67016bc7b0cf9143b9659b67cebc910"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7f9cAPvKV7vDftzTbecwoHUvAhWgQkid/X6Bp3eW6OM2DDvjWbX3wZlBovTBss3TwPlQxDimVn+n/yE77tLgAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T23:25:47.513129Z","bundle_sha256":"1bb77ca79690db314af6148fb60593acfa66ddea9c50075440cdcf4235406279"}}