Showing 1–19 of 19 results for author: Ichiki, S

Non-density of $C^0$-stable mappings on non-compact manifolds

Authors: Shunsuke Ichiki

Abstract: The problem of density of $C^0$-stable mappings is a classical and venerable subject in singularity theory. In 1973, Mather showed that the set of proper $C^0$-stable mappings is dense in the set of all proper mappings, which implies that the set of $C^0$-stable mappings is dense in the set of all mappings if the source manifold is compact. The aim of this paper is to complement Mather's result an… ▽ More The problem of density of $C^0$-stable mappings is a classical and venerable subject in singularity theory. In 1973, Mather showed that the set of proper $C^0$-stable mappings is dense in the set of all proper mappings, which implies that the set of $C^0$-stable mappings is dense in the set of all mappings if the source manifold is compact. The aim of this paper is to complement Mather's result and to provide new information to the subject. Namely, we show that the set of $C^0$-stable mappings is never dense in the set of all mappings if the source manifold is non-compact. As a corollary of this result and Mather's result, we can obtain a characterization of density of $C^0$-stable mappings, i.e., the set of $C^0$-stable mappings is dense in the set of all mappings if and only if the source manifold is compact. To prove the non-density result, we provide a more essential result by using the notion of topologically critical points. △ Less

Submitted 24 April, 2023; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: 10 pages. This paper gives a strengthened version of the main result of arXiv:2109.08760

Non-density of stable mappings on non-compact manifolds

Authors: Shunsuke Ichiki

Abstract: Around 1970, Mather established a significant theory on the stability of $C^\infty$ mappings and gave a characterization of the density of proper stable mappings in the set of all proper mappings. The result yields a characterization of the density of stable mappings in the set of all mappings in the case where the source manifold is compact. The aim of this paper is to complement Mather's result.… ▽ More Around 1970, Mather established a significant theory on the stability of $C^\infty$ mappings and gave a characterization of the density of proper stable mappings in the set of all proper mappings. The result yields a characterization of the density of stable mappings in the set of all mappings in the case where the source manifold is compact. The aim of this paper is to complement Mather's result. Namely, we show that the set of stable mappings in the set of all mappings is never dense if the source manifold is non-compact. Moreover, as a corollary of Mather's result and the main theorem of this paper, we give a characterization of the density of stable mappings in the set of all mappings in the case where the source manifold is not necessarily compact. △ Less

Submitted 22 November, 2022; v1 submitted 17 September, 2021; originally announced September 2021.

Comments: 10 pages, to appear in Pure and Applied Mathematics Quarterly

All unconstrained strongly convex problems are weakly simplicial

Authors: Yusuke Mizota, Naoki Hamada, Shunsuke Ichiki

Abstract: A multi-objective optimization problem is $C^r$ weakly simplicial if there exists a $C^r$ surjection from a simplex onto the Pareto set/front such that the image of each subsimplex is the Pareto set/front of a subproblem, where $0\leq r\leq \infty$. This property is helpful to compute a parametric-surface approximation of the entire Pareto set and Pareto front. It is known that all unconstrained s… ▽ More A multi-objective optimization problem is $C^r$ weakly simplicial if there exists a $C^r$ surjection from a simplex onto the Pareto set/front such that the image of each subsimplex is the Pareto set/front of a subproblem, where $0\leq r\leq \infty$. This property is helpful to compute a parametric-surface approximation of the entire Pareto set and Pareto front. It is known that all unconstrained strongly convex $C^r$ problems are $C^{r-1}$ weakly simplicial for $1\leq r \leq \infty$. In this paper, we show that all unconstrained strongly convex problems are $C^0$ weakly simplicial. The usefulness of this theorem is demonstrated in a sparse modeling application: we reformulate the elastic net as a non-differentiable multi-objective strongly convex problem and approximate its Pareto set (the set of all trained models with different hyper-parameters) and Pareto front (the set of performance metrics of the trained models) by using a Bézier simplex fitting method, which accelerates hyper-parameter search. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: 19 pages, 3 figures. In this paper, we give an improvement of the main result on weak simpliciality of arXiv:1912.09328 and its practical application

