{"id":"https://openalex.org/W7202341246","doi":"https://doi.org/10.48550/arxiv.2608.12207","title":"The Hajnal-Szemer\u00e9di theorem in digraphs revisited","display_name":"The Hajnal-Szemer\u00e9di theorem in digraphs revisited","publication_year":2026,"publication_date":"2026-08-12","ids":{"openalex":"https://openalex.org/W7202341246","doi":"https://doi.org/10.48550/arxiv.2608.12207"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.12207","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12207","pdf_url":"https://arxiv.org/pdf/2608.12207","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/2608.12207","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102592470","display_name":"Yufei Chang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chang, Yufei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004004627","display_name":"Louis DeBiasio","orcid":"https://orcid.org/0000-0002-7569-7952","observed_orcids":["https://orcid.org/0000-0002-7569-7952"]},"institutions":[{"id":"https://openalex.org/I83328450","display_name":"Miami University","ror":"https://ror.org/05nbqxr67","country_code":"US","type":"education","lineage":["https://openalex.org/I83328450"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"DeBiasio, Louis","raw_affiliation_strings":["Department of Mathematics , Miami University , Oxford , OH , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , Miami University , Oxford , OH , USA","institution_ids":["https://openalex.org/I83328450"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111882184","display_name":"Hal A. Kierstead","orcid":"https://orcid.org/0000-0002-3685-3262","observed_orcids":["https://orcid.org/0000-0002-3685-3262"]},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kierstead, H. A.","raw_affiliation_strings":["Arizona State University , Tempe , AZ , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Arizona State University , Tempe , AZ , USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5158683824","display_name":"Shuo Wei","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wei, Shuo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5158755926","display_name":"Jin Yan","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yan, Jin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9692000150680542,"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.9692000150680542,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.029200000688433647,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.00019999999494757503,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/equitable-coloring","display_name":"equitable coloring","score":0.8730000257492065},{"id":"https://openalex.org/keywords/directed-graphs","display_name":"directed graphs","score":0.8009999990463257},{"id":"https://openalex.org/keywords/acyclic-coloring","display_name":"acyclic coloring","score":0.734000027179718},{"id":"https://openalex.org/keywords/feedback-arc-set","display_name":"feedback arc set","score":0.7919999957084656},{"id":"https://openalex.org/keywords/degree-conditions","display_name":"degree conditions","score":0.5120000243186951},{"id":"https://openalex.org/keywords/polynomial-time-algorithms","display_name":"polynomial-time algorithms","score":0.6299999952316284},{"id":"https://openalex.org/keywords/oriented-graphs","display_name":"oriented graphs","score":0.75},{"id":"https://openalex.org/keywords/equitable-partitions","display_name":"equitable partitions","score":0.34599998593330383}],"concepts":[{"id":"https://openalex.org/C2779145032","wikidata":"https://www.wikidata.org/wiki/Q191494","display_name":"Digraph","level":2,"score":0.8190000057220459},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8040000200271606},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6913999915122986},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6657000184059143},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5623999834060669},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5307000279426575},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5203999876976013},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5120999813079834},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4997999966144562},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.45350000262260437},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.40529999136924744},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.3788999915122986},{"id":"https://openalex.org/C136134351","wikidata":"https://www.wikidata.org/wiki/Q431937","display_name":"Antichain","level":3,"score":0.36160001158714294},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.34529998898506165},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3386000096797943},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C38754835","wikidata":"https://www.wikidata.org/wiki/Q2003238","display_name":"Strongly connected component","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C48540410","wikidata":"https://www.wikidata.org/wiki/Q5221089","display_name":"Danskin's theorem","level":4,"score":0.26409998536109924},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C2776548862","wikidata":"https://www.wikidata.org/wiki/Q2694495","display_name":"Existence theorem","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.12207","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12207","pdf_url":"https://arxiv.org/pdf/2608.12207","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.2608.12207","doi":"https://doi.org/10.48550/arxiv.2608.12207","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.12207","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:2608.12207","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.12207","pdf_url":"https://arxiv.org/pdf/2608.12207","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/W7202341246.pdf","grobid_xml":"https://content.openalex.org/works/W7202341246.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W7162546511","https://openalex.org/W7202270081"],"related_works":["https://openalex.org/W7095540576","https://openalex.org/W2136086442","https://openalex.org/W2084709397","https://openalex.org/W4384644315","https://openalex.org/W7141104994","https://openalex.org/W2101846098","https://openalex.org/W4380927908","https://openalex.org/W1984962539","https://openalex.org/W7213563840","https://openalex.org/W6941232944"],"abstract_inverted_index":{"The":[0,83],"Hajnal--Szemer\u00e9di":[1,90,137],"theorem":[2,39,91],"states":[3],"that":[4,37,87,106],"every":[5,107],"graph":[6],"with":[7,110],"$\u0394(G)\\le":[8],"k-1$":[9],"admits":[10],"an":[11],"equitable":[12,49,70],"$k$-coloring.":[13],"Using":[14],"a":[15,116,119],"reduction":[16,85,166],"implicit":[17],"in":[18,63,80],"Aboulker,":[19],"Oijid,":[20],"Petit,":[21],"Rocton,":[22],"and":[23,113,123,133,143],"Simon":[24],"(which":[25],"itself":[26],"builds":[27],"on":[28],"the":[29,60,65,69,88,102,127,135,165],"literature":[30],"surrounding":[31],"feedback":[32],"arc":[33],"sets),":[34],"we":[35],"prove":[36],"this":[38,149],"is":[40,92],"equivalent":[41,93],"to":[42,94],"each":[43],"of":[44,59,104,121,139,148],"four":[45,96],"digraph":[46,97,109],"analogues":[47],"guaranteeing":[48],"acyclic":[50,71],"$k$-colorings":[51],"under":[52],"various":[53],"degree":[54],"conditions.":[55],"A":[56],"minor":[57],"modification":[58],"proof":[61],"method":[62],"makes":[64],"construction":[66],"algorithmic,":[67],"so":[68],"coloring":[72],"guaranteed":[73],"by":[74,125],"these":[75],"statements":[76],"can":[77],"be":[78],"found":[79],"polynomial":[81],"time.":[82],"same":[84],"shows":[86],"Ore-type":[89,129],"its":[95],"analogues.":[98],"These":[99],"equivalences":[100],"settle":[101],"conjecture":[103],"Treglown":[105,124],"$n$-vertex":[108],"$r\\mid":[111],"n$":[112],"$\u03b4^{\\max}(D)\\ge(1-\\frac{1}{r})n$":[114],"contains":[115],"$T_r$-factor,":[117],"answer":[118],"question":[120],"Molla":[122,144],"determining":[126],"exact":[128],"threshold":[130],"for":[131,156],"$T_r$-factors,":[132],"recover":[134],"directed":[136],"theorems":[138],"Czygrinow,":[140],"DeBiasio,":[141],"Kierstead,":[142],"as":[145],"immediate":[146],"corollaries":[147],"reduction.":[150],"We":[151],"also":[152],"discuss":[153],"related":[154],"problems":[155],"oriented":[157],"graphs":[158],"which":[159],"do":[160],"not":[161],"follow":[162],"immediately":[163],"from":[164],"mentioned":[167],"above.":[168]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-08-14T00:00:00"}