{"id":"https://openalex.org/W7225802872","doi":"https://doi.org/10.5281/zenodo.24135589","title":"A proof that \u2124 is Diophantine in \u211a through congruent-number twists","display_name":"A proof that \u2124 is Diophantine in \u211a through congruent-number twists","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225802872","doi":"https://doi.org/10.5281/zenodo.24135589"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24135589","doi":"https://doi.org/10.5281/zenodo.24135589","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24135589","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.24135589","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152777071","display_name":"Manvir Jaswal","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jaswal, Manvir","raw_affiliation_strings":["Independent researcher, Toronto, Canada"],"raw_orcid":"https://orcid.org/0009-0001-2880-9528","affiliations":[{"raw_affiliation_string":"Independent researcher, Toronto, Canada","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5152777071"],"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9487000107765198,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9487000107765198,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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.030300000682473183,"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.014100000262260437,"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":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.859499990940094},{"id":"https://openalex.org/C188139237","wikidata":"https://www.wikidata.org/wiki/Q50706","display_name":"Square-free integer","level":2,"score":0.7170000076293945},{"id":"https://openalex.org/C206530611","wikidata":"https://www.wikidata.org/wiki/Q905896","display_name":"Diophantine equation","level":2,"score":0.6692000031471252},{"id":"https://openalex.org/C23230895","wikidata":"https://www.wikidata.org/wiki/Q104752","display_name":"Coprime integers","level":2,"score":0.6470000147819519},{"id":"https://openalex.org/C156330621","wikidata":"https://www.wikidata.org/wiki/Q3393476","display_name":"Rational point","level":3,"score":0.578499972820282},{"id":"https://openalex.org/C173808221","wikidata":"https://www.wikidata.org/wiki/Q50705","display_name":"Square number","level":2,"score":0.5590000152587891},{"id":"https://openalex.org/C169654258","wikidata":"https://www.wikidata.org/wiki/Q12479","display_name":"Number theory","level":2,"score":0.5424000024795532},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5131999850273132},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.47999998927116394},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47040000557899475},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.42879998683929443},{"id":"https://openalex.org/C154977054","wikidata":"https://www.wikidata.org/wiki/Q1759646","display_name":"Lucas sequence","level":5,"score":0.4284999966621399},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.4066999852657318},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.4043000042438507},{"id":"https://openalex.org/C40621787","wikidata":"https://www.wikidata.org/wiki/Q16251580","display_name":"Diophantine set","level":3,"score":0.40400001406669617},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.3817000091075897},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.3684999942779541},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C113429393","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime number","level":2,"score":0.3580000102519989},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.34869998693466187},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3377000093460083},{"id":"https://openalex.org/C179603306","wikidata":"https://www.wikidata.org/wiki/Q268493","display_name":"Elliptic curve","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C102966492","wikidata":"https://www.wikidata.org/wiki/Q1227061","display_name":"Diophantine approximation","level":3,"score":0.3057999908924103},{"id":"https://openalex.org/C555856410","wikidata":"https://www.wikidata.org/wiki/Q65122107","display_name":"Diophantine geometry","level":4,"score":0.2957000136375427},{"id":"https://openalex.org/C164810661","wikidata":"https://www.wikidata.org/wiki/Q1358313","display_name":"Ring of integers","level":3,"score":0.2888999879360199},{"id":"https://openalex.org/C2777478746","wikidata":"https://www.wikidata.org/wiki/Q5358910","display_name":"Elementary proof","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C161491579","wikidata":"https://www.wikidata.org/wiki/Q858656","display_name":"Commutative ring","level":3,"score":0.2538999915122986},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.25380000472068787},{"id":"https://openalex.org/C12817185","wikidata":"https://www.wikidata.org/wiki/Q878259","display_name":"Quadratic residue","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24135589","doi":"https://doi.org/10.5281/zenodo.24135589","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24135589","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.24135590","doi":"https://doi.org/10.5281/zenodo.24135590","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24135590","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.24135589","doi":"https://doi.org/10.5281/zenodo.24135589","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24135589","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":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"give":[1],"a":[2,27,36,70,84,104,144,175,187],"proof":[3,19],"of":[4,35,42,56,79,103,114,149,199],"Glazer":[5,183],"and":[6,74,81,83,100,131,164,174,184,202],"collaborators'":[7],"theorem":[8,78,90],"that":[9,20,118,158],"\u2124":[10],"is":[11,111,153],"Diophantine":[12],"in":[13,180],"\u211a,":[14],"which":[15],"builds":[16],"on":[17,38,50,121,193],"OpenAI's":[18],"Hilbert's":[21],"tenth":[22],"problem":[23],"over":[24,45],"\u211a":[25],"has":[26],"negative":[28],"answer.":[29],"Integers":[30],"are":[31],"represented":[32],"by":[33],"multiples":[34],"point":[37,177],"an":[39,154],"elliptic":[40],"curve":[41,73],"rank":[43,172],"one":[44,173],"\u211a(\u221a2).":[46],"An":[47],"existential":[48],"condition":[49,120],"two":[51],"congruent-number":[52],"twists":[53,122],"forbids":[54],"poles":[55],"odd":[57,60],"order":[58],"at":[59,65,93],"primes.":[61],"A":[62],"height":[63],"bound":[64],"six":[66],"rational":[67,116,176],"points,":[68],"from":[69,87],"quaternionic":[71],"Shimura":[72],"Serre's":[75],"conjecture":[76],"(a":[77],"Khare\u2013Wintenberger":[80],"Kisin),":[82],"prime":[85],"pattern":[86],"the":[88,101,112,115,119,147,150,196],"Green\u2013Tao\u2013Ziegler":[89],"turn":[91],"congruences":[92],"chosen":[94],"primes":[95,148],"into":[96],"identities":[97],"between":[98],"multiples,":[99],"growth":[102],"Lucas":[105],"sequence":[106],"forces":[107],"integrality.":[108],"Our":[109],"contribution":[110],"existence":[113],"points":[117],"requires:":[123],"for":[124],"coprime":[125],"squarefree":[126],"integers":[127],"\u03b2":[128,136],">":[129],"1":[130,134,140],"\u03b8":[132,138],"\u2265":[133],"with":[135,178,204],"\u2261":[137,139],"(mod":[141],"8),":[142],"each":[143],"square":[145],"modulo":[146],"other,":[151],"there":[152],"integer":[155],"e":[156],"such":[157],"y\u00b2":[159,165],"=":[160,166],"x\u00b3":[161,167],"\u2212":[162,168],"e\u00b2x":[163],"e\u00b2\u03b8\u00b2x":[169],"both":[170],"have":[171],"abscissa":[179],"\u03b2\u00b7(\u211a\u00d7)\u00b2.":[181],"Where":[182],"collaborators":[185],"use":[186],"restricted":[188],"2-converse":[189],"theorem,":[190],"this":[191],"rests":[192],"published":[194],"theorems:":[195],"genus":[197],"criterion":[198],"Tian,":[200],"Yuan":[201],"Zhang,":[203],"Gross\u2013Zagier.":[205]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}