MSC Class: 90C25 (Primary); 90C29 (Secondary)

A refined transversality theorem on linear perturbations and its applications

Authors: Shunsuke Ichiki

Abstract: In this paper, we establish a refined transversality theorem on linear perturbations from a new perspective of Hausdorff measures. Furthermore, we give its applications not only to singularity theory but also to multiobjective optimization. In this paper, we establish a refined transversality theorem on linear perturbations from a new perspective of Hausdorff measures. Furthermore, we give its applications not only to singularity theory but also to multiobjective optimization. △ Less

Submitted 12 April, 2023; v1 submitted 4 January, 2021; originally announced January 2021.

MSC Class: 58K30; 57R45

Simpliciality of strongly convex problems

Authors: Naoki Hamada, Shunsuke Ichiki

Abstract: A multiobjective optimization problem is $C^r$ simplicial if the Pareto set and the Pareto front are $C^r$ diffeomorphic to a simplex and, under the $C^r$ diffeomorphisms, each face of the simplex corresponds to the Pareto set and the Pareto front of a subproblem, where $0\leq r\leq \infty$. In the paper titled "Topology of Pareto sets of strongly convex problems," it has been shown that a strongl… ▽ More A multiobjective optimization problem is $C^r$ simplicial if the Pareto set and the Pareto front are $C^r$ diffeomorphic to a simplex and, under the $C^r$ diffeomorphisms, each face of the simplex corresponds to the Pareto set and the Pareto front of a subproblem, where $0\leq r\leq \infty$. In the paper titled "Topology of Pareto sets of strongly convex problems," it has been shown that a strongly convex $C^r$ problem is $C^{r-1}$ simplicial under a mild assumption on the ranks of the differentials of the mapping for $2\leq r \leq \infty$. On the other hand, in this paper, we show that a strongly convex $C^1$ problem is $C^0$ simplicial under the same assumption. Moreover, we establish a specialized transversality theorem on generic linear perturbations of a strongly convex $C^r$ mapping $(r\geq 2)$. By the transversality theorem, we also give an application of singularity theory to a strongly convex $C^r$ problem for $2\leq r \leq \infty$. △ Less

Submitted 16 April, 2020; v1 submitted 19 December, 2019; originally announced December 2019.

Comments: 17 pages, to appear in Journal of the Mathematical Society of Japan

MSC Class: 90C25; 57R45

Characterization of the equality of weak efficiency and efficiency on convex free disposal hulls

Authors: Naoki Hamada, Shunsuke Ichiki

Abstract: In solving a multi-objective optimization problem by scalarization techniques, solutions to a scalarized problem are, in general, weakly efficient rather than efficient to the original problem. Thus, it is crucial to understand what problem ensures that all weakly efficient solutions are efficient. In this paper, we give a characterization of the equality of the weakly efficient set and the effici… ▽ More In solving a multi-objective optimization problem by scalarization techniques, solutions to a scalarized problem are, in general, weakly efficient rather than efficient to the original problem. Thus, it is crucial to understand what problem ensures that all weakly efficient solutions are efficient. In this paper, we give a characterization of the equality of the weakly efficient set and the efficient set, provided that the free disposal hull of the domain is convex. By using this characterization, we obtain various mathematical applications. As a practical application, we show that all weakly efficient solutions to a multi-objective LASSO with mild modification are efficient. △ Less

Submitted 5 March, 2021; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: 14 pages, 4 figures

MSC Class: 90C25; 90C29

Topology of Pareto sets of strongly convex problems

Authors: Naoki Hamada, Kenta Hayano, Shunsuke Ichiki, Yutaro Kabata, Hiroshi Teramoto

