Related papers: Computing the Haar state on ${\mathbb{O}(SL_q(3))}…
In this paper, we introduce two (anti)homomorphisms that preserve the Haar state values of monomials. Together with the modular automorphism, the three (anti)homomorphisms are used in our new algorithm to compute the Haar states of…
In this paper, we investigate the evaluation problem of the Haar state on the quantum group $O(U_q(n))$ ($n\ge 3$) which is a $q$-deformation of the Haar measure on the Lie group $U(n)$. The relation between the Haar state values of…
Using matrix corepresentations on SL_q(N) and SU_q(N) we derive a Haar state on SU_q(N) which is nearly identical to that on SU_q(2). This allows us to create an orthonormal basis for the vector space of coordinate functions on SU_q(N).
In this note we present explicit formulae for the Haar state on the Vaksman-Soibelman quantum spheres. Our formulae correct various statements appearing in the literature and our proof is straightforward relying simply on properties of the…
In this survey, we present a detailed guide on using the computer algebra system OSCAR to compute monomial bases for simple, finite-dimensional modules of simple, complex Lie algebras. We will also demonstrate how to determine monomial…
We give a Fourier-type formula for computing the orthogonal Weingarten formula. The Weingarten calculus was introduced as a systematic method to compute integrals of polynomials with respect to Haar measure over classical groups. Although a…
Haar random states are fundamental objects in quantum information theory and quantum computing. We study the density matrix resulting from sampling $t$ copies of a $d$-dimensional quantum state according to the Haar measure on the…
The Haar functional on the quantum $SU(2)$ group is the analogue of invariant integration on the group $SU(2)$. If restricted to a subalgebra generated by a self-adjoint element the Haar functional can be expressed as an integral with a…
We study the explicit construction of the Haar measure on the compact $p$-adic rotation group $\textrm{SO}(3)_p$ by nautical (Cardano) parametrization. Exploiting its topological group isomorphism with…
The Heisenberg algebra is first deformed with the set of parameters ${q, l, \lambda}$ to generate a new family of generalized coherent states. In this framework, the matrix elements of relevant operators are exactly computed. A proof on…
Weingarten calculus is a completely general and explicit method to compute the moments of the Haar measure on compact subgroups of matrix algebras. Particular cases of this calculus were initiated by theoretical physicists -- including…
We develop an efficient algorithm for sampling the eigenvalues of random matrices distributed according to the Haar measure over the orthogonal or unitary group. Our technique samples directly a factorization of the Hessenberg form of such…
We discuss a model of a $q$-harmonic oscillator based on Rogers-Szeg\H{o} functions. We combine these functions with a class of $q$-analogs of complex Hermite polynomials to construct a new set of coherent states depending on a nonnegative…
A coherent state representation of the expectation value of an arbitrary (but still polynomial) normal ordered quantum operator is discussed. This serves as a basis for developing a fast and easy-to-handle algorithm, based on series of…
General permutations acting on the Haar system are investigated. We give a necessary and sufficient condition for permutations to induce an isomorphism on dyadic BMO. Extensions of this characterization to Lipschitz spaces $\lip,…
Given a nonsingular $n \times n$ matrix of univariate polynomials over a field $\mathbb{K}$, we give fast and deterministic algorithms to compute its determinant and its Hermite normal form. Our algorithms use…
Given a square, nonsingular matrix of univariate polynomials $\mathbf{F} \in \mathbb{K}[x]^{n \times n}$ over a field $\mathbb{K}$, we give a fast, deterministic algorithm for finding the Hermite normal form of $\mathbf{F}$ with complexity…
We compute Haar ensemble averages of ratios of random characteristic polynomials for the classical Lie groups K = O(N), SO(N), and USp(N). To that end, we start from the Clifford-Weyl algebera in its canonical realization on the complex of…
We study the normalization of a monomial ideal, and show how to compute its Hilbert function (using Ehrhart polynomials) if the ideal is zero dimensional. A positive lower bound for the second coefficient of the Hilbert polynomial is shown.
Many symmetric orthogonal polynomials $(P_n(x))_{n\in\mathbb{N}_0}$ induce a hypergroup structure on $\mathbb{N}_0$. The Haar measure is the counting measure weighted with $h(n):=1/\int_\mathbb{R}\!P_n^2(x)\,\mathrm{d}\mu(x)\geq1$, where…