{"id":"https://openalex.org/W7225403341","doi":"https://doi.org/10.5281/zenodo.23992344","title":"Skew-orthogonal proofs, formally verified, of binomial Mehta-type sums at beta = 1","display_name":"Skew-orthogonal proofs, formally verified, of binomial Mehta-type sums at beta = 1","publication_year":2026,"publication_date":"2026-11-06","ids":{"openalex":"https://openalex.org/W7225403341","doi":"https://doi.org/10.5281/zenodo.23992344"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23992344","doi":"https://doi.org/10.5281/zenodo.23992344","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23992344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23992344","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5106369602","display_name":"Mohammad Bali","orcid":"https://orcid.org/0009-0002-9223-6311","observed_orcids":["https://orcid.org/0009-0002-9223-6311"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bali, Mohammad","raw_affiliation_strings":["Independent researcher, Amman, Jordan"],"raw_orcid":"https://orcid.org/0009-0000-9606-3628","affiliations":[{"raw_affiliation_string":"Independent researcher, Amman, Jordan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5106369602"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.6161999702453613,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.6161999702453613,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11191","display_name":"Mathematical functions and polynomials","score":0.3264000117778778,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11428","display_name":"Advanced Mathematical Identities","score":0.01489999983459711,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/skew-orthogonal-polynomials","display_name":"skew-orthogonal polynomials","score":0.8299999833106995},{"id":"https://openalex.org/keywords/krawtchouk-polynomials","display_name":"Krawtchouk polynomials","score":0.8550000190734863},{"id":"https://openalex.org/keywords/racah-polynomials","display_name":"Racah polynomials","score":0.8600000143051147},{"id":"https://openalex.org/keywords/orthogonal-polynomial-ensembles","display_name":"orthogonal polynomial ensembles","score":0.6190000176429749},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6079999804496765},{"id":"https://openalex.org/keywords/lean-4","display_name":"Lean 4","score":0.9309999942779541},{"id":"https://openalex.org/keywords/mathlib","display_name":"Mathlib","score":0.7089999914169312},{"id":"https://openalex.org/keywords/meixner-polynomials","display_name":"Meixner polynomials","score":0.7210000157356262},{"id":"https://openalex.org/keywords/partition-function","display_name":"partition function","score":0.36899998784065247}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.871399998664856},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.53329998254776},{"id":"https://openalex.org/C10628310","wikidata":"https://www.wikidata.org/wiki/Q619458","display_name":"Orthogonal polynomials","level":2,"score":0.5120999813079834},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.503000020980835},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.44350001215934753},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.43070000410079956},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.3991999924182892},{"id":"https://openalex.org/C61349858","wikidata":"https://www.wikidata.org/wiki/Q1568814","display_name":"Hahn polynomials","level":5,"score":0.3849000036716461},{"id":"https://openalex.org/C52537462","wikidata":"https://www.wikidata.org/wiki/Q5282055","display_name":"Discrete orthogonal polynomials","level":3,"score":0.3474000096321106},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.3138999938964844},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.31130000948905945},{"id":"https://openalex.org/C118797610","wikidata":"https://www.wikidata.org/wiki/Q4298931","display_name":"Kravchuk polynomials","level":5,"score":0.3068999946117401},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.301800012588501},{"id":"https://openalex.org/C86607863","wikidata":"https://www.wikidata.org/wiki/Q5275279","display_name":"Difference polynomials","level":3,"score":0.29910001158714294},{"id":"https://openalex.org/C34718186","wikidata":"https://www.wikidata.org/wiki/Q209875","display_name":"Binomial coefficient","level":2,"score":0.29809999465942383},{"id":"https://openalex.org/C134466208","wikidata":"https://www.wikidata.org/wiki/Q1520657","display_name":"Weight function","level":2,"score":0.2964000105857849},{"id":"https://openalex.org/C138888516","wikidata":"https://www.wikidata.org/wiki/Q2266843","display_name":"Infinite product","level":2,"score":0.29269999265670776},{"id":"https://openalex.org/C43176163","wikidata":"https://www.wikidata.org/wiki/Q8023263","display_name":"Wilson polynomials","level":4,"score":0.2827000021934509},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.25760000944137573},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.25369998812675476}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.5281/zenodo.23992344","doi":"https://doi.org/10.5281/zenodo.23992344","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23992344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23992345","doi":"https://doi.org/10.5281/zenodo.23992345","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23992345","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23994784","doi":"https://doi.org/10.5281/zenodo.23994784","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23994784","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24116266","doi":"https://doi.org/10.5281/zenodo.24116266","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116266","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23992344","doi":"https://doi.org/10.5281/zenodo.23992344","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23992344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225382311","https://openalex.org/W7155420767","https://openalex.org/W2255644137","https://openalex.org/W2954918180","https://openalex.org/W4404591900","https://openalex.org/W7222082095","https://openalex.org/W7221458485","https://openalex.org/W7096965286","https://openalex.org/W2523764314","https://openalex.org/W2087412748"],"abstract_inverted_index":{"For":[0],"integers":[1],"d>=2":[2],"and":[3,23,38,56,86,115,131,176,185,189],"n>=d-1":[4],"let":[5],"V_d(n)":[6],"=":[7],"sum":[8,169],"over":[9,170],"0<=x_1<...<x_d<=n":[10],"of":[11,17,27,40,48,53,206],"prod":[12],"C(n,x_i)":[13],"prod_{i<j}(x_j-x_i):":[14],"the":[15,18,24,28,49,79,111,120,145,148,161,165,195,203,207],"volume":[16],"zonotope":[19],"generated":[20],"by":[21,70],"C(n,k)(1,k,...,k^{d-1})":[22],"partition":[25,209],"function":[26],"discrete":[29,50],"Krawtchouk":[30,94],"ensemble":[31],"(p=1/2)":[32],"at":[33,199],"beta=1.":[34],"Its":[35],"product":[36,162],"formula,":[37],"those":[39],"two":[41],"type":[42,112],"B":[43,113],"companions,":[44],"are":[45,134],"special":[46],"cases":[47],"Macdonald-Mehta":[51],"evaluations":[52],"Brent,":[54],"Krattenthaler":[55],"Warnaar":[57],"(J.":[58],"Combin.":[59],"Theory":[60],"Ser.":[61],"A":[62],"144":[63],"(2016),":[64],"arXiv:1601.06536).":[65],"We":[66,153],"give":[67],"different":[68],"proofs":[69],"explicit":[71],"skew-orthogonal":[72],"polynomials":[73,95,103],"for":[74,100,107,110,119,128,156,182,191],"orthogonal":[75],"(beta=1)":[76],"ensembles":[77],"on":[78],"linear":[80],"lattice,":[81],"a":[82,97,116],"theory":[83],"that":[84,155,190],"Forrester":[85],"Li":[87],"(Trans.":[88],"AMS":[89],"2020,":[90],"arXiv:1902.09042)":[91],"left":[92],"open:":[93],"with":[96,122,139],"Pfaff-Saalschutz":[98],"triangularisation":[99],"V_d(n),":[101],"Racah":[102],"(with":[104],"Christoffel":[105],"kernels":[106],"even":[108],"n)":[109],"sums,":[114],"rank-one":[117],"structure":[118],"companion":[121],"weight":[123],"|2x-n|.":[124],"All":[125],"three":[126],"evaluations,":[127],"every":[129,132,183,186],"n":[130,158],"d,":[133],"formalized":[135,179],"in":[136,180],"Lean":[137,149,181],"4":[138],"Mathlib":[140],"without":[141],"sorry,":[142],"using":[143],"only":[144],"standard":[146],"axioms;":[147],"library":[150],"is":[151,214],"included.":[152,215],"show":[154],"Re":[157],">":[159],"d-1":[160],"formula":[163],"equals":[164],"absolutely":[166],"convergent":[167],"infinite":[168],"0<=x_1<...<x_d":[171],"(de":[172],"Bruijn,":[173],"Gauss's":[174],"2F1(1)":[175],"Carlson's":[177],"theorem;":[178],"d":[184],"real":[187],"n>d-1),":[188],"other":[192],"n,":[193],"including":[194],"Meixner":[196],"case":[197],"n=-N":[198],"c=-1,":[200],"it":[201],"gives":[202],"finite":[204],"part":[205],"regularized":[208],"function.":[210],"An":[211],"Arabic":[212],"translation":[213]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-07T00:00:00"}