{"id":"https://openalex.org/W2902648727","doi":"https://doi.org/10.1145/3282427","title":"Reconstruction of Full Rank Algebraic Branching Programs","display_name":"Reconstruction of Full Rank Algebraic Branching Programs","publication_year":2018,"publication_date":"2018-11-21","ids":{"openalex":"https://openalex.org/W2902648727","doi":"https://doi.org/10.1145/3282427","mag":"2902648727"},"language":"en","primary_location":{"id":"doi:10.1145/3282427","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3282427","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://mpra.ub.uni-muenchen.de/74515/1/MPRA_paper_74515.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079701530","display_name":"Neeraj Kayal","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Neeraj Kayal","raw_affiliation_strings":["Microsoft Research, Vigyan, Lavelle Road, Shanthala Nagar, Ashok Nagar, Bengaluru, Karnataka, India","Microsoft Research India [Bangalore] ('Vigyan', #9, Lavelle Road, Bangalore 560 001, India - India)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Vigyan, Lavelle Road, Shanthala Nagar, Ashok Nagar, Bengaluru, Karnataka, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research India [Bangalore] ('Vigyan', #9, Lavelle Road, Bangalore 560 001, India - India)","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067928892","display_name":"Vineet Nair","orcid":"https://orcid.org/0009-0004-1335-5473"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Vineet Nair","raw_affiliation_strings":["Indian Institute of Science, Bengaluru, Karnataka, India","IISc Bangalore - Indian Institute of Science [Bangalore] (Bangalore 560 012 - India)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, Bengaluru, Karnataka, India","institution_ids":["https://openalex.org/I59270414"]},{"raw_affiliation_string":"IISc Bangalore - Indian Institute of Science [Bangalore] (Bangalore 560 012 - India)","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101655060","display_name":"Chandan Saha","orcid":"https://orcid.org/0009-0003-7496-7396"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Chandan Saha","raw_affiliation_strings":["Indian Institute of Science, Bengaluru, Karnataka, India","IISc Bangalore - Indian Institute of Science [Bangalore] (Bangalore 560 012 - India)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, Bengaluru, Karnataka, India","institution_ids":["https://openalex.org/I59270414"]},{"raw_affiliation_string":"IISc Bangalore - Indian Institute of Science [Bangalore] (Bangalore 560 012 - India)","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045926575","display_name":"S\u00e9bastien Tavenas","orcid":"https://orcid.org/0000-0002-0025-0005"},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Tavenas","raw_affiliation_strings":["Microsoft Research, India and Univ. Savoie Mont Blanc, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, India and Univ. Savoie Mont Blanc, France","institution_ids":["https://openalex.org/I4210124949"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5079701530"],"corresponding_institution_ids":["https://openalex.org/I4210124949"],"apc_list":null,"apc_paid":null,"fwci":0.8597,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77552553,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"11","issue":"1","first_page":"1","last_page":"56"},"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.9990000128746033,"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.9990000128746033,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9973000288009644,"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"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9970999956130981,"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.7569136619567871},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.693522572517395},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.6528613567352295},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.5759180784225464},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.5116413235664368},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.49490851163864136},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.4726359248161316},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.41847550868988037},{"id":"https://openalex.org/keywords/polynomial-ring","display_name":"Polynomial ring","score":0.41009214520454407},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3514636754989624},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09660610556602478},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09658306837081909},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0916852056980133}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7569136619567871},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.693522572517395},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.6528613567352295},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.5759180784225464},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.5116413235664368},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.49490851163864136},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4726359248161316},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.41847550868988037},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.41009214520454407},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3514636754989624},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09660610556602478},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09658306837081909},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0916852056980133},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","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":3,"locations":[{"id":"doi:10.1145/3282427","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3282427","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},{"id":"pmh:oai::74515","is_oa":true,"landing_page_url":null,"pdf_url":"https://mpra.ub.uni-muenchen.de/74515/1/MPRA_paper_74515.pdf","source":{"id":"https://openalex.org/S4306401429","display_name":"ePrints@IISc (Indian Institute of Science)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I59270414","host_organization_name":"Indian Institute of Science Bangalore","host_organization_lineage":["https://openalex.org/I59270414"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:HAL:hal-02408621v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02408621","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Computation Theory, 2019, 11 (1), pp.1-56. ⟨10.1145/3282427⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai::74515","is_oa":true,"landing_page_url":null,"pdf_url":"https://mpra.ub.uni-muenchen.de/74515/1/MPRA_paper_74515.pdf","source":{"id":"https://openalex.org/S4306401429","display_name":"ePrints@IISc (Indian Institute of Science)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I59270414","host_organization_name":"Indian Institute of Science Bangalore","host_organization_lineage":["https://openalex.org/I59270414"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2902648727.pdf"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W46551043","https://openalex.org/W124778789","https://openalex.org/W1488671644","https://openalex.org/W1503731768","https://openalex.org/W1508701206","https://openalex.org/W1544886770","https://openalex.org/W1554948556","https://openalex.org/W1571321110","https://openalex.org/W1760203663","https://openalex.org/W1821087317","https://openalex.org/W1838223085","https://openalex.org/W1966541996","https://openalex.org/W1967348711","https://openalex.org/W1992781176","https://openalex.org/W1996798784","https://openalex.org/W1997718780","https://openalex.org/W1998853590","https://openalex.org/W2010966059","https://openalex.org/W2026944800","https://openalex.org/W2027044307","https://openalex.org/W2050570613","https://openalex.org/W2052965490","https://openalex.org/W2054534833","https://openalex.org/W2056575218","https://openalex.org/W2060788286","https://openalex.org/W2106221905","https://openalex.org/W2113600343","https://openalex.org/W2122213509","https://openalex.org/W2127261008","https://openalex.org/W2133209493","https://openalex.org/W2139709458","https://openalex.org/W2141040012","https://openalex.org/W2142326730","https://openalex.org/W2150559011","https://openalex.org/W2195982063","https://openalex.org/W2271578561","https://openalex.org/W2405068759","https://openalex.org/W2465968014","https://openalex.org/W2468805522","https://openalex.org/W2583016001","https://openalex.org/W2790957072","https://openalex.org/W2912080987","https://openalex.org/W2962908760","https://openalex.org/W2963854229","https://openalex.org/W3196814025"],"related_works":["https://openalex.org/W3103325625","https://openalex.org/W1486898455","https://openalex.org/W3090727460","https://openalex.org/W2041905724","https://openalex.org/W2047986527","https://openalex.org/W4306313719","https://openalex.org/W2152992791","https://openalex.org/W2949510299","https://openalex.org/W1808382989","https://openalex.org/W4299439944"],"abstract_inverted_index":{"An":[0],"algebraic":[1],"branching":[2],"program":[3],"(ABP)":[4],"A":[5,83,105],"can":[6],"be":[7,68],"modelled":[8],"as":[9],"a":[10,44,61,72,107,144,170,223,260,283,307,324,339],"product":[11,96,284],"expression":[12],"X":[13,16,19,23,26,41,100,128,131,135,220],"1":[14,24,29,35,89,91,129,243,249],"amp;middot;":[15],"2":[17,114,120,132],"\u2026":[18],"d":[20,27,99,116,136,235,247,276,286,298,333,358,364],",":[21,130,133,166,244,277],"where":[22,203],"and":[25,32,38,201,238,334,359],"are":[28,54,137,292],"\u00d7":[30,34,46,90,226],"w":[31,33,45,47,113,121,224,227,231,234,239,242,246,295],"matrices,":[36],"respectively,":[37],"every":[39],"other":[40],"k":[42,101,221,228],"is":[43,84,106,143,197,205,222,251,256,328,365],"matrix;":[48],"the":[49,85,88,95,112,126,167,195,206,210,267,278,304,310,315,319,335,351],"entries":[50],"of":[51,74,87,161,194,209,212,269,282,285,314,318,321,323,338,353,355,370],"these":[52],"matrices":[53,127,289],"linear":[55,122],"forms":[56,123],"in":[57,125,199],"m":[58,77,157,165,200],"variables":[59],"over":[60],"field":[62,73],"F":[63],"(which":[64],"we":[65],"assume":[66],"to":[67,155,294,330],"either":[69],"Q":[70],"or":[71,181],"characteristic":[75],"poly(":[76],")).":[78],"The":[79,191,215,254],"polynomial":[80,159,198,262,273,325],"computed":[81],"by":[82,258,367],"entry":[86,281],"matrix":[92,229,271],"obtained":[93,257],"from":[94],"\u220f":[97],"k=1":[98],".":[102,214,253,300,345],"We":[103],"say":[104],"full":[108,149,171,184,340],"rank":[109,150,172,185,341],"ABP":[110,173,179,186,342],"if":[111,176,219],"(":[115,241],"\u2212":[117,248],"2)":[118],"+":[119],"occurring":[124],"\u2026,":[134,245],"F-linearly":[138],"independent.":[139],"Our":[140],"main":[141],"result":[142,255],"randomized":[145,261],"reconstruction":[146],"algorithm":[147,168,196,216,305],"for":[148,266],"ABPs:":[151],"Given":[152],"blackbox":[153],"access":[154],"an":[156,178],"-variate":[158],"f":[160,175,213,326,344],"degree":[162],"at":[163],"most":[164],"outputs":[169,182],"computing":[174,343],"such":[177],"exists,":[180],"\u201cno":[183],"exists\u201d":[187],"(with":[188,230],"high":[189],"probability).":[190],"running":[192],"time":[193,263],"\u03b2,":[202],"\u03b2":[204],"bit":[207],"length":[208],"coefficients":[211],"works":[217],"even":[218],"k\u22121":[225],"0":[232],"=":[233,236,240],"1),":[237],")":[250],"unknown":[252],"designing":[259],"equivalence":[264],"test":[265],"family":[268],"iterated":[270],"multiplication":[272],"IMM":[274,331,356,362],"w,":[275,332,357,363],"(1,":[279],"1)-th":[280],"rectangular":[287],"symbolic":[288],"whose":[290],"dimensions":[291],"according":[293],"\u2208":[296],"N":[297],"\u22121":[299],"At":[301],"its":[302,368],"core,":[303],"exploits":[306],"connection":[308,347],"between":[309],"irreducible":[311],"invariant":[312],"subspaces":[313],"Lie":[316],"algebra":[317],"group":[320,352,369],"symmetries":[322,354],"that":[327,361],"equivalent":[329],"\u201clayer":[336],"spaces\u201d":[337],"This":[346],"also":[348],"helps":[349],"determine":[350],"show":[360],"characterized":[366],"symmetries.":[371]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}