{"id":"https://openalex.org/W256395497","doi":"https://doi.org/10.1007/s00037-007-0231-z","title":"New Results on the Complexity of the Middle Bit of Multiplication","display_name":"New Results on the Complexity of the Middle Bit of Multiplication","publication_year":2005,"publication_date":"2005-06-28","ids":{"openalex":"https://openalex.org/W256395497","doi":"https://doi.org/10.1007/s00037-007-0231-z","mag":"256395497"},"language":"en","primary_location":{"id":"doi:10.1007/s00037-007-0231-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00037-007-0231-z","pdf_url":null,"source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","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/A5075262791","display_name":"Ingo Wegener","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ingo Wegener","raw_affiliation_strings":["Department of Computer Science, University of Dortmund, D-44221, Dortmund, Germany","Department of Computer Science, University of Dortmund, Dortmund, Germany D-44221#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Dortmund, D-44221, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Department of Computer Science, University of Dortmund, Dortmund, Germany D-44221#TAB#","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009422307","display_name":"Philipp Woelfel","orcid":"https://orcid.org/0000-0002-7847-4631"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Philipp Woelfel","raw_affiliation_strings":["Department of Computer Science, University of Calgary, 2500 University Drive NW, Calgary, AB, T2N 1N4, Canada","Department of Computer Science, University of Calgary, Calgary, Canada T2N 1N4#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Calgary, 2500 University Drive NW, Calgary, AB, T2N 1N4, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"Department of Computer Science, University of Calgary, Calgary, Canada T2N 1N4#TAB#","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02775049,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"3","first_page":"100","last_page":"110"},"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/T12288","display_name":"Optimization and Search Problems","score":0.9923999905586243,"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/T11567","display_name":"semigroups and automata theory","score":0.9916999936103821,"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/combinatorics","display_name":"Combinatorics","score":0.7323427200317383},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.6596145629882812},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.571895956993103},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5572547912597656},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.5334275960922241},{"id":"https://openalex.org/keywords/multiplication","display_name":"Multiplication (music)","score":0.47676974534988403},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4594166874885559},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4275764524936676},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39598947763442993},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.35023409128189087},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.23656293749809265},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07498276233673096},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.07357186079025269}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7323427200317383},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.6596145629882812},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.571895956993103},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5572547912597656},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.5334275960922241},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.47676974534988403},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4594166874885559},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4275764524936676},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39598947763442993},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.35023409128189087},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.23656293749809265},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07498276233673096},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.07357186079025269},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s00037-007-0231-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00037-007-0231-z","pdf_url":null,"source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","raw_type":"journal-article"},{"id":"doi:10.1109/ccc.2005.14","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccc.2005.14","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"20th Annual IEEE Conference on Computational Complexity (CCC'05)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.124.2817","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.2817","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cpsc.ucalgary.ca/~woelfel/paper/randomMUL/complMUL.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.429.6512","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.429.6512","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://eccc.hpi-web.de/report/2004/107/revision/1/download/","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.429.9341","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.429.9341","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://eccc.hpi-web.de/report/2004/107/download/","raw_type":"text"},{"id":"mag:256395497","is_oa":false,"landing_page_url":"https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-107/index.html","pdf_url":null,"source":{"id":"https://openalex.org/S11189987","display_name":"Electronic colloquium on computational complexity","issn_l":"1433-8092","issn":["1433-8092"],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electronic colloquium on computational complexity","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W143396352","https://openalex.org/W1488809080","https://openalex.org/W1546441687","https://openalex.org/W1807276935","https://openalex.org/W1882041575","https://openalex.org/W1975124543","https://openalex.org/W1987644318","https://openalex.org/W1989110033","https://openalex.org/W2004364700","https://openalex.org/W2031934066","https://openalex.org/W2044901759","https://openalex.org/W2072295723","https://openalex.org/W2095012419","https://openalex.org/W2124503759"],"related_works":["https://openalex.org/W2085517579","https://openalex.org/W2951206720","https://openalex.org/W2946636261","https://openalex.org/W2010393691","https://openalex.org/W2182012087","https://openalex.org/W2254179271","https://openalex.org/W1543920729","https://openalex.org/W2115988745","https://openalex.org/W2082201612","https://openalex.org/W2003273060","https://openalex.org/W1981326337","https://openalex.org/W2777308084","https://openalex.org/W2951711067","https://openalex.org/W2059598403","https://openalex.org/W3046096225","https://openalex.org/W2131917572","https://openalex.org/W2401929940","https://openalex.org/W2950694550","https://openalex.org/W1567274836","https://openalex.org/W3158738660"],"abstract_inverted_index":{"It":[0],"is":[1,11,43,75,86,117],"well":[2],"known":[3],"that":[4,119],"the":[5,12,29,78,108],"hardest":[6],"bit":[7],"of":[8,32,80,93,110,112],"integer":[9],"multiplication":[10],"middle":[13],"bit,":[14],"i.e.,":[15],"MUL":[16,49,113],"n\u22121,n":[17,50,114],".":[18],"This":[19],"paper":[20],"contains":[21],"several":[22],"new":[23],"results":[24],"on":[25],"its":[26],"complexity.":[27],"First,":[28],"size":[30,79],"s":[31],"randomized":[33,46],"read-k":[34],"branching":[35,82],"programs,":[36],"or,":[37],"equivalently,":[38],"their":[39],"space":[40,62],"(log":[41],"s)":[42],"investigated.":[44,87],"A":[45],"algorithm":[47],"for":[48,70],"with":[51],"$$k":[52],"=":[53],"{\\mathcal{O}}(\\hbox{log}\\,":[54],"n)$$":[55,64,97,130],"(implying":[56],"time":[57],"$${\\mathcal{O}}(n\\,":[58],"\\hbox{log}\\,":[59,96,129],"n))$$":[60],",":[61,115,133],"$${\\mathcal{O}}(\\hbox{log}\\,":[63],"and":[65,84,98,131],"error":[66],"probability":[67],"n":[68],"\u2212c":[69],"arbitrarily":[71],"chosen":[72],"constants":[73],"c":[74],"presented.":[76],"Second,":[77],"general":[81],"programs":[83],"formulas":[85],"Applying":[88],"Nechiporuk\u2019s":[89,120],"technique,":[90],"lower":[91,125],"bounds":[92,126],"$$\\Omega":[94],"(n^{3/2}/":[95],"\u03a9":[99],"(n":[100],"3/2),":[101],"respectively,":[102],"are":[103],"obtained.":[104],"Moreover,":[105],"by":[106],"bounding":[107],"number":[109],"subfunctions":[111],"it":[116],"proven":[118],"technique":[121],"cannot":[122],"provide":[123],"larger":[124],"than":[127],"$${\\mathcal{O}}(n^{5/3}/":[128],"$${\\mathcal{O}}(n^{5/3})$$":[132],"respectively.":[134]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}