Smooth Maps Research Articles

Smooth and proper maps with respect to a fibration

Abstract This paper explain how the geometric notions of local contractibility and properness are related to the $\Sigma$ -types and $\Pi$ -types constructors of dependent type theory. We shall see how every Grothendieck fibration comes canonically with such a pair of notions—called smooth and proper maps—and how this recovers the previous examples and many more. This paper uses category theory to reveal a common structure between geometry and logic, with the hope that the parallel will be beneficial to both fields. The style is mostly expository, and the main results are proved in external references.

On convergence of linear response formulae in some piecewise hyperbolic maps

Abstract When high-dimensional non-uniformly hyperbolic chaotic systems undergo dynamical perturbations, their long-time statistics are generally observed to respond differentiably with respect to the perturbation. Although important in applications, this differentiability, which is thought to be connected to the dimensionality of the system, has remained resistant to rigorous study outside of the one-dimensional setting. To model non-uniformly hyperbolic systems in multiple dimensions, we consider a family of the mathematically tractable class of piecewise smooth hyperbolic maps, the Lozi maps. For these maps, we prove that the existence of a formal derivative of the response reduces to conditional mixing of the SRB measure on the singularity set. Heuristically, this suggests that Lozi maps, and piecewise uniformly expanding maps more generally, should have linear response.

Deep learning for prediction and classifying the dynamical behaviour of piecewise-smooth maps

This paper explores novel ways of predicting and classifying the dynamics of piecewise smooth maps using various deep learning models. Moreover, we have used machine learning models such as Decision Tree Classifier, Logistic Regression, K-Nearest Neighbor, Random Forest, and Support Vector Machine for predicting the border collision bifurcation in the 1D normal form map and the 1D tent map. The decision tree classifier best predicts the border collision bifurcation for the 1D normal form map, the random forest, and the 1D tent map. This study introduces a novel application of deep learning models to cobweb diagrams and phase portraits, which provides a new perspective for classifying regular and chaotic behaviour. Further, we classified the regular and chaotic behaviour of the 1D tent map and the 2D Lozi map using deep learning models like Convolutional Neural Network (CNN), ResNet50, and ConvLSTM via cobweb diagram and phase portraits, where CNN exhibits better performance than other models. We also classified the chaotic and hyperchaotic behaviour of the 3D piecewise smooth map using deep learning models such as the Feed Forward Neural Network (FNN), Long Short-Term Memory (LSTM), and Recurrent Neural Network (RNN). We have shown that LSTM performs best for classifying chaotic and hyperchaotic behaviour. Additionally, LSTM outperforms other models in accuracy and computational efficiency, making it highly effective for real-time analysis. Finally, deep learning models such as Long Short Term Memory (LSTM) and Recurrent Neural Network (RNN) are used for reconstructing the two-parameter bifurcation charts of 2D normal form map, in which LSTM is more precise than RNN in reconstructing the two-parametric charts.

A bayesian shared component spatial modeling approach for identifying the geographic pattern of local associations: a case study of young offenders and violent crimes in Greater Toronto Area

Background settingTraditional spatial or non-spatial regression techniques require individual variables to be defined as dependent and independent variables, often assuming a unidirectional and (global) linear relationship between the variables under study. This research studies the Bayesian shared component spatial (BSCS) modeling as an alternative approach to identifying local associations between two or more variables and their spatial patterns.MethodsThe variables to be studied, young offenders (YO) and violent crimes (VC), are treated as (multiple) outcomes in the BSCS model. Separate non-BSCS models that treat YO as the outcome variable and VC as the independent variable have also been developed. Results are compared in terms of model fit, risk estimates, and identification of hotspot areas.ResultsCompared to the traditional non-BSCS models, the BSCS models fitted the data better and identified a strong spatial association between YO and VC. Using the BSCS technique allowed both the YO and VC to be modeled as outcome variables, assuming common data-generating processes that are influenced by a set of socioeconomic covariates. The BSCS technique offered smooth and easy mapping of the identified association, with the maps displaying the common (shared) and separate (individual) hotspots of YO and VC.ConclusionsThe proposed method can transform existing association analyses from methods requiring inputs as dependent and independent variables to outcome variables only and shift the reliance on regression coefficients to probability risk maps for characterizing (local) associations between the outcomes.

