arXiv research

Global Pestov identity proved on frame bundle and related fibrations.

Establishes a correspondence between two mathematical identities.

In this article we lift Pestov's Identity on the tangent bundle of a Riemannian manifold $M$ to the bundle of $k$-tuples of tangent vectors. We also derive an integrated version and a restriction to the frame bundle $P^kM$ of $k$-frames. Finally, we discuss a dynamical application for the parallel transport on $\mathca…

Geodesic X-ray transform proves injective for smooth one-forms on gas giant manifolds.

Extends magnetic flow theory results to higher dimensions.

We show that a properly convex projective structure $\mathfrak{p}$ on a closed oriented surface of negative Euler characteristic arises from a Weyl connection if and only if $\mathfrak{p}$ is hyperbolic. We phrase the problem as a non-linear PDE for a Beltrami differential by using that $\mathfrak{p}$ admits a compatib…

We consider the broken ray transform on Riemann surfaces in the presence of an obstacle, following earlier work of Mukhometov. If the surface has nonpositive curvature and the obstacle is strictly convex, we show that a function is determined by its integrals over broken geodesic rays that reflect on the boundary of th…

We show that for a simple surface with boundary the attenuated ray transform in the presence of a unitary connection and a skew-Hermitian Higgs field is injective modulo the natural obstruction for functions and vector fields. We also show that the connection and the Higgs field are uniquely determined by the scatterin…

We consider the geodesic X-ray transform acting on solenoidal tensor fields on a compact simply connected manifold with strictly convex boundary and non-positive curvature. We establish a stability estimate of the form $L^2\mapsto H^{1/2}_{T}$, where the $H^{1/2}_{T}$-space is defined using the natural parametrization …

In this note, we give a generalization of the inversion formulas of Pestov-Uhlmann for the geodesic ray transform of functions and vector fields on simple 2-dimensional manifolds of constant curvature. The inversion formulas given here hold for 2-dimensional simple manifolds whose curvatures close to a constant.

Injectivity of geodesic X-ray transform on low-regularity manifolds.

We consider integral geometry inverse problems for unitary connections and skew-Hermitian Higgs fields on manifolds with negative sectional curvature. The results apply to manifolds in any dimension, with or without boundary, and also in the presence of trapped geodesics. In the boundary case, we show injectivity of th…

In this article we introduce an approach for studying the geodesic X-ray transform and related geometric inverse problems by using Carleman estimates. The main result states that on compact negatively curved manifolds (resp. nonpositively curved simple or Anosov manifolds), the geodesic vector field satisfies a Carlema…

