Αριθμός Μάρκοφ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Ο Ρώσος μαθηματικός και στοχαστής Αντρέι Αντρέγιεβιτς Μάρκοφ (1856–1922)

Αριθμός Μάρκοφ ή αριθμός Μάρκοβ (αγγλικά: Markov number ή πιο σπάνια Markow number και συχνά σε παλιές εκδόσεις Markoff number) είναι ένας θετικός ακέραιος x, y ή z που αποτελεί μέρος της λύσης της διοφαντικής εξίσωσης Μάρκοφ

η οποία μελετήθηκε από τον Αντρέι Μάρκοφ το 1879[1] και το 1880.[2]

Οι πρώτοι αριθμοί Μάρκοφ είναι

1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985, 1325, ...[3]

και εμφανίζονται ως συντεταγμένες των τριάδων Μάρκοφ (Markov triples)

(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), (89, 233, 610), ...

Υπάρχουν άπειροι αριθμοί Μάρκοφ και τριάδες Μάρκοφ αντίστοιχα.

Δέντρο Μάρκοφ[Επεξεργασία | επεξεργασία κώδικα]

Διάγραμμα: Τα πρώτα επίπεδα του αριθμητικού δέντρου Μάρκοφ

Υπάρχουν δύο απλοί τρόποι για να αποκτήσετε μία νέα τριάδα Μάρκοφ από μία παλιά (xyz). Πρώτον, μπορεί κανείς να ανταλλάξει τους τρεις αριθμούς xyz, έτσι ώστε, να μπορεί κανείς να κανονικοποιήσει τις τριάδες στη μορφή x ≤ y ≤ z. Δεύτερον, αν (xyz) είναι μια τριάδα Μάρκοφ μετά από ριζική αναστροφή (Vieta jumping) και ισχύει (xy, 3xy − z). Εφαρμόζοντας αυτή τη λειτουργία επιστρέφει δύο φορές την ίδια τριάδα ξεκινώντας ομοίως την κάθε μία. Ενώνουμε με το 1, 2, ή 3 κάθε κανονικοποιημένη τριάδα Μάρκοφ και έτσι μπορεί κανείς να λάβει ομοίως κανονικοποιημένες τριάδες, καθώς δημιουργείται ένα γράφημα που αρχίζει από την (1,1,1), όπως στο διάγραμμα.

Αυτό το γράφημα είναι συνδεδεμένο με την (1,1,1) και με άλλα λόγια κάθε τριάδα Μάρκοφ, με μία αλληλουχία τέτοιων πράξεων, μπορεί να συνδεθεί με την (1,1,1).[4] Αν για παράδειγμα αρχίσουμε με την (1, 5, 13) παίρνουμε τρεις γειτονικές της (5, 13, 194), (1, 13, 34) και (1, 2, 5) στο δέντρο Markov εάν το x έχει οριστεί σε 1, 5 και 13, αντίστοιχα. Για παράδειγμα, ξεκινώντας με την (1, 1, 2) και ανταλλάσσοντας τα y και z πριν από κάθε επανάληψη του μετασχηματισμού απαριθμούνται τριάδες Μάρκοφ με τους αριθμούς Φιμπονάτσι. Ξεκινώντας με την ίδια τριάδα και ανταλλάσσοντας τα x και z πριν από κάθε επανάληψη απαριθμούνται τριάδες με τους αριθμούς Πελ.

Όλοι οι αριθμοί Μάρκοφ για τις περιοχές που συνορεύουν με την περιοχή 2 είναι αριθμοί του Πελ με μονό δείκτη (ή οι αριθμοί n τέτοιοι ώστε 2n2 − 1 να είναι ένα τετράγωνο),[5] επίσης όλοι οι αριθμοί Μάρκοφ για τις περιοχές που συνορεύουν με την περιοχή 1 είναι αριθμοί του Φιμπονάτσι με μονό δείκτη.[6] Έτσι, υπάρχουν άπειρες τριάδες Μάρκοφ της μορφής

όπου Fx είναι ο x-στός αριθμός Φιμπονάτσι. Ομοίως, υπάρχουν άπειρες τριάδες Μάρκοφ της μορφής

όπου Px είναι ο x-στός αριθμός Πελ.[7]

Άλλες ιδιότητες[Επεξεργασία | επεξεργασία κώδικα]

Εκτός από τις δύο μικρότερες μοναχικές τριάδες (1,1,1) και (1,1,2), κάθε τριάδα Μάρκοφ αποτελείται από τρεις διακριτούς ακέραιους.[8]

