cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-4 of 4 results.

A002559 Markoff (or Markov) numbers: union of positive integers x, y, z satisfying x^2 + y^2 + z^2 = 3*x*y*z.

Original entry on oeis.org

1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985, 1325, 1597, 2897, 4181, 5741, 6466, 7561, 9077, 10946, 14701, 28657, 33461, 37666, 43261, 51641, 62210, 75025, 96557, 135137, 195025, 196418, 294685, 426389, 499393, 514229, 646018, 925765, 1136689, 1278818
Offset: 1

Views

Author

Keywords

Comments

A004280 gives indices of Fibonacci numbers (A000045) which are also Markoff (or Markov) numbers.
As mentioned by Conway and Guy, all odd-indexed Pell numbers (A001653) also appear in this sequence. The positions of the Fibonacci and Pell numbers in this sequence are given in A158381 and A158384, respectively. - T. D. Noe, Mar 19 2009
Assuming that each solution (x,y,z) is ordered x <= y <= z, the open problem is to prove that each z value occurs only once. There are no counterexamples in the first 1046858 terms, which have z values < Fibonacci(5001) = 6.2763...*10^1044. - T. D. Noe, Mar 19 2009
Zagier shows that there are C log^2 (3x) + O(log x (log log x)^2) Markoff numbers below x, for C = 0.180717.... - Charles R Greathouse IV, Mar 14 2010 [but see Thompson, below]
The odd numbers in this sequence are of the form 4k+1. - Paul Muljadi, Jan 31 2011
All prime divisors of Markov numbers (with exception 2) are of the form 4k+1. - Artur Jasinski, Nov 20 2011
Kaneko extends a parameterization of Markoff numbers, citing Frobenius, and relates it to a conjectured behavior of the elliptic modular j-function at real quadratic numbers. - Jonathan Vos Post, May 06 2012
Riedel (2012) claims a proof of the unicity conjecture: "it will be shown that the largest member of [a Markoff] triple determines the other two uniquely." - Jonathan Sondow, Aug 21 2012
There are 93 terms with each term <= 2*10^9 in the sequence. The number of distinct prime divisors of any of the first 93 terms is less than 6. The second, third, 4th, 5th, 6th, 10th, 11th, 15th, 16th, 18th, 20th, 24th, 25th, 27th, 30th, 36th, 38th, 45th, 48th, 49th, 69th, 79th, 81st, 86th, 91st terms are primes. - Shanzhen Gao, Sep 18 2013
Bourgain, Gamburd, and Sarnak have announced a proof that almost all Markoff numbers are composite--see A256395. Equivalently, the prime Markoff numbers A178444 have density zero among all Markoff numbers. (It is conjectured that infinitely many Markoff numbers are prime.) - Jonathan Sondow, Apr 30 2015
According to Sarnak on Apr 30 2015, all claims to have proved the unicity conjecture have turned out to be false. - Jonathan Sondow, May 01 2015
The numeric value of C = lim (number of Markoff numbers < x) / log^2(3x) given in Zagier's paper and quoted above suffers from an accidentally omitted digit and rounding errors. The correct value is C = 0.180717104711806... (see A261613 for more digits). - Christopher E. Thompson, Aug 22 2015
Named after the Russian mathematician Andrey Andreyevich Markov (1856-1922). - Amiram Eldar, Jun 10 2021

