{"id":"https://openalex.org/W7155071094","doi":"https://doi.org/10.48550/arxiv.2604.16389","title":"Complex Boolean Turing Machines: An Algebraic Semantic Framework for Computational Complexity","display_name":"Complex Boolean Turing Machines: An Algebraic Semantic Framework for Computational Complexity","publication_year":2026,"publication_date":"2026-03-27","ids":{"openalex":"https://openalex.org/W7155071094","doi":"https://doi.org/10.48550/arxiv.2604.16389"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.16389","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16389","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.16389","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134169237","display_name":"Bojin Zheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng, Bojin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134103720","display_name":"Jingwen Zheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng, Jingwen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5045138917","display_name":"Weiwu Wang","orcid":"https://orcid.org/0000-0001-6922-9207"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Weiwu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.23360000550746918,"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"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.23360000550746918,"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/T12162","display_name":"Cellular Automata and Applications","score":0.14949999749660492,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.11999999731779099,"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/turing-machine","display_name":"Turing machine","score":0.5733000040054321},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4787999987602234},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4749999940395355},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4189000129699707},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.36660000681877136},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.36250001192092896},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.34779998660087585},{"id":"https://openalex.org/keywords/symbol","display_name":"Symbol (formal)","score":0.3465000092983246},{"id":"https://openalex.org/keywords/non-deterministic-turing-machine","display_name":"Non-deterministic Turing machine","score":0.34060001373291016}],"concepts":[{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.5733000040054321},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5533000230789185},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4787999987602234},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4749999940395355},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46799999475479126},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44909998774528503},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4189000129699707},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.36660000681877136},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.36250001192092896},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.34779998660087585},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.3465000092983246},{"id":"https://openalex.org/C15190523","wikidata":"https://www.wikidata.org/wiki/Q1190223","display_name":"Non-deterministic Turing machine","level":5,"score":0.34060001373291016},{"id":"https://openalex.org/C179061269","wikidata":"https://www.wikidata.org/wiki/Q5263786","display_name":"Description number","level":5,"score":0.3377000093460083},{"id":"https://openalex.org/C31402856","wikidata":"https://www.wikidata.org/wiki/Q5295939","display_name":"Super-recursive algorithm","level":5,"score":0.33730000257492065},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.3222000002861023},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3212999999523163},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.32100000977516174},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.2992999851703644},{"id":"https://openalex.org/C48415503","wikidata":"https://www.wikidata.org/wiki/Q5251122","display_name":"Time hierarchy theorem","level":5,"score":0.29409998655319214},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.2824999988079071},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2773999869823456},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.27469998598098755},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.25380000472068787},{"id":"https://openalex.org/C127964446","wikidata":"https://www.wikidata.org/wiki/Q1092142","display_name":"Computational resource","level":3,"score":0.2508000135421753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.16389","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16389","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.16389","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16389","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"No poverty","id":"https://metadata.un.org/sdg/1","score":0.7382288575172424}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Traditional":[0],"Turing":[1,45,190,194],"machines":[2,191],"are":[3],"semantically":[4],"poor,":[5],"they":[6],"only":[7],"concern":[8],"the":[9,15,19,26,30,42,69,87,102,106,117,147,151,176,183,201,215,223,228],"syntactic":[10],"manipulation":[11],"of":[12,29,68,150,178,217,230],"symbols,":[13],"discarding":[14],"mathematical":[16,63],"semantics":[17,149],"behind":[18],"symbols.":[20],"This":[21,39,219],"semantic":[22],"deficiency":[23],"is":[24,185],"considered":[25],"root":[27],"cause":[28],"three":[31],"major":[32],"barriers:":[33],"relativization,":[34],"natural":[35],"proofs,":[36],"and":[37,121,123,140,192,198],"algebrization.":[38],"paper":[40],"proposes":[41],"Complex":[43],"Boolean":[44],"Machine":[46],"(CBTM),":[47],"elevating":[48],"computational":[49,224],"symbols":[50,133],"to":[51,75,128,175,188],"algebraic":[52,76,132,148,167,211],"elements":[53],"in":[54],"$\\mathrm{GF}(4)$,":[55],"so":[56],"that":[57,182],"each":[58],"operation":[59],"has":[60],"a":[61,81,84,97,125,135,209],"clear":[62],"interpretation.":[64],"The":[65],"core":[66],"insight":[67],"CBTM":[70,152,184,202],"is:":[71],"\\textbf{Non-deterministic":[72],"computation":[73,88],"corresponds":[74,173],"field":[77,103],"extension},":[78],"when":[79],"reading":[80],"symbol":[82],"representing":[83],"new":[85,98,114,161,210],"dimension,":[86],"must":[89],"branch":[90],"into":[91,101,134],"two":[92],"paths,":[93],"just":[94],"as":[95,222],"introducing":[96,159],"element":[99],"$\u03b1$":[100],"$\\mathbb{Q}$":[104],"yields":[105],"extension":[107],"$\\mathbb{Q}(\u03b1)$.":[108],"We":[109,180],"separate":[110],"old":[111],"data":[112],"from":[113],"dimensions":[115],"via":[116],"projection":[118],"operators":[119],"$\\mathfrak{Re}$":[120],"$\\mathfrak{Im}$,":[122],"introduce":[124,205],"dual-tape":[126],"perspective":[127,212],"intuitively":[129],"decompose":[130],"abstract":[131],"real":[136],"tape":[137,143],"(deterministic":[138],"computation)":[139],"an":[141],"imaginary":[142],"(non-deterministic":[144],"control).":[145],"Moreover,":[146],"naturally":[153],"support":[154],"arbitrary":[155],"$k$-way":[156],"non-determinism:":[157],"by":[158],"multiple":[160],"dimensions,":[162],"we":[163],"can":[164],"generate":[165],"high-dimensional":[166],"extensions":[168],"$\\mathbb{Q}(\u03b1_1,\\dots,\u03b1_d)$,":[169],"whose":[170],"dimension":[171],"$2^d$":[172],"exactly":[174],"number":[177],"branches.":[179],"prove":[181],"polynomially":[186],"equivalent":[187],"classical":[189],"non-deterministic":[193],"machines,":[195],"with":[196],"$\\mathbf{P}_{cb}=\\mathbf{P}$":[197],"$\\mathbf{NP}_{cb}=\\mathbf{NP}$.":[199],"Thus,":[200],"does":[203],"not":[204],"hyper-computation":[206],"but":[207],"provides":[208],"for":[213,227],"understanding":[214],"essence":[216],"non-determinism.":[218],"work":[220],"serves":[221],"model":[225],"foundation":[226],"series":[229],"papers.":[231]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-22T00:00:00"}