{"id":"https://openalex.org/W7225011920","doi":"https://doi.org/10.5281/zenodo.23827557","title":"DENOMINATOR GROWTH AND A LIOUVILLE-TYPE IRRATIONALITY CRITERION FOR RECIPROCAL CENTRAL BINOMIAL POWER SERIES","display_name":"DENOMINATOR GROWTH AND A LIOUVILLE-TYPE IRRATIONALITY CRITERION FOR RECIPROCAL CENTRAL BINOMIAL POWER SERIES","publication_year":2026,"publication_date":"2026-10-30","ids":{"openalex":"https://openalex.org/W7225011920","doi":"https://doi.org/10.5281/zenodo.23827557"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23827557","doi":"https://doi.org/10.5281/zenodo.23827557","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23827557","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","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23827557","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086252071","display_name":"Oswin David","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David, Oswin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5086252071"],"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/T11428","display_name":"Advanced Mathematical Identities","score":0.7128999829292297,"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"}},"topics":[{"id":"https://openalex.org/T11428","display_name":"Advanced Mathematical Identities","score":0.7128999829292297,"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"}},{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.2791000008583069,"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"}},{"id":"https://openalex.org/T12062","display_name":"Approximation Theory and Sequence Spaces","score":0.00139999995008111,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/central-binomial-coefficients","display_name":"central binomial coefficients","score":0.8799999952316284},{"id":"https://openalex.org/keywords/least-common-multiple","display_name":"least common multiple","score":0.7990000247955322},{"id":"https://openalex.org/keywords/kummer-s-theorem","display_name":"Kummer's theorem","score":0.8550000190734863},{"id":"https://openalex.org/keywords/prime-number-theorem","display_name":"prime number theorem","score":0.8799999952316284},{"id":"https://openalex.org/keywords/beta-function","display_name":"beta function","score":0.7450000047683716},{"id":"https://openalex.org/keywords/d-finite-generating-functions","display_name":"D-finite generating functions","score":0.7269999980926514},{"id":"https://openalex.org/keywords/entire-functions","display_name":"entire functions","score":0.3400000035762787},{"id":"https://openalex.org/keywords/zeta-values","display_name":"zeta values","score":0.515999972820282},{"id":"https://openalex.org/keywords/catalan-s-constant","display_name":"Catalan's constant","score":0.4230000078678131}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8938000202178955},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.5063999891281128},{"id":"https://openalex.org/C73905626","wikidata":"https://www.wikidata.org/wiki/Q206925","display_name":"Power series","level":2,"score":0.48910000920295715},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.46380001306533813},{"id":"https://openalex.org/C106195933","wikidata":"https://www.wikidata.org/wiki/Q7847935","display_name":"Truncation (statistics)","level":2,"score":0.4494999945163727},{"id":"https://openalex.org/C201292218","wikidata":"https://www.wikidata.org/wiki/Q740970","display_name":"Recurrence relation","level":2,"score":0.4302999973297119},{"id":"https://openalex.org/C2777742833","wikidata":"https://www.wikidata.org/wiki/Q1964083","display_name":"Reciprocal","level":2,"score":0.4115999937057495},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4083000123500824},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4050000011920929},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4032000005245209},{"id":"https://openalex.org/C34718186","wikidata":"https://www.wikidata.org/wiki/Q209875","display_name":"Binomial coefficient","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.34439998865127563},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.3434000015258789},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.34119999408721924},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3199999928474426},{"id":"https://openalex.org/C62884695","wikidata":"https://www.wikidata.org/wiki/Q184871","display_name":"Euler's formula","level":2,"score":0.3100000023841858},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C174072685","wikidata":"https://www.wikidata.org/wiki/Q1667469","display_name":"Prime power","level":3,"score":0.30480000376701355},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.2964000105857849},{"id":"https://openalex.org/C2781315470","wikidata":"https://www.wikidata.org/wiki/Q193623","display_name":"Binomial (polynomial)","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C35235930","wikidata":"https://www.wikidata.org/wiki/Q187235","display_name":"Riemann zeta function","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C113429393","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime number","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C23230895","wikidata":"https://www.wikidata.org/wiki/Q104752","display_name":"Coprime integers","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.26330000162124634}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23827557","doi":"https://doi.org/10.5281/zenodo.23827557","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23827557","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.23827558","doi":"https://doi.org/10.5281/zenodo.23827558","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23827558","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.23827557","doi":"https://doi.org/10.5281/zenodo.23827557","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23827557","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/W7213584868","https://openalex.org/W7126100631","https://openalex.org/W2548731287","https://openalex.org/W4399983014","https://openalex.org/W2165306900","https://openalex.org/W2130118767","https://openalex.org/W7095301927","https://openalex.org/W1688439915","https://openalex.org/W7106340095","https://openalex.org/W2094583128"],"abstract_inverted_index":{"We":[0,126],"study":[1],"the":[2,19,29,37,43,46,50,53,81,136,148],"series":[3,150],"$S(c)=\\sum_{k\\ge2}E_k^{-c_k}$,":[4],"where":[5],"$E_k=\\frac{k}{4}\\binom{2k}{k}=(2k-1)\\binom{2k-3}{k-2}$":[6],"(OEIS":[7],"A033876)":[8],"and":[9,36,49,111,122,160,163,185,198],"$(c_k)$":[10],"is":[11,67,84,124,158],"a":[12,75],"strictly":[13],"increasing":[14],"sequence":[15],"of":[16,28,45,52,77,178,193,205],"positive":[17],"integers;":[18],"case":[20],"$c_k=k$":[21],"gives":[22],"$S=\\sum_{k\\ge1}(2B(k,k))^k$,":[23],"built":[24],"from":[25,74],"central":[26],"values":[27],"Euler":[30],"Beta":[31],"function.":[32],"Using":[33],"Kummer's":[34],"theorem":[35,76],"prime":[38],"number":[39],"theorem,":[40],"we":[41,152],"determine":[42],"growth":[44],"denominators":[47],"$D_n(c)=\\mathrm{lcm}(E_2^{c_2},\\dots,E_n^{c_n})$":[48],"reach":[51],"Liouville":[54],"truncation":[55,92,120],"criterion.":[56],"(1)":[57],"If":[58],"$\\liminf":[59],"c_{k+1}/c_k>1$":[60],"(e.g.":[61],"$c_k=\\lceil":[62],"r^k\\rceil$,":[63],"$r>1$),":[64],"then":[65],"$S(c)$":[66,123],"irrational;":[68],"for":[69,169],"$r\\ge2$":[70],"this":[71],"already":[72],"follows":[73],"Erd\u0151s":[78],"(1975),":[79],"so":[80],"new":[82],"range":[83],"$1<r<2$.":[85],"(2)":[86],"For":[87,116,147],"$c_k=k^A$":[88],"with":[89,109,118,145,183],"integer":[90,176],"$A\\ge1$,":[91],"fails:":[93],"$\\log":[94],"D_n(c)/n^{A+1}$":[95],"tends":[96],"to":[97],"an":[98],"explicit":[99],"constant":[100],"$C_A>\\ln4$,":[101],"given":[102],"in":[103],"closed":[104],"form":[105],"via":[106],"zeta":[107],"values,":[108],"$C_1=\\ln2+\\pi^2/8$":[110],"$C_A\\to\\ln4$":[112],"as":[113],"$A\\to\\infty$.":[114],"(3)":[115],"$c_k=\\lceil\\exp(k^\\beta)\\rceil$":[117],"$\\beta>1/2$,":[119],"succeeds":[121],"irrational.":[125],"conjecture,":[127],"on":[128],"heuristic":[129],"grounds":[130],"supported":[131],"by":[132],"exact-valuation":[133],"computations,":[134],"that":[135,154,166,172,186],"transition":[137],"occurs":[138],"at":[139,195,200],"relative":[140],"increments":[141],"$\\delta_n\\sim":[142],"C\\sqrt{\\ln":[143],"n/n}$":[144],"$C=1/(2\\sqrt{\\ln2})$.":[146],"original":[149],"$S$,":[151],"prove":[153],"its":[155,187],"generating":[156],"function":[157],"entire":[159],"not":[161],"D-finite,":[162],"show":[164],"numerically":[165],"$S\\ne":[167],"p/q$":[168],"all":[170],"$q<10^{504}$,":[171],"$S$":[173,206],"satisfies":[174],"no":[175,190],"relation":[177],"norm":[179],"below":[180],"about":[181],"$10^{100}$":[182],"$1,\\pi,e,\\pi^2,e^2,\\ln2,\\zeta(3),\\gamma$,":[184],"coefficients":[188],"satisfy":[189],"polynomial":[191],"recurrence":[192],"order":[194],"most":[196,201],"4":[197],"degree":[199],"3.":[202],"The":[203],"irrationality":[204],"remains":[207],"open.":[208]},"counts_by_year":[],"updated_date":"2026-11-02T09:45:03.842371","created_date":"2026-11-01T00:00:00"}