{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T12:29:24Z","timestamp":1787228964776,"version":"build-2736575974"},"reference-count":37,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","funder":[{"DOI":"10.13039\/100031323","name":"Heilbronn Institute for Mathematical Research","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100031323","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["IZSEZ0 213937"],"award-info":[{"award-number":["IZSEZ0 213937"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Appl. Algebra Geometry"],"published-print":{"date-parts":[[2025,3,31]]},"abstract":"<jats:p>Abstract.<\/jats:p>\n                  <jats:p>In this paper, we study the satisfiability and solutions of group equations when combinatorial, algebraic, and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic order, abelianization, or context-free constraints added can be effectively produced in finitely generated virtually abelian groups. Crucially, we translate each of the constraints above into a rational set in an effective way, and so reduce each problem to solving equations with rational constraints, which is decidable and well understood in virtually abelian groups. A byproduct of our results is that the growth series of a virtually abelian group, with respect to any generating set and any weight, is effectively computable. This series is known to be rational by the work of Benson [ Invent. Math., 73 (1983), pp. 251\u2013269], but his approach is not constructive.<\/jats:p>","DOI":"10.1137\/23m1604679","type":"journal-article","created":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T04:44:27Z","timestamp":1741581867000},"page":"235-260","source":"Crossref","is-referenced-by-count":3,"title":["Effective Equation Solving, Constraints, and Growth in Virtually Abelian Groups"],"prefix":"10.1137","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9451-1471","authenticated-orcid":true,"given":"Laura","family":"Ciobanu","sequence":"first","affiliation":[{"name":"Maxwell Institute of Mathematical Sciences, and Department of Mathematics, Heriot-Watt University, Edinburgh, EH14 4AS, UK."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Evetts","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Manchester, Manchester M13 9PL, UK, and the Heilbronn Institute for Mathematical Research, Bristol BS8 1UG, UK."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Levine","sequence":"additional","affiliation":[{"name":"School of Engineering, Mathematics and Physics, University of East Anglia, Norwich NR4 7TJ, UK."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2025,3,10]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_10"},{"key":"ref2","first-page":"16","volume":"55","author":"Amadini R.","year":"2021","journal-title":"ACM Comput. Surv."},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4171\/jca\/64"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01394026"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-09367-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2020.12.003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19880340410"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2023.114229"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-021-2232-z"},{"key":"ref10","author":"Ciobanu L.","year":"2024","journal-title":"L\u2019Enseignement Math\u00e9matique"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1093\/imrn\/rnad179"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1515\/9783110984323-002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-009-0084-z"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1112\/jtopol\/jtq010"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.10.014"},{"key":"ref16","doi-asserted-by":"crossref","unstructured":"J. D. Day, V. Ganesh, P. He, F. Manea, and D. Nowotka, The satisfiability of word equations: Decidable and undecidable theories, in International Conference on Reachability Problems, Springer, Cham, 2018, pp. 15\u201329.","DOI":"10.1007\/978-3-030-00250-3_2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90037-X"},{"key":"ref18","first-page":"717","volume":"16","author":"Durnev V. G.","year":"1974","journal-title":"Mat. Zametki"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(69)90070-2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2011.03.019"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1215\/00192082-8011497"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196722500205"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.5802\/cml.72"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2021.104745"},{"key":"ref25","first-page":"333","volume":"113","author":"Ginsburg S.","year":"1964","journal-title":"Trans. Amer. Math. Soc."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10854-8_46"},{"key":"ref27","unstructured":"Z. Grunschlag, Algorithms in Geometric Group Theory, Ph.D. thesis, University of California, Berkeley, Berkeley, CA, 1999."},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/1991250302551"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90018-O"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1017\/9781316588246"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2006.05.020"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2022.11.031"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316227343.024"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1070\/SM1968v004n02ABEH002788"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF01241129"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700034171"},{"key":"ref37","first-page":"195","volume":"77","author":"Silva P. V.","year":"2002","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci. EATCS"}],"container-title":["SIAM Journal on Applied Algebra and Geometry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/23M1604679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T12:09:31Z","timestamp":1787227771000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/23M1604679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,10]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3,31]]}},"alternative-id":["10.1137\/23M1604679"],"URL":"https:\/\/doi.org\/10.1137\/23m1604679","relation":{},"ISSN":["2470-6566"],"issn-type":[{"value":"2470-6566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3,10]]}}}