Abstract: A multiobjective optimization problem is simplicial if the Pareto set and front are homeomorphic to a simplex and, under the homeomorphisms, each face of the simplex corresponds to the Pareto set and front of a subproblem. In this paper, we show that strongly convex problems are simplicial under a mild assumption on the ranks of the differentials of the objective mappings. We further prove that on… ▽ More A multiobjective optimization problem is simplicial if the Pareto set and front are homeomorphic to a simplex and, under the homeomorphisms, each face of the simplex corresponds to the Pareto set and front of a subproblem. In this paper, we show that strongly convex problems are simplicial under a mild assumption on the ranks of the differentials of the objective mappings. We further prove that one can make any strongly convex problem satisfy the assumption by a generic linear perturbation, provided that the dimension of the source is sufficiently larger than that of the target. We demonstrate that the location problems, a biological modeling, and the ridge regression can be reduced to multiobjective strongly convex problems via appropriate transformations preserving the Pareto ordering and the topology. △ Less

Submitted 27 June, 2019; v1 submitted 7 April, 2019; originally announced April 2019.

Comments: 21 pages. Remarks 4.4 and 4.5 are added. A new application is given in section 5.3. Introduction is also revised accordingly

MSC Class: 90C25; 57R35; 57R45

Transversality theorems on generic linearly perturbed mappings

Authors: Shunsuke Ichiki

Abstract: In his celebrated paper "Generic projections", John Mather has given a striking transversality theorem and its applications on generic projections. On the other hand, in this paper, two transversality theorems on generic linearly perturbed $C^r$ mappings are shown $(r\geq 1)$. Moreover, some applications of the two theorems are also given. In his celebrated paper "Generic projections", John Mather has given a striking transversality theorem and its applications on generic projections. On the other hand, in this paper, two transversality theorems on generic linearly perturbed $C^r$ mappings are shown $(r\geq 1)$. Moreover, some applications of the two theorems are also given. △ Less

Submitted 11 August, 2018; v1 submitted 12 June, 2018; originally announced June 2018.

Comments: accepted for publication in the Methods and Applications of Analysis special volume in memory of John Mather 14 pages. In this paper, some results of arXiv:1612.01100 are generalized

MSC Class: 57R45; 57R42

Characterization of generic transversality

Authors: Shunsuke Ichiki

Abstract: In this paper, the notion of generic transversality and its characterization are given. The characterization is also a further improvement of the basic transversality result and its strengthening which was given by John Mather. In this paper, the notion of generic transversality and its characterization are given. The characterization is also a further improvement of the basic transversality result and its strengthening which was given by John Mather. △ Less

Submitted 16 September, 2019; v1 submitted 21 March, 2018; originally announced March 2018.

Comments: 11 pages, to appear in Bulletin of the London Mathematical Society

MSC Class: 57R35; 57R45

Generic distance-squared mappings on plane curves

Authors: Shunsuke Ichiki

Abstract: A distance-squared function is one of the most significant functions in the application of singularity theory to differential geometry. Moreover, distance-squared mappings are naturally extended mappings of distance-squared functions, wherein each component is a distance-squared function. In this paper, compositions of a given plane curve and generic distance-squared mappings on the plane into the… ▽ More A distance-squared function is one of the most significant functions in the application of singularity theory to differential geometry. Moreover, distance-squared mappings are naturally extended mappings of distance-squared functions, wherein each component is a distance-squared function. In this paper, compositions of a given plane curve and generic distance-squared mappings on the plane into the plane are investigated from the viewpoint of stability. △ Less

Submitted 4 January, 2018; originally announced January 2018.

Comments: 10 pages

Geometric interpretation of generalized distance-squared mappings of $\mathbb{R}^2$ into $\mathbb{R}^\ell$ $(\ell \geq 3)$

Authors: Shunsuke Ichiki

Abstract: Generalized distance-squared mappings are quadratic mappings of $\mathbb{R}^m$ into $\mathbb{R}^\ell$ of special type. In the case that matrices $A$ constructed by coefficients of generalized distance-squared mappings of $\mathbb{R}^2$ into $\mathbb{R}^\ell$ ($\ell \geq3$) are full rank, the generalized distance-squared mappings having a generic central point have the following properties. In the… ▽ More Generalized distance-squared mappings are quadratic mappings of $\mathbb{R}^m$ into $\mathbb{R}^\ell$ of special type. In the case that matrices $A$ constructed by coefficients of generalized distance-squared mappings of $\mathbb{R}^2$ into $\mathbb{R}^\ell$ ($\ell \geq3$) are full rank, the generalized distance-squared mappings having a generic central point have the following properties. In the case of $\ell=3$, they have only one singular point. On the other hand, in the case of $\ell>3$, they have no singular points. Hence, in this paper, the reason why in the case of $\ell=3$ (resp., in the case of $\ell>3$), they have only one singular point (resp., no singular points) is explained by giving a geometric interpretation to these phenomena. △ Less

