Showing 1–6 of 6 results for author: Balehowsky, T

Shape analysis via gradient flows on diffeomorphism groups

Authors: Tracey Balehowsky, Carl-Joar Karlsson, Klas Modin

Abstract: We study a gradient flow on Sobolev diffeomorphisms for the problem of image registration. The energy functional quantifies the effect of transforming a template to a target, while also penalizing deformation of the metric tensor. The main result is well-posedness of the flow. We also give a geometric description of the gradient in terms of the momentum map. We study a gradient flow on Sobolev diffeomorphisms for the problem of image registration. The energy functional quantifies the effect of transforming a template to a target, while also penalizing deformation of the metric tensor. The main result is well-posedness of the flow. We also give a geometric description of the gradient in terms of the momentum map. △ Less

Submitted 11 November, 2022; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: 18 pages, 1 figure

MSC Class: 58D05; 35F25; 68U10

Journal ref: Nonlinearity 36, 862 (2023)

Transformation Optics for the Modelling of Waves in a Universe with Nontrivial Topology

Authors: Tracey Balehowsky, Matti Lassas, Pekka Pankka, Ville Sirviö

Abstract: We consider how transformation optics and invisibility cloaking can be used to construct models in subsets $\mathbb{R}^3$ with a varying metric, where the time-harmonic waves for a given angular wavenumber $k$, are equivalent to the waves in some closed orientable manifold. The obtained models could in principle be physically implemented using a device built from metamaterials. In particular the m… ▽ More We consider how transformation optics and invisibility cloaking can be used to construct models in subsets $\mathbb{R}^3$ with a varying metric, where the time-harmonic waves for a given angular wavenumber $k$, are equivalent to the waves in some closed orientable manifold. The obtained models could in principle be physically implemented using a device built from metamaterials. In particular the measurements in the metamaterial device given by the Helmholtz source-to-solution operator are equivalent to Helmholtz source-to-solution measurements in a universe given by $(\mathbb{R}_+\times M, -dt^2 +g)$, where $(M,g)$ is a closed, orientable, $C^\infty$-smooth, 3-dimensional Riemannian manifold. Thus the obtained construction could be used to simulate cosmological models using metamaterial devices. △ Less

Submitted 25 March, 2021; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: 42 pages. Added 3 figures. Layout of chapter 3 changed for clarity. More motivation and a new subsection on cloaking and black holes added to the introduction. Additional references added. Typos fixed

An Inverse Problem for the Relativistic Boltzmann Equation

Authors: Tracey Balehowsky, Antti Kujanpää, Matti Lassas, Tony Liimatainen

Abstract: We consider an inverse problem for the Boltzmann equation on a globally hyperbolic Lorentzian spacetime $(M,g)$ with an unknown metric $g$. We consider measurements done in a neighbourhood $V\subset M$ of a timelike path $μ$ that connects a point $x^-$ to a point $x^+$. The measurements are modelled by a source-to-solution map, which maps a source supported in $V$ to the restriction of the solutio… ▽ More We consider an inverse problem for the Boltzmann equation on a globally hyperbolic Lorentzian spacetime $(M,g)$ with an unknown metric $g$. We consider measurements done in a neighbourhood $V\subset M$ of a timelike path $μ$ that connects a point $x^-$ to a point $x^+$. The measurements are modelled by a source-to-solution map, which maps a source supported in $V$ to the restriction of the solution to the Boltzmann equation to the set $V$. We show that the source-to-solution map uniquely determines the Lorentzian spacetime, up to an isometry, in the set $I^+(x^-)\cap I^-(x^+)\subset M$. The set $I^+(x^-)\cap I^-(x^+)$ is the intersection of the future of the point $x^-$ and the past of the point $x^+$, and hence is the maximal set to where causal signals sent from $x^-$ can propagate and return to the point $x^+$. The proof of the result is based on using the nonlinearity of the Boltzmann equation as a beneficial feature for solving the inverse problem. △ Less

Submitted 27 September, 2022; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: 60 pages. 4 figures. In this version, we have have improved the presentation of Section 4, which includes added motivation for Definition 4.1. We have also added more exposition in the introduction, in particular a more thorough discussion of Definition 1.2. Minor typos were fixed throughout the paper. This version coincides with the published version of our work, to appear in CMP

Determining a Riemannian Metric from Minimal Areas

Authors: Spyros Alexakis, Tracey Balehowsky, Adrian Nachman

