The Random Walk in Generalized Quantum Theory

One can view quantum mechanics as a generalization of classical probability theory that provides for pairwise interference among alternatives. Adopting this perspective, we ``quantize'' the classical random walk by finding, subject to a certain condition of ``strong positivity'', the most general Markovian, translationally invariant ``decoherence functional'' with nearest neighbor transitions.Comment: 25 pages, no figure

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

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

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

Combinatorial Markov chains on linear extensions

We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset of size n. This gives rise to a strongly connected graph on L. By assigning weights to the edges of the graph in two different ways, we study two Markov chains, both of which are irreducible. The stationary state of one gives rise to the uniform distribution, whereas the weights of the stationary state of the other has a nice product formula. This generalizes results by Hendricks on the Tsetlin library, which corresponds to the case when the poset is the anti-chain and hence L=S_n is the full symmetric group. We also provide explicit eigenvalues of the transition matrix in general when the poset is a rooted forest. This is shown by proving that the associated monoid is R-trivial and then using Steinberg's extension of Brown's theory for Markov chains on left regular bands to R-trivial monoids.Comment: 35 pages, more examples of promotion, rephrased the main theorems in terms of discrete time Markov chain

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

Causal structures and causal boundaries

We give an up-to-date perspective with a general overview of the theory of causal properties, the derived causal structures, their classification and applications, and the definition and construction of causal boundaries and of causal symmetries, mostly for Lorentzian manifolds but also in more abstract settings.Comment: Final version. To appear in Classical and Quantum Gravit

Optimal strategies for controlling riverine tsetse flies using targets: a modelling study

Background: Tsetse flies occur in much of sub-Saharan Africa where they transmit the trypanosomes that cause the diseases of sleeping sickness in humans and nagana in livestock. One of the most economical and effective methods of tsetse control is the use of insecticide-treated screens, called targets, that simulate hosts. Targets have been ~1m2, but recently it was shown that those tsetse that occupy riverine situations, and which are the main vectors of sleeping sickness, respond well to targets only ~0.06m2. The cheapness of these tiny targets suggests the need to reconsider what intensity and duration of target deployments comprise the most cost-effective strategy in various riverine habitats. Methodology/Principal Findings: A deterministic model, written in Excel spreadsheets and managed by Visual Basic for Applications, simulated the births, deaths and movement of tsetse confined to a strip of riverine vegetation composed of segments of habitat in which the tsetse population was either selfsustaining, or not sustainable unless supplemented by immigrants. Results suggested that in many situations the use of tiny targets at high density for just a few months per year would be the most cost-effective strategy for rapidly reducing tsetse densities by the ~90% expected to have a great impact on the incidence of sleeping sickness. Local elimination of tsetse becomes feasible when targets are deployed in isolated situations, or where the only invasion occurs from populations that are not self-sustaining. Conclusion/Significance: Seasonal use of tiny targets deserves field trials. The ability to recognise habitat that contains tsetse populations which are not self-sustaining could improve the planning of all methods of tsetse control, against any species, in riverine, savannah or forest situations. Criteria to assist such recognition are suggested