{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:I6C2BMMJHF2S5NDEPUAU5AT4DF","short_pith_number":"pith:I6C2BMMJ","schema_version":"1.0","canonical_sha256":"4785a0b18939752eb4647d014e827c195c17aff56dba1212d0f5499a1a6d8241","source":{"kind":"arxiv","id":"2606.27551","version":1},"attestation_state":"computed","paper":{"title":"Any-dimensional Positivstellens\\\"atze for symmetric functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA","math.OC"],"primary_cat":"math.AG","authors_text":"Robin Schabert, Sebastian Debus","submitted_at":"2026-06-25T20:56:05Z","abstract_excerpt":"Positivstellens\\\"atze provide certificates of positivity for polynomials. Extending these certificates to symmetric functions, uniformly across all dimensions, presents structural challenges. For instance, the underlying domain is not semialgebraic. In this paper, we prove two Positivstellens\\\"atze for symmetric functions that are uniformly bounded below by some $\\varepsilon > 0$. These are infinite dimensional analogous of theorems of P\\'olya and Reznick. The proof relates evaluations of the (truncated) power sum map $(p_2,p_3,\\dots)$ to moments of discrete probability measures on the compact"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.27551","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2026-06-25T20:56:05Z","cross_cats_sorted":["math.FA","math.OC"],"title_canon_sha256":"a21433fdc5b1a3d9f411708def558dec8c6da0af62fc76b8719cc769c49c6f25","abstract_canon_sha256":"2da964714ca0b9bdeffa76390dc39cb917348f5ffac49a4b2564e79667fd21bc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-29T00:14:09.801810Z","signature_b64":"nv/9syO0BlszK/hVMaE5VnGzyiGhh0EViHfWR0jg50tmlkqfogLtYr3IWti3xwNk0w9JwFEZt47GZa+Ypw+3AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4785a0b18939752eb4647d014e827c195c17aff56dba1212d0f5499a1a6d8241","last_reissued_at":"2026-06-29T00:14:09.801354Z","signature_status":"signed_v1","first_computed_at":"2026-06-29T00:14:09.801354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Any-dimensional Positivstellens\\\"atze for symmetric functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA","math.OC"],"primary_cat":"math.AG","authors_text":"Robin Schabert, Sebastian Debus","submitted_at":"2026-06-25T20:56:05Z","abstract_excerpt":"Positivstellens\\\"atze provide certificates of positivity for polynomials. Extending these certificates to symmetric functions, uniformly across all dimensions, presents structural challenges. For instance, the underlying domain is not semialgebraic. In this paper, we prove two Positivstellens\\\"atze for symmetric functions that are uniformly bounded below by some $\\varepsilon > 0$. These are infinite dimensional analogous of theorems of P\\'olya and Reznick. The proof relates evaluations of the (truncated) power sum map $(p_2,p_3,\\dots)$ to moments of discrete probability measures on the compact"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.27551","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.27551/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.27551","created_at":"2026-06-29T00:14:09.801426+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.27551v1","created_at":"2026-06-29T00:14:09.801426+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.27551","created_at":"2026-06-29T00:14:09.801426+00:00"},{"alias_kind":"pith_short_12","alias_value":"I6C2BMMJHF2S","created_at":"2026-06-29T00:14:09.801426+00:00"},{"alias_kind":"pith_short_16","alias_value":"I6C2BMMJHF2S5NDE","created_at":"2026-06-29T00:14:09.801426+00:00"},{"alias_kind":"pith_short_8","alias_value":"I6C2BMMJ","created_at":"2026-06-29T00:14:09.801426+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF","json":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF.json","graph_json":"https://pith.science/api/pith-number/I6C2BMMJHF2S5NDEPUAU5AT4DF/graph.json","events_json":"https://pith.science/api/pith-number/I6C2BMMJHF2S5NDEPUAU5AT4DF/events.json","paper":"https://pith.science/paper/I6C2BMMJ"},"agent_actions":{"view_html":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF","download_json":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF.json","view_paper":"https://pith.science/paper/I6C2BMMJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.27551&json=true","fetch_graph":"https://pith.science/api/pith-number/I6C2BMMJHF2S5NDEPUAU5AT4DF/graph.json","fetch_events":"https://pith.science/api/pith-number/I6C2BMMJHF2S5NDEPUAU5AT4DF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF/action/storage_attestation","attest_author":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF/action/author_attestation","sign_citation":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF/action/citation_signature","submit_replication":"https://pith.science/pith/I6C2BMMJHF2S5NDEPUAU5AT4DF/action/replication_record"}},"created_at":"2026-06-29T00:14:09.801426+00:00","updated_at":"2026-06-29T00:14:09.801426+00:00"}