Η εικασία μοναδικότητας αναφέρει ότι για έναν δεδομένο αριθμό Μάρκοφ c, υπάρχει μία ακριβώς κανονικοποιημένη λύση που έχει τον αριθμό c ως το μεγαλύτερο στοιχείο της: ζητήθηκαν οι αποδείξεις αυτής της εικασίας, αλλά κανένας ως φαίνεται δεν τις έδωσε σωστά.[9]

Οι μονοί αριθμοί Μάρκοφ είναι κατά 1 μεγαλύτεροι από τα πολλαπλάσια του 4, ενώ ακόμη και οι αριθμοί Μάρκοφ είναι κατά 2 μεγαλύτεροι από τα πολλαπλάσια των 32.[10]

Το 1982 η εργασία του Don Zagier εικάζει ότι ο n-στός αριθμός Μάρκοφ δίνεται ασυμπτωτικά από

  όπου  C = 2.3523418721...

Επιπλέον, τόνισε ότι

  (μια εξαιρετικά καλή προσέγγιση της αρχικής διοφαντικής εξίσωσης)

είναι ισοδύναμη με την

  όπου   [11]

Η εικασία αποδείχθηκε, με χρήση τεχνικών από την υπερβολική γεωμετρία, από τους Greg McShane και Igor Rivin το 1995.[12]

Ο n-στός αριθμός Lagrange μπορεί να υπολογιστεί από τον n-στό αριθμό Μάρκοφ με τον τύπο

όπου Ln ο n-στός αριθμός Lagrange και mn ο n-στός αριθμός Μάρκοφ.[13][14]

Θεώρημα Μάρκοφ[Επεξεργασία | επεξεργασία κώδικα]

Ο Αντρέι Μάρκοφ το 1879[1] και το 1880.[2] έδειξε ότι αν

είναι μια αόριστη δυαδική τετραγωνική μορφή με πραγματικούς συντελεστές και διακρίνουσα

τότε υπάρχουν ακέραιοι xy για τους οποίους η f παίρνει το πολύ μία μη μηδενική τιμή της απολύτου τιμής

εκτός αν η f είναι μιας μορφής Μάρκοφ[15] η οποία πολλαπλασιάζεται από μία σταθερά

όπου (pqr) είναι μία τριάδα Μάρκοφ και

      

Πίνακες[Επεξεργασία | επεξεργασία κώδικα]

Αν X και Y ανήκουν στο SL2(C) τότε

έτσι ώστε εάν

τότε

Ειδικότερα, εάν η X και Y έχουν επίσης ακέραιες καταχωρήσεις, τότε είναι μία τριάδα Μάρκοφ της μορφής

      

Αν XYZ = 1 τότε

οπότε πιο συμμετρικά αν X, Y και Z ανήκουν στο SL2(Z) με XYZ = 1 και ο μεταγωγέας των δύο εξ αυτών έχει ίχνος -2, τότε τα ίχνη τους προς 3 είναι μία τριάδα Μάρκοφ.

Περαιτέρω ανάγνωση[Επεξεργασία | επεξεργασία κώδικα]

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

  1. 1,0 1,1 Μάρκοφ (1979), σσ. 381–406.
  2. 2,0 2,1 Μάρκοφ (1980), σσ. 379–399.
  3. OEIS (On-Line Encyclopedia of Integer Sequences) A002559.
  4. Cassels (1957) σελ. 28
  5. OEIS A001653.
  6. OEIS A001519.
  7. OEIS A030452 κατάλογοι αριθμών Μάρκοφ που εμφανίζονται σε λύσεις, όπου ο ένας από τους άλλους δύο όρους είναι 5.
  8. Cassels (1957) p.27
  9. Guy (2004) p.263.
  10. Zhang (2007), σσ. 295–301.
  11. Zagier (1982), σσ. 709–723.
  12. McShane (1995).
  13. Cusick (1989).
  14. Malyshev (2001).
  15. Cassels (1957) p.39

Βιβλιογραφία[Επεξεργασία | επεξεργασία κώδικα]

1η καταχώρηση: Mathematische Annalen 15 (3–4): 381–406. 1η Σεπ. 1879. doi:10.1007/BF02086269. 
2η καταχώρηση: Mathematische Annalen 17 (3): 379–399. 1η Σεπ. 1880. doi:10.1007/BF01446234.