Search

In the paper "Quantum theory cannot consistently describe the use of itself" by D. Frauchiger and R. Renner an atempt is made at proving a "no-go theorem" that states that either quantum theory cannot be universally applied, even to macroscopic systems, or some very intuitive properties concerning recursive reasoning and uniquenes of physical values must be false. In this paper, we give a concise description of the paper's result, and expose a detail in the proof., Comment: 3 pages

Physical foundations for relativistic spacetimes are revisited, in order to check at what extent Finsler spacetimes lie in their framework. Arguments based on inertial observers (as in the foundations of Special Relativity and Classical Mechanics) are shown to correspond with a double linear approximation in the measurement of space and time. While General Relativity appears by dropping the first linearization, Finsler spacetimes appear by dropping the second one. The classical Ehlers-Pirani-Schild approach is carefully discussed and shown to be compatible with the Lorentz-Finsler case. The precise mathematical definition of Finsler spacetime is discussed by using the {\em space of observers}. Special care is taken in some issues such as: the fact that a Lorentz-Finsler metric would be physically measurable only on the causal directions for a cone structure, the implications for models of spacetimes of some apparently innocuous hypotheses on differentiability, or the possibilities of measurement of a varying speed of light., Comment: v2: 47 pages, new section 5.2.5, added seven references and minor changes

Absolutely maximally entangled, AME, states are pure multipartite states that give rise to the maximally mixed states when half or more of the parties are traced out. AME states find applications in fields like teleportation or quantum secret sharing, and the problem of finding conditions on their existence has been considered in a number of papers. We consider here AME states of minimal support, that are simpler to analyse. An equivalence with coding theory gives a sufficient condition for their existence, that the number of sites be equal to the local dimension plus one, when the local dimension $d$ is a power of a prime number. In this paper, an equivalence with latin hypercubes is used to prove that the above sufficient condition fails in the first case in which the local dimension is not a prime power, $d=6$. Results for other values of $d$ are also given., Comment: 7 pages

We study the most general solution for affine connections that are compatible with the variational principle in the Palatini formalism for the Einstein-Hilbert action (with possible minimally coupled matter terms). We find that there is a family of solutions generalising the Levi-Civita connection, characterised by an arbitrary, non-dynamical vector field ${\cal A}_\mu$. We discuss the mathematical properties and the physical implications of this family and argue that, although there is a clear mathematical difference between these new Palatini connections and the Levi-Civita one, both unparametrised geodesics and the Einstein equation are shared by all of them. Moreover, the Palatini connections are characterised precisely by these two properties, as well as by other properties of its parallel transport. Based on this, we conclude that physical effects associated to the choice of one or the other will not be distinguishable, at least not at the level of solutions or test particle dynamics. We propose a geometrical interpretation for the existence and unobservability of the new solutions., Comment: 12 pages, no figures. v2: Minor changes, references added. v3: New references and discussions taken into account. v4: Mayor changes, new references and discussions taken into account. v5: Minor changes, version to published in Phys. Lett. B

In this paper we prove that no absolutely maximally entangled, AME, state with minimal support exists with 7 sites and 5 levels. General AME states are pure multipartite states that, when reduced to half or less of the sites, the maximum entropy mixed state is obtained. They have found applications in teleportation and quantum secret sharing, and finding conditions for their existence is a well known open problem. We consider the version of this problem for minimally supported AME states. We single out known both sufficient and necessary conditions in that case. From our negative result, we show that the necessary condition is not sufficient. The proof uses a recent result on the theory of general, nonlinear, classical codes., Comment: 5 pages

In a recent article, M. Tegmark poses the hypothesis that our known universe is a ``baggage free'' mathematical structure among many other possible ones, which also correspond to other physical universes --Mathematical Universe Hypothesis, MUH. Naturally, questions arise, such as how to obtain the physical properties of our world from the mathematical structure, or how many possibilities exist for a Universe minimally similar to ours. In this letter we present some results which can be regarded as a strengthening of MUH, as they give some hints on the derivation of spacetime in current physics from a baggage free mathematical structure. Concretely, we argue that the set of mathematical structures which can be interpreted as a description of a spacetime is drastically reduced, if one admits some natural postulates on minimal symmetry. Furthermore, the apparently very particular form of classical Galilei-Newton and relativistic spacetimes, is not arbitrary and cannot be regarded as ``two possibilities among arbitrarily many others''. In fact, such theories are determined by a single mathematical structure which only permits four possible types of spacetimes. Finally, we show how the minimal postulates on symmetry can be endowed with a simple physical interpretation, i.e., they acquire ``baggage'' in a natural way., Comment: 7 pages, latex

