Related papers: Reconstruction of Lorentzian manifolds from bounda…
We prove that the topology, smooth structure, and metric of a compact Lorentzian manifold with boundary is uniquely determined by data at the boundary. The data consists of the lengths and directions of future-directed once-broken geodesics…
We prove that the Dirichlet-to-Neumann map of the linear wave equation determines the topological, differentiable and conformal structure of the underlying Lorentzian manifold, under mild technical assumptions. With more stringent geometric…
In this work, we prove the following three rigidity results: (i) in a real-analytic globally hyperbolic spacetime $(M,g)$ without boundary, the time separation function restricted to a thin exterior layer of a unknown compact subset $K…
Let $\sigma$ be the scattering relation on a compact Riemannian manifold $M$ with non-necessarily convex boundary, that maps initial points of geodesic rays on the boundary and initial directions to the outgoing point on the boundary and…
The space of light rays $\mathcal{N}$ of a conformal Lorentz manifold $(M,\mathcal{C})$ is, under some topological conditions, a manifold whose basic elements are unparametrized null geodesics. This manifold $\mathcal{N}$, strongly inspired…
We consider an inverse problem for a non-linear hyperbolic equation. We show that conformal structure of a Lorentzian manifold can be determined by the source-to-solution map evaluated along a single timelike curve. We use the microlocal…
We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are: 1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $\mu$. Under natural…
For a Riemannian manifold $(M,g)$ with strictly convex boundary $\partial M$, the lens data consists in the set of lengths of geodesics $\gamma$ with endpoints on $\partial M$, together with their endpoints $(x_-,x_+)\in \partial M\times…
We address the question of whether a Riemannian manifold-with-boundary (M,g) in dimension two is uniquely determined from knowledge of the distances between points on its boundary. An affirmative answer is called boundary rigidity for…
Our outcome is structured in the following sequence: (1) a general result for indefinite Finslerian manifolds with boundary $(M,L)$ showing the equivalence between local and infinitesimal (time, light or space) convexities for the boundary…
Some foundational results on the geometry of Lorentz-Minkowski spaces and Finsler spacetimes are obtained. We prove that the local light cone structure of a reversible Finsler spacetime with more than two dimensions is topologically the…
We consider inverse problems for the Einstein equation with a time-depending metric on a 4-dimensional globally hyperbolic Lorentzian manifold $(M,g)$. We formulate the concept of active measurements for relativistic models. We do this by…
In a general Lorentzian manifold M, the past lightcone of a point is a proper subset of M that does not carry enough information to determine the rest of M. That said, if M is a globally hyperbolic Cauchy development of vacuum initial data…
Fermat's principle is fully generalized to the case where a smooth interface separates two cone structures -- Lorentz-Finsler lightcones -- representing wave propagation in a potentially inhomogeneous, anisotropic, time-dependent and…
We prove boundary controllability results for wave equations (with lower-order terms) on Lorentzian manifolds with time-dependent geometry satisfying suitable curvature bounds. The main ingredient is a novel global Carleman estimate on…
We consider how a closed Riemannian manifold $M$ and its metric tensor $g$ can be approximately reconstructed from local distance measurements. Moreover, we consider an inverse problem of determining $(M,g)$ from limited knowledge on the…
We consider the reflection of light, from a stationary source, off of a uniformly moving flat mirror, and derive the relativistic reflection law using well-known properties of conic sections. The effective surface of reflection (ESR) is…
We consider an inverse source problem for partially coherent light propagating in the Fresnel regime. The data is the coherence of the field measured away from the source. The reconstruction is based on a minimum residue formulation, which…
Given a smooth non-trapping compact manifold with strictly con- vex boundary, we consider an inverse problem of reconstructing the manifold from the scattering data initiated from internal sources. This data consist of the exit directions…
Assume that $M$ is a compact Riemannian manifold of bounded geometry given by restrictions on its diameter, Ricci curvature and injectivity radius. Assume we are given, with some error, the first eigenvalues of the Laplacian $\Delta_g$ on…