Related papers: Categorical Semantics for Time Travel
We present a modification to a 'rotating' version of the dynamical Alcubierre spacetime, which was previously shown to permit closed timelike curves. We find that if the effective rotation rate is made dependent on the spacetime coordinates…
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
We analyze how the presence of closed timelike curves (CTCs) characterizing a time machine can be discerned by placing a local particle detector in a region of spacetime which is causally disconnected from the CTCs. Our study shows that not…
Functional reactive programming (FRP) makes it possible to express temporal aspects of computations in a declarative way. Recently we developed two kinds of categorical models of FRP: abstract process categories (APCs) and concrete process…
Many solutions of Einstein's field equations contain closed timelike curves (CTC). Some of these solutions refer to ordinary materials in situations which might occur in the laboratory, or in astrophysics. It is argued that, in default of a…
We review some of our recent results (with collaborators) on information processing in an ordered linear spaces framework for probabilistic theories. These include demonstrations that many "inherently quantum" phenomena are in reality quite…
Time-reversal symmetry is a prevalent feature of microscopic physics, including operational quantum theory and classical general relativity. Previous works have studied indefinite causal structure using the language of operational quantum…
A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This…
This paper reports on ongoing research investigating more expressive approaches to spatial-temporal trajectory clustering. Spatial-temporal data is increasingly becoming universal as a result of widespread use of GPS and mobile devices,…
General relativity allows solutions exhibiting closed timelike curves. Time travel generates paradoxes and quantum mechanics generalizations were proposed to solve those paradoxes. The implications of self-consistent interactions on acausal…
The existence of time machines, understood as spacetime constructions exhibiting physically realised closed timelike curves (CTCs), would raise fundamental problems with causality and challenge our current understanding of classical and…
We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…
This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized…
Connectionist temporal classification (CTC) is commonly adopted for sequence modeling tasks like speech recognition, where it is necessary to preserve order between the input and target sequences. However, CTC is only applied to…
Temporal graphs represent interactions between entities over time. These interactions may be direct, a contact between two vertices at some time instant, or indirect, through sequences of contacts called journeys. Deciding whether an entity…
The statistical properties of quantum transport through a chaotic cavity are encoded in the traces $\T={\rm Tr}(tt^\dag)^n$, where $t$ is the transmission matrix. Within the Random Matrix Theory approach, these traces are random variables…
A new non-perturbative approach to quantum field theory --- D-theory --- is proposed, in which continuous classical fields are replaced by discrete quantized variables which undergo dimensional reduction. The 2-d classical O(3) model…
While it is tempting to think of closed timelike curves (CTCs) around rotating bodies such as a black hole as being "caused" by the rotation of the source, Andr\'eka et al. pointed out that the underlying physics is not as straightforward…
Quantum computation with quantum data that can traverse closed timelike curves represents a new physical model of computation. We argue that a model of quantum computation in the presence of closed timelike curves can be formulated which…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…