{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T14:01:34Z","timestamp":1762783294867,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-20-CE48-0014"],"award-info":[{"award-number":["ANR-20-CE48-0014"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747565","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"224-232","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-7886-0880","authenticated-orcid":false,"given":"Alaa","family":"Ibrahim","sequence":"first","affiliation":[{"name":"Rhone, INRIA, ENS De Lyon, Lyon, France"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"G.\u00a0D. Anderson R.\u00a0W. Barnard K.\u00a0C. Richards M.\u00a0K. Vamanamurthy and M. Vuorinen. 1995. Inequalities for Zero-Balanced Hypergeometric Functions. Trans. Amer. Math. Soc. 347 5 (1995) 1713\u20131723. http:\/\/www.jstor.org\/stable\/2154966","DOI":"10.1090\/S0002-9947-1995-1264800-3"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Sylvie Boldo Fran\u00e7ois Cl\u00e9ment Jean-Christophe Filli\u00e2tre Micaela Mayero Guillaume Melquiond and Pierre Weis. 2014. Trusting computations: a mechanized proof from partial differential equations to actual program. Comput. Math. Appl. 68 3 (2014) 325\u2013352. 10.1016\/j.camwa.2014.06.004","DOI":"10.1016\/j.camwa.2014.06.004"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Alin Bostan and Sergey Yurkevich. 2022. A hypergeometric proof that Iso is bijective. Proc. Amer. Math. Soc. 150 5 (2022) 2131\u20132136. 10.1090\/proc\/15836","DOI":"10.1090\/proc\/15836"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Yann Bugeaud Andrej Dujella Wenjie Fang Tomislav Pejkovi\u0107 and Bruno Salvy. 2022. Absolute root separation. Experimental Mathematics 31 3 (2022) 805\u2013812. 10.1080\/10586458.2019.1699480","DOI":"10.1080\/10586458.2019.1699480"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07407-4_17"},{"key":"e_1_3_3_1_7_2","unstructured":"S. Gerhold and M. Kauers. 2005. A Computer Proof of Turan\u2019s Inequality. arxiv:https:\/\/arXiv.org\/abs\/math\/0509468\u00a0[math.CA] https:\/\/arxiv.org\/abs\/math\/0509468"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Stefan Gerhold and Manuel Kauers. 2005. A procedure for proving special function inequalities involving a discrete parameter. Proceedings of the 2005 international symposium on Symbolic and algebraic computation - ISSAC \u201905 (2005). 10.1145\/1073884.1073907","DOI":"10.1145\/1073884.1073907"},{"key":"e_1_3_3_1_9_2","unstructured":"Stefan Gerhold and Manuel Kauers. 2006. A computer proof of Tur\u00e1n\u2019s inequality. Journal of Inequalities in Pure and Applied Mathematics 7 2 (2006) Article 42. http:\/\/jipam.vu.edu.au\/images\/282_05_JIPAM\/282_05.pdf"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","unstructured":"Xavier Gourdon and Bruno Salvy. 1996. Effective asymptotics of linear recurrences with rational coefficients. Discrete Mathematics 153 1\u20133 (1996) 145\u2013163. 10.1016\/0012-365X(95)00133-H","DOI":"10.1016\/0012-365X(95)00133-H"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087623"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-8_11"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611977912.37"},{"key":"e_1_3_3_1_14_2","unstructured":"Alaa Ibrahim and Bruno Salvy. 2024. Positivity Proofs for Linear Recurrences through Contracted Cones. arxiv:https:\/\/arXiv.org\/abs\/2412.08576\u00a0[cs.SC] https:\/\/arxiv.org\/abs\/2412.08576 arXiv:https:\/\/arxiv.org\/abs\/2412.08576."},{"key":"e_1_3_3_1_15_2","volume-title":"Formal Power Series and Algebraic Combinatorics","author":"Kauers Manuel","year":"2007","unstructured":"Manuel Kauers. 2007. Computer Algebra and Power Series with Positive Coefficients. In Formal Power Series and Algebraic Combinatorics. Tianjin, China."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837974"},{"key":"e_1_3_3_1_17_2","series-title":"LIPIcs. Leibniz Int. Proc. Inform.","first-page":"Art. No. 67, 15","volume-title":"46th International Symposium on Mathematical Foundations of Computer Science","author":"Kenison George","year":"2021","unstructured":"George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Jo\u00ebl Ouaknine, Markus\u00a0A. Whiteland, and James Worrell. 2021. On positivity and minimality for second-order holonomic sequences. In 46th International Symposium on Mathematical Foundations of Computer Science. LIPIcs. Leibniz Int. Proc. Inform., Vol.\u00a0202. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, Art. No. 67, 15."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2023.130"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Stephen Melczer and Marc Mezzarobba. 2022. Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes. Comb. Theory 2 2 (2022) Paper No. 4 20. 10.5070\/C62257847","DOI":"10.5070\/C62257847"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Marc Mezzarobba and Bruno Salvy. 2010. Effective Bounds for P-Recursive Sequences. Journal of Symbolic Computation 45 10 (Oct. 2010) 1075\u20131096. 10.1016\/j.jsc.2010.06.024","DOI":"10.1016\/j.jsc.2010.06.024"},{"key":"e_1_3_3_1_21_2","volume-title":"Elementary inequalities","author":"Mitrinovic Dragoslav\u00a0S","year":"1964","unstructured":"Dragoslav\u00a0S Mitrinovic, ES Barnes, DCB Marsh, and JRM Radok. 1964. Elementary inequalities. Noordhoff Groningen."},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43951-7_27"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973402.27"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","unstructured":"Veronika Pillwein. 2008. Positivity of certain sums over Jacobi kernel polynomials. Advances in Applied Mathematics 41 3 (2008) 365\u2013377. 10.1016\/j.aam.2007.12.001","DOI":"10.1016\/j.aam.2007.12.001"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465945"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Alexander\u00a0D. Scott and Alan\u00a0D. Sokal. 2014. Complete monotonicity for inverse powers of some combinatorially defined polynomials. Acta Math. 213 2 (2014) 323\u2013392. 10.1007\/s11511-014-0121-6","DOI":"10.1007\/s11511-014-0121-6"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Romain Serra Denis Arzelier Mioara Joldes Jean-Bernard Lasserre Aude Rondepierre and Bruno Salvy. 2016. Fast and accurate computation of orbital collision probability for short-term encounters. Journal of Guidance Control and Dynamics 39 5 (2016) 1009\u20131021. 10.2514\/1.G001353","DOI":"10.2514\/1.G001353"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609589"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","unstructured":"Armin Straub and Wadim Zudilin. 2015. Positivity of rational functions and their diagonals. J. Approx. Theory 195 (2015) 57\u201369. 10.1016\/j.jat.2014.05.012","DOI":"10.1016\/j.jat.2014.05.012"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","unstructured":"James\u00a0S. Vandergraft. 1968. Spectral properties of matrices which have invariant cones. SIAM J. Appl. Math. 16 (1968) 1208\u20131222. 10.1137\/0116101","DOI":"10.1137\/0116101"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","unstructured":"Thomas Yu and Jingmin Chen. 2022. Uniqueness of Clifford torus with prescribed isoperimetric ratio. Proc. Amer. Math. Soc. 150 4 (2022) 1749\u20131765. 10.1090\/proc\/15750","DOI":"10.1090\/proc\/15750"}],"event":{"name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Guanajuato Mexico","acronym":"ISSAC '25"},"container-title":["Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747199.3747565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:03Z","timestamp":1762774743000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":30,"alternative-id":["10.1145\/3747199.3747565","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747565","relation":{},"subject":[],"published":{"date-parts":[[2025,7,28]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}