{"id":"https://openalex.org/W7225188653","doi":"https://doi.org/10.5281/zenodo.23904240","title":"p-adic analyticity of the Ap\u00e9ry and Franel numbers along the towers mp^r","display_name":"p-adic analyticity of the Ap\u00e9ry and Franel numbers along the towers mp^r","publication_year":2026,"publication_date":"2026-11-03","ids":{"openalex":"https://openalex.org/W7225188653","doi":"https://doi.org/10.5281/zenodo.23904240"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23904240","doi":"https://doi.org/10.5281/zenodo.23904240","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23904240","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.23904240","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5158916159","display_name":"G\u00f3mez Blanco","orcid":"https://orcid.org/0009-0004-6946-8389","observed_orcids":["https://orcid.org/0009-0004-6946-8389"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Blanco G\u00f3mez, Roberto","raw_affiliation_strings":["Independent researcher"],"raw_orcid":"https://orcid.org/0009-0004-6946-8389","affiliations":[{"raw_affiliation_string":"Independent researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5158916159"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"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.9951000213623047,"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.9951000213623047,"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.0035000001080334187,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.00019999999494757503,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/apery-numbers","display_name":"Ap\u00e9ry numbers","score":0.984000027179718},{"id":"https://openalex.org/keywords/supercongruences","display_name":"supercongruences","score":0.9390000104904175},{"id":"https://openalex.org/keywords/power-series","display_name":"power series","score":0.3930000066757202},{"id":"https://openalex.org/keywords/frobenius-structures","display_name":"Frobenius structures","score":0.7950000166893005},{"id":"https://openalex.org/keywords/ramanujan-type-series","display_name":"Ramanujan-type series","score":0.4659999907016754}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8144000172615051},{"id":"https://openalex.org/C34718186","wikidata":"https://www.wikidata.org/wiki/Q209875","display_name":"Binomial coefficient","level":2,"score":0.6696000099182129},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5716999769210815},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.5665000081062317},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.565500020980835},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5648999810218811},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.5169000029563904},{"id":"https://openalex.org/C73905626","wikidata":"https://www.wikidata.org/wiki/Q206925","display_name":"Power series","level":2,"score":0.5058000087738037},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.498199999332428},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49470001459121704},{"id":"https://openalex.org/C113429393","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime number","level":2,"score":0.42820000648498535},{"id":"https://openalex.org/C2781315470","wikidata":"https://www.wikidata.org/wiki/Q193623","display_name":"Binomial (polynomial)","level":2,"score":0.4244999885559082},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.423799991607666},{"id":"https://openalex.org/C174072685","wikidata":"https://www.wikidata.org/wiki/Q1667469","display_name":"Prime power","level":3,"score":0.37459999322891235},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.3682999908924103},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.3125999867916107},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3086000084877014},{"id":"https://openalex.org/C180099792","wikidata":"https://www.wikidata.org/wiki/Q26708","display_name":"Binomial theorem","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C205979905","wikidata":"https://www.wikidata.org/wiki/Q215084","display_name":"Analytic function","level":2,"score":0.298799991607666},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.2971999943256378},{"id":"https://openalex.org/C93446932","wikidata":"https://www.wikidata.org/wiki/Q1972803","display_name":"Perfect power","level":2,"score":0.296999990940094},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2644999921321869},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.26350000500679016}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.23904240","doi":"https://doi.org/10.5281/zenodo.23904240","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23904240","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.23904241","doi":"https://doi.org/10.5281/zenodo.23904241","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23904241","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.23928953","doi":"https://doi.org/10.5281/zenodo.23928953","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23928953","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.23904240","doi":"https://doi.org/10.5281/zenodo.23904240","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23904240","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2034200863","https://openalex.org/W2078729323","https://openalex.org/W3047384296","https://openalex.org/W4377292683","https://openalex.org/W4392575318","https://openalex.org/W4414037086","https://openalex.org/W7083305920","https://openalex.org/W7214025501","https://openalex.org/W7223750601"],"related_works":["https://openalex.org/W4395687127","https://openalex.org/W7223765860","https://openalex.org/W7223929005","https://openalex.org/W2186394470","https://openalex.org/W7223750601","https://openalex.org/W6922484197","https://openalex.org/W4235482808","https://openalex.org/W2980937831","https://openalex.org/W4414717699","https://openalex.org/W7223742573"],"abstract_inverted_index":{"Let":[0,109],"A(n)":[1],"=":[2,131,147,156,171,263,288,297,309,319,327,331,335,338,364,381,387,392,396,411,483,599,687,717,722,777,781,842,862,899,908,959,965,1006,1075,1117,1122,1129,1133,1188,1203,1212,1217,1244,1248,1308],"\u03a3_k":[3,172,365,412],"C(n,k)\u00b2":[4,174,413],"C(n+k,k)\u00b2":[5],"be":[6,113,221,245,455,1016],"the":[7,38,77,84,87,91,168,198,209,224,231,234,239,251,258,273,360,403,407,416,430,452,480,498,507,513,527,533,539,561,573,578,583,587,591,625,645,654,658,663,667,674,679,728,740,745,758,763,770,794,802,806,813,817,819,837,857,869,877,885,910,918,936,944,971,984,998,1002,1025,1030,1034,1078,1082,1085,1099,1105,1108,1126,1158,1182,1194,1206,1222,1226,1241,1250,1255,1258,1261,1269,1272,1286,1315,1326,1338,1350,1354,1379,1384,1409,1416,1423,1426,1430,1435,1441,1450,1454,1457,1461,1465,1475],"Ap\u00e9ry":[8,85,1109],"numbers":[9,362,409,509,1084,1110],"attached":[10],"to":[11,37,181,220,247,612,631,651,697,884,912,983,1015,1080,1372],"\u03b6(3)":[12],"(1,":[13],"5,":[14,32],"73,":[15],"1445,":[16],"33001,":[17],"\u2026).":[18],"Gessel":[19],"proved":[20,1014],"that":[21,191,530,693,731,761,826,890,942,1064,1370,1383],"A(mp)":[22],"\u2261":[23,43],"A(m)":[24],"(mod":[25,45],"p\u00b3)":[26],"for":[27,83,135,158,166,203,290,321,343,359,372,466,497,636,801,822,949,1229,1449],"every":[28,136,159,291,322,344,373,426,467,882,1147],"prime":[29,115],"p":[30,110,790,1187,1307],"\u2265":[31,111,139,161,294,346,350],"and":[33,86,116,238,278,333,348,367,389,492,614,678,720,921,935,961,996,1052,1054,1098,1124,1149,1170,1181,1190,1200,1214,1225,1246,1254,1276,1310,1314,1388,1400,1414,1433,1443,1445,1474],"Coster":[34],"extended":[35],"this":[36,518,525,1162,1361],"whole":[39],"p-adic":[40,55,100,183,199,463,534,553,784,853,1168],"tower:":[41],"A(mp^r)":[42,72,155,179,537,559],"A(mp^(r\u22121))":[44],"p^(3r)).":[46],"Recent":[47],"work":[48,496,1362],"has":[49,421,1439],"determined":[50],"one":[51,249,706,1348],"or":[52],"two":[53,235,870],"further":[54],"digits":[56,70,92,200,535,655],"of":[57,61,68,71,76,186,201,212,260,418,432,441,446,461,489,536,548,556,586,590,647,665,670,707,739,742,762,769,786,805,816,876,940,978,994,1029,1095,1107,1257,1329,1337,1341,1360,1480],"these":[58,62,896],"differences.":[59,808],"Each":[60],"results":[63],"controls":[64,531],"a":[65,98,114,128,143,182,189,314,438,462,476,545,552,621,633,649,691,710,750,755,783,823,1047,1055,1093,1103,1145],"fixed":[66,546],"number":[67,547,730,796],"additional":[69],"at":[73,95,425,458,479,541,656,1125,1333],"each":[74],"step":[75,1004],"tower.":[78],"This":[79,932],"paper":[80,240,810],"shows":[81,1063],"that,":[82,134],"Franel":[88,361,1083],"numbers,":[89,500,821],"all":[90,167,197,204,368,532,653,1180],"are":[93,206,217,236,510,891,1184,1312],"controlled":[94],"once,":[96,542],"by":[97,228,917,929,1033,1220],"single":[99,210],"analytic":[101,184,271,280,511,554,629,659,675,867,976],"function.":[102],"Main":[103],"results.":[104],"Theorem":[105,253,352,398,1282],"A":[106],"(Ap\u00e9ry":[107],"numbers).":[108,355],"5":[112,1189],"0":[117,374,847,909,960],"<":[118,120,283,375,377,850,1320],"\u03c3":[119,376,1319],"\u03ba_p":[121,1321],":=":[122],"(1/3":[123],"\u2212":[124,485,956],"1/(p\u22121))/2.":[125],"There":[126],"is":[127,142,313,504,526,607,641,644,694,700,709,727,748,754,773,792,827,866,915,927,1013,1322,1363],"constant":[129,767,985],"K":[130],"K(p,\u03c3)":[132],"such":[133,285,648],"integer":[137,292,428],"m":[138,345],"1,":[140,1043,1123],"there":[141,267],"power":[144],"series":[145],"\u03a6_m(z)":[146],"\u03a3_a":[148],"c_a(m)":[149],"z^a,":[150],"|c_a(m)|":[151],"\u2264":[152,276,434,848,1234],"K\u00b7p^(\u2212\u03c3a),":[153],"with":[154,188,379,577,603,628,714,775,846,888,901,1018,1041,1060,1089,1119,1131,1157,1231,1318,1377,1460,1470],"\u03a6_m(p^r)":[157],"r":[160,177,349,557,1005,1233],"0.":[162,351],"The":[163,356,487,567,596,682,725,766,809,874,990,992,1136,1279,1296,1305,1358,1367,1391,1437],"same":[164,357,1086,1462],"holds":[165,358,1344],"moments":[169,261,419,914,1106],"A_b(n)":[170],"k^b":[173],"C(n+k,k)\u00b2.":[175],"So":[176],"\u21a6":[178,558],"extends":[180,1072],"function":[185,593,606,855],"p^r,":[187,563],"bound":[190],"does":[192,226],"not":[193,218,227,829,1139,1290,1302,1323],"depend":[194,1140],"on":[195,272,281,451,662,1009,1141,1271],"m:":[196],"A(mp^r),":[202],"r,":[205],"encoded":[207],"in":[208,560,565,572,624,736,757,797,836,868,879,893,925,1036,1058,1152,1161,1175,1412,1418,1425,1429,1434],"sequence":[211],"coefficients":[213,216,889,939,973,1328,1340],"c_a(m).":[214],"These":[215],"known":[219],"p-integral,":[222],"so":[223],"theorem":[225,1070],"itself":[229],"reprove":[230],"classical":[232,608,1351],"supercongruences;":[233],"compatible,":[237],"explains":[241],"exactly":[242],"what":[243],"would":[244,1346],"needed":[246],"deduce":[248,1349],"from":[250,690,702,1001,1024,1077,1197,1353],"other.":[252],"B":[254,491],"(Frobenius":[255],"structure).":[256],"For":[257,406,1186],"vector":[259],"V(x)":[262],"(A_0(x),":[264],"A_1(x),":[265],"A_2(x))":[266],"exist":[268],"matrices":[269,1196],"\u0398(y),":[270],"disc":[274],"|y|":[275,282],"p^\u03c3,":[277,284],"H(y),":[279],"that:(i)":[286],"V(py)":[287,898,1202],"\u0398(y)V(y)":[289,900],"y":[293,323,469,484,907,926,1059],"0;(ii)":[295],"\u0398(0)":[296,934,987],"[[1,":[298],"0,":[299,305,471,1007],"p\u00b3I\u2082],":[300],"[0,":[301,304],"p,":[302,383,851,1044],"0],":[303],"p\u00b3]],":[306],"where":[307,394,402,744,864],"I\u2082":[308,776],"\u222b_{Z_p^\u00d7}":[310,778,962],"u^(\u22122)":[311,779],"du":[312,780,964],"Volkenborn":[315,668,712,904,919,1262],"integral;(iii)":[316],"det":[317,329,385,390,685,1010,1073,1120,1210,1215],"\u0398(y)":[318,982,1128,1211],"p\u2074":[320,688,1017,1076,1213],"\u2208":[324],"Z_p;(iv)":[325],"H(0)":[326],"I,":[328],"H(y)":[330,980],"1":[332,347,1062,1245],"H(py)\u0398(y)":[334],"\u0398(0)H(y).Consequently":[336],"V(mp^r)":[337,1230],"H(mp^r)^(\u22121)":[339],"\u0398(0)^r":[340],"H(m)":[341],"V(m)":[342],"C":[353,493],"(Franel":[354],"f(n)":[363],"C(n,k)\u00b3":[366],"their":[369,1065,1198],"moments,":[370,666],"now":[371],"1/3,":[378],"\u0398_F(0)":[380],"diag(1,":[382],"p\u00b2),":[384],"\u0398_F(y)":[386,1216],"p\u00b3\u00b78^((p\u22121)y)":[388,1218],"H_F(y)":[391],"exp(\u2212y\u00b7L\u2088),":[393],"L\u2088":[395],"log(8^(p\u22121))/(p\u22121).":[397],"D":[399,1283],"(Domb":[400],"numbers:":[401,1281],"method":[404,568],"stops).":[405],"Domb":[408,499,508,820,1273,1280],"D(n)":[410],"C(2k,k)":[414],"C(2n\u22122k,n\u2212k),":[415],"module":[417,664],"still":[420],"dimension":[422],"3,":[423],"but":[424,1289],"positive":[427],"n":[429,581],"polynomials":[431,892],"degree":[433],"2n":[435],"span":[436],"only":[437,830],"two-dimensional":[439],"subspace":[440],"it.":[442],"Consequently":[443],"no":[444],"family":[445],"three":[447,703,913,1019],"functionals":[448,1022],"depending":[449],"analytically":[450],"parameter":[453,468],"can":[454],"linearly":[456],"independent":[457,1419],"any":[459,1142],"point":[460],"disc,":[464],"and,":[465],"\u2260":[470],"some":[472],"Frobenius":[473,660,771,834,1038,1195],"weights":[474,715],"have":[475,1301,1331],"simple":[477,952],"pole":[478],"half-integer":[481],"k\u2032":[482],"1/2.":[486],"approach":[488],"Theorems":[490],"therefore":[494],"cannot":[495],"whatever":[501],"polynomial":[502],"basis":[503,979],"chosen.":[505],"Whether":[506],"along":[512,538,988],"towers":[514,540],"remains":[515,1294],"open.":[516,1295],"Why":[517],"matters.":[519],"As":[520,1102,1144],"far":[521],"as":[522,582,859,951,953,1405],"we":[523],"know,":[524],"first":[528,726,886,1003],"result":[529],"rather":[543],"than":[544],"them.":[549],"It":[550,699,1012],"gives":[551,933],"interpolation":[555],"variable":[562,588],"uniformly":[564],"m.":[566],"applies":[569],"Dwork's":[570],"ideas":[571],"summation":[574,626,764,838],"index":[575,580],"k,":[576],"upper":[579],"parameter,":[584],"instead":[585],"t":[589,602,845,849],"generating":[592],"\u03a3":[594],"A(n)t^n.":[595],"splitting":[597],"k":[598,841,880],"pk\u2032":[600,843],"+":[601,844],"Morita's":[604,852],"gamma":[605,854],"(it":[609],"goes":[610],"back":[611],"Gessel),":[613],"very":[615],"recently":[616],"H.":[617],"Zheng":[618],"(arXiv:2609.23355)":[619],"used":[620,1151],"transfer":[622],"operator":[623],"variable,":[627],"weights,":[630],"prove":[632],"two-step":[634],"supercongruence":[635],"another":[637],"Ap\u00e9ry-like":[638,1299],"sequence.":[639],"What":[640],"new":[642],"here":[643,752],"use":[646],"structure":[650,835],"control":[652,943],"once:":[657],"matrix":[661,772,986],"calculus":[669],"its":[671,922],"resonant":[672,972,1208],"coefficients,":[673],"normal":[676,968,1223],"form":[677,1224],"determinant":[680,1061,1096],"identity.":[681],"decisive":[683],"identity":[684,747,1049,1150],"\u0398":[686,902,941,1074,1330],"comes":[689],"Casoratian":[692,756,1066,1100],"identically":[695],"equal":[696],"1.":[698,1068],"built":[701,1023],"explicit":[704,1020,1113],"functionals,":[705,1092,1259],"which":[708,1293],"regularized":[711],"integral":[713],"H_j^(3)":[716],"\u03a3_{i\u2264j}":[718,723],"i^(\u22123)":[719],"H_j^(2)":[721],"i^(\u22122).":[724],"harmonic":[729],"builds":[732],"Ap\u00e9ry's":[733,787],"second":[734],"solution":[735,1027],"his":[737],"proof":[738],"irrationality":[741],"\u03b6(3),":[743],"key":[746],"also":[749,811,1267],"Casoratian;":[751],"it":[753,791,1373],"transverse":[759],"direction,":[760,1411],"variable.":[765,839],"entry":[768],"p\u00b3I\u2082":[774],"2\u03b6_p(3),":[782],"counterpart":[785],"\u03b6(3);":[788],"modulo":[789],"(2/3)B_{p\u22123},":[793],"Bernoulli":[795],"J.-C.":[798],"Liu's":[799],"congruence":[800],"next":[803],"digit":[804],"Gessel\u2013Coster":[807],"identifies":[812],"exact":[814,1237],"boundary":[815],"method:":[818],"structural":[824],"reason":[825],"proved,":[828],"observed.":[831],"Method.":[832],"(1)":[833],"Writing":[840],"factors":[856,1042],"summand":[858,878,1035],"T(py,":[860],"pk\u2032+t)":[861],"T(y,k\u2032)\u00b7\u03c9_t(y,k\u2032),":[863],"\u03c9_t":[865],"variables":[871],"(y,":[872],"k\u2032).":[873],"recurrence":[875,1031,1115],"reduces":[881],"moment":[883],"three,":[887],"y.":[894],"Together":[895],"give":[897],"analytic.(2)":[903],"calculus.":[905],"At":[906],"reduction":[911],"given":[916],"integral,":[920],"Taylor":[923,938,1327,1339],"expansion":[924],"computed":[928],"indefinite":[930],"sums.":[931],"eight":[937,947,1207],"resonances.":[945],"All":[946],"vanish,":[948,974],"reasons":[950],"\u03a3_{t<p}":[954,957],"1/t":[955,958],"u^(\u22121)":[963],"0.(3)":[966],"Analytic":[967],"form.":[969],"Since":[970],"an":[975,1112,1406],"change":[977],"conjugates":[981],"Frobenius.(4)":[989],"determinant.":[991],"invertibility":[993],"H,":[995],"hence":[997],"closed":[999,1227,1355],"formula":[1000,1228],"depends":[1008],"\u0398.":[1011],"linear":[1021],"rational":[1026,1048,1165,1251],"w\u2082(y,k)":[1028],"satisfied":[1032],"k.":[1037],"transports":[1039],"them":[1040,1153,1179],"p\u00b3":[1045],"through":[1046],"between":[1050],"w\u2082(y,\u00b7)":[1051],"w\u2082(py,\u00b7),":[1053],"telescoping":[1056],"certificate":[1057,1094],"equals":[1067],"Strassmann's":[1069],"then":[1071],"integers":[1079,1127],"Z_p.For":[1081],"scheme":[1087],"works":[1088],"alternating":[1090],"residue":[1091],"8":[1097],"8^y.":[1101],"by-product,":[1104],"satisfy":[1111],"first-order":[1114],"V(y+1)":[1116],"R(y)V(y)":[1118],"R(y)":[1121],"P(py)\u0398(0)P(y)^(\u22121)":[1130],"P(y)":[1132],"R(y\u22121)\u22efR(0).":[1134],"Verification.":[1135],"proofs":[1137],"do":[1138],"computation.":[1143],"safeguard,":[1146],"object":[1148],"was":[1154],"recomputed":[1155],"independently":[1156],"Python":[1159],"scripts":[1160,1432,1467],"record":[1163],"(exact":[1164],"arithmetic,":[1166],"truncated":[1167],"arithmetic":[1169,1238],"SymPy;":[1171],"about":[1172],"40":[1173],"seconds":[1174],"total;":[1176],"run_all.sh":[1177,1473],"runs":[1178],"logs":[1183],"included).":[1185],"7":[1191],"they":[1192,1239],"compute":[1193],"definitions":[1199],"check":[1201,1240,1268],"\u0398(y)V(y),":[1204],"\u0398(0),":[1205],"zeros,":[1209],"coefficient":[1219],"coefficient,":[1221],"m,":[1232],"3.":[1235],"In":[1236],"certificates,":[1242],"C(y)":[1243],"C_F(y)":[1247],"8^y,":[1249],"transport":[1252,1256],"identities":[1253],"including":[1260],"correction":[1263],"term":[1264],"p\u00b3I\u2082.":[1265],"They":[1266],"propositions":[1270],"numbers.":[1274],"Limits":[1275],"open":[1277],"questions.":[1278],"rules":[1284],"out":[1285,1376],"present":[1287],"construction,":[1288],"analyticity":[1291],"itself,":[1292],"other":[1297],"sporadic":[1298],"sequences":[1300],"been":[1303],"treated.":[1304],"primes":[1306],"2":[1309],"3":[1311,1469],"excluded,":[1313],"radius":[1316],"p^\u03c3":[1317],"optimal:":[1324],"numerically":[1325],"valuation":[1332],"least":[1334],"0.8n.":[1335],"Integrality":[1336],"H":[1342],"(which":[1343],"numerically)":[1345],"let":[1347],"supercongruences":[1352],"formula.":[1356],"Authorship.":[1357],"author":[1359,1385,1438],"Roberto":[1364],"Blanco":[1365],"G\u00f3mez.":[1366],"exploratory":[1368],"computations":[1369,1444],"led":[1371],"were":[1374],"carried":[1375],"SyntheticMind,":[1378],"mathematical":[1380],"reasoning":[1381],"engine":[1382],"created,":[1386],"designed":[1387],"programmed":[1389],"himself.":[1390],"AI":[1392],"system":[1393],"Claude":[1394,1397,1401],"(Anthropic;":[1395],"models":[1396],"Fable":[1398],"5.1":[1399],"Opus":[1402],"5.5)":[1403],"collaborated":[1404],"assistant,":[1407],"under":[1408],"author's":[1410],"finding":[1413],"checking":[1415],"arguments,":[1417],"review":[1420],"passes":[1421],"over":[1422],"proofs,":[1424],"literature":[1427],"search,":[1428],"verification":[1431,1466],"writing.":[1436],"checked":[1440],"arguments":[1442],"takes":[1446],"full":[1447],"responsibility":[1448],"content.":[1451,1463],"Files:":[1452],"Blanco_Gomez_2026_Apery_Franel_analyticity_EN.pdf:":[1453],"paper.":[1455],"Blanco_Gomez_2026_Apery_Franel_analyticity_ES.pdf:":[1456],"Spanish":[1458],"version,":[1459],"verification.zip:":[1464],"(Python":[1468],"SymPy),":[1471],"README.txt,":[1472],"logs.":[1476],"sources.zip:":[1477],"LaTeX":[1478],"sources":[1479],"both":[1481],"versions.":[1482]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-11-04T00:00:00"}
