Αυτόματο Ούλαμ-Γουάρμπαρτον

Από testwiki
Αναθεώρηση ως προς 09:13, 5 Δεκεμβρίου 2023 από τον imported>InternetArchiveBot (Διάσωση 2 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0.9.5)
(διαφορά) ← Παλαιότερη αναθεώρηση | Τελευταία αναθεώρηση (διαφορά) | Νεότερη αναθεώρηση → (διαφορά)
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση
Οι πρώτες είκοσι επαναλήψεις Ούλαμ-Γουάρμπαρτον κυτταρικού αυτόματου

Το Κυτταρικό αυτόματο Ούλαμ-Γουάρμπαρτον (UWCA) είναι ένα δισδιάστατο μορφοκλασματικό πρότυπο που αναπτύσσεται σε ένα κανονικό πλέγμα κελιών που αποτελείται από τετράγωνα. Ξεκινώντας με ένα αρχικά ενεργοποιημένο τετράγωνο και όλα τα υπόλοιπα απενεργοποιημένα, δημιουργούνται διαδοχικές επαναλήψεις ενεργοποιώντας όλα τα τετράγωνα που μοιράζονται ακριβώς μία ακμή με ένα ενεργοποιημένο τετράγωνο. Αυτή είναι η γειτονιά φον Νόιμαν. Το αυτόματο πήρε το όνομά του από τον πολωνικής καταγωγής Αμερικανό μαθηματικό και επιστήμονα Στάνισλαβ Ούλαμ[1] και τον Σκωτσέζο μηχανικό, εφευρέτη και ερασιτέχνη μαθηματικό Μάικ Γουάρμπαρτον[2][3].

Ιδιότητες και συσχετισμοί

Το UWCA είναι ένα 2D 5- γειτονικό εξωτερικό ολοκληρωτικό Κυτταρικό αυτόματο που χρησιμοποιεί τον κανόνα 686.[4]

Ο αριθμός των κελιών που ενεργοποιούνται σε κάθε επανάληψη σημειώνεται u(n), χρησιμοποιώντας έναν ρητό τύπο:

u(0)=0,u(1)=1, and for n2

u(n)=43wt(n1)1

όπου wt(n) είναι η συνάρτηση βάρους Χάμινγκ που μετρά τον αριθμό των 1 στο δυαδικό ανάπτυγμα του n[5]

wt(n)=nk=1n2k

Το ελάχιστο άνω όριο του αθροίσματος για k είναι τέτοιο ώστε 2kn

Ο συνολικός αριθμός των κελιών που είναι ενεργοποιημένα ON συμβολίζεται με U(n)

U(n)=i=0nu(i)=43i=0n13wt(i)13

Πίνακας ακέραιων ακολουθιών nm και Um

k n1 U1 n3 U3 n5 U5 n7 U7
0 1 1 3 9 5 25 7 49
1 2 5 6 37 10 101 14 197
2 4 21 12 149 20 405 28 789
3 8 85 24 597 40 1,621 56 3,157
4 16 341 48 2,389 80 6,485 112 12,629
5 32 1,365 96 9,557 160 25,941 224 50,517

U(n) είναι OEIS ακολουθία A147562 και u(n) είναι OEIS ακολουθία A147582

Καταμέτρηση κελιών με τετραγωνικά

Συνολικός αριθμός κελιών ON U(n) στο Ulam-Warburton CA και τετραγωνικά U1,U3 και U17

Για όλες τις ακέραιες ακολουθίες της μορφής nm=m2k όπου m1 και k0

Έστω

am=i=0m13wt(i)

Τότε ο συνολικός αριθμός των κελιών ON στην ακέραια ακολουθία nm δίνεται από τη σχέση [6]

Um(nm)=amm243nm213

Ή ως προς k έχουμε

Um(k)=am4322k13

Πίνακας ακέραιων ακολουθιών nm και Um

k n1 U1 n3 U3 n5 U5 n7 U7
0 1 1 3 9 5 25 7 49
1 2 5 6 37 10 101 14 197
2 4 21 12 149 20 405 28 789
3 8 85 24 597 40 1,621 56 3,157
4 16 341 48 2,389 80 6,485 112 12,629
5 32 1,365 96 9,557 160 25,941 224 50,517

Ανώτερα και κατώτερα όρια

Συνολικός αριθμός κελιών ON στο Κυτταρικό αυτόματο Ούλαμ-Γουάρμπαρτον

U(n) έχει συμπεριφορά που μοιάζει με φράκταλ με ένα απότομο άνω όριο για n1 που δίνεται από τη σχέση

