No Arabic abstract
In this paper a general definition of quantum conditional entropy for infinite-dimensional systems is given based on recent work of Holevo and Shirokov arXiv:1004.2495 devoted to quantum mutual and coherent informations in the infinite-dimensional case. The properties of the conditional entropy such as monotonicity, concavity and subadditivity are also generalized to the infinite-dimensional case.
The coding theorem for the entanglement-assisted communication via infinite-dimensional quantum channel with linear constraint is extended to a natural degree of generality. Relations between the entanglement-assisted classical capacity and the $chi$-capacity of constrained channels are obtained and conditions for their coincidence are given. Sufficient conditions for continuity of the entanglement-assisted classical capacity as a function of a channel are obtained. Some applications of the obtained results to analysis of Gaussian channels are considered. A general (continuous) version of the fundamental relation between the coherent information and the measure of privacy of classical information transmission by infinite-dimensional quantum channel is proved.
The thermal equilibrium distribution over quantum-mechanical wave functions is a so-called Gaussian adjusted projected (GAP) measure, $GAP(rho_beta)$, for a thermal density operator $rho_beta$ at inverse temperature $beta$. More generally, $GAP(rho)$ is a probability measure on the unit sphere in Hilbert space for any density operator $rho$ (i.e., a positive operator with trace 1). In this note, we collect the mathematical details concerning the rigorous definition of $GAP(rho)$ in infinite-dimensional separable Hilbert spaces. Its existence and uniqueness follows from Prohorovs theorem on the existence and uniqueness of Gaussian measures in Hilbert spaces with given mean and covariance. We also give an alternative existence proof. Finally, we give a proof that $GAP(rho)$ depends continuously on $rho$ in the sense that convergence of $rho$ in the trace norm implies weak convergence of $GAP(rho)$.
We find supersymmetric partners of a family of self-adjoint operators which are self-adjoint extensions of the differential operator $-d^2/dx^2$ on $L^2[-a,a]$, $a>0$, that is, the one dimensional infinite square well. First of all, we classify these self-adjoint extensions in terms of several choices of the parameters determining each of the extensions. There are essentially two big groups of extensions. In one, the ground state has strictly positive energy. On the other, either the ground state has zero or negative energy. In the present paper, we show that each of the extensions belonging to the first group (energy of ground state strictly positive) has an infinite sequence of supersymmetric partners, such that the $ell$-th order partner differs in one energy level from both the $(ell-1)$-th and the $(ell+1)$-th order partners. In general, the eigenvalues for each of the self-adjoint extensions of $-d^2/dx^2$ come from a transcendental equation and are all infinite. For the case under our study, we determine the eigenvalues, which are also infinite, {all the extensions have a purely discrete spectrum,} and their respective eigenfunctions for all of its $ell$-th supersymmetric partners of each extension.
The quantum theory of indirect measurements in physical systems is studied. The example of an indirect measurement of an observable represented by a self-adjoint operator $mathcal{N}$ with finite spectrum is analysed in detail. The Hamiltonian generating the time evolution of the system in the absence of direct measurements is assumed to be given by the sum of a term commuting with $mathcal{N}$ and a small perturbation not commuting with $mathcal{N}$. The system is subject to repeated direct (projective) measurements using a single instrument whose action on the state of the system commutes with $mathcal{N}$. If the Hamiltonian commutes with the observable $mathcal{N}$ (i.e., if the perturbation vanishes) the state of the system approaches an eigenstate of $mathcal{N}$, as the number of direct measurements tends to $infty$. If the perturbation term in the Hamiltonian does textit{not} commute with $mathcal{N}$ the system exhibits jumps between different eigenstates of $mathcal{N}$. We determine the rate of these jumps to leading order in the strength of the perturbation and show that if time is re-scaled appropriately a maximum likelihood estimate of $mathcal{N}$ approaches a Markovian jump process on the spectrum of $mathcal{N}$, as the strength of the perturbation tends to $0$.
An approximate exponential quantum projection filtering scheme is developed for a class of open quantum systems described by Hudson- Parthasarathy quantum stochastic differential equations, aiming to reduce the computational burden associated with online calculation of the quantum filter. By using a differential geometric approach, the quantum trajectory is constrained in a finite-dimensional differentiable manifold consisting of an unnormalized exponential family of quantum density operators, and an exponential quantum projection filter is then formulated as a number of stochastic differential equations satisfied by the finite-dimensional coordinate system of this manifold. A convenient design of the differentiable manifold is also presented through reduction of the local approximation errors, which yields a simplification of the quantum projection filter equations. It is shown that the computational cost can be significantly reduced by using the quantum projection filter instead of the quantum filter. It is also shown that when the quantum projection filtering approach is applied to a class of open quantum systems that asymptotically converge to a pure state, the input-to-state stability of the corresponding exponential quantum projection filter can be established. Simulation results from an atomic ensemble system example are provided to illustrate the performance of the projection filtering scheme. It is expected that the proposed approach can be used in developing more efficient quantum control methods.