{"id":"https://openalex.org/W7224355045","doi":"https://doi.org/10.5281/zenodo.23763334","title":"Lattice Points in the Astroid: An Exact Integer Test and a Convex Hull Walk for the Sequence A216877","display_name":"Lattice Points in the Astroid: An Exact Integer Test and a Convex Hull Walk for the Sequence A216877","publication_year":2026,"publication_date":"2026-10-29","ids":{"openalex":"https://openalex.org/W7224355045","doi":"https://doi.org/10.5281/zenodo.23763334"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23763334","doi":"https://doi.org/10.5281/zenodo.23763334","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23763334","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.23763334","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029786996","display_name":"Mark Kim","orcid":"https://orcid.org/0000-0001-7601-831X","observed_orcids":["https://orcid.org/0000-0001-7601-831X"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kim, Mark","raw_affiliation_strings":["Independent"],"raw_orcid":"https://orcid.org/0009-0001-0181-5717","affiliations":[{"raw_affiliation_string":"Independent","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5029786996"],"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/T11166","display_name":"Analytic Number Theory Research","score":0.7148000001907349,"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/T11166","display_name":"Analytic Number Theory Research","score":0.7148000001907349,"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.23280000686645508,"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"}},{"id":"https://openalex.org/T13806","display_name":"Mathematical and Computational Methods","score":0.02500000037252903,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"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/astroid","display_name":"astroid","score":0.7120000123977661},{"id":"https://openalex.org/keywords/lattice-points","display_name":"lattice points","score":0.878000020980835},{"id":"https://openalex.org/keywords/tangent-points","display_name":"tangent points","score":0.546999990940094},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.35499998927116394}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8046000003814697},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7390999794006348},{"id":"https://openalex.org/C206194317","wikidata":"https://www.wikidata.org/wiki/Q1138624","display_name":"Convex hull","level":3,"score":0.6567000150680542},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5235999822616577},{"id":"https://openalex.org/C138187205","wikidata":"https://www.wikidata.org/wiki/Q131251","display_name":"Tangent","level":2,"score":0.5145000219345093},{"id":"https://openalex.org/C142885752","wikidata":"https://www.wikidata.org/wiki/Q1252145","display_name":"Integer lattice","level":3,"score":0.46869999170303345},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.4677000045776367},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46480000019073486},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.46230000257492065},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4291999936103821},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4203000068664551},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.41830000281333923},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C61994974","wikidata":"https://www.wikidata.org/wiki/Q2297602","display_name":"Integer sequence","level":3,"score":0.3549000024795532},{"id":"https://openalex.org/C520416788","wikidata":"https://www.wikidata.org/wiki/Q5419229","display_name":"Exact solutions in general relativity","level":2,"score":0.3472000062465668},{"id":"https://openalex.org/C111110010","wikidata":"https://www.wikidata.org/wiki/Q2627315","display_name":"Convex combination","level":4,"score":0.3393999934196472},{"id":"https://openalex.org/C147700949","wikidata":"https://www.wikidata.org/wiki/Q6042594","display_name":"Integer points in convex polyhedra","level":4,"score":0.33070001006126404},{"id":"https://openalex.org/C2991992277","wikidata":"https://www.wikidata.org/wiki/Q473227","display_name":"Simple cubic lattice","level":3,"score":0.30820000171661377},{"id":"https://openalex.org/C37423430","wikidata":"https://www.wikidata.org/wiki/Q6750281","display_name":"Hull","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C182964748","wikidata":"https://www.wikidata.org/wiki/Q208216","display_name":"Triangle inequality","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C62555958","wikidata":"https://www.wikidata.org/wiki/Q6042601","display_name":"Integer matrix","level":5,"score":0.26339998841285706},{"id":"https://openalex.org/C49870271","wikidata":"https://www.wikidata.org/wiki/Q193657","display_name":"Convex set","level":4,"score":0.258899986743927}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23763334","doi":"https://doi.org/10.5281/zenodo.23763334","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23763334","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.23763335","doi":"https://doi.org/10.5281/zenodo.23763335","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23763335","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.23763334","doi":"https://doi.org/10.5281/zenodo.23763334","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23763334","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/W7224418760","https://openalex.org/W3182724632","https://openalex.org/W7221018716","https://openalex.org/W2159928578","https://openalex.org/W7210278972","https://openalex.org/W7207671656","https://openalex.org/W3134948167","https://openalex.org/W2529045582","https://openalex.org/W2079776607","https://openalex.org/W1990021832"],"abstract_inverted_index":{"Let":[0],"a(n)":[1,88],"be":[2],"the":[3,18,50,85,98,107,112,116,137,141,161],"number":[4],"of":[5,30,111,140],"integer":[6,38,124],"points":[7,114],"(x,":[8],"y)":[9],"with":[10],"|x|^(2/3)":[11],"+":[12],"|y|^(2/3)":[13],"<=":[14],"n^(2/3),":[15],"corresponding":[16],"to":[17,91,154],"OEIS":[19],"sequence":[20],"A216877.":[21],"The":[22,126,143],"original":[23],"entry":[24],"contains":[25],"only":[26,55],"a":[27,92,104,177],"brute-force":[28],"program":[29],"cost":[31],"O(n^2).":[32],"This":[33],"paper":[34],"provides":[35],"an":[36,122],"exact":[37,80,123],"criterion":[39],"for":[40,44,187],"membership,":[41],"proving":[42],"that":[43],"integers":[45],"x,":[46],"y":[47],">=":[48,62,70],"1":[49],"inequality":[51],"holds":[52],"if":[53,56],"and":[54,64,82,171],"n^2":[57],"-":[58,60,66,68],"x^2":[59,67,73],"y^2":[61,75],"0":[63],"(n^2":[65],"y^2)^3":[69],"27":[71],"*":[72,74,76,148],"n^2.":[77],"Using":[78],"this":[79],"test":[81],"algebraic":[83],"symmetry,":[84],"total":[86],"count":[87],"is":[89,121,130,166],"reduced":[90],"single":[93],"monotone":[94],"sum":[95],"S":[96,102],"over":[97,180],"boundary.":[99],"We":[100],"compute":[101],"by":[103,135],"walk":[105],"along":[106],"lower":[108],"convex":[109],"hull":[110],"lattice":[113],"above":[115],"curve,":[117],"where":[118],"every":[119],"decision":[120],"comparison.":[125],"Stern-Brocot":[127],"descent":[128],"step":[129],"solved":[131],"in":[132,168],"closed":[133],"form":[134],"using":[136],"tangent":[138],"point":[139],"astroid.":[142],"algorithm":[144],"requires":[145],"approximately":[146],"1.04":[147],"n^(2/3)":[149],"iterations,":[150],"verified":[151],"numerically":[152],"up":[153],"n":[155,188],"=":[156,164,189],"10^10.":[157],"In":[158],"Python":[159],"3.12,":[160],"value":[162],"a(10^9)":[163],"1,178,097,245,096,271,057":[165],"computed":[167],"5.4":[169],"s,":[170,175],"a(10^10)":[172],"takes":[173],"29":[174],"presenting":[176],"significant":[178],"speedup":[179],"standard":[181],"O(n)":[182],"column-counting":[183],"approaches":[184],"(8.0":[185],"s":[186],"10^6).":[190]},"counts_by_year":[],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2026-10-30T00:00:00"}