{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:N7BJQYGCYCKHDQFOHLC4XKUAW6","short_pith_number":"pith:N7BJQYGC","schema_version":"1.0","canonical_sha256":"6fc29860c2c09471c0ae3ac5cbaa80b786c771929b845e71822be771327ddf71","source":{"kind":"arxiv","id":"2507.20965","version":2},"attestation_state":"computed","paper":{"title":"An identity relating Catalan numbers to tangent numbers with arithmetic applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NT"],"primary_cat":"math.CO","authors_text":"Tongyuan Zhao, Yongchun Zang, Zhicong Lin","submitted_at":"2025-07-28T16:20:14Z","abstract_excerpt":"We prove a combinatorial identity relating Catalan numbers to tangent numbers arising from the study of peak algebra that was conjectured by Aliniaeifard and Li. This identity leads to the discovery of the intriguing identity $$ \\sum_{k=0}^{n-1}{2n\\choose 2k+1}2^{2n-2k}(-1)^{k}E_{2k+1}=2^{2n+1}, $$ where $E_{2k+1}$ denote the tangent numbers. Interestingly, the latter identity can be applied to prove that $(n + 1)E_{2n+1}$ is divisible by $2^{2n}$ and the quotient is an odd number, a fact whose traditional proofs require significant calculations. Moreover, we find a natural $q$-analog of the l"},"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.20965","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-07-28T16:20:14Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"2691ef6dbf156a8935c219d49f1b848481bfdad442b6183d3fa15b1385d66e69","abstract_canon_sha256":"f00ee1e42b8138c29543cb9790a1d5697c25e72ed5920ab9fa0cc2fceb0b1b67"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:52:22.410511Z","signature_b64":"OxQSbiC3J0xKcjVWl57mQmkq+/maJ881/CB4hcR+EhyWdTMX2NdpFLRKlIfOxnmC+3G8OubUxu74BRlj1WpiDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6fc29860c2c09471c0ae3ac5cbaa80b786c771929b845e71822be771327ddf71","last_reissued_at":"2026-07-05T11:52:22.410023Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:52:22.410023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An identity relating Catalan numbers to tangent numbers with arithmetic applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NT"],"primary_cat":"math.CO","authors_text":"Tongyuan Zhao, Yongchun Zang, Zhicong Lin","submitted_at":"2025-07-28T16:20:14Z","abstract_excerpt":"We prove a combinatorial identity relating Catalan numbers to tangent numbers arising from the study of peak algebra that was conjectured by Aliniaeifard and Li. This identity leads to the discovery of the intriguing identity $$ \\sum_{k=0}^{n-1}{2n\\choose 2k+1}2^{2n-2k}(-1)^{k}E_{2k+1}=2^{2n+1}, $$ where $E_{2k+1}$ denote the tangent numbers. Interestingly, the latter identity can be applied to prove that $(n + 1)E_{2n+1}$ is divisible by $2^{2n}$ and the quotient is an odd number, a fact whose traditional proofs require significant calculations. Moreover, we find a natural $q$-analog of the l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.20965","kind":"arxiv","version":2},"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.20965/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.20965","created_at":"2026-07-05T11:52:22.410080+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.20965v2","created_at":"2026-07-05T11:52:22.410080+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.20965","created_at":"2026-07-05T11:52:22.410080+00:00"},{"alias_kind":"pith_short_12","alias_value":"N7BJQYGCYCKH","created_at":"2026-07-05T11:52:22.410080+00:00"},{"alias_kind":"pith_short_16","alias_value":"N7BJQYGCYCKHDQFO","created_at":"2026-07-05T11:52:22.410080+00:00"},{"alias_kind":"pith_short_8","alias_value":"N7BJQYGC","created_at":"2026-07-05T11:52:22.410080+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/N7BJQYGCYCKHDQFOHLC4XKUAW6","json":"https://pith.science/pith/N7BJQYGCYCKHDQFOHLC4XKUAW6.json","graph_json":"https://pith.science/api/pith-number/N7BJQYGCYCKHDQFOHLC4XKUAW6/graph.json","events_json":"https://pith.science/api/pith-number/N7BJQYGCYCKHDQFOHLC4XKUAW6/events.json","paper":"https://pith.science/paper/N7BJQYGC"},"agent_actions":{"view_html":"https://pith.science/pith/N7BJQYGCYCKHDQFOHLC4XKUAW6","download_json":"https://pith.science/pith/N7BJQYGCYCKHDQFOHLC4XKUAW6.json","view_paper":"https://pith.science/paper/N7BJQYGC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.20965&json=true","fetch_graph":"https://pith.science/api/pith-number/N7BJQYGCYCKHDQFOHLC4XKUAW6/graph.json","fetch_events":"https://pith.science/api/pith-number/N7BJQYGCYCKHDQFOHLC4XKUAW6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N7BJQYGCYCKHDQFOHLC4XKUAW6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N7BJQYGCYCKHDQFOHLC4XKUAW6/action/storage_attestation","attest_author":"https://pith.science/pith/N7BJQYGCYCKHDQFOHLC4XKUAW6/action/author_attestation","sign_citation":"https://pith.science/pith/N7BJQYGCYCKHDQFOHLC4XKUAW6/action/citation_signature","submit_replication":"https://pith.science/pith/N7BJQYGCYCKHDQFOHLC4XKUAW6/action/replication_record"}},"created_at":"2026-07-05T11:52:22.410080+00:00","updated_at":"2026-07-05T11:52:22.410080+00:00"}