Search

We introduce notions of Cheeger constants for graphons and graphings. We prove Cheeger and Buser inequalities for these. On the way we prove co-area formulae for graphons and graphings., Comment: 35 pgs, 4 figures; v2: 39 pgs, 5 figures. Relationships between Cheeger constant of finite weighted graph and associated canonical graphon added

Let $\Sigma$ be a Riemannian manifold with strictly convex spherical boundary. Assuming absence of conjugate points and that the trapped set is hyperbolic, we show that $\Sigma$ can be isometrically embedded into a closed Riemannian manifold with Anosov geodesic flow. We use this embedding to provide a direct link between the classical Livshits theorem for Anosov flows and the Livshits theorem for the X-ray transform which appears in the boundary rigidity program. Also, we give an application for lens rigidity in a conformal class., Comment: 42 pages, 2 figures. Minor revisions

The $J^k$ space of $k$-jets of a real function of one real variable $x$ admits the structure of a sub-Riemannian manifold, which then has an associated Hamiltonian geodesic flow, and it is integrable. As in any Hamiltonian flow, a natural question is the existence of periodic solutions. Does $J^k$ have periodic geodesics? This study will find the action-angle coordinates in $T^*J^k$ for the geodesic flow and demonstrate that geodesics in $J^k$ are never periodic.

In this work we establish long-time existence of the normalized Yamabe flow with positive Yamabe constant on a class of manifolds that includes spaces with incomplete cone-edge singularities. We formulate our results axiomatically, so that our results extend to general stratified spaces as well, provided certain parabolic Schauder estimates hold. The central analytic tool is a parabolic Moser iteration, which yields uniform upper and lower bounds on both the solution and the scalar curvature., 36 pages

We extend the second part of \cite{Bre20} on the uniqueness of ancient $\kappa$-solutions to higher dimensions. In dimensions $n \geq 4$, an ancient $\kappa$-solution is a nonflat, complete, ancient solution of the Ricci flow that is uniformly PIC and weakly PIC2; has bounded curvature; and is $\kappa$-noncollapsed. We show that the only noncompact ancient $\kappa$-solutions up to isometry are a family of shrinking cylinders, a quotient thereof, or the Bryant soliton., Comment: final version, to appear G&T

We prove a sharp Schwarz type inequality for the Weierstrass- Enneper representation of the minimal surfaces. It states the following. If $F:\mathbf{D}\to \Sigma$ is a conformal harmonic parameterization of a minimal disk $\Sigma$, where $\mathbf{D}$ is the unit disk and $|\Sigma|=\pi R^2$, then $|F_x(z)|(1-|z|^2)\le R$. If for some $z$ the previous inequality is equality, then the surface is an affine disk, and $F$ is linear up to a M\"obius transformation of the unit disk., Comment: 6 pages

This paper has two goals; the first is to generalize results for the existence and nonexistence of warped product submanifolds of almost contact manifolds, accordingly a self-contained reference of such submanifolds is offered to save efforts of potential research. Most of the results of this paper are general and decisive enough to generalize both discovered and not discovered results. Moreover, a discrete example of contact CR-warped product submanifold in Kenmotsu manifold is constructed. For further research direction, we addressed a couple of open problems arose from the results of this paper., arXiv admin note: text overlap with arXiv:2109.08911

We prove that if a Riemannian covering preserves the bottom of the spectrum of a Schr\"{o}dinger operator, which belongs to the discrete spectrum of the operator on the base manifold, then the covering is amenable., Comment: 26 pages

We present a quantitative isolation property of the lifts of properly immersed geodesic planes in the frame bundle of a geometrically finite hyperbolic $3$-manifold. Our estimates are polynomials in the tight areas and Bowen-Margulis-Sullivan densities of geodesic planes, with degree given by the modified critical exponents., Comment: 47 pages, 4 figures; to appear in Compositio Mathematica

In this paper, we study a special type of compact Hermitian manifolds that are Strominger Kähler-like, or SKL for short. This condition means that the Strominger connection (also known as Bismut connection) is Kähler-like, in the sense that its curvature tensor obeys all the symmetries of the curvature of a Kähler manifold. Previously, we have shown that any SKL manifold ( M n , g ) (M^n,g) is always pluriclosed, and when the manifold is compact and g g is not Kähler, it cannot admit any balanced or strongly Gauduchon (in the sense of Popovici) metric. Also, when n = 2 n=2 , the SKL condition is equivalent to the Vaisman condition. In this paper, we give a classification for compact non-Kähler SKL manifolds in dimension 3 3 and those with degenerate torsion in higher dimensions. We also present some properties about SKL manifolds in general dimensions, for instance, given any compact non-Kähler SKL manifold, its Kähler form represents a non-trivial Aeppli cohomology class, the metric can never be locally conformal Kähler when n ≥ 3 n\geq 3 , and the manifold does not admit any Hermitian symplectic metric.

