{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:02:41Z","timestamp":1762326161736,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1900881"],"award-info":[{"award-number":["CCF-1900881"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669716","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"429-436","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Feasibility of Circuit Polynomials without Purple Swans: Feasibility without Purple Swans"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-9071-6291","authenticated-orcid":false,"given":"Weixun","family":"Deng","sequence":"first","affiliation":[{"name":"Texas A&M University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2340-6551","authenticated-orcid":false,"given":"Alperen","family":"Ergur","sequence":"additional","affiliation":[{"name":"University of Texas at San Antonio, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2619-0207","authenticated-orcid":false,"given":"Grigoris","family":"Paouris","sequence":"additional","affiliation":[{"name":"Texas A&M University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1657-2674","authenticated-orcid":false,"given":"J. Maurice","family":"Rojas","sequence":"additional","affiliation":[{"name":"Mathematics, Texas A&M University, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746539.2746606"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29011-4_41"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2016.12.002"},{"key":"e_1_3_2_1_4_1","volume-title":"Transcendence Theory: Advances and Applications: proceedings of a conference held at the University of Cambridge","author":"Baker Alan","year":"1976","unstructured":"[Bak77 ] Alan Baker, \u201cThe Theory of Linear Forms in Logarithms,\u201d in Transcendence Theory: Advances and Applications: proceedings of a conference held at the University of Cambridge, Cambridge, Jan.\u2013Feb., 1976, Academic Press, London, 1977."},{"key":"e_1_3_2_1_5_1","first-page":"19","article-title":"Logarithmic forms and group varieties","volume":"442","author":"Baker Alan","year":"1993","unstructured":"[BW93 ] Alan Baker and Gisbert Wustholtz, \u201cLogarithmic forms and group varieties,\u201d J. Reine Angew. Math. 442 (1993), pp. 19\u201362.","journal-title":"J. Reine Angew. Math."},{"key":"e_1_3_2_1_6_1","first-page":"166","volume-title":"Randomization, Relaxation, and Complexity in Polynomial Equation Solving, Contemporary Mathematics","author":"Chris Osbert","year":"2011","unstructured":"[BHPR11 ] Osbert Bastani; Chris Hillar; Dimitar Popov; and J. Maurice Rojas, \u201cRandomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond,\u201d Randomization, Relaxation, and Complexity in Polynomial Equation Solving, Contemporary Mathematics, vol. 556, pp. 145\u2013166, AMS Press, 2011."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-014-9610-9"},{"key":"e_1_3_2_1_8_1","volume-title":"Algorithms in Real Algebraic Geometry, Algorithms and Computation in Mathematics","author":"Ricky Saugata","year":"2006","unstructured":"[BPR06 ] Saugata Basu; Ricky Pollack; and Marie-Francoise Roy, Algorithms in Real Algebraic Geometry, Algorithms and Computation in Mathematics, vol. 10, Springer-Verlag, 2006."},{"key":"e_1_3_2_1_9_1","unstructured":"[Ber03 ] Daniel J. Bernstein \u201cComputing Logarithm Intervals with the Arithmetic-Geometric Mean Iterations \u201d available from http:\/\/cr.yp.to\/papers.html."},{"key":"e_1_3_2_1_10_1","volume-title":"Universitd\u0301e Savoie","author":"Bihan Fr\u00e9d\u00e9ric","year":"2011","unstructured":"[Bih11 ] Fr\u00e9d\u00e9ric Bihan, \u201cTopologie des vari\u00e9t\u00e9s creuses,\u201d Habilitation \u00e0 Diriger des Recherches, Universitd\u0301e Savoie, France, 2011. Downloadable from http:\/\/www.lama.univ-savoie.f\/bihan\/MyPapers\/HDRfinal.pdf"},{"key":"e_1_3_2_1_11_1","volume-title":"Quickly Computing Isotopy Type for Exponential Sums over Circuits","author":"Weixun Fr\u00e9d\u00e9ric","year":"2024","unstructured":"[BDPRRR24 ] Fr\u00e9d\u00e9ric Bihan; Weixun Deng; Kaitlyn Phillipson; Erika Refsland; Robert J. Rennie; and J. Maurice Rojas, \u201cQuickly Computing Isotopy Type for Exponential Sums over Circuits,\u201d in preparation, 2024."},{"key":"e_1_3_2_1_12_1","series-title":"IMA","volume-title":"Algorithms in Algebraic Geometry","author":"Maurice Fr\u00e9d\u00e9ric","unstructured":"[BRS07 ] Fr\u00e9d\u00e9ric Bihan; J. Maurice Rojas; and Frank Sottile, \u201cSharpness of fewnomial bound and the number of components of a fewnomial hypersurface,\u201d IMA Volume 146: Algorithms in Algebraic Geometry edited by Alicia Dickenstein, Frank-Olaf Schreyer, and Andrew J. Sommese, pp. 15\u201320, Springer, New York, 2007."},{"key":"e_1_3_2_1_13_1","first-page":"46","volume-title":"proceedings of ISSAC 2009 (July 28-31","author":"Maurice Fr\u00e9d\u00e9ric","year":"2009","unstructured":"[BRS09 ] Fr\u00e9d\u00e9ric Bihan; J. Maurice Rojas; and Casey Stella, \u201cFaster real feasibility via circuit discriminants,\u201d proceedings of ISSAC 2009 (July 28-31, Seoul, Korea), pp. 39\u201346, ACM Press, 2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.17323\/1609-4514-2007-7-3-387-407"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-09-09902-X"},{"key":"e_1_3_2_1_16_1","volume-title":"Heights in Diophantine Geometry, new mathematical monographs: 4","author":"Bombieri Enrico","year":"2006","unstructured":"[BG06 ] Enrico Bombieri and Walter Gubler, Heights in Diophantine Geometry, new mathematical monographs: 4, Cambridge University Press, 2006."},{"issue":"2","key":"e_1_3_2_1_17_1","first-page":"969","article-title":"Classical and modular approaches to exponential Diophantine equations, I, Fibonacci and Lucas perfect powers","volume":"163","author":"Maurice Yan","year":"2006","unstructured":"[BMS06 ] Yan Bugeaud; Maurice Mignotte; and Samir Siksek, \u201cClassical and modular approaches to exponential Diophantine equations, I, Fibonacci and Lucas perfect powers,\u201d Ann. of Math. (2) 163 (2006), pp. 969\u20131018.","journal-title":"Ann. of Math."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1137\/18M1228682"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/140988978"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601327"},{"key":"e_1_3_2_1_21_1","volume-title":"Discriminants","author":"Israel Moseyevitch","year":"1994","unstructured":"[GKZ94 ] Israel Moseyevitch Gel\u2019fand; Misha M. Kapranov; and Andrei V. Zelevinsky, Discriminants, Resultants and Multidimensional Determinants, Birkh\u00e4user, Boston, 1994."},{"key":"e_1_3_2_1_22_1","unstructured":"[Kho91 ] Askold Khovanski Fewnomials AMS Press Providence Rhode Island 1991."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07010-9"},{"key":"e_1_3_2_1_24_1","first-page":"1431","article-title":"On sharp bounds for marginal densities of product measures","volume":"11856","author":"Livshyts Galyna","unstructured":"[LPP16 ] Galyna Livshyts, Grigoris Paouris, and Peter Pivovarov, \u201cOn sharp bounds for marginal densities of product measures,\u201d Israel Journal of Mathematics, https:\/\/link.springer.com\/article\/10.1007\/s11856-016-1431-5.","journal-title":"Israel Journal of Mathematics, https:\/\/link.springer.com\/article\/10.1007\/s"},{"key":"e_1_3_2_1_25_1","first-page":"298","volume-title":"Proceedings of ISSAC","author":"Magron V.","year":"2019","unstructured":"[MSdW19 ] V. Magron, H. Seidler, and T. de Wolff, \u201cExact optimization via sums of nonnegative circuits and arithmetic-geometric-mean-exponentials,\u201d Proceedings of ISSAC 2019, pp. 291\u2013298, ACM Press."},{"key":"e_1_3_2_1_26_1","first-page":"125","article-title":"An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers, II","volume":"64","author":"Matveev E. M.","year":"2000","unstructured":"[Mat00 ] E. M. Matveev, \u201cAn explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers, II\u201d, Izv. Ross. Akad. Nauk Ser. Mat. 64 (2000), pp. 125\u2013180; English transl. in Izv.l Math. 64 (2000), pp. 1217\u20131269.","journal-title":"Izv. Ross. Akad. Nauk Ser. Mat."},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes in Math","first-page":"106","volume-title":"Diophantine approximation (Cetraro","author":"Nesterenko Yuri","year":"2000","unstructured":"[Nes03 ] Yuri Nesterenko, \u201cLinear forms in logarithms of rational numbers,\u201d Diophantine approximation (Cetraro, 2000), pp. 53\u2013106, Lecture Notes in Math., 1819, Springer, Berlin, 2003."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2012.17.2153"},{"key":"e_1_3_2_1_29_1","first-page":"142","volume-title":"proceedings of SNC 2009 (August 3\u20135, 2009","author":"Maurice Philippe P.","year":"2009","unstructured":"[PRT09 ] Philippe P. P\u00e9bay; J. Maurice Rojas; and David C. Thompson, \u201cOptimization andNPMath-Completeness of Certain Fewnomials,\u201d proceedings of SNC 2009 (August 3\u20135, 2009, Kyoto, Japan), pp. 133\u2013142, ACM Press, 2009."},{"issue":"2","key":"e_1_3_2_1_30_1","first-page":"363","article-title":"Extremal PSD Forms with Few Terms","volume":"45","author":"Reznick B.","year":"1978","unstructured":"[Rez78 ] B. Reznick, \u201cExtremal PSD Forms with Few Terms,\u201d Duke Math. Journal, 45 (2), (1978), pp. 363\u2013374.","journal-title":"Journal"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-022-09599-z"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1093\/imrn\/rnu243"},{"issue":"1","key":"e_1_3_2_1_33_1","first-page":"33","article-title":"Integer points on curves of genus 1","volume":"81","author":"Schmidt Wolfgang M.","year":"1992","unstructured":"[Sch92 ] Wolfgang M. Schmidt, \u201cInteger points on curves of genus 1,\u201d Compositio Mathematica, tome 81, no. 1 (1992), pp. 33\u201359.","journal-title":"Compositio Mathematica, tome"}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Raleigh NC USA","acronym":"ISSAC '24"},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669716","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:52:00Z","timestamp":1758588720000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669716"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":33,"alternative-id":["10.1145\/3666000.3669716","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669716","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}