Search

We prove that a formal curve $\Gamma$ that is invariant by a $C^\infty$ vector field $\xi$ of $\mathbb{R}^m$ has a geometrical realization, as soon as the Taylor expansion of $\xi$ is not identically zero along $\Gamma$. This means that there is a trajectory $\gamma$ of $\xi$ which is asymptotic to $\Gamma$. This result solves a natural question proposed by Bonckaert nearly forty years ago. We also construct an invariant $C^0$ manifold $S$ in some open horn around $\Gamma$ which is composed entirely of trajectories asymptotic to $\Gamma$, and contains the germ of any such trajectory. If $\xi$ is analytic, we prove that there exists a trajectory asymptotic to $\Gamma$ which is, moreover, non-oscillating with respect to subanalytic sets.

We introduce a notion of regular separation for solutions of systems of ODEs $y'=F(x,y)$, where F is definable in a polynomially bounded o-minimal structure and $y = (y_1,y_2)$. Given a pair of solutions with flat contact, we prove that, if one of them has the property of regular separation, the pair is either interlaced or generates a Hardy field. We adapt this result to trajectories of three-dimensional vector fields with definable coefficients. In the particular case of real analytic vector fields, it improves the dichotomy interlaced/separated of certain integral pencils obtained by F. Cano, R. Moussu and the third author. In this context, we show that the set of trajectories with the regular separation property and asymptotic to a formal invariant curve is never empty and it is represented by a subanalytic set of minimal dimension containing the curve. Finally, we show how to construct examples of formal invariant curves which are transcendental with respect to subanalytic sets, using the so-called (SAT) property introduced by J.-P. Rolin, R. Shaefke and the third author., Comment: 25 pages

Suppose that $\widetilde{\mathbb R}$ is an o-minimal expansion of the real field in which restricted power functions are definable. We show that if $\widehat{\mathbb R}$ is both a reduct (in the sense of definability) of the expansion $\widetilde{\mathbb R}^{\mathbb R}$ of $\widetilde{\mathbb R}$ by all real power functions and an expansion (again in the sense of definability) of $\widetilde{\mathbb R}$, then, provided that $\widetilde{\mathbb R}$ and $\widehat{\mathbb R}$ have the same field of exponents, they define the same sets. This can be viewed as a polynomially bounded version of an old conjecture of van den Dries and Miller.

We study the set of tangent limits at a given point to a set definable in any o-minimal structure by characterizing the set of exceptional rays in the tangent cone to the set at that point and investigating the set of tangent limits along these rays. Several criteria for determining exceptional rays will be given. The main results of the paper generalize, to the o-minimal setting and to arbitrary dimension, the main results of O'Shea--Wilson which deals with algebraic surfaces in $\mathbb R^3$.

Given a collection A of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from A. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete description of all functions locally definable from A in the neighbourhood of a generic point. We prove that this description is no longer complete in the neighbourhood of non-generic points. More precisely, we produce three examples of holomorphic functions which suggest that at least three new operations need to be added to Wilkie's description in order to capture local definability in its entirety. The constructions illustrate the interaction between resolution of singularities and definability in the o-minimal setting.

Let $X\subset \mathbb R^n$ be a connected locally closed definable set in an o-minimal structure. We prove that the following three statements are equivalent: (i) $X$ is a $C^1$ manifold, (ii) the tangent cone and the paratangent cone of $X$ coincide at every point in $X$, (iii) for every $x \in X$, the tangent cone of $X$ at the point $x$ is a $k$-dimensional linear subspace of $\mathbb R^n$ ($k$ does not depend on $x$) varies continuously in $x$, and the density $\theta(X, x) < 3/2$., Comment: 11 pages

We report here on the ability of elastic light scattering in discriminating Gram+, Gram-and yeasts at an early stage of growth (6h). Our technique is non-invasive, low cost and does require neither skilled operators nor reagents. Therefore it is compatible with automation. It is based on the analysis of the scattering pattern (scatterogram) generated by a bacterial microcolony growing on agar, when placed in the path of a laser beam. Measurements are directly performed on closed Petri dishes. The characteristic features of a given scatterogram are first computed by projecting the pattern onto the Zernike orthogonal basis. Then the obtained data are compared to a database so that machine learning can yield identification result. A 10-fold cross-validation was performed on a database over 8 species (15 strains, 1906 scatterograms), at 6h of incubation. It yielded a 94% correct classification rate between Gram+, Gram-and yeasts. Results can be improved by using a more relevant function basis for projections, such as Fourier-Bessel functions. A fully integrated instrument has been installed at the Grenoble hospital's laboratory of bacteriology and a validation campaign has been started for the early screening of SA and MRSA (Staphylococcus aureus, methicillin-resistant S. aureus) carriers. Up to now, all the published studies about elastic scattering were performed in a forward mode, which is restricted to transparent media. However, in clinical diagnostics, most of media are opaque, such as blood-supplemented agar. That is why we propose a novel scheme capable of collecting back-scattered light which provides comparable results.

Let X be an analytic vector field defined in a neighborhood of the origin of R^3, and let I be an analytically non-oscillatory integral pencil of X; that is, I is a maximal family of analytically non-oscillatory trajectories of X at the origin all sharing the same iterated tangents. We prove that if I is interlaced, then for any trajectory T in I, the expansion of the structure generated over the real field by T and all globally subanalytic sets is model-complete, o-minimal and polynomially bounded., Comment: 25 pages; refereed version