{"id":"https://openalex.org/W7220720702","doi":"https://doi.org/10.48550/arxiv.2610.03750","title":"Branch-Sensitive Density Increments for $k$-Configurations","display_name":"Branch-Sensitive Density Increments for $k$-Configurations","publication_year":2026,"publication_date":"2026-09-25","ids":{"openalex":"https://openalex.org/W7220720702","doi":"https://doi.org/10.48550/arxiv.2610.03750"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.03750","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03750","pdf_url":"https://arxiv.org/pdf/2610.03750","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.03750","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5157771362","display_name":"Yao Zhi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhi, Yao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5157771362"],"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.9990000128746033,"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.9990000128746033,"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.0006000000284984708,"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":9.999999747378752e-05,"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/finite-abelian-groups","display_name":"finite abelian groups","score":0.5529999732971191},{"id":"https://openalex.org/keywords/sum-free-sets","display_name":"sum-free sets","score":0.6740000247955322},{"id":"https://openalex.org/keywords/additive-combinatorics","display_name":"additive combinatorics","score":0.6819999814033508},{"id":"https://openalex.org/keywords/lower-bounds","display_name":"lower bounds","score":0.4099999964237213},{"id":"https://openalex.org/keywords/inverse-theorems","display_name":"inverse theorems","score":0.6050000190734863}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8008999824523926},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.7005000114440918},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.5722000002861023},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.4812000095844269},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.47760000824928284},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.46129998564720154},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.4555000066757202},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.4438000023365021},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.44020000100135803},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.3930000066757202},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38280001282691956},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.3718999922275543},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.33739998936653137},{"id":"https://openalex.org/C179254644","wikidata":"https://www.wikidata.org/wiki/Q13222844","display_name":"Moment (physics)","level":2,"score":0.3361999988555908},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.3264000117778778},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.32089999318122864},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C2778049214","wikidata":"https://www.wikidata.org/wiki/Q7512234","display_name":"Sigma","level":2,"score":0.3043999969959259},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.2847000062465668},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.2718000113964081},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.2718000113964081},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.266400009393692},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.2621000111103058},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2540999948978424},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.03750","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03750","pdf_url":"https://arxiv.org/pdf/2610.03750","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.03750","doi":"https://doi.org/10.48550/arxiv.2610.03750","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.03750","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.03750","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.03750","pdf_url":"https://arxiv.org/pdf/2610.03750","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/W7220720702.pdf","grobid_xml":"https://content.openalex.org/works/W7220720702.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W7222926465"],"related_works":["https://openalex.org/W7222926465","https://openalex.org/W4406604542","https://openalex.org/W7212824936","https://openalex.org/W6990507214","https://openalex.org/W2041801929","https://openalex.org/W2794872446","https://openalex.org/W7164573657","https://openalex.org/W2025140962","https://openalex.org/W2317302142","https://openalex.org/W2091823295"],"abstract_inverted_index":{"We":[0,150],"refine":[1],"the":[2,28,39,44,53,83,88,98,118,126,156,177,183,194,198],"density-increment":[3],"argument":[4],"for":[5],"$k$-configurations":[6],"developed":[7],"by":[8,190],"Beker.":[9],"The":[10,74],"point":[11],"is":[12,25,31,77,94],"not":[13],"to":[14,21],"introduce":[15],"a":[16,34,49,62,65,70,132,152],"new":[17],"inverse":[18],"theorem,":[19],"but":[20],"retain":[22],"information":[23],"that":[24],"lost":[26],"when":[27],"graph-counting":[29],"output":[30,93],"compressed":[32],"into":[33],"single":[35],"uniform":[36],"alternative.":[37],"For":[38,131],"transitive":[40],"$K_k$":[41],"appearing":[42],"in":[43,176,186,192],"$k$-configuration":[45,188],"problem":[46],"we":[47],"keep":[48],"fixed":[50],"moment":[51],"throughout":[52],"graph":[54],"recursion":[55],"and":[56,69,110,140,148],"obtain":[57,151],"three":[58],"genuinely":[59],"different":[60],"outputs:":[61],"row-degree":[63],"anomaly,":[64,68],"non-centred":[66],"grid":[67,72],"centred":[71,75],"anomaly.":[73],"case":[76],"treated":[78],"directly":[79],"through":[80,97],"positivity":[81],"of":[82,129,137,143,155],"associated":[84],"Gram":[85],"moments,":[86],"avoiding":[87],"usual":[89],"unbalancing":[90],"step.":[91],"Each":[92],"then":[95],"routed":[96],"appropriate":[99],"local":[100,121],"Kelley--Meka":[101],"mechanism":[102],"with":[103,202],"its":[104],"own":[105],"density":[106,144],"gain,":[107],"rank":[108],"cost,":[109],"width":[111],"cost.":[112],"A":[113],"weighted":[114],"iteration":[115],"budget":[116],"prevents":[117],"most":[119],"expensive":[120],"branches":[122],"from":[123],"being":[124],"charged":[125],"maximal":[127],"number":[128],"times.":[130],"finite":[133],"abelian":[134],"group":[135],"$G$":[136],"odd":[138],"order":[139],"$A\\subseteq":[141],"G$":[142],"$\u03b1$,":[145],"write":[146],"$L=\\log(2/\u03b1)$":[147],"$\u039b=L+\\log(2k)$.":[149],"lower":[153,200],"bound":[154,201],"form":[157],"\\[":[158,172],"\\Pp_{x_1,\\ldots,x_k\\in":[159],"G}\\!\\left(\\frac{x_i+x_j}{2}\\in":[160],"A\\":[161],"\\text{for":[162],"all":[163],"}1\\le":[164],"i\\le":[165],"j\\le":[166],"k\\right)":[167],"\\ge":[168],"\\exp\\!\\bigl(-C\u03a6(k,L,\u039b)\\bigr),":[169],"\\]":[170,174],"where":[171],"\u03a6(k,L,\u039b)=k^{36}L^6\u039b^6+k^{34}L^8\u039b^5+k^{32}L^{14}\u039b+k^{30}L^{16}.":[173],"Consequently,":[175],"Erd\u0151s--Moser":[178],"application":[179],"one":[180],"may":[181],"replace":[182],"exponent":[184,204],"$68$":[185],"Beker's":[187],"route":[189],"$36$;":[191],"particular":[193],"same":[195],"reduction":[196],"yields":[197],"sum-free":[199],"every":[203],"$c<1/36$.":[205]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-07T00:00:00"}