The space of all probability measures having positive density function on a connected compact smooth manifold $M$, denoted by $\mathcal{P}(M)$, carries the Fisher information metric $G$. We define the geometric mean of probability measures by the aid of which we investigate information geometry of $\mathcal{P}(M)$, equipped with $G$. We show that a geodesic segment joining arbitrary probability measures $\mu_1$ and $\mu_2$ is expressed by using the normalized geometric mean of its endpoints. As an application, we show that any two points of $\mathcal{P}(M)$ can be joined by a unique geodesic. Moreover, we prove that the function $\ell$ defined by $\ell(\mu_1, \mu_2):=2\arccos\int_M \sqrt{p_1\,p_2}\,d\lambda$, $\mu_i=p_i\,\lambda$, $i=1,2$ gives the Riemannian distance function on $\mathcal{P}(M)$. It is shown that geodesics are all minimal., Comment: 33 pages, 1 figure

We prove a normal form for contact forms close to a Zoll one and deduce that Zoll contact forms on any closed manifold are local maximizers of the systolic ratio. Corollaries of this result are: (i) sharp local systolic inequalities for Riemannian and Finsler metrics close to Zoll ones, (ii) the perturbative case of a conjecture of Viterbo on the symplectic capacity of convex bodies, (iii) a generalization of Gromov's non-squeezing theorem in the intermediate dimensions for symplectomorphisms that are close to linear ones., 63 pages; v3: perturbative version of the Viterbo conjecture now proven for arbitrary symplectic capacities, added more properties to the normal form, added a statement on the local rigidity of Zoll contact forms

In this paper, we study the ergodicity of the geodesic flows on surfaces with no focal points. Let M be a smooth connected and closed surface equipped with a $C^{\infty }$ Riemannian metric g, whose genus $\mathfrak {g} \geq 2$ . Suppose that $(M,g)$ has no focal points. We prove that the geodesic flow on the unit tangent bundle of M is ergodic with respect to the Liouville measure, under the assumption that the set of points on M with negative curvature has at most finitely many connected components.

Let $a \in \mathbb{Z}_{>0}$ and $\epsilon_1, \epsilon_2, \epsilon_3 \in \{\pm 1\}$. We classify explicitly all singular moduli $x_1, x_2, x_3$ satisfying either $\epsilon_1 x_1^a + \epsilon_2 x_2^a + \epsilon_3 x_3^a \in \mathbb{Q}$ or $(x_1^{\epsilon_1} x_2^{\epsilon_2} x_3^{\epsilon_3})^{a} \in \mathbb{Q}^{\times}$. In particular, we show that all the solutions in singular moduli $x_1, x_2, x_3$ to the Fermat equations $x_1^a + x_2^a + x_3^a= 0$ and $x_1^a + x_2^a - x_3^a= 0$ satisfy $x_1 x_2 x_3 = 0$. Our proofs use a generalisation of a result of Faye and Riffaut on the fields generated by sums and products of two singular moduli, which we also establish., Comment: Minor changes

In this note, we give a short proof of the localization formula for the loop space Chern character of a compact Riemannian spin manifold M, using the rescaled spinor bundle on the tangent groupoid associated to M., 19 pages

We introduce a notion of curvature on finite, combinatorial graphs. It can be easily computed by solving a linear system of equations. We show that graphs with curvature bounded below by $K>0$ have diameter bounded by $\mbox{diam}(G) \leq 2/K$ (a Bonnet-Myers theorem), that $\mbox{diam}(G) = 2/K$ implies that $G$ has constant curvature (a Cheng theorem) and that there is a spectral gap $\lambda_1 \geq K/(2n)$ (a Lichnerowicz theorem). It is computed for several families of graphs and often coincides with Ollivier curvature or Lin-Lu-Yau curvature. The von Neumann minimax theorem features prominently in the proofs.