On prescribing the number of singular points in a Cosserat-elastic solid

Abstract In a geometrically non-linear Cosserat model for micro-polar elastic solids, we prove that critical points of the Cosserat energy functional with an arbitrary large (finite) number of singularities do exist, whereas Cosserat energy minimizers are known to be locally Hölder continuous. To reach that goal, we first develop a technique to insert dipole pairs of singularities into smooth maps while controlling the amount of Cosserat energy needed to do so. We then use this method to force an arbitrary number of singular points into (weak) Cosserat-elastic solids by prescribing smooth boundary data. The boundary data themselves are given in such a way, that they contain no topological obstruction to regularity. Throughout this paper, we often exploit connections between harmonic maps and Cosserat-elastic solids, so that we are able to adapt and incorporate ideas of R. Hardt and F.-H. Lin for harmonic maps with singularities, as well as of F. Béthuel for dipole pairs of singularities.

Joint [Formula: see text] and Image Reconstruction in Low-Field MRI by Physics-Informed Deep-Learning.

We present a model-based image reconstruction approach based on unrolled neural networks which corrects for image distortion and noise in low-field ( B0 ∼ 50 mT) MRI. Utilising knowledge about the underlying physics, a novel network architecture (SH-Net) is introduced which involves the estimation of spherical harmonic coefficients to guarantee a spatially smooth field map estimate. The SH-Net is integrated in an end-to-end trainable model which jointly estimates the B0-field map as well as the image. Experiments were conducted on retrospectively simulated low-field data of human knees. We compare our model to different model-based approaches at distinct noise levels and various B0-field distributions. Our results show that our physics-informed neural network approach outperforms the purely model-based methods by improving the PSNR up to 11.7% and the RMSE up to 86.3%. Our end-to-end trained model-based approach outperforms existing methods in reconstructing image and B0-field maps in the low-field regime. low-field MRI is becoming increasingly more popular as it enables access to MR in challenging situations such as intensive care units or resource poor areas. Our method allows for fast and accurate image reconstruction in such low-field imaging with B0-inhomogeneity compensation under a wide range of various environmental conditions.

Geometry of infinite dimensional Cartan developments

The Cartan development takes a Lie algebra valued 1-form satisfying the Maurer–Cartan equation on a simply connected manifold [Formula: see text] to a smooth mapping from [Formula: see text] into the Lie group. In this paper, this is generalized to infinite dimensional [Formula: see text] for infinite dimensional regular Lie groups. The Cartan development is viewed as a generalization of the evolution map of a regular Lie group. The tangent mapping of a Cartan development is identified as another Cartan development.

Exploring chaos and ergodic behavior of an inductorless circuit driven by stochastic parameters

There exist extensive studies on periodic and random perturbations of various smooth maps investigating their dynamics. Unlike smooth maps, non-smooth maps are yet to be studied extensively under a stochastic regime. This paper presents a stochastic piecewise-smooth map derived from a simple inductorless switching circuit. The stochasticity is introduced in parameter values. The distribution of the parameter values is bounded and randomly selected from uniform and triangular distributions and ranges between high and low bifurcation parameter values of the deterministic map. Due to this inherent stochasticity in parameter values, the time evolution of the state variable cannot be predicted at a specific time instant. We observe that the state variable exhibits completely ergodic behavior when the minimum value of the parameter is the same as the minimum bifurcation parameter of the deterministic system. However, the ensemble average of the state variable converges to a fixed value. The system demonstrates nonchaotic behavior for a particular range of parameter values but the deterministic map in that bifurcation range shows interplay between chaos and periodic orbits. The values of Lyapunov exponents decrease monotonically with increased asymmetry of the distribution from which the bifurcation parameter values are chosen. We determine the probability density function of the stochastic map and verify its invariance under initial conditions. The most noteworthy result is the disappearance of chaotic behavior when the lower range of the distribution is varied while maintaining a fixed upper threshold for a particular distribution, even though the deterministic map exhibits an array of periodic and chaotic behaviors within the range. As the period-incrementing cascade with chaotic inclusion only occurs in nonsmooth maps, this paper numerically shows the stochasticity of a piecewise-smooth map obtained from a practical system for the first time where randomness is introduced in the parameter space.

