This is the first of two papers concerned with the formulation of a continuous-time quantum-mechanical filter. Efforts focus on a quantum system with Hamiltonian of the form H0+u(t)H1, where H0 is the Hamiltonian of the undisturbed system, H1 is a system observable which couples to an external classical field, and u(t) represents the time-varying signal impressed by this field. An important problem is to determine when and how the signal u(t) can be extracted from the time-development of the measured value of a suitable system observable C (invertibility problem). There exist certain quasiclassical observables such that the expected value and the measured value can be made to coincide. These are called quantum nondemolition observables. The invertibility problem is posed and solved for such observables. Since the physical quantum-mechanical system must be modelled as an infinite-dimensional bilinear system, the domain issue for the operators H0, H1, and C becomes nontrivial. This technical matter is dealt with by invoking the concept of an analytic domain. An additional complication is that the output observable C is in general time-dependent.
ASJC Scopus subject areas
- Theoretical Computer Science
- Computational Theory and Mathematics