In this paper I assess the prospects for combining contemporary Everettian quantum mechanics (EQM) with branching-time semantics in the tradition of Kripke, Prior, Thomason and Belnap. I begin by outlining the salient features of ‘decoherence-based’ EQM, and of the ’consistent histories’ formalism that is particularly apt for conceptual discussions in EQM. This formalism permits of both ‘branch...

Classical mechanics and standard Copenhagen quantum mechanics respect subspace implications. For example, if a particle is confined in a particular region R of space, then in these theories we can deduce that it is confined in regions containing R. However, subspace implications are generally violated by versions of quantum theory that assign probabilities to histories, such as the consistent h...

A recent claim by Bassi and Ghirardi that the consistent (decoherent) histories approach cannot provide a realistic interpretation of quantum theory is shown to be based upon a misunderstanding of the single-framework rule: they have replaced the correct rule with a principle which directly contradicts it. It is their assumptions, not those of the consistent histories approach, which lead to a ...

The consistent histories approach to quantum mechanics is traditionally based on linearly ordered sequences of events. We extend the histories formalism to sets of events whose causal ordering is described by directed acyclic graphs. The need for a global time is eliminated and our construction reflects the causal structure faithfully.

In this paper we suggest a numerical implementation based on plain Monte Carlo simulation of the conditional expectations in the following Markovian setting: Suppose (X(i),Fi), 0 ≤ i ≤ k, is a possibly high-dimensional Markov process and the cashflow is of the form Z(i) = f(i,X(i)). Assume a consistent stopping family τ(i) depends on ω only through the path of X and that for each i the event {τ...

The vertical transition energies for butadiene have been calculated using the CIS/6-3 1 1 (2+)G* theoretical model. The observed energies were satisfactorily reproduced. The charge distribution for each of the excited states was calculated so that the change from the ground-state distribution could be examined. The nature of the Rydberg states are discussed. Quantitative information on the degr...

The decoherent (consistent) histories formalism has been proposed as a means of eliminating measurements as a fundamental concept in quantum mechanics. In this formalism, probabilities can be assigned to any description which satisfies a particular consistency condition. The formalism, however, admits incompatible descriptions which cannot be combined, unlike classical physics. This seems to le...

Denial of service (DoS) and Distributed Denial of Service (DDoS) attacks continue to threaten the reliability of networking systems. Previous approaches for protecting networks from DoS attacks are reactive in that they wait for an attack to be launched before taking appropriate measures to protect the network. This leaves the door open for other attacks that use more sophisticated methods to m...

Several theoretical methods are employed to characterize the intramolecular proton transfer in the ground state and in the lowest-lying 3nπ∗ and 3ππ∗ excited states of 1-amino-3-propenal. The geometrical parameters, the relative energy of the two tautomeric forms, the energy barrier for the proton transfer, and the energy difference between the ground and the excited states predicted by the dif...

A general theory for response properties is presented which is applicable to perturbations affecting the molecular basis set, notably nuclear derivatives. A perturbation-independent Fock space is introduced, and the necessary reorthonormalization of a truncated basis set after a perturbation is explicitly incorporated in the Hamiltonian. Explicit formulas for MCSCF firstand second-order propert...