arXiv subjects

Satoshi Koike

Publications and source records attributed to Satoshi Koike.

18 recordsLinked to original sources

arXiv2024

Unstability problem of real analytic maps

As well-known, the $C^\infty$ stability of proper $C^\infty$ maps is characterized by the infinitesimal $C^\infty$ stability. In the present paper we study the counterpart in real analytic context. In particular, we show that the infinitesimal $C^\omega$ stability does not imply $C^\omega$ stability; for instance, a Whitney umbrella $\mathbb{R}^2 \to \mathbb{R}^3$ is not $C^\omega$ stable. A main tool for the proof is a relative version of Whitney's Analytic Approximation Theorem which is shown by using H. Cartan's Theorems A and B.

math.AG↗

arXiv2023

The Lipschitz type of the Geometric Directional Bundle

In this paper we investigate the behaviour of the geometric directional bundles, associated to arbitrary subsets in R^n, under bi-Lipschitz homeomorphisms, and give conditions under which their bi-Lipschitz type is preserved. The most general sets we consider satisfy the sequence selection property (SSP) and, consequently, we investigate the behaviour of such sets under bi-Lipschitz homeomorphisms as well. In particular, we show that the bi-Lipschitz images of a subanalytic sets generically satisfy the (SSP) property.

math.AG↗

arXiv2021

Correction to : The Kuo condition, an inequality of Thom's type and (c)-regularity

We correct a statement of a theorem on characterisation of the (c)-regularity we gave in Topology 37 (1998), 45--62. This theorem was used in the paper in the proof of two theorems on the (c)-regular stratification. In this note we give a weaker version of the theorem as an alternative lemma which ensures the (c)-regularity condition and turn to be sufficient for the proof of the theorems.

math.AG↗

arXiv2021

On finiteness theorems of polynomial functions

Let d be a positive integer. We show a finiteness theorem for semialgebraic RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti-Shiota's finiteness theorem for semialgebraic RL equivalence classes appearing in the space of real polynomial functions of degree not exceeding d. We also prove Fukuda's claim, Theorem 1.3, and its semialgebraic version Theorem 1.4, on the finiteness of the local R types appearing in the space of real polynomial functions of real polynomial function germs of degree not exceeding d.

math.AG↗

arXiv2021

Stabilisation of geometric directional bundle for a subanalytic set

In a previous paper we have introduced the notion of geometric directional bundle of a singular space, in order to introduce global bi-Lipschitz invariants. Then we have posed the question of whether or not the geometric directional bundle is stabilised as an operation acting on singular spaces. In this paper we give a positive answer in the case where the singular spaces are subanalytic sets, thus providing a new invariant associated with the subanalytic sets.

math.AG↗

arXiv2020

Equivalence of Kuo and Thom quantities for analytic functions

Sufficiency of jets is a very important notion introduced by Rene Thom in order to establish the structural stability theory. The criteria for some sufficiency of jets are known as the Kuo condition and Thom type inequality, which are defined using the Kuo quantity and Thom quantity. Therefore these quantities are meaningful. In this paper we show the equivalence of Kuo and Thom quantities. Then we apply this result to the relative conditions to a given closed set.

math.AG↗

arXiv2020

Characterisations of V-sufficiency and C^0-sufficiency of relative jets

We consider the problems of sufficiency of jets relative to a given closed set. In the non-relative case, criteria for r-jets to be V-sufficient and C^0-sufficient in C^r mappings or C^{r+1} mappings have been obtained. In particular, it is shown that V-sufficiency and C^0-sufficiency in C^r functions or C^{r+1} functions are equivalent. In this paper we discuss characterisations of V-sufficiency and C^0-sufficiency in the relative case, corresponding to the above non-relative results. Applying the results obtained in the relative case, we construct examples of polynomial functions whose relative r-jets are V-sufficient in C^r functions and C^{r+1} functions but not C^0-sufficient in C^r functions and C^{r+1} functions, respectively. In addition, we give characterisations of relative finite V-determinacy and also relative finite C^r contact determinacy.

math.AG↗

arXiv2020

On the relative Kuo condition and the second relative Kuo condition

The Kuo condition and the the second Kuo condition are known as criteria for an r-jet to be V-sufficient in C^r mappings and C^{r+1} mappings, respectively. In a previous paper we considered the notions of V-sufficiency of jets and these Kuo conditions in the relative case to a given closed set, and showed that the relative Kuo condition is a criterion for a relative r-jet to be V-sufficient in C^r mappings and the second relative Kuo condition is a sufficient condition for a relative r-jet to be V-sufficient in C^{r+1} mappings. In this paper we discuss several conditions equivalent to the relative Kuo condition or the second relative Kuo condition.

math.AG↗

arXiv2016

Notes on (SSP) sets

Sampaio recently showed that bi-Lipschitz homeomorphic subanalytic sets have bi-Lipschitz homeomorphic tangent cones. The purpose of this note is to show that Sampaio's method works as well for (SSP) sets, that is, the above result is characteristic for (SSP) sets, a much wider class.

math.AG↗

arXiv2013

On the Geometry of sets satisfying the Sequence Selection Property

In this paper we study fundamental directional properties of sets under the assumption of condition (SSP) (introduced in a previous paper). We show several transversality theorems in the singular case and an (SSP)-structure preserving theorem. As an illustration, our transversality results are used to prove several facts concerning complex analytic varieties. The (SSP)-property is most suitable for understanding transversality in the Lipschitz category. This property is shared by a large class of sets, in particular by subanalytic sets or by definable sets in an o-minimal structure.

math.AG↗

arXiv2010

Directional properties of sets definable in o-minimal structures

