Symbolic integration with respect to the Haar measure on the unitary group in Mathematica
نویسندگان
چکیده
We present IntU package for Mathematica computer algebra system. The presented package performs a symbolic integration of polynomial functions over the unitary group with respect to unique normalized Haar measure. We describe a number of special cases which can be used to optimize the calculation speed for some classes of integrals. We also provide some examples of usage of the presented package.
منابع مشابه
On asymptotics of large Haar distributed unitary matrices
The set U(n) of n × n unitary matrices forms a compact topological group with respect to the matrix multiplication and the usual topology, therefore there exists a unique (up to the scalar multiplication) translation invariant measure on U(n), the so-called Haar measure. We will consider a random variable Un which maps from a probability space to U(n), and take its values uniformly from U(n), i...
متن کاملIntegration with Respect to the Haar Measure on Unitary, Orthogonal and Symplectic Group
We revisit the work of the first named author and using simpler algebraic arguments we calculate integrals of polynomial functions with respect to the Haar measure on the unitary group U(d). The previous result provided exact formulas only for 2d bigger than the degree of the integrated polynomial and we show that these formulas remain valid for all values of d. Also, we consider the integrals ...
متن کاملCoherent Frames
Frames which can be generated by the action of some operators (e.g. translation, dilation, modulation, ...) on a single element $f$ in a Hilbert space, called coherent frames. In this paper, we introduce a class of continuous frames in a Hilbert space $mathcal{H}$ which is indexed by some locally compact group $G$, equipped with its left Haar measure. These frames are obtained as the orbits of ...
متن کاملA Property of the Haar Measure of Some Special LCA Groups
The Euclidean group (Rn,+) where (n?N, plays a key role in harmonic analysis. If we consider the Lebesgue measure ()nd?xR as the Haar measure of this group then 12(2)()nd?x=d?RR. In this article we look for LCA groups K, whose Haar measures have a similar property. In fact we will show that for some LCA groups K with the Haar measure K?, there exists a constant such that 0KC>()(2)KKK?A=C?A for ...
متن کاملIntegration over Compact Quantum Groups
We find a combinatorial formula for the Haar functional of the orthogonal and unitary quantum groups. As an application, we consider diagonal coefficients of the fundamental representation, and we investigate their spectral measures. Introduction A basic question in functional analysis is to find axioms for quantum groups, which ensure the existence of a Haar measure. In the compact case, this ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1109.4244 شماره
صفحات -
تاریخ انتشار 2011