An infinite–rank Lie algebra associated to SL(2,R) and SL(2,R)/U(1)

We construct a generalised notion of Kac-Moody algebras using smooth maps from the non-compact manifolds M= SL(2,R) and M= SL(2,R)/U(1) to a finite-dimensional simple Lie group G. This construction is achieved through two equivalent ways: by means of the Plancherel Theorem and by identifying a Hilbert basis within L2(M). We analyze the existence of central extensions and identify those in duality with Hermitean operators on M. By inspecting the Clebsch–Gordan coefficients of sl(2,R), we derive the Lie brackets characterising the corresponding generalised Kac-Moody algebras. The root structure of these algebras is identified, and it is shown that an infinite number of simultaneously commuting operators can be defined. Furthermore, we briefly touch upon applications of these algebras within the realm of supergravity, particularly in scenarios where the scalar fields coordinatize the non-compact manifold SL(2,R)/U(1).

A crossed module representation of a 2-group constructed from the 3-loop group Ω3G\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Omega ^3G$$\\end{document}

The quantization of chiral fermions on a 3-manifold in an external gauge potential is known to lead to an abelian extension of the gauge group. In this article, we concentrate on the case of Ω3G\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Omega ^3 G$$\\end{document} of based smooth maps on a 3-sphere taking values in a compact Lie group G. There is a crossed module constructed from an abelian extension Ω3G^\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\widehat{\\Omega ^3 G}$$\\end{document} of this group and a group of automorphisms acting on it as explained in a recent article by Mickelsson and Niemimäki. We shall construct a representation of this crossed module in terms of a representation of Ω3G^\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\widehat{\\Omega ^3 G}$$\\end{document} on a space of functions of gauge potentials with values in a fermionic Fock space and a representation of the automorphism group of Ω3G^\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\widehat{\\Omega ^3 G}$$\\end{document} as outer automorphisms of the canonical anticommutation relations algebra in the Fock space.

Digital Visualization of Environmental Risk Indicators in the Territory of the Urban Industrial Zone

This study focused on predicting the spatial distribution of environmental risk indicators using mathematical modeling methods including machine learning. The northern industrial zone of Pavlodar City in Kazakhstan was used as a model territory for the case. Nine models based on the methods kNN, gradient boosting, artificial neural networks, Kriging, and multilevel b-spline interpolation were employed to analyze pollution data and assess their effectiveness in predicting pollution levels. Each model tackled the problem as a regression task, aiming to estimate the pollution load index (PLI) values for specific locations. It was revealed that the maximum PLI values were mainly located to the southwest of the TPPs over some distance from their territories according to the average wind rose for Pavlodar City. Another area of high PLI was located in the northern part of the studied region, near the Hg-accumulating ponds. The high PLI level is generally attributed to the high concentration of Hg. Each studied method of interpolation can be used for spatial distribution analysis; however, a comparison with the scientific literature revealed that Kriging and MLBS interpolation can be used without extra calculations to produce non-linear, empirically consistent, and smooth maps.

The relaxed energy of fractional Sobolev maps with values into the circle

