{"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":null,"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":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.3934/amc.2021047","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":true,"raw_author_name":"Javier Verbel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5088711607"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0238378,"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":null,"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":"2331-8422","issn":["2331-8422"],"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":null,"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":"2331-8422","issn":["2331-8422"],"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":"2331-8422","issn":["2331-8422"],"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.3934/amc.2021047","is_oa":true,"landing_page_url":"https://doi.org/10.3934/amc.2021047","pdf_url":null,"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":{"pdf":false,"grobid_xml":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":{"<p":[0],"style='text-indent:20px;'>In":[1],"this":[2,83],"paper,":[3],"we":[4,51,85,95,103,193],"study":[5],"the":[6,54,57,70,118,130,139,155,161,164,182,185,190],"complexity":[7,162,183],"of":[8,13,41,56,88,107,163,184],"solving":[9],"overdetermined":[10,91],"generic":[11,26,100],"systems":[12],"bilinear":[14,27,92,204],"polynomials":[15],"over":[16],"a":[17,25,39,150],"finite":[18],"field":[19],"<inline-formula><tex-math":[20,29,43,47,59,71,78,119,124,133,144,197],"id=\"M1\">\\begin{document}$":[21],"\\mathbb{F}":[22],"$\\end{document}</tex-math></inline-formula>.":[23,81],"Given":[24],"sequence":[28],"id=\"M2\">\\begin{document}$":[30],"B\\in":[31],"\\mathbb{F}[":[32,73],"\\textbf{x},":[33],"\\textbf{y}]":[34,74],"$\\end{document}</tex-math></inline-formula>,":[35,46,50],"with":[36],"respect":[37],"to":[38,159],"partition":[40],"variables":[42],"id=\"M3\">\\begin{document}$":[44],"\\textbf{x}":[45],"id=\"M4\">\\begin{document}$":[48],"\\textbf{y}":[49,121,126,135,146,199],"show":[52],"that,":[53],"solutions":[55],"system":[58],"id=\"M5\">\\begin{document}$":[60],"B":[61,80],"=":[62],"\\textbf{0}":[63],"$\\end{document}</tex-math></inline-formula>":[64],"can":[65,194],"be":[66],"efficiently":[67],"found":[68],"on":[69,129,138,149,189,203],"id=\"M6\">\\begin{document}$":[72],"$\\end{document}</tex-math></inline-formula>-module":[75],"generated":[76],"by":[77,115],"id=\"M7\">\\begin{document}$":[79],"Following":[82],"observation,":[84],"define":[86],"notions":[87],"regularity":[89],"for":[90,166,173],"systems,":[93],"and":[94,143,180],"conjecture":[96],"that":[97,111,196],"they":[98],"are":[99],"properties.":[101],"Also,":[102],"propose":[104],"three":[105],"variations":[106],"Gr\u00f6bner":[108],"basis":[109],"algorithms,":[110],"only":[112],"involve":[113],"multiplication":[114],"monomials":[116],"in":[117],"id=\"M8\">\\begin{document}$":[120],"$\\end{document}</tex-math></inline-formula>-variables,":[122],"namely,":[123],"id=\"M9\">\\begin{document}$":[125],"$\\end{document}</tex-math></inline-formula>-XL,":[127],"based":[128,137,148],"XL":[131,141],"algorithm,":[132,142],"id=\"M10\">\\begin{document}$":[134],"$\\end{document}</tex-math></inline-formula>-MXL,":[136],"mutant":[140],"id=\"M11\">\\begin{document}$":[145],"$\\end{document}</tex-math></inline-formula>-HXL,":[147],"hybrid":[151],"approach.":[152],"We":[153,169],"develop":[154],"necessary":[156],"theoretical":[157],"tools":[158],"estimate":[160],"algorithms":[165],"such":[167],"sequences.":[168],"present":[170],"experimental":[171,191],"evidence":[172],"testing":[174],"our":[175,178],"conjecture,":[176],"verifying":[177],"results,":[179],"comparing":[181],"various":[186],"methods.":[187],"Based":[188],"data,":[192],"conclude":[195],"id=\"M12\">\\begin{document}$":[198],"$\\end{document}</tex-math></inline-formula>-MXL":[200],"outperforms":[201],"F4":[202],"systems.":[205]},"counts_by_year":[],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}