arXiv subjects

Fay Dowker

Publications and source records attributed to Fay Dowker.

At least 37 records · Page 2Linked to original sources

arXiv2017

Physical Logic

In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world. The unasserted propositions form a Boolean algebra because they correspond to subsets of an underlying set of spacetime histories. Physical rules of inference, apply not to the propositions in themselves but to the affirmation and denial of these propositions by the actual world. This physical logic may or may not respect the propositions' underlying Boolean structure. We prove that this logic is Boolean if and only if the following three axioms hold: (i) The world is affirmed, (ii) Modus Ponens and (iii) If a proposition is denied then its negation, or complement, is affirmed. When a physical system is governed by a dynamical law in the form of a quantum measure with the rule that events of zero measure are denied, the axioms (i) - (iii) prove to be too rigid and need to be modified. One promising scheme for quantum mechanics as quantum measure theory corresponds to replacing axiom (iii) with axiom (iv) Nature is as fine grained as the dynamics allows.

quant-ph↗

arXiv2016

The continuum limit of a 4-dimensional causal set scalar d'Alembertian

The continuum limit of a 4-dimensional, discrete d'Alembertian operator for scalar fields on causal sets is studied. The continuum limit of the mean of this operator in the Poisson point process in 4-dimensional Minkowski spacetime is shown to be the usual continuum scalar d'Alembertian $\Box$. It is shown that the mean is close to the limit when there exists a frame in which the scalar field is slowly varying on a scale set by the density of the Poisson process. The continuum limit of the mean of the causal set d'Alembertian in 4-dimensional curved spacetime is shown to equal $\Box - \frac{1}{2}R$, where $R$ is the Ricci scalar, under certain conditions on the spacetime and the scalar field.

gr-qc↗

arXiv2015

Boundary Terms for Causal Sets

We propose a family of boundary terms for the action of a causal set with a spacelike boundary. We show that in the continuum limit one recovers the Gibbons-Hawking-York boundary term in the mean. We also calculate the continuum limit of the mean causal set action for an Alexandrov interval in flat spacetime. We find that it is equal to the volume of the codimension-2 intersection of the two light-cone boundaries of the interval.

gr-qc↗

arXiv2014

The birth of spacetime atoms as the passage of time

The view that the passage of time is physical finds expression in the classical sequential growth models of Rideout and Sorkin in which a discrete spacetime grows by the partially ordered accretion of new spacetime atoms.

gr-qc↗

arXiv2014

Quantum Information Processing and Relativistic Quantum Fields

It is shown that an ideal measurement of a one-particle wave packet state of a relativistic quantum field in Minkowski spacetime enables superluminal signalling. The result holds for a measurement that takes place over an intervention region in spacetime whose extent in time in some frame is longer than the light-crossing time of the packet in that frame. Moreover, these results are shown to apply not only to ideal measurements but also to unitary transformations that rotate two orthogonal one-particle states into each other. In light of these observations, possible restrictions on the allowed types of intervention are considered. A more physical approach to such questions is to construct explicit models of the interventions as interactions between the field and other quantum systems such as detectors. The prototypical Unruh-DeWitt detector couples to the field operator itself and so most likely respects relativistic causality. On the other hand, detector models which couple to a finite set of frequencies of field modes are shown to lead to superluminal signalling. Such detectors do, however, provide successful phenomenological models of atom-qubits interacting with quantum fields in a cavity but are valid only on time scales many orders of magnitude larger than the light-crossing time of the cavity.

quant-ph↗

arXiv2013

A histories perspective on characterising quantum non-locality

We introduce a framework for studying non-locality and contextuality inspired by the path integral formulation of quantum theory. We prove that the existence of a strongly positive joint quantum measure -- the quantum analogue of a joint probability measure -- on a set of experimental probabilities implies the Navascues-Pironio-Acin (NPA) condition $Q^1$ and is implied by the stronger NPA condition $Q^{1+AB}$. A related condition is shown to be equivalent to $Q^{1+AB}$.

quant-ph↗

arXiv2013

Causal set d'Alembertians for various dimensions

We propose, for dimension d, a discrete Lorentz invariant operator on scalar fields that approximates the Minkowski spacetime scalar d'Alembertian. For each dimension, this gives rise to a scalar curvature estimator for causal sets, and thence to a proposal for a causal set action.

gr-qc↗

arXiv2012

A Ground State for the Causal Diamond in 2 Dimensions

We apply a recent proposal for a distinguished ground state of a quantum field in a globally hyperbolic spacetime to the free massless scalar field in a causal diamond in two-dimensional Minkowski space. We investigate the two limits in which the Wightman function is evaluated (i) for pairs of points that lie in the centre of the diamond (i.e. far from the boundaries), and (ii) for pairs of points that are close to the left or right corner. We find that in the centre, the Minkowski vacuum state is recovered, with a definite value of the infrared cutoff. Interestingly, the ground state is not the Rindler vacuum in the corner of the diamond, as might have been expected, but is instead the vacuum of a flat space in the presence of a static mirror on that corner. We confirm these results by numerically evaluating the Wightman function of a massless scalar field on a causal set corresponding to the continuum causal diamond.

hep-th↗

arXiv2011

Useless Qubits in "Relativistic Quantum Information"