We deal with the weak sequential density of smooth maps in the fractional Sobolev classes of Ws,p maps in high dimension domains and with values into the circle. When s is lower than one, using interpolation theory we introduce a natural energy in terms of optimal extensions on suitable weighted Sobolev spaces. The relaxation problem is then discussed in terms of Cartesian currents. When sp=1, the energy gap of the relaxed functional is always finite and is given by the minimal connection of the singularities times an energy weight, obtained through a minimum problem for one dimensional W1/p,p maps with degree one. When sp>1, instead, concentration on codimension one sets needs unbounded energy. We finally treat the case where s is greater than one, obtaining an almost complete picture.

Nonsmooth Pitchfork Bifurcations in a Quasi-Periodically Forced Piecewise-Linear Map

We study a family of one-dimensional quasi-periodically forced maps [Formula: see text], where [Formula: see text] is real, [Formula: see text] is an angle, and [Formula: see text] is an irrational frequency, such that [Formula: see text] is a real piecewise-linear map with respect to [Formula: see text] of certain kind. The family depends on two real parameters, [Formula: see text] and [Formula: see text]. For this family, we prove the existence of nonsmooth pitchfork bifurcations. For [Formula: see text] and any [Formula: see text] there is only one continuous invariant curve. For [Formula: see text] there exists a smooth map [Formula: see text] such that: (a) For [Formula: see text], [Formula: see text] has two continuous attracting invariant curves and one continuous repelling curve; (b) For [Formula: see text] it has one continuous repelling invariant curve and two semi-continuous (noncontinuous) attracting invariant curves that intersect the unstable one in a zero-Lebesgue measure set of angles; (c) For [Formula: see text] it has one continuous attracting invariant curve. The case [Formula: see text] is a degenerate case that is also discussed in the paper. It is interesting to note that this family is a simplified version of the smooth family [Formula: see text] for which there is numerical evidence of a nonsmooth pitchfork bifurcation. Finally, we also discuss the limit case when [Formula: see text].

1D Piecewise Smooth Map: Exploring a Model of Investment Dynamics under Financial Frictions with Three Types of Investment Projects

1D Piecewise Smooth Map: Exploring a Model of Investment Dynamics under Financial Frictions with Three Types of Investment Projects

Smooth generalized symmetries of quantum field theories

Dynamical quantum field theories (QFTs), such as those in which spacetimes are equipped with a metric and/or a field in the form of a smooth map to a target manifold, can be formulated axiomatically using the language of ∞-categories. According to a geometric version of the cobordism hypothesis, such QFTs collectively assemble themselves into objects in an ∞-topos of smooth spaces. We show how this allows one to define and study generalized global symmetries of such QFTs. The symmetries are themselves smooth, so the ‘higher-form’ symmetry groups can be endowed with, e.g., a Lie group structure.Among the more surprising general implications for physics are, firstly, that QFTs in spacetime dimension d, considered collectively, can have d-form symmetries, going beyond the known (d−1)-form symmetries of individual QFTs and, secondly, that a global symmetry of a QFT can be anomalous even before we try to gauge it, due to a failure to respect either smoothness (in that a symmetry of an individual QFT does not smoothly extend to QFTs collectively) or locality (in that a symmetry of an unextended QFT does not extend to an extended one).Smoothness anomalies are shown to occur even in 2-state systems in quantum mechanics (here formulated axiomatically by equipping d=1 spacetimes with a metric, an orientation, and perhaps some unitarity structure). Locality anomalies are shown to occur even for invertible QFTs defined on d=1 spacetimes equipped with an orientation and a smooth map to a target manifold. These correspond in physics to topological actions for a particle moving on the target and the relation to an earlier classification of such actions using invariant differential cohomology is elucidated.

Density of mode-locking property for quasi-periodically forced Arnold circle maps