In a former paper the first and third authors introduced the notion of direction set for a subset of R^n, and showed that the dimension of the common direction set of two subanalytic subsets, called directional dimension, is preserved by a bi-Lipschitz homeomorphism, provided that their images are also subanalytic. In this paper we give a generalisation of the above result to sets definable in an o-minimal structure on an arbitrary real closed field. More precisely, we first prove our main theorem and discuss in detail directional properties in the case of an Archimedean real closed field, and then we give a proof in the case of a general real closed field. In addition, related to our main result, we show the existence of special polyhedra in some Euclidean space, illustrating that the bi-Lipschitz equivalence does not always imply the existence of a definable one.

math.AG↗

arXiv2009

The kissing dimension of subanalytic sets is preserved by a bi-Lipschitz homeomorphism

Let A subset R^n be a set-germ at 0 in R^n such that 0 is in the closure of A. Let D(A) denote the set of all directions of A at 0 in R^n. Let A, B subsets R^n be subanalytic set-germs at 0 in R^n such that 0 belongs to their closure. We study the problem of whether the dimension of the common direction set, called their kissing dimension, is preserved by a bi-Lipschitz homeomorphism. We show that in general it is not preserved. We prove that the kissing dimension is preserved if the images of the subanalytic sets under consideration are also subanalytic. In particular, if two subanalytic set-germs are bi-Lipschitz equivalent, then their direction sets must have the same dimension.

math.AG↗

arXiv2008

Blow-analytic equivalence of two variable real analytic function germs

Blow-analytic equivalence is a notion for real analytic function germs, introduced by Tzee-Char Kuo in order to develop real analytic equisingularity theory. In this paper we give complete characterisations of blow-analytic equivalence in the two dimensional case: in terms of the real tree model for the arrangement of real parts of Newton-Puiseux roots and their Puiseux pairs, and in terms of minimal resolutions. These characterisations show that in the two dimensional case the blow-analytic equivalence is a natural analogue of topological equivalence of complex analytic function germs. Moreover, we show that in the two-dimensional case the blow-analytic equivalence can be made cascade, and hence satisfies several geometric properties. It preserves, for instance, the contact orders of real analytic arcs. In the general $n$-dimensional case, we show that a singular real modification satisfies the arc-lifting property.

math.AG↗

arXiv2008

Equivalence relations for two variable real analytic function germs

For two variable real analytic function germs we compare the blow-analytic equivalence in the sense of Kuo to the other natural equivalence relations. Our main theorem states that $C^1$ equivalent germs are blow-analytically equivalent. This gives a negative answer to a conjecture of Kuo. In the proof we show that the Puiseux pairs of real Newton-Puiseux roots are preserved by the $C^1$ equivalence of function germs. The proof is achieved, being based on a combinatorial characterisation of blow-analytic equivalence in terms of the real tree model. We also give several examples of bi-Lipschitz equivalent germs that are not blow-analytically equivalent.

math.AG↗

arXiv2007

Finiteness theorem on Blow-semialgebraic triviality for a family of 3-dimensional algebraic sets

In this paper we introduce the notion of Blow-semialgebraic triviality consistent with a compatible filtration for an algebraic family of algebraic sets, as an equisingularity for real algebraic singularities. Given an algebraic family of 3-dimensional algebraic sets defined over a nonsingular algebraic variety, we show that there is a finite subdivision of the parameter algebraic set into connected Nash manifolds over which the family admits a Blow-semialgebraic trivialisation consistent with a compatible filtration. We show a similar result on finiteness also for a Nash family of 3-dimensional Nash sets through the Artin-Mazur theorem. As a corollary of the arguments in their proofs, we have a finiteness theorem on semialgebraic types of polynomial mappings from the 2-dimensional Euclidean space to the p-diemnsional Euclidean space.

math.AG↗

arXiv2005

Demonstration of quantum telecloning of optical coherent states

Quantum cryptography promises in-principle secure communication between two parties via a quantum channel, with the ability to discover eavesdropping when it occurs. In 1999, a telecloning protocol was invented [M. Murao {\it et al}., Phys. Rev. A {\bf 59}, 156 (1999)] that provides a way for an eavesdropper to remotely monitor a quantum cryptographic channel such that even if eavesdropping is discovered, the identity and location of the eavesdropper is guaranteed uncompromised. Here we demonstrate unconditional telecloning experimentally for the first time. We symmetrically teleclone coherent states of light, achieving a fidelity for each clone of $F = 0.58 \pm 0.01$.

quant-ph↗

arXiv2005

Experimental demonstration of quantum teleportation of a squeezed state

Quantum teleportation of a squeezed state is demonstrated experimentally. Due to some inevitable losses in experiments, a squeezed vacuum necessarily becomes a mixed state which is no longer a minimum uncertainty state. We establish an operational method of evaluation for quantum teleportation of such a state using fidelity, and discuss the classical limit for the state. The measured fidelity for the input state is 0.85$\pm$ 0.05 which is higher than the classical case of 0.73$\pm$0.04. We also verify that the teleportation process operates properly for the nonclassical state input and its squeezed variance is certainly transferred through the process. We observe the smaller variance of the teleported squeezed state than that for the vacuum state input.

quant-ph↗

arXiv2002

Motivic-type Invariants of Blow-analytic Equivalence

To a given analytic function germ $f:(\mathbb{R}^d,0) \to (\mathbb{R},0)$, we associate zeta functions $Z_{f,+}$, $Z_{f,-} \in \mathbb{Z} [[T]]$, defined analogously to the motivic zeta functions of Denef and Loeser. We show that our zeta functions are rational and that they are invariants of the blow-analytic equivalence in the sense of Kuo. Then we use them together with the Fukui invariant to classify the blow-analytic equivalence classes of Brieskorn polynomials of two variables. Except special series of singularities our method classifies as well the blow-analytic equivalence classes of Brieskorn polynomials of three variables.

math.AG↗