I draw attention to previous work that shows that the observables corresponding to relativistic quantum field modes commonly employed in papers on "relativistic quantum information" cannot be measured by ideal measurements.

quant-ph↗

arXiv2011

The Scalar Curvature of a Causal Set

A one parameter family of retarded linear operators on scalar fields on causal sets is introduced. When the causal set is well-approximated by 4 dimensional Minkowski spacetime, the operators are Lorentz invariant but nonlocal, are parametrised by the scale of the nonlocality and approximate the continuum scalar D'Alembertian, $\Box$, when acting on fields that vary slowly on the nonlocality scale. The same operators can be applied to scalar fields on causal sets which are well-approximated by curved spacetimes in which case they approximate $\Box - {1/2}R$ where $R$ is the Ricci scalar curvature. This can used to define an approximately local action functional for causal sets.

gr-qc↗

arXiv2010

The Random Discrete Action for 2-Dimensional Spacetime

A one-parameter family of random variables, called the Discrete Action, is defined for a 2-dimensional Lorentzian spacetime of finite volume. The single parameter is a discreteness scale. The expectation value of this Discrete Action is calculated for various regions of 2D Minkowski spacetime. When a causally convex region of 2D Minkowski spacetime is divided into subregions using null lines the mean of the Discrete Action is equal to the alternating sum of the numbers of vertices, edges and faces of the null tiling, up to corrections that tend to zero as the discreteness scale is taken to zero. This result is used to predict that the mean of the Discrete Action of the flat Lorentzian cylinder is zero up to corrections, which is verified. The ``topological'' character of the Discrete Action breaks down for causally convex regions of the flat trousers spacetime that contain the singularity and for non-causally convex rectangles.

gr-qc↗

arXiv2010

Discreteness and the transmission of light from distant sources

We model the classical transmission of a massless scalar field from a source to a detector on a background causal set. The predictions do not differ significantly from those of the continuum. Thus, introducing an intrinsic inexactitude to lengths and durations - or more specifically, replacing the Lorentzian manifold with an underlying discrete structure - need not disrupt the usual dynamics of propagation.

gr-qc↗

arXiv2010

On extending the Quantum Measure

We point out that a quantum system with a strongly positive quantum measure or decoherence functional gives rise to a vector valued measure whose domain is the algebra of events or physical questions. This gives an immediate handle on the question of the extension of the decoherence functional to the sigma algebra generated by this algebra of events. It is on the latter that the physical transition amplitudes directly give the decoherence functional. Since the full sigma algebra contains physically interesting questions, like the return question, extending the decoherence functional to these more general questions is important. We show that the decoherence functional, and hence the quantum measure, extends if and only if the associated vector measure does. We give two examples of quantum systems whose decoherence functionals do not extend: one is a unitary system with finitely many states, and the other is a quantum sequential growth model for causal sets. These examples fail to extend in the formal mathematical sense and we speculate on whether the conditions for extension are unphysically strong.

gr-qc↗

arXiv2010

Hilbert Spaces from Path Integrals

It is shown that a Hilbert space can be constructed for a quantum system starting from a framework in which histories are fundamental. The Decoherence Functional provides the inner product on this "History Hilbert space". It is also shown that the History Hilbert space is the standard Hilbert space in the case of non-relativistic quantum mechanics.

quant-ph↗

arXiv2010

Polarization Diffusion from Spacetime Uncertainty

A model of Lorentz invariant random fluctuations in photon polarization is presented. The effects are frequency dependent and affect the polarization of photons as they propagate through space. We test for this effect by confronting the model with the latest measurements of polarization of Cosmic Microwave Background (CMB) photons.

gr-qc↗

arXiv2009

Energy-momentum diffusion from spacetime discreteness

We study potentially observable consequences of spatiotemporal discreteness for the motion of massive and massless particles. First we describe some simple intrinsic models for the motion of a massive point particle in a fixed causal set background. At large scales, the microscopic swerves induced by the underlying atomicity manifest themselves as a Lorentz invariant diffusion in energy-momentum governed by a single phenomenological parameter, and we derive in full the corresponding diffusion equation. Inspired by the simplicity of the result, we then derive the most general Lorentz invariant diffusion equation for a massless particle, which turns out to contain two phenomenological parameters describing, respectively, diffusion and drift in the particle's energy. The particles do not leave the light cone however: their worldlines continue to be null geodesics. Finally, we deduce bounds on the drift and diffusion constants for photons from the blackbody nature of the spectrum of the cosmic microwave background radiation.

gr-qc↗

arXiv2008

Dynamical Wave Function Collapse Models in Quantum Measure Theory

The structure of Collapse Models is investigated in the framework of Quantum Measure Theory, a histories-based approach to quantum mechanics. The underlying structure of coupled classical and quantum systems is elucidated in this approach which puts both systems on a spacetime footing. The nature of the coupling is exposed: the classical histories have no dynamics of their own but are simply tied, more or less closely, to the quantum histories.

quant-ph↗

arXiv2008

The Kochen-Specker Theorem Revisited in Quantum Measure Theory

The Kochen-Specker Theorem is widely interpreted to imply that non-contextual hidden variable theories that agree with the predictions of Copenhagen quantum mechanics are impossible. The import of the theorem for a novel observer independent interpretation of quantum mechanics, due to Sorkin, is investigated.

quant-ph↗