{"id":"https://openalex.org/W7225188191","doi":"https://doi.org/10.5281/zenodo.23903759","title":"The first derivative bit at p \u2261 5 (mod 16): a proof of Conjecture coord of Paper V","display_name":"The first derivative bit at p \u2261 5 (mod 16): a proof of Conjecture coord of Paper V","publication_year":2026,"publication_date":"2026-11-03","ids":{"openalex":"https://openalex.org/W7225188191","doi":"https://doi.org/10.5281/zenodo.23903759"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23903759","doi":"https://doi.org/10.5281/zenodo.23903759","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23903759","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.23903759","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5158900835","display_name":"Joseph S. Farland","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Farland, Joseph S.","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0007-6809-804X","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5158900835"],"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.61080002784729,"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.61080002784729,"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.35839998722076416,"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/T11680","display_name":"Advanced Algebra and Geometry","score":0.017100000753998756,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/class-number","display_name":"class number","score":0.734000027179718},{"id":"https://openalex.org/keywords/imaginary-quadratic-fields","display_name":"imaginary quadratic fields","score":0.6000000238418579},{"id":"https://openalex.org/keywords/theta-series","display_name":"theta series","score":0.4659999907016754},{"id":"https://openalex.org/keywords/weight-2-modular-forms","display_name":"weight 2 modular forms","score":0.7269999980926514},{"id":"https://openalex.org/keywords/sturm-s-theorem","display_name":"Sturm's theorem","score":0.6299999952316284},{"id":"https://openalex.org/keywords/representation-numbers","display_name":"representation numbers","score":0.871999979019165},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.6000000238418579}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8335000276565552},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6194999814033508},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5730000138282776},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.539900004863739},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5120000243186951},{"id":"https://openalex.org/C73905626","wikidata":"https://www.wikidata.org/wiki/Q206925","display_name":"Power series","level":2,"score":0.5080000162124634},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.43160000443458557},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.396699994802475},{"id":"https://openalex.org/C174072685","wikidata":"https://www.wikidata.org/wiki/Q1667469","display_name":"Prime power","level":3,"score":0.38929998874664307},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.38199999928474426},{"id":"https://openalex.org/C34718186","wikidata":"https://www.wikidata.org/wiki/Q209875","display_name":"Binomial coefficient","level":2,"score":0.37049999833106995},{"id":"https://openalex.org/C151746172","wikidata":"https://www.wikidata.org/wiki/Q1003025","display_name":"Formal power series","level":3,"score":0.36629998683929443},{"id":"https://openalex.org/C151635116","wikidata":"https://www.wikidata.org/wiki/Q193878","display_name":"Chinese remainder theorem","level":2,"score":0.34279999136924744},{"id":"https://openalex.org/C7720571","wikidata":"https://www.wikidata.org/wiki/Q1136880","display_name":"Power of two","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3158999979496002},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C169654258","wikidata":"https://www.wikidata.org/wiki/Q12479","display_name":"Number theory","level":2,"score":0.30709999799728394},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C113429393","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime number","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C75764964","wikidata":"https://www.wikidata.org/wiki/Q870797","display_name":"Modular form","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C78397625","wikidata":"https://www.wikidata.org/wiki/Q192487","display_name":"Discriminant","level":2,"score":0.25360000133514404}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.5281/zenodo.23903759","doi":"https://doi.org/10.5281/zenodo.23903759","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23903759","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.23903760","doi":"https://doi.org/10.5281/zenodo.23903760","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23903760","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.23913375","doi":"https://doi.org/10.5281/zenodo.23913375","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23913375","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.23903759","doi":"https://doi.org/10.5281/zenodo.23903759","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23903759","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":2,"referenced_works":["https://openalex.org/W176904916","https://openalex.org/W2528000729"],"related_works":["https://openalex.org/W771144873","https://openalex.org/W1558223208","https://openalex.org/W1489002570","https://openalex.org/W4396685204","https://openalex.org/W2124574205","https://openalex.org/W2025453829","https://openalex.org/W1542725088","https://openalex.org/W2145844139","https://openalex.org/W2979459321","https://openalex.org/W4248820782"],"abstract_inverted_index":{"We":[0],"prove":[1],"that":[2,276],"for":[3,53],"every":[4],"prime":[5],"p":[6,12,54],"\u2261":[7,21,25,49,55,145,182,184,209,213,302,311],"5":[8,57],"(mod":[9,27,29,51,58,147,186,188,215,217,304,313],"16),":[10,30],"written":[11],"=":[13,98],"a\u00b2":[14],"+":[15,23,100,114,116,120,122,207,211],"b\u00b2":[16],"with":[17,202,241,249],"b":[18,231],"even,":[19,288],"h(\u22128p)":[20,34,48],"h(\u22124p)":[22,32,50],"8\u00b7[b":[24,212],"\u00b16":[26,185,214],"16)]":[28,187,216],"where":[31],"and":[33,41,118,152,223,228,252,281,293,332],"are":[35,255,287,295,338],"the":[36,45,73,79,85,90,109,156,161,168,171,190,198,221,258,263,266,277,284,290,323,327],"class":[37,224],"numbers":[38,111,225],"of":[39,69,72,84,89,112,163,170,197,226,247],"Q(\u221a\u2212p)":[40],"Q(\u221a\u22122p).":[42],"This":[43,219],"refines":[44],"classical":[46],"congruence":[47],"8)":[52],"1,":[56],"16)":[59],"recorded":[60],"by":[61,96,149],"Berndt.":[62],"It":[63,315],"settles":[64],"Conjecture":[65],"5.3":[66],"(Conjecture":[67],"coord)":[68],"Paper":[70],"V":[71],"series.":[74],"That":[75],"conjecture":[76],"describes":[77],"when":[78],"first":[80],"derivative":[81],"coefficient":[82,162],"u\u2081":[83],"2-adic":[86],"power":[87],"series":[88,132],"odd":[91],"quartic":[92],"character":[93],"is":[94,181,236,260],"divisible":[95],"\u03bb\u00b2":[97],"(1":[99],"i)\u00b2.":[101],"The":[102,234,245,336],"proof:":[103],"writes":[104],"4(h(\u22128p)":[105],"\u2212":[106],"h(\u22124p))":[107],"through":[108],"representation":[110],"x\u00b2":[113,119],"2y\u00b2":[115,121],"4z\u00b2":[117],"2z\u00b2,":[123],"using":[124],"Gauss\u2019s":[125,253],"three-square":[126],"theorem;":[127],"builds":[128],"from":[129],"sieved":[130],"theta":[131],"a":[133,153,270],"weight-2":[134],"form":[135],"\u03a6":[136,144,164,248],"on":[137],"\u0393\u2080(1024)":[138],"\u2229":[139],"ker":[140],"\u03c7\u2088":[141],"(Serre\u2013Stark);":[142],"shows":[143],"0":[146,176],"256)":[148],"Sturm\u2019s":[150,250],"theorem":[151],"check":[154,264],"below":[155,265],"bound":[157,268],"512;":[158],"reads":[159],"off":[160],"at":[165],"p.":[166],"Corollaries:":[167],"sum":[169],"Legendre":[172],"symbols":[173],"(x/p)":[174],"over":[175],"<":[177,179],"x":[178],"p/8":[180],"2\u00b7[b":[183],"4),":[189],"next":[191],"binary":[192],"digit":[193],"after":[194],"Berndt\u2019s":[195],"parity":[196],"octant":[199],"sum;":[200],"combined":[201],"Desnoux\u2019s":[203],"modulo-64":[204],"congruence,":[205],"c\u2082R(S/2)h\u207a(p)":[206],"17R\u2032(S\u2032/2)h\u207a(2p)":[208],"2h(\u22124p)":[210],"16).":[218],"links":[220],"units":[222],"Q(\u221ap)":[227],"Q(\u221a2p)":[229],"to":[230],"modulo":[232],"16.":[233],"proof":[235],"formalized":[237],"in":[238,283,321],"Lean":[239],"4":[240],"Mathlib":[242],"(ConjCoord,":[243],"doi:10.5281/zenodo.23902875).":[244],"modularity":[246],"theorem,":[251,254],"hypotheses":[256,331],"there;":[257],"rest":[259],"proved,":[261],"including":[262],"Sturm":[267],"as":[269,330],"kernel":[271],"computation.":[272],"Version":[273],"1.1":[274],"proves":[275,333],"Pell":[278,328],"solutions":[279],"S":[280,298],"S\u2032":[282,307],"Desnoux":[285],"corollary":[286,325],"so":[289],"halves":[291],"S/2":[292],"S\u2032/2":[294],"integers.":[296],"If":[297],"were":[299,308],"odd,":[300,309],"R\u00b2":[301],"6":[303],"8);":[305],"if":[306],"R\u2032\u00b2":[310],"3":[312],"8).":[314],"also":[316],"cites":[317],"ConjCoord":[318],"v1.0.1":[319],"(doi:10.5281/zenodo.23913183),":[320],"which":[322],"formal":[324],"takes":[326],"equations":[329],"this":[334],"evenness.":[335],"results":[337],"otherwise":[339],"unchanged.":[340]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-11-04T00:00:00"}