Abstract: We prove that if $(M,g)$ is a topological 3-ball with a $C^4$-smooth Riemannian metric $g$, and mean-convex boundary $\partial M$ then knowledge of least areas circumscribed by simple closed curves $γ\subset \partial M$ uniquely determines the metric $g$, under some additional geometric assumptions. These are that $g$ is either a) $C^3$-close to Euclidean or b) satisfies much weaker geometric cond… ▽ More We prove that if $(M,g)$ is a topological 3-ball with a $C^4$-smooth Riemannian metric $g$, and mean-convex boundary $\partial M$ then knowledge of least areas circumscribed by simple closed curves $γ\subset \partial M$ uniquely determines the metric $g$, under some additional geometric assumptions. These are that $g$ is either a) $C^3$-close to Euclidean or b) satisfies much weaker geometric conditions which hold when the manifold is to a sufficient degree either thin, or straight. %sufficiently thin. In fact, the least area data that we require is for a much more restricted class of curves $γ\subset \partial M$. We also prove a corresponding local result: assuming only that $(M,g)$ has strictly mean convex boundary at a point $p\in\partial M$, we prove that knowledge of the least areas circumscribed by any simple closed curve $γ$ in a neighbourhood $U\subset \partial M$ of $p$ uniquely determines the metric near $p$. Additionally, we sketch the proof of a global result with no thin/straight or curvature condition, but assuming the metric admits minimal foliations "from all directions". The proofs rely on finding the metric along a continuous sweep-out of $M$ by area-minimizing surfaces; they bring together ideas from the 2D-Calderón inverse problem, minimal surface theory, and the careful analysis of a system of pseudo-differential equations. △ Less

Submitted 6 February, 2018; v1 submitted 26 November, 2017; originally announced November 2017.

Comments: Second result optimized to a broader class of thin/straight manifolds. 66 pages, 8 figures

Journal ref: Advances in Mathematics, Volume 366, 2020, 107025

The Ricci flow of asymptotically hyperbolic mass and applications

Authors: T. Balehowsky, E. Woolgar

Abstract: We consider the evolution of the asymptotically hyperbolic mass under the curvature-normalized Ricci flow of asymptotically hyperbolic, conformally compactifiable manifolds. In contrast to asymptotically flat manifolds, for which ADM mass is constant during Ricci flow, we show that the mass of an asymptotically hyperbolic manifold of dimension n>2 decays smoothly to zero exponentially in the flow… ▽ More We consider the evolution of the asymptotically hyperbolic mass under the curvature-normalized Ricci flow of asymptotically hyperbolic, conformally compactifiable manifolds. In contrast to asymptotically flat manifolds, for which ADM mass is constant during Ricci flow, we show that the mass of an asymptotically hyperbolic manifold of dimension n>2 decays smoothly to zero exponentially in the flow time. From this, we obtain a no-breathers theorem and a Ricci flow based, modified proof of the scalar curvature rigidity of zero-mass asymptotically hyperbolic manifolds. We argue that the nonconstant time evolution of the asymptotically hyperbolic mass is natural in light of a conjecture of Horowitz and Myers, and is a test of that conjecture. Finally, we use a simple parabolic scaling argument to produce a heuristic "derivation" of the constancy of ADM mass under asymptotically flat Ricci flow, starting from our decay formula for the asymptotically hyperbolic mass under the curvature-normalized flow. △ Less

Submitted 14 June, 2012; v1 submitted 4 October, 2011; originally announced October 2011.

Comments: Revised in accord with referee comments, typos and minor errors corrected, Appendix B added, footnotes in-lined; version accepted for publication

Journal ref: J Math Phys 53 (2012) 072501

The Ricci flow of the `RP3 geon' and noncompact manifolds with essential minimal spheres

Authors: T Balehowsky, E Woolgar

Abstract: It is well-known that the Ricci flow of a closed 3-manifold containing an essential minimal 2-sphere will fail to exist after a finite time. Conversely, the Ricci flow of a complete, rotationally symmetric, asymptotically flat manifold containing no minimal spheres is immortal. We discuss an intermediate case, that of a complete, noncompact manifold with essential minimal hypersphere. For 3-manifo… ▽ More It is well-known that the Ricci flow of a closed 3-manifold containing an essential minimal 2-sphere will fail to exist after a finite time. Conversely, the Ricci flow of a complete, rotationally symmetric, asymptotically flat manifold containing no minimal spheres is immortal. We discuss an intermediate case, that of a complete, noncompact manifold with essential minimal hypersphere. For 3-manifolds, if the scalar curvature vanishes on asymptotic ends and is bounded below initially by a negative constant (that depends on the initial area of the minimal sphere), we show that a singularity develops in finite time. In particular, this result applies to asymptotically flat manifolds, which are a boundary case with respect to the neckpinch theorem of M Simon. We provide numerical evolutions to explore the case where the initial scalar curvature is less than the bound. △ Less

Submitted 11 April, 2010; originally announced April 2010.