We show that the singularities of the twisted Kähler--Einstein metric arising as the long-time solution of the Kähler--Ricci flow or in the collapsed limit of Ricci-flat Kähler metrics is intimately related to the holomorphic sectional curvature of the reference conical geometry. This provides an alternative proof of the second-order estimate obtained by Gross--Tosatti--Zhang with explicit constants appearing in the divisorial pole., 16 pages, correction of mistakes in the previous version, comments are welcome

We consider a non-local Liouville equation corresponding to the prescription of the geodesic curvature on the circle. We build a family of solutions which blow up at a critical point of the harmonic extension of the prescribed curvature function, provided some generic assumptions are satisfied., 17 pages, accepted on J. Anal. Math

In this paper, we introduce the Laguerre bounded variation space and the Laguerre perimeter, thereby investigating their properties. Moreover, we prove the isoperimetric inequality and the Sobolev inequality in the Laguerre setting. As applications, we derive the mean curvature for the Laguerre perimeter., In this paper we systematicallyinvestigate the theory of the Laguerre bounded variation space. Our results may have some potential applications in PDEs and potential theory

We compute the fundamental group of an open Richardson variety in the manifold of complete flags that corresponds to a partial flag manifold. Rietsch showed that these log Calabi-Yau varieties underlie a Landau-Ginzburg mirror for the Langlands dual partial flag manifold, and our computation verifies a prediction of Hori for this mirror. It is log Calabi-Yau as it isomorphic to the complement of the Knutson-Lam-Speyer anti-canonical divisor for the partial flag manifold. We also determine explicit defining equations for this divisor., Comment: 18 pages

