{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:BMMOO7NNT5OQOUMJQCAULN557V","short_pith_number":"pith:BMMOO7NN","canonical_record":{"source":{"id":"2604.27755","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-04-30T11:43:39Z","cross_cats_sorted":["math.AP","math.CA","math.OC","math.PR"],"title_canon_sha256":"c0fa38d6b40d9946e87dd253fb52113594a276c6f84a2ad8d7ad65a3d099e871","abstract_canon_sha256":"55c7b58acff17d52fd7bd0730744ebf449e12fb8d473ab3895e532ec539501e1"},"schema_version":"1.0"},"canonical_sha256":"0b18e77dad9f5d075189808145b7bdfd5eeaf6756004c7a81600ef1d29750701","source":{"kind":"arxiv","id":"2604.27755","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.27755","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"arxiv_version","alias_value":"2604.27755v2","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.27755","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_12","alias_value":"BMMOO7NNT5OQ","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_16","alias_value":"BMMOO7NNT5OQOUMJ","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_8","alias_value":"BMMOO7NN","created_at":"2026-05-20T00:05:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:BMMOO7NNT5OQOUMJQCAULN557V","target":"record","payload":{"canonical_record":{"source":{"id":"2604.27755","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-04-30T11:43:39Z","cross_cats_sorted":["math.AP","math.CA","math.OC","math.PR"],"title_canon_sha256":"c0fa38d6b40d9946e87dd253fb52113594a276c6f84a2ad8d7ad65a3d099e871","abstract_canon_sha256":"55c7b58acff17d52fd7bd0730744ebf449e12fb8d473ab3895e532ec539501e1"},"schema_version":"1.0"},"canonical_sha256":"0b18e77dad9f5d075189808145b7bdfd5eeaf6756004c7a81600ef1d29750701","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:45.659411Z","signature_b64":"QJPp6iBrCISIF5Bp4u7eEo8sBoW/XKu3uj6Ed63BOH+5KyG7Nfgpg7La7hnV4eSiI4ayeqP3CsXRA7Q/yX0tDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b18e77dad9f5d075189808145b7bdfd5eeaf6756004c7a81600ef1d29750701","last_reissued_at":"2026-05-20T00:05:45.658969Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:45.658969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.27755","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-20T00:05:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XGlWh3nZ3vEi3GDwqsHUBp83NECHEC7w9H2y+9bQVU4hXWOEd+Rg1ZZmjm0k94HR090MuKzqsFCSrpDI4XCVBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:12:05.599932Z"},"content_sha256":"63143efacccbbaf2f82f9db8d81860112691fab67690b97feb222ef0a5427c6e","schema_version":"1.0","event_id":"sha256:63143efacccbbaf2f82f9db8d81860112691fab67690b97feb222ef0a5427c6e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:BMMOO7NNT5OQOUMJQCAULN557V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"G{\\aa}rding Polynomials","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Gårding polynomials are defined by positivity regions invariant under positive translations and positive affine maps, yielding two characterizations that extend real stable polynomials while preserving Rayleigh and log-concavity properties.","cross_cats":["math.AP","math.CA","math.OC","math.PR"],"primary_cat":"math.CO","authors_text":"Biao Ma, Hao Fang","submitted_at":"2026-04-30T11:43:39Z","abstract_excerpt":"We introduce G{\\aa}rding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove that this geometric formulation is equivalent both to a reduction to the multi-affine setting via polarization and to a recursive criterion in terms of partial derivatives.\n  The class of G{\\aa}rding polynomials strictly extends that of real stable polynomials while preserving many of their structural properties. In particular, multi-affine G{\\aa}rding polyn"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We establish a structural theorem providing two complementary characterizations of this class: one via reduction to the multi-affine case through polarization, and another via a recursive condition involving partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while retaining many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations yield ultra log-concave coefficient sequences. Moreover, the Gårding property for several matroid generating functions is preserved under natural matroid operations.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The defining assumption that the positivity regions are invariant under translation by positive directions and closed under strictly positive affine transformations is sufficient to guarantee the two characterizations and the preservation of the Gårding property under matroid operations.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Gårding polynomials extend real stable polynomials via new characterizations through polarization and partial derivatives, preserving key properties under matroid operations and enabling broader negative dependence proofs.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Gårding polynomials are defined by positivity regions invariant under positive translations and positive affine maps, yielding two characterizations that extend real stable polynomials while preserving Rayleigh and log-concavity properties.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"d37aff46bb6d1491b01e63732b075a8665f81a76651982313b7649d15c33bc85"},"source":{"id":"2604.27755","kind":"arxiv","version":2},"verdict":{"id":"e1d94dfa-1364-4796-bead-271da4005e94","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-07T06:39:51.530183Z","strongest_claim":"We establish a structural theorem providing two complementary characterizations of this class: one via reduction to the multi-affine case through polarization, and another via a recursive condition involving partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while retaining many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations yield ultra log-concave coefficient sequences. Moreover, the Gårding property for several matroid generating functions is preserved under natural matroid operations.","one_line_summary":"Gårding polynomials extend real stable polynomials via new characterizations through polarization and partial derivatives, preserving key properties under matroid operations and enabling broader negative dependence proofs.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The defining assumption that the positivity regions are invariant under translation by positive directions and closed under strictly positive affine transformations is sufficient to guarantee the two characterizations and the preservation of the Gårding property under matroid operations.","pith_extraction_headline":"Gårding polynomials are defined by positivity regions invariant under positive translations and positive affine maps, yielding two characterizations that extend real stable polynomials while preserving Rayleigh and log-concavity properties."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.27755/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_compliance","ran_at":"2026-05-19T18:54:37.048036Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"19fda7feacc027b3ac4eac9b7042cb017e9337414ebe2f041901956168416f1a"},"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":"e1d94dfa-1364-4796-bead-271da4005e94"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:05:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qJ+RNvcEoBjO9mS/LQX0lLtIrJ0hrsQ5k188v6t5QS4n+2Zvfy0uoX/DlJZW2GPIbZR/avVl755p7Bg9CAoLBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:12:05.600508Z"},"content_sha256":"cfe37d9b0a68bf772e569c4f92a750390cc228835cbce77ffe40d07340cdcd24","schema_version":"1.0","event_id":"sha256:cfe37d9b0a68bf772e569c4f92a750390cc228835cbce77ffe40d07340cdcd24"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BMMOO7NNT5OQOUMJQCAULN557V/bundle.json","state_url":"https://pith.science/pith/BMMOO7NNT5OQOUMJQCAULN557V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BMMOO7NNT5OQOUMJQCAULN557V/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-05T12:12:05Z","links":{"resolver":"https://pith.science/pith/BMMOO7NNT5OQOUMJQCAULN557V","bundle":"https://pith.science/pith/BMMOO7NNT5OQOUMJQCAULN557V/bundle.json","state":"https://pith.science/pith/BMMOO7NNT5OQOUMJQCAULN557V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BMMOO7NNT5OQOUMJQCAULN557V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:BMMOO7NNT5OQOUMJQCAULN557V","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":"55c7b58acff17d52fd7bd0730744ebf449e12fb8d473ab3895e532ec539501e1","cross_cats_sorted":["math.AP","math.CA","math.OC","math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-04-30T11:43:39Z","title_canon_sha256":"c0fa38d6b40d9946e87dd253fb52113594a276c6f84a2ad8d7ad65a3d099e871"},"schema_version":"1.0","source":{"id":"2604.27755","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.27755","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"arxiv_version","alias_value":"2604.27755v2","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.27755","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_12","alias_value":"BMMOO7NNT5OQ","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_16","alias_value":"BMMOO7NNT5OQOUMJ","created_at":"2026-05-20T00:05:45Z"},{"alias_kind":"pith_short_8","alias_value":"BMMOO7NN","created_at":"2026-05-20T00:05:45Z"}],"graph_snapshots":[{"event_id":"sha256:cfe37d9b0a68bf772e569c4f92a750390cc228835cbce77ffe40d07340cdcd24","target":"graph","created_at":"2026-05-20T00:05: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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We establish a structural theorem providing two complementary characterizations of this class: one via reduction to the multi-affine case through polarization, and another via a recursive condition involving partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while retaining many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations yield ultra log-concave coefficient sequences. Moreover, the Gårding property for several matroid generating functions is preserved under natural matroid operations."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The defining assumption that the positivity regions are invariant under translation by positive directions and closed under strictly positive affine transformations is sufficient to guarantee the two characterizations and the preservation of the Gårding property under matroid operations."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Gårding polynomials extend real stable polynomials via new characterizations through polarization and partial derivatives, preserving key properties under matroid operations and enabling broader negative dependence proofs."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Gårding polynomials are defined by positivity regions invariant under positive translations and positive affine maps, yielding two characterizations that extend real stable polynomials while preserving Rayleigh and log-concavity properties."}],"snapshot_sha256":"d37aff46bb6d1491b01e63732b075a8665f81a76651982313b7649d15c33bc85"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T18:54:37.048036Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.27755/integrity.json","findings":[],"snapshot_sha256":"19fda7feacc027b3ac4eac9b7042cb017e9337414ebe2f041901956168416f1a","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce G{\\aa}rding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove that this geometric formulation is equivalent both to a reduction to the multi-affine setting via polarization and to a recursive criterion in terms of partial derivatives.\n  The class of G{\\aa}rding polynomials strictly extends that of real stable polynomials while preserving many of their structural properties. In particular, multi-affine G{\\aa}rding polyn","authors_text":"Biao Ma, Hao Fang","cross_cats":["math.AP","math.CA","math.OC","math.PR"],"headline":"Gårding polynomials are defined by positivity regions invariant under positive translations and positive affine maps, yielding two characterizations that extend real stable polynomials while preserving Rayleigh and log-concavity properties.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-04-30T11:43:39Z","title":"G{\\aa}rding Polynomials"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.27755","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-07T06:39:51.530183Z","id":"e1d94dfa-1364-4796-bead-271da4005e94","model_set":{"reader":"grok-4.3"},"one_line_summary":"Gårding polynomials extend real stable polynomials via new characterizations through polarization and partial derivatives, preserving key properties under matroid operations and enabling broader negative dependence proofs.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Gårding polynomials are defined by positivity regions invariant under positive translations and positive affine maps, yielding two characterizations that extend real stable polynomials while preserving Rayleigh and log-concavity properties.","strongest_claim":"We establish a structural theorem providing two complementary characterizations of this class: one via reduction to the multi-affine case through polarization, and another via a recursive condition involving partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while retaining many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations yield ultra log-concave coefficient sequences. Moreover, the Gårding property for several matroid generating functions is preserved under natural matroid operations.","weakest_assumption":"The defining assumption that the positivity regions are invariant under translation by positive directions and closed under strictly positive affine transformations is sufficient to guarantee the two characterizations and the preservation of the Gårding property under matroid operations."}},"verdict_id":"e1d94dfa-1364-4796-bead-271da4005e94"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:63143efacccbbaf2f82f9db8d81860112691fab67690b97feb222ef0a5427c6e","target":"record","created_at":"2026-05-20T00:05: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":"55c7b58acff17d52fd7bd0730744ebf449e12fb8d473ab3895e532ec539501e1","cross_cats_sorted":["math.AP","math.CA","math.OC","math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-04-30T11:43:39Z","title_canon_sha256":"c0fa38d6b40d9946e87dd253fb52113594a276c6f84a2ad8d7ad65a3d099e871"},"schema_version":"1.0","source":{"id":"2604.27755","kind":"arxiv","version":2}},"canonical_sha256":"0b18e77dad9f5d075189808145b7bdfd5eeaf6756004c7a81600ef1d29750701","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b18e77dad9f5d075189808145b7bdfd5eeaf6756004c7a81600ef1d29750701","first_computed_at":"2026-05-20T00:05:45.658969Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:45.658969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QJPp6iBrCISIF5Bp4u7eEo8sBoW/XKu3uj6Ed63BOH+5KyG7Nfgpg7La7hnV4eSiI4ayeqP3CsXRA7Q/yX0tDw==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:45.659411Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.27755","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63143efacccbbaf2f82f9db8d81860112691fab67690b97feb222ef0a5427c6e","sha256:cfe37d9b0a68bf772e569c4f92a750390cc228835cbce77ffe40d07340cdcd24"],"state_sha256":"92922421467216e4738189abfa94b9d9c8ba9edd48bd4b5a4d29fa6bb43d983b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qCJM4LZB2Gsjr8mVD26yOLVkKdmfSms/0EHA/4YMs4la3oCdGzpvw83topyMJf61S1p+1Wnjl4jg9JgzHmt7Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T12:12:05.602976Z","bundle_sha256":"9b968771c7590b71c57f23c7c696d7f4ceef72002915fe42985bb49fffd1f9af"}}