Time separation as a hidden variable to the Copenhagen school of quantum mechanics

The Bohr radius is a space-like separation between the proton and electron in the hydrogen atom. According to the Copenhagen school of quantum mechanics, the proton is sitting in the absolute Lorentz frame. If this hydrogen atom is observed from a different Lorentz frame, there is a time-like separation linearly mixed with the Bohr radius. Indeed, the time-separation is one of the essential variables in high-energy hadronic physics where the hadron is a bound state of the quarks, while thoroughly hidden in the present form of quantum mechanics. It will be concluded that this variable is hidden in Feynman's rest of the universe. It is noted first that Feynman's Lorentz-invariant differential equation for the bound-state quarks has a set of solutions which describe all essential features of hadronic physics. These solutions explicitly depend on the time separation between the quarks. This set also forms the mathematical basis for two-mode squeezed states in quantum optics, where both photons are observable, but one of them can be treated a variable hidden in the rest of the universe. The physics of this two-mode state can then be translated into the time-separation variable in the quark model. As in the case of the un-observed photon, the hidden time-separation variable manifests itself as an increase in entropy and uncertainty.Comment: LaTex 10 pages with 5 figure. Invited paper presented at the Conference on Advances in Quantum Theory (Vaxjo, Sweden, June 2010), to be published in one of the AIP Conference Proceedings serie

Exploring behaviors of stochastic differential equation models of biological systems using change of measures

Stochastic Differential Equations (SDE) are often used to model the stochastic dynamics of biological systems. Unfortunately, rare but biologically interesting behaviors (e.g., oncogenesis) can be difficult to observe in stochastic models. Consequently, the analysis of behaviors of SDE models using numerical simulations can be challenging. We introduce a method for solving the following problem: given a SDE model and a high-level behavioral specification about the dynamics of the model, algorithmically decide whether the model satisfies the specification. While there are a number of techniques for addressing this problem for discrete-state stochastic models, the analysis of SDE and other continuous-state models has received less attention. Our proposed solution uses a combination of Bayesian sequential hypothesis testing, non-identically distributed samples, and Girsanov's theorem for change of measures to examine rare behaviors. We use our algorithm to analyze two SDE models of tumor dynamics. Our use of non-identically distributed samples sampling contributes to the state of the art in statistical verification and model checking of stochastic models by providing an effective means for exposing rare events in SDEs, while retaining the ability to compute bounds on the probability that those events occur