{"id":"https://openalex.org/W2985710443","doi":"https://doi.org/10.1137/21m1397246","title":"Testing Linear-Invariant Properties","display_name":"Testing Linear-Invariant Properties","publication_year":2022,"publication_date":"2022-07-21","ids":{"openalex":"https://openalex.org/W2985710443","doi":"https://doi.org/10.1137/21m1397246","mag":"2985710443"},"language":"en","primary_location":{"id":"doi:10.1137/21m1397246","is_oa":false,"landing_page_url":"https://doi.org/10.1137/21m1397246","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":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1911.06793","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029445332","display_name":"Jonathan Tidor","orcid":"https://orcid.org/0000-0001-6371-0657"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jonathan Tidor","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA 02139, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021133458","display_name":"Yufei Zhao","orcid":"https://orcid.org/0000-0002-1995-3755"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yufei Zhao","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, MA 02139, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5029445332"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.3017,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.55237506,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"51","issue":"4","first_page":"1230","last_page":"1279"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9997000098228455,"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/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/T10374","display_name":"Advanced Graph Theory Research","score":0.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7566560506820679},{"id":"https://openalex.org/keywords/property-testing","display_name":"Property testing","score":0.6304707527160645},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.6175653338432312},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5964375138282776},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.48591700196266174},{"id":"https://openalex.org/keywords/bhattacharyya-distance","display_name":"Bhattacharyya distance","score":0.46170929074287415},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.4569426476955414},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.39979493618011475},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3530504107475281},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10789874196052551}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7566560506820679},{"id":"https://openalex.org/C123842658","wikidata":"https://www.wikidata.org/wiki/Q2918980","display_name":"Property testing","level":2,"score":0.6304707527160645},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6175653338432312},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5964375138282776},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48591700196266174},{"id":"https://openalex.org/C24145651","wikidata":"https://www.wikidata.org/wiki/Q2901249","display_name":"Bhattacharyya distance","level":2,"score":0.46170929074287415},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.4569426476955414},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.39979493618011475},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3530504107475281},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10789874196052551},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1137/21m1397246","is_oa":false,"landing_page_url":"https://doi.org/10.1137/21m1397246","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:arXiv.org:1911.06793","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1911.06793","pdf_url":"https://arxiv.org/pdf/1911.06793","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":"pmh:oai:dspace.mit.edu:1721.1/136969","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/136969","pdf_url":null,"source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv","raw_type":"http://purl.org/eprint/type/ConferencePaper"},{"id":"pmh:oai:dspace.mit.edu:1721.1/145888","is_oa":false,"landing_page_url":"https://hdl.handle.net/1721.1/145888","pdf_url":null,"source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIAM","raw_type":"http://purl.org/eprint/type/JournalArticle"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1911.06793","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1911.06793","pdf_url":"https://arxiv.org/pdf/1911.06793","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":[{"score":0.5899999737739563,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G3103483706","display_name":null,"funder_award_id":"DMS-1764176","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4449353318","display_name":null,"funder_award_id":"DGE-174530","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G550719759","display_name":null,"funder_award_id":"174530","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G560730309","display_name":"Graph Theory and Additive Combinatorics","funder_award_id":"1764176","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6720077763","display_name":null,"funder_award_id":"DGE-1745302","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6804949641","display_name":null,"funder_award_id":"1745302","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6894402473","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8464388279","display_name":null,"funder_award_id":"1745302.","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/F4320306151","display_name":"Alfred P. Sloan Foundation","ror":"https://ror.org/052csg198"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W221046452","https://openalex.org/W1554682571","https://openalex.org/W1855199198","https://openalex.org/W1970630090","https://openalex.org/W1976337900","https://openalex.org/W1985538939","https://openalex.org/W2018925011","https://openalex.org/W2022387345","https://openalex.org/W2032359312","https://openalex.org/W2032905283","https://openalex.org/W2033361557","https://openalex.org/W2037773642","https://openalex.org/W2039068037","https://openalex.org/W2048325432","https://openalex.org/W2055587090","https://openalex.org/W2064469747","https://openalex.org/W2079241283","https://openalex.org/W2083580384","https://openalex.org/W2083766801","https://openalex.org/W2097673562","https://openalex.org/W2101060997","https://openalex.org/W2123435414","https://openalex.org/W2124668680","https://openalex.org/W2140492814","https://openalex.org/W2143456215","https://openalex.org/W2146453677","https://openalex.org/W2149050883","https://openalex.org/W2149054878","https://openalex.org/W2335400162","https://openalex.org/W2344557181","https://openalex.org/W2777506625","https://openalex.org/W2950588683","https://openalex.org/W2950938138","https://openalex.org/W2952454366","https://openalex.org/W2963005178","https://openalex.org/W2963404131","https://openalex.org/W2964103776","https://openalex.org/W2964194804","https://openalex.org/W2975384298","https://openalex.org/W2988430744","https://openalex.org/W3004537778","https://openalex.org/W3008660429","https://openalex.org/W3102089577","https://openalex.org/W3102618960","https://openalex.org/W3124591719","https://openalex.org/W4206007131"],"related_works":["https://openalex.org/W3149747767","https://openalex.org/W1536747792","https://openalex.org/W1982681402","https://openalex.org/W2192403599","https://openalex.org/W2366937720","https://openalex.org/W2163087802","https://openalex.org/W2155818328","https://openalex.org/W2121699558","https://openalex.org/W4244450895","https://openalex.org/W2074399518"],"abstract_inverted_index":{"We":[0,17,38,159,205],"study":[1,120],"the":[2,20,29,52,65,71,111,119,163,169,212,244,255,278,290,298],"property":[3,42,53,59,131,149,177,190],"testing":[4],"of":[5,35,47,70,81,99,110,115,121,211,236,246],"functions":[6],"$\\mathbb":[7],"F_p^n\\to[R]$":[8],"for":[9,287],"fixed":[10],"prime":[11],"$p$":[12],"and":[13,87,117,143,153,168,181,194,219,251,280,293],"positive":[14],"integer":[15],"$R$.":[16],"work":[18,114,245,276],"in":[19,129,136,230,259,289,302],"natural":[21,82],"model":[22],"where":[23],"we":[24],"are":[25,93,97,105,203],"allowed":[26],"to":[27,242,296],"query":[28],"function":[30],"on":[31,223,274],"a":[32,41,58,79,89,147,207,224,266],"random":[33],"subspace":[34],"constant":[36],"dimension.":[37],"say":[39],"that":[40,78,103,146,272],"is":[43,60,67,76,145,150,157,178,185,191,198,265,285],"testable":[44,151,179],"if":[45,64,152,155,180,183,193,196],"queries":[46],"this":[48,137,166],"form":[49],"can":[50],"detect":[51],"with":[54],"one-sided":[55],"error.":[56],"Furthermore,":[57],"proximity":[61,72],"oblivious-testable":[62],"(PO-testable)":[63],"test":[66],"also":[68],"independent":[69],"parameter":[73],"$\\epsilon$.":[74],"It":[75],"known":[77],"number":[80],"properties":[83,96,123],"such":[84],"as":[85],"linearity":[86],"being":[88],"low":[90],"degree":[91],"polynomial":[92],"PO-testable.":[94],"These":[95],"examples":[98],"linear-invariant":[100,122,148,176,189,291],"properties,":[101],"meaning":[102],"they":[104],"preserved":[106],"under":[107],"linear":[108],"automorphisms":[109],"domain.":[112],"Following":[113],"Kaufman":[116],"Sudan,":[118],"has":[124],"been":[125],"an":[126],"important":[127],"problem":[128],"arithmetic":[130,227],"testing.":[132],"A":[133,175,188],"central":[134],"conjecture":[135,167],"field,":[138],"proposed":[139],"by":[140,217,253,277],"Bhattacharyya,":[141,247],"Grigorescu,":[142],"Shapira,":[144],"only":[154,182,195],"it":[156,184,197],"semi-subspace-hereditary.":[158,186],"prove":[160],"two":[161],"results;":[162],"first":[164,215],"resolves":[165],"second":[170,263],"classifies":[171],"PO-testable":[172,192],"properties:":[173],"(1)":[174],"(2)":[187],"locally":[199],"characterized.":[200],"Our":[201,262],"innovations":[202],"twofold.":[204],"give":[206],"more":[208],"powerful":[209],"version":[210],"compactness":[213],"argument":[214],"introduced":[216],"Alon":[218],"Shapira.":[220],"This":[221,239,282],"relies":[222],"new":[225],"strong":[226],"regularity":[228],"lemma":[229],"which":[231],"one":[232],"mixes":[233],"different":[234],"levels":[235],"Gowers":[237],"uniformity.":[238],"allows":[240,294],"us":[241,295],"extend":[243],"Fischer,":[248],"Hatami,":[249,250],"Lovett":[252],"removing":[254],"bounded":[256],"complexity":[257],"restriction":[258,300],"their":[260],"work.":[261,304],"innovation":[264],"novel":[267],"recoloring":[268],"technique":[269,284],"called":[270],"patching":[271],"builds":[273],"earlier":[275],"authors":[279],"Fox.":[281],"Ramsey-theoretic":[283],"critical":[286],"working":[288],"setting":[292],"remove":[297],"translation-invariant":[299],"present":[301],"previous":[303]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}