The classical definition of {\em global hyperbolicity} for a spacetime $(M,g)$ comprises two conditions: (A) compactness of the diamonds $J^+(p)\cap J^-(q)$, and (B) strong causality. Here we show that condition (B) can be replaced just by causality. In fact, we show first that the classical definition of causal simplicity (which impose to be distinguishing, apart from the closedness of $J^+(p)$, $J^-(q)$) can be weakened in causal instead of distinguishing. So, the full consistency of the causal ladder (recently proved by the authors in a definitive way) yields directly the result., Comment: 5 pages, no figures, latex. This paper includes the results concerning global hyperbolicity in previous gr-qc/0610136 (which will be withdrawn)

Recently, folk questions on the smoothability of Cauchy hypersurfaces and time functions of a globally hyperbolic spacetime M, have been solved. Here we give further results, applicable to several problems: (1) Any compact spacelike acausal submanifold H with boundary can be extended to a spacelike Cauchy hypersurface S. If H were only achronal, counterexamples to the smooth extension exist, but a continuous extension (in fact, valid for any compact achronal subset K) is still possible. (2) Given any spacelike Cauchy hypersurface S, a Cauchy temporal function T (i.e., a smooth function with past-directed timelike gradient everywhere, and Cauchy hypersurfaces as levels) with S equal to one of the levels, is constructed -thus, the spacetime splits orthogonally as $R \times S$ in a canonical way. Even more, accurate versions of this result are obtained if the Cauchy hypersurface S were non-spacelike (including non-smooth, or achronal but non-acausal)., Comment: This paper includes all the results in the two previous ones gr-qc/0507018 and gr-qc/0511016 (which will be withdrawn). 15 pages, 1 figure

This paper has been withdrawn because the new one gr-qc/0512095 includes all its results (as well as those in gr-qc/0507018), in a clearer way., Comment: This paper has been withdrawn; the new paper gr-qc/0512095 replaces both, the present one and gr-qc/0507018 (including all the results in a clearer way)

This paper has been withdrawn because the new one gr-qc/0512095 includes all its results (as well as those in gr-qc/0511016) in a clearer way., Comment: This paper has been withdrawn; the new paper gr-qc/0512095 replaces both, the present one and gr-qc/0511016

Geroch's theorem about the splitting of globally hyperbolic spacetimes is a central result in global Lorentzian Geometry. Nevertheless, this result was obtained at a topological level, and the possibility to obtain a metric (or, at least, smooth) version has been controversial since its publication in 1970. In fact, this problem has remained open until a definitive proof, recently provided by the authors. Our purpose is to summarize the history of the problem, explain the smooth and metric splitting results (including smoothability of time functions in stably causal spacetimes), and sketch the ideas of the solution., Comment: 11 pages, Contribution to Proc. II Int. Meeting on Lorentzian Geometry, Murcia (Spain), November 12-14, 2003

The folk questions in Lorentzian Geometry, which concerns the smoothness of time functions and slicings by Cauchy hypersurfaces, are solved by giving simple proofs of: (a) any globally hyperbolic spacetime $(M,g)$ admits a smooth time function $\tau$ whose levels are spacelike Cauchy hyperfurfaces and, thus, also a smooth global splitting $M= \R \times {\cal S}$, $g= - \beta(\tau,x) d\tau^2 + \bar g_\tau $, (b) if a spacetime $M$ admits a (continuous) time function $t$ (i.e., it is stably causal) then it admits a smooth (time) function $\tau$ with timelike gradient $\nabla \tau$ on all $M$., Comment: 9 pages, Latex, to appear in Commun. Math. Phys. Some comments on time functions and stably causal spacetimes are incorporated, and referred to gr-qc/0411143 for further details

Given a globally hyperbolic spacetime $M$, we show the existence of a {\em smooth spacelike} Cauchy hypersurface $S$ and, thus, a global diffeomorphism between $M$ and $\R \times S$., Comment: Minor tipographical corrections; 12 pages, Latex; to appear in Commun. Math. Phys

The following three geometrical structures on a manifold are studied in detail: (1) Leibnizian: a non-vanishing 1-form $\Omega$ plus a Riemannian metric $\h$ on its annhilator vector bundle. In particular, the possible dimensions of the automorphism group of a Leibnizian G-structure are characterized. (2) Galilean: Leibnizian structure endowed with an affine connection $\nabla$ (gauge field) which parallelizes $\Omega$ and $\h$. Fixed any vector field of observers Z ($\Omega (Z) = 1$), an explicit Koszul--type formula which reconstruct bijectively all the possible $\nabla$'s from the gravitational ${\cal G} = \nabla_Z Z$ and vorticity $\omega = rot Z/2$ fields (plus eventually the torsion) is provided. (3) Newtonian: Galilean structure with $\h$ flat and a field of observers Z which is inertial (its flow preserves the Leibnizian structure and $\omega = 0$). Classical concepts in Newtonian theory are revisited and discussed., Comment: Minor errata corrected, to appear in J. Math. Phys.; 22 pages including a table, Latex