相关论文: Topologies on the future causal completion
The notion of maximal extension of a globally hyperbolic space-time arises from the notion of maximal solutions of the Cauchy problem associated to the Einstein's equations of general relativity. In 1969 Choquet-Bruhat and Geroch proved…
We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical, different from that of the usual Einstein…
This short paper discusses continually updated causal abstractions as a potential direction of future research. The key idea is to revise the existing level of causal abstraction to a different level of detail that is both consistent with…
For a topological space X, let (RX)s := (RX,Ts) be the cartesian product of |X| copies of the real line R with the topology of the uniform convergence on separable subsets of X. In this article we analyze the subspace C(X) of (RX)s of all…
In this work we construct the $\Co^{\r}$-completion and $\Co^{\l}$-completion of a dynamical system. If $X$ is a flow, we construct canonical maps $X\to \Co^{\r}(X)$ and $X\to \Co^{\l}(X)$ and when these maps are homeomorphism we have the…
It is widely known that when $X$ is compact Hausdorff, and when $T: X \to X$ and $f: X \to \mathbb{R}$ are continuous, \begin{equation*} P(T,f) = \sup_{\text{$\mu$: Radon probability}} \left( h_\mu(T) + \int f\, \mathrm{d}\mu \right),…
Can the direction of time and the causal structure of space-time be inferred from operational principles? Causal models and tensor networks offer complementary perspectives: the former encodes cause-effect relations via directed graphs,…
Temporal graphs are a special class of graphs for which a temporal component is added to edges, that is, each edge possesses a set of times at which it is available and can be traversed. Many classical problems on graphs can be translated…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
We analyse the causal structure of the ambient boundary, the conformal infinity of the ambient (Poincar\'e) metric. Using topological tools we show that the only causal relation compatible with the global topology of the boundary spacetime…
Persistent homology is a popular tool in Topological Data Analysis. It provides numerical characteristics of data sets which reflect global geometric properties. In order to be useful in practice, for example for feature generation in…
We study a topology on a space of functions, called sticking topology, with the property to be the weakest among the topologies preserving continuity. In suitable frameworks, this topology preserves borelianity, local integrability, right…
The dS/CFT proposal of Anninos, Hartman, and Strominger relates quantum Vasiliev gravity in dS_4 to a large N vector theory in three dimensions. We use this proposal to compute the Wheeler-de Witt wave function of a universe having a…
By definition a spacetime is stably causal if it is possible to widen the light cones all over the spacetime without spoiling causality. We prove that if the spacetime is at least non-total imprisoning then it is stably causal provided the…
For a Tychonoff space $X$, we denote by $C_p(X)$ the space of all real-valued continuous functions on $X$ with the topology of pointwise convergence. We give the functional characterization of the covering property of Hurewicz.
The topologies of event horizons are investigated. Considering the existence of the endpoint of the event horizon, it cannot be differentiable. Then there are the new possibilities of the topology of the event horizon though they are…
The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph…
The group of homeomorphisms of the closed interval that are absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $\tau_{ac}$. We show that, under mild conditions on a…
A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous…
We consider the makespan minimization coupled-tasks problem in presence of compatibility constraints with a specified topology. In particular, we focus on stretched coupled-tasks, i.e. coupled-tasks having the same sub-tasks execution time…