{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:23:13Z","timestamp":1744172593455,"version":"3.40.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T00:00:00Z","timestamp":1737676800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T00:00:00Z","timestamp":1737676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["2019-04111","2018-04118"],"award-info":[{"award-number":["2019-04111","2018-04118"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1007\/s00224-025-10214-1","type":"journal-article","created":{"date-parts":[[2025,1,24]],"date-time":"2025-01-24T06:40:17Z","timestamp":1737700817000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Rudin-Shapiro Sums Via Automata Theory and Logic"],"prefix":"10.1007","volume":"69","author":[{"given":"Narad","family":"Rampersad","sequence":"first","affiliation":[]},{"given":"Jeffrey","family":"Shallit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,24]]},"reference":[{"key":"10214_CR1","first-page":"239","volume":"5","author":"J-P Allouche","year":"1987","unstructured":"Allouche, J.-P.: Automates finis en th\u00e9orie des nombres. Exposition. Math. 5, 239\u2013266 (1987)","journal-title":"Exposition. Math."},{"key":"10214_CR2","doi-asserted-by":"crossref","unstructured":"Berstel, J.,\u00a0Reutenauer, C.: Noncommutative Rational Series With Applications, Vol. 137 of Encyclopedia of Mathematics and Its Applications. Cambridge University Press, (2011)","DOI":"10.1017\/CBO9780511760860"},{"key":"10214_CR3","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1215\/ijm\/1256048841","volume":"22","author":"J Brillhart","year":"1978","unstructured":"Brillhart, J., Morton, P.: \u00dcber Summen von Rudin-Shapiroschen Koeffizienten. Illinois J. Math. 22, 126\u2013148 (1978)","journal-title":"Illinois J. Math."},{"key":"10214_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.2140\/pjm.1983.107.39","volume":"107","author":"J Brillhart","year":"1983","unstructured":"Brillhart, J., Erd\u0151s, P., Morton, P.: On sums of Rudin-Shapiro coefficients. II. Pacific J. Math. 107, 39\u201369 (1983)","journal-title":"II. Pacific J. Math."},{"key":"10214_CR5","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1080\/00029890.1996.12004830","volume":"103","author":"J Brillhart","year":"1996","unstructured":"Brillhart, J., Morton, P.: A case study in mathematical research: the Golay-Rudin-Shapiro sequence. Amer. Math. Monthly 103, 854\u2013869 (1996)","journal-title":"Amer. Math. Monthly"},{"key":"10214_CR6","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1051\/ita:2001129","volume":"35","author":"A Carpi","year":"2001","unstructured":"Carpi, A., Maggi, C.: On synchronized sequences and their separators. RAIRO Inform. Th\u00e9or. App. 35, 513\u2013524 (2001)","journal-title":"RAIRO Inform. Th\u00e9or. App."},{"key":"10214_CR7","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/BF01746527","volume":"3","author":"A Cobham","year":"1969","unstructured":"Cobham, A.: On the base-dependence of sets of numbers recognizable by finite automata. Math. Systems Theory 3, 186\u2013192 (1969)","journal-title":"Math. Systems Theory"},{"key":"10214_CR8","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/BF01706087","volume":"6","author":"A Cobham","year":"1972","unstructured":"Cobham, A.: Uniform tag sequences. Math. Systems Theory 6, 164\u2013192 (1972)","journal-title":"Uniform tag sequences. Math. Systems Theory"},{"key":"10214_CR9","doi-asserted-by":"crossref","unstructured":"Dekking, F.M.,\u00a0Mend\u00e8s\u00a0France, M., van\u00a0der Poorten, A.J.: Folds! Math. Intelligencer 4 (1982), 130\u2013138, 173\u2013181, 190\u2013195. Erratum, 5, 5 (1983)","DOI":"10.1007\/BF03023552"},{"key":"10214_CR10","first-page":"437","volume":"39","author":"MJE Golay","year":"1949","unstructured":"Golay, M.J.E.: Multi-slit spectrometry. J. Optical Soc. Amer. 39, 437\u2013444 (1949)","journal-title":"Multi-slit spectrometry. J. Optical Soc. Amer."},{"key":"10214_CR11","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1364\/JOSA.41.000468","volume":"41","author":"MJE Golay","year":"1951","unstructured":"Golay, M.J.E.: Static multislit spectrometry and its application to the panoramic display of infrared spectra. J. Optical Soc. Amer. 41, 468\u2013472 (1951)","journal-title":"J. Optical Soc. Amer."},{"key":"10214_CR12","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Boston (1979)"},{"key":"10214_CR13","unstructured":"Kahane, J.-P.: Some Random Series of Functions. Cambridge Studies in Advanced Mathematics, Vol.\u00a05, 2nd edition. Cambridge University Press, 1994"},{"key":"10214_CR14","doi-asserted-by":"publisher","first-page":"1897","DOI":"10.5802\/aif.3285","volume":"69","author":"J Konieczny","year":"2019","unstructured":"Konieczny, J.: Gowers norms for the Thue-Morse and Rudin-Shapiro sequences. Annales de l\u2019Institut Fourier 69, 1897\u20131913 (2019)","journal-title":"Annales de l\u2019Institut Fourier"},{"key":"10214_CR15","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.aam.2014.10.006","volume":"63","author":"P Lafrance","year":"2015","unstructured":"Lafrance, P., Rampersad, N., Yee, R.: Some properties of a Rudin-Shapiro-like sequence. Adv. Appl. Math. 63, 19\u201340 (2015)","journal-title":"Adv. Appl. Math."},{"key":"10214_CR16","doi-asserted-by":"publisher","first-page":"2595","DOI":"10.4171\/jems\/566","volume":"17","author":"C Mauduit","year":"2015","unstructured":"Mauduit, C., Rivat, J.: Prime numbers along Rudin-Shapiro sequences. J. Eur. Math. Soc. 17, 2595\u20132642 (2015)","journal-title":"J. Eur. Math. Soc."},{"key":"10214_CR17","doi-asserted-by":"publisher","first-page":"207","DOI":"10.24033\/bsmf.1937","volume":"109","author":"M Mend\u00e8s France","year":"1981","unstructured":"Mend\u00e8s France, M., Tenenbaum, G.: Dimension des courbes planes, papiers pli\u00e9s et suites de Rudin-Shapiro. Bull. Soc. Math. France 109, 207\u2013215 (1981)","journal-title":"Bull. Soc. Math. France"},{"key":"10214_CR18","doi-asserted-by":"crossref","unstructured":"Mend\u00e8s France, M.: Paper folding, space-filling curves and Rudin-Shapiro sequences. In: Papers in Algebra, Analysis and Statistics, Vol.\u00a09 of Contemporary Mathematics, Amer. Math. Society, 1982, pp.\u00a085\u201395","DOI":"10.1090\/conm\/009\/655976"},{"key":"10214_CR19","unstructured":"Mousavi, H.: Automatic theorem proving in $$\\mathtt Walnut$$. Arxiv preprint arXiv:1603.06017 [cs.FL], available at http:\/\/arxiv.org\/abs\/1603.06017, (2016)"},{"key":"10214_CR20","doi-asserted-by":"crossref","unstructured":"Rampersad, N., Shallit, J.: Rudin-Shapiro sums via automata theory and logic. In: A. Frid and R. Mercas, eds., WORDS 2023, Lect. Notes in Comp. Sci., Vol. 13899, Springer, 2023, pp.\u00a0233\u2013246","DOI":"10.1007\/978-3-031-33180-0_18"},{"key":"10214_CR21","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1090\/S0002-9939-1959-0116184-5","volume":"10","author":"W Rudin","year":"1959","unstructured":"Rudin, W.: Some theorems on Fourier coefficients. Proc. Amer. Math. Soc. 10, 855\u2013859 (1959)","journal-title":"Proc. Amer. Math. Soc."},{"key":"10214_CR22","doi-asserted-by":"crossref","unstructured":"Shallit, J.: Synchronized sequences. In T.\u00a0Lecroq and S.\u00a0Puzynina, editors, WORDS 2021, Vol. 12847 of Lecture Notes in Computer Science, pp. 1\u201319. Springer-Verlag, 2021","DOI":"10.1007\/978-3-030-85088-3_1"},{"key":"10214_CR23","doi-asserted-by":"crossref","unstructured":"Shallit, J.: The Logical Approach To Automatic Sequences: Exploring Combinatorics on Words with Walnut, Vol. 482 of London Math. Society Lecture Note Series. Cambridge University Press, (2022)","DOI":"10.1017\/9781108775267"},{"key":"10214_CR24","unstructured":"Shallit, J.: Rarefied Thue-Morse sums via automata theory and logic. Arxiv preprint ArXiv:2302.09436 [math.NT], February 18 2023, available at https:\/\/arxiv.org\/abs\/2302.09436"},{"key":"10214_CR25","unstructured":"Shapiro, H.S.: Extremal problems for polynomials and power series. Master\u2019s thesis, MIT (1951)"},{"key":"10214_CR26","unstructured":"Sloane, N.J.A., et\u00a0al.: The on-line encyclopedia of integer sequences, (2023). Available at https:\/\/oeis.org"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-025-10214-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00224-025-10214-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-025-10214-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T17:14:25Z","timestamp":1744132465000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00224-025-10214-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,24]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["10214"],"URL":"https:\/\/doi.org\/10.1007\/s00224-025-10214-1","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"type":"print","value":"1432-4350"},{"type":"electronic","value":"1433-0490"}],"subject":[],"published":{"date-parts":[[2025,1,24]]},"assertion":[{"value":"9 January 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"9"}}