Submitted 26 January, 2017; originally announced January 2017.

Comments: 6 pages, 2 figures

MSC Class: 53A04; 57R45; 57R50

Composing generic linearly perturbed mappings and immersions/injections

Authors: Shunsuke Ichiki

Abstract: Let $N$ (resp., $U$) be a manifold (resp., an open subset of $\mathbb{R}^m$). Let $f:N\to U$ and $F:U\to \mathbb{R}^\ell$ be an immersion and a $C^{\infty}$ mapping, respectively. Generally, the composition $F\circ f$ does not necessarily yield a mapping transverse to a given subfiber-bundle of $J^1(N,\mathbb{R}^\ell)$. Nevertheless, in this paper, for any $\mathcal{A}^1$-invariant fiber, we show… ▽ More Let $N$ (resp., $U$) be a manifold (resp., an open subset of $\mathbb{R}^m$). Let $f:N\to U$ and $F:U\to \mathbb{R}^\ell$ be an immersion and a $C^{\infty}$ mapping, respectively. Generally, the composition $F\circ f$ does not necessarily yield a mapping transverse to a given subfiber-bundle of $J^1(N,\mathbb{R}^\ell)$. Nevertheless, in this paper, for any $\mathcal{A}^1$-invariant fiber, we show that composing generic linearly perturbed mappings of $F$ and the given immersion $f$ yields a mapping transverse to the subfiber-bundle of $J^1(N,\mathbb{R}^\ell)$ with the given fiber. Moreover, we show a specialized transversality theorem on crossings of compositions of generic linearly perturbed mappings of a given mapping $F:U\to \mathbb{R}^\ell$ and a given injection $f:N\to U$. Furthermore, applications of the two main theorems are given. △ Less

Submitted 25 December, 2017; v1 submitted 4 December, 2016; originally announced December 2016.

Comments: 19 pages. Accepted for publication in Journal of the Mathematical Society of Japan. The paper is a generalization of arXiv:1610.02880. As the appendix, the statement of the main theorem in arXiv:1607.03220 (the proof of it is in arXiv:1607.03220) is introduced in the final section of this paper

MSC Class: 57R45; 57R42

Preservation of immersed or injective properties by composing generic generalized distance-squared mappings

Authors: Shunsuke Ichiki, Takashi Nishimura

Abstract: Any generalized distance-squared mapping of equidimensional case has singularities, and their singularity types are wrapped into mystery in higher dimensional cases. Any generalized distance-squared mapping of equidimensional case is not injective. Nevertheless, in this paper, it is shown that the non-singular property or the injective property of a mapping is preserved by composing a generic gene… ▽ More Any generalized distance-squared mapping of equidimensional case has singularities, and their singularity types are wrapped into mystery in higher dimensional cases. Any generalized distance-squared mapping of equidimensional case is not injective. Nevertheless, in this paper, it is shown that the non-singular property or the injective property of a mapping is preserved by composing a generic generalized distance-squared mapping of equidimensional case. △ Less

Submitted 10 October, 2016; originally announced October 2016.

Comments: 9 pages

MSC Class: 57R35; 57R40; 57R42

Generic linear perturbations

Authors: Shunsuke Ichiki

Abstract: In his celebrated paper "Generic projections", John Mather has shown that almost all linear projections from a submanifold of a vector space into a subspace are transverse with respect to a given modular submanifold. In this paper, an improvement of Mather's result is stated. Namely, we show that almost all linear perturbations of a smooth mapping from a submanifold of $\mathbb{R}^m$ into… ▽ More In his celebrated paper "Generic projections", John Mather has shown that almost all linear projections from a submanifold of a vector space into a subspace are transverse with respect to a given modular submanifold. In this paper, an improvement of Mather's result is stated. Namely, we show that almost all linear perturbations of a smooth mapping from a submanifold of $\mathbb{R}^m$ into $\mathbb{R}^\ell$ yield a transverse mapping with respect to a given modular submanifold. Moreover, applications of this result are given. △ Less

