-
Biholomorphism Rigidity for Transport Twistor Spaces
Authors:
Jan Bohr,
François Monard,
Gabriel P. Paternain
Abstract:
We prove that biholomorphisms between the transport twistor spaces of simple or Anosov surfaces exhibit rigidity: they must be, up to constant rescaling and the antipodal map, the lift of an orientation preserving isometry.
We prove that biholomorphisms between the transport twistor spaces of simple or Anosov surfaces exhibit rigidity: they must be, up to constant rescaling and the antipodal map, the lift of an orientation preserving isometry.
△ Less
Submitted 8 October, 2024;
originally announced October 2024.
-
Local and global blow-downs of transport twistor space
Authors:
Jan Bohr,
François Monard,
Gabriel P. Paternain
Abstract:
Transport twistor spaces are degenerate complex $2$-dimensional manifolds $Z$ that complexify transport problems on Riemannian surfaces, appearing e.g.~in geometric inverse problems. This article considers maps $β\colon Z\to \mathbb{C}^2$ with a holomorphic blow-down structure that resolve the degeneracy of the complex structure and allow to gain insight into the complex geometry of $Z$. The main…
▽ More
Transport twistor spaces are degenerate complex $2$-dimensional manifolds $Z$ that complexify transport problems on Riemannian surfaces, appearing e.g.~in geometric inverse problems. This article considers maps $β\colon Z\to \mathbb{C}^2$ with a holomorphic blow-down structure that resolve the degeneracy of the complex structure and allow to gain insight into the complex geometry of $Z$. The main theorems provide global $β$-maps for constant curvature metrics and their perturbations and local $β$-maps for arbitrary metrics, thereby proving a version of the classical Newlander--Nirenberg theorem for degenerate complex structures.
△ Less
Submitted 28 March, 2025; v1 submitted 9 March, 2024;
originally announced March 2024.
-
Invariant distributions and the transport twistor space of closed surfaces
Authors:
Jan Bohr,
Thibault Lefeuvre,
Gabriel P. Paternain
Abstract:
The purpose of this paper is to study transport equations on the unit tangent bundle of closed oriented Riemannian surfaces and to connect these to the transport twistor space of the surface (a complex surface naturally tailored to the geodesic vector field). We show that fibrewise holomorphic distributions invariant under the geodesic flow - which play an important role in tensor tomography on su…
▽ More
The purpose of this paper is to study transport equations on the unit tangent bundle of closed oriented Riemannian surfaces and to connect these to the transport twistor space of the surface (a complex surface naturally tailored to the geodesic vector field). We show that fibrewise holomorphic distributions invariant under the geodesic flow - which play an important role in tensor tomography on surfaces - form a unital algebra, that is, multiplication of such distributions is well-defined and continuous. We also exhibit a natural bijective correspondence between fibrewise holomorphic invariant distributions and genuine holomorphic functions on twistor space with polynomial blowup on the boundary of the twistor space. Eventually, when the surface is Anosov, we classify holomorphic line bundles over twistor space which are smooth up to the boundary. As a byproduct of our analysis, we obtain a quantitative version of a result of Flaminio, asserting that invariant distributions of the geodesic flow of a positively-curved metric on the 2-sphere are determined by their zeroth and first Fourier modes.
△ Less
Submitted 26 January, 2024; v1 submitted 18 January, 2023;
originally announced January 2023.
-
A Bernstein--von-Mises theorem for the Calderón problem with piecewise constant conductivities
Authors:
Jan Bohr
Abstract:
This note considers a finite dimensional statistical model for the Calderón problem with piecewise constant conductivities. In this setting it is shown that injectivity of the forward map and its linearisation suffice to prove the invertibility of the information operator, resulting in a Bernstein--von-Mises theorem and optimality guarantees for estimation by Bayesian posterior means.
This note considers a finite dimensional statistical model for the Calderón problem with piecewise constant conductivities. In this setting it is shown that injectivity of the forward map and its linearisation suffice to prove the invertibility of the information operator, resulting in a Bernstein--von-Mises theorem and optimality guarantees for estimation by Bayesian posterior means.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
The Transport Oka-Grauert Principle for Simple Surfaces
Authors:
Jan Bohr,
Gabriel P. Paternain
Abstract:
This article considers the attenuated transport equation on Riemannian surfaces in the light of a novel twistor correspondence under which matrix attenuations correspond to holomorphic vector bundles on a complex surface. The main result is a transport version of the classical Oka-Grauert principle and states that the twistor space of a simple surface supports no nontrivial holomorphic vector bund…
▽ More
This article considers the attenuated transport equation on Riemannian surfaces in the light of a novel twistor correspondence under which matrix attenuations correspond to holomorphic vector bundles on a complex surface. The main result is a transport version of the classical Oka-Grauert principle and states that the twistor space of a simple surface supports no nontrivial holomorphic vector bundles. This solves an open problem on the existence of matrix holomorphic integrating factors on simple surfaces and is applied to give a range characterisation for the non-Abelian X-ray transform. The main theorem is proved using the inverse function theorem of Nash and Moser and the required tame estimates are obtained from recent results on the injectivity of attenuated X-ray transforms and microlocal analysis of the associated normal operators.
△ Less
Submitted 17 April, 2023; v1 submitted 11 August, 2021;
originally announced August 2021.
-
On log-concave approximations of high-dimensional posterior measures and stability properties in non-linear inverse problems
Authors:
Jan Bohr,
Richard Nickl
Abstract:
The problem of efficiently generating random samples from high-dimensional and non-log-concave posterior measures arising from nonlinear regression problems is considered. Extending investigations from arXiv:2009.05298, local and global stability properties of the model are identified under which such posterior distributions can be approximated in Wasserstein distance by suitable log-concave measu…
▽ More
The problem of efficiently generating random samples from high-dimensional and non-log-concave posterior measures arising from nonlinear regression problems is considered. Extending investigations from arXiv:2009.05298, local and global stability properties of the model are identified under which such posterior distributions can be approximated in Wasserstein distance by suitable log-concave measures. This allows the use of fast gradient based sampling algorithms, for which convergence guarantees are established that scale polynomially in all relevant quantities (assuming `warm' initialisation). The scope of the general theory is illustrated in a non-linear inverse problem from integral geometry for which new stability results are derived.
△ Less
Submitted 17 April, 2023; v1 submitted 17 May, 2021;
originally announced May 2021.
-
Stability of the non-abelian $X$-ray transform in dimension $\ge 3$
Authors:
Jan Bohr
Abstract:
Non-abelian $X$-ray tomography seeks to recover a matrix potential $Φ:M\rightarrow \mathbb{C}^{m\times m}$ in a domain $M$ from measurements of its so called scattering data $C_Φ$ at $\partial M$. For $\dim M\ge 3$ (and under appropriate convexity and regularity conditions), injectivity of the forward map $Φ\mapsto C_Φ$ was established in [arXiv:1605.07894]. In this article we extend [arXiv:1605.0…
▽ More
Non-abelian $X$-ray tomography seeks to recover a matrix potential $Φ:M\rightarrow \mathbb{C}^{m\times m}$ in a domain $M$ from measurements of its so called scattering data $C_Φ$ at $\partial M$. For $\dim M\ge 3$ (and under appropriate convexity and regularity conditions), injectivity of the forward map $Φ\mapsto C_Φ$ was established in [arXiv:1605.07894]. In this article we extend [arXiv:1605.07894] by proving a Hölder-type stability estimate. As an application we generalise a statistical consistency result for $\dim M =2$ [arXiv:1905.00860] to higher dimensions. The injectivity proof in [arXiv:1605.07894] relies on a novel method by Uhlmann-Vasy [arXiv:1210.2084], which first establishes injectivity in a shallow layer below $\partial M$ and then globalises this by a layer stripping argument. The main technical contribution of this paper is a more quantitative version of these arguments, in particular proving uniform bounds on layer-depth and stability constants.
△ Less
Submitted 27 April, 2021; v1 submitted 18 August, 2020;
originally announced August 2020.
-
The convex hull of a convex space curve with four vertices
Authors:
Jakob Bohr,
Steen Markvorsen,
Matteo Raffaelli
Abstract:
We obtain an upper bound for the volume of the convex hull of a simple closed Frenet curve having exactly four vertices, i.e., four points of vanishing torsion, and lying on the boundary of its convex hull. Moreover, we show that the upper bound is attained when the curve intersects every plane in at most four points, a condition studied by Scherk and Segre in the 1930s. The proof hinges on the fa…
▽ More
We obtain an upper bound for the volume of the convex hull of a simple closed Frenet curve having exactly four vertices, i.e., four points of vanishing torsion, and lying on the boundary of its convex hull. Moreover, we show that the upper bound is attained when the curve intersects every plane in at most four points, a condition studied by Scherk and Segre in the 1930s. The proof hinges on the fact that, under the four-vertex assumption, the convex hull is a union of line segments, and so it admits an elementary parametrization. We also comment on a question posed by Newson in 1899.
△ Less
Submitted 20 January, 2025; v1 submitted 29 May, 2018;
originally announced May 2018.
-
Cartan ribbonization and a topological inspection
Authors:
Matteo Raffaelli,
Jakob Bohr,
Steen Markvorsen
Abstract:
We develop the concept of Cartan ribbons together with a rolling-based method to ribbonize and approximate any given surface in space by intrinsically flat ribbons. The rolling requires that the geodesic curvature along the contact curve on the surface agrees with the geodesic curvature of the corresponding Cartan development curve. Essentially, this follows from the orientational alignment of the…
▽ More
We develop the concept of Cartan ribbons together with a rolling-based method to ribbonize and approximate any given surface in space by intrinsically flat ribbons. The rolling requires that the geodesic curvature along the contact curve on the surface agrees with the geodesic curvature of the corresponding Cartan development curve. Essentially, this follows from the orientational alignment of the two co-moving Darboux frames during rolling. Using closed contact center curves we obtain closed approximating Cartan ribbons that contribute zero to the total curvature integral of the ribbonization. This paves the way for a particularly simple topological inspection -- it is reduced to the question of how the ribbons organise their edges relative to each other. The Gauss--Bonnet theorem leads to this topological inspection of the vertices. Finally, we display two examples of ribbonizations of surfaces, namely of a torus using two ribbons, and of an ellipsoid using closed curvature lines as center curves for the ribbons.
△ Less
Submitted 27 December, 2021; v1 submitted 26 April, 2017;
originally announced April 2017.
