Related papers: Closed Timelike Curves in Relativistic Computation
In this paper, we consider some causality violating solutions in the curvature-squared gravity in order to examine whether closed timelike curves (CTCs) are allowed in these models. These aspects are studied in terms of the G\"odel,…
The possibility has been recently demonstrated to manufacture (nonrelativistic, Hamiltonian) many-body problems which feature an isochronous time evolution with an arbitrarily assigned period $T$ yet mimic with good approximation, or even…
In this article, we review the use of numerical techniques to obtain solutions for the quantum Hamiltonian constraint in loop quantum cosmology (LQC). First, we summarize the basic features of LQC, and describe features of the constraint…
Recently, black hole and brane production at CERN's Large Hadron Collider (LHC) has been widely discussed. We suggest that there is a possibility to test causality at the LHC. We argue that if the scale of quantum gravity is of the order of…
In orthodox quantum theory the observables of spacelike separated quantum systems commute. I shall call this the commutation constraint. It severely limits quantum theory's explanatory power. For instance, the constraint cannot be met in…
The Lorentzian length of a timelike curve connecting both endpoints of a classical computation is a function of the path taken through Minkowski spacetime. The associated runtime difference is due to time-dilation: the phenomenon whereby an…
According to the Church-Turing Thesis (CTT), effective formal behaviours can be simulated by Turing machines; this has naturally led to speculation that physical systems can also be simulated computationally. But is this wider claim true,…
This paper concerns the motion of a relativistic string in a curved space-time. As a general framework, we first analyze relativistic string equations, i.e., the basic equations for the motion of a one-dimensional extended object in a…
It is known that there exist non-local correlations that respect no-signaling criterion, but violate Bell-type inequalities more than quantum-mechanical correlations. Such super quantum correlations were introduced as the Popescu-Rohrlich…
We study timelike and conventional entanglement entropy as potential probes of black hole singularities via the AdS/CFT correspondence. Using an analytically tractable example, we find characteristic behavior of holographic timelike…
Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision problems such as model checking and satisfiability. In these…
We solve the problem of computing characteristic numbers of rational space curves with a cusp, where there may or may not be a condition on the node. The solution is given in the form of effective recursions. We give explicit formulas when…
Dynamical black-hole scenarios have been developed in loop quantum gravity in various ways, combining results from mini and midisuperspace models. In the past, the underlying geometry of space-time has often been expressed in terms of line…
We present a simple unifying treatment of a broad class of applications from statistical mechanics, econometrics, mathematical finance, and insurance mathematics, where (possibly subordinated) L\'evy noise arises as a scaling limit of some…
It is not known what the limitations are on using quantum computation to speed up classical computation. An example would be the power to speed up PSPACE-complete computations. It is also not known what the limitations are on the duration…
We develop a framework to simulate quantum field theories (QFTs) with boundaries in $(1+1)$-dimenmsional curved spacetimes by employing open spin systems. Building upon our previous work that established a mapping from spin systems to QFTs…
As is well known, constant mean curvature (CMC) spacelike hypersurfaces play an important role in solving the Einstein equations, both in solving the contraints and the evolution equations. In this paper we review the CMC existence result…
We study the approximability of an existing framework for clustering edge-colored hypergraphs, which is closely related to chromatic correlation clustering and is motivated by machine learning and data mining applications where the goal is…
In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent executions of a system. Probabilistic hyperproperties express…
The conflict between quantum theory and the theory of relativity is exemplified in their treatment of time. We examine the ways in which their conceptions differ, and describe a semiclassical clock model combining elements of both theories.…