{"id":"https://openalex.org/W3036943451","doi":"https://doi.org/10.3934/amc.2021047","title":"On the complexity of solving generic overdetermined bilinear systems","display_name":"On the complexity of solving generic overdetermined bilinear systems","publication_year":2021,"publication_date":"2021-10-20","ids":{"openalex":"https://openalex.org/W3036943451","doi":"https://doi.org/10.3934/amc.2021047","mag":"3036943451"},"language":"en","primary_location":{"id":"doi:10.3934/amc.2021047","is_oa":true,"landing_page_url":"https://doi.org/10.3934/amc.2021047","pdf_url":"https://www.aimsciences.org/article/exportPdf?id=03c8bb92-07d1-4b65-933c-36638728123a","source":{"id":"https://openalex.org/S161492159","display_name":"Advances in Mathematics of Communications","issn_l":"1930-5338","issn":["1930-5338","1930-5346"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315844","host_organization_name":"American Institute of Mathematical Sciences","host_organization_lineage":["https://openalex.org/P4310315844"],"host_organization_lineage_names":["American Institute of Mathematical Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Mathematics of Communications","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.aimsciences.org/article/exportPdf?id=03c8bb92-07d1-4b65-933c-36638728123a","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064594134","display_name":"John Baena","orcid":"https://orcid.org/0000-0003-4185-1613"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John B. Baena","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Universidad Nacional de Colombia Sede Medell\u00edn, Carrera 65 Nro. 59A - 110, Medell\u00edn, Colombia","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Universidad Nacional de Colombia Sede Medell\u00edn, Carrera 65 Nro. 59A - 110, Medell\u00edn, Colombia","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006503080","display_name":"Daniel Cabarcas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Cabarcas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5088711607","display_name":"Javier Verbel","orcid":"https://orcid.org/0000-0003-1388-6667"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Javier Verbel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02031042,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"5","first_page":"1210","last_page":"1234"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9997000098228455,"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.9997000098228455,"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.9944999814033508,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/monomial","display_name":"Monomial","score":0.8087546825408936},{"id":"https://openalex.org/keywords/bilinear-interpolation","display_name":"Bilinear interpolation","score":0.7183976173400879},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7059683799743652},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5953733325004578},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5102863311767578},{"id":"https://openalex.org/keywords/finite-field","display_name":"Finite field","score":0.4453495442867279},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4296181797981262},{"id":"https://openalex.org/keywords/gr\u00f6bner-basis","display_name":"Gr\u00f6bner basis","score":0.4234203100204468},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4105517864227295},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.396342396736145},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3638404607772827},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3224301338195801},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21188783645629883},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.13750386238098145}],"concepts":[{"id":"https://openalex.org/C11252640","wikidata":"https://www.wikidata.org/wiki/Q243723","display_name":"Monomial","level":2,"score":0.8087546825408936},{"id":"https://openalex.org/C205203396","wikidata":"https://www.wikidata.org/wiki/Q612143","display_name":"Bilinear interpolation","level":2,"score":0.7183976173400879},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7059683799743652},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5953733325004578},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5102863311767578},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.4453495442867279},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4296181797981262},{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.4234203100204468},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4105517864227295},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.396342396736145},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3638404607772827},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3224301338195801},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21188783645629883},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.13750386238098145},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3934/amc.2021047","is_oa":true,"landing_page_url":"https://doi.org/10.3934/amc.2021047","pdf_url":"https://www.aimsciences.org/article/exportPdf?id=03c8bb92-07d1-4b65-933c-36638728123a","source":{"id":"https://openalex.org/S161492159","display_name":"Advances in Mathematics of Communications","issn_l":"1930-5338","issn":["1930-5338","1930-5346"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315844","host_organization_name":"American Institute of Mathematical Sciences","host_organization_lineage":["https://openalex.org/P4310315844"],"host_organization_lineage_names":["American Institute of Mathematical Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Mathematics of Communications","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2006.09442","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.09442","pdf_url":"https://arxiv.org/pdf/2006.09442","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:3036943451","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2006.09442.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2006.09442","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2006.09442","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":"article"}],"best_oa_location":{"id":"doi:10.3934/amc.2021047","is_oa":true,"landing_page_url":"https://doi.org/10.3934/amc.2021047","pdf_url":"https://www.aimsciences.org/article/exportPdf?id=03c8bb92-07d1-4b65-933c-36638728123a","source":{"id":"https://openalex.org/S161492159","display_name":"Advances in Mathematics of Communications","issn_l":"1930-5338","issn":["1930-5338","1930-5346"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315844","host_organization_name":"American Institute of Mathematical Sciences","host_organization_lineage":["https://openalex.org/P4310315844"],"host_organization_lineage_names":["American Institute of Mathematical Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Mathematics of Communications","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W64656188","https://openalex.org/W70420423","https://openalex.org/W87588088","https://openalex.org/W135409917","https://openalex.org/W1480291365","https://openalex.org/W1512302998","https://openalex.org/W1518341038","https://openalex.org/W1524190946","https://openalex.org/W1583871653","https://openalex.org/W1974527567","https://openalex.org/W2004746351","https://openalex.org/W2006504364","https://openalex.org/W2010865943","https://openalex.org/W2038345254","https://openalex.org/W2071483197","https://openalex.org/W2085482277","https://openalex.org/W2095823805","https://openalex.org/W2128687423","https://openalex.org/W2152515394","https://openalex.org/W2613704840","https://openalex.org/W2620800933","https://openalex.org/W2620863933","https://openalex.org/W2794901512","https://openalex.org/W2952506963","https://openalex.org/W2960677533","https://openalex.org/W2964228175","https://openalex.org/W3007637508"],"related_works":["https://openalex.org/W3009863997","https://openalex.org/W2024588640","https://openalex.org/W2944440779","https://openalex.org/W2731781516","https://openalex.org/W1556799522","https://openalex.org/W3158971168","https://openalex.org/W2788825088","https://openalex.org/W134993517","https://openalex.org/W2810442955","https://openalex.org/W2024997126","https://openalex.org/W1540704421","https://openalex.org/W2005397991","https://openalex.org/W2980992634","https://openalex.org/W2020080707","https://openalex.org/W2040416064","https://openalex.org/W1585927874","https://openalex.org/W3104508146","https://openalex.org/W2461843891","https://openalex.org/W2738476931","https://openalex.org/W2949612749"],"abstract_inverted_index":{"In":[0],"this":[1,56],"paper,":[2],"we":[3,35,58,109],"study":[4],"the":[5,38,41,50,78,84,104,111,117,120,139,142],"complexity":[6,118,140],"of":[7,31,40,62,97,106,119,141],"solving":[8],"generic":[9,20],"over-determined":[10,100],"bilinear":[11,21,101],"systems":[12],"over":[13],"a":[14,19,29,91],"finite":[15],"field":[16],"$\\mathbb{F}$.":[17],"Given":[18],"sequence":[22],"$B":[23],"\\in":[24],"\\mathbb{F}[\\mathbf{x},\\mathbf{y}]$,":[25],"with":[26],"respect":[27],"to":[28,115],"partition":[30],"variables":[32],"$\\mathbf{x}$,":[33],"$\\mathbf{y}$,":[34],"show":[36],"that,":[37],"solutions":[39],"system":[42],"$B=":[43],"\\mathbf{0}$":[44],"can":[45],"be":[46],"efficiently":[47],"found":[48],"on":[49,77,83],"$\\mathbb{F}[\\mathbf{y}]$-module":[51],"generated":[52],"by":[53,70],"$B$.":[54],"Following":[55],"observation,":[57],"propose":[59],"three":[60],"variations":[61],"Gr\u00f6bner":[63],"basis":[64],"algorithms,":[65],"that":[66],"only":[67],"involve":[68],"multiplication":[69],"monomials":[71],"in":[72],"they-variables,":[73],"namely,":[74],"$\\mathbf{y}$-XL,":[75],"based":[76,82],"XL":[79,86],"algorithm,":[80,87],"$\\mathbf{y}$-MLX,":[81],"mutant":[85],"and":[88,108,137],"$\\mathbf{y}$-HXL,":[89],"basedon":[90],"hybrid":[92],"approach.":[93],"We":[94,125],"define":[95],"notions":[96],"regularity":[98],"for":[99,122],"systems,that":[102],"capture":[103],"idea":[105],"genericity,":[107],"develop":[110],"necessary":[112],"theoretical":[113],"tools":[114],"estimate":[116],"algorithms":[121],"such":[123],"sequences.":[124],"also":[126],"present":[127],"extensive":[128],"experimental":[129],"results,":[130,136],"testing":[131],"our":[132,135],"conjecture,":[133],"verifying":[134],"comparing":[138],"various":[143],"methods.":[144]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}