References

  • Martin Aigner, Markov's theorem and 100 years of the uniqueness conjecture. A mathematical journey from irrational numbers to perfect matchings. Springer, 2013. x+257 pp. ISBN: 978-3-319-00887-5; 978-3-319-00888-2 MR3098784
  • John H. Conway and Richard K. Guy, The Book of Numbers, Copernicus Press, NY, 1996, p. 187.
  • Jean-Marie De Koninck, Those Fascinating Numbers, Amer. Math. Soc., 2009, page 86.
  • Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 2.31.3, p. 200.
  • Richard K. Guy, Unsolved Problems in Number Theory, D12.
  • G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 5th ed., Oxford Univ. Press, 1979, notes on ch. 24.6 (p. 412)
  • Florian Luca and A. Srinivasan, Markov equation with Fibonacci components, Fib. Q., 56 (No. 2, 2018), 126-129.
  • Richard A. Mollin, Advanced Number Theory with Applications, Chapman & Hall/CRC, Boca Raton, 2010, 123-125.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Programs

  • Mathematica
    m = {1}; Do[x = m[[i]]; y = m[[j]]; a = (3*x*y + Sqrt[ -4*x^2 - 4*y^2 + 9*x^2*y^2])/2; b = (3*x*y + Sqrt[ -4*x^2 - 4*y^2 + 9*x^2*y^2])/2; If[ IntegerQ[a], m = Union[ Join[m, {a}]]]; If[ IntegerQ[b], m = Union[ Join[m, {b}]]], {n, 8}, {i, Length[m]}, {j, i}]; Take[m, 40] (* Robert G. Wilson v, Oct 05 2005 *)
    terms = 40; depth0 = 10; Clear[ft]; ft[n_] := ft[n] = Module[{f}, f[] = {1, 2, 5}; f[ud___, u(*up*)] := f[ud, u] = Module[{g = f[ud]}, {g[[1]], g[[3]], 3*g[[1]]*g[[3]] - g[[2]]}]; f[ud___, d(*down*)] := f[ud, d] = Module[{g = f[ud]}, {g[[2]], g[[3]], 3*g[[2]]*g[[3]] - g[[1]]}]; f @@@ Tuples[{u, d}, n] // Flatten // Union // PadRight[#, terms]&]; ft[n = depth0]; ft[n++]; While[ft[n] != ft[n - 1], n++]; Print["depth = n = ", n]; A002559 = ft[n] (* Jean-François Alcover, Aug 29 2017 *)
    MAX=10^10;
    data=NestWhile[Select[Union[Sort/@Flatten[Table[{a, b, 3a b -c}/.MapThread[Rule, {{a, b, c}, #}]&/@Map[RotateLeft[ii, #]&, Range[3]], {ii, #}], 1]], Max[#]Xianwen Wang, Aug 22 2021 *)
  • Python
    markov = set[tuple[int, int, int]]
    def MarkovNumbers(len: int = 50, MAX: int = 10**10) -> list[int]:
        cur: markov = {(1, 1, 1), (1, 1, 2), }
        def step(triples: markov) -> markov:
            ret: markov = set()
            for (a, b, c) in triples:
                for x, y, z in [(a, b, c), (b, c, a), (c, a, b)]:
                    t = (x, y, 3 * x * y - z)
                    if max(t) < MAX: ret.add(t)
            return ret
        while True:
            new = step(cur)
            if new == cur: break
            cur = new
        return sorted({n for triple in cur for n in triple})[:len]
    print(MarkovNumbers(len=42))  # Peter Luschny, Aug 10 2025

Extensions

Name clarified by Wolfdieter Lang, Jan 22 2015

A178444 Markov numbers that are prime.

Original entry on oeis.org

2, 5, 13, 29, 89, 233, 433, 1597, 2897, 5741, 7561, 28657, 33461, 43261, 96557, 426389, 514229, 1686049, 2922509, 3276509, 94418953, 321534781, 433494437, 780291637, 1405695061, 2971215073, 19577194573, 25209506681, 44208781349, 44560482149, 128367472469
Offset: 1

Views

Author

Paul Muljadi, Jan 01 2011

Keywords

Comments

Triples of prime Markov numbers appear to be very rare. For Markov numbers less than 10^1000, only five are known: (2, 5, 29), (5, 29, 433), (5, 2897, 43261), (2, 5741, 33461), and (89, 6017226864647074440629, 1606577036114427599277221). Note that the smallest members of these triples are prime Fibonacci numbers 2, 5, and 89. [T. D. Noe, Jan 28 2011]
All terms after the first are of the form 4k+1. [Paul Muljadi, Jan 31 2011]
Bourgain, Gamburd, and Sarnak have announced a proof that almost all Markoff numbers are composite--see A256395. Equivalently, the present sequence has density zero among all Markoff numbers. (It is conjectured that the sequence is infinite.) - Jonathan Sondow, Apr 30 2015

Crossrefs

Programs

  • Mathematica
    m = {1}; Do[x = m[[i]]; y = m[[j]]; a = (3*x*y + Sqrt[ -4*x^2 - 4*y^2 + 9*x^2*y^2])/2; b = (3*x*y + Sqrt[ -4*x^2 - 4*y^2 + 9*x^2*y^2])/2; If[ IntegerQ[a], m = Union[ Join[m, {a}]]]; If[ IntegerQ[b], m = Union[ Join[m, {b}]]], {n, 8}, {i, Length[m]}, {j, i}]; Take[m, 40] (* Robert G. Wilson v, Oct 05 2005, taken from A002559 *); Select[m, PrimeQ]

A291694 Array of Markov triples (x,y,z) sorted by z, read by rows.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 2, 5, 1, 5, 13, 2, 5, 29, 1, 13, 34, 1, 34, 89, 2, 29, 169, 5, 13, 194, 1, 89, 233, 5, 29, 433, 1, 233, 610, 2, 169, 985, 13, 34, 1325, 1, 610, 1597, 5, 194, 2897, 1, 1597, 4181, 2, 985, 5741, 5, 433, 6466, 13, 194, 7561, 34, 89, 9077, 1, 4181, 10946, 29, 169, 14701
Offset: 1

Views

Author

Jean-François Alcover, Aug 30 2017

Keywords

Comments

The positive integers x, y, z satisfy the Diophantine equation x^2 + y^2 + z^2 = 3*x*y*z, 1 <= x <= y <= z.

Examples

			The array of Markov triples begins:
  (1,  1,  1),
  (1,  1,  2),
  (1,  2,  5),
  (1,  5, 13),
  (2,  5, 29),
  (1, 13, 34),
  ...
		

References

  • Steven R. Finch, Mathematical Constants, Cambridge University Press, 2003, Section 2.31.3 Markov-Hurwitz Equation, p. 200.

Crossrefs

Cf. A002559 (main entry for this sequence), A178444, A256395, A261613, A351372.

Programs

  • Mathematica
    triples = 30; depth0 = 10 (* adjust depth according to message after first run *) ; Clear[zz, fx, fy]; fx[1] = fy[1] = fx[2] = fy[2] = fx[5] = 1;
    fy[5] = 2; zz[n_] := zz[n] = Module[{f, x, y, z}, f[] = {1, 2, 5}; f[ud___, u(*up*)] := f[ud, u] = Module[{g = f[ud]}, x = g[[1]]; y = g[[3]]; z = 3*g[[1]]*g[[3]] - g[[2]]; fx[z] = x; fy[z] = y; {x, y, z}]; f[ud___, d(*down*)] := f[ud, d] = Module[{g = f[ud]}, x = g[[2]]; y = g[[3]]; z = 3*g[[2]]*g[[3]] - g[[1]]; fx[z] = x; fy[z] = y; {x, y, z}]; f @@@ Tuples[{u, d}, n] // Flatten // Union // PadRight[#, triples]&]; zz[n = depth0]; zz[n++]; While[zz[n] != zz[n - 1], n++]; Print["depth = n = ", n]; xyz = {fx[#], fy[#], #} & /@ zz[n]; Flatten[xyz]
  • PARI
    N=5000;
    for(k=1, N, for(j=1, k, for(i=1, j, if(i*j>k, break); if(i^2+j^2+k^2==3*i*j*k, print1(i, ", ", j, ", ", k, ", "))))); \\ Seiichi Manyama, Feb 16 2022

A386894 Markoff numbers that are powers of one odd prime or twice powers of one odd prime.

Original entry on oeis.org

1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 1597, 2897, 5741, 7561, 28657, 33461, 43261, 96557, 426389, 514229, 646018, 1686049, 2012674, 2922509, 3276509, 11485154, 21531778, 94418953, 253191266, 321534781, 433494437, 780291637, 1405695061, 1475706146, 2971215073, 6684339842, 19577194573
Offset: 1

Views

Author

Wolfdieter Lang, Aug 07 2025

Keywords

Comments

A subsequence of A000961 without numbers divisible by 4.
The powers of odd primes are given in A061345 (with offset 0).
These Markoff numbers (see A002559) have been proved to obey the Frobenius-Markoff uniqueness conjecture. See Aigner, Corollary 3.20, p. 59, and there the references [4] A. Baragar, [18] J. O. Button, and [119] Ying Zhang.

Examples

			26 = 2*13 is not a Markoff number, hence not in the present sequence.
610 = 2*5*61 is a Markoff number but not a prime power nor is 305 a prime power.
		

References

  • Martin Aigner, Markov's theorem and 100 years of the uniqueness conjecture. A mathematical journey from irrational numbers to perfect matchings. Springer, 2013.

Crossrefs

Programs

  • Mathematica
    MAX=10^11; data=NestWhile[Select[Union[Sort/@Flatten[Table[{a, b, 3a b -c}/.MapThread[Rule, {{a, b, c}, #}]&/@Map[RotateLeft[ii, #]&, Range[3]], {ii, #}], 1]], Max[#]James C. McMahon, Aug 12 2025 *)
  • SageMath
    def A386894List(len: int = 50, MAX: int = 10**10) -> list[int]:
        # Using function 'MarkovNumbers' from A002559.
        M = MarkovNumbers(len, MAX)
        U = set([1])
        for m in M:  # if m is a Markov number and ...
            z = ZZ(m)
            if is_prime_power(z) or (is_even(z) and is_prime_power(z//2)):
                U.add(m)
        return sorted(U)
    # Balance required sequence length and search depth.
    print(A386894List(len=120, MAX=10**12))  # Peter Luschny, Aug 12 2025

Formula

Markoff numbers of the form 2^j*p^k, with an odd prime p, j = 0 or 1, and k >= 0, ordered strictly increasing.
Showing 1-4 of 4 results.