{"id":"https://openalex.org/W4399512733","doi":"https://doi.org/10.1145/3618260.3649760","title":"On the Power of Homogeneous Algebraic Formulas","display_name":"On the Power of Homogeneous Algebraic Formulas","publication_year":2024,"publication_date":"2024-06-10","ids":{"openalex":"https://openalex.org/W4399512733","doi":"https://doi.org/10.1145/3618260.3649760"},"language":"en","primary_location":{"id":"doi:10.1145/3618260.3649760","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3618260.3649760","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649760","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649760","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004130370","display_name":"Herv\u00e9 Fournier","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I4210091437","display_name":"Sorbonne Paris Cit\u00e9","ror":"https://ror.org/001z21q04","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210091437"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Herv\u00e9 Fournier","raw_affiliation_strings":["IMJ-PRG - Universit\u00e9 Paris Cit\u00e9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMJ-PRG - Universit\u00e9 Paris Cit\u00e9, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I4210091437"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083072245","display_name":"Nutan Limaye","orcid":"https://orcid.org/0000-0002-0238-1674"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Nutan Limaye","raw_affiliation_strings":["IT-Universitetet, Copenhagen, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-0238-1674","affiliations":[{"raw_affiliation_string":"IT-Universitetet, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025305994","display_name":"Srikanth Srinivasan","orcid":"https://orcid.org/0000-0001-6491-124X"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Srikanth Srinivasan","raw_affiliation_strings":["University of Copenhagen, Copenhagen, Denmark"],"raw_orcid":"https://orcid.org/0000-0001-6491-124X","affiliations":[{"raw_affiliation_string":"University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045926575","display_name":"S\u00e9bastien Tavenas","orcid":"https://orcid.org/0000-0002-0025-0005"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210144844","display_name":"Laboratoire d\u2019Analyse et de Math\u00e9matiques Appliqu\u00e9es","ror":"https://ror.org/0581g8849","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I197681013","https://openalex.org/I4210141950","https://openalex.org/I4210144844","https://openalex.org/I4210154111"]},{"id":"https://openalex.org/I70900168","display_name":"Universit\u00e9 Savoie Mont Blanc","ror":"https://ror.org/04gqg1a07","country_code":"FR","type":"education","lineage":["https://openalex.org/I70900168"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Tavenas","raw_affiliation_strings":["Universit\u00e9 Savoie Mont Blanc - CNRS - LAMA, France","CNRS - Centre National de la Recherche Scientifique (France)"],"raw_orcid":"https://orcid.org/0000-0002-0025-0005","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Savoie Mont Blanc - CNRS - LAMA, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210144844","https://openalex.org/I70900168"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3588,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76315789,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"141","last_page":"151"},"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.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/T10720","display_name":"Complexity and Algorithms in Graphs","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/T11130","display_name":"Coding theory and cryptography","score":0.9991000294685364,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9988999962806702,"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/homogeneous","display_name":"Homogeneous","score":0.8062532544136047},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.7645238637924194},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.713681697845459},{"id":"https://openalex.org/keywords/real-algebraic-geometry","display_name":"Real algebraic geometry","score":0.625401496887207},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.6212546229362488},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5692192316055298},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5302538275718689},{"id":"https://openalex.org/keywords/algebraic-function","display_name":"Algebraic function","score":0.48157382011413574},{"id":"https://openalex.org/keywords/algebraic-theory","display_name":"Algebraic theory","score":0.4686310291290283},{"id":"https://openalex.org/keywords/algebraic-element","display_name":"Algebraic element","score":0.45209720730781555},{"id":"https://openalex.org/keywords/algebraic-extension","display_name":"Algebraic extension","score":0.4298855662345886},{"id":"https://openalex.org/keywords/algebraic-surface","display_name":"Algebraic surface","score":0.4261625409126282},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42096078395843506},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.42069464921951294},{"id":"https://openalex.org/keywords/homogeneous-polynomial","display_name":"Homogeneous polynomial","score":0.4158601760864258},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.33628061413764954},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.15396636724472046},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.13293462991714478},{"id":"https://openalex.org/keywords/matrix-polynomial","display_name":"Matrix polynomial","score":0.10004138946533203},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.054666757583618164}],"concepts":[{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.8062532544136047},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.7645238637924194},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.713681697845459},{"id":"https://openalex.org/C2731732","wikidata":"https://www.wikidata.org/wiki/Q7301119","display_name":"Real algebraic geometry","level":3,"score":0.625401496887207},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6212546229362488},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5692192316055298},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5302538275718689},{"id":"https://openalex.org/C148607811","wikidata":"https://www.wikidata.org/wiki/Q746863","display_name":"Algebraic function","level":3,"score":0.48157382011413574},{"id":"https://openalex.org/C2779782106","wikidata":"https://www.wikidata.org/wiki/Q4724020","display_name":"Algebraic theory","level":3,"score":0.4686310291290283},{"id":"https://openalex.org/C173832452","wikidata":"https://www.wikidata.org/wiki/Q162608","display_name":"Algebraic element","level":5,"score":0.45209720730781555},{"id":"https://openalex.org/C89290136","wikidata":"https://www.wikidata.org/wiki/Q550791","display_name":"Algebraic extension","level":5,"score":0.4298855662345886},{"id":"https://openalex.org/C69653121","wikidata":"https://www.wikidata.org/wiki/Q1434805","display_name":"Algebraic surface","level":3,"score":0.4261625409126282},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42096078395843506},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.42069464921951294},{"id":"https://openalex.org/C17103678","wikidata":"https://www.wikidata.org/wiki/Q1474074","display_name":"Homogeneous polynomial","level":4,"score":0.4158601760864258},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.33628061413764954},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15396636724472046},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.13293462991714478},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.10004138946533203},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.054666757583618164},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.0},{"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/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.0},{"id":"https://openalex.org/C186219872","wikidata":"https://www.wikidata.org/wiki/Q955889","display_name":"Differential algebraic equation","level":4,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3618260.3649760","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3618260.3649760","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649760","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/0d23d79c-5aea-43a5-aa87-527c2cb45736","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/0d23d79c-5aea-43a5-aa87-527c2cb45736","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fournier, H, Limaye, N, Srinivasan, S & Tavenas, S 2024, On the Power of Homogeneous Algebraic Formulas. in On the Power of Homogeneous Algebraic Formulas. Association for Computing Machinery, New York, USA , pp. 141-151. https://doi.org/10.1145/3618260.3649760","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-04683830v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04683830","pdf_url":"https://hal.science/hal-04683830/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"56th Annual ACM Symposium on Theory of Computing (STOC \u201924), Jun 2024, Vancouver, Canada. ⟨10.1145/3618260.3649760⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/e6055b63-4199-4dd1-942e-4a5e9f39a280","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/e6055b63-4199-4dd1-942e-4a5e9f39a280","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fournier , H , Limaye , N , Srinivasan , S & Tavenas , S 2024 , On the Power of Homogeneous Algebraic Formulas . in B Mohar , I Shinkar & R O\ufffdDonnell (eds) , STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing . Association for Computing Machinery , pp. 141-151 , 56th Annual ACM Symposium on Theory of Computing, STOC 2024 , Vancouver , Canada , 24/06/2024 . https://doi.org/10.1145/3618260.3649760","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1145/3618260.3649760","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3618260.3649760","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649760","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1591215997","display_name":"Towards new lower bounds in algebraic complexity","funder_award_id":"ANR-22-CE48-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4422840520","display_name":null,"funder_award_id":"16582","funder_id":"https://openalex.org/F4320310490","funder_display_name":"Villum Fonden"}],"funders":[{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320334966","display_name":"Bhabha Atomic Research Centre","ror":"https://ror.org/05w6wfp17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399512733.pdf","grobid_xml":"https://content.openalex.org/works/W4399512733.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1900995703","https://openalex.org/W1966757974","https://openalex.org/W1987465321","https://openalex.org/W1988738948","https://openalex.org/W1988938797","https://openalex.org/W2021082954","https://openalex.org/W2023541349","https://openalex.org/W2026944800","https://openalex.org/W2027044307","https://openalex.org/W2027897659","https://openalex.org/W2044630009","https://openalex.org/W2049156754","https://openalex.org/W2069546133","https://openalex.org/W2071105597","https://openalex.org/W2079910744","https://openalex.org/W2087664562","https://openalex.org/W2090920430","https://openalex.org/W2110206454","https://openalex.org/W2136589970","https://openalex.org/W2171403864","https://openalex.org/W2278314150","https://openalex.org/W2320835389","https://openalex.org/W2412308914","https://openalex.org/W2592993021","https://openalex.org/W2594331892","https://openalex.org/W2914183794","https://openalex.org/W2963115702","https://openalex.org/W3022488381","https://openalex.org/W3175812362","https://openalex.org/W4281858676","https://openalex.org/W4293566386","https://openalex.org/W4401408291","https://openalex.org/W6910433762","https://openalex.org/W6948520361"],"related_works":["https://openalex.org/W2019519844","https://openalex.org/W4256397181","https://openalex.org/W3090789507","https://openalex.org/W2963258887","https://openalex.org/W3022554530","https://openalex.org/W4298027993","https://openalex.org/W2740179225","https://openalex.org/W3021746254","https://openalex.org/W1984537908","https://openalex.org/W4233049353"],"abstract_inverted_index":{"Proving":[0],"explicit":[1],"lower":[2,29,74],"bounds":[3,75],"on":[4],"the":[5,16,25,77,124,127],"size":[6],"of":[7,18,106,117,126,134],"algebraic":[8,19,33,59,64,83],"formulas":[9,34],"is":[10,90,104],"a":[11,28,45,57,62,81,87,91,132],"long-standing":[12],"open":[13],"problem":[14],"in":[15,24,69,93,139],"area":[17,26],"complexity":[20],"theory.":[21],"Recent":[22],"results":[23,138],"(e.g.":[27],"bound":[30],"against":[31,76],"constant-depth":[32],"due":[35],"to":[36,61],"Limaye,":[37],"Srinivasan,":[38],"and":[39,71,130,136],"Tavenas":[40],"(FOCS":[41],"2021))":[42],"have":[43],"indicated":[44],"way":[46],"forward":[47],"for":[48,86],"attacking":[49],"this":[50,140],"question:":[51],"show":[52],"that":[53,114],"we":[54],"can":[55],"convert":[56],"general":[58],"formula":[60,65,84,92],"homogeneous":[63,82,98,105],"with":[66],"moderate":[67],"blow-up":[68],"size,":[70],"prove":[72,131],"strong":[73],"latter":[78],"model.":[79],"Here,":[80],"F":[85,109],"polynomial":[88],"P":[89,103],"which":[94],"all":[95],"subformulas":[96,113],"compute":[97,115],"polynomials.":[99],"In":[100],"particular,":[101],"if":[102],"degree":[107,118],"d,":[108],"does":[110],"not":[111],"contain":[112],"polynomials":[116],"greater":[119],"than":[120],"d.":[121],"We":[122],"investigate":[123],"feasibility":[125],"above":[128],"strategy":[129],"number":[133],"positive":[135],"negative":[137],"direction.":[141]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}