Related papers: Proof of the Thin Sandwich Conjecture
To prove that a measure, linearly representable by means of a finite set of nonnegative matrices $\mathcal M$, has the weak-Gibbs property, one check the uniform convergence (on $\mathcal M^\mathbb N$) of the sequence of vectors…
The Einstein theory of general relativity provides a peculiar example of classical field theory ruled by non-linear partial differential equations. A number of supplementary conditions (more frequently called gauge conditions) have also…
A longstanding question in superstring/$M$ theory is does it predict supersymmetry below the string scale? We formulate and discuss a necessary condition for this to be true; this is the mathematical conjecture that all stable, compact…
We provide a general contractibility criterion for subsets of Riemannian metrics on the disc. For instance, this result applies to the space of metrics that have positive Gauss curvature and make the boundary circle convex (or geodesic).…
The aim of this paper is twofold. The first is to give a quantitative version of Schmidt's subspace theorem for arbitrary families of higher degree polynomials. The second is to give a generalization of the subspace theorem for arbitrary…
In this paper, we begin by constructing global linear maps on (n-2)-dimensional subspaces, derived from the local continuity of linear transformations among central sections of a convex body. Using these linear maps, we subsequently…
A theory $T$ is said to be relatively decidable if for every model of $T$, one can compute the elementary diagram of that model from its atomic diagram together with $T$. We verify a conjecture of Chubb, Miller, and Solomon by showing that…
The Strong Cosmic Censorship conjecture states that for generic initial data to Einstein's field equations, the maximal globally hyperbolic development is inextendible. We prove this conjecture in the class of orthogonal Bianchi class B…
The Ham-Sandwich theorem is a well-known result in geometry. It states that any $d$ mass distributions in $\mathbb{R}^d$ can be simultaneously bisected by a hyperplane. The result is tight, that is, there are examples of $d+1$ mass…
We use the formulation of thermodynamics of gravity as proposed by Clifton, Ellis and Tavakol on the gravitational collapse of dustlike matter, that violates the strong or weak cosmic censorship conjecture depending on the initial data. We…
Possibilities emerging out of the dynamical evolutions of collapsing systems are addressed in this thesis through analytical investigations of the highly non-linear Einstein Field Equations. Studies of exact solutions and their properties,…
We use the equivariant $\mu$-bubbles technique to prove that for any compact manifold $M^n$ with non-empty boundary, $n\in\{3,5,6\}$, the Yamabe invariant of $M^n$ is positive if and only if the Yamabe invariant of $M^n\times S^1$ is…
The construction of conformally invariant gauge conditions for Maxwell and Einstein theories on a manifold M is found to involve two basic ingredients. First, covariant derivatives of a linear gauge (e.g. Lorenz or de Donder), completely…
Zilber's Exponential Algebraic Closedness conjecture (also known as Zilber's Nullstellensatz) gives conditions under which a complex algebraic variety should intersect the graph of the exponential map of a semiabelian variety. We prove the…
In this paper, we propose the study of a conjecture whose affirmative solution would provide an example of a non-convex Chebyshev set in an infinite-dimensional real Hilbert space.
We prove several cases of Zimmer's conjecture for actions of higher-rank cocompact lattices on low dimensional manifolds. For example, if $\Gamma$ is a cocompact lattice in $\mathrm{Sl}(n, \mathbb R)$, $M$ is a compact manifold, and…
We extend the notion of Heyting algebra to a notion of truth values algebra and prove that a theory is consistent if and only if it has a B-valued model for some non trivial truth values algebra B. A theory that has a B-valued model for all…
We prove a global well-posedness and asymptotic convergence theorem for the \((3+1)\)-dimensional vacuum Einstein equations with positive cosmological constant \(\Lambda\) on globally hyperbolic spacetimes \(\widetilde M \cong M \times…
We prove that the "generic condition" used in singularity theorems of general relativity is generic in the space of Lorentzian metrics on a given manifold, in the sense that it is satisfied for all metrics in a residual set in the Whitney…
The formalism of generalized probabilistic theories (GPTs) was originally developed as a way to characterize the landscape of conceivable physical theories. Thus, the GPT describing a given physical theory necessarily includes all…