Given a compact Sasaki manifold, we endow the space of the Sasaki potentials with an analogue of Mabuchi metric. We show that its metric completion is negatively curved in the sense of Alexandrov., 20 pages, Publicacions Matem\`atiques

Deep Neural Networks are widely used for solving complex problems in several scientific areas, such as speech recognition, machine translation, image analysis. The strategies employed to investigate their theoretical properties mainly rely on Euclidean geometry, but in the last years new approaches based on Riemannian geometry have been developed. Motivated by some open problems, we study a particular sequence of maps between manifolds, with the last manifold of the sequence equipped with a Riemannian metric. We investigate the structures induced through pullbacks on the other manifolds of the sequence and on some related quotients. In particular, we show that the pullbacks of the final Riemannian metric to any manifolds of the sequence is a degenerate Riemannian metric inducing a structure of pseudometric space. We prove that the Kolmogorov quotient of this pseudometric space yields a smooth manifold, which is the base space of a particular vertical bundle. We investigate the theoretical properties of the maps of such sequence, eventually we focus on the case of maps between manifolds implementing neural networks of practical interest and we present some applications of the geometric framework we introduced in the first part of the paper.

This is the sequel to the author's previous paper which gives an extension of Taubes' "SW=Gr" theorem to non-symplectic 4-manifolds. The main result of this paper asserts the following. Whenever the Seiberg-Witten invariants are defined over a closed minimal 4-manifold X, they are equivalent modulo 2 to "near-symplectic" Gromov invariants in the presence of certain self-dual harmonic 2-forms on X. A version for non-minimal 4-manifolds is also proved. A corollary to circle-valued Morse theory on 3-manifolds is also announced, recovering a result of Hutchings-Lee-Turaev about the 3-dimensional Seiberg-Witten invariants., Comment: 44 pages, corrected and provided further details, to appear in Geom. Topol

We first describe the action of the fundamental group of a closed surface of variable negative curvature on the oriented geodesics in its universal covering in terms of a naturally-defined flat connection whose holonomy lies in the group of Hamiltonian diffeomorphisms of S^1 x R. Consideration of the holonomy necessitates an extension from Riemannian to Finsler metrics. The second part of the paper follows the Higgs bundle approach to flat connections adapted to this infinite dimensional group and focuses on a family of metrics, relying on a construction of O.Biquard, which is parametrized by the infinite-dimensional space of CR functions on the unit circle bundle of a hyperbolic surface. This generates an alternative approach to defining a connection and offers the possibility of this vector space representing a moduli space which generalizes and includes the classical Teichmueller space., There is a sign error in Section 5 of the first version of this paper. The current version rewrites and reorients Sections 5 and 6

Extending Blaschke and Lebesgue’s classical result in the Euclidean plane, it has been recently proved in spherical and the hyperbolic cases, as well, that Reuleaux triangles have the minimal area among convex domains of constant width D. We prove an essentially optimal stability version of this statement in each of the three types of surfaces of constant curvature. In addition, we summarize the fundamental properties of convex bodies of constant width in spaces of constant curvature, and provide a characterization in the hyperbolic case in terms of horospheres.

The theory of optimal design of experiments has been traditionally developed on an Euclidean space. In this paper, new theoretical results and an algorithm for finding the optimal design of an experiment located on a Riemannian manifold are provided. It is shown that analogously to the results in Euclidean spaces, D-optimal and G-optimal designs are equivalent on manifolds, and we provide a lower bound for the maximum prediction variance of the response evaluated over the manifold. In addition, a converging algorithm that finds the optimal experimental design on manifold data is proposed. Numerical experiments demonstrate the importance of considering the manifold structure in a designed experiment when present, and the superiority of the proposed algorithm.

We study the change of the Laughlin states under large deformations of the geometry of the sphere and the plane, associated with Mabuchi geodesics on the space of metrics with Hamiltonian $S^1$-symmetry. For geodesics associated with the square of the symmetry generator, as the geodesic time goes to infinity, the geometry of the sphere becomes that of a thin cigar collapsing to a line and the Laughlin states become concentrated on a discrete set of $S^1$--orbits, corresponding to Bohr-Sommerfeld orbits of geometric quantization. The lifting of the Mabuchi geodesics to the bundle of quantum states, to which the Laughlin states belong, is achieved via generalized coherent state transforms, which correspond to the KZ parallel transport of Chern-Simons theory.

We show two stability results for a closed Riemannian manifold whose Ricci curvature is small in the Kato sense and whose first Betti number is equal to the dimension. The first one is a geometric stability result stating that such a manifold is Gromov-Hausdorff close to a flat torus. The second one states that, under a stronger assumption, such a manifold is diffeomorphic to a torus: this extends a result by Colding and Cheeger-Colding obtained in the context of a lower bound on the Ricci curvature., 24 pages. Comments are welcome!

We prove that optimal lower eigenvalue estimates of Zhong-Yang type as well as a Cheng-type upper bound for the first eigenvalue hold on closed manifolds assuming only a Kato condition on the negative part of the Ricci curvature. This generalizes all earlier results on $L^p$-curvature assumptions. Moreover, we introduce the Kato condition on compact manifolds with boundary with respect to the Neumann Laplacian, leading to Harnack estimates for the Neumann heat kernel and lower bounds for all Neumann eigenvalues, what provides a first insight in handling variable Ricci curvature assumptions in this case., Comment: 21 pages. The proof of Theorem 1.3 is replaced by an easier one

In this note we adapt the work of Hall to find quasi-Einstein metrics on sphere bundles over products of Fano Kaehler-Einstein manifolds, as well as bundles where only one end is blown down., 8 pages, to appear in Involve

We complete Satake's classification of Kuga fiber varieties by showing that if a representation $\rho$ of a hermitian algebraic group satisfies Satake's necessary conditions, then some multiple of $\rho$ defines a Kuga fiber variety.

We provide a fine classification of rigid hyperelliptic manifolds in dimension four up to biholomorphism and diffeomorphism. These manifolds are explicitly described as finite \'etale quotients of a product of four Fermat elliptic curves., Comment: 22 pages, MAGMA code on personal homepage

We give a classification of toric, Hermitian, Ricci flat, ALF Riemannian metrics in dimension 4, including metrics with conical singularities. The only smooth examples are on one hand the hyperKaehler ALF metrics, on the other hand, the Kerr, Taub-NUT and Chen-Teo metrics. There are examples with conical singularities with infinitely many distinct topologies. We provide explicit formulas., A correct proof that the piecewise linear function is convex is written in the new section 4.5. Various minor corrections/typos

It is known that for every $\alpha \geq 1$ there is a planar triangulation in which every ball of radius $r$ has size $\Theta(r^\alpha)$. We prove that for $\alpha, Comment: Revised version submitted to Annales Henri Lebesgue

We study the Diophantine exponent of a point x on a quadric hypersurface. We show in particular an analogue of the Thue-Siegel-Roth theorem, that is to say a formula for the Diophantine exponent of an algebraic point, and an analogue of the result of Kleinbock and Margulis on the extremality of non-degenerate analytic manifolds in the of affine space.; Nous étudions l'exposant diophantien d'un point x d'une hypersurface quadratique. Nous montrons notamment un analogue du théorème de Thue-Siegel-Roth, c'est-à-dire une formule pour l'exposant diophantien d'un point algébrique, et un analogue du résultat de Kleinbock et Margulis sur l'extrémalité des sous-variétés non dégénérées de l'espace affine.

We perform the maximal twist of eleven-dimensional supergravity. This twist is partially topological and exists on manifolds of $G_2 \times SU(2)$ holonomy. Our derivation starts with an explicit description of the Batalin-Vilkovisky complex associated to the three-form multiplet in the pure spinor superfield formalism. We then determine the $L_\infty$ module structure of the supersymmetry algebra on the component fields. We twist the theory by modifying the differential of the Batalin-Vilkovisky complex to incorporate the action of a scalar supercharge. We find that the resulting free twisted theory is given by the tensor product of the de Rham and Dolbeault complexes of the respective $G_2$ and $SU(2)$ holonomy manifolds as conjectured by Costello., 40 pages, 10 tables

For hypersurfaces moving by standard mean curvature flow with boundary, we show that if a tangent flow at a boundary singularity is given by a smoothly embedded shrinker, then the shrinker must be non-orientable. We also show that there is an initially smooth surface in 3-space that develops a boundary singularity for which the shrinker is smoothly embedded (and therefore non-orientable). Indeed, we show that there is a nonempty open set of such initial surfaces. Let k be the largest number with the following property: if M is a minimal surface in 3-space bounded by a smooth simple closed curve of total curvature less than k, then M is a disk. Examples show that $k3π$. We get a slightly larger lower bound for orientable surfaces., 18 pages. The new version (August 10, 2022) has some added explanatory material (at the suggestion of the CMH referees) and has an updated bibliography

We study the prescribed scalar curvature problem in a conformal class on orbifolds with isolated singularities. We prove a compactness theorem in dimension $4$, and an existence theorem which holds in dimensions $n \geq 4$. This problem is more subtle than the manifold case since the positive mass theorem does not hold for ALE metrics in general. We also determine the $\rm{U}(2)$-invariant Leray-Schauder degree for a family of negative-mass orbifolds found by LeBrun., 39 pages

On a smooth, closed Riemannian manifold $\left(M,g\right)$ of dimension $n\ge3$, we consider the stationary Schr\"odinger equation $\Delta_gu+h_0u=\left|u\right|^{2^*-2}u$, where $\Delta_g:=-\text{div}_g\nabla$, $h_0\in C^1\left(M\right)$ and $2^* :=\frac{2n}{n-2}$. We prove that, up to perturbations of the potential function $h_0$ in $C^1\left(M\right)$, the sets of sign-changing solutions that are bounded in $H^1\left(M\right)$ are precompact in the $C^2$ topology. We obtain this result under the assumptions that $\left(M,g\right)$ is locally conformally flat, $n\ge7$ and $h_0\ne\frac{n-2}{4\left(n-1\right)}\text{Scal}_g$ at all points in $M$, where $\text{Scal}_g$ is the scalar curvature of the manifold. We then provide counterexamples in every dimension $n\ge3$ showing the optimality of these assumptions., Comment: Final version, published in Journal de Math\'ematiques Pures et Appliqu\'ees

Let $(M,g)$ be a Riemannian $n$-manifold, we denote by $\Ric$ and $\Scal$ the Ricci and the scalar curvatures of $g$. For scalars $k, Comment: 24 pages. Comments are welcome

A generalized Stiefel manifold is the manifold of orthonormal frames in a vector space with a non-degenerated bilinear or hermitian form. In this article, the Isometry group of the generalized Stiefel manifolds are computed at least up to connected components in an explicit form. This is done by considering a natural non-associative algebra $\mathfrak{m}$ associated to the affine structure of the Stiefel manifold, computing explicitly the automorphism group $Aut(\mathfrak{m})$ and inducing this computation to the Isometry group.

We introduce a general construction of many Hermitian LCD $[n, k]$ codes from a given Hermitian LCD $[n, k]$ code. Furthermore, we present some results on punctured codes and shortened codes of quaternary Hermitian LCD codes. As an application, we improve some of the previously known lower bounds on the largest minimum weights of quaternary Hermitian LCD codes of length $12 \le n \le 30$., 15 pages

We define a one-parameter family of canonical volume measures on Lorentzian (pre-)length spaces. In the Lorentzian setting, this allows us to define a geometric dimension - akin to the Hausdorff dimension for metric spaces - that distinguishes between e.g. spacelike and null subspaces of Minkowski spacetime. The volume measure corresponding to its geometric dimension gives a natural reference measure on a synthetic or limiting spacetime, and allows us to define what it means for such a spacetime to be collapsed (in analogy with metric measure geometry and the theory of Riemannian Ricci limit spaces). As a crucial tool we introduce a doubling condition for causal diamonds and a notion of causal doubling measures. Moreover, applications to continuous spacetimes and connections to synthetic timelike curvature bounds are given., 45 pages, 4 figures; v2: minor improvements

In this paper, we disprove a recent monotonicity conjecture of C. Procesi on the generating function for monotone walks on the symmetric group, an object which is equivalent to the Weingarten function of the unitary group., 4 pages

In this paper, we first introduce the quermassintegrals for convex hypersurfaces with capillary boundary in the unit Euclidean ball $\mathbb{B}^{n+1}$ and derive its first variational formula. Then by using a locally constrained nonlinear curvature flow, which preserves the $n$-th quermassintegral and non-decreases the $k$-th quermassintegral, we obtain the Alexandrov-Fenchel inequality for convex hypersurfaces with capillary boundary in $\mathbb{B}^{n+1}$. This generalizes the result in \cite{SWX} for convex hypersurfaces with free boundary in $\mathbb{B}^{n+1}$., To appear in Trans. Amer. Math. Soc

The nullity of a vertex-weighted graph is equal to the number of zero eigenvalues of its adjacency matrix. In this article, we give a linear time algorithm to calculate the nullity of vertex-weighted block graphs, i.e., graphs in which every block is a clique, with weights assigned to the vertices.

We consider codimension 2 sphere congruences in pseudo-conformal geometry that are harmonic with respect to the conformal structure of an orthogonal surface. We characterise the orthogonal surfaces of such congruences as either $S$-Willmore surfaces, quasi-umbilical surfaces, constant mean curvature surfaces in 3-dimensional space forms or surfaces of constant lightlike mean curvature in 3-dimensional lightcones. We then investigate Bryant's quartic differential in this context and show that generically this is divergence free if and only if the surface under consideration is either superconformal or orthogonal to a harmonic congruence of codimension 2 spheres. We may then apply the previous result to characterise surfaces with such a property., 15 pages

The motion by curvature of networks is the generalization to finite union of curves of the curve shortening flow. This evolution has several peculiar features, mainly due to the presence of junctions where the curves meet. In this paper we show that whenever the length of one single curve vanishes and two triple junctions coalesce, then the curvature of the evolving networks remains bounded. This topological singularity is exclusive of the network flow and it can be referred as a Type-0 singularity, in contrast to the well known Type-I and Type-II ones of the usual mean curvature flow of smooth curves or hypersurfaces, characterized by the different rates of blow up of the curvature. As a consequence, we are able to give a complete description of the evolution of tree-like networks till the first singular time, under the assumption that all the tangents flows have unit multiplicity. If the lifespan of such solutions is finite, then the curvature of the network remains bounded and we can apply the results by Ilmanen-Neves-Schulze/Lira-Mazzeo-Pluda-Saez to restart the flow after the singularity., Comment: arXiv admin note: text overlap with arXiv:1611.08254

We prove that any length metric space homeomorphic to a surface may be decomposed into non-overlapping convex triangles of arbitrarily small diameter. This generalizes a previous result of Alexandrov--Zalgaller for surfaces of bounded curvature., Comment: 24 pages, 10 figures

In his classical argument, Rao derives the Riemannian distance corresponding to the Fisher metric using a mapping between the space of positive measures and Euclidean space. He obtains the Hellinger distance on the full space of measures and the Fisher distance on the subset of probability measures. In order to highlight the interplay between Fisher theory and quantum information theory, we extend this construction to the space of positive-definite Hermitian matrices using Riemannian submersions and quotient manifolds. The analog of the Hellinger distance turns out to be the Bures–Wasserstein (BW) distance, a distance measure appearing in optimal transport, quantum information, and optimisation theory. First we present an existing derivation of the Riemannian metric and geodesics associated with this distance. Subsequently, we present a novel derivation of the Riemannian distance and geodesics for this metric on the subset of trace-one matrices, analogous to the Fisher distance for probability measures.