Related papers: Computing the Haar state on ${\mathbb{O}(SL_q(3))}…
The Waring Problem over polynomial rings asks for how to decompose an homogeneous polynomial of degree $d$ as a finite sum of $d^{th}$ powers of linear forms. First, we give a constructive method to obtain a real Waring decomposition of any…
We describe the formalization of the existence and uniqueness of Haar measure in the Lean theorem prover. The Haar measure is an invariant regular measure on locally compact groups, and it has not been formalized in a proof assistant…
Every real hyperbolic form in three variables can be realized as the determinant of a linear net of Hermitian matrices containing a positive definite matrix. Such representations are an algebraic certificate for the hyperbolicity of the…
By using a coherent state quantization of paragrassmann variables, operators are constructed in finite Hilbert spaces. We thus obtain in a straightforward way a matrix representation of the paragrassmann algebra. This algebra of finite…
In this paper, we present a uniform formula for the integration of polynomials over the unitary, orthogonal, and symplectic groups using Weingarten calculus. From this description, we further simplify the integration formulas and give…
We propose a general study of standard bases of polynomial ideals with parameters in the case where the monomial order is arbitrary. We give an application to the computation of the stratification by the local Hilbert-Samuel function.…
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…
In a previous paper (math-ph/0202002) an Euler angle parameterization for SU(4) was given. Here we present the derivation of a generalized Euler angle parameterization for SU(N). The formula for the calculation of the Haar measure for SU(N)…
We consider the monomial expansion of the $q$-Whittaker polynomials given by the fermionic formula and via the inv and quinv statistics. We construct bijections between the parametrizing sets of these three models which preserve the $x$-…
We introduce and obtain multimode paraboson coherent states. In appropriate subspaces these coherent states provide a decomposition of unity where the measure, when expressed using the cat-type states, is positive definite. Bicoherent…
We consider integrals of type $\int_{O_n}u_{11}^{a_1}... u_{1n}^{a_n}u_{21}^{b_1}... u_{2n}^{b_n} du$, with respect to the Haar measure on the orthogonal group. We establish several remarkable invariance properties satisfied by such…
In this paper we study the Hilbert function of $\gr_{\mathfrak{m}}(R)$, when $R$ is a numerical semigroup ring or, equivalently, the coordinate ring of a monomial curve. In particular, we prove a sufficient condition for a numerical…
We show that the isotropic harmonic oscillator in the ordinary euclidean space ${\bf R}^N$ ($N\ge 3$) admits a natural q-deformation into a new quantum mechanical model having a q-deformed symmetry (in the sense of quantum groups),…
In the classical setting, the modular equation of level $N$ for the modular curve $X_0(1)$ is the polynomial relation satisfied by $j(\tau)$ and $j(N\tau)$, where $j(\tau)$ is the standard elliptic $j$-function. In this paper, we will…
We present a method to calculate integrals over monomials of matrix elements with invariant measures in terms of Wick contractions. The method gives exact results for monomials of low order. For higher--order monomials, it leads to an error…
We propose a general algorithm to compute all the symmetry classes of any $\mathrm{SO}(3)$ or $\mathrm{O}(3)$ linear representation. This method relies on the introduction of a binary operator between sets of conjugacy classes of closed…
A dynamical algebra ${\cal A}_q$, englobing many of the deformed harmonic oscillator algebras is introduced. One of its special cases is extensively developed. A general method for constructing coherent states related to any algebra of the…
We show that under the matrix product state formalism the states produced in Shor's algorithm can be represented using O(max($4lr^2$, $2^{2l}$)) space, where l is the number of bits in the number to factorise, and r is the order and the…
This note presents some equalities in law for $Z_N:=\det(\Id-G)$, where $G$ is an element of a subgroup of the set of unitary matrices of size $N$, endowed with its unique probability Haar measure. Indeed, under some general conditions,…
Consider an n qubit computational basis state corresponding to a bit string x, which has had an unknown local unitary applied to each qubit, and whose qubits have been reordered by an unknown permutation. We show that, given such a state…