Spectral projections and resolvent bounds for partially elliptic quadratic differential operators

We study resolvents and spectral projections for quadratic differential operators under an assumption of partial ellipticity. We establish exponential-type resolvent bounds for these operators, including Kramers-Fokker-Planck operators with quadratic potentials. For the norms of spectral projections for these operators, we obtain complete asymptotic expansions in dimension one, and for arbitrary dimension, we obtain exponential upper bounds and the rate of exponential growth in a generic situation. We furthermore obtain a complete characterization of those operators with orthogonal spectral projections onto the ground state.Comment: 60 pages, 3 figures. J. Pseudo-Differ. Oper. Appl., to appear. Revised according to referee report, including minor changes to Corollary 1.8. The final publication will be available at link.springer.co

Compactness and asymptotic behavior in nonautonomous linear parabolic equations with unbounded coefficients in Rd\R^d

We consider a class of second order linear nonautonomous parabolic equations in R^d with time periodic unbounded coefficients. We give sufficient conditions for the evolution operator G(t,s) be compact in C_b(R^d) for t>s, and describe the asymptotic behavior of G(t,s)f as t-s goes to infinity in terms of a family of measures mu_s, s in R, solution of the associated Fokker-Planck equation

Geometric Hardy inequalities for the sub-elliptic Laplacian on convex domains in the Heisenberg group

We prove geometric $L^p$ versions of Hardy's inequality for the sub-elliptic Laplacian on convex domains $\Omega$ in the Heisenberg group $\mathbb{H}^n$, where convex is meant in the Euclidean sense. When $p=2$ and $\Omega$ is the half-space given by $\langle \xi, \nu\rangle > d$ this generalizes an inequality previously obtained by Luan and Yang. For such $p$ and $\Omega$ the inequality is sharp and takes the form \begin{equation} \int_\Omega |\nabla_{\mathbb{H}^n}u|^2 \, d\xi \geq \frac{1}{4}\int_{\Omega} \sum_{i=1}^n\frac{\langle X_i(\xi), \nu\rangle^2+\langle Y_i(\xi), \nu\rangle^2}{\textrm{dist}(\xi, \partial \Omega)^2}|u|^2\, d\xi, \end{equation} where $\textrm{dist}(\, \cdot\,, \partial \Omega)$ denotes the Euclidean distance from $\partial \Omega$.Comment: 14 page

An Adiabatic Theorem without a Gap Condition

The basic adiabatic theorems of classical and quantum mechanics are over-viewed and an adiabatic theorem in quantum mechanics without a gap condition is described.Comment: Talk at QMath 7, Prague, 1998. 10 pages, 7 figure

The Significance of the CC-Numerical Range and the Local CC-Numerical Range in Quantum Control and Quantum Information

This paper shows how C-numerical-range related new strucures may arise from practical problems in quantum control--and vice versa, how an understanding of these structures helps to tackle hot topics in quantum information. We start out with an overview on the role of C-numerical ranges in current research problems in quantum theory: the quantum mechanical task of maximising the projection of a point on the unitary orbit of an initial state onto a target state C relates to the C-numerical radius of A via maximising the trace function |\tr \{C^\dagger UAU^\dagger\}|. In quantum control of n qubits one may be interested (i) in having U\in SU(2^n) for the entire dynamics, or (ii) in restricting the dynamics to {\em local} operations on each qubit, i.e. to the n-fold tensor product SU(2)\otimes SU(2)\otimes >...\otimes SU(2). Interestingly, the latter then leads to a novel entity, the {\em local} C-numerical range W_{\rm loc}(C,A), whose intricate geometry is neither star-shaped nor simply connected in contrast to the conventional C-numerical range. This is shown in the accompanying paper (math-ph/0702005). We present novel applications of the C-numerical range in quantum control assisted by gradient flows on the local unitary group: (1) they serve as powerful tools for deciding whether a quantum interaction can be inverted in time (in a sense generalising Hahn's famous spin echo); (2) they allow for optimising witnesses of quantum entanglement. We conclude by relating the relative C-numerical range to problems of constrained quantum optimisation, for which we also give Lagrange-type gradient flow algorithms.Comment: update relating to math-ph/070200

Homogeneous Open Quantum Random Walks on a lattice

We study Open Quantum Random Walks for which the underlying graph is a lattice, and the generators of the walk are translation-invariant. We consider the quantum trajectory associated with the OQRW, which is described by a position process and a state process. We obtain a central limit theorem and a large deviation principle for the position process, and an ergodic result for the state process. We study in detail the case of homogeneous OQRWs on a lattice, with internal space $h={\mathbb C}^2$

Measuring processes and the Heisenberg picture

In this paper, we attempt to establish quantum measurement theory in the Heisenberg picture. First, we review foundations of quantum measurement theory, that is usually based on the Schr\"{o}dinger picture. The concept of instrument is introduced there. Next, we define the concept of system of measurement correlations and that of measuring process. The former is the exact counterpart of instrument in the (generalized) Heisenberg picture. In quantum mechanical systems, we then show a one-to-one correspondence between systems of measurement correlations and measuring processes up to complete equivalence. This is nothing but a unitary dilation theorem of systems of measurement correlations. Furthermore, from the viewpoint of the statistical approach to quantum measurement theory, we focus on the extendability of instruments to systems of measurement correlations. It is shown that all completely positive (CP) instruments are extended into systems of measurement correlations. Lastly, we study the approximate realizability of CP instruments by measuring processes within arbitrarily given error limits.Comment: v

On the AC spectrum of one-dimensional random Schroedinger operators with matrix-valued potentials

We consider discrete one-dimensional random Schroedinger operators with decaying matrix-valued, independent potentials. We show that if the l^2-norm of this potential has finite expectation value with respect to the product measure then almost surely the Schroedinger operator has an interval of purely absolutely continuous (ac) spectrum. We apply this result to Schroedinger operators on a strip. This work provides a new proof and generalizes a result obtained by Delyon, Simon, and Souillard.Comment: (1 figure

Brownian bridges to submanifolds

We introduce and study Brownian bridges to submanifolds. Our method involves proving a general formula for the integral over a submanifold of the minimal heat kernel on a complete Riemannian manifold. We use the formula to derive lower bounds, an asymptotic relation and derivative estimates. We also see a connection to hypersurface local time. This work is motivated by the desire to extend the analysis of path and loop spaces to measures on paths which terminate on a submanifold

Spectral analysis of the biharmonic operator subject to Neumann boundary conditions on dumbbell domains

We consider the biharmonic operator subject to homogeneous boundary conditions of Neumann type on a planar dumbbell domain which consists of two disjoint domains connected by a thin channel. We analyse the spectral behaviour of the operator, characterizing the limit of the eigenvalues and of the eigenprojections as the thickness of the channel goes to zero. In applications to linear elasticity, the fourth order operator under consideration is related to the deformation of a free elastic plate, a part of which shrinks to a segment. In contrast to what happens with the classical second order case, it turns out that the limiting equation is here distorted by a strange factor depending on a parameter which plays the role of the Poisson coefficient of the represented plate.Comment: To appear in "Integral Equations and Operator Theory