×

New Eliahou semigroups and verification of the Wilf conjecture for genus up to 65. (English) Zbl 1495.20049

Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 18th international conference, MDAI 2021, Umeå, Sweden, September 27–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12898, 17-27 (2021).
Summary: We give a graphical reinterpretation of the seeds algorithm to explore the tree of numerical semigroups. We then exploit the seeds algorithm to find all the Eliahou semigroups of genus up to 65. Since all these semigroups satisfy the Wilf conjecture, this shows that the Wilf conjecture holds up to genus 65.
For the entire collection see [Zbl 1487.68021].

MSC:

20M14 Commutative semigroups
68V05 Computer assisted proofs of proofs-by-exhaustion type

References:

[1] Bras-Amorós, M.; Fernández-González, J., Computation of numerical semigroups by means of seeds, Math. Comput., 87, 313, 2539-2550 (2018) · Zbl 1457.20046 · doi:10.1090/mcom/3292
[2] Delgado, M., On a question of Eliahou and a conjecture of Wilf, Math. Z., 288, 1-2, 595-627 (2018) · Zbl 1486.20076 · doi:10.1007/s00209-017-1902-3
[3] Eliahou, S., Wilf’s conjecture and Macaulay’s theorem, J. Eur. Math. Soc. (JEMS), 20, 9, 2105-2129 (2018) · Zbl 1436.20114 · doi:10.4171/JEMS/807
[4] Fromentin, J.; Hivert, F., Exploring the tree of numerical semigroups, Math. Comput., 85, 301, 2553-2568 (2016) · Zbl 1344.20075 · doi:10.1090/mcom/3075
[5] Rosales, JC; García-Sánchez, PA, Numerical Semigroups (2009), New York: Springer, New York · Zbl 1220.20047 · doi:10.1007/978-1-4419-0160-6
[6] Wilf, HS, A circle-of-lights algorithm for the “money-changing problem”, Am. Math. Mon., 85, 7, 562-565 (1978) · Zbl 0387.10009
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.