skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Inverting the local geodesic ray transform of higher rank tensors
Consider a Riemannian manifold in dimension n ≥ 3 with strictly convex boundary. We prove the local invertibility, up to potential fields, of the geodesic ray transform on tensor fields of rank four near a boundary point. This problem is closely related with elastic qP-wave tomography. Under the condition that the manifold can be foliated with a continuous family of strictly convex hypersurfaces, the local invertibility implies a global result. One can straightforwardly adapt the proof to show similar results for tensor fields of arbitrary rank.  more » « less
Award ID(s):
1815143
PAR ID:
10108557
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Inverse Problems
ISSN:
0266-5611
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We give a necessary condition on a geodesic in a Riemannian manifold that can run in some convex hypersurface.As a corollary, we obtain peculiar properties that hold true for every convex set in any generic Riemannian manifold ( M , g ) {(M,g)} .For example, if a convex set in ( M , g ) {(M,g)} is bounded by a smooth hypersurface, then it is strictly convex. 
    more » « less
  2. ln this paper, a generalized cusp is a properly convex manifold with strictly convex boundary that is diffeomorphic to M × [ 0 , ∞ ) M\times [0,\infty ) where M M is a closed Euclidean manifold. These are classified by Ballas, Cooper, and Leitner [J. Topol. 13 (2020), pp. 1455-1496]. The marked moduli space is homeomorphic to a subspace of the space of conjugacy classes of representations of π 1 M \pi _1M . It has one description as a generalization of a trace-variety, and another description involving weight data that is similar to that used to describe semi-simple Lie groups. It is also a bundle over the space of Euclidean similarity (conformally flat) structures on M M , and the fiber is a closed cone in the space of cubic differentials. For 3 3 -dimensional orientable generalized cusps, the fiber is homeomorphic to a cone on a solid torus. 
    more » « less
  3. Abstract Low-rank matrix models have been universally useful for numerous applications, from classical system identification to more modern matrix completion in signal processing and statistics. The nuclear norm has been employed as a convex surrogate of the low-rankness since it induces a low-rank solution to inverse problems. While the nuclear norm for low rankness has an excellent analogy with the $$\ell _1$$ norm for sparsity through the singular value decomposition, other matrix norms also induce low-rankness. Particularly as one interprets a matrix as a linear operator between Banach spaces, various tensor product norms generalize the role of the nuclear norm. We provide a tensor-norm-constrained estimator for the recovery of approximately low-rank matrices from local measurements corrupted with noise. A tensor-norm regularizer is designed to adapt to the local structure. We derive statistical analysis of the estimator over matrix completion and decentralized sketching by applying Maurey’s empirical method to tensor products of Banach spaces. The estimator provides a near-optimal error bound in a minimax sense and admits a polynomial-time algorithm for these applications. 
    more » « less
  4. We propose a new fast streaming algorithm for the tensor completion problem of imputing missing entries of a lowtubal-rank tensor using the tensor singular value decomposition (t-SVD) algebraic framework. We show the t-SVD is a specialization of the well-studied block-term decomposition for third-order tensors, and we present an algorithm under this model that can track changing free submodules from incomplete streaming 2-D data. The proposed algorithm uses principles from incremental gradient descent on the Grassmann manifold of subspaces to solve the tensor completion problem with linear complexity and constant memory in the number of time samples. We provide a local expected linear convergence result for our algorithm. Our empirical results are competitive in accuracy but much faster in compute time than state-of-the-art tensor completion algorithms on real applications to recover temporal chemo-sensing and MRI data under limited sampling. 
    more » « less
  5. null (Ed.)
    Abstract For any smooth Riemannian metric on an $$(n+1)$$ ( n + 1 ) -dimensional compact manifold with boundary $$(M,\partial M)$$ ( M , ∂ M ) where $$3\le (n+1)\le 7$$ 3 ≤ ( n + 1 ) ≤ 7 , we establish general upper bounds for the Morse index of free boundary minimal hypersurfaces produced by min–max theory in the Almgren–Pitts setting. We apply our Morse index estimates to prove that for almost every (in the $$C^\infty $$ C ∞ Baire sense) Riemannan metric, the union of all compact, properly embedded free boundary minimal hypersurfaces is dense in M . If $$\partial M$$ ∂ M is further assumed to have a strictly mean convex point, we show the existence of infinitely many compact, properly embedded free boundary minimal hypersurfaces whose boundaries are non-empty. Our results prove a conjecture of Yau for generic metrics in the free boundary setting. 
    more » « less