Abstract We show that the mode-locking region of the family of quasi-periodically forced Arnold circle maps with a topologically generic forcing function is dense. This gives a rigorous verification of certain numerical observations in [M. Ding, C. Grebogi and E. Ott. Evolution of attractors in quasiperiodically forced systems: from quasiperiodic to strange nonchaotic to chaotic. Phys. Rev. A 39(5) (1989), 2593–2598] for such forcing functions. More generally, under some general conditions on the base map, we show the density of the mode-locking property among dynamically forced maps (defined in [Z. Zhang. On topological genericity of the mode-locking phenomenon. Math. Ann. 376 (2020), 707–72]) equipped with a topology that is much stronger than the $C^0$ topology, compatible with smooth fiber maps. For quasi-periodic base maps, our result generalizes the main results in [A. Avila, J. Bochi and D. Damanik. Cantor spectrum for Schrödinger operators with potentials arising from generalized skew-shifts. Duke Math. J.146 (2009), 253–280], [J. Wang, Q. Zhou and T. Jäger. Genericity of mode-locking for quasiperiodically forced circle maps. Adv. Math.348 (2019), 353–377] and Zhang (2020).

An image steganography algorithm via a compression and chaotic maps

Steganography is widely recognized as an effective method for protecting information via digital media. This paper presents an innovative image steganography algorithm incorporating image compression, chaotic maps, and the least significant bit. The process begins with the compression of a confidential medical image using Huffman encoding. The compressed image then undergoes shuffling, facilitated by the chaotic logistic map. The bits from the shuffled image are discreetly embedded into randomly selected pixels of the cover image, guided by the chaotic piecewise smooth map. The resulting stego image is generated. Statistical analyses are applied to both the cover and stego images for evaluation. The proposed algorithm is compared against state-of-the-art algorithms, and the results demonstrate its superiority over existing methods.

Some Remarks on Smooth Mappings of Hilbert and Banach Spaces and Their Local Convexity Property

We analyze smooth nonlinear mappings for Hilbert and Banach spaces that carry small balls to convex sets, provided that the radii of the balls are small enough. We focus on the study of new and mildly sufficient conditions for the nonlinear mapping of Hilbert and Banach spaces to be locally convex, and address a suitably reformulated local convexity problem analyzed within the Leray–Schauder homotopy method approach for Hilbert spaces, and within the Lipschitz smoothness condition for both Hilbert and Banach spaces. Some of the results presented in this work prove to be interesting and novel, even for finite-dimensional problems. Open problems related to the local convexity property for nonlinear mappings of Banach spaces are also formulated.

A new approach from the calculus of variations to the Lichnerowicz theorem

The well-known Lichnerowicz theorem states that on an n-dimensional compact Riemannian manifold without boundary with the assumptionRicg≥(n−1)g on the Ricci curvature, the first eigenvalue λ of the Laplacian on the manifold satisfiesλ≥n. This theorem is proved using a Bochner formula.In this paper we give a new approach from the calculus of variations to the Lichnerowicz theorem. We use the energy Econf() of conformality, introduced in [3]. For a smooth map f between Riemannian manifolds, the map f is a weakly conformal map (almost everywhere) if and only if Econf(f) = 0 (the minimum value).Our approach is as follows:(1)The identity map on M is a conformal map, hence a minimizer of the energy Econf(). Especially the identity map is stable, i.e., the second variation is non-negative for the identity map.(2)For the first eigenfunction φ, we take the variation vector field corresponding to dφ, and the non-negativity of the second variation for the variation vector field at the identity map implies the Lichnerowicz theorem.

C∞-manifolds with skeletal diffeology

We formulate and study the notion of d-skeletal diffeology, which generalizes that of wire diffeology, introducing the dual notion of d-coskeletal diffeology. We first show that paracompact finite-dimensional C∞-manifolds Md with d-skeletal diffeology inherit good topologies and smooth paracompactness from M. We then study the pathology of Md. Above all, we prove the following: For d<dimM, every immersion f:M⟶N is isolated in the diffeological space D(Md,Nd) of smooth maps and the d-dimensional smooth homotopy group of Md is uncountable.