There are quantum solutions for computational problems that make use of interference at some stage in the algorithm. These stages can be mapped into the physical setting of a single particle travelling through a many-armed interferometer. There has been recent foundational interest in theories beyond quantum theory. Here, we present a generalized formulation of computation in the context of a many-armed interferometer, and explore how theories can differ from quantum theory and still perform distributed calculations in this set-up. We shall (...) see that quaternionic quantum theory proves a suitable candidate, whereas box-world does not. We also find that a classical hidden variable model first presented by Spekkens : 32100, 2007) can also be used for this type of computation due to the epistemic restriction placed on the hidden variable. (shrink)

An interesting link between two very different physical aspects of quantum mechanics is revealed; these are the absence of third-order interference and Tsirelson’s bound for the nonlocal correlations. Considering multiple-slit experiments—not only the traditional configuration with two slits, but also configurations with three and more slits—Sorkin detected that third-order (and higher-order) interference is not possible in quantum mechanics. The EPR experiments show that quantum mechanics involves nonlocal correlations which are demonstrated in a violation of the Bell or CHSH inequality, but (...) are still limited by a bound discovered by Tsirelson. It now turns out that Tsirelson’s bound holds in a broad class of probabilistic theories provided that they rule out third-order interference. A major characteristic of this class is the existence of a reasonable calculus of conditional probability or, phrased more physically, of a reasonable model for the quantum measurement process. (shrink)

Energy is a crucial concept within classical and quantum physics. An essential tool to quantify energy is the Hamiltonian. Here, we consider how to define a Hamiltonian in general probabilistic theories—a framework in which quantum theory is a special case. We list desiderata which the definition should meet. For 3-dimensional systems, we provide a fully-defined recipe which satisfies these desiderata. We discuss the higher dimensional case where some freedom of choice is left remaining. We apply the definition to example toy (...) theories, and discuss how the quantum notion of time evolution as a phase between energy eigenstates generalises to other theories. (shrink)

We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying four natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in such theories which is a necessary condition for the oracle model to be well-defined. The four principles are: causality, purification, strong symmetry, and informationally consistent composition. Sorkin has (...) defined a hierarchy of conceivable interference behaviours, where the order in the hierarchy corresponds to the number of paths that have an irreducible interaction in a multi-slit experiment. Given our oracle model, we show that if a classical computer requires at least n queries to solve a learning problem, because fewer queries provide no information about the solution, then the corresponding “no-information” lower bound in theories lying at the kth level of Sorkin’s hierarchy is \. This lower bound leaves open the possibility that quantum oracles are less powerful than general probabilistic oracles, although it is not known whether the lower bound is achievable in general. Hence searches for higher-order interference are not only foundationally motivated, but constitute a search for a computational resource that might have power beyond that offered by quantum computation. (shrink)

We present a new experimental approach using a three-path interferometer and find a tighter empirical upper bound on possible violations of Born’s Rule. A deviation from Born’s rule would result in multi-order interference. Among the potential systematic errors that could lead to an apparent violation we specifically study the nonlinear response of our detectors and present ways to calibrate this error in order to obtain an even better bound.

In quantum mechanics, the selfadjoint Hilbert space operators play a triple role as observables, generators of the dynamical groups and statistical operators defining the mixed states. One might expect that this is typical of Hilbert space quantum mechanics, but it is not. The same triple role occurs for the elements of a certain ordered Banach space in a much more general theory based upon quantum logics and a conditional probability calculus (which is a quantum logical model of the Lüders-von Neumann (...) measurement process). It is shown how positive groups, automorphism groups, Lie algebras and statistical operators emerge from one major postulate—the non-existence of third-order interference [third-order interference and its impossibility in quantum mechanics were discovered by Sorkin (Mod Phys Lett A 9:3119–3127, 1994)]. This again underlines the power of the combination of the conditional probability calculus with the postulate that there is no third-order interference. In two earlier papers, its impact on contextuality and nonlocality had already been revealed. (shrink)