{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:CNERJSONMRFMKU4Z4TDM7RMMCN","short_pith_number":"pith:CNERJSON","canonical_record":{"source":{"id":"2604.25246","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.RT","submitted_at":"2026-04-28T05:52:03Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"8879c21f1451b15860fda12afde163503f9a8106f9b80e187c13ee3985465164","abstract_canon_sha256":"e07c1f15d3ac4f694c86058ed299fbf11f32809afd777613f732ce6c3dd43913"},"schema_version":"1.0"},"canonical_sha256":"134914c9cd644ac55399e4c6cfc58c136b021ac15280d79459612242536e53fc","source":{"kind":"arxiv","id":"2604.25246","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.25246","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"arxiv_version","alias_value":"2604.25246v2","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.25246","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"pith_short_12","alias_value":"CNERJSONMRFM","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"pith_short_16","alias_value":"CNERJSONMRFMKU4Z","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"pith_short_8","alias_value":"CNERJSON","created_at":"2026-05-20T02:05:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:CNERJSONMRFMKU4Z4TDM7RMMCN","target":"record","payload":{"canonical_record":{"source":{"id":"2604.25246","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.RT","submitted_at":"2026-04-28T05:52:03Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"8879c21f1451b15860fda12afde163503f9a8106f9b80e187c13ee3985465164","abstract_canon_sha256":"e07c1f15d3ac4f694c86058ed299fbf11f32809afd777613f732ce6c3dd43913"},"schema_version":"1.0"},"canonical_sha256":"134914c9cd644ac55399e4c6cfc58c136b021ac15280d79459612242536e53fc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T02:05:43.839593Z","signature_b64":"SPDqtCfnkK/wGZoX/L55KewYxGNjSQD/etQl6TLAFf4x7HbMFVFhf0zdu3clslpXxMVRAq4s8y8DWqpkxPp0Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"134914c9cd644ac55399e4c6cfc58c136b021ac15280d79459612242536e53fc","last_reissued_at":"2026-05-20T02:05:43.838972Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T02:05:43.838972Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.25246","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-20T02:05:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9XbjpTTpPBjHr/y1q2Cyyf6EzgEYSwveQL71gHJi8o2fqEUCtdsHiYBRDbkxzX3o8qnAeBgMIl98aU11EAo/Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:34:31.185257Z"},"content_sha256":"7e1e4b6a475871dc7942274a91179c067f762830b2d002958f28c1fed2f28c6f","schema_version":"1.0","event_id":"sha256:7e1e4b6a475871dc7942274a91179c067f762830b2d002958f28c1fed2f28c6f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:CNERJSONMRFMKU4Z4TDM7RMMCN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Chebyshev quotients, Demazure multiplicities, and Dyck-path models","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"Chebyshev quotients whose coefficients are Demazure multiplicities eventually have only positive terms or terminate.","cross_cats":["math.CO"],"primary_cat":"math.RT","authors_text":"Jujian Zhang, Ken Ono, Rekha Biswal","submitted_at":"2026-04-28T05:52:03Z","abstract_excerpt":"We study Chebyshev quotients that arise in the representation theory of Lie algebras, specifically within the theory of Demazure flags for fusion products of $\\mathfrak{sl}_2[t]$-modules. Using a recent formula that expresses numerical Demazure multiplicities as coefficients of such quotients, we prove a general eventual non-negativity theorem for the same rational functions that compute these multiplicities: each quotient either terminates or has strictly positive coefficients for sufficiently large degrees, which we in turn interpret in terms of matchings and bounded walks. In several natura"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"we prove a general eventual non-negativity theorem: each quotient either terminates or has strictly positive coefficients for sufficiently large degrees, which we in turn interpret in terms of matchings and bounded walks. In several natural infinite families, these are unsigned bounded Dyck path models.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The starting point that Demazure multiplicities appear as coefficients of the Chebyshev quotients, taken from a recent formula whose details are not re-derived here.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Chebyshev quotients for Demazure multiplicities eventually have non-negative coefficients, explained by bounded Dyck-path models.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Chebyshev quotients whose coefficients are Demazure multiplicities eventually have only positive terms or terminate.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"7019db5f2a78f78ba285038684478336d47477ed77009457b6b645bea6e18583"},"source":{"id":"2604.25246","kind":"arxiv","version":2},"verdict":{"id":"b5af566b-2a4a-4192-a280-5d15b9cc5802","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-07T14:22:04.573680Z","strongest_claim":"we prove a general eventual non-negativity theorem: each quotient either terminates or has strictly positive coefficients for sufficiently large degrees, which we in turn interpret in terms of matchings and bounded walks. In several natural infinite families, these are unsigned bounded Dyck path models.","one_line_summary":"Chebyshev quotients for Demazure multiplicities eventually have non-negative coefficients, explained by bounded Dyck-path models.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The starting point that Demazure multiplicities appear as coefficients of the Chebyshev quotients, taken from a recent formula whose details are not re-derived here.","pith_extraction_headline":"Chebyshev quotients whose coefficients are Demazure multiplicities eventually have only positive terms or terminate."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.25246/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_compliance","ran_at":"2026-05-19T21:15:25.428506Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"2bc286b5c444813053cfba94405c64d5ee3178f7ce0e9975a5bf27d6ed842599"},"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":"b5af566b-2a4a-4192-a280-5d15b9cc5802"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T02:05:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kbps6GaFuMbVpp5akCSNz9ADx3YhLU38TigxOHPU2I1S2oGwwdH0Nj9tlnMCp/IiLKhn7mpD3j8gVE2o583WDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T09:34:31.185813Z"},"content_sha256":"0bafa029bb0e21198afea38946610feebddbaaa95d583c81c29bcf848bc8e2e0","schema_version":"1.0","event_id":"sha256:0bafa029bb0e21198afea38946610feebddbaaa95d583c81c29bcf848bc8e2e0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CNERJSONMRFMKU4Z4TDM7RMMCN/bundle.json","state_url":"https://pith.science/pith/CNERJSONMRFMKU4Z4TDM7RMMCN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CNERJSONMRFMKU4Z4TDM7RMMCN/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-05T09:34:31Z","links":{"resolver":"https://pith.science/pith/CNERJSONMRFMKU4Z4TDM7RMMCN","bundle":"https://pith.science/pith/CNERJSONMRFMKU4Z4TDM7RMMCN/bundle.json","state":"https://pith.science/pith/CNERJSONMRFMKU4Z4TDM7RMMCN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CNERJSONMRFMKU4Z4TDM7RMMCN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:CNERJSONMRFMKU4Z4TDM7RMMCN","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":"e07c1f15d3ac4f694c86058ed299fbf11f32809afd777613f732ce6c3dd43913","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.RT","submitted_at":"2026-04-28T05:52:03Z","title_canon_sha256":"8879c21f1451b15860fda12afde163503f9a8106f9b80e187c13ee3985465164"},"schema_version":"1.0","source":{"id":"2604.25246","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.25246","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"arxiv_version","alias_value":"2604.25246v2","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.25246","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"pith_short_12","alias_value":"CNERJSONMRFM","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"pith_short_16","alias_value":"CNERJSONMRFMKU4Z","created_at":"2026-05-20T02:05:43Z"},{"alias_kind":"pith_short_8","alias_value":"CNERJSON","created_at":"2026-05-20T02:05:43Z"}],"graph_snapshots":[{"event_id":"sha256:0bafa029bb0e21198afea38946610feebddbaaa95d583c81c29bcf848bc8e2e0","target":"graph","created_at":"2026-05-20T02:05:43Z","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 prove a general eventual non-negativity theorem: each quotient either terminates or has strictly positive coefficients for sufficiently large degrees, which we in turn interpret in terms of matchings and bounded walks. In several natural infinite families, these are unsigned bounded Dyck path models."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The starting point that Demazure multiplicities appear as coefficients of the Chebyshev quotients, taken from a recent formula whose details are not re-derived here."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Chebyshev quotients for Demazure multiplicities eventually have non-negative coefficients, explained by bounded Dyck-path models."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Chebyshev quotients whose coefficients are Demazure multiplicities eventually have only positive terms or terminate."}],"snapshot_sha256":"7019db5f2a78f78ba285038684478336d47477ed77009457b6b645bea6e18583"},"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-19T21:15:25.428506Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.25246/integrity.json","findings":[],"snapshot_sha256":"2bc286b5c444813053cfba94405c64d5ee3178f7ce0e9975a5bf27d6ed842599","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study Chebyshev quotients that arise in the representation theory of Lie algebras, specifically within the theory of Demazure flags for fusion products of $\\mathfrak{sl}_2[t]$-modules. Using a recent formula that expresses numerical Demazure multiplicities as coefficients of such quotients, we prove a general eventual non-negativity theorem for the same rational functions that compute these multiplicities: each quotient either terminates or has strictly positive coefficients for sufficiently large degrees, which we in turn interpret in terms of matchings and bounded walks. In several natura","authors_text":"Jujian Zhang, Ken Ono, Rekha Biswal","cross_cats":["math.CO"],"headline":"Chebyshev quotients whose coefficients are Demazure multiplicities eventually have only positive terms or terminate.","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.RT","submitted_at":"2026-04-28T05:52:03Z","title":"Chebyshev quotients, Demazure multiplicities, and Dyck-path models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.25246","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-07T14:22:04.573680Z","id":"b5af566b-2a4a-4192-a280-5d15b9cc5802","model_set":{"reader":"grok-4.3"},"one_line_summary":"Chebyshev quotients for Demazure multiplicities eventually have non-negative coefficients, explained by bounded Dyck-path models.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Chebyshev quotients whose coefficients are Demazure multiplicities eventually have only positive terms or terminate.","strongest_claim":"we prove a general eventual non-negativity theorem: each quotient either terminates or has strictly positive coefficients for sufficiently large degrees, which we in turn interpret in terms of matchings and bounded walks. In several natural infinite families, these are unsigned bounded Dyck path models.","weakest_assumption":"The starting point that Demazure multiplicities appear as coefficients of the Chebyshev quotients, taken from a recent formula whose details are not re-derived here."}},"verdict_id":"b5af566b-2a4a-4192-a280-5d15b9cc5802"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7e1e4b6a475871dc7942274a91179c067f762830b2d002958f28c1fed2f28c6f","target":"record","created_at":"2026-05-20T02:05:43Z","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":"e07c1f15d3ac4f694c86058ed299fbf11f32809afd777613f732ce6c3dd43913","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.RT","submitted_at":"2026-04-28T05:52:03Z","title_canon_sha256":"8879c21f1451b15860fda12afde163503f9a8106f9b80e187c13ee3985465164"},"schema_version":"1.0","source":{"id":"2604.25246","kind":"arxiv","version":2}},"canonical_sha256":"134914c9cd644ac55399e4c6cfc58c136b021ac15280d79459612242536e53fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"134914c9cd644ac55399e4c6cfc58c136b021ac15280d79459612242536e53fc","first_computed_at":"2026-05-20T02:05:43.838972Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T02:05:43.838972Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SPDqtCfnkK/wGZoX/L55KewYxGNjSQD/etQl6TLAFf4x7HbMFVFhf0zdu3clslpXxMVRAq4s8y8DWqpkxPp0Aw==","signature_status":"signed_v1","signed_at":"2026-05-20T02:05:43.839593Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.25246","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7e1e4b6a475871dc7942274a91179c067f762830b2d002958f28c1fed2f28c6f","sha256:0bafa029bb0e21198afea38946610feebddbaaa95d583c81c29bcf848bc8e2e0"],"state_sha256":"71b2f5dd88576fc6ee7937b51086e8753d14f1f5aad02993eb9028086239abad"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qLuH7UV3DIL25m5ln/jmbtq2AgL/tpfBwzTQeG/sCJy9wMLpqtfjNa+vKKvmZTO0MxVHUl+FbDGmIaM12Mp6DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T09:34:31.188617Z","bundle_sha256":"e4f39ae19964b390c794d9ade45500f4d2d77c3202429adbf7c374b404a11392"}}