{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:M2STEMBEGTQ6LM3OW4BQHFQIPH","short_pith_number":"pith:M2STEMBE","schema_version":"1.0","canonical_sha256":"66a532302434e1e5b36eb70303960879db13dab6d13563bbda01fae384fd4377","source":{"kind":"arxiv","id":"2507.23557","version":1},"attestation_state":"computed","paper":{"title":"Tree-indexed sums of Catalan numbers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SC","math.PR"],"primary_cat":"math.CO","authors_text":"Alin Bostan, Paul Th\\'evenin, Valentin F\\'eray","submitted_at":"2025-07-31T13:46:17Z","abstract_excerpt":"We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/\\pi$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric syst"},"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":"2507.23557","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2025-07-31T13:46:17Z","cross_cats_sorted":["cs.SC","math.PR"],"title_canon_sha256":"5ac960be9b7cbb2d963dca4621c8abffe01579ec0b6d74a4df2b6049cc718994","abstract_canon_sha256":"1d7349b3c0137751463dabb0d21cb0672e792066c09946a41935357da6c413b9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:26.821531Z","signature_b64":"p3238dHiv/yPMKN/sUp5tuIWk2Nay2O8e2jrNrfBEm5eakMULoUHzz51zp0YKIdkeUbTFcnf0kQ7zr8Hce86Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"66a532302434e1e5b36eb70303960879db13dab6d13563bbda01fae384fd4377","last_reissued_at":"2026-07-05T11:46:26.820925Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:26.820925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tree-indexed sums of Catalan numbers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SC","math.PR"],"primary_cat":"math.CO","authors_text":"Alin Bostan, Paul Th\\'evenin, Valentin F\\'eray","submitted_at":"2025-07-31T13:46:17Z","abstract_excerpt":"We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/\\pi$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric syst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.23557","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/2507.23557/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":"2507.23557","created_at":"2026-07-05T11:46:26.820989+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.23557v1","created_at":"2026-07-05T11:46:26.820989+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.23557","created_at":"2026-07-05T11:46:26.820989+00:00"},{"alias_kind":"pith_short_12","alias_value":"M2STEMBEGTQ6","created_at":"2026-07-05T11:46:26.820989+00:00"},{"alias_kind":"pith_short_16","alias_value":"M2STEMBEGTQ6LM3O","created_at":"2026-07-05T11:46:26.820989+00:00"},{"alias_kind":"pith_short_8","alias_value":"M2STEMBE","created_at":"2026-07-05T11:46:26.820989+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/M2STEMBEGTQ6LM3OW4BQHFQIPH","json":"https://pith.science/pith/M2STEMBEGTQ6LM3OW4BQHFQIPH.json","graph_json":"https://pith.science/api/pith-number/M2STEMBEGTQ6LM3OW4BQHFQIPH/graph.json","events_json":"https://pith.science/api/pith-number/M2STEMBEGTQ6LM3OW4BQHFQIPH/events.json","paper":"https://pith.science/paper/M2STEMBE"},"agent_actions":{"view_html":"https://pith.science/pith/M2STEMBEGTQ6LM3OW4BQHFQIPH","download_json":"https://pith.science/pith/M2STEMBEGTQ6LM3OW4BQHFQIPH.json","view_paper":"https://pith.science/paper/M2STEMBE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.23557&json=true","fetch_graph":"https://pith.science/api/pith-number/M2STEMBEGTQ6LM3OW4BQHFQIPH/graph.json","fetch_events":"https://pith.science/api/pith-number/M2STEMBEGTQ6LM3OW4BQHFQIPH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/M2STEMBEGTQ6LM3OW4BQHFQIPH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/M2STEMBEGTQ6LM3OW4BQHFQIPH/action/storage_attestation","attest_author":"https://pith.science/pith/M2STEMBEGTQ6LM3OW4BQHFQIPH/action/author_attestation","sign_citation":"https://pith.science/pith/M2STEMBEGTQ6LM3OW4BQHFQIPH/action/citation_signature","submit_replication":"https://pith.science/pith/M2STEMBEGTQ6LM3OW4BQHFQIPH/action/replication_record"}},"created_at":"2026-07-05T11:46:26.820989+00:00","updated_at":"2026-07-05T11:46:26.820989+00:00"}