{"id":"https://openalex.org/W4400648877","doi":"https://doi.org/10.1145/3666000.3669716","title":"Feasibility of Circuit Polynomials without Purple Swans: Feasibility without Purple Swans","display_name":"Feasibility of Circuit Polynomials without Purple Swans: Feasibility without Purple Swans","publication_year":2024,"publication_date":"2024-07-15","ids":{"openalex":"https://openalex.org/W4400648877","doi":"https://doi.org/10.1145/3666000.3669716"},"language":"en","primary_location":{"id":"doi:10.1145/3666000.3669716","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3666000.3669716","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-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/A5073898364","display_name":"Weixun Deng","orcid":null},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Weixun Deng","raw_affiliation_strings":["Texas A&amp;M University, USA"],"raw_orcid":"https://orcid.org/0009-0009-9071-6291","affiliations":[{"raw_affiliation_string":"Texas A&amp;M University, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015984499","display_name":"Alperen A. Erg\u00fcr","orcid":"https://orcid.org/0000-0002-2340-6551"},"institutions":[{"id":"https://openalex.org/I45438204","display_name":"The University of Texas at San Antonio","ror":"https://ror.org/01kd65564","country_code":"US","type":"education","lineage":["https://openalex.org/I45438204"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alperen Ergur","raw_affiliation_strings":["University of Texas at San Antonio, USA"],"raw_orcid":"https://orcid.org/0000-0002-2340-6551","affiliations":[{"raw_affiliation_string":"University of Texas at San Antonio, USA","institution_ids":["https://openalex.org/I45438204"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057513793","display_name":"Grigoris Paouris","orcid":"https://orcid.org/0000-0002-2619-0207"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grigoris Paouris","raw_affiliation_strings":["Texas A&amp;M University, USA"],"raw_orcid":"https://orcid.org/0000-0002-2619-0207","affiliations":[{"raw_affiliation_string":"Texas A&amp;M University, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005847878","display_name":"J. Maurice Rojas","orcid":"https://orcid.org/0000-0002-1657-2674"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Maurice Rojas","raw_affiliation_strings":["Mathematics, Texas A&amp;M University, USA"],"raw_orcid":"https://orcid.org/0000-0002-1657-2674","affiliations":[{"raw_affiliation_string":"Mathematics, Texas A&amp;M University, USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5073898364"],"corresponding_institution_ids":["https://openalex.org/I91045830"],"apc_list":null,"apc_paid":null,"fwci":0.3457,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60798509,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"429","last_page":"436"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9991999864578247,"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.9991999864578247,"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/T10720","display_name":"Complexity and Algorithms in Graphs","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"}},{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/black-swan-theory","display_name":"Black swan theory","score":0.6787425875663757},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.33258068561553955},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.25833529233932495},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.13302043080329895}],"concepts":[{"id":"https://openalex.org/C198036527","wikidata":"https://www.wikidata.org/wiki/Q2074634","display_name":"Black swan theory","level":2,"score":0.6787425875663757},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33258068561553955},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25833529233932495},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.13302043080329895}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3666000.3669716","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3666000.3669716","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G317258908","display_name":null,"funder_award_id":"CCF-1900881","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W74973629","https://openalex.org/W1493946872","https://openalex.org/W1595559231","https://openalex.org/W1611937190","https://openalex.org/W1617703264","https://openalex.org/W1984254060","https://openalex.org/W2035940488","https://openalex.org/W2080881761","https://openalex.org/W2085729541","https://openalex.org/W2098263571","https://openalex.org/W2098888552","https://openalex.org/W2137801186","https://openalex.org/W2168359059","https://openalex.org/W2168596303","https://openalex.org/W2239251014","https://openalex.org/W2245906068","https://openalex.org/W2344536727","https://openalex.org/W2901500488","https://openalex.org/W2960750222","https://openalex.org/W2964330200","https://openalex.org/W3099048330","https://openalex.org/W4214535275","https://openalex.org/W4236843783","https://openalex.org/W4239678843","https://openalex.org/W4300901601","https://openalex.org/W4310121873","https://openalex.org/W6602687325","https://openalex.org/W6608044702","https://openalex.org/W6671824235"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2090993525","https://openalex.org/W2016340530","https://openalex.org/W4288051106","https://openalex.org/W4385414488","https://openalex.org/W2269458749","https://openalex.org/W4226402370","https://openalex.org/W3127128148","https://openalex.org/W1778113733"],"abstract_inverted_index":{"Suppose":[0],"f":[1,46,113],"is":[2,47],"a":[3,48,54,77,85,103,124,130],"polynomial":[4],"in":[5,18,57,90,149],"n":[6,12],"variables":[7],"with":[8,129],"degree":[9],"d,":[10],"exactly":[11],"+":[13],"k":[14,62,92],"monomial":[15],"terms,":[16],"coefficients":[17],"{":[19],"\u00b1":[20],"1,":[21],"\u2026,":[22],"\u00b1H}":[23],"for":[24,82,100,115,140],"some":[25],"<Formula":[26,104],"format=\"inline\"><TexMath><?TeX":[27,105],"$H\\!\\in":[28],"\\!\\mathbb":[29],"{N}$?></TexMath><AltText>Math":[30],"1</AltText><File":[31],"name=\"issac24-46-inline1\"":[32],"type=\"svg\"/></Formula>,":[33],"and":[34,166],"Newton":[35],"polytope":[36],"of":[37,43,88,111,168],"positive":[38],"volume.":[39],"Testing":[40],"real":[41],"feasibility":[42,160],"such":[44,161],"an":[45],"fundamental":[49],"task":[50],"whose":[51],"bit-complexity":[52,72],"remains":[53],"mystery,":[55],"even":[56],"the":[58,91,112],"first":[59],"non-trivial":[60],"case":[61],"=":[63,93],"2:":[64],"The":[65],"fastest":[66],"algorithms":[67],"so":[68],"far":[69],"have":[70],"deterministic":[71],"(nlog":[73,98],"(dH))O(n).":[74],"We":[75,155],"prove":[76],"significant":[78],"speed-up":[79],"that":[80,139],"holds":[81],"all":[83,101],"but":[84,102],"small":[86],"collection":[87],"inputs":[89],"2":[94],"case:":[95],"Bit":[96],"complexity":[97],"(dH))O(1)":[99],"$O\\!\\left(\\frac{1}{2^n":[106],"H}\\right)$?></TexMath><AltText>Math":[107],"2</AltText><File":[108],"name=\"issac24-46-inline2\"":[109],"type=\"svg\"/></Formula>-fraction":[110],"above,":[114],"any":[116],"fixed":[117],"support.":[118],"Our":[119],"result":[120],"follows":[121],"by":[122],"combining":[123],"connection":[125],"to":[126],"diophantine":[127],"approximation":[128],"more":[131],"recent":[132],"anti-concentration":[133],"result.":[134],"In":[135],"particular,":[136],"we":[137],"show":[138],"random":[141],"inputs,":[142],"Baker\u2019s":[143],"famous":[144],"theorem":[145],"on":[146],"linear":[147],"forms":[148],"logarithms":[150],"can":[151],"be":[152],"significantly":[153],"sharpened.":[154],"also":[156],"consider":[157],"extensions":[158],"beyond":[159],"as":[162],"counting":[163],"connected":[164],"components":[165],"systems":[167],"circuit":[169],"polynomials.":[170]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}