Submitted 13 January, 2018; v1 submitted 11 July, 2016; originally announced July 2016.

Comments: 11 pages, to appear in Proceedings of the American Mathematical Society

MSC Class: 57R45; 58K25; 57R40

Around distance-squared mappings

Authors: Shunsuke Ichiki, Takashi Nishimura

Abstract: This is a survey article on distance-squared mappings and related topics. This is a survey article on distance-squared mappings and related topics. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Comments: 10 pages

Generalized distance-squared mappings of $\mathbb{R}^{n+1}$ into $\mathbb{R}^{2n+1}$

Authors: S. Ichiki, T. Nishimura

Abstract: We classify generalized distance-squared mappings of $\mathbb{R}^{n+1}$ into $\mathbb{R}^{2n+1}$ ($n\ge 1$) having generic central points. Moreover, we show that there does not exist a universal bad set $Σ\subset (\mathbb{R}^{n+1})^{2n+1}$ in the case of this dimension-pair. We classify generalized distance-squared mappings of $\mathbb{R}^{n+1}$ into $\mathbb{R}^{2n+1}$ ($n\ge 1$) having generic central points. Moreover, we show that there does not exist a universal bad set $Σ\subset (\mathbb{R}^{n+1})^{2n+1}$ in the case of this dimension-pair. △ Less

Submitted 8 March, 2015; originally announced March 2015.

Comments: 10 pages

MSC Class: 57R45; 58C25; 58K50

Generalized distance-squared mappings of the plane into the plane

Authors: S. Ichiki, T. Nishimura, R. Oset Sinha, M. A. S. Ruas

Abstract: We define generalized distance-squared mappings, and we concentrate on the plane to plane case. We classify generalized distance-squared mappings of the plane into the plane in a recognizable way. We define generalized distance-squared mappings, and we concentrate on the plane to plane case. We classify generalized distance-squared mappings of the plane into the plane in a recognizable way. △ Less

Submitted 10 April, 2014; originally announced April 2014.

Comments: 13 pages, 1 figure

MSC Class: 57R45; 58C25; 58K50

Recognizable classification of Lorentzian distance-squared mappings

Authors: Shunsuke Ichiki, Takashi Nishimura

Abstract: The Lorentzian length, which is one of the most significant functions in Lorentzian geometry, is a complex-valued function. Its square gives a real-valued non-degenerate quadratic function. In this paper, we define naturally extended mappings of Lorentzian distance-squared functions, wherein each component is a Lorentzian distance-squared function; and classify these mappings completely by the lik… ▽ More The Lorentzian length, which is one of the most significant functions in Lorentzian geometry, is a complex-valued function. Its square gives a real-valued non-degenerate quadratic function. In this paper, we define naturally extended mappings of Lorentzian distance-squared functions, wherein each component is a Lorentzian distance-squared function; and classify these mappings completely by the likeness of recognition subspaces. △ Less

Submitted 18 August, 2013; v1 submitted 19 June, 2013; originally announced June 2013.

MSC Class: 57R45; 58C25; 58K50

Distance-squared mappings

Authors: Shunsuke Ichiki, Takashi Nishimura

Abstract: A distance-squared function is one of the most significant functions in the application of singularity theory to differential geometry. In this paper, we define naturally extended mappings of distance-squared functions, wherein each component is a distance-squared function. We investigate the properties of these mappings from the viewpoint of differential topology. A distance-squared function is one of the most significant functions in the application of singularity theory to differential geometry. In this paper, we define naturally extended mappings of distance-squared functions, wherein each component is a distance-squared function. We investigate the properties of these mappings from the viewpoint of differential topology. △ Less

Submitted 29 March, 2013; v1 submitted 21 November, 2012; originally announced November 2012.

Comments: to appear in Topology and its Applications

MSC Class: 57R40; 57R42; 57R45