{"id":"https://openalex.org/W7220724563","doi":"https://doi.org/10.48550/arxiv.2610.04194","title":"Sparse coloring for isosceles-free grids: an AI-assisted proof case study","display_name":"Sparse coloring for isosceles-free grids: an AI-assisted proof case study","publication_year":2026,"publication_date":"2026-10-03","ids":{"openalex":"https://openalex.org/W7220724563","doi":"https://doi.org/10.48550/arxiv.2610.04194"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.04194","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04194","pdf_url":"https://arxiv.org/pdf/2610.04194","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/2610.04194","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026655998","display_name":"Yu Song","orcid":"https://orcid.org/0000-0003-2309-716X","observed_orcids":["https://orcid.org/0000-0003-2309-716X"]},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Song, Yukai","raw_affiliation_strings":["University of Pittsburgh"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pittsburgh","institution_ids":["https://openalex.org/I170201317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5026655998"],"corresponding_institution_ids":["https://openalex.org/I170201317"],"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9955999851226807,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9955999851226807,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.0026000000070780516,"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/T11166","display_name":"Analytic Number Theory Research","score":0.0010000000474974513,"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/maximum-degree","display_name":"maximum degree","score":0.40299999713897705},{"id":"https://openalex.org/keywords/codex","display_name":"codices","score":0.6000000238418579},{"id":"https://openalex.org/keywords/proof-verification","display_name":"proof verification","score":0.45500001311302185},{"id":"https://openalex.org/keywords/enumerators","display_name":"enumerators","score":0.46299999952316284},{"id":"https://openalex.org/keywords/extremal-combinatorics","display_name":"extremal combinatorics","score":0.6629999876022339}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6292999982833862},{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.5306000113487244},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49810001254081726},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.49309998750686646},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4733999967575073},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.4011000096797943},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.37709999084472656},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.37689998745918274},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3452000021934509},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3384999930858612},{"id":"https://openalex.org/C98653994","wikidata":"https://www.wikidata.org/wiki/Q875937","display_name":"Isosceles triangle","level":2,"score":0.32760000228881836},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.31929999589920044},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C123809776","wikidata":"https://www.wikidata.org/wiki/Q1050972","display_name":"Edge coloring","level":5,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.04194","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04194","pdf_url":"https://arxiv.org/pdf/2610.04194","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.2610.04194","doi":"https://doi.org/10.48550/arxiv.2610.04194","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.04194","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:2610.04194","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.04194","pdf_url":"https://arxiv.org/pdf/2610.04194","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/W7220724563.pdf","grobid_xml":"https://content.openalex.org/works/W7220724563.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W2311532701","https://openalex.org/W4404345261","https://openalex.org/W4414750135","https://openalex.org/W4415057373","https://openalex.org/W7125422972","https://openalex.org/W7165042036","https://openalex.org/W7214900988"],"related_works":["https://openalex.org/W7214759376","https://openalex.org/W7222617930","https://openalex.org/W3014436669","https://openalex.org/W7203739000","https://openalex.org/W7222891529","https://openalex.org/W7221588496","https://openalex.org/W7221134280","https://openalex.org/W3134823363","https://openalex.org/W7118481578","https://openalex.org/W4393161644"],"abstract_inverted_index":{"We":[0,24,97],"study":[1],"the":[2,10,31,56,63,142,147,167],"largest":[3],"size":[4],"$C(n)$":[5],"of":[6,9,36,71],"a":[7,69,80,121,126],"subset":[8],"$n\\times":[11],"n$":[12],"integer":[13],"grid":[14],"containing":[15],"no":[16],"isosceles":[17],"triple,":[18],"including":[19],"equally":[20,148],"spaced":[21,149],"collinear":[22,150],"triples.":[23,151],"prove":[25],"$C(n)=\u03a9\\left(n\\sqrt{\\log\\log":[26],"n/\\log":[27],"n}\\right)$":[28],"by":[29,68],"applying":[30],"sparse":[32],"hypergraph":[33],"coloring":[34],"theorem":[35,117,169],"Cooper":[37],"and":[38,42,50,89,95,105,114,119,159],"Mubayi.":[39],"Elementary":[40],"geometry":[41],"primitive-direction":[43],"counts":[44],"give":[45],"maximum":[46],"degree":[47],"$O(n^2\\log":[48],"n)$":[49],"pair-codegree":[51],"at":[52],"most":[53],"$5n$":[54],"for":[55,137],"forbidden-triple":[57],"hypergraph.":[58],"The":[59],"resulting":[60],"bound":[61],"improves":[62],"explicit":[64],"guarantee":[65],"in":[66,116],"PatternBoost":[67],"factor":[70],"order":[72],"$\\sqrt{\\log\\log":[73],"n}$.":[74],"Recovered":[75],"interaction":[76],"records":[77,153],"document":[78,154],"how":[79],"Codex":[81],"literature":[82],"proposal,":[83],"human":[84,157],"route":[85],"selection,":[86],"finite":[87,127,160],"verification,":[88],"author-relayed":[90],"review":[91],"informed":[92],"proof":[93,103],"synthesis":[94],"repair.":[96],"connect":[98],"these":[99],"actions":[100],"to":[101,124],"successive":[102],"artifacts":[104],"extract":[106],"two":[107],"case-derived":[108],"checking":[109],"practices:":[110],"tracking":[111],"objects,":[112],"parameters":[113],"conclusions":[115],"applications,":[118],"seeding":[120],"definitional":[122],"omission":[123],"test":[125],"verifier.":[128],"Separately":[129],"implemented":[130],"enumerators":[131],"agree":[132],"on":[133],"complete":[134],"edge":[135],"sets":[136],"every":[138],"$2\\le":[139],"n\\le12$;":[140],"suppressing":[141],"degenerate-case":[143],"branch":[144],"loses":[145],"exactly":[146],"These":[152],"assistance":[155],"under":[156],"direction,":[158],"checks":[161],"support":[162],"implementation":[163],"consistency":[164],"rather":[165],"than":[166],"asymptotic":[168],"itself.":[170]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-07T00:00:00"}