-
Approximating the eigenvalues of self-adjoint trace-class operators
Authors:
Richárd Balka,
Gábor Homa,
András Csordás
Abstract:
Spectral properties of bounded linear operators play a crucial role in several areas of mathematics and physics. For each self-adjoint, trace-class operator $O$ we define a set $Λ_n\subset \mathbb{R}$, and we show that it converges to the spectrum of $O$ in the Hausdorff metric under mild conditions. Our set $Λ_n$ only depends on the first $n$ moments of $O$. We show that it can be effectively cal…
▽ More
Spectral properties of bounded linear operators play a crucial role in several areas of mathematics and physics. For each self-adjoint, trace-class operator $O$ we define a set $Λ_n\subset \mathbb{R}$, and we show that it converges to the spectrum of $O$ in the Hausdorff metric under mild conditions. Our set $Λ_n$ only depends on the first $n$ moments of $O$. We show that it can be effectively calculated for physically relevant operators, and it approximates the spectrum well.
We prove that using the above method we can converge to the minimal and maximal eigenvalues with super-exponential speed.
We also construct monotone increasing lower bounds $q_n$ for the minimal eigenvalue (or decreasing upper bounds for the maximal eigenvalue). This sequence only depends on the moments of $O$ and a concrete upper estimate of its $1$-norm; we also demonstrate that $q_n$ can be effectively calculated for a large class of physically relevant operators. This rigorous lower bound $q_n$ tends to the minimal eigenvalue with super-exponential speed provided that $O$ is not positive semidefinite. As a by-product, we obtain computable upper bounds for the $1$-norm of $O$, too.
△ Less
Submitted 22 August, 2024; v1 submitted 5 July, 2024;
originally announced July 2024.
-
Positivity and entanglement of polynomial Gaussian integral operators
Authors:
Richárd Balka,
András Csordás,
Gábor Homa
Abstract:
Positivity preservation is an important issue in the dynamics of open quantum systems: positivity violations always mark the border of validity of the model. We investigate the positivity of self-adjoint polynomial Gaussian integral operators $\widehatκ_{PG}$, that is, the multivariable kernel $κ_{PG}$ is a product of a polynomial $P$ and a Gaussian kernel $κ_G$. These operators frequently appear…
▽ More
Positivity preservation is an important issue in the dynamics of open quantum systems: positivity violations always mark the border of validity of the model. We investigate the positivity of self-adjoint polynomial Gaussian integral operators $\widehatκ_{PG}$, that is, the multivariable kernel $κ_{PG}$ is a product of a polynomial $P$ and a Gaussian kernel $κ_G$. These operators frequently appear in open quantum systems.
We show that $\widehatκ_{PG}$ can be only positive if the Gaussian part is positive, which yields a strong and quite easy test for positivity. This has an important corollary for the bipartite entanglement of the density operators $\widehatκ_{PG}$: if the Gaussian density operator $\widehatκ_G$ fails the Peres-Horodecki criterion, then the corresponding polynomial Gaussian density operators $\widehatκ_{PG}$ also fail the criterion for all $P$, hence they are all entangled.
We prove that polynomial Gaussian operators with polynomials of odd degree cannot be positive semidefinite.
We introduce a new preorder $\preceq$ on Gaussian kernels such that if $κ_{G_0}\preceq κ_{G_1}$ then $\widehatκ_{PG_0}\geq 0$ implies $\widehatκ_{PG_1}\geq 0$ for all polynomials $P$. Therefore, deciding the positivity of a polynomial Gaussian operator determines the positivity of a lot of another polynomial Gaussian operators having the same polynomial factor, which might improve any given positivity test by carrying it out on a much larger set of operators. We will show an example that this really can make positivity tests much more sensitive and efficient. This preorder has implication for the entanglement problem, too.
△ Less
Submitted 23 September, 2024; v1 submitted 7 May, 2024;
originally announced May 2024.
-
Newton's identities and positivity of trace class integral operators
Authors:
G. Homa,
R. Balka,
J. Z. Bernád,
M. Károly,
A. Csordás
Abstract:
We provide a countable set of conditions based on elementary symmetric polynomials that are necessary and sufficient for a trace class integral operator to be positive semidefinite, which is an important cornerstone for quantum theory in phase-space representation. We also present a new, efficiently computable algorithm based on Newton's identities. Our test of positivity is much more sensitive th…
▽ More
We provide a countable set of conditions based on elementary symmetric polynomials that are necessary and sufficient for a trace class integral operator to be positive semidefinite, which is an important cornerstone for quantum theory in phase-space representation. We also present a new, efficiently computable algorithm based on Newton's identities. Our test of positivity is much more sensitive than the ones given by the linear entropy and Robertson-Schrödinger's uncertainty relations; our first condition is equivalent to the non-negativity of the linear entropy.
△ Less
Submitted 2 March, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
