{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:LDLLNRKGGASLO7RNVYNV6ULP56","short_pith_number":"pith:LDLLNRKG","canonical_record":{"source":{"id":"2507.15632","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-07-21T13:55:00Z","cross_cats_sorted":["math.RT"],"title_canon_sha256":"4e11a66238c29aed40f17f8193cef02432c6e94ad1e50ba0884c0f70a06c98ac","abstract_canon_sha256":"8a9ecedde66ed5039317617ad2fc3a19202383ca0f41bdf659f83827082ed2ab"},"schema_version":"1.0"},"canonical_sha256":"58d6b6c5463024b77e2dae1b5f516fefbe888bd4aca5b5a920e432195486e25c","source":{"kind":"arxiv","id":"2507.15632","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15632","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15632v3","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15632","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"pith_short_12","alias_value":"LDLLNRKGGASL","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"pith_short_16","alias_value":"LDLLNRKGGASLO7RN","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"pith_short_8","alias_value":"LDLLNRKG","created_at":"2026-08-06T01:14:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:LDLLNRKGGASLO7RNVYNV6ULP56","target":"record","payload":{"canonical_record":{"source":{"id":"2507.15632","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-07-21T13:55:00Z","cross_cats_sorted":["math.RT"],"title_canon_sha256":"4e11a66238c29aed40f17f8193cef02432c6e94ad1e50ba0884c0f70a06c98ac","abstract_canon_sha256":"8a9ecedde66ed5039317617ad2fc3a19202383ca0f41bdf659f83827082ed2ab"},"schema_version":"1.0"},"canonical_sha256":"58d6b6c5463024b77e2dae1b5f516fefbe888bd4aca5b5a920e432195486e25c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-06T01:14:40.088698Z","signature_b64":"zqFJXGBnacjL3hgCt6Irdj8Xf2aKy6vl9Wa3qVzgxCx94vrz4viVgma+Re5lrv/SoV9mjzCyX0aY75iRQOxGBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58d6b6c5463024b77e2dae1b5f516fefbe888bd4aca5b5a920e432195486e25c","last_reissued_at":"2026-08-06T01:14:40.087122Z","signature_status":"signed_v1","first_computed_at":"2026-08-06T01:14:40.087122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.15632","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-08-06T01:14:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GQIn/KOSXXGWfGgqJ91ePjO8qhCHS2u7GNAUX/3ymw4yo/DdZ2MgIKAF2OqQFnbwhtMHf/d9UBOqB4MrPk0ABQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:52:45.411723Z"},"content_sha256":"e8abdd844073eb33af210182e9684acfeaf846e04b990b100d604cafdfa12176","schema_version":"1.0","event_id":"sha256:e8abdd844073eb33af210182e9684acfeaf846e04b990b100d604cafdfa12176"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:LDLLNRKGGASLO7RNVYNV6ULP56","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Any-Dimensional Polynomial Optimization via de Finetti Theorems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RT"],"primary_cat":"math.OC","authors_text":"Eitan Levin, Venkat Chandrasekaran","submitted_at":"2025-07-21T13:55:00Z","abstract_excerpt":"Polynomial optimization problems often arise in sequences indexed by dimension, and it is of interest to compute bounds on the optimal values of all problems in the sequence. Examples include certifying inequalities between symmetric functions or graph homomorphism densities that hold over vectors and graphs of all sizes, and computing the value of mean-field games viewed as limits of games with a growing number of players. In this paper, we study such any-dimensional polynomial problems using the theory of representation stability, and we develop a systematic framework to produce hierarchies "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15632","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.15632/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-08-06T01:14:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"APyxlDwgY1KaEeiPr6hPqJJZBjIy19aTziku1wxthoDIPxd2wTlEsPZHtZSGPYXTYnXrdzzabmleK5zhzGYdAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:52:45.412116Z"},"content_sha256":"759381f5d81bc82ce251bea0f5e56fba9bbb309d7432e4857813f985e1a62aa8","schema_version":"1.0","event_id":"sha256:759381f5d81bc82ce251bea0f5e56fba9bbb309d7432e4857813f985e1a62aa8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LDLLNRKGGASLO7RNVYNV6ULP56/bundle.json","state_url":"https://pith.science/pith/LDLLNRKGGASLO7RNVYNV6ULP56/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LDLLNRKGGASLO7RNVYNV6ULP56/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-08-06T09:52:45Z","links":{"resolver":"https://pith.science/pith/LDLLNRKGGASLO7RNVYNV6ULP56","bundle":"https://pith.science/pith/LDLLNRKGGASLO7RNVYNV6ULP56/bundle.json","state":"https://pith.science/pith/LDLLNRKGGASLO7RNVYNV6ULP56/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LDLLNRKGGASLO7RNVYNV6ULP56/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:LDLLNRKGGASLO7RNVYNV6ULP56","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":"8a9ecedde66ed5039317617ad2fc3a19202383ca0f41bdf659f83827082ed2ab","cross_cats_sorted":["math.RT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-07-21T13:55:00Z","title_canon_sha256":"4e11a66238c29aed40f17f8193cef02432c6e94ad1e50ba0884c0f70a06c98ac"},"schema_version":"1.0","source":{"id":"2507.15632","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.15632","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"arxiv_version","alias_value":"2507.15632v3","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15632","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"pith_short_12","alias_value":"LDLLNRKGGASL","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"pith_short_16","alias_value":"LDLLNRKGGASLO7RN","created_at":"2026-08-06T01:14:40Z"},{"alias_kind":"pith_short_8","alias_value":"LDLLNRKG","created_at":"2026-08-06T01:14:40Z"}],"graph_snapshots":[{"event_id":"sha256:759381f5d81bc82ce251bea0f5e56fba9bbb309d7432e4857813f985e1a62aa8","target":"graph","created_at":"2026-08-06T01:14:40Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.15632/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Polynomial optimization problems often arise in sequences indexed by dimension, and it is of interest to compute bounds on the optimal values of all problems in the sequence. Examples include certifying inequalities between symmetric functions or graph homomorphism densities that hold over vectors and graphs of all sizes, and computing the value of mean-field games viewed as limits of games with a growing number of players. In this paper, we study such any-dimensional polynomial problems using the theory of representation stability, and we develop a systematic framework to produce hierarchies ","authors_text":"Eitan Levin, Venkat Chandrasekaran","cross_cats":["math.RT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-07-21T13:55:00Z","title":"Any-Dimensional Polynomial Optimization via de Finetti Theorems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15632","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:e8abdd844073eb33af210182e9684acfeaf846e04b990b100d604cafdfa12176","target":"record","created_at":"2026-08-06T01:14:40Z","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":"8a9ecedde66ed5039317617ad2fc3a19202383ca0f41bdf659f83827082ed2ab","cross_cats_sorted":["math.RT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-07-21T13:55:00Z","title_canon_sha256":"4e11a66238c29aed40f17f8193cef02432c6e94ad1e50ba0884c0f70a06c98ac"},"schema_version":"1.0","source":{"id":"2507.15632","kind":"arxiv","version":3}},"canonical_sha256":"58d6b6c5463024b77e2dae1b5f516fefbe888bd4aca5b5a920e432195486e25c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"58d6b6c5463024b77e2dae1b5f516fefbe888bd4aca5b5a920e432195486e25c","first_computed_at":"2026-08-06T01:14:40.087122Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-06T01:14:40.087122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zqFJXGBnacjL3hgCt6Irdj8Xf2aKy6vl9Wa3qVzgxCx94vrz4viVgma+Re5lrv/SoV9mjzCyX0aY75iRQOxGBg==","signature_status":"signed_v1","signed_at":"2026-08-06T01:14:40.088698Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.15632","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8abdd844073eb33af210182e9684acfeaf846e04b990b100d604cafdfa12176","sha256:759381f5d81bc82ce251bea0f5e56fba9bbb309d7432e4857813f985e1a62aa8"],"state_sha256":"61b75c7c7df8957c33c6e3475f797de91889917bf1127850123e3dcc196c105e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IQynxgla4t//qDKabGoo31nWV6DvDTm3nK5NBruTwRb06nLe+2ytxDYnRZZ7MQd/MK7FyGKGOnZcLKi5DbZcAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T09:52:45.415974Z","bundle_sha256":"05ff73e130cc98a23f02dcb38cbda4121a0d6c35258dba6ab48f0f8d0ce26a14"}}