-
Reconstructing the matter power spectrum with future cosmic shear surveys
Authors:
Calvin Preston,
Alexandra Amon,
George Efstathiou
Abstract:
Analyses of cosmic shear typically condense weak lensing information over a range of scales to a single cosmological parameter, $S_8$. This paper presents a method to extract more information from Stage-IV cosmic shear measurements by directly reconstructing the matter power spectrum from linear to non-linear scales. We demonstrate that cosmic shear surveys will be sensitive to the shape of the ma…
▽ More
Analyses of cosmic shear typically condense weak lensing information over a range of scales to a single cosmological parameter, $S_8$. This paper presents a method to extract more information from Stage-IV cosmic shear measurements by directly reconstructing the matter power spectrum from linear to non-linear scales. We demonstrate that cosmic shear surveys will be sensitive to the shape of the matter power spectrum on non-linear scales. We show that it should be possible to distinguish between different models of baryonic feedback and we investigate the impact of intrinsic alignments and observational systematics on forecasted constraints. In addition to providing important information on galaxy formation, power spectrum reconstruction should provide a definitive answer to the question of whether weak lensing measurements of $S_8$ on linear scales are consistent with the $\textit{Planck}$ $Λ$CDM cosmology. In addition, power spectrum reconstruction may lead to new discoveries on the composition of the dark sector.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Weak lensing combined with the kinetic Sunyaev Zel'dovich effect: A study of baryonic feedback
Authors:
L. Bigwood,
A. Amon,
A. Schneider,
J. Salcido,
I. G. McCarthy,
C. Preston,
D. Sanchez,
D. Sijacki,
E. Schaan,
S. Ferraro,
N. Battaglia,
A. Chen,
S. Dodelson,
A. Roodman,
A. Pieres,
A. Ferte,
A. Alarcon,
A. Drlica-Wagner,
A. Choi,
A. Navarro-Alsina,
A. Campos,
A. J. Ross,
A. Carnero Rosell,
B. Yin,
B. Yanny
, et al. (100 additional authors not shown)
Abstract:
Extracting precise cosmology from weak lensing surveys requires modelling the non-linear matter power spectrum, which is suppressed at small scales due to baryonic feedback processes. However, hydrodynamical galaxy formation simulations make widely varying predictions for the amplitude and extent of this effect. We use measurements of Dark Energy Survey Year 3 weak lensing (WL) and Atacama Cosmolo…
▽ More
Extracting precise cosmology from weak lensing surveys requires modelling the non-linear matter power spectrum, which is suppressed at small scales due to baryonic feedback processes. However, hydrodynamical galaxy formation simulations make widely varying predictions for the amplitude and extent of this effect. We use measurements of Dark Energy Survey Year 3 weak lensing (WL) and Atacama Cosmology Telescope DR5 kinematic Sunyaev-Zel'dovich (kSZ) to jointly constrain cosmological and astrophysical baryonic feedback parameters using a flexible analytical model, `baryonification'. First, using WL only, we compare the $S_8$ constraints using baryonification to a simulation-calibrated halo model, a simulation-based emulator model and the approach of discarding WL measurements on small angular scales. We find that model flexibility can shift the value of $S_8$ and degrade the uncertainty. The kSZ provides additional constraints on the astrophysical parameters and shifts $S_8$ to $S_8=0.823^{+0.019}_{-0.020}$, a higher value than attained using the WL-only analysis. We measure the suppression of the non-linear matter power spectrum using WL + kSZ and constrain a mean feedback scenario that is more extreme than the predictions from most hydrodynamical simulations. We constrain the baryon fractions and the gas mass fractions and find them to be generally lower than inferred from X-ray observations and simulation predictions. We conclude that the WL + kSZ measurements provide a new and complementary benchmark for building a coherent picture of the impact of gas around galaxies across observations.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Cybersecurity in Motion: A Survey of Challenges and Requirements for Future Test Facilities of CAVs
Authors:
Ioannis Mavromatis,
Theodoros Spyridopoulos,
Pietro Carnelli,
Woon Hau Chin,
Ahmed Khalil,
Jennifer Chakravarty,
Lucia Cipolina Kun,
Robert J. Piechocki,
Colin Robbins,
Daniel Cunnington,
Leigh Chase,
Lamogha Chiazor,
Chris Preston,
Rahul,
Aftab Khan
Abstract:
The way we travel is changing rapidly, and Cooperative Intelligent Transportation Systems (C-ITSs) are at the forefront of this evolution. However, the adoption of C-ITSs introduces new risks and challenges, making cybersecurity a top priority for ensuring safety and reliability. Building on this premise, this paper presents an envisaged Cybersecurity Centre of Excellence (CSCE) designed to bolste…
▽ More
The way we travel is changing rapidly, and Cooperative Intelligent Transportation Systems (C-ITSs) are at the forefront of this evolution. However, the adoption of C-ITSs introduces new risks and challenges, making cybersecurity a top priority for ensuring safety and reliability. Building on this premise, this paper presents an envisaged Cybersecurity Centre of Excellence (CSCE) designed to bolster research, testing, and evaluation of the cybersecurity of C-ITSs. We explore the design, functionality, and challenges of CSCE's testing facilities, outlining the technological, security, and societal requirements. Through a thorough survey and analysis, we assess the effectiveness of these systems in detecting and mitigating potential threats, highlighting their flexibility to adapt to future C-ITSs. Finally, we identify current unresolved challenges in various C-ITS domains, with the aim of motivating further research into the cybersecurity of C-ITSs.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Geometric Analysis of the Generalized Surface Quasi-Geostrophic Equations
Authors:
Martin Bauer,
Patrick Heslin,
Gerard Misiołek,
Stephen C. Preston
Abstract:
We investigate the geometry of a family of equations in two dimensions which interpolate between the Euler equations of ideal hydrodynamics and the inviscid surface quasi-geostrophic equation. This family can be realised as geodesic equations on groups of diffeomorphisms. We show precisely when the corresponding Riemannian exponential map is non-linear Fredholm of index 0. We further illustrate th…
▽ More
We investigate the geometry of a family of equations in two dimensions which interpolate between the Euler equations of ideal hydrodynamics and the inviscid surface quasi-geostrophic equation. This family can be realised as geodesic equations on groups of diffeomorphisms. We show precisely when the corresponding Riemannian exponential map is non-linear Fredholm of index 0. We further illustrate this by examining the distribution of conjugate points in these settings via a Morse theoretic approach.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Touch, press and stroke: a soft capacitive sensor skin
Authors:
Mirza S. Sarwar,
Ryusuke Ishizaki,
Kieran Morton,
Claire Preston,
Tan Nguyen,
Xu Fan,
Bertille Dupont,
Leanna Hogarth,
Takahide Yoshiike,
Shahriar Mirabbasi,
John D. W. Madden
Abstract:
Soft sensors that can discriminate shear and normal force could help provide machines the fine control desirable for safe and effective physical interactions with people. A capacitive sensor is made for this purpose, composed of patterned elastomer and containing both fixed and sliding pillars that allow the sensor to deform and buckle, much like skin itself. The sensor differentiates between simu…
▽ More
Soft sensors that can discriminate shear and normal force could help provide machines the fine control desirable for safe and effective physical interactions with people. A capacitive sensor is made for this purpose, composed of patterned elastomer and containing both fixed and sliding pillars that allow the sensor to deform and buckle, much like skin itself. The sensor differentiates between simultaneously applied pressure and shear. In addition, finger proximity is detectable up to 15 mm, with a pressure and shear sensitivity of 1 kPa and a displacement resolution of 50 $μ$m. The operation is demonstrated on a simple gripper holding a cup. The combination of features and the straightforward fabrication method make this sensor a candidate for implementation as a sensing skin for humanoid robotics applications.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Liouville comparison theory for blowup of Euler-Arnold equations
Authors:
Martin Bauer,
Stephen C. Preston,
Justin Valletta
Abstract:
In this article we introduce a new blowup criterion for (generalized) Euler-Arnold equations on $\mathbb R^n$. Our method is based on treating the equation in Lagrangian coordinates, where it is an ODE on the diffeomorphism group, and comparison with the Liouville equation; in contrast to the usual comparison approach at a single point, we apply comparison in an infinite dimensional function space…
▽ More
In this article we introduce a new blowup criterion for (generalized) Euler-Arnold equations on $\mathbb R^n$. Our method is based on treating the equation in Lagrangian coordinates, where it is an ODE on the diffeomorphism group, and comparison with the Liouville equation; in contrast to the usual comparison approach at a single point, we apply comparison in an infinite dimensional function space. We thereby show that the Jacobian of the Lagrangian flow map of the solution reaches zero in finite time, which corresponds to $C^1$-blowup of the velocity field solution. We demonstrate the applicability of our result by proving blowup of smooth solutions to some higher-order versions of the EPDiff equation in all dimensions $n\geq 3$. Previous results on blowup of higher dimensional EPDiff equations were only for versions where the geometric description corresponds to a Sobolev metric of order zero or one. In these situations the behavior does not depend on the dimension and thus already solutions to the one-dimensional version were exhibiting blowup. In the present paper blowup is proved even in situations where the one-dimensional equation has global solutions, such as the EPDiff equation corresponding to a Sobolev metric of order two.
△ Less
Submitted 20 June, 2024; v1 submitted 16 June, 2023;
originally announced June 2023.
-
A non-linear solution to the $S_8$ tension II: Analysis of DES Year 3 cosmic shear
Authors:
Calvin Preston,
Alexandra Amon,
George Efstathiou
Abstract:
Weak galaxy lensing surveys have consistently reported low values of the $S_8$ parameter compared to the $\textit{Planck}\ Λ\rm{CDM}$ cosmology. Amon & Efstathiou (2022) used KiDS-1000 cosmic shear measurements to propose that this tension can be reconciled if the matter fluctuation spectrum is suppressed more strongly on non-linear scales than assumed in state-of-the-art hydrodynamical simulation…
▽ More
Weak galaxy lensing surveys have consistently reported low values of the $S_8$ parameter compared to the $\textit{Planck}\ Λ\rm{CDM}$ cosmology. Amon & Efstathiou (2022) used KiDS-1000 cosmic shear measurements to propose that this tension can be reconciled if the matter fluctuation spectrum is suppressed more strongly on non-linear scales than assumed in state-of-the-art hydrodynamical simulations. In this paper, we investigate cosmic shear data from the Dark Energy Survey (DES) Year 3. The non-linear suppression of the matter power spectrum required to resolve the $S_8$ tension between DES and the $\textit{Planck}\ Λ\rm{CDM}$ model is not as strong as inferred using KiDS data, but is still more extreme than predictions from recent numerical simulations. An alternative possibility is that non-standard dark matter contributes to the required suppression. We investigate the redshift and scale dependence of the suppression of the matter power spectrum. If our proposed explanation of the $S_8$ tension is correct, the required suppression must extend into the mildly non-linear regime to wavenumbers $k\sim 0.2 h {\rm Mpc}^{-1}$. In addition, all measures of $S_8$ using linear scales should agree with the $\textit{Planck}\ Λ\rm{CDM}$ cosmology, an expectation that will be testable to high precision in the near future.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
Conjugate points along Kolmogorov flows on the torus
Authors:
Alice Le Brigant,
Stephen C. Preston
Abstract:
The geodesics in the group of volume-preserving diffeomorphisms (volumorphisms) of a manifold $M$, for a Riemannian metric defined by the kinetic energy, can be used to model the movement of ideal fluids in that manifold. The existence of conjugate points along such geodesics reveal that these cease to be infinitesimally length-minimizing between their endpoints. In this work, we focus on the case…
▽ More
The geodesics in the group of volume-preserving diffeomorphisms (volumorphisms) of a manifold $M$, for a Riemannian metric defined by the kinetic energy, can be used to model the movement of ideal fluids in that manifold. The existence of conjugate points along such geodesics reveal that these cease to be infinitesimally length-minimizing between their endpoints. In this work, we focus on the case of the torus $M=\T^2$ and on geodesics corresponding to steady solutions of the Euler equation generated by stream functions $ψ=-\cos(mx)\cos(ny)$ for integers $m$ and $n$, called Kolmogorov flows. We show the existence of conjugate points along these geodesics for all pairs of strictly positive integers $(m,n)$, thereby completing the characterization of all pairs $(m,n)$ such that the associated Kolmogorov flow generates a geodesic with conjugate points.
△ Less
Submitted 5 December, 2023; v1 submitted 12 April, 2023;
originally announced April 2023.
-
3 methods to put a Riemannian metric on Shape Space
Authors:
Alice Barbora Tumpach,
Stephen C. Preston
Abstract:
In many applications, one is interested in the shape of an object, like the contour of a bone or the trajectory of joints of a tennis player, irrespective of the way these shapes are parameterized. However for analysis of these shape spaces, it is sometimes useful to have a parameterization at hand, in particular if one is interested in deforming shapes. The purpose of the paper is to examine thre…
▽ More
In many applications, one is interested in the shape of an object, like the contour of a bone or the trajectory of joints of a tennis player, irrespective of the way these shapes are parameterized. However for analysis of these shape spaces, it is sometimes useful to have a parameterization at hand, in particular if one is interested in deforming shapes. The purpose of the paper is to examine three different methods that one can follow to endow shape spaces with a Riemannian metric that is measuring deformations in a parameterization independent way.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Conjugate point criteria on the area-preserving diffeomorphism group
Authors:
Stephen C. Preston
Abstract:
This paper answers some questions about conjugate points along the geodesics corresponding to steady 2D Euler flows, posed by a paper of Drivas-Misiolek-Shi-Yoneda. We present a new sufficient criterion for the existence of conjugate points, which improves on the criterion of Misiolek. It applies in any rotational cell of a steady 2D Euler flow, and in case of rotational symmetry it captures all k…
▽ More
This paper answers some questions about conjugate points along the geodesics corresponding to steady 2D Euler flows, posed by a paper of Drivas-Misiolek-Shi-Yoneda. We present a new sufficient criterion for the existence of conjugate points, which improves on the criterion of Misiolek. It applies in any rotational cell of a steady 2D Euler flow, and in case of rotational symmetry it captures all known conjugate points. We give a general construction of the surfaces that admit a steady fluid with given area form, velocity profile, and vorticity profile, and from this we show how to detect conjugate points in a single rotational cell of a steady flow. When the velocity profile has a local extremum, the criterion becomes particularly simple. Several examples are provided, and in an appendix we use the Misiołek criterion to give some new examples of conjugate points along Kolmogorov flows on the torus.
△ Less
Submitted 19 June, 2022;
originally announced June 2022.
-
Solar models and McKean's breakdown theorem for the $μ$CH and $μ$DP equations
Authors:
Stephen C. Preston
Abstract:
We study the breakdown for $μ$CH and $μ$DP equations on the circle, given by $$m_t + u m_θ + λu_θ m = 0,$$ for $m = μ(u) - u_{θθ}$, where $μ$ is the mean and $λ=2$ or $λ=3$ respectively. It is already known that if the initial momentum $m_0$ never changes sign, then smooth solutions exist globally. We prove the converse: if the initial momentum changes sign, then $C^2$ solutions $u$ must break dow…
▽ More
We study the breakdown for $μ$CH and $μ$DP equations on the circle, given by $$m_t + u m_θ + λu_θ m = 0,$$ for $m = μ(u) - u_{θθ}$, where $μ$ is the mean and $λ=2$ or $λ=3$ respectively. It is already known that if the initial momentum $m_0$ never changes sign, then smooth solutions exist globally. We prove the converse: if the initial momentum changes sign, then $C^2$ solutions $u$ must break down in finite time. The technique is similar to that of McKean, who proved the same for the Camassa-Holm equation, but we introduce a new perspective involving a change of variables to treat the equation as a family of planar systems with central force for which the conserved angular momentum is precisely the conserved vorticity. We also demonstrate how this perspective can apply to give some insights for other PDEs of continuum mechanics, such as the Okamoto-Sakajo-Wunsch equation (and in particular the De Gregorio equation).
△ Less
Submitted 1 February, 2022; v1 submitted 25 July, 2021;
originally announced July 2021.
-
Axisymmetric diffeomorphisms and ideal fluids on Riemannian 3-manifolds
Authors:
Leandro Lichtenfelz,
Gerard Misiolek,
Stephen C. Preston
Abstract:
We study the Riemannian geometry of 3D axisymmetric ideal fluids. We prove that the $L^2$ exponential map on the group of volume-preserving diffeomorphisms of a $3$-manifold is Fredholm along axisymmetric flows with sufficiently small swirl. Along the way, we define the notions of axisymmetric and swirl-free diffeomorphisms of any manifold with suitable symmetries and show that such diffeomorphism…
▽ More
We study the Riemannian geometry of 3D axisymmetric ideal fluids. We prove that the $L^2$ exponential map on the group of volume-preserving diffeomorphisms of a $3$-manifold is Fredholm along axisymmetric flows with sufficiently small swirl. Along the way, we define the notions of axisymmetric and swirl-free diffeomorphisms of any manifold with suitable symmetries and show that such diffeomorphisms form a totally geodesic submanifold of infinite $L^2$ diameter inside the space of volume-preserving diffeomorphisms whose diameter is known to be finite. As examples we derive the axisymmetric Euler equations on $3$-manifolds equipped with each of Thurston's eight model geometries.
△ Less
Submitted 22 November, 2019;
originally announced November 2019.
-
Shape Analysis of Surfaces Using General Elastic Metrics
Authors:
Zhe Su,
Martin Bauer,
Stephen C. Preston,
Hamid Laga,
Eric Klassen
Abstract:
In this article we introduce a family of elastic metrics on the space of parametrized surfaces in 3D space using a corresponding family of metrics on the space of vector valued one-forms. We provide a numerical framework for the computation of geodesics with respect to these metrics. The family of metrics is invariant under rigid motions and reparametrizations; hence it induces a metric on the "sh…
▽ More
In this article we introduce a family of elastic metrics on the space of parametrized surfaces in 3D space using a corresponding family of metrics on the space of vector valued one-forms. We provide a numerical framework for the computation of geodesics with respect to these metrics. The family of metrics is invariant under rigid motions and reparametrizations; hence it induces a metric on the "shape space" of surfaces. This new class of metrics generalizes a previously studied family of elastic metrics and includes in particular the Square Root Normal Function (SRNF) metric, which has been proven successful in various applications. We demonstrate our framework by showing several examples of geodesics and compare our results with earlier results obtained from the SRNF framework.
△ Less
Submitted 7 October, 2019; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Nonpositive Curvature of the quantomorphism group and quasigeostrophic motion
Authors:
Jae Min Lee,
Stephen C. Preston
Abstract:
In this paper, we compute the sectional curvature of the quantomorphism group $\mathcal{D}_q(M)$ whose geodesic equation is the quasi-geostrophic (QG) equation in geophysics and oceanography, for flows with a stream function depending on only one variable. Using this explicit formula, we will also derive a criterion for the curvature operator to be nonpositive and discuss the role of the Froude nu…
▽ More
In this paper, we compute the sectional curvature of the quantomorphism group $\mathcal{D}_q(M)$ whose geodesic equation is the quasi-geostrophic (QG) equation in geophysics and oceanography, for flows with a stream function depending on only one variable. Using this explicit formula, we will also derive a criterion for the curvature operator to be nonpositive and discuss the role of the Froude number and the Rossby number on curvature. The main technique to obtain a usable formula is a simplification of Arnold's general formula in the case where a vector field is close to a Killing field, and then use the Green's function explicitly. We show that nonzero Froude number and Rossby numbers both tend to stabilize flows in the Lagrangian sense.
△ Less
Submitted 25 July, 2019; v1 submitted 24 July, 2019;
originally announced July 2019.
-
Isometric Immersions and the Waving of Flags
Authors:
Martin Bauer,
Jakob Møller-Andersen,
Stephen C. Preston
Abstract:
In this article we propose a novel geometric model to study the motion of a physical flag. In our approach a flag is viewed as an isometric immersion from the square with values in $\mathbb R^3$ satisfying certain boundary conditions at the flag pole. Under additional regularity constraints we show that the space of all such flags carries the structure of an infinite dimensional manifold and can b…
▽ More
In this article we propose a novel geometric model to study the motion of a physical flag. In our approach a flag is viewed as an isometric immersion from the square with values in $\mathbb R^3$ satisfying certain boundary conditions at the flag pole. Under additional regularity constraints we show that the space of all such flags carries the structure of an infinite dimensional manifold and can be viewed as a submanifold of the space of all immersions. In the second part of the article we equip the space of isometric immersions with its natural kinetic energy and derive the corresponding equations of motion. This approach can be viewed in a similar spirit as Arnold's geometric picture for the motion of an incompressible fluid.
△ Less
Submitted 15 October, 2023; v1 submitted 15 May, 2019;
originally announced May 2019.
-
A diffeomorphism-invariant metric on the space of vector-valued one-forms
Authors:
Martin Bauer,
Eric Klassen,
Stephen C. Preston,
Zhe Su
Abstract:
In this article we introduce a diffeomorphism-invariant Riemannian metric on the space of vector valued one-forms. The particular choice of metric is motivated by potential future applications in the field of functional data and shape analysis and by connections to the Ebin metric on the space of all Riemannian metrics. In the present work we calculate the geodesic equations and obtain an explicit…
▽ More
In this article we introduce a diffeomorphism-invariant Riemannian metric on the space of vector valued one-forms. The particular choice of metric is motivated by potential future applications in the field of functional data and shape analysis and by connections to the Ebin metric on the space of all Riemannian metrics. In the present work we calculate the geodesic equations and obtain an explicit formula for the solutions to the corresponding initial value problem. Using this we show that it is a geodesically and metrically incomplete space and study the existence of totally geodesic subspaces. Furthermore, we calculate the sectional curvature and observe that, depending on the dimension of the base manifold and the target space, it either has a semidefinite sign or admits both signs.
△ Less
Submitted 3 September, 2020; v1 submitted 27 December, 2018;
originally announced December 2018.
-
Vanishing distance phenomena and the geometric approach to SQG
Authors:
Martin Bauer,
Philipp Harms,
Stephen C. Preston
Abstract:
In this article we study the induced geodesic distance of fractional order Sobolev metrics on the groups of (volume preserving) diffeomorphisms and symplectomorphisms. The interest in these geometries is fueled by the observation that they allow for a geometric interpretation for prominent partial differential equations in the field of fluid dynamics. These include in particular the modified Const…
▽ More
In this article we study the induced geodesic distance of fractional order Sobolev metrics on the groups of (volume preserving) diffeomorphisms and symplectomorphisms. The interest in these geometries is fueled by the observation that they allow for a geometric interpretation for prominent partial differential equations in the field of fluid dynamics. These include in particular the modified Constantin-Lax-Majda and surface quasi-geostrophic equations. The main result of this article shows that both of these equations stem from a Riemannian metric with vanishing geodesic distance.
△ Less
Submitted 19 March, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Local well-posedness of the Camassa-Holm equation on the real line
Authors:
Jae Min Lee,
Stephen C. Preston
Abstract:
In this paper we prove the local well-posedness of the Camassa-Holm equation on the real line in the space of continuously differentiable diffeomorphisms with an appropriate decaying condition. This work was motivated by G. Misiolek who proved the same result for the Camassa-Holm equation on the periodic domain. We use the Lagrangian approach and rewrite the equation as an ODE on the Banach space.…
▽ More
In this paper we prove the local well-posedness of the Camassa-Holm equation on the real line in the space of continuously differentiable diffeomorphisms with an appropriate decaying condition. This work was motivated by G. Misiolek who proved the same result for the Camassa-Holm equation on the periodic domain. We use the Lagrangian approach and rewrite the equation as an ODE on the Banach space. Then by using the standard ODE technique, we prove existence and uniqueness. Finally, we show the continuous depdendence of the solution on the initial data by using the topological group property of the diffeomorphism group.
△ Less
Submitted 2 December, 2016;
originally announced December 2016.
-
The exponential map of the group of area-preserving diffeomorphisms of a surface with boundary
Authors:
James Benn,
Gerard Misiolek,
Stephen C. Preston
Abstract:
We prove that the Riemannian exponential map of the right-invariant $L^2$ metric on the group of volume-preserving diffeomorphisms of a two-dimensional manifold with a nonempty boundary is a nonlinear Fredholm map of index zero.
We prove that the Riemannian exponential map of the right-invariant $L^2$ metric on the group of volume-preserving diffeomorphisms of a two-dimensional manifold with a nonempty boundary is a nonlinear Fredholm map of index zero.
△ Less
Submitted 29 November, 2016;
originally announced November 2016.
-
Global Existence and Blowup for Geodesics in Universal Teichmüller Spaces
Authors:
Stephen C. Preston,
Pearce Washabaugh
Abstract:
In this paper we prove that all initially-smooth solutions of the Euler-Weil-Petersson equation, which describes geodesics on the universal Teichmüller space under the Weil-Petersson metric, will remain smooth for all time. This extends the work of Escher-Kolev for strong Riemannian metrics to the borderline case of $H^{3/2}$ metrics. In addition we show that all initially-smooth solutions of the…
▽ More
In this paper we prove that all initially-smooth solutions of the Euler-Weil-Petersson equation, which describes geodesics on the universal Teichmüller space under the Weil-Petersson metric, will remain smooth for all time. This extends the work of Escher-Kolev for strong Riemannian metrics to the borderline case of $H^{3/2}$ metrics. In addition we show that all initially-smooth solutions of the Wunsch equation, which describes geodesics on the universal Teichmüller curve under the Velling-Kirillov metric, must blow up in finite time due to wave breaking, extending work of Castro-Córdoba and Bauer-Kolev-Preston. Finally we illustrate these phenomena in terms of conformal maps of the unit disc, using the conformal welding representation of circle diffeomorphisms which is natural in Teichmüller theory.
△ Less
Submitted 22 March, 2016;
originally announced March 2016.
-
Quotient elastic metrics on the manifold of arc-length parameterized plane loops
Authors:
Alice Barbara Tumpach,
Stephen C. Preston
Abstract:
We study the pull-back of the 2-parameter family of quotient elastic metrics introduced in Mio-Srivastava-Joshi on the space of arc-length parameterized loops. This point of view has the advantage of concentrating on the manifold of arc-length parameterized curves, which is a very natural manifold when the analysis of un-parameterized curves is concerned, pushing aside the tricky quotient procedur…
▽ More
We study the pull-back of the 2-parameter family of quotient elastic metrics introduced in Mio-Srivastava-Joshi on the space of arc-length parameterized loops. This point of view has the advantage of concentrating on the manifold of arc-length parameterized curves, which is a very natural manifold when the analysis of un-parameterized curves is concerned, pushing aside the tricky quotient procedure detailed in Lahiri-Robinson-Klassen of the preshape space of parameterized curves by the reparameterization (semi-)group. In order to study the problem of finding geodesics between two given arc-length parameterized loops under these quotient elastic metrics, we give a precise computation of the gradient of the energy functional in the smooth case as well as a discretization of it, and implement a path-straightening method. This allows us to have a better understanding of how the landscape of the energy functional varies with respect to the parameters.
△ Less
Submitted 8 July, 2017; v1 submitted 22 January, 2016;
originally announced January 2016.
-
Some Notes on Finite Sets
Authors:
Chris Preston
Abstract:
These notes aim to give a gentle account to one approach to the theory of finite sets without making use of the natural numbers. They were written to be used as the basis for a student seminar. There are no real prerequisites except for a certain familiarity with the kind of mathematics seen in the first couple of years of a university mathematics course. The definition of being finite employed in…
▽ More
These notes aim to give a gentle account to one approach to the theory of finite sets without making use of the natural numbers. They were written to be used as the basis for a student seminar. There are no real prerequisites except for a certain familiarity with the kind of mathematics seen in the first couple of years of a university mathematics course. The definition of being finite employed in these notes is usually called Kuratowski-finiteness and it is essentially that employed by Whitehead and Russell in Principia Mathematica.
This is a revised and extended version of a paper with the same title from November 2015
△ Less
Submitted 6 April, 2018; v1 submitted 9 September, 2015;
originally announced September 2015.
-
Lagrangian aspects of the axisymmetric Euler equation
Authors:
Stephen C. Preston,
Alejandro Sarria
Abstract:
In this paper we are interested in geometric aspects of blowup in the axisymmetric 3D Euler equations with swirl on a cylinder. Writing the equations in Lagrangian form for the flow derivative along either the axis or the boundary and imposing oddness on the vertical component of the flow, we extend some blowup criteria due to Chae, Constantin, and Wu related to assumptions on the sign of the pres…
▽ More
In this paper we are interested in geometric aspects of blowup in the axisymmetric 3D Euler equations with swirl on a cylinder. Writing the equations in Lagrangian form for the flow derivative along either the axis or the boundary and imposing oddness on the vertical component of the flow, we extend some blowup criteria due to Chae, Constantin, and Wu related to assumptions on the sign of the pressure Hessian. In addition we give a geometric interpretation of the results, both in terms of the local geometry along trajectories and in terms of the Riemannian geometry of the volume-preserving diffeomorphism group.
△ Less
Submitted 2 December, 2015; v1 submitted 20 May, 2015;
originally announced May 2015.
-
Geometric investigations of a vorticity model equation
Authors:
Martin Bauer,
Boris Kolev,
Stephen C. Preston
Abstract:
This article consists of a detailed geometric study of the one-dimensional vorticity model equation $$ω_{t} + uω_{x} + 2ωu_{x} = 0, \qquad ω= H u_{x}, \qquad t\in\mathbb{R},\; x\in S^{1}\,,$$ which is a particular case of the generalized Constantin-Lax-Majda equation. Wunsch showed that this equation is the Euler-Arnold equation on $\operatorname{Diff}(S^{1})$ when the latter is endowed with the r…
▽ More
This article consists of a detailed geometric study of the one-dimensional vorticity model equation $$ω_{t} + uω_{x} + 2ωu_{x} = 0, \qquad ω= H u_{x}, \qquad t\in\mathbb{R},\; x\in S^{1}\,,$$ which is a particular case of the generalized Constantin-Lax-Majda equation. Wunsch showed that this equation is the Euler-Arnold equation on $\operatorname{Diff}(S^{1})$ when the latter is endowed with the right-invariant homogeneous $\dot{H}^{1/2}$-metric. In this article we prove that the exponential map of this Riemannian metric is not Fredholm and that the sectional curvature is locally unbounded. Furthermore, we prove a Beale-Kato-Majda-type blow-up criterion, which we then use to demonstrate a link to our non-Fredholmness result. Finally, we extend a blow-up result of Castro-Córdoba to the periodic case and to a much wider class of initial conditions, using a new generalization of an inequality for Hilbert transforms due to Córdoba-Córdoba.
△ Less
Submitted 14 August, 2015; v1 submitted 29 April, 2015;
originally announced April 2015.
-
Geometry of the contactomorphism group
Authors:
Boramey Chhay,
Stephen C. Preston
Abstract:
In this paper we examine the Riemannian geometry of the group of contactomorphisms of a compact contact manifold. We compute the sectional curvature of $\mathcal{D}_θ(M)$ in the sections containing the Reeb field and show that it is non-negative. We also solve explicitly the Jacobi equation along the geodesic corresponding to the flow of the Reeb field and determine the conjugate points. Finally,…
▽ More
In this paper we examine the Riemannian geometry of the group of contactomorphisms of a compact contact manifold. We compute the sectional curvature of $\mathcal{D}_θ(M)$ in the sections containing the Reeb field and show that it is non-negative. We also solve explicitly the Jacobi equation along the geodesic corresponding to the flow of the Reeb field and determine the conjugate points. Finally, we show that the Riemannian exponential map is a non-linear Fredholm map of index zero.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.
-
Riemannian geometry of the contactomorphism group
Authors:
David G. Ebin,
Stephen C. Preston
Abstract:
We define a right-invariant Riemannian metric on the group of contactomorphisms and study its Euler-Arnold equation. If the metric is associated to the contact form, the Euler-Arnold equation reduces to $m_t + u(m) + (n+2) mE(f) = 0$, in terms of the Reeb field $E$, a stream function $f$, the contact vector field $u$ defined by $f$, and the momentum $m = f - Δf$. Here the equation is considered on…
▽ More
We define a right-invariant Riemannian metric on the group of contactomorphisms and study its Euler-Arnold equation. If the metric is associated to the contact form, the Euler-Arnold equation reduces to $m_t + u(m) + (n+2) mE(f) = 0$, in terms of the Reeb field $E$, a stream function $f$, the contact vector field $u$ defined by $f$, and the momentum $m = f - Δf$. Here the equation is considered on a compact manifold $M$ of dimension $2n+1$. When $n=0$ this reduces to the Camassa-Holm equation, and we emphasize the analogy with the higher-order equation.
We use the usual momentum conservation law for Euler-Arnold equations to rewrite the geodesic equation as a smooth first-order equation on the contactomorphism group of Sobolev class $H^s$, and thus obtain local existence in time of solutions which depend smoothly on initial data. In addition we prove a global existence criterion analogous to the Beale-Kato-Majda criterion in fluid mechanics, and show how this criterion is automatically satisfied on the totally geodesic subgroup of quantomorphisms. Finally we briefly discuss singular solutions and conservation laws of the Euler-Arnold equation.
△ Less
Submitted 7 September, 2014;
originally announced September 2014.
-
The Geometry of Axisymmetric Ideal Fluid Flows with Swirl
Authors:
Pearce Washabaugh,
Stephen C. Preston
Abstract:
The sectional curvature of the volume preserving diffeomorphism group of a Riemannian manifold $M$ can give information about the stability of inviscid, incompressible fluid flows on $M$. We demonstrate that the submanifold of the volumorphism group of the solid flat torus generated by axisymmetric fluid flows with swirl, denoted by $\mathcal{D}_{μ,E}(M)$, has positive sectional curvature in every…
▽ More
The sectional curvature of the volume preserving diffeomorphism group of a Riemannian manifold $M$ can give information about the stability of inviscid, incompressible fluid flows on $M$. We demonstrate that the submanifold of the volumorphism group of the solid flat torus generated by axisymmetric fluid flows with swirl, denoted by $\mathcal{D}_{μ,E}(M)$, has positive sectional curvature in every section containing the field $X = u(r)\partial_θ$ iff $\partial_r(ru^2)>0$. This is in sharp contrast to the situation on $\mathcal{D}_μ(M)$, where only Killing fields $X$ have nonnegative sectional curvature in all sections containing it. We also show that this criterion guarantees the existence of conjugate points on $\mathcal{D}_{μ,E}(M)$ along the geodesic defined by $X$.
△ Less
Submitted 7 September, 2014;
originally announced September 2014.
-
One-parameter solutions of the Euler-Arnold equation on the contactomorphism group
Authors:
Stephen C. Preston,
Alejandro Sarria
Abstract:
We study solutions of the equation $$ g_t-g_{tyy} + 4g^2 - 4gg_{yy} = y gg_{yyy}-yg_yg_{yy}, \qquad y\in\mathbb{R},$$ which arises by considering solutions of the Euler-Arnold equation on a contactomorphism group when the stream function is of the form $f(t,x,y,z) = zg(t,y)$. The equation is analogous to both the Camassa-Holm equation and the Proudman-Johnson equation. We write the equation as an…
▽ More
We study solutions of the equation $$ g_t-g_{tyy} + 4g^2 - 4gg_{yy} = y gg_{yyy}-yg_yg_{yy}, \qquad y\in\mathbb{R},$$ which arises by considering solutions of the Euler-Arnold equation on a contactomorphism group when the stream function is of the form $f(t,x,y,z) = zg(t,y)$. The equation is analogous to both the Camassa-Holm equation and the Proudman-Johnson equation. We write the equation as an ODE in a Banach space to establish local existence, and we describe conditions leading to global existence and conditions leading to blowup in finite time.
△ Less
Submitted 16 May, 2014;
originally announced May 2014.
-
Riemannian geometry on the quantomorphism group
Authors:
David G. Ebin,
Stephen C. Preston
Abstract:
We are interested in the geometry of the group $\mathcal{D}_q(M)$ of diffeomorphisms preserving a contact form $θ$ on a manifold $M$. We define a Riemannian metric on $\mathcal{D}_q(M)$, compute the corresponding geodesic equation, and show that solutions exist for all time and depend smoothly on initial conditions. In certain special cases (such as on the 3-sphere), the geodesic equation is a sim…
▽ More
We are interested in the geometry of the group $\mathcal{D}_q(M)$ of diffeomorphisms preserving a contact form $θ$ on a manifold $M$. We define a Riemannian metric on $\mathcal{D}_q(M)$, compute the corresponding geodesic equation, and show that solutions exist for all time and depend smoothly on initial conditions. In certain special cases (such as on the 3-sphere), the geodesic equation is a simplified version of the quasigeostrophic equation, so we obtain a new geodesic interpretation of this geophysical system. We also show that the genuine quasigeostrophic equation on $S^2$ can be obtained as an Euler-Arnold equation on a one-dimensional central extension of $T_{\id}\mathcal{D}_q(M)$, and that our global existence result extends to this case.
If $E$ is the Reeb field of $θ$ and $μ$ is the volume form, assumed compatible in the sense that $\text{div} E=0$, we show that $\mathcal{D}_q(M)$ is a smooth submanifold of $\mathcal{D}_{E,μ}(M)$, the space of diffeomorphisms preserving the vector field $E$ and the volume form $μ$, in the sense of $H^s$ Sobolev completions. The latter manifold is related to symmetric motion of ideal fluids. We further prove that the corresponding geodesic equations and projections are $C^{\infty}$ objects in the Sobolev topology.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
The geometry of barotropic flow
Authors:
Stephen C. Preston
Abstract:
In this article we write the equations of barotropic compressible fluid mechanics as a geodesic equation on an infinite-dimensional manifold. The equations are given by \begin{align} u_t + \nabla_uu = -\frac{1}ρ \grad p \\ ρ_t + \diver{(ρu)} = 0, \end{align} where the fluid fills up a compact manifold $M$, $u$ is a time-dependent velocity field on $M$, and $ρ$ is the density, a positive function o…
▽ More
In this article we write the equations of barotropic compressible fluid mechanics as a geodesic equation on an infinite-dimensional manifold. The equations are given by \begin{align} u_t + \nabla_uu = -\frac{1}ρ \grad p \\ ρ_t + \diver{(ρu)} = 0, \end{align} where the fluid fills up a compact manifold $M$, $u$ is a time-dependent velocity field on $M$, and $ρ$ is the density, a positive function on $M$. The barotropic assumption is that the pressure $p$ is some given function of the density, although our methods also extend to certain more general isentropic flows. Our infinite-dimensional manifold is the product $\mathcal{D}(M)\times C^{\infty}(M,\mathbb{R})$. This is a group using the semidirect product (which is sometimes incorporated in other treatments), but the Riemannian metric we use is neither left- nor right-invariant. Hence our geodesic equation is \emph{not} an Euler-Arnold equation. We compute the sectional curvature and show that at least when $M=S^1$, the curvature is always nonnegative. We also establish some results on the Lagrangian linear stability of solutions of this system, for certain nonsteady solutions in one dimension and steady solutions in two dimensions.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
Coupled one-dimensional dynamical systems
Authors:
Chris Preston
Abstract:
This note aims to bring attention to a simple class of discrete dynamical systems exhibiting some complex behaviour. Each of these systems is defined as a self-mapping of the unit square and is obtained by coupling two families of self-mappings of the unit interval. There is no real mathematics to be found here (in the sense of results stated and proved) and in fact there is an almost complete lac…
▽ More
This note aims to bring attention to a simple class of discrete dynamical systems exhibiting some complex behaviour. Each of these systems is defined as a self-mapping of the unit square and is obtained by coupling two families of self-mappings of the unit interval. There is no real mathematics to be found here (in the sense of results stated and proved) and in fact there is an almost complete lack of precise statements. The only thing on offer is the definition of the mappings and a few nice pictures showing examples of their asymptotic limit sets. There is a JavaScript program available, accessible at www.math.uni-bielefeld.de/~preston/iterates.html, which can be used to `discover' more about these mappings. The program might prove to be helpful for anyone interested in doing this.
△ Less
Submitted 19 January, 2012;
originally announced January 2012.
-
Curvatures of Sobolev metrics on diffeomorphism groups
Authors:
Boris Khesin,
Jonatan Lenells,
Gerard Misiolek,
Stephen C. Preston
Abstract:
Many conservative partial differential equations correspond to geodesic equations on groups of diffeomorphisms. Stability of their solutions can be studied by examining sectional curvature of these groups: negative curvature in all sections implies exponential growth of perturbations and hence suggests instability, while positive curvature suggests stability. In the first part of the paper we surv…
▽ More
Many conservative partial differential equations correspond to geodesic equations on groups of diffeomorphisms. Stability of their solutions can be studied by examining sectional curvature of these groups: negative curvature in all sections implies exponential growth of perturbations and hence suggests instability, while positive curvature suggests stability. In the first part of the paper we survey what we currently know about the curvature-stability relation in this context and provide detailed calculations for several equations of continuum mechanics associated to Sobolev $H^0$ and $H^1$ energies. In the second part we prove that in most cases (with some notable exceptions) the sectional curvature assumes both signs.
△ Less
Submitted 9 September, 2011; v1 submitted 8 September, 2011;
originally announced September 2011.
-
The motion of whips and chains
Authors:
Stephen C. Preston
Abstract:
We study the motion of an inextensible string (a whip) fixed at one point in the absence of gravity, satisfying the equations $$ η_{tt} = \partial_s(ση_s), \qquad σ_{ss}-\lvert η_{ss}\rvert^2 = -\lvert η_{st}\rvert^2, \qquad \lvert η_s\rvert^2 \equiv 1 $$ with boundary conditions $η(t,1)=0$ and $σ(t,0)=0$. We prove local existence and uniqueness in the space defined by the weighted Sobolev energy…
▽ More
We study the motion of an inextensible string (a whip) fixed at one point in the absence of gravity, satisfying the equations $$ η_{tt} = \partial_s(ση_s), \qquad σ_{ss}-\lvert η_{ss}\rvert^2 = -\lvert η_{st}\rvert^2, \qquad \lvert η_s\rvert^2 \equiv 1 $$ with boundary conditions $η(t,1)=0$ and $σ(t,0)=0$. We prove local existence and uniqueness in the space defined by the weighted Sobolev energy $$ \sum_{\ell=0}^m \int_0^1 s^{\ell} \lvert \partial_s^{\ell}η_t\rvert^2 \, ds + \int_0^1 s^{\ell+1} \lvert \partial_s^{\ell+1}η\rvert^2 \, ds, $$ when $m\ge 3$. In addition we show persistence of smooth solutions as long as the energy for $m=3$ remains bounded. We do this via the method of lines, approximating with a discrete system of coupled pendula (a chain) for which the same estimates hold.
△ Less
Submitted 10 May, 2011;
originally announced May 2011.
-
The geometry of whips
Authors:
Stephen C. Preston
Abstract:
In this paper we study geometric aspects of the space of arcs parametrized by unit speed in the $L^2$ metric. Physically this corresponds to the motion of a whip, and it also arises in studying shape recognition. The geodesic equation is the nonlinear, nonlocal wave equation $η_{tt} = \partial_s(ση_s)$, with $\lvert η_s\rvert\equiv 1$ and $σ$ given by…
▽ More
In this paper we study geometric aspects of the space of arcs parametrized by unit speed in the $L^2$ metric. Physically this corresponds to the motion of a whip, and it also arises in studying shape recognition. The geodesic equation is the nonlinear, nonlocal wave equation $η_{tt} = \partial_s(ση_s)$, with $\lvert η_s\rvert\equiv 1$ and $σ$ given by $σ_{ss}- \lvert η_{ss}\rvert^2 σ= -\lvert η_{st}\rvert^2$, with boundary conditions $σ(t,1)=σ(t,-1)=0$ and $η(t,0)=0$. We prove that the space of arcs is a submanifold of the space of all curves, that the orthogonal projection exists but is not smooth, and as a consequence we get a Riemannian exponential map that it continuous and even differentiable but not $C^1$. This is related to the fact that the curvature is positive but unbounded above, so that there are conjugate points at arbitrarily short times along any geodesic.
We also compare this metric to an $L^2$ metric introduced by Michor and Mumford for shape recognition on the homogeneous space $\text{Imm}(I, \mathbb{R}^2)/\mathcal{D}(I)$ of immersed curves modulo reparametrizations; we show it has some similar properties (such as nonnegative but unbounded curvature and a nonsmooth exponential map), but that the $L^2$ metric on the arc space yields a genuine Riemannian distance.
△ Less
Submitted 9 May, 2011;
originally announced May 2011.
-
Geometry of diffeomorphism groups, complete integrability and optimal transport
Authors:
Boris Khesin,
Jonatan Lenells,
Gerard Misiolek,
Stephen C. Preston
Abstract:
We study the geometry of the space of densities $\VolM$, which is the quotient space $\Diff(M)/\Diff_μ(M)$ of the diffeomorphism group of a compact manifold $M$ by the subgroup of volume-preserving diffemorphisms, endowed with a right-invariant homogeneous Sobolev $\dot{H}^1$-metric. We construct an explicit isometry from this space to (a subset of) an infinite-dimensional sphere and show that the…
▽ More
We study the geometry of the space of densities $\VolM$, which is the quotient space $\Diff(M)/\Diff_μ(M)$ of the diffeomorphism group of a compact manifold $M$ by the subgroup of volume-preserving diffemorphisms, endowed with a right-invariant homogeneous Sobolev $\dot{H}^1$-metric. We construct an explicit isometry from this space to (a subset of) an infinite-dimensional sphere and show that the associated Euler-Arnold equation is a completely integrable system in any space dimension. We also prove that its smooth solutions break down in finite time.
Furthermore, we show that the $\dot{H}^1$-metric induces the Fisher-Rao (information) metric on the space of probability distributions, and thus its Riemannian distance is the spherical version of Hellinger distance. We compare it to the Wasserstein distance in optimal transport which is induced by an $L^2$-metric on $\Diff(M)$. The $\dot{H}^1$ geometry we introduce in this paper can be seen as an infinite-dimensional version of the geometric theory of statistical manifolds.
△ Less
Submitted 3 May, 2011;
originally announced May 2011.
-
Iterates of mappings which are almost continuous and open
Authors:
Chris Preston
Abstract:
This note presents an approach to studying the iterates of a mapping whose restriction to the complement of a finite set is continuous and open. The main examples to which the approach can be applied are piecewise monotone mappings defined on an interval or a finite graph.
This note presents an approach to studying the iterates of a mapping whose restriction to the complement of a finite set is continuous and open. The main examples to which the approach can be applied are piecewise monotone mappings defined on an interval or a finite graph.
△ Less
Submitted 20 November, 2010; v1 submitted 6 October, 2010;
originally announced October 2010.
-
Computing with Equations
Authors:
Chris Preston
Abstract:
The intention of these notes is to give a mathematical account of how I believe students could be taught to think about functional programming languages and to explain how such languages work.
The intention of these notes is to give a mathematical account of how I believe students could be taught to think about functional programming languages and to explain how such languages work.
△ Less
Submitted 6 August, 2010;
originally announced August 2010.
-
A Note on a Theorem of Parry
Authors:
Chris Preston
Abstract:
A well-known result of Bill Parry shows that a topologically transitive continuous piecewise monotone mapping with positive topological entropy is conjugate to a uniformly piecewise linear mapping with slope determined by the entropy. In this note we generalise Parry's result somewhat to what we call the class of essentially transitive mappings. This generalisation is of some interest in as much a…
▽ More
A well-known result of Bill Parry shows that a topologically transitive continuous piecewise monotone mapping with positive topological entropy is conjugate to a uniformly piecewise linear mapping with slope determined by the entropy. In this note we generalise Parry's result somewhat to what we call the class of essentially transitive mappings. This generalisation is of some interest in as much as for mappings with one turning point the converse also holds, i.e., a uniformly piecewise linear mapping with one turning point and with slope greater than 1 is essentially transitive.
△ Less
Submitted 4 August, 2010;
originally announced August 2010.
-
Refining quasi-probability kernels
Authors:
Chris Preston
Abstract:
We consider the problem of modifying a quasi-probability kernel in order to improve its properties without changing the set of measures whose conditional probabilities it specifies.
We consider the problem of modifying a quasi-probability kernel in order to improve its properties without changing the set of measures whose conditional probabilities it specifies.
△ Less
Submitted 16 March, 2010;
originally announced March 2010.
-
Specifying Data Objects with Initial Algebras
Authors:
Chris Preston
Abstract:
This study presents a systematic approach to specifying data objects with the help of initial algebras. The primary aim is to describe the set-up to be found in modern functional programming languages such as Haskell and ML, although it can also be applied to more general situations.
This study presents a systematic approach to specifying data objects with the help of initial algebras. The primary aim is to describe the set-up to be found in modern functional programming languages such as Haskell and ML, although it can also be applied to more general situations.
△ Less
Submitted 19 September, 2009;
originally announced September 2009.
-
Existence of monoids compatible with a family of mappings
Authors:
Chris Preston
Abstract:
These notes present an approach to obtaining monoid operations which are compatible with a given family of mappings in the sense that the mappings become left translations in the monoid. This can be applied to various situations such as the addition on the natural numbers and the integers as well as the concatenation of lists.
These notes present an approach to obtaining monoid operations which are compatible with a given family of mappings in the sense that the mappings become left translations in the monoid. This can be applied to various situations such as the addition on the natural numbers and the integers as well as the concatenation of lists.
△ Less
Submitted 2 August, 2010; v1 submitted 5 March, 2009;
originally announced March 2009.
-
Minimal counting systems and commutative monoids
Authors:
Chris Preston
Abstract:
These notes present an approach to obtaining the basic operations of addition and multiplication on the natural numbers in terms of elementary results about commutative monoids.
These notes present an approach to obtaining the basic operations of addition and multiplication on the natural numbers in terms of elementary results about commutative monoids.
△ Less
Submitted 12 February, 2009;
originally announced February 2009.
-
Some Notes on Standard Borel and Related Spaces
Authors:
Chris Preston
Abstract:
These notes give an elementary approach to parts of the theory of standard Borel and analytic spaces.
These notes give an elementary approach to parts of the theory of standard Borel and analytic spaces.
△ Less
Submitted 18 September, 2008;
originally announced September 2008.
-
Finite Sets and Counting
Authors:
Chris Preston
Abstract:
We start by presenting a theory of finite sets using the approach which is essentially that taken by Whitehead and Russell in Principia Mathematica}, and which does not involve the natural numbers (or any other infinite set). This theory is then applied to prove results about structures which, like the natural numbers, satisfy the principle of mathematical induction, but do not necessarily satisfy…
▽ More
We start by presenting a theory of finite sets using the approach which is essentially that taken by Whitehead and Russell in Principia Mathematica}, and which does not involve the natural numbers (or any other infinite set). This theory is then applied to prove results about structures which, like the natural numbers, satisfy the principle of mathematical induction, but do not necessarily satisfy the remaining Peano axioms.
△ Less
Submitted 19 June, 2010; v1 submitted 31 August, 2008;
originally announced September 2008.
-
Geometry of whips and chains
Authors:
Stephen C. Preston
Abstract:
We study the geometry of the inextensible string (the whip) and its discrete approximation (the chain). In the absence of gravity, both motions represent geodesic motions on certain manifolds. We show how the motion of the chain converges to that of a whip, and how the curvature of the chain's configuration space converges to that of the whip's configuration space. Finally we speculate on the an…
▽ More
We study the geometry of the inextensible string (the whip) and its discrete approximation (the chain). In the absence of gravity, both motions represent geodesic motions on certain manifolds. We show how the motion of the chain converges to that of a whip, and how the curvature of the chain's configuration space converges to that of the whip's configuration space. Finally we speculate on the analogous approximation of an incompressible fluid by a discrete system.
△ Less
Submitted 9 May, 2011; v1 submitted 9 April, 2008;
originally announced April 2008.
-
The WKB method for conjugate points in the volumorphism group
Authors:
Stephen C. Preston
Abstract:
In this paper, we are interested in the location of conjugate points along a geodesic in the volumorphism group of a compact three-dimensional manifold without boundary (the configuration space of an ideal fluid). As shown in the author's previous work, these are typically pathological, i.e., they can occur in clusters along a geodesic, unlike on finite-dimensional Riemannian manifolds. (This ph…
▽ More
In this paper, we are interested in the location of conjugate points along a geodesic in the volumorphism group of a compact three-dimensional manifold without boundary (the configuration space of an ideal fluid). As shown in the author's previous work, these are typically pathological, i.e., they can occur in clusters along a geodesic, unlike on finite-dimensional Riemannian manifolds. (This phenomenon does not occur for the volumorphism groups of two-dimensional manifolds, which are known to have discrete conjugate points along any geodesic by Ebin-Misiolek-Preston.) We give an explicit algorithm for finding them in terms of a certain ordinary differential equation, derived via the WKB-approximation methods of Lifschitz-Hameiri and Friedlander-Vishik. We prove that for a typical geodesic in the volumorphism group, there will be pathological conjugate point locations filling up closed intervals; hence typically the zeroes of Jacobi fields on the volumorphism group are dense in intervals.
△ Less
Submitted 20 October, 2007;
originally announced October 2007.