Πίνακας Χάιζενμπεργκ

Στη γραμμική άλγεβρα, ένας πίνακας Χάιζενμπεργκ είναι ένα ειδικό είδος τετραγωνικού πίνακα, ο οποίος είναι «σχεδόν» τριγωνικός. Για την ακρίβεια, ένας άνω πίνακας Χάιζενμπεργκ είναι μηδενικός κάτω από την πρώτη υποδιαγώνιο, και ένας κάτω πίνακας Χάιζενμπεργκ είναι μηδενικός πάνω από την πρώτη υπερδιαγώνιο, page 28; , page 251. Πήραν το όνομά τους από τον Καρλ ΧάιζενμπεργκBiswa Nath Datta (2010) Numerical Linear Algebra and Applications, 2nd Ed., Society for Industrial and Applied Mathematics (SIAM) , p. 307.

Μια παραγοντοποίηση  Χάιζενμπεργκ είναι μια παραγοντοποίηση ενός πίνακα  σε έναν ορθομοναδιαίο πίνακα   και έναν πίνακα Χάιζενμπεργκ   έτσι ώστε  όπου 

είναι ο συζυγής ανάστροφος πίνακας.

Ορισμοί

 Ανώτερος πίνακας Χάιζενμπεργκ 
Ένας τετραγωνικός  πίνακας  λέγεται ότι είναι σε ανώτερη μορφή Χάιζενμπεργκ ή ότι είναι ανώτερος πίνακας Χάιζενμπεργκ αν  για όλα τα  με .

Ένας ανώτερος πίνακας Χάιζενμπεργκ ονομάζεται μη αναγωγικός αν όλες οι υποδιαγώνιες είναι μη μηδενικές, δηλαδή αν  για όλα τα .

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

Ένας κατώτερος πίνακας Χάιζενμπεργκ ονομάζεται μη αναγωγικός αν όλες οι υπερδιαγώνιες είναι μη μηδενικές, δηλαδή αν  για όλα τα .

Παραδείγματα
Ας εξετάσουμε τους ακόλουθους πίνακες.

Ο πίνακας  είναι ένας ανώτερος μη μειωμένος πίνακας Χάιζενμπεργκ, ο  είναι ένας κατώτερος μη μειωμένος πίνακας Χάιζενμπεργκ και ο  είναι ένας κατώτερος πίνακας Χάιζενμπεργκ αλλά δεν είναι μη μειωμένος.

Προγραμματισμός υπολογιστών

Πολλοί αλγόριθμοι γραμμικής άλγεβρας απαιτούν σημαντικά λιγότερη υπολογιστική προσπάθεια όταν εφαρμόζονται σε τριγωνικούς πίνακες, και αυτή η βελτίωση συχνά μεταφέρεται και στους πίνακες Χάιζενμπεργκ. Εάν οι περιορισμοί ενός προβλήματος γραμμικής άλγεβρας δεν επιτρέπουν την εύκολη αναγωγή ενός γενικού πίνακα σε τριγωνικό, η αναγωγή σε μορφή Χάιζενμπεργκ είναι συχνά η αμέσως καλύτερη λύση. Στην πραγματικότητα, η αναγωγή οποιουδήποτε πίνακα σε μορφή Χάιζενμπεργκ μπορεί να επιτευχθεί σε πεπερασμένο αριθμό βημάτων (Παραδείγματος χάριν, μέσω του μετασχηματισμού Χάουσχόλντερ (Householder) των μοναδιαίων μετασχηματισμών ομοιότητας). Η επακόλουθη αναγωγή του πίνακα Χάιζενμπεργκ σε τριγωνικό πίνακα μπορεί να επιτευχθεί μέσω επαναληπτικών διαδικασιών, όπως η μετατοπισμένη QR-παραγοντοποίηση. Σε αλγορίθμους ιδιοτιμών, ο πίνακας Χάιζενμπεργκ μπορεί να αναχθεί περαιτέρω σε τριγωνικό πίνακα μέσω μετατοπισμένη QR-παραγοντοποίηση (Shifted QR-factorization)  σε συνδυασμό με βήματα αποπληθωρισμού. Η αναγωγή ενός γενικού πίνακα σε πίνακα Χάιζενμπεργκ και στη συνέχεια η περαιτέρω αναγωγή σε τριγωνικό πίνακα, αντί της απευθείας αναγωγής ενός γενικού πίνακα σε τριγωνικό πίνακα, συχνά εξοικονομεί την αριθμητική που εμπλέκεται στον αλγόριθμο QR για προβλήματα ιδιοτιμών.

