Συνάρτηση Βαϊνγκάρτεν

Στα μαθηματικά, οι συναρτήσεις Βαϊνγκάρτεν είναι ρητές συναρτήσεις που αναγράφονται από κατατμήσεις ακεραίων αριθμών, οι οποίες μπορούν να χρησιμοποιηθούν για τον υπολογισμό ολοκληρωμάτων των γινομένων των συντελεστών πινάκων πάνω σε κλασικές ομάδες. Μελετήθηκαν για πρώτη φορά από τον Βαϊνγκάρτεν (), ο οποίος βρήκε την ασυμπτωτική τους συμπεριφορά, και ονομάστηκαν από τον Κόλινς (), ο οποίος τις αξιολόγησε ρητά για την μοναδιαία ομάδα.

Μοναδιαίες ομάδες

Οι συναρτήσεις Βαϊνγκάρτεν χρησιμοποιούνται για την αξιολόγηση ολοκληρωμάτων πάνω από την μοναδιαία ομάδα Ud  των γινομένων των συντελεστών των πινάκων της μορφής 

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

Αυτό το ολοκλήρωμα ισούται με

όπου Wg είναι η συνάρτηση Βαϊνγκάρτεν, που δίνεται από τη σχέση

όπου το άθροισμα αφορά όλα τα τμήματα λ του q Κόλινς (). Εδώ χλ είναι ο χαρακτήρας του Sq  που αντιστοιχεί στο διαμέρισμα λ και s είναι το πολυώνυμο Schur του λ, έτσι ώστε sλd(1)) είναι η διάσταση της αναπαράστασης του Ud που αντιστοιχεί στο λ.

Οι συναρτήσεις Βαϊνγκάρτεν είναι ρητές συναρτήσεις στο d. Μπορούν να έχουν πόλους για μικρές τιμές του d, οι οποίοι ακυρώνονται στον παραπάνω τύπο. Υπάρχει ένας εναλλακτικός μη ισοδύναμος ορισμός των συναρτήσεων Βαϊνγκάρτεν, όπου αθροίζουμε μόνο πάνω σε διαμερίσεις με το πολύ d μέρη. Αυτό δεν είναι πλέον μια ρητή συνάρτηση του d, αλλά είναι πεπερασμένη για όλους τους θετικούς ακέραιους d. Τα δύο είδη συναρτήσεων Βαϊνγκάρτεν συμπίπτουν για d μεγαλύτερο από q, και οποιοδήποτε από τα δύο μπορεί να χρησιμοποιηθεί στον τύπο για το ολοκλήρωμα.

Τιμές της συνάρτησης Βαϊνγκάρτεν για απλές μεταθέσεις

Οι πρώτες συναρτήσεις Βαϊνγκάρτεν Wg(σ, d) είναι

 (Η τετριμμένη περίπτωση όπου q = 0)

όπου οι μεταθέσεις σ συμβολίζονται με τα σχήματα των κύκλων τους.

Υπάρχουν προγράμματα άλγεβρας υπολογιστών για την παραγωγή αυτών των εκφράσεων.Z. Puchała and J.A. Miszczak, Symbolic integration with respect to the Haar measure on the unitary group in Mathematica., arXiv:1109.4244 (2011).M. Fukuda, R. König, and I. Nechita, RTNI - A symbolic integrator for Haar-random tensor networks., arXiv:1902.08539 (2019).

 Ρητές εκφράσεις για τα ολοκληρώματα στις πρώτες περιπτώσεις 

Οι ρητές εκφράσεις για τα ολοκληρώματα πολυωνύμων πρώτου και δεύτερου βαθμού, που προκύπτουν μέσω του παραπάνω τύπου, είναι :

Ασυμπτωτική συμπεριφορά

Για μεγάλα d, η συνάρτηση Βαϊνγκάρτεν Wg έχει την ασυμπτωτική συμπεριφορά

όπου η μετάθεση σ είναι ένα γινόμενο κύκλων μήκους Ci, και cn = (2n)!/n!(n + 1)! είναι ένας καταλανικός αριθμός, και |σ| είναι ο μικρότερος αριθμός μεταθέσεων που το σ είναι γινόμενο. Υπάρχει μια διαγραμματική μέθοδοςP.W. Brouwer and C.W.J. Beenakker, Diagrammatic method of integration over the unitary group, with applications to quantum transport in mesoscopic systems, J. Math. Phys. 37,  4904 (1996), arXiv:cond-mat/9604059.  για τον συστηματικό υπολογισμό των ολοκληρωμάτων επί της μοναδιαίας ομάδας ως δυναμοσειρά στο 1/d.

Ορθογώνιες και συμπλεκτικές ομάδες

Για ορθογώνιες και συμλεκτικές ομάδες οι συναρτήσεις Βαϊνγκάρτεν αξιολογήθηκαν από τους Κόλινς & Σνάντι (). Η θεωρία τους είναι παρόμοια με την περίπτωση της μοναδιαίας ομάδας. Παραμετροποιούνται από κατατμήσεις τέτοιες ώστε όλα τα μέρη να έχουν άρτιο μέγεθος.

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





Golub G. H., van Loan C. F. (1996), Matrix Computations (Johns Hopkins University Press) §4.7—Toeplitz and Related Systems
 )




Δείτε επίσης

 Field Arithmetic
 Πραγματικό προβολικό επίπεδο
 Πραγματικός αριθμός 
 Αντιερμιτιανός πίνακας
 Μέγιστος κοινός διαιρέτης
 Ταυτοτικός πίνακας
 Ελάσσων (γραμμική άλγεβρα)
 Προβολή (γραμμική άλγεβρα)
 Διανυσματικός χώρος
 Παραμετρικές εξισώσεις
 Πολλαπλασιασμός πινάκων
 Ρητή συνάρτηση
 Ανάλυση πίνακα σε ιδιάζουσες τιμές
 Αντιστρέψιμος πίνακας
 High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form

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

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
Matrix calculator
 Matrix Analysis
 Complex-Valued Matrix Derivatives: With Applications in Signal Processing ...
 Exercises of Matrices and Linear Algebra
 Fourier Transforms: Approach to Scientific Principles
 Sampling Theory: Beyond Bandlimited Systems.
 Physics and Combinatorics 2000: Proceedings of the Nagoya 2000 International ...
 Random Tensors..
 A First Course in Random Matrix Theory: for Physicists, Engineers and Data .....
 Lectures on the Combinatorics of Free Probability, Τόμος 13

Παραπομπές



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