AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Davenport–Zannier Polynomials and Dessins d’Enfants
About this Title
Nikolai M. Adrianov, Lomonosov Moscow State University, Moscow, Russia, Fedor Pakovich, Ben Gurion University of the Negev, Be’er Sheva, Israel and Alexander K. Zvonkin, University of Bordeaux, Talence, France
Publication: Mathematical Surveys and Monographs
Publication Year:
2020; Volume 249
ISBNs: 978-1-4704-5634-4 (print); 978-1-4704-6029-7 (online)
DOI: https://doi.org/10.1090/surv/249
Table of Contents
Download chapters as PDF
Front/Back Matter
Chapters
- Introduction
- Dessins d’enfants: From polynomials through Belyĭ functions to weighted trees
- Existence theorem
- Recapitulation and perspective
- Classification of unitrees
- Computation of Davenport-Zannier pairs for unitrees
- Primitive monodromy groups of weighted trees
- Trees with primitive monodromy groups
- A zoo of examples and constructions
- Diophantine invariants
- Enumeration
- What remains to be done
- M. Abramowitz, I. Stegun, eds., Handbook of mathematical functions: with formulas, graphs, and mathematical tables, Dover, 1972.
- N. M. Adrianov, Arithmetic Theory of Graphs on Surfaces (Russian), Ph. D. Thesis, Moscow State University, 1997, 116 pp.
- N. M. Adrianov, Classification of primitive edge rotation groups of plane trees, Fundam. Prikl. Mat. 3 (1997), no. 4, 1069–1083 (Russian, with English and Russian summaries). MR 1794502
- N. M. Adrianov, On planar trees with a prescribed number of valency set realizations, Fundam. Prikl. Mat. 13 (2007), no. 6, 9–17 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 158 (2009), no. 1, 5–10. MR 2476026, DOI 10.1007/s10958-009-9369-3
- N. M. Adrianov, On generalized Chebyshev polynomials corresponding to planar trees of diameter 4, Fundam. Prikl. Mat. 13 (2007), no. 6, 19–33 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 158 (2009), no. 1, 11–21. MR 2476027, DOI 10.1007/s10958-009-9371-9
- N. Adrianov, Primitive monodromy groups of rational functions with one multiple pole, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 446 (2016), no. Kombinatorika i Teoriya Grafov. V, 12–30; English transl., J. Math. Sci. (N.Y.) 226 (2017), no. 5, 548–560. MR 3520420, DOI 10.1007/s10958-017-3549-3
- N. M. Adrianov, Yu. Yu. Kochetkov, and A. D. Suvorov, Plane trees with exceptional primitive edge rotation groups, Fundam. Prikl. Mat. 3 (1997), no. 4, 1085–1092 (Russian, with English and Russian summaries). MR 1794503
- Nikolai Adrianov and George Shabat, Unicellular cartography and Galois orbits of plane trees, Geometric Galois actions, 2, London Math. Soc. Lecture Note Ser., vol. 243, Cambridge Univ. Press, Cambridge, 1997, pp. 13–24. MR 1653007, DOI 10.1017/CBO9780511666124.003
- Nikolai Adrianov and Alexander Zvonkin, Composition of plane trees, Acta Appl. Math. 52 (1998), no. 1-3, 239–245. Algebra and combinatorics: interactions and applications (Königstein, 1994). MR 1649700, DOI 10.1023/A:1005971411271
- N. M. Adrianov and A. K. Zvonkin, Weighted trees with primitive edge rotation groups, Fundam. Prikl. Mat. 18 (2013), no. 6, 5–50 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 209 (2015), no. 2, 160–191. MR 3431854, DOI 10.1007/s10958-015-2494-2
- László Babai, The probability of generating the symmetric group, J. Combin. Theory Ser. A 52 (1989), no. 1, 148–153. MR 1008166, DOI 10.1016/0097-3165(89)90068-X
- Edward J. Barbeau, Pell’s equation, Problem Books in Mathematics, Springer-Verlag, New York, 2003. MR 1949691, DOI 10.1007/b97610
- G. V. Belyĭ, Galois extensions of a maximal cyclotomic field, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 2, 267–276, 479 (Russian). MR 534593
- F. Beukers and C. L. Stewart, Neighboring powers, J. Number Theory 130 (2010), no. 3, 660–679. MR 2584847, DOI 10.1016/j.jnt.2009.09.006
- Yuri F. Bilu, Yann Bugeaud, and Maurice Mignotte, The problem of Catalan, Springer, Cham, 2014. MR 3288807, DOI 10.1007/978-3-319-10094-4
- B. Bërch, Shabat trees of diameter 4: attachment to a letter of Zvonkin, Fundam. Prikl. Mat. 13 (2007), no. 6, 131–135 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 158 (2009), no. 1, 94–96. MR 2476031, DOI 10.1007/s10958-009-9379-1
- B. J. Birch, S. Chowla, Marshall Hall Jr., and A. Schinzel, On the difference $x^{3}-y^{2}$, Norske Vid. Selsk. Forh. (Trondheim) 38 (1965), 65–69. MR 186620
- G. Boccara, Cycles comme produit de deux permutations de classes données, Discrete Math. 38 (1982), no. 2-3, 129–142 (French). MR 676530, DOI 10.1016/0012-365X(82)90282-5
- Philip L. Bowers and Kenneth Stephenson, Uniformizing dessins and Belyĭ maps via circle packing, Mem. Amer. Math. Soc. 170 (2004), no. 805, xii+97. MR 2053391, DOI 10.1090/memo/0805
- V. O. Bugaenko, Pell’s Equation (Russian), Moscow, MCCME, 2010.
- Greg Butler, The transitive groups of degree fourteen and fifteen, J. Symbolic Comput. 16 (1993), no. 5, 413–422. MR 1271082, DOI 10.1006/jsco.1993.1056
- Gregory Butler and John McKay, The transitive groups of degree up to eleven, Comm. Algebra 11 (1983), no. 8, 863–911. MR 695893, DOI 10.1080/00927878308822884
- Peter J. Cameron, Peter M. Neumann, and David N. Teague, On the degrees of primitive permutation groups, Math. Z. 180 (1982), no. 2, 141–149. MR 661693, DOI 10.1007/BF01318900
- Pierrette Cassou-Noguès and Jean-Marc Couveignes, Factorisations explicites de $g(y)-h(z)$, Acta Arith. 87 (1999), no. 4, 291–317 (French). MR 1671641, DOI 10.4064/aa-87-4-291-317
- G. V. Čudnovskiĭ, Diophantine predicates, Uspehi Mat. Nauk 25 (1970), no. 4 (154), 185–186 (Russian). MR 0276172
- Robert Cori, Un code pour les graphes planaires et ses applications, Astérisque, No. 27, Société Mathématique de France, Paris, 1975. With an English abstract. MR 0404045
- Pietro Corvaja, Carlo Petronio, and Umberto Zannier, On certain permutation groups and sums of two squares, Elem. Math. 67 (2012), no. 4, 169–181 (English, with German summary). MR 2990143, DOI 10.4171/EM/207
- Jean-Marc Couveignes, Calcul et rationalité de fonctions de Belyĭ en genre $0$, Ann. Inst. Fourier (Grenoble) 44 (1994), no. 1, 1–38 (French, with English and French summaries). MR 1262878
- L. V. Danilov, The Diophantine equation $x^{3}-y^{2}=k$ and a conjecture of M. Hall, Mat. Zametki 32 (1982), no. 3, 273–275, 425 (Russian). MR 677595
- L. V. Danilov, The Diophantine equations $x^m-Ay^n=k$, Mat. Zametki 46 (1989), no. 6, 38–45, 126 (Russian); English transl., Math. Notes 46 (1989), no. 5-6, 914–919 (1990). MR 1051048, DOI 10.1007/BF01158625
- H. Davenport, On $f^{3}\,(t)-g^{2}\,(t)$, Norske Vid. Selsk. Forh. (Trondheim) 38 (1965), 86–87. MR 186621
- Steven Diaz, Ron Donagi, and David Harbater, Every curve is a Hurwitz space, Duke Math. J. 59 (1989), no. 3, 737–746. MR 1046746, DOI 10.1215/S0012-7094-89-05933-4
- Andrej Dujella, On Hall’s conjecture, Acta Arith. 147 (2011), no. 4, 397–402. MR 2776096, DOI 10.4064/aa147-4-5
- Allan L. Edmonds, Ravi S. Kulkarni, and Robert E. Stong, Realizability of branched coverings of surfaces, Trans. Amer. Math. Soc. 282 (1984), no. 2, 773–790. MR 732119, DOI 10.1090/S0002-9947-1984-0732119-5
- Noam D. Elkies, Rational points near curves and small nonzero $|x^3-y^2|$ via lattice reduction, Algorithmic number theory (Leiden, 2000) Lecture Notes in Comput. Sci., vol. 1838, Springer, Berlin, 2000, pp. 33–63. MR 1850598, DOI 10.1007/10722028_{2}
- Noam D. Elkies, The complex polynomials $P(x)$ with $\textrm {Gal}(P(x)-t)\cong M_{23}$, ANTS X—Proceedings of the Tenth Algorithmic Number Theory Symposium, Open Book Ser., vol. 1, Math. Sci. Publ., Berkeley, CA, 2013, pp. 359–367. MR 3207422, DOI 10.2140/obs.2013.1.359
- N. D. Elkies, List of integers $x,y$, with $x<10^{18}$, $0<|x^3-y^2|<x^{1/2}$, http://www.math.harvard.edu/~elkies/hall.html.
- Philippe Flajolet and Robert Sedgewick, Analytic combinatorics, Cambridge University Press, Cambridge, 2009. MR 2483235, DOI 10.1017/CBO9780511801655
- M. Fried, Fields of definition of function fields and Hurwitz families—groups as Galois groups, Comm. Algebra 5 (1977), no. 1, 17–82. MR 453746, DOI 10.1080/00927877708822158
- Daniel Frohardt, Robert Guralnick, and Kay Magaard, Primitive monodromy groups of genus at most two, J. Algebra 417 (2014), 234–274. MR 3244646, DOI 10.1016/j.jalgebra.2014.06.020
- Daniel Frohardt and Kay Magaard, Composition factors of monodromy groups, Ann. of Math. (2) 154 (2001), no. 2, 327–345. MR 1865973, DOI 10.2307/3062099
- A database of Galois groups, http://www.lmfdb.org/GaloisGroup/.
- Ernesto Girondo and Gabino González-Diez, Introduction to compact Riemann surfaces and dessins d’enfants, London Mathematical Society Student Texts, vol. 79, Cambridge University Press, Cambridge, 2012. MR 2895884
- I. P. Goulden and D. M. Jackson, The combinatorial relationship between trees, cacti and certain connection coefficients for the symmetric group, European J. Combin. 13 (1992), no. 5, 357–365. MR 1181077, DOI 10.1016/S0195-6698(05)80015-0
- Alexandre Grothendieck, Esquisse d’un programme, Geometric Galois actions, 1, London Math. Soc. Lecture Note Ser., vol. 242, Cambridge Univ. Press, Cambridge, 1997, pp. 5–48 (French, with French summary). With an English translation on pp. 243–283. MR 1483107
- Robert M. Guralnick and John Shareshian, Symmetric and alternating groups as monodromy groups of Riemann surfaces. I. Generic covers and covers with many branch points, Mem. Amer. Math. Soc. 189 (2007), no. 886, vi+128. With an appendix by Guralnick and R. Stafford. MR 2343794, DOI 10.1090/memo/0886
- Robert M. Guralnick and John G. Thompson, Finite groups of genus zero, J. Algebra 131 (1990), no. 1, 303–341. MR 1055011, DOI 10.1016/0021-8693(90)90178-Q
- Marshall Hall Jr., The Diophantine equation $x^{3}-y^{2}=k$, Computers in number theory (Proc. Sci. Res. Council Atlas Sympos. No. 2, Oxford, 1969) Academic Press, London, 1971, pp. 173–198. MR 0323705
- Alexander Hulpke, Constructing transitive permutation groups, J. Symbolic Comput. 39 (2005), no. 1, 1–30. MR 2168238, DOI 10.1016/j.jsc.2004.08.002
- A. Hurwitz, Ueber Riemann’sche Flächen mit gegebenen Verzweigungspunkten, Math. Ann. 39 (1891), no. 1, 1–60 (German). MR 1510692, DOI 10.1007/BF01199469
- Dale H. Husemoller, Ramified coverings of Riemann surfaces, Duke Math. J. 29 (1962), 167–174. MR 136726
- Michael J. Jacobson Jr. and Hugh C. Williams, Solving the Pell equation, CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC, Springer, New York, 2009. MR 2466979
- Gareth A. Jones, Primitive permutation groups containing a cycle, Bull. Aust. Math. Soc. 89 (2014), no. 1, 159–165. MR 3163014, DOI 10.1017/S000497271300049X
- Gareth A. Jones and Jürgen Wolfart, Dessins d’enfants on Riemann surfaces, Springer Monographs in Mathematics, Springer, Cham, 2016. MR 3467692, DOI 10.1007/978-3-319-24711-3
- Gareth A. Jones and Alexander Zvonkin, Orbits of braid groups on cacti, Mosc. Math. J. 2 (2002), no. 1, 127–160, 200 (English, with English and Russian summaries). MR 1900588, DOI 10.17323/1609-4514-2002-2-1-127-160
- J. P. Jones and Y. V. Matijasevič, Proof of recursive unsolvability of Hilbert’s tenth problem, Amer. Math. Monthly 98 (1991), no. 8, 689–709. MR 1130680, DOI 10.2307/2324421
- Camille Jordan, Traité des substitutions et des équations algébriques, Les Grands Classiques Gauthier-Villars. [Gauthier-Villars Great Classics], Éditions Jacques Gabay, Sceaux, 1989 (French). Reprint of the 1870 original. MR 1188877
- Camille Jordan, Mémoire sur les groupes primitifs, Bull. Soc. Math. France 1 (1872/73), 175–221 (French). MR 1503659
- Yu. Yu. Kochetkov, Enumeration of a class of plane weighted trees, Fundam. Prikl. Mat. 18 (2013), no. 6, 171–184 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 209 (2015), no. 2, 282–291. MR 3431863, DOI 10.1007/s10958-015-2503-5
- M. Lal, M. F. Jones, and W. J. Blundon, Numerical solutions of the Diophantine equation $y^{3}-x^{2}=k$, Math. Comp. 20 (1966), 322–325. MR 191871, DOI 10.1090/S0025-5718-1966-0191871-3
- S. K. Lando, A. K. Zvonkin, Graphs on surfaces and their applications, with an appendix by D. B. Zagier. Encyclopaedia of Mathematical Sciences, vol. 141, Low dimensional topology, II, Springer-Verlag, Berlin, 2004. See also Errata and comments to this book: https://www.labri.fr/perso/zvonkin/Books/errata.pdf
- Serge Lang, Old and new conjectured Diophantine inequalities, Bull. Amer. Math. Soc. (N.S.) 23 (1990), no. 1, 37–75. MR 1005184, DOI 10.1090/S0273-0979-1990-15899-9
- K. Magaard, S. Shpectorov, and G. Wang, Generating sets of affine groups of low genus, Computational algebraic and analytic geometry, Contemp. Math., vol. 572, Amer. Math. Soc., Providence, RI, 2012, pp. 173–192. MR 2953829, DOI 10.1090/conm/572/11366
- N. Magot, Cartes planaires et fonctions de \B: aspects algorithmiques et expérimentaux, Ph. D. thesis, Université Bordeaux I, 1997, 144 pp.
- Gunter Malle and B. Heinrich Matzat, Inverse Galois theory, Springer Monographs in Mathematics, Springer, Berlin, 2018. Second edition [ MR1711577]. MR 3822366
- Yu. V. Matiyasevich, Computation of generalized Chebyshev polynomials on a computer, Vestnik Moskov. Univ. Ser. I Mat. Mekh. 6 (1996), 59–61, 112 (Russian, with Russian summary); English transl., Moscow Univ. Math. Bull. 51 (1996), no. 6, 39–40 (1997). MR 1481512
- Yu. V. Matiyasevich, Generalized Chebyshev polynomials, Personal Journal, 1998, http://logic.pdmi.ras.ru/~yumat/personaljournal/chebyshev/chebysh.htm.
- Yu. V. Matiyasevich, Private communication, March 2015 – April 2016.
- Yu. Matiyasevich, Calculation of Belyĭ functions for trees with weighted edges, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 446 (2016), no. Kombinatorika i Teoriya Grafov. V, 122–138; English transl., J. Math. Sci. (N.Y.) 226 (2017), no. 5, 623–634. MR 3520425, DOI 10.1007/s10958-017-3554-6
- Preda Mihăilescu, Primary cyclotomic units and a proof of Catalan’s conjecture, J. Reine Angew. Math. 572 (2004), 167–195. MR 2076124, DOI 10.1515/crll.2004.048
- H. Monien, How to calculate rational coverings for subgroups of $\textrm {PSL}_2(\mathbb {Z})$ efficiently, Slides of the talk given at the conference “Embedded Graphs”, St. Petersburg, October 2014.
- Peter Müller, Primitive monodromy groups of polynomials, Recent developments in the inverse Galois problem (Seattle, WA, 1993) Contemp. Math., vol. 186, Amer. Math. Soc., Providence, RI, 1995, pp. 385–401. MR 1352284, DOI 10.1090/conm/186/02193
- P. Müller, A combined Gröbner basis and power series approach in inverse Galois theory, Slides of the talk given at the conference “Constructive Methods in Number Theory”, Bethe Center for Theoretical Physics, Bonn, March 2015.
- The On-Line Encyclopedia of Integer Sequences, http://oeis.org/.
- D. A. Oganesyan, On rational functions with two critical points of maximum multiplicity, Fundam. Prikl. Mat. 18 (2013), no. 6, 185–208 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 209 (2015), no. 2, 292–308. MR 3431864, DOI 10.1007/s10958-015-2504-4
- D. Oganesyan, Abel pairs and modular curves, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 446 (2016), no. Kombinatorika i Teoriya Grafov. V, 165–181; English transl., J. Math. Sci. (N.Y.) 226 (2017), no. 5, 655–666. MR 3520427, DOI 10.1007/s10958-017-3556-4
- Stepan Yu. Orevkov, Riemann existence theorem and construction of real algebraic curves, Ann. Fac. Sci. Toulouse Math. (6) 12 (2003), no. 4, 517–531 (English, with English and French summaries). MR 2060598
- F. Pakovich, Solution of the Hurwitz problem for Laurent polynomials, J. Knot Theory Ramifications 18 (2009), no. 2, 271–302. MR 2507927, DOI 10.1142/S0218216509006896
- Fedor Pakovich and Alexander K. Zvonkin, Minimum degree of the difference of two polynomials over $\Bbb {Q}$, and weighted plane trees, Selecta Math. (N.S.) 20 (2014), no. 4, 1003–1065. MR 3273629, DOI 10.1007/s00029-014-0151-0
- Fedor Pakovich and Alexander K. Zvonkin, Davenport-Zannier polynomials over $\Bbb {Q}$, Int. J. Number Theory 14 (2018), no. 4, 925–974. MR 3801075, DOI 10.1142/S1793042118500562
- Maria Antonietta Pascali and Carlo Petronio, Surface branched covers and geometric 2-orbifolds, Trans. Amer. Math. Soc. 361 (2009), no. 11, 5885–5920. MR 2529918, DOI 10.1090/S0002-9947-09-04779-5
- Pell’s equation, Wikipedia, https://en.wikipedia.org/wiki/Pell
- http://www.jakebakermaths.org.uk/maths/jshtmlpellsolverbigintegerv10.html : Pell’s solver.
- Gerhard Ringel, Map color theorem, Die Grundlehren der mathematischen Wissenschaften, Band 209, Springer-Verlag, New York-Heidelberg, 1974. MR 0349461
- D. P. Roberts, Chebyshev covers and exceptional number fields, Preprint, 2014, 22 pp. http://cda.mrs.umn.edu/~roberts/dpr/Research_files/CCaENF.pdf
- D. P. Roberts, Some Belyĭ covers unexpectedly $($from a purely $3$-point viewpoint$)$ defined over $\mathbb {Q}$, Slides of the talk given at the conference “Constructive Methods in Number Theory”, Bethe Center for Theoretical Physics, Bonn, March 2015.
- David P. Roberts, Hurwitz-Belyi maps, Publications mathématiques de Besançon. Algèbre et théorie des nombres. 2018, Publ. Math. Besançon Algèbre Théorie Nr., vol. 2018, Presses Univ. Franche-Comté, Besançon, 2018, pp. 25–67 (English, with English and French summaries). MR 3838687
- Leila Schneps (ed.), The Grothendieck theory of dessins d’enfants, London Mathematical Society Lecture Note Series, vol. 200, Cambridge University Press, Cambridge, 1994. Papers from the Conference on Dessins d’Enfant held in Luminy, April 19–24, 1993. MR 1305390, DOI 10.1017/CBO9780511569302
- Jean-Pierre Serre, Topics in Galois theory, Research Notes in Mathematics, vol. 1, Jones and Bartlett Publishers, Boston, MA, 1992. Lecture notes prepared by Henri Damon [Henri Darmon]; With a foreword by Darmon and the author. MR 1162313
- G. B. Shabat, Belyĭ pairs in the critical filtrations of Hurwitz spaces, https://arxiv.org/pdf/1902.02034.pdf.
- Tetsuji Shioda, Elliptic surfaces and Davenport-Stothers triples, Comment. Math. Univ. St. Pauli 54 (2005), no. 1, 49–68. MR 2153955
- J. Sijsling and J. Voight, On computing Belyi maps, Numéro consacré au trimestre “Méthodes arithmétiques et applications”, automne 2013, Publ. Math. Besançon Algèbre Théorie Nr., vol. 2014/1, Presses Univ. Franche-Comté, Besançon, 2014, pp. 73–131 (English, with English and French summaries). MR 3362631
- Jeroen Sijsling and John Voight, On explicit descent of marked curves and maps, Res. Number Theory 2 (2016), Paper No. 27, 35. MR 3582054, DOI 10.1007/s40993-016-0057-3
- W. W. Stothers, Polynomial identities and Hauptmoduln, Quart. J. Math. Oxford Ser. (2) 32 (1981), no. 127, 349–370. MR 625647, DOI 10.1093/qmath/32.3.349
- Gabor Szegö, Orthogonal Polynomials, American Mathematical Society Colloquium Publications, Vol. 23, American Mathematical Society, New York, 1939. MR 0000077
- René Thom, L’équivalence d’une fonction différentiable et d’un polynome, Topology 3 (1965), no. suppl, suppl. 2, 297–307 (French). MR 187249, DOI 10.1016/0040-9383(65)90079-0
- W. T. Tutte, The number of planted plane trees with a given partition, Amer. Math. Monthly 71 (1964), 272–277. MR 186585, DOI 10.2307/2312183
- A. Vatuzov, Private communication, September 2019.
- J. Voight, Private communication, February 2016.
- T. R. S. Walsh, Hypermaps versus bipartite maps, J. Combinatorial Theory Ser. B 18 (1975), 155–163. MR 360328, DOI 10.1016/0095-8956(75)90042-8
- G. Wang, Genus Zero Systems for Primitive Groups of Affine Type, Ph. D. Thesis, University of Birmingham, 2011, 98 pp.
- Umberto Zannier, On Davenport’s bound for the degree of $f^3-g^2$ and Riemann’s existence theorem, Acta Arith. 71 (1995), no. 2, 107–137. MR 1339121, DOI 10.4064/aa-71-2-107-137
- Umberto Zannier, Good reduction of certain covers $\mathbf P^1\to \mathbf P^1$, Israel J. Math. 124 (2001), 93–114. MR 1856506, DOI 10.1007/BF02772609
- Alexander Zvonkin, Megamaps: construction and examples, Discrete models: combinatorics, computation, and geometry (Paris, 2001) Discrete Math. Theor. Comput. Sci. Proc., AA, Maison Inform. Math. Discrèt. (MIMD), Paris, 2001, pp. 329–339. MR 1888783