{"id":"https://openalex.org/W2179516467","doi":"https://doi.org/10.1137/140971877","title":"Partially Symmetric Functions Are Efficiently Isomorphism Testable","display_name":"Partially Symmetric Functions Are Efficiently Isomorphism Testable","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2179516467","doi":"https://doi.org/10.1137/140971877","mag":"2179516467"},"language":"en","primary_location":{"id":"doi:10.1137/140971877","is_oa":false,"landing_page_url":"https://doi.org/10.1137/140971877","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/A5000042413","display_name":"Eric Blais","orcid":"https://orcid.org/0009-0000-5824-9034"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Eric Blais","raw_affiliation_strings":["Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, MA 02139"],"affiliations":[{"raw_affiliation_string":"Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, MA 02139","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072366974","display_name":"Amit Weinstein","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Amit Weinstein","raw_affiliation_strings":["Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel"],"affiliations":[{"raw_affiliation_string":"Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038701345","display_name":"Yuichi Yoshida","orcid":"https://orcid.org/0000-0001-8919-8479"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]},{"id":"https://openalex.org/I4210166566","display_name":"Preferred Networks (Japan)","ror":"https://ror.org/05xeefy56","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210166566"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yuichi Yoshida","raw_affiliation_strings":["Preferred Infrastructure, Inc., Tokyo 113-0033, Japan","National Institute of Informatics, Tokyo 101-8430, Japan, and"],"affiliations":[{"raw_affiliation_string":"Preferred Infrastructure, Inc., Tokyo 113-0033, Japan","institution_ids":["https://openalex.org/I4210166566"]},{"raw_affiliation_string":"National Institute of Informatics, Tokyo 101-8430, Japan, and","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000042413"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7277,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.75098045,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"44","issue":"2","first_page":"411","last_page":"432"},"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.9998999834060669,"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.9998999834060669,"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.9998999834060669,"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/T12288","display_name":"Optimization and Search Problems","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/symmetric-function","display_name":"Symmetric function","score":0.7412065267562866},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6953317523002625},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5949934720993042},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5558291673660278},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.5101625919342041},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.49027183651924133},{"id":"https://openalex.org/keywords/graph-isomorphism","display_name":"Graph isomorphism","score":0.483333557844162},{"id":"https://openalex.org/keywords/subgraph-isomorphism-problem","display_name":"Subgraph isomorphism problem","score":0.4749722182750702},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45764440298080444},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.4300994277000427},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.41610831022262573},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1970079243183136},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.12302443385124207},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.08619391918182373}],"concepts":[{"id":"https://openalex.org/C3746008","wikidata":"https://www.wikidata.org/wiki/Q981351","display_name":"Symmetric function","level":2,"score":0.7412065267562866},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6953317523002625},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5949934720993042},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5558291673660278},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5101625919342041},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.49027183651924133},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.483333557844162},{"id":"https://openalex.org/C131992880","wikidata":"https://www.wikidata.org/wiki/Q2528185","display_name":"Subgraph isomorphism problem","level":3,"score":0.4749722182750702},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45764440298080444},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4300994277000427},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.41610831022262573},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1970079243183136},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.12302443385124207},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.08619391918182373},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/140971877","is_oa":false,"landing_page_url":"https://doi.org/10.1137/140971877","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/G111070127","display_name":null,"funder_award_id":"Grant-in-Aid for Research Activity Start-up","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3236194794","display_name":null,"funder_award_id":"Grant-in-Aid","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3705189449","display_name":null,"funder_award_id":"Grant-in-Aid for Research Activity","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3857676562","display_name":null,"funder_award_id":"Grant-in-Aid for Scientific Research on Innovative","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5755530080","display_name":null,"funder_award_id":"Scientific Research on Innovative A","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6267471473","display_name":null,"funder_award_id":"Grant-in-Aid","funder_id":"https://openalex.org/F4320320912","funder_display_name":"Ministry of Education, Culture, Sports, Science and Technology"},{"id":"https://openalex.org/G7167128334","display_name":null,"funder_award_id":"Grant-in-Aid for Scientific Researc","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7245521682","display_name":"\u71c3\u6599\u68d2\u6e29\u5ea6\u306e\u5747\u4e00\u5316\u306b\u95a2\u3059\u308b\u7814\u7a76","funder_award_id":"80008","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7337825077","display_name":null,"funder_award_id":"Grant-in-Aid for Sc","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7748302082","display_name":null,"funder_award_id":"Scientific Research on Innovative Areas","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8759943101","display_name":null,"funder_award_id":"rant-in-Aid for Scientific Research","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8787316344","display_name":null,"funder_award_id":"24800082","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320306164","display_name":"Simons Foundation","ror":"https://ror.org/01cmst727"},{"id":"https://openalex.org/F4320310207","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33"},{"id":"https://openalex.org/F4320320912","display_name":"Ministry of Education, Culture, Sports, Science and Technology","ror":"https://ror.org/048rj2z13"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320335016","display_name":"Israeli Centers for Research Excellence","ror":"https://ror.org/03w2v9593"},{"id":"https://openalex.org/F4320338112","display_name":"Exploratory Research for Advanced Technology","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1966596853","https://openalex.org/W1969850363","https://openalex.org/W1970630090","https://openalex.org/W1978122435","https://openalex.org/W1987233725","https://openalex.org/W2006901918","https://openalex.org/W2016987856","https://openalex.org/W2018925011","https://openalex.org/W2019935404","https://openalex.org/W2048954734","https://openalex.org/W2049635747","https://openalex.org/W2068422506","https://openalex.org/W2143698439","https://openalex.org/W2143806343","https://openalex.org/W2156028311","https://openalex.org/W2914377170","https://openalex.org/W4241342151"],"related_works":["https://openalex.org/W1482551403","https://openalex.org/W84561889","https://openalex.org/W1258892498","https://openalex.org/W2954463587","https://openalex.org/W2018568077","https://openalex.org/W2393701947","https://openalex.org/W1856194915","https://openalex.org/W3080158623","https://openalex.org/W2183579781","https://openalex.org/W2046021036"],"abstract_inverted_index":{"Given":[0],"a":[1,10,55,104,173,196,221],"Boolean":[2],"function":[3],"$f$,":[4],"the":[5,25,99,138,167,179,188,192,202,256,260,265],"$f$-isomorphism":[6,53],"testing":[7,42,169],"problem":[8],"requires":[9],"randomized":[11],"algorithm":[12],"to":[13,19,22,44,64,75,98,159,165,233,243,263],"distinguish":[14],"functions":[15,29,48,72,81,128,135,140,270],"that":[16,30,92,133,151,200,235,267],"are":[17,31,136,271],"identical":[18],"$f$":[20,49],"up":[21],"relabeling":[23],"of":[24,58,71,101,107,115,176,178,191,206,224,231],"input":[26],"variables":[27,207],"from":[28,33],"far":[32],"being":[34],"so.":[35],"An":[36],"important":[37,215],"open":[38],"question":[39],"in":[40,217],"property":[41],"is":[43,154,220,238],"determine":[45],"for":[46,249],"which":[47],"we":[50,148,163],"can":[51],"test":[52],"with":[54,195,208,259],"constant":[56,105],"number":[57,106],"queries.":[59],"Despite":[60],"much":[61],"recent":[62],"attention":[63],"this":[65,161,229],"question,":[66],"essentially":[67,137],"only":[68,139],"two":[69],"classes":[70],"were":[73],"known":[74],"be":[76],"efficiently":[77,110,141,155,239,272],"isomorphism":[78,111,273],"testable:":[79],"symmetric":[80,95,122,225,251,269],"and":[82,86,125,211,241],"juntas.":[83],"We":[84,131,171,227,253],"unify":[85],"extend":[87],"these":[88,134],"results":[89],"by":[90,119],"showing":[91],"all":[93,102],"partially":[94,250,268],"functions---functions":[96],"invariant":[97],"reordering":[100],"but":[103],"their":[108],"variables---are":[109],"testable.":[112,156,274],"This":[113],"class":[114],"functions,":[116,123],"first":[117],"introduced":[118],"Shannon,":[120],"includes":[121],"juntas,":[124],"many":[126],"other":[127],"as":[129],"well.":[130],"conjecture":[132],"isomorphism-testable.":[142],"To":[143],"prove":[144,160,234],"our":[145,218],"main":[146],"result,":[147],"also":[149,242],"show":[150],"partial":[152,236],"symmetry":[153,237],"In":[157],"turn,":[158],"result":[162],"had":[164],"revisit":[166],"junta":[168,182],"problem.":[170],"provide":[172],"new":[174,185,222],"proof":[175,186,194,266],"correctness":[177],"nearly":[180],"optimal":[181],"tester.":[183],"Our":[184],"replaces":[187],"Fourier":[189],"machinery":[190],"original":[193],"purely":[197],"combinatorial":[198],"argument":[199],"exploits":[201],"connection":[203],"between":[204],"sets":[205],"low":[209],"influence":[210,232],"intersecting":[212],"families.":[213],"Another":[214],"ingredient":[216],"proofs":[219],"notion":[223],"influence.":[226],"use":[228],"measure":[230],"testable":[240],"construct":[244],"an":[245],"efficient":[246],"sample":[247,257],"extractor":[248,258],"functions.":[252],"then":[254],"combine":[255],"testing-by-implicit-learning":[261],"approach":[262],"complete":[264]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}