{"id":"https://openalex.org/W2741519875","doi":"https://doi.org/10.1137/16m1061655","title":"Direct Sum Testing","display_name":"Direct Sum Testing","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2741519875","doi":"https://doi.org/10.1137/16m1061655","mag":"2741519875"},"language":"en","primary_location":{"id":"doi:10.1137/16m1061655","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1061655","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":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025355002","display_name":"Roee David","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Roee David","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029616850","display_name":"Irit Dinur","orcid":"https://orcid.org/0000-0002-4335-5237"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Irit Dinur","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043150895","display_name":"Elazar Goldenberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Elazar Goldenberg","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083621825","display_name":"Guy Kindler","orcid":"https://orcid.org/0000-0002-3384-3720"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guy Kindler","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5028165107","display_name":"Igor Shinkar","orcid":"https://orcid.org/0000-0001-5013-6422"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Igor Shinkar","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5025355002"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5898,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.85091461,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"46","issue":"4","first_page":"1336","last_page":"1369"},"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.9998000264167786,"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.9998000264167786,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9983999729156494,"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/T10237","display_name":"Cryptography and Data Security","score":0.9962000250816345,"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/mathematics","display_name":"Mathematics","score":0.7458706498146057},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6617207527160645},{"id":"https://openalex.org/keywords/hypercube","display_name":"Hypercube","score":0.5802552103996277},{"id":"https://openalex.org/keywords/tensor","display_name":"Tensor (intrinsic definition)","score":0.5073480010032654},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4792185425758362},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4671784043312073},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.4637603759765625},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.43346360325813293},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10984265804290771},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09026235342025757}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7458706498146057},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6617207527160645},{"id":"https://openalex.org/C50820777","wikidata":"https://www.wikidata.org/wiki/Q213723","display_name":"Hypercube","level":2,"score":0.5802552103996277},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.5073480010032654},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4792185425758362},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4671784043312073},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.4637603759765625},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.43346360325813293},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10984265804290771},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09026235342025757},{"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},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/16m1061655","is_oa":false,"landing_page_url":"https://doi.org/10.1137/16m1061655","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1781206523","display_name":null,"funder_award_id":"FP/2007-2013","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"},{"id":"https://openalex.org/G2563033557","display_name":null,"funder_award_id":"616787","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"},{"id":"https://openalex.org/G812164726","display_name":null,"funder_award_id":"239985","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W217171368","https://openalex.org/W1901622511","https://openalex.org/W1970259241","https://openalex.org/W1970278864","https://openalex.org/W1989019709","https://openalex.org/W1997855358","https://openalex.org/W2018582120","https://openalex.org/W2019578639","https://openalex.org/W2021413381","https://openalex.org/W2023194920","https://openalex.org/W2146392217","https://openalex.org/W2146453677","https://openalex.org/W2148352980","https://openalex.org/W3004537778","https://openalex.org/W3021570316"],"related_works":["https://openalex.org/W4286907761","https://openalex.org/W2916710807","https://openalex.org/W2413588304","https://openalex.org/W3205447645","https://openalex.org/W2009411567","https://openalex.org/W2371629703","https://openalex.org/W2097769911","https://openalex.org/W2774705104","https://openalex.org/W72835634","https://openalex.org/W2122785676"],"abstract_inverted_index":{"The":[0,290],"$k$-fold":[1],"direct":[2,42,79,160,278],"sum":[3,43,80,161],"encoding":[4,162],"of":[5,23,59,91,98,107,122,138,144,199,243,282,287,312,316],"a":[6,12,41,48,78,96,124,167,176,183,190,196,200,221,228,276,296],"string":[7],"$a":[8],"\\in":[9,31],"\\{0,1\\}^n$":[10],"is":[11,89,132,163,195,209,293],"function":[13,58],"$f_a$":[14,62],"that":[15,52,73,213],"takes":[16],"as":[17,123],"input":[18],"sets":[19],"$S":[20],"\\subseteq":[21],"[n]$":[22],"size":[24],"$k$":[25],"and":[26,66,246,265,284],"outputs":[27],"$f_a(S)":[28],"=":[29,215],"\\sum_{i":[30],"S}":[32],"a_i":[33],"\\pmod":[34],"2$.":[35],"In":[36],"this":[37,268],"paper":[38],"we":[39,306],"prove":[40],"testing":[44,126,280,301],"theorem.":[45],"We":[46,218],"describe":[47],"three":[49,184],"query":[50,185,223],"test":[51,186,224,237,242],"accepts":[53],"with":[54,68,109,147],"probability":[55,69],"one":[56],"any":[57],"the":[60,83,86,105,114,135,139,142,159,240,262,271,303,309,313,317],"form":[61],"for":[63,128,187,225,299],"some":[64,210],"$a$":[65,211],"rejects":[67],"$\\Omega(\\varepsilon)$":[70],"functions":[71,129],"$f$":[72],"are":[74],"$\\varepsilon$-far":[75],"from":[76],"being":[77],"encoding,":[81],"where":[82],"constant":[84],"behind":[85],"$\\Omega$":[87],"notation":[88],"independent":[90],"$k$.":[92],"This":[93],"theorem":[94,127,181,281],"has":[95,233],"couple":[97],"additional":[99],"guises:":[100],"Linearity":[101],"testing:":[102,153],"By":[103,154],"identifying":[104],"subsets":[106],"$[n]$":[108],"vectors":[110],"in":[111,113],"$\\{0,1\\}^n$":[112],"natural":[115],"way,":[116],"our":[117,180],"result":[118],"can":[119],"be":[120],"thought":[121],"linearity":[125,241,300],"whose":[130],"domain":[131,311],"restricted":[133,310],"to":[134,156,166,175,270,308],"$k$th":[136],"layer":[137,315],"hypercube":[140],"(i.e.,":[141],"set":[143],"$n$-bit":[145],"strings":[146],"Hamming":[148],"weight":[149],"$k$).":[150],"Tensor":[151],"power":[152,198],"moving":[155],"$-1,1$":[157],"notation,":[158],"equivalent":[164],"(up":[165],"difference":[168],"thatis":[169],"negligible":[170],"when":[171],"$k\\ll":[172],"\\sqrt":[173],"n$)":[174],"tensor":[177,192,197],"power.":[178],"Thus":[179],"implies":[182],"deciding":[188],"if":[189,227],"given":[191,229],"$f\\in":[193],"\\{-1,1\\}^{n^k}$":[194],"single":[201],"dimensional":[202],"vector":[203],"$a\\in":[204],"\\{-1,1\\}^n$,":[205],"i.e.,":[206],"whether":[207],"there":[208],"such":[212],"$f":[214],"a^{\\otimes":[216],"k}$.":[217],"also":[219],"provide":[220],"four":[222],"checking":[226],"$\\pm":[230],"1$":[231],"matrix":[232],"rank":[234],"$1$.":[235],"Our":[236,256],"naturally":[238],"extends":[239],"Blum,":[244],"Luby,":[245],"Rubinfeld":[247],"[J.":[248],"Comput.":[249],"Syst.":[250],"Sci.,":[251],"47":[252],"(1993),":[253],"pp.":[254],"549--595].":[255],"analysis":[257],"proceeds":[258],"by":[259],"first":[260],"handling":[261],"$k=n/2$":[263,291],"case":[264,269,292],"then":[266],"reducing":[267],"general":[272],"$k<n/2$":[273],"case,":[274],"using":[275],"recent":[277],"product":[279],"Dinur":[283],"Steurer":[285],"[Proceedings":[286],"CCC":[288],"'2014].":[289],"proved":[294],"via":[295],"new":[297],"proof":[298],"on":[302],"hypercube,":[304],"which":[305],"extend":[307],"$n/2$th":[314],"hypercube.":[318]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-08-08T00:00:00"}