Riemannian Geometry with differentiable ambient space and metric
operator
- URL: http://arxiv.org/abs/2105.01583v1
- Date: Tue, 4 May 2021 15:47:45 GMT
- Title: Riemannian Geometry with differentiable ambient space and metric
operator
- Authors: Du Nguyen
- Abstract summary: We provide an embedded and submersed ambient structure for the double tangent bundle $mathcalTmathcalTmathcalM$ and the tangent of the horizontal bundle $mathcalHmathcalM$.
We obtain a formula for horizontal lifts of Jacobi fields, and a new closed-form formula for Jacobi fields of naturally reductive homogeneous spaces.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We show Riemannian geometry could be studied by identifying the tangent
bundle of a Riemannian manifold $\mathcal{M}$ with a subbundle of the trivial
bundle $\mathcal{M} \times \mathcal{E}$, obtained by embedding $\mathcal{M}$
differentiably in a Euclidean space $\mathcal{E}$. Given such an embedding, we
can extend the metric tensor on $\mathcal{M}$ to a (positive-definite)
operator-valued function acting on $\mathcal{E}$, giving us an embedded ambient
structure. The formulas for the Christoffel symbols and Riemannian curvature in
local coordinates have simple generalizations to this setup. For a Riemannian
submersion $\mathfrak{q}:\mathcal{M}\to \mathcal{B}$ from an embedded manifold
$\mathcal{M}\subset \mathcal{E}$, we define a submersed ambient structure and
obtain similar formulas, with the O'Neil tensor expressed in terms of the
projection to the horizontal bundle $\mathcal{H}\mathcal{M}$. Using this
framework, we provide the embedded and submersed ambient structures for the
double tangent bundle $\mathcal{T}\mathcal{T}\mathcal{M}$ and the tangent of
the horizontal bundle $\mathcal{T}\mathcal{H}\mathcal{M}$, describe the
fibration of a horizontal bundle over the tangent bundle of the base manifold
and extend the notion of a canonical flip to the submersion case. We obtain a
formula for horizontal lifts of Jacobi fields, and a new closed-form formula
for Jacobi fields of naturally reductive homogeneous spaces. We construct
natural metrics on these double tangent bundles, in particular, extending
Sasaki and other natural metrics to the submersion case. We illustrate by
providing explicit calculations for several manifolds.
Related papers
- Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
We show how to reduce the geometry of degenerate states to the non-abelian connection $A$.
We find independent invariants associated with each triple of subspaces.
Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
arXiv Detail & Related papers (2024-04-04T06:39:28Z) - Quantum charges of harmonic oscillators [55.2480439325792]
We show that the energy eigenfunctions $psi_n$ with $nge 1$ are complex coordinates on orbifolds $mathbbR2/mathbbZ_n$.
We also discuss "antioscillators" with opposite quantum charges and the same positive energy.
arXiv Detail & Related papers (2024-04-02T09:16:18Z) - Efficient Sampling on Riemannian Manifolds via Langevin MCMC [51.825900634131486]
We study the task efficiently sampling from a Gibbs distribution $d pi* = eh d vol_g$ over aian manifold $M$ via (geometric) Langevin MCMC.
Our results apply to general settings where $pi*$ can be non exponential and $Mh$ can have negative Ricci curvature.
arXiv Detail & Related papers (2024-02-15T22:59:14Z) - Provably learning a multi-head attention layer [55.2904547651831]
Multi-head attention layer is one of the key components of the transformer architecture that sets it apart from traditional feed-forward models.
In this work, we initiate the study of provably learning a multi-head attention layer from random examples.
We prove computational lower bounds showing that in the worst case, exponential dependence on $m$ is unavoidable.
arXiv Detail & Related papers (2024-02-06T15:39:09Z) - Riemannian Langevin Monte Carlo schemes for sampling PSD matrices with
fixed rank [5.0397419406319095]
We present two explicit schemes to sample matrices from Gibbs distributions on $mathcal Sn,p_+$.
We also provide examples of energy functions with explicit Gibbs distributions that allow numerical validation of these schemes.
arXiv Detail & Related papers (2023-09-08T02:09:40Z) - Monogamy of entanglement between cones [68.8204255655161]
We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones.
Our proof makes use of a new characterization of products of simplices up to affine equivalence.
arXiv Detail & Related papers (2022-06-23T16:23:59Z) - Metric Hypertransformers are Universal Adapted Maps [4.83420384410068]
metric hypertransformers (MHTs) are capable of approxing any adapted map $F:mathscrXmathbbZrightarrow mathscrYmathbbZ$ with approximable complexity.
Our results provide the first (quantimat) universal approximation theorem compatible with any such $mathscrX$ and $mathscrY$.
arXiv Detail & Related papers (2022-01-31T10:03:46Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$.
It is assumed that a density matrix $rho$ can be determined from the expectation values of observables.
Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
arXiv Detail & Related papers (2021-12-14T16:29:53Z) - Learners' languages [0.0]
Authors show that the fundamental elements of deep learning -- gradient descent and backpropagation -- can be conceptualized as a strong monoidal functor.
We show that a map $Ato B$ in $mathbfPara(mathbfSLens)$ has a natural interpretation in terms of dynamical systems.
arXiv Detail & Related papers (2021-03-01T18:34:00Z) - Approximating the Riemannian Metric from Point Clouds via Manifold
Moving Least Squares [2.2774471443318753]
We present a naive algorithm that yields approximate geodesic distances with a rate of convergence $ O(h) $ provable approximations.
We show the potential and the robustness to noise of the proposed method on some numerical simulations.
arXiv Detail & Related papers (2020-07-20T04:42:17Z) - Data-driven Efficient Solvers for Langevin Dynamics on Manifold in High
Dimensions [12.005576001523515]
We study the Langevin dynamics of a physical system with manifold structure $mathcalMsubsetmathbbRp$
We leverage the corresponding Fokker-Planck equation on the manifold $mathcalN$ in terms of the reaction coordinates $mathsfy$.
We propose an implementable, unconditionally stable, data-driven finite volume scheme for this Fokker-Planck equation.
arXiv Detail & Related papers (2020-05-22T16:55:38Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.