{"id":"https://openalex.org/W2058014398","doi":"https://doi.org/10.1137/0204004","title":"Computational Complexity of Inner Products of Vectors (And That of Other Bilinear Forms) over a Noncommutative Ring (Auxiliary Functions Allowed)","display_name":"Computational Complexity of Inner Products of Vectors (And That of Other Bilinear Forms) over a Noncommutative Ring (Auxiliary Functions Allowed)","publication_year":1975,"publication_date":"1975-03-01","ids":{"openalex":"https://openalex.org/W2058014398","doi":"https://doi.org/10.1137/0204004","mag":"2058014398"},"language":"en","primary_location":{"id":"doi:10.1137/0204004","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0204004","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/A5064609452","display_name":"Robert Mandl","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Robert Mandl","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5030122892","display_name":"Thomas Vari","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Vari","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064609452"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20528505,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4","issue":"1","first_page":"49","last_page":"55"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9993000030517578,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9993000030517578,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11130","display_name":"Coding theory and cryptography","score":0.9952999949455261,"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/noncommutative-geometry","display_name":"Noncommutative geometry","score":0.8232436180114746},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7645987272262573},{"id":"https://openalex.org/keywords/bilinear-form","display_name":"Bilinear form","score":0.5462827086448669},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5263736844062805},{"id":"https://openalex.org/keywords/polynomial-ring","display_name":"Polynomial ring","score":0.5240885615348816},{"id":"https://openalex.org/keywords/ring","display_name":"Ring (chemistry)","score":0.5237926244735718},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5115733742713928},{"id":"https://openalex.org/keywords/inner-product-space","display_name":"Inner product space","score":0.49303075671195984},{"id":"https://openalex.org/keywords/commutative-ring","display_name":"Commutative ring","score":0.4562460482120514},{"id":"https://openalex.org/keywords/matrix-multiplication","display_name":"Matrix multiplication","score":0.44417765736579895},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.4399903118610382},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4308852553367615},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4016878306865692},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3704531490802765},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21908500790596008},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07701212167739868}],"concepts":[{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.8232436180114746},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7645987272262573},{"id":"https://openalex.org/C8828549","wikidata":"https://www.wikidata.org/wiki/Q837924","display_name":"Bilinear form","level":2,"score":0.5462827086448669},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5263736844062805},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.5240885615348816},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.5237926244735718},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5115733742713928},{"id":"https://openalex.org/C91855343","wikidata":"https://www.wikidata.org/wiki/Q214159","display_name":"Inner product space","level":2,"score":0.49303075671195984},{"id":"https://openalex.org/C161491579","wikidata":"https://www.wikidata.org/wiki/Q858656","display_name":"Commutative ring","level":3,"score":0.4562460482120514},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.44417765736579895},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.4399903118610382},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4308852553367615},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4016878306865692},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3704531490802765},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21908500790596008},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07701212167739868},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","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/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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0204004","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0204004","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":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1965900467","https://openalex.org/W1977662557","https://openalex.org/W1986272312","https://openalex.org/W1993929164","https://openalex.org/W2026405063","https://openalex.org/W2035476608","https://openalex.org/W2078644732"],"related_works":["https://openalex.org/W4312973762","https://openalex.org/W2983122869","https://openalex.org/W2021515234","https://openalex.org/W2963586506","https://openalex.org/W2083147865","https://openalex.org/W3117528742","https://openalex.org/W4251945449","https://openalex.org/W2073567187","https://openalex.org/W1985021927","https://openalex.org/W4389191881"],"abstract_inverted_index":{"We":[0],"prove":[1],"that":[2,59,239],"the":[3,12,36,42,50,60,68,104,139,159,179,200,203,206,215,240,249],"minimum":[4,61,105,241],"number":[5,27,62,106,242],"of":[6,15,28,38,41,53,56,63,107,133,183,237,243],"ring":[7,21,74,116],"multiplications":[8,64,108],"necessary":[9,109,246],"to":[10,66,110,193,266],"compute":[11,67,111],"inner":[13,69,140,204,250],"product":[14,70,141,251],"two":[16,180],"n-vectors":[17],"over":[18,71,113,196],"a":[19,33,54,72,96,114,131,155,175],"noncommutative":[20,115,267],"is":[22,49,75,101,117,130,152,202,252],"n,":[23,76],"even":[24],"if":[25,77,88,257],"any":[26,148],"auxiliary":[29,78,89,258],"functions":[30,79,90,259],"(each":[31],"being":[32],"polynomial":[34],"in":[35,158,178],"elements":[37],"exactly":[39],"one":[40],"vectors)":[43],"are":[44,80,91,125,260],"allowed":[45],"\u201cfor":[46],"free\u201d.":[47],"This":[48],"\u201cnoncommutative\u201d":[51],"analogue":[52],"result":[55,236],"Winograd\u2019s":[57,218],"stating":[58],"needed":[65],"commutative":[73,197],"not":[81,123],"allowed,":[82],"and,":[83],"respectively,":[84],"$":[85,171,225],"\\approx":[86],"(n/2)$,":[87],"allowed.":[92,126],"More":[93],"generally,":[94],"given":[95],"bilinear":[97,150,176,194],"form":[98,157,177,201],"whose":[99],"matrix":[100],"${\\bf":[102,142],"S}$,":[103],"it":[112],"$\\operatorname{rank}":[118],"({\\bf":[119],"S})$,":[120],"whether":[121],"or":[122],"auxiliaries":[124],"The":[127,186],"method":[128,188,207],"used":[129],"modification":[132],"Floyd\u2019s":[134],"linear":[135],"algebra":[136],"approach":[137],":":[138],"x}":[143],"\\cdot":[144],"{\\bf":[145],"y}$":[146],"(or":[147],"other":[149],"form)":[151],"regarded":[153],"as":[154,174],"quadratic":[156],"$2n$":[160],"indeterminates":[161],"$x_1":[162],",":[163,168],"\\cdots":[164,169],",x_n":[165],",\\,":[166],"y_1":[167],",y_n":[170],"(rather":[172],"than":[173],"separate":[181],"sets":[182],"n":[184],"indeterminates).":[185],"same":[187],"can":[189,262],"also":[190,263],"be":[191,264],"applied":[192],"forms":[195],"rings;":[198],"when":[199],"product,":[205],"yields":[208],"an":[209],"improved":[210],"lower":[211,229],"bound,":[212],"thereby":[213],"closing":[214],"difference":[216],"between":[217],"achievable":[219],"upper":[220],"bound":[221,230],"$\\lceil":[222],"n/2":[223,232],"\\rceil":[224],"and":[226],"his":[227],"proven":[228],"$\\lfloor":[231],"\\rfloor":[233],"$.":[234],"Another":[235],"Winograd\u2019s,":[238],"binary":[244],"operations":[245],"for":[247],"computing":[248],"$2n":[253],"-":[254],"1$":[255],"(even":[256],"allowed),":[261],"extended":[265],"rings.":[268]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}