{"id":"https://openalex.org/W4281808136","doi":"https://doi.org/10.48550/arxiv.2206.03604","title":"Automated Discovery of New $L$-Function Relations","display_name":"Automated Discovery of New $L$-Function Relations","publication_year":2022,"publication_date":"2022-06-07","ids":{"openalex":"https://openalex.org/W4281808136","doi":"https://doi.org/10.48550/arxiv.2206.03604"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2206.03604","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2206.03604","pdf_url":"https://arxiv.org/pdf/2206.03604","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2206.03604","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003839309","display_name":"Hadrien Barral","orcid":"https://orcid.org/0000-0002-0687-9728","observed_orcids":["https://orcid.org/0000-0002-0687-9728"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Barral, Hadrien","raw_affiliation_strings":["D\u00e9partement d'informatique de l'\u00c9NS , \u00c9cole normale sup\u00e9rieure , CNRS , PSL Research University , 45 rue d'Ulm , Paris , France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'informatique de l'\u00c9NS , \u00c9cole normale sup\u00e9rieure , CNRS , PSL Research University , 45 rue d'Ulm , Paris , France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210161954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068256409","display_name":"R\u00e9mi G\u00e9raud","orcid":"https://orcid.org/0000-0001-8719-1724","observed_orcids":["https://orcid.org/0000-0001-8719-1724"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G\u00e9raud-Stewart, R\u00e9mi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"L\u00e9onard, Arthur","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L\u00e9onard, Arthur","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112710845","display_name":"David Naccache","orcid":"https://orcid.org/0000-0002-8651-6555","observed_orcids":["https://orcid.org/0000-0002-8651-6555"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Naccache, David","raw_affiliation_strings":["D\u00e9partement d'informatique de l'\u00c9NS , \u00c9cole normale sup\u00e9rieure , CNRS , PSL Research University , 45 rue d'Ulm , Paris , France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'informatique de l'\u00c9NS , \u00c9cole normale sup\u00e9rieure , CNRS , PSL Research University , 45 rue d'Ulm , Paris , France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210161954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015210129","display_name":"Quentin Vermande","orcid":"https://orcid.org/0009-0004-4292-1788","observed_orcids":["https://orcid.org/0009-0004-4292-1788"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vermande, Quentin","raw_affiliation_strings":["D\u00e9partement d'informatique de l'\u00c9NS , \u00c9cole normale sup\u00e9rieure , CNRS , PSL Research University , 45 rue d'Ulm , Paris , France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'informatique de l'\u00c9NS , \u00c9cole normale sup\u00e9rieure , CNRS , PSL Research University , 45 rue d'Ulm , Paris , France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210161954"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036749811","display_name":"Samuel Vivien","orcid":"https://orcid.org/0000-0003-4224-6132","observed_orcids":["https://orcid.org/0000-0003-4224-6132"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vivien, Samuel","raw_affiliation_strings":["D\u00e9partement d'informatique de l'\u00c9NS , \u00c9cole normale sup\u00e9rieure , CNRS , PSL Research University , 45 rue d'Ulm , Paris , France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'informatique de l'\u00c9NS , \u00c9cole normale sup\u00e9rieure , CNRS , PSL Research University , 45 rue d'Ulm , Paris , France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210161954"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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.6460000276565552,"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.6460000276565552,"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.3330000042915344,"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.01080000028014183,"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/l-functions","display_name":"L-functions","score":0.9940000176429749},{"id":"https://openalex.org/keywords/formal-proof","display_name":"formal proof","score":0.4449999928474426}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8524706959724426},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.6734603643417358},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6574224233627319},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5557283759117126},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5200395584106445},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4927573502063751},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4815278649330139},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.4806177020072937},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4684982895851135},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4597383737564087},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4465298354625702},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4152950048446655},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2984083294868469},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28882622718811035},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26455724239349365},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2320573329925537},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2206.03604","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2206.03604","pdf_url":"https://arxiv.org/pdf/2206.03604","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2206.03604","doi":"https://doi.org/10.48550/arxiv.2206.03604","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2206.03604","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2206.03604","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2206.03604","pdf_url":"https://arxiv.org/pdf/2206.03604","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4281808136.pdf","grobid_xml":"https://content.openalex.org/works/W4281808136.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2054703906","https://openalex.org/W7098369957","https://openalex.org/W3203908466","https://openalex.org/W2067896061","https://openalex.org/W7095665267","https://openalex.org/W2077322703","https://openalex.org/W2075766603","https://openalex.org/W3159799665","https://openalex.org/W2563245475","https://openalex.org/W2598085734"],"abstract_inverted_index":{"$L$-functions":[0,139],"typically":[1],"encode":[2],"interesting":[3],"information":[4],"about":[5],"mathematical":[6],"objects.":[7],"This":[8,104],"paper":[9],"reports":[10],"29":[11],"identities":[12,52,62],"between":[13],"such":[14],"functions":[15],"that":[16],"hitherto":[17],"never":[18],"appeared":[19],"in":[20,109,129],"the":[21,84,89,110,135],"literature.":[22],"Of":[23],"these":[24,51],"we":[25,39,47],"have":[26],"a":[27,54,58,94,100,119],"complete":[28],"proof":[29,101],"for":[30,83,102],"9;":[31],"all":[32],"others":[33],"are":[34],"extensively":[35],"numerically":[36],"checked":[37],"and":[38,68,97,125,140],"welcome":[40],"proofs":[41],"of":[42,60,93,138],"their":[43],"(in)validity.":[44],"The":[45,72],"method":[46],"devised":[48],"to":[49,87,98,133],"obtain":[50],"is":[53,63,74,81],"two-step":[55],"process":[56],"whereby":[57],"list":[59],"candidate":[61],"automatically":[64],"generated,":[65],"obtained,":[66],"tested,":[67],"ultimately":[69],"formally":[70],"proven.":[71],"approach":[73],"however":[75],"only":[76],"\\emph{semi-}automated":[77],"as":[78,118],"human":[79],"intervention":[80],"necessary":[82],"post-processing":[85],"phase,":[86],"determine":[88],"most":[90],"general":[91],"form":[92],"conjectured":[95],"identity":[96],"provide":[99],"them.":[103],"work":[105],"complements":[106],"other":[107],"instances":[108],"literature":[111],"where":[112],"automated":[113],"symbolic":[114],"computation":[115],"has":[116],"served":[117],"productive":[120],"step":[121],"toward":[122],"theorem":[123],"proving":[124],"can":[126],"be":[127],"extended":[128],"several":[130],"directions":[131],"further":[132],"explore":[134],"algebraic":[136],"landscape":[137],"similar":[141],"constructions.":[142]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2022-06-13T00:00:00"}