Αναγωγή στον πίνακα  Χάιζενμπεργκ
Μετασχηματισμοί Χάουσχόλντερ 
Κάθε  πίνακας μπορεί να μετασχηματιστεί σε πίνακα Χάιζενμπεργκ μέσω ενός μετασχηματισμού ομοιότητας χρησιμοποιώντας μετασχηματισμούς Χάουσχόλντερ. Η ακόλουθη διαδικασία για έναν τέτοιο μετασχηματισμό είναι προσαρμοσμένη από το Δεύτερο μάθημα γραμμικής άλγεβρας από  Γκαρσία & Ρότζερ.

Έστω  οποιοσδήποτε πραγματικός ή μιγαδικός  πίνακας, τότε έστω  ο  υποπίνακας του  που κατασκευάζεται αφαιρώντας την πρώτη γραμμή του  και έστω  η πρώτη στήλη του . Κατασκευάζουμε τον  πίνακα των νοικοκυριών  όπου

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

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

Περιστροφές του Ιακομπί (Γκίβενς)
Μια περιστροφή  Ιακομπί  (που ονομάζεται επίσης περιστροφή Γκίβενς) είναι ένας ορθογώνιος μετασχηματισμός πίνακα της μορφής

όπου , , είναι ο πίνακας περιστροφής Ιακομπί με όλα τα στοιχεία του πίνακα ίσα με μηδέν εκτός από το

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

Τώρα, η ακολουθία τέτοιων περιστροφών Ιακομπί με την ακόλουθη 

ανάγει τον πίνακα  στην κατώτερη μορφή Χάιζενμπεργκ.

 Ιδιότητες

Για , είναι κενή αλήθεια ότι κάθε  πίνακας είναι τόσο ανώτερος Χάιζενμπεργκ, όσο και κατώτερος ΧάιζενμπεργκLecture Notes. Notes for 2016-10-21 Cornell University.

Το γινόμενο ενός πίνακα Χάιζενμπεργκ με έναν τριγωνικό πίνακα είναι και πάλι Χάιζενμπεργκ. Πιο συγκεκριμένα, αν ο  είναι άνω Χάιζενμπεργκ και ο  είναι άνω τριγωνικός, τότε οι  και  είναι άνω Χάιζενμπεργκ.

Ένας πίνακας που είναι τόσο ανώτερος όσο και κατώτερος Χάιζενμπεργκ είναι ένας τριδιαγώνιος πίνακας, του οποίου ο πίνακας Ιακομπί είναι ένα σημαντικό παράδειγμα. Αυτό περιλαμβάνει τους συμμετρικούς ή ερμητικούς πίνακες Χάιζενμπεργκ. Ένας ερμιτιανός πίνακας μπορεί να αναχθεί σε τριδιαγώνιους πραγματικούς συμμετρικούς πίνακες.

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

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

Δείτε επίσης

 Field Arithmetic
 Πραγματικό προβολικό επίπεδο
 Εσωτερικό γινόμενο 
 Φυσικός αριθμός
 Πίνακας (μαθηματικά)
 Τριγωνικός πίνακας
 Διάνυσμα
 Προβολή (γραμμική άλγεβρα)
 Συζυγής ανάστροφος πίνακας
 Hessenberg matrix at MathWorld.
 High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form
 Algorithm overview

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

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
Matrix calculator
 Matrix Analysis
 Complex-Valued Matrix Derivatives: With Applications in Signal Processing ...
 Symmetries, Lie Algebras and Representations: A Graduate Course for Physicists
 An Introduction to Computational Physics
 Matrix Algebra: Theory, Computations and Applications in Statistics
 Matrix Computations and Semiseparable Matrices: Eigenvalue and ..., Τόμος 2
 Fundamentals of Matrix Computations

Δημοσιεύσεις 







 .
 .

Παραπομπές

 Janko Bračič, Kolobar aritmetičnih funkcij (Ring of arithmetical functions), (Obzornik mat, fiz. 49 (2002) 4, pp. 97–108)  (MSC (2000) 11A25) 
 Iwaniec and Kowalski, Analytic number theory, AMS (2004). 



Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Πίνακες (μαθηματικά)
Κατηγορία:Θεωρία πινάκων
Κατηγορία:Αριθμητική γραμμική άλγεβρα