{"id":"https://openalex.org/W2806608284","doi":"https://doi.org/10.1137/18m1217978","title":"Flipping Out with Many Flips: Hardness of Testing $k$-Monotonicity","display_name":"Flipping Out with Many Flips: Hardness of Testing $k$-Monotonicity","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2806608284","doi":"https://doi.org/10.1137/18m1217978","mag":"2806608284"},"language":"en","primary_location":{"id":"doi:10.1137/18m1217978","is_oa":false,"landing_page_url":"https://doi.org/10.1137/18m1217978","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"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 Discrete Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1705.04205","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090091569","display_name":"Elena Grigorescu","orcid":"https://orcid.org/0000-0001-9673-4313"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Elena Grigorescu","raw_affiliation_strings":["Purdue University West Lafayette, West Lafayette, United States"],"affiliations":[{"raw_affiliation_string":"Purdue University West Lafayette, West Lafayette, United States","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100755285","display_name":"Akash Kumar","orcid":"https://orcid.org/0000-0001-7125-1737"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Akash Kumar","raw_affiliation_strings":["Purdue University West Lafayette, West Lafayette, United States"],"affiliations":[{"raw_affiliation_string":"Purdue University West Lafayette, West Lafayette, United States","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042196132","display_name":"Karl Wimmer","orcid":null},"institutions":[{"id":"https://openalex.org/I165102784","display_name":"Duquesne University","ror":"https://ror.org/02336z538","country_code":"US","type":"education","lineage":["https://openalex.org/I165102784"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karl Wimmer","raw_affiliation_strings":["Duquesne University, Pittsburgh, United States"],"affiliations":[{"raw_affiliation_string":"Duquesne University, Pittsburgh, United States","institution_ids":["https://openalex.org/I165102784"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5090091569"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00481182,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"33","issue":"4","first_page":"2111","last_page":"2125"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9889000058174133,"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"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9889000058174133,"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/T11106","display_name":"Data Management and Algorithms","score":0.9513000249862671,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9438999891281128,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.7492043972015381},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.7476441860198975},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.631353497505188},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.5861319303512573},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49657517671585083},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4808867275714874},{"id":"https://openalex.org/keywords/property-testing","display_name":"Property testing","score":0.4719977378845215},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3911835551261902},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12830641865730286},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07153284549713135}],"concepts":[{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.7492043972015381},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.7476441860198975},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.631353497505188},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.5861319303512573},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49657517671585083},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4808867275714874},{"id":"https://openalex.org/C123842658","wikidata":"https://www.wikidata.org/wiki/Q2918980","display_name":"Property testing","level":2,"score":0.4719977378845215},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3911835551261902},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12830641865730286},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07153284549713135},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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/18m1217978","is_oa":false,"landing_page_url":"https://doi.org/10.1137/18m1217978","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"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 Discrete Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1705.04205","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1705.04205","pdf_url":"https://arxiv.org/pdf/1705.04205","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":"","raw_type":"text"},{"id":"mag:2950398502","is_oa":true,"landing_page_url":"https://www.arxiv.org/abs/1705.04205","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:drops-oai.dagstuhl.de:9444","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX-RANDOM.2018.40","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"InProceedings"},{"id":"doi:10.48550/arxiv.1705.04205","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1705.04205","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"},{"id":"doi:10.4230/lipics.approx-random.2018.40","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.approx-random.2018.40","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1705.04205","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1705.04205","pdf_url":"https://arxiv.org/pdf/1705.04205","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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2283202622","display_name":null,"funder_award_id":"CCF-1618918","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5465299154","display_name":null,"funder_award_id":"NSF CCF-1649515","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G697731757","display_name":"EAGER:   Complexity of Computation on Codes and Lattices","funder_award_id":"1649515","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G80611279","display_name":null,"funder_award_id":"CCF-1649515","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1786299627","https://openalex.org/W1970630090","https://openalex.org/W1983415430","https://openalex.org/W1986542077","https://openalex.org/W1992650621","https://openalex.org/W2016443407","https://openalex.org/W2018925011","https://openalex.org/W2037773642","https://openalex.org/W2048325432","https://openalex.org/W2073966617","https://openalex.org/W2083766801","https://openalex.org/W2100732817","https://openalex.org/W2105984887","https://openalex.org/W2116455242","https://openalex.org/W2964194804","https://openalex.org/W3004537778","https://openalex.org/W3023302315","https://openalex.org/W4235805661","https://openalex.org/W4249956697"],"related_works":["https://openalex.org/W2155999790","https://openalex.org/W2952283305","https://openalex.org/W2989566892","https://openalex.org/W3142335819","https://openalex.org/W2897860414","https://openalex.org/W2989709431","https://openalex.org/W1972957003","https://openalex.org/W2950737715","https://openalex.org/W1976579329","https://openalex.org/W2611095779","https://openalex.org/W1998960351","https://openalex.org/W2399207014","https://openalex.org/W1876030665","https://openalex.org/W2345533269","https://openalex.org/W3209059903","https://openalex.org/W3000192473","https://openalex.org/W2294958883","https://openalex.org/W2319237320","https://openalex.org/W2952000975","https://openalex.org/W3203316337"],"abstract_inverted_index":{"A":[0],"function":[1],"$f:\\{0,1\\}^n\\rightarrow":[2],"\\{0,1\\}$":[3],"is":[4,47],"said":[5],"to":[6],"be":[7],"$k$-monotone":[8,91,129],"if":[9],"it":[10],"flips":[11],"between":[12],"0":[13],"and":[14,33,43,99,143],"1":[15],"at":[16],"most":[17],"$k$":[18],"times":[19],"on":[20,119,161,170],"every":[21],"ascending":[22],"chain.":[23],"Such":[24],"functions":[25,92,121,130,208,210],"represent":[26],"a":[27,50,66,188],"natural":[28],"generalization":[29,67],"of":[30,49,56,61,68,90,96,111,183,205,222],"(1-)monotone":[31],"functions,":[32],"have":[34],"been":[35],"recently":[36],"studied":[37],"in":[38,53,75,93,131,180],"circuit":[39],"complexity,":[40],"PAC":[41],"learning,":[42],"cryptography.":[44],"Our":[45],"work":[46],"part":[48],"renewed":[51],"focus":[52],"understanding":[54],"testability":[55,110],"properties":[57],"characterized":[58,113],"by":[59,114,140],"freeness":[60,115],"arbitrary":[62],"order":[63,117],"patterns":[64,118],"as":[65],"monotonicity.":[69],"Recently,":[70],"Canonne":[71],"et":[72,101],"al.":[73,102],"[Innovations":[74],"Theoretical":[76],"Computer":[77],"Science,":[78],"Schloss-Dagstuhl--Leibniz-Zentrum":[79],"f\u00fcr":[80],"Informatik":[81],"GmBH,":[82],"Wadern,":[83],"Germany,":[84],"2017,":[85,106],"29]":[86],"initiate":[87],"the":[88,94,123,132,171,201],"study":[89,109,128],"area":[95],"property":[97,136],"testing,":[98],"Newman":[100],"[SODA,":[103],"SIAM,":[104],"Philadelphia,":[105],"pp.":[107,151],"1582--1597]":[108],"families":[112],"from":[116,209,214],"real-valued":[120],"over":[122],"line":[124],"$[n]$":[125],"domain.":[126],"We":[127],"more":[133],"relaxed":[134],"parametrized":[135],"testing":[137,162,168,192],"model,":[138],"introduced":[139],"Parnas,":[141],"Ron,":[142],"Rubinfeld":[144],"[J.":[145],"Comput.":[146],"System":[147],"Sci.,":[148],"72":[149],"(2006),":[150],"1012--1042].":[152],"In":[153],"this":[154],"process":[155],"we":[156,165],"show":[157,166],"strong":[158],"lower":[159],"bounds":[160],"$k$-monotonicity.":[163],"Specifically,":[164],"that":[167,211],"2-monotonicity":[169],"hypercube":[172],"nonadaptively":[173],"with":[174,191],"one-sided":[175],"error":[176],"requires":[177,218],"an":[178,219],"exponential":[179,220],"$\\sqrt{n}$":[181],"number":[182,221],"queries.":[184,198,223],"This":[185],"behavior":[186],"shows":[187],"stark":[189],"contrast":[190],"(1-)monotonicity,":[193],"which":[194],"only":[195],"needs":[196],"$\\tilde{O}\\mleft(\\sqrt{n}\\mright)$":[197],"Furthermore,":[199],"even":[200],"apparently":[202],"easier":[203],"task":[204],"distinguishing":[206],"2-monotone":[207],"are":[212],"far":[213],"being":[215],"$n^{.01}$-monotone":[216],"also":[217]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}