Compatible quantum theory.

Formulations of quantum mechanics (QM) can be characterized as realistic, operationalist, or a combination of the two. In this paper a realistic theory is defined as describing a closed system entirely by means of entities and concepts pertaining to the system. An operationalist theory, on the other hand, requires in addition entities external to the system. A realistic formulation comprises an ontology, the set of (mathematical) entities that describe the system, and assertions, the set of correct statements (predictions) the theory makes about the objects in the ontology. Classical mechanics is the prime example of a realistic physical theory. A straightforward generalization of classical mechanics to QM is hampered by the inconsistency of quantum properties with classical logic, a circumstance that was noted many years ago by Birkhoff and von Neumann. The present realistic formulation of the histories approach originally introduced by Griffiths, which we call 'compatible quantum theory (CQT)', consists of a 'microscopic' part (MIQM), which applies to a closed quantum system of any size, and a 'macroscopic' part (MAQM), which requires the participation of a large (ideally, an infinite) system. The first (MIQM) can be fully formulated based solely on the assumption of a Hilbert space ontology and the noncontextuality of probability values, relying in an essential way on Gleason's theorem and on an application to dynamics due in large part to Nistico. Thus, the present formulation, in contrast to earlier ones, derives the Born probability formulas and the consistency (decoherence) conditions for frameworks. The microscopic theory does not, however, possess a unique corpus of assertions, but rather a multiplicity of contextual truths ('c-truths'), each one associated with a different framework. This circumstance leads us to consider the microscopic theory to be physically indeterminate and therefore incomplete, though logically coherent. The completion of the theory requires a macroscopic mechanism for selecting a physical framework, which is part of the macroscopic theory (MAQM). The selection of a physical framework involves the breaking of the microscopic 'framework symmetry', which can proceed either phenomenologically as in the standard quantum measurement theory, or more fundamentally by considering the quantum system under study to be a subsystem of a macroscopic quantum system. The decoherent histories formulation of Gell-Mann and Hartle, as well as that of Omnès, are theories of this fundamental type, where the physical framework is selected by a coarse-graining procedure in which the physical phenomenon of decoherence plays an essential role. Various well-known interpretations of QM are described from the perspective of CQT. Detailed definitions and proofs are presented in the appendices.

Analytical calculation of intracellular calcium wave characteristics.

We present a theoretical analysis of intracellular calcium waves propagated by calcium feedback at the inositol 1,4,5-trisphosphate (IP3) receptor. The model includes essential features of calcium excitability, but is still analytically tractable. Formulas are derived for the wave speed, amplitude, and width. The calculations take into account cytoplasmic Ca buffering, the punctate nature of the Ca release channels, channel inactivation, and Ca pumping. For relatively fast buffers, the wave speed is well approximated by V(infinity) = (J(eff)D(eff)/C0)1/2, where J(eff) is an effective, buffered source strength; D(eff) is the effective, buffered diffusion constant of Ca; and C(0) is the Ca threshold for channel activation. It is found that the saturability and finite on-rate of buffers must be taken into account to accurately derive the wave speed and front width. The time scale governing Ca wave propagation is T(r), the time for Ca release to reach threshold to activate further release. Because IP3 receptor inactivation is slow on this time scale, channel inactivation does not affect the wave speed. However, inactivation competes with Ca removal to limit wave height and front length, and for biological parameter ranges, it is inactivation that determines these parameters. Channel discreteness introduces only small corrections to wave speed relative to a model in which Ca is released uniformly from the surface of the stores. These calculations successfully predict experimental results from basic channel and cell parameters and explain the slowing of waves by exogenous buffers.