Related papers: Invariant Integration over the Unitary Group
We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $\mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant…
The integral formulae pertaining to the unitary group $\mathsf{U}(d)$ have been comprehensively reviewed, yielding fresh results and innovative proofs. Central to the derivation of these formulae lies the employment of Schur-Weyl duality, a…
This is a note for constructing fundamental invariants and computing the Hilbert series of the invariant subalgebras of tensor products of polynomial rings under the action by a direct product of symmetric groups. Our computation relies on…
We present two hypermatrix formulations of the Cayley Hamilton theorem. One of the proposed formulation naturally extends to hypermatrices the combinatorial interpretations of the classical Cayley Hamilton theorem. We conclude by discussing…
We generalise well-known integrals of Ingham-Siegel and Fisher-Hartwig type over the unitary group $U(N)$ with respect to Haar measure, for finite $N$ and including fixed external matrices. When depending only on the eigenvalues of the…
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…
The construction of unitary operator bases in a finite-dimensional Hilbert space is reviewed through a nonstandard approach combinining angular momentum theory and representation theory of SU(2). A single formula for the bases is obtained…
A novel factorization for the sum of two single-pair matrices is established as product of lower-triangular, tridiagonal, and upper-triangular matrices, leading to semi-closed-form formulas for tridiagonal matrix inversion. Subsequent…
We give a completely explicit formula for all harmonic maps of finite uniton number from a Riemann surface to the unitary group U(n) in any dimension, and so all harmonic maps from the 2-sphere, in terms of freely chosen meromorphic…
Multiple actions of the monodromy matrix elements onto off-shell Bethe vectors in the $\mathfrak{gl}(m|n)$-invariant quantum integrable models are calculated. These actions are used to describe recursions for the highest coefficients in the…
We construct ensembles of random integrable matrices with any prescribed number of nontrivial integrals and formulate integrable matrix theory (IMT) -- a counterpart of random matrix theory (RMT) for quantum integrable models. A type-M…
We investigate the existence problem of group invariant matrices using algebraic approaches. We extend the usual concept of multipliers to group rings with cyclotomic integers as coefficients. This concept is combined with the field descent…
Matrix Lie groups provide a language for describing motion in such fields as robotics, computer vision, and graphics. When using these tools, we are often faced with turning infinite-series expressions into more compact finite series (e.g.,…
We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a proof assistant. By constituting a formal system for isolating…
Symbolic integration over the Haar measure of compact groups is a computational cornerstone in quantum information science and random matrix theory. We present \texttt{IntegrateUnitary.jl}, a comprehensive Julia package for computing exact…
When we consider a finite abelian group acting linearly on a polynomial ring, we can find monomial generators for the subring of invariants. By Noether's degree bound and Hilbert's finiteness theorem, we know that there are finitely many…
Composed ensembles of random unitary matrices are defined via products of matrices, each pertaining to a given canonical circular ensemble of Dyson. We investigate statistical properties of spectra of some composed ensembles and demonstrate…
In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with…
Hypergeometric equations with a dihedral monodromy group can be solved in terms of elementary functions. This paper gives explicit general expressions for quadratic monodromy invariants for these hypergeometric equations, using a…
The problem of determining gauge and monoidal equivalence classes of fusion categories is considered from the perspective of geometric invariant theory. It is shown that the gauge (or monoidal) class of a fusion category is determined by…