{"id":"https://openalex.org/W2257780796","doi":"https://doi.org/10.1137/15m1007355","title":"A Polynomial Regularity Lemma for Semialgebraic Hypergraphs and Its Applications in Geometry and Property Testing","display_name":"A Polynomial Regularity Lemma for Semialgebraic Hypergraphs and Its Applications in Geometry and Property Testing","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2257780796","doi":"https://doi.org/10.1137/15m1007355","mag":"2257780796"},"language":"en","primary_location":{"id":"doi:10.1137/15m1007355","is_oa":false,"landing_page_url":"https://doi.org/10.1137/15m1007355","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1502.01730","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112361944","display_name":"Jacob Fox","orcid":"https://orcid.org/0000-0002-0664-497X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jacob Fox","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032398271","display_name":"J\u00e1nos Pach","orcid":"https://orcid.org/0000-0002-2389-2035"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J\u00e1nos Pach","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5085420480","display_name":"Andrew Suk","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrew Suk","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5112361944"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.318,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.90836466,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"45","issue":"6","first_page":"2199","last_page":"2223"},"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.9997000098228455,"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.9997000098228455,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9994999766349792,"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8177812099456787},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.7362767457962036},{"id":"https://openalex.org/keywords/hypergraph","display_name":"Hypergraph","score":0.7261818051338196},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7117722034454346},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5768032073974609},{"id":"https://openalex.org/keywords/algebraic-geometry","display_name":"Algebraic geometry","score":0.5704222321510315},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5384931564331055},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5110031366348267},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.510064423084259},{"id":"https://openalex.org/keywords/homogeneous","display_name":"Homogeneous","score":0.4826372265815735},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4508424401283264},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.23178350925445557}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8177812099456787},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.7362767457962036},{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.7261818051338196},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7117722034454346},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5768032073974609},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.5704222321510315},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5384931564331055},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5110031366348267},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.510064423084259},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.4826372265815735},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4508424401283264},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.23178350925445557},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1137/15m1007355","is_oa":false,"landing_page_url":"https://doi.org/10.1137/15m1007355","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:real.mtak.hu:46133","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:arXiv.org:1502.01730","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1502.01730","pdf_url":"https://arxiv.org/pdf/1502.01730","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"mag:2257780796","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1502.01730","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:infoscience.epfl.ch:225736","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/225736","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.48550/arxiv.1502.01730","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1502.01730","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1502.01730","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1502.01730","pdf_url":"https://arxiv.org/pdf/1502.01730","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":[],"awards":[{"id":"https://openalex.org/G1244784362","display_name":null,"funder_award_id":"DMS-1500153","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G627223558","display_name":null,"funder_award_id":"200020-162884","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G8310041770","display_name":null,"funder_award_id":"200021-165977","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G875320935","display_name":null,"funder_award_id":"DMS 1352121","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320326184","display_name":"Hungarian Science Foundation","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1487872891","https://openalex.org/W1551595104","https://openalex.org/W1592859567","https://openalex.org/W1664849218","https://openalex.org/W1691611448","https://openalex.org/W1780823682","https://openalex.org/W1970630090","https://openalex.org/W1977098616","https://openalex.org/W1984324531","https://openalex.org/W1985538939","https://openalex.org/W1994366967","https://openalex.org/W2017095216","https://openalex.org/W2018925011","https://openalex.org/W2019367452","https://openalex.org/W2019475553","https://openalex.org/W2022387345","https://openalex.org/W2028140545","https://openalex.org/W2034752889","https://openalex.org/W2043872822","https://openalex.org/W2047230132","https://openalex.org/W2050459520","https://openalex.org/W2052318581","https://openalex.org/W2053910492","https://openalex.org/W2058889860","https://openalex.org/W2059155916","https://openalex.org/W2061845601","https://openalex.org/W2067339112","https://openalex.org/W2068685569","https://openalex.org/W2076599430","https://openalex.org/W2083179104","https://openalex.org/W2085878382","https://openalex.org/W2110354774","https://openalex.org/W2115738326","https://openalex.org/W2141370238","https://openalex.org/W2144475416","https://openalex.org/W2149054878","https://openalex.org/W2153710291","https://openalex.org/W2160594140","https://openalex.org/W2161620758","https://openalex.org/W2167816765","https://openalex.org/W2244396186","https://openalex.org/W2338992247","https://openalex.org/W2952337821","https://openalex.org/W3083751883","https://openalex.org/W4251160190"],"related_works":["https://openalex.org/W2952685556","https://openalex.org/W2405333517","https://openalex.org/W1995043396","https://openalex.org/W2022387345","https://openalex.org/W1691611448","https://openalex.org/W2799781558","https://openalex.org/W2290305099","https://openalex.org/W2044011276","https://openalex.org/W2061886541","https://openalex.org/W2772529464","https://openalex.org/W2531891315","https://openalex.org/W2344557181","https://openalex.org/W1899808675","https://openalex.org/W2167816765","https://openalex.org/W2794535202","https://openalex.org/W912003938","https://openalex.org/W2951914524","https://openalex.org/W1705463008","https://openalex.org/W2037609605","https://openalex.org/W2964350138"],"abstract_inverted_index":{"In":[0,12,89],"this":[1],"paper,":[2],"we":[3,14,91,209],"prove":[4,210],"several":[5],"extremal":[6],"results":[7],"for":[8,48,113,163,172,272,277],"geometrically":[9],"defined":[10],"hypergraphs.":[11],"particular,":[13,90],"establish":[15,92],"an":[16,199,269],"improved":[17,225],"lower":[18,66],"bound,":[19],"single":[20],"exponentially":[21,77],"decreasing":[22],"in":[23,79,222,252],"$k$,":[24],"on":[25,68,240],"the":[26,32,93,97,128,142,175,193,202,212,236,253,256],"best":[27,63],"constant":[28],"$\\delta>0$":[29],"such":[30],"that":[31,130,171,196,211],"vertex":[33,176],"classes":[34],"$P_1,\\ldots,P_k$":[35],"of":[36,86,96,101,121,151,167,186,190,201,204,214,255,280],"every":[37,131],"$k$-partite":[38],"$k$-uniform":[39,165],"semialgebraic":[40,164,278],"hypergraph":[41,261],"$H=(P_1\\cup\\cdots\\cup":[42],"P_k,":[43],"E)$":[44],"with":[45,127,248],"$|E|\\ge\\varepsilon\\Pi_{j=1}^k|P_i|$":[46],"have,":[47,112],"$1":[49,114],"\\leq":[50,52,115,117],"i":[51,116],"k$,":[53,118],"$\\delta|P_i|$-element":[54],"subsets":[55,119],"$P'_i\\subseteq":[56],"P_i$":[57],"satisfying":[58],"$P_{1}'\\times\\cdots\\times":[59],"P_{k}'\\subseteq":[60],"E$.":[61],"The":[62],"previously":[64],"known":[65],"bound":[67],"$\\delta$":[69],"due":[70],"to":[71,219,231,235,246],"Bukh":[72],"and":[73,103,156,192,234],"Hubard":[74],"decreased":[75],"triple":[76],"fast":[78],"$k$.":[80],"We":[81,146,267],"give":[82,268],"three":[83],"geometric":[84,232],"applications":[85],"our":[87],"results.":[88],"following":[94,237],"strengthening":[95],"so-called":[98],"same-type":[99],"lemma":[100,162,227],"B\u00e1r\u00e1ny":[102],"Valtr:":[104],"Any":[105],"disjoint":[106],"finite":[107],"sets":[108],"$P_1,\\ldots,P_k\\subset":[109],"\\mathbb{R}^d\\;":[110],"(k>d)$":[111],"$P'_i$":[120,140],"size":[122],"at":[123],"least":[124],"$2^{-O(d^3k\\log":[125],"k)}|P_i|$":[126],"property":[129,241],"$k$-tuple":[132],"formed":[133],"by":[134],"taking":[135],"one":[136],"point":[137],"from":[138],"each":[139,173],"has":[141,262],"same":[143],"order":[144],"type.":[145],"also":[147],"improve":[148],"a":[149,160,183,260,263],"result":[150],"Fox,":[152],"Gromov,":[153],"Lafforgue,":[154],"Naor,":[155],"Pach,":[157],"who":[158],"established":[159],"regularity":[161,226],"hypergraphs":[166,279],"bounded":[168,184,281],"complexity,":[169],"showing":[170],"$\\varepsilon>0$":[174],"set":[177],"can":[178,216,228],"be":[179,217,220,229],"equitably":[180],"partitioned":[181],"into":[182],"number":[185,213],"parts":[187,205,215],"(in":[188],"terms":[189],"$\\varepsilon$":[191],"complexity)":[194],"so":[195],"all":[197],"but":[198],"$\\varepsilon$-fraction":[200],"$k$-tuples":[203],"are":[206],"homogeneous.":[207],"Here,":[208],"taken":[218],"polynomial":[221,251],"$1/\\varepsilon$.":[223],"Our":[224],"applied":[230],"problems":[233],"general":[238],"question":[239],"testing:":[242],"is":[243],"it":[244],"possible":[245],"decide,":[247],"query":[249],"complexity":[250],"reciprocal":[254],"approximation":[257],"parameter,":[258],"whether":[259],"given":[264],"hereditary":[265,275],"property?":[266],"affirmative":[270],"answer":[271],"testing":[273],"typical":[274],"properties":[276],"complexity.":[282]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2022-10-05T00:00:00"}