Usub(n)=43n213

Το ανώτερο όριο έρχεται σε επαφή με το U(n) μόνο στα σημεία "υψηλού ύδατος" όταν n=2k.

Αυτές είναι επίσης οι γενιές στις οποίες το UWCA με βάση τα τετράγωνα, το Εξάγωνο-UWCA με βάση τα εξάγωνα και το τρίγωνο Σιερπίνσκι επιστρέφουν στο βασικό τους σχήμα.[7]

Ανώτερα και κατώτερα όρια των U(n)/n2

Ανώτερο όριο και κατώτερο όριο

Έχουμε

0.9026116569...=lim infnU(n)n2<lim supnU(n)n2=43

Το κατώτερο όριο προέκυψε από τον Robert Price (OEIS ακολουθία A261313 ) και χρειάστηκαν αρκετές εβδομάδες για να υπολογιστεί και πιστεύεται ότι είναι διπλάσιο από το κατώτερο όριο του T(n)n2 όπου T(n) είναι ο συνολικός αριθμός των οδοντογλυφίδων στην ακολουθία οδοντογλυφίδων μέχρι τη γενιά n[8]

Σχέση με

Κυτταρικό αυτόματο Ούλαμ-Γουάρμπαρτον (Hex-UWCA) - γενιά 11

Εξαγωνικό UWCA

Το Κυτταρικό αυτόματο Ούλαμ-Γουάρμπαρτον (Hex-UWCA) είναι ένα 2-διάστατο μορφοκλασματικό σχέδιο που αναπτύσσεται σε ένα κανονικό πλέγμα κυττάρων που αποτελείται από εξάγωνα. Ισχύει ο ίδιος κανόνας ανάπτυξης για το UWCA και το μοτίβο επιστρέφει σε ένα εξάγωνο σε γενιές n=2k, όταν το πρώτο εξάγωνο θεωρείται ως γενιά 1. Το UWCA έχει δύο γραμμές ανάκλασης που περνούν από τις γωνίες του αρχικού κελιού χωρίζοντας το τετράγωνο σε τέσσερα τεταρτημόρια, ομοίως το Hex-UWCA έχει τρεις γραμμές ανάκλασης χωρίζοντας το εξάγωνο σε έξι τμήματα και ο κανόνας ανάπτυξης ακολουθεί τις συμμετρίες. Τα κύτταρα των οποίων τα κέντρα βρίσκονται πάνω σε μια γραμμή συμμετρίας ανάκλασης δεν γεννιούνται ποτέ.

Το μοτίβο Hex-UWCA μπορεί να εξερευνηθεί εδώ.

Τρίγωνο Σιερπίνσκι

Για περισσότερες λεπτομερές: Τρίγωνο Σιερπίνσκι

Τρίγωνο Σιερπίνσκι - γενιά 16

Το τρίγωνο Σιερπίνσκι εμφανίζεται σε ιταλικά ψηφιδωτά δαπέδου του 13ου αιώνα. Ο Βάτσλαβ Σιερπίνσκι περιέγραψε το τρίγωνο το 1915.

Αν εξετάσουμε την ανάπτυξη του τριγώνου, με κάθε σειρά να αντιστοιχεί σε μια γενιά και την πάνω σειρά γενιά 1 να είναι ένα ενιαίο τρίγωνο, τότε όπως το UWCA και το Hex-UWCA επιστρέφει στο αρχικό του σχήμα, σε γενιές n=2k.

Ακολουθία οδοντογλυφίδας

Ακολουθία οδοντογλυφίδας - γενιά 13

Το σχήμα οδοντογλυφίδας κατασκευάζεται με την τοποθέτηση μιας οδοντογλυφίδας μοναδιαίου μήκους σε ένα τετράγωνο πλέγμα, ευθυγραμμισμένο με τον κατακόρυφο άξονα. Σε κάθε επόμενο στάδιο, για κάθε εκτεθειμένο άκρο οδοντογλυφίδας, τοποθετείται μια κάθετη οδοντογλυφίδα με κέντρο το άκρο αυτό. Η προκύπτουσα δομή έχει εμφάνιση που μοιάζει με φράκταλ.

Οι δομές οδοντογλυφίδας και UWCA είναι παραδείγματα κυτταρικών αυτομάτων που ορίζονται σε γράφο και όταν θεωρούνται ως υπογράφος του άπειρου τετραγωνικού πλέγματος η δομή είναι ένα δέντρο.

Η ακολουθία της οδοντογλυφίδας επιστρέφει στο βασικό περιστρεφόμενο σχήμα "H" σε γενιές n=2k όπου k1

