{"id":"https://openalex.org/W7214109458","doi":"https://doi.org/10.48550/arxiv.2609.25133","title":"Certified computations on no-three-in-line problems: exact values and witnesses in the cube, and the Guy-Kelly count in the plane","display_name":"Certified computations on no-three-in-line problems: exact values and witnesses in the cube, and the Guy-Kelly count in the plane","publication_year":2026,"publication_date":"2026-09-20","ids":{"openalex":"https://openalex.org/W7214109458","doi":"https://doi.org/10.48550/arxiv.2609.25133"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.25133","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.25133","pdf_url":"https://arxiv.org/pdf/2609.25133","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/2609.25133","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5147790483","display_name":"Aleksei Kudriashov","orcid":"https://orcid.org/0009-0006-8885-5338","observed_orcids":["https://orcid.org/0009-0006-8885-5338"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kudriashov, Aleksei","raw_affiliation_strings":["Nusa Dua Studio , Nusa Dua , Bali , Indonesia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nusa Dua Studio , Nusa Dua , Bali , Indonesia","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5147790483"],"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.6669999957084656,"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"}},"topics":[{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.6669999957084656,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.09780000150203705,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.06260000169277191,"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/no-three-in-line-problem","display_name":"no-three-in-line problem","score":0.9819999933242798},{"id":"https://openalex.org/keywords/exact-enumeration","display_name":"exact enumeration","score":0.4779999852180481},{"id":"https://openalex.org/keywords/certified-computation","display_name":"certified computation","score":0.5440000295639038},{"id":"https://openalex.org/keywords/lower-bounds","display_name":"lower bounds","score":0.5419999957084656},{"id":"https://openalex.org/keywords/point-sets","display_name":"point sets","score":0.4440000057220459},{"id":"https://openalex.org/keywords/discrete-geometry","display_name":"combinatorial geometry","score":0.49000000953674316},{"id":"https://openalex.org/keywords/cyclic-symmetry","display_name":"cyclic symmetry","score":0.3330000042915344}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7569000124931335},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6272000074386597},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5562999844551086},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.5394999980926514},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.45500001311302185},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4422999918460846},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.43209999799728394},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.39329999685287476},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.37950000166893005},{"id":"https://openalex.org/C32834561","wikidata":"https://www.wikidata.org/wiki/Q660730","display_name":"Subspace topology","level":2,"score":0.36579999327659607},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.3637999892234802},{"id":"https://openalex.org/C17825722","wikidata":"https://www.wikidata.org/wiki/Q17285","display_name":"Plane (geometry)","level":2,"score":0.35530000925064087},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.3098999857902527},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C54829058","wikidata":"https://www.wikidata.org/wiki/Q172937","display_name":"Polyhedron","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.25133","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.25133","pdf_url":"https://arxiv.org/pdf/2609.25133","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.2609.25133","doi":"https://doi.org/10.48550/arxiv.2609.25133","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.25133","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":"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":"pmh:oai:arXiv.org:2609.25133","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.25133","pdf_url":"https://arxiv.org/pdf/2609.25133","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/W7214109458.pdf","grobid_xml":"https://content.openalex.org/works/W7214109458.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W7128537617","https://openalex.org/W7133310102","https://openalex.org/W7160949440","https://openalex.org/W7167585037","https://openalex.org/W7207607439","https://openalex.org/W7223505682"],"related_works":["https://openalex.org/W7203739000","https://openalex.org/W7203901244","https://openalex.org/W7128555471","https://openalex.org/W2041113155","https://openalex.org/W7206972269","https://openalex.org/W2043950408","https://openalex.org/W7204044763","https://openalex.org/W7204031112","https://openalex.org/W4210767317","https://openalex.org/W7097709669"],"abstract_inverted_index":{"We":[0,59],"report":[1],"certified":[2,74],"computations":[3],"on":[4,244,252],"four":[5,131,146,186],"no-three-in-line":[6],"questions,":[7],"two":[8,13],"in":[9,14,225,325],"the":[10,15,47,126,150,169,193,208,229,245,248,260,272,294,326],"cube":[11],"and":[12,92,119,153,180,237,280,299],"plane,":[16],"by":[17,29,278],"one":[18],"method:":[19],"exact":[20,213],"decision":[21],"procedures":[22],"inside":[23],"symmetry":[24,189],"strata,":[25],"every":[26,36,98],"witness":[27],"re-verified":[28],"a":[30,40,104,300],"second":[31],"program":[32],"sharing":[33],"no":[34,55,130,195,304],"code,":[35],"number":[37,49,128],"traced":[38],"to":[39,216,242],"public":[41,135],"journal.":[42],"(I)":[43],"Let":[44],"a(n)":[45],"be":[46,276],"largest":[48,127],"of":[50,52,147,188,247,293],"points":[51],"{0,...,n-1}^3":[53],"with":[54,69,129,192,255,303],"three":[56],"collinear":[57],"(A399138).":[58],"determine":[60],"a(1),...,a(6)":[61],"=":[62,117,121,178,184,218,233],"1,":[63],"8,":[64],"16,":[65],"28,":[66],"40,":[67],"64":[68],"DRAT-certified":[70],"unsatisfiability":[71],"proofs,":[72],"give":[73,137],"lower":[75,138],"bounds":[76,139,152],"a(7)":[77],">=":[78,81,84,87,90,95,158,161,164,167],"73,":[79],"a(8)":[80],"94,":[82],"a(9)":[83],"116,":[85],"a(10)":[86],"138,":[88],"a(11)":[89],"164,":[91],"prove":[93],"a(p)":[94],"p^2":[96],"for":[97,140,207],"prime":[99],"p.":[100],"The":[101,203,290],"optima":[102],"share":[103],"layer":[105],"structure":[106],"2n^2":[107],"-":[108],"2n":[109],"+":[110],"4":[111],"that":[112],"provably":[113],"fails":[114],"at":[115,176,182],"n":[116,120,143,177,183,217,232,253],"5":[118],"7.":[122],"(II)":[123],"For":[124],"b(n),":[125],"coplanar":[132],"(A280537),":[133],"nineteen":[134],"configurations":[136],"9":[141,179],"<=":[142,144],"29,":[145],"which":[148,269],"improve":[149],"known":[151],"their":[154],"monotone":[155],"closure":[156],"(b(12)":[157],"31,":[159],"b(21)":[160],"47,":[162],"b(22)":[163],"49,":[165],"b(27)":[166],"56);":[168],"cyclically":[170],"invariant":[171],"subspace":[172],"has":[173],"maximum":[174],"23":[175],"26":[181],"10;":[185],"kinds":[187],"are":[190,323],"incompatible":[191],"problem;":[194],"upper":[196],"bound":[197],"beyond":[198],"3n":[199],"is":[200,210,235,240,263,297],"known.":[201],"(III)":[202],"Guy-Kelly":[204],"first-moment":[205],"heuristic":[206],"plane":[209],"audited":[211],"against":[212],"counts":[214],"(A000755":[215],"20):":[219],"its":[220,238,308,319],"corrected":[221],"constant":[222,273],"comes":[223],"out":[224],"closed":[226],"form,":[227],"pi/sqrt(3),":[228],"threshold":[230],"crossing":[231],"493":[234],"reproduced,":[236],"error":[239,262],"shown":[241],"depend":[243],"shape":[246,309],"question":[249],"rather":[250],"than":[251],"alone,":[254],"an":[256],"unbounded":[257],"multiplier;":[258],"whether":[259,271],"residual":[261],"Theta(n)":[264],"or":[265],"Theta(n":[266],"ln":[267],"n),":[268],"decides":[270],"survives,":[274],"cannot":[275],"told":[277],"counting,":[279],"we":[281,287],"measure":[282],"how":[283],"far":[284],"from":[285],"telling":[286],"are.":[288],"(IV)":[289],"direction":[291],"spectrum":[292],"2n-point":[295],"solutions":[296],"measured,":[298],"line":[301],"model":[302],"fitted":[305],"parameter":[306],"reproduces":[307],"(fifteen":[310],"constants":[311],"within":[312],"12%,":[313],"seven":[314],"predicted":[315],"blind)":[316],"but":[317],"not":[318,334],"scale.":[320],"Withdrawn":[321],"claims":[322],"kept":[324],"text;":[327],"each":[328],"part":[329],"states":[330],"what":[331],"it":[332],"does":[333],"establish.":[335]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-24T00:00:00"}