We give reconstruction formulas inverting the geodesic X-ray transform over functions (call it $I_0$) and solenoidal vector fields on surfaces with negative curvature and strictly convex boundary. These formulas generalize the Pestov-Uhlmann formulas in [Pestov-Uhlmann, IMRN '04] (established for simple surfaces) to ca…

Paper shows mapping class groups are not extremely amenable except for specific cases.

In the recent articles \cite{PSU1,PSU3}, a number of tensor tomography results were proved on two-dimensional manifolds. The purpose of this paper is to extend some of these methods to manifolds of any dimension. A central concept is the surjectivity of the adjoint of the geodesic ray transform, or equivalently the exi…

We study the problem of recovering a function on a pseudo-Riemannian manifold from its integrals over all null geodesics in three geometries: pseudo-Riemannian products of Riemannian manifolds, Minkowski spaces and tori. We give proofs of uniqueness anc characterize non-uniqueness in different settings. Reconstruction …

Study proves solenoidal injectivity for tensor fields on curved manifolds with low regularity.

Two Anosov metrics with same boundary distance are isometric.

We show how to construct the nonstandard hull of certain infinite-dimensional Lie algebras in order to generalize a theorem of Pestov on the enlargeability of Banach-Lie algebras. In the process, we consider a nonstandard smoothness condition on functions between locally convex spaces to ensure that the induced functio…

This PhD thesis studies the broken ray transform, a generalization of the geodesic X-ray transform where geodesics are replaced with broken rays that reflect on a part of the boundary. The fundamental question is whether this transform is injective. We employ four different methods to approach this question, and each o…

We present a nonstandard hull construction for locally uniform groups in a spirit similar to Luxembourg's construction of the nonstandard hull of a uniform space. Our nonstandard hull is a local group rather than a global group. We investigate how this construction varies as one changes the family of pseudometrics used…

Scattering rigidity of a Riemannian manifold allows one to tell the metric of a manifold with boundary by looking at the directions of geodesics at the boundary. Lens rigidity allows one to tell the metric of a manifold with boundary from the same information plus the length of geodesics. There are a variety of results…

For a one-parameter family of simple metrics of constant curvature ($4κ$ for $κ\in (-1,1)$) on the unit disk $M$, we first make explicit the Pestov-Uhlmann range characterization of the geodesic X-ray transform, by constructing a basis of functions making up its range and co-kernel. Such a range characterization also t…

We derive explicit reconstruction formulas for the attenuated geodesic X-ray transform over functions and, in the case of non-vanishing attenuation, vector fields, on a class of simple Riemannian surfaces with boundary. These formulas partly rely on new explicit approaches to construct continuous right-inverses for bac…

The present article proposes a partial answer to the explicit inversion of the tensor tomography problem in two dimensions, by proving injectivity over certain kinds of tensors and providing reconstruction formulas for them. These tensors are symmetric differentials of any order as well as other types obtained after ta…

In this project we further investigate the idea of reducing the dimensionality of datasets using a Borel isomorphism with the purpose of subsequently applying supervised learning algorithms, as originally suggested by my supervisor V. Pestov (in 2011 Dagstuhl preprint). Any consistent learning algorithm, for example kN…

This paper discovers new identities linking geodesic and orthogeodesic lengths on hyperbolic surfaces.

Quandle homology was defined from rack homology as the quotient by a subcomplex corresponding to the idempotency, for invariance under the type I Reidemeister move. Similar subcomplexes have been considered for various identities of racks and moves on diagrams. We observe common aspects of these identities and subcompl…

The paper derives curvature identities for 5D and 6D Einstein manifolds.

Proves Bochner's identity on graphs using a new auxiliary graph.

Doodles link to commutator identities in a 2-sphere.

The paper studies harmonic identity maps on Riemannian manifolds.

User identity linkage is a task of recognizing the identities of the same user across different social networks (SN). Previous works tackle this problem via estimating the pairwise similarity between identities from different SN, predicting the label of identity pairs or selecting the most relevant identity pair based …

The importance of Einstein's geometrization philosophy, as an alternative to the least action principle, in constructing general relativity (GR), is illuminated. The role of differential identities in this philosophy is clarified. The use of Bianchi identity to write the field equations of GR is shown. Another similar …

We use computer algebra to demonstrate the existence of a multilinear polynomial identity of degree 8 satisfied by the bilinear operation in every Lie-Yamaguti algebra. This identity is a consequence of the defining identities for Lie-Yamaguti algebras, but is not a consequence of anticommutativity. We give an explicit…

The paper proves a Basmajian identity for non-Archimedean local fields.

In our previous paper (Axiomatic Differential Geometry II-3) we have discussed the general Jacobi identity, from which the Jacobi identity of vector fields follows readily. In this paper we derive Jacobi-like identities of tangent-vector-valued forms from the general Jacobi identity.

Discover new identities linking hypersurface mean curvatures.

Graded identities for hyperbolic surfaces with cusps and cone points.

We give a curvature identity derived from the generalized Gauss-Bonnet formula for 4-dimensional compact oriented Riemannian manifolds. We prove that the curvature identity holds on any 4-dimensional Riemannian manifold which is not necessarily compact. We also provide some applications of the identity.

New energy identity found for biharmonic maps into spheres.

New identities link Frobenius elements to Jones-Wenzl projectors at roots of unity.

The paper proves curvature identities for symplectic connections.

The study finds new infinite dilogarithm identities related to number sequences and continued fractions.

Just as the Jacobi identity of vector fields is a natural consequence of the general Jacobi identity of microcubes in synthetic differential geometry, it is to be shown in this paper that the graded Jacobi identity of the Frolicher-Nijenhuis bracket is also a natural consequence of the general Jacobi identity.

In this paper, we obtain a Cartan type identity for curvature-adapted isoparametric hypersurfaces in symmetric spaces of compact type or non-compact type. This identity is a generalization of Cartan-D'Atri's identity for curvature-adapted(=amenable) isoparametric hypersurfaces in rank one symmetric spaces. Furthermore,…

Study on functional ellipsoids to decompose the identity.