Η ακολουθία οδοντογλυφίδας και διάφορες ακολουθίες που μοιάζουν με οδοντογλυφίδες μπορούν να εξεταστούν εδώ.

Συνδυαστική θεωρία παιγνίων

Ένα παιχνίδι αφαίρεσης που ονομάζεται LIM, στο οποίο δύο παίκτες τροποποιούν εναλλάξ τρεις στοίβες από μάρκες παίρνοντας ίση ποσότητα από δύο στοίβες και προσθέτοντας την ίδια ποσότητα στην τρίτη στοίβα, διαθέτει ένα σύνολο νικηφόρων θέσεων που μπορούν να περιγραφούν χρησιμοποιώντας το αυτόματο Ούλαμ-Γουάρμπαρτον.[9][10]

Ιστορία

Οι απαρχές των αυτομάτων ανάγονται σε μια συζήτηση που είχε ο Ούλαμ με τον Στάνισλαβ Μαζούρ σε μια καφετέρια στο Λβοβ της Πολωνίας, όταν ο Ούλαμ ήταν είκοσι ετών το 1929[11]. Ο Ούλαμ συνεργάστηκε με τον Τζον φον Νόιμαν κατά τη διάρκεια των ετών του πολέμου, όταν έγιναν καλοί φίλοι και συζήτησαν για τα κυψελοειδή αυτόματα. Ο φον Νόιμαν χρησιμοποίησε αυτές τις ιδέες στην ιδέα του για τον καθολικό κατασκευαστή και τον ψηφιακό υπολογιστή. Ο Ούλαμ επικεντρώθηκε σε βιολογικά και "κρυστάλλινα" μοτίβα δημοσιεύοντας ένα σκίτσο της ανάπτυξης μιας κυτταρικής δομής με βάση το τετράγωνο χρησιμοποιώντας έναν απλό κανόνα το 1962. Ο Μάικ Γουόρμπαρτον είναι ερασιτέχνης μαθηματικός που ασχολείται με την πιθανολογική θεωρία αριθμών και σπούδασε στο George Heriot's School του Εδιμβούργου. Η εργασία μαθηματικών GCSE του γιου του περιελάμβανε τη διερεύνηση της ανάπτυξης ισόπλευρων τριγώνων ή τετραγώνων στο ευκλείδειο επίπεδο με τον κανόνα - μια νέα γενιά γεννιέται εάν και μόνο εάν συνδέεται με την προηγούμενη με μία μόνο ακμή. Αυτή η εργασία κατέληγε σε έναν αναδρομικό τύπο για τον αριθμό των κελιών ON που γεννιούνται σε κάθε γενιά. Αργότερα, ο Γουόρμπαρτον βρήκε τον τύπο του αιχμηρού ανώτερου ορίου, τον οποίο έγραψε ως σημείωμα στο περιοδικό M500 του Ανοικτού Πανεπιστημίου το 2002. Ο Ντέιβιντ Σίνγκμαστερ διάβασε το άρθρο, ανέλυσε τη δομή και ονόμασε το αντικείμενο κυτταρικό αυτόματο των Ούλαμ-Γουόρμπαρτον σε άρθρο του το 2003. Έκτοτε έχει δώσει αφορμή για πολυάριθμες ακέραιες ακολουθίες.

Εξωτερικοί σύνδεσμοι

Δείτε επίσης

Παραπομπές

  1. S. M. Ulam, On some mathematical problems connected with patterns of growth of figures, Mathematical Problems in BiologicalSciences, 14 (1962), 215–224.
  2. M. Warburton, One-edge connections, M500 Magazine of The Open University, 188 Πρότυπο:Webarchive (2002), 11
  3. D. Singmaster, On the cellular automaton of Ulam and Warburton, M500 Magazine of The Open University, 195 Πρότυπο:Webarchive (2003), 2–7
  4. OEIS - Index to 2D 5-Neighbor Cellular Automata,[1],
  5. Πρότυπο:Cite journal
  6. Mike Warburton, "Ulam-Warburton Automaton - Counting Cells with Quadratics ", arXiv:1901.10565
  7. Tanya Khovanova, Eric Nie, Alok Puranik, "The Sierpinski Triangle and the Ulam-Warburton Automaton", arXiv:1408.5937
  8. Steven R. Finch, Mathematical Constants II, 364-365
  9. Πρότυπο:Citation
  10. Πρότυπο:Citation
  11. S. M. Ulam, Adventures of a Mathematician, p32

Πρότυπο:Authority control Πρότυπο:Portal bar