Universal homogeneous causal sets

Causal sets are particular partially ordered sets which have been proposed as a basic model for discrete space-time in quantum gravity. We show that the class C of all countable past-finite causal sets contains a unique causal set (U,<) which is universal (i.e., any member of C can be embedded into (U,<)) and homogeneous (i.e., (U,<) has maximal degree of symmetry). Moreover, (U,<) can be constructed both probabilistically and explicitly. In contrast, the larger class of all countable causal sets does not contain a universal object.Comment: 14 page

Fluctuations in a general preferential attachment model via Stein's method

We consider a general preferential attachment model, where the probability that a newly arriving vertex connects to an older vertex is proportional to a sublinear function of the indegree of the older vertex at that time. It is well known that the distribution of a uniformly chosen vertex converges to a limiting distribution. Depending on the parameters, this model can show power law, but also stretched exponential behaviour. Using Stein's method we provide rates of convergence for the total variation distance. Our proof uses the fact that the limiting distribution is the stationary distribution of a Markov chain together with the generator method of Barbour

Gravity and Matter in Causal Set Theory

The goal of this paper is to propose an approach to the formulation of dynamics for causal sets and coupled matter fields. We start from the continuum version of the action for a Klein-Gordon field coupled to gravity, and rewrite it first using quantities that have a direct correspondent in the case of a causal set, namely volumes, causal relations, and timelike lengths, as variables to describe the geometry. In this step, the local Lagrangian density $L(f;x)$ for a set of fields $f$ is recast into a quasilocal expression $L_0(f;p,q)$ that depends on pairs of causally related points $p \prec q$ and is a function of the values of $f$ in the Alexandrov set defined by those points, and whose limit as $p$ and $q$ approach a common point $x$ is $L(f;x)$. We then describe how to discretize $L_0(f;p,q)$, and use it to define a discrete action.Comment: 13 pages, no figures; In version 2, friendlier results than in version 1 are obtained following much shorter derivation

Spacetime topology from the tomographic histories approach: Part II

As an inverse problem, we recover the topology of the effective spacetime that a system lies in, in an operational way. This means that from a series of experiments we get a set of points corresponding to events. This continues the previous work done by the authors. Here we use the existence of upper bound in the speed of transfer of matter and information to induce a partial order on the set of events. While the actual partial order is not known in our operational set up, the grouping of events to (unordered) subsets corresponding to possible histories, is given. From this we recover the partial order up to certain ambiguities that are then classified. Finally two different ways to recover the topology are sketched and their interpretation is discussed.Comment: 21 pages, slight change in title and certain minor corrections in this second version. To apear in IJT

Spacelike distance from discrete causal order

Any discrete approach to quantum gravity must provide some prescription as to how to deduce continuum properties from the discrete substructure. In the causal set approach it is straightforward to deduce timelike distances, but surprisingly difficult to extract spacelike distances, because of the unique combination of discreteness with local Lorentz invariance in that approach. We propose a number of methods to overcome this difficulty, one of which reproduces the spatial distance between two points in a finite region of Minkowski space. We provide numerical evidence that this definition can be used to define a `spatial nearest neighbor' relation on a causal set, and conjecture that this can be exploited to define the length of `continuous curves' in causal sets which are approximated by curved spacetime. This provides evidence in support of the ``Hauptvermutung'' of causal sets.Comment: 32 pages, 16 figures, revtex4; journal versio

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.Comment: 20 pages, 10 figures, Typos correcte

Spatial Hypersurfaces in Causal Set Cosmology

Within the causal set approach to quantum gravity, a discrete analog of a spacelike region is a set of unrelated elements, or an antichain. In the continuum approximation of the theory, a moment-of-time hypersurface is well represented by an inextendible antichain. We construct a richer structure corresponding to a thickening of this antichain containing non-trivial geometric and topological information. We find that covariant observables can be associated with such thickened antichains and transitions between them, in classical stochastic growth models of causal sets. This construction highlights the difference between the covariant measure on causal set cosmology and the standard sum-over-histories approach: the measure is assigned to completed histories rather than to histories on a restricted spacetime region. The resulting re-phrasing of the sum-over-histories may be fruitful in other approaches to quantum gravity.Comment: Revtex, 12 pages, 2 figure

Quantum Dynamics without the Wave Function

When suitably generalized and interpreted, the path-integral offers an alternative to the more familiar quantal formalism based on state-vectors, selfadjoint operators, and external observers. Mathematically one generalizes the path-integral-as-propagator to a {\it quantal measure} $\mu$ on the space $\Omega$ of all ``conceivable worlds'', and this generalized measure expresses the dynamics or law of motion of the theory, much as Wiener measure expresses the dynamics of Brownian motion. Within such ``histories-based'' schemes new, and more ``realistic'' possibilities open up for resolving the philosophical problems of the state-vector formalism. In particular, one can dispense with the need for external agents by locating the predictive content of $\mu$ in its sets of measure zero: such sets are to be ``precluded''. But unrestricted application of this rule engenders contradictions. One possible response would remove the contradictions by circumscribing the application of the preclusion concept. Another response, more in the tradition of ``quantum logic'', would accommodate the contradictions by dualizing $\Omega$ to a space of ``co-events'' and effectively identifying reality with an element of this dual space.Comment: plainTeX, 24 pages, no figures. To appear in a special volume of {\it Journal of Physics A: Mathematical and General} entitled ``The Quantum Universe'' and dedicated to Giancarlo Ghirardi on the occasion of his 70th birthday. Most current version is available at http://www.physics.syr.edu/~sorkin/some.papers/ (or wherever my home-page may be

Causal Sets: Quantum gravity from a fundamentally discrete spacetime

In order to construct a quantum theory of gravity, we may have to abandon certain assumptions we were making. In particular, the concept of spacetime as a continuum substratum is questioned. Causal Sets is an attempt to construct a quantum theory of gravity starting with a fundamentally discrete spacetime. In this contribution we review the whole approach, focusing on some recent developments in the kinematics and dynamics of the approach.Comment: 10 pages, review of causal sets based on talk given at the 1st MCCQG conferenc

Dense packing on uniform lattices

We study the Hard Core Model on the graphs ${\rm {\bf \scriptstyle G}}$ obtained from Archimedean tilings i.e. configurations in $\scriptstyle \{0,1\}^{{\rm {\bf G}}}$ with the nearest neighbor 1's forbidden. Our particular aim in choosing these graphs is to obtain insight to the geometry of the densest packings in a uniform discrete set-up. We establish density bounds, optimal configurations reaching them in all cases, and introduce a probabilistic cellular automaton that generates the legal configurations. Its rule involves a parameter which can be naturally characterized as packing pressure. It can have a critical value but from packing point of view just as interesting are the noncritical cases. These phenomena are related to the exponential size of the set of densest packings and more specifically whether these packings are maximally symmetric, simple laminated or essentially random packings.Comment: 18 page