Showing 1–27 of 27 results for author: da Silva, A B

Abnormal Singular Foliations and the Sard Conjecture for generic co-rank one distributions

Authors: A Belotto da Silva, A Parusiński, L Rifford

Abstract: Given a smooth totally nonholonomic distribution on a smooth manifold, we construct a singular distribution capturing essential abnormal lifts which is locally generated by vector fields with controlled divergence. Then, as an application, we prove the Sard Conjecture for rank 3 distribution in dimension 4 and generic distributions of corank 1. Given a smooth totally nonholonomic distribution on a smooth manifold, we construct a singular distribution capturing essential abnormal lifts which is locally generated by vector fields with controlled divergence. Then, as an application, we prove the Sard Conjecture for rank 3 distribution in dimension 4 and generic distributions of corank 1. △ Less

Submitted 31 October, 2023; originally announced October 2023.

On the Nash points of subanalytic sets

Authors: Andre Belotto da Silva, Octave Curmi, Guillaume Rond

Abstract: Based on a recently developed rank Theorem for Eisenstein power series, we provide new proofs of the following two results of W. Pawlucki: I) The non regular locus of a complex or real analytic map is an analytic set. II) The set of semianalytic or Nash points of a subanalytic set X is a subanalytic set, whose complement has codimension two in X. Based on a recently developed rank Theorem for Eisenstein power series, we provide new proofs of the following two results of W. Pawlucki: I) The non regular locus of a complex or real analytic map is an analytic set. II) The set of semianalytic or Nash points of a subanalytic set X is a subanalytic set, whose complement has codimension two in X. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Comments: Important: Our original pre-print arXiv:2205.03079 had two set of distinct results. We have divided that pre-print in two. This paper contains the second set of results ; v2 of the original submission contains the first set of results. We have divided our pre-print

Partial desingularization

Authors: André Belotto da Silva, Edward Bierstone, Ramon Ronzon Lavie

Abstract: We address the following question of partial desingularization preserving normal crossings. Given an algebraic (or analytic) variety X in characteristic zero, can we find a finite sequence of blowings-up preserving the normal-crossings locus of X, after which the transform X' of X has only singularities from an explicit finite list of minimal singularities, which we define using the determinants o… ▽ More We address the following question of partial desingularization preserving normal crossings. Given an algebraic (or analytic) variety X in characteristic zero, can we find a finite sequence of blowings-up preserving the normal-crossings locus of X, after which the transform X' of X has only singularities from an explicit finite list of minimal singularities, which we define using the determinants of circulant matrices. In the case of surfaces, for example, the pinch point or Whitney umbrella is the only singularity needed in addition to normal crossings. We develop techniques for factorization (splitting) of a monic polynomial with regular (or analytic) coefficients, satisfying a generic normal crossings hypothesis, which we use together with resolution of singularities techniques to find local circulant normal forms of singularities. These techniques in their current state are enough for a positive answer to the question above, for dim X up to 4, or in arbitrary dimension if we preserve normal crossings only of order at most three. In these cases, minimal singularities have smooth normalization. △ Less

Submitted 30 May, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 47 pages; revision including remarks on further progress

MSC Class: 14E05; 32S45 (Primary) 14B05; 14E15; 32S05 (Secondary)

Abnormal subanalytic distributions and minimal rank Sard Conjecture

Authors: A Belotto da Silva, A Parusiński, L Rifford

Abstract: We present a description of singular horizontal curves of a totally nonholonomic analytic distribution in term of the projections of the orbits of some isotropic subanalytic singular distribution defined on the nonzero annihilator of the initial distribution in the cotangent bundle. As a by-product of our first result, we obtain, under an additional assumption on the constructed subanalytic singul… ▽ More We present a description of singular horizontal curves of a totally nonholonomic analytic distribution in term of the projections of the orbits of some isotropic subanalytic singular distribution defined on the nonzero annihilator of the initial distribution in the cotangent bundle. As a by-product of our first result, we obtain, under an additional assumption on the constructed subanalytic singular distribution, a proof of the minimal rank Sard conjecture in the analytic case. It establishes that from a given point the set of points accessible through singular horizontal curves of minimal rank, which corresponds to the rank of the distribution, has Lebesgue measure zero. △ Less

Submitted 2 August, 2022; originally announced August 2022.

On rank Theorems for morphisms of local rings

Authors: André Belotto da Silva, Octave Curmi, Guillaume Rond

Abstract: We prove a generalization of Gabrielov's rank theorem for families of rings of power series which we call W-temperate. Examples include the families of complex analytic functions and of Eisenstein series. As a Corollary, we provide rank Theorems for convergent series in general characteristic zero complete valued fields (not necessarily algebraically closed, nor archimedean). We prove a generalization of Gabrielov's rank theorem for families of rings of power series which we call W-temperate. Examples include the families of complex analytic functions and of Eisenstein series. As a Corollary, we provide rank Theorems for convergent series in general characteristic zero complete valued fields (not necessarily algebraically closed, nor archimedean). △ Less

Submitted 14 March, 2023; v1 submitted 6 May, 2022; originally announced May 2022.

Comments: Two important changes from previous version: 1) The previous paper had two sets of distinct results. We have divided the paper in two, and this version contains the first set of results. The second part will appear in a new arXiv submission. The title has changed. 2) Corollary 1.2 has been added

A remark on first integrals of vector fields

Authors: André Belotto da Silva, Martin Klimes, Julio C. Rebelo, Helena Reis

Abstract: We provide examples of vector fields on $(\mathbb{C}^3, 0)$ admitting a formal first integral but no holomorphic first integral. These examples are related to a question raised by D. Cerveau and motivated by the celebrated theorems of Malgrange and Mattei-Moussu. We provide examples of vector fields on $(\mathbb{C}^3, 0)$ admitting a formal first integral but no holomorphic first integral. These examples are related to a question raised by D. Cerveau and motivated by the celebrated theorems of Malgrange and Mattei-Moussu. △ Less

Submitted 25 October, 2021; originally announced October 2021.

Polar exploration of complex surface germs

Authors: André Belotto da Silva, Lorenzo Fantini, András Némethi, Anne Pichon

Abstract: We prove that the topological type of a normal surface singularity $(X,0)$ provides finite bounds for the multiplicity and polar multiplicity of $(X,0)$, as well as for the combinatorics of the families of generic hyperplane sections and of polar curves of the generic plane projections of $(X,0)$. A key ingredient in our proof is a topological bound of the growth of the Mather discrepancies of… ▽ More We prove that the topological type of a normal surface singularity $(X,0)$ provides finite bounds for the multiplicity and polar multiplicity of $(X,0)$, as well as for the combinatorics of the families of generic hyperplane sections and of polar curves of the generic plane projections of $(X,0)$. A key ingredient in our proof is a topological bound of the growth of the Mather discrepancies of $(X,0)$, which allows us to bound the number of point blowups necessary to achieve factorization of any resolution of $(X,0)$ through its Nash transform. This fits in the program of polar explorations, the quest to determine the generic polar variety of a singular surface germ, to which the final part of the paper is devoted. △ Less

Submitted 29 March, 2021; originally announced March 2021.

Comments: 20 pages, 3 figures. arXiv admin note: text overlap with arXiv:2006.01773

MSC Class: Primary 32S25; 32S45; Secondary 14B05; 14E15

Journal ref: Trans. Amer. Math. Soc. 375 (2022), no. 9, 6747--6767

A proof of A. Gabrielov's rank Theorem

Authors: André Belotto da Silva, Octave Curmi, Guillaume Rond

Abstract: This article contains a complete proof of Gabrielov's rank Theorem, a fundamental result in the study of analytic map germs. Inspired by the works of Gabrielov and Tougeron, we develop formal-geometric techniques which clarify the difficult parts of the original proof. These techniques are of independent interest, and we illustrate this by adding a new (very short) proof of the Abhyankar-Jung Theo… ▽ More This article contains a complete proof of Gabrielov's rank Theorem, a fundamental result in the study of analytic map germs. Inspired by the works of Gabrielov and Tougeron, we develop formal-geometric techniques which clarify the difficult parts of the original proof. These techniques are of independent interest, and we illustrate this by adding a new (very short) proof of the Abhyankar-Jung Theorem. We include, furthermore, new extensions of the rank Theorem (concerning the Zariski main Theorem and elimination theory) to commutative algebra. △ Less

Submitted 29 June, 2021; v1 submitted 30 August, 2020; originally announced August 2020.

Comments: Final version, 62 pages, to appear in J. Ec. polytech. Math

MSC Class: Primary 13J05; 32B05; Secondary 12J10; 13A18; 13B35; 14B05; 14B20; 30C10; 32A22; 32S45

Automatic Detection of Aedes aegypti Breeding Grounds Based on Deep Networks with Spatio-Temporal Consistency

Authors: Wesley L. Passos, Gabriel M. Araujo, Amaro A. de Lima, Sergio L. Netto, Eduardo A. B. da Silva

Abstract: Every year, the Aedes aegypti mosquito infects millions of people with diseases such as dengue, zika, chikungunya, and urban yellow fever. The main form to combat these diseases is to avoid mosquito reproduction by searching for and eliminating the potential mosquito breeding grounds. In this work, we introduce a comprehensive dataset of aerial videos, acquired with an unmanned aerial vehicle, con… ▽ More Every year, the Aedes aegypti mosquito infects millions of people with diseases such as dengue, zika, chikungunya, and urban yellow fever. The main form to combat these diseases is to avoid mosquito reproduction by searching for and eliminating the potential mosquito breeding grounds. In this work, we introduce a comprehensive dataset of aerial videos, acquired with an unmanned aerial vehicle, containing possible mosquito breeding sites. All frames of the video dataset were manually annotated with bounding boxes identifying all objects of interest. This dataset was employed to develop an automatic detection system of such objects based on deep convolutional networks. We propose the exploitation of the temporal information contained in the videos by the incorporation, in the object detection pipeline, of a spatio-temporal consistency module that can register the detected objects, minimizing most false-positive and false-negative occurrences. Also, we experimentally show that using videos is more beneficial than only composing a mosaic using the frames. Using the ResNet-50-FPN as a backbone, we achieve F$_1$-scores of 0.65 and 0.77 on the object-level detection of `tires' and `water tanks', respectively, illustrating the system capabilities to properly locate potential mosquito breeding objects. △ Less

Submitted 27 November, 2021; v1 submitted 29 July, 2020; originally announced July 2020.

Sharp Estimates for Blowing Down Functions in a Denjoy-Carleman Class

Authors: André Belotto da Silva, Edward Bierstone, Avner Kiro

Abstract: If F is an infinitely differentiable function whose composition with a blowing-up belongs to a Denjoy-Carleman class C_M (determined by a log convex sequence M=(M_k)), then F, in general, belongs to a larger shifted class C_N, where N_k = M_2k; i.e., there is a loss of regularity. We show that this loss of regularity is sharp. In particular, loss of regularity of Denjoy-Carleman classes is intrins… ▽ More If F is an infinitely differentiable function whose composition with a blowing-up belongs to a Denjoy-Carleman class C_M (determined by a log convex sequence M=(M_k)), then F, in general, belongs to a larger shifted class C_N, where N_k = M_2k; i.e., there is a loss of regularity. We show that this loss of regularity is sharp. In particular, loss of regularity of Denjoy-Carleman classes is intrinsic to arguments involving resolution of singularities. △ Less

Submitted 26 November, 2020; v1 submitted 18 June, 2020; originally announced June 2020.

Comments: V2: minor corrections. To appear in IMRN. 16 pages

MSC Class: Primary 26E10; 32S45; Secondary 30D60; 58C25

On Lipschitz Normally Embedded complex surface germs

Authors: André Belotto da Silva, Lorenzo Fantini, Anne Pichon

Abstract: We undertake a systematic study of Lipschitz Normally Embedded normal complex surface germs. We prove in particular that the topological type of such a germ determines the combinatorics of its minimal resolution which factors through the blowup of its maximal ideal and through its Nash transform, as well as the polar curve and the discriminant curve of a generic plane projection, thus generalizing… ▽ More We undertake a systematic study of Lipschitz Normally Embedded normal complex surface germs. We prove in particular that the topological type of such a germ determines the combinatorics of its minimal resolution which factors through the blowup of its maximal ideal and through its Nash transform, as well as the polar curve and the discriminant curve of a generic plane projection, thus generalizing results of Spivakovsky and Bondil that were known for minimal surface singularities. In an appendix, we give a new example of a Lipschitz Normally Embedded surface singularity. △ Less

Submitted 23 February, 2022; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: v4: New appendix with the proof of a folklore result. A few corrections made, exposition improved. 34 pages, 2 figures. To appear in Compositio Mathematica

MSC Class: Primary 32S25; Secondary 14B05; 13A18

Journal ref: Compositio Mathematica, 158(3), 623--653, 2022

Monomialization of a quasianalytic morphism

Authors: André Belotto da Silva, Edward Bierstone

Abstract: We prove a monomialization theorem for map**s in general classes of infinitely differentiable functions that are called quasianalytic. Examples include Denjoy-Carleman classes, the class of $\cC^\infty$ functions definable in a polynomially bounded $o$-minimal structure, as well as the classes of real- or complex analytic functions, and algebraic functions over any field of characteristic zero.… ▽ More We prove a monomialization theorem for map**s in general classes of infinitely differentiable functions that are called quasianalytic. Examples include Denjoy-Carleman classes, the class of $\cC^\infty$ functions definable in a polynomially bounded $o$-minimal structure, as well as the classes of real- or complex analytic functions, and algebraic functions over any field of characteristic zero. The monomialization theorem asserts that a map** in a quasianalytic class can be transformed to a map** whose components are monomials with respect to suitable local coordinates, by sequences of simple modifications of the source and target -- local blowings-up and power substitutions in the real cases, in general, and local blowings-up alone in the algebraic or analytic cases. Monomialization is a version of resolution of singularities for a map**. We show that it is not possible, in general, to monomialize by global blowings-up, even in the real-analytic case. △ Less

Submitted 27 December, 2021; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: 66 pages; revised version, theorems unchanged; to appear in Ann. Sci. Ecole Norm. Sup

MSC Class: Primary 03C64; 14E05; 26E10; 32S45; Secondary 03C10; 14E15; 30D60; 32B20

Inner geometry of complex surfaces: a valuative approach

Authors: André Belotto da Silva, Lorenzo Fantini, Anne Pichon

Abstract: Given a complex analytic germ $(X, 0)$ in $(\mathbb C^n, 0)$, the standard Hermitian metric of $\mathbb C^n$ induces a natural arc-length metric on $(X, 0)$, called the inner metric. We study the inner metric structure of the germ of an isolated complex surface singularity $(X,0)$ by means of an infinite family of numerical analytic invariants, called inner rates. Our main result is a formula for… ▽ More Given a complex analytic germ $(X, 0)$ in $(\mathbb C^n, 0)$, the standard Hermitian metric of $\mathbb C^n$ induces a natural arc-length metric on $(X, 0)$, called the inner metric. We study the inner metric structure of the germ of an isolated complex surface singularity $(X,0)$ by means of an infinite family of numerical analytic invariants, called inner rates. Our main result is a formula for the Laplacian of the inner rate function on a space of valuations, the non-archimedean link of $(X,0)$. We deduce in particular that the global data consisting of the topology of $(X,0)$, together with the configuration of a generic hyperplane section and of the polar curve of a generic plane projection of $(X,0)$, completely determine all the inner rates on $(X,0)$, and hence the local metric structure of the germ. Several other applications of our formula are discussed in the paper. △ Less

Submitted 18 February, 2021; v1 submitted 5 May, 2019; originally announced May 2019.

Comments: Proposition 5.3 strengthened, exposition improved, some typos corrected, references updated. 42 pages and 10 figures. To appear in Geometry & Topology

MSC Class: Primary 32S25; 57M27; Secondary 32S55; 14B05; 13A18

Journal ref: Geom. Topol. 26 (2022) 163-219

A general system of differential equations to model first order adaptive algorithms

Authors: André Belotto da Silva, Maxime Gazeau

Abstract: First order optimization algorithms play a major role in large scale machine learning. A new class of methods, called adaptive algorithms, were recently introduced to adjust iteratively the learning rate for each coordinate. Despite great practical success in deep learning, their behavior and performance on more general loss functions are not well understood. In this paper, we derive a non-autonom… ▽ More First order optimization algorithms play a major role in large scale machine learning. A new class of methods, called adaptive algorithms, were recently introduced to adjust iteratively the learning rate for each coordinate. Despite great practical success in deep learning, their behavior and performance on more general loss functions are not well understood. In this paper, we derive a non-autonomous system of differential equations, which is the continuous time limit of adaptive optimization methods. We prove global well-posedness of the system and we investigate the numerical time convergence of its forward Euler approximation. We study, furthermore, the convergence of its trajectories and give conditions under which the differential system, underlying all adaptive algorithms, is suitable for optimization. We discuss convergence to a critical point in the non-convex case and give conditions for the dynamics to avoid saddle points and local maxima. For convex and deterministic loss function, we introduce a suitable Lyapunov functional which allow us to study its rate of convergence. Several other properties of both the continuous and discrete systems are briefly discussed. The differential system studied in the paper is general enough to encompass many other classical algorithms (such as Heavy ball and Nesterov's accelerated method) and allow us to recover several known results for these algorithms. △ Less

Submitted 30 September, 2019; v1 submitted 31 October, 2018; originally announced October 2018.

Strong Sard Conjecture and regularity of singular minimizing geodesics for analytic sub-Riemannian structures in dimension 3

Authors: A Belotto da Silva, A Figalli, A Parusiński, L Rifford

Abstract: In this paper we prove the strong Sard conjecture for sub-Riemannian structures on 3-dimensional analytic manifolds. More precisely, given a totally nonholonomic analytic distribution of rank 2 on a 3-dimensional analytic manifold, we investigate the size of the set of points that can be reached by singular horizontal paths starting from a given point and prove that it has Hausdorff dimension at m… ▽ More In this paper we prove the strong Sard conjecture for sub-Riemannian structures on 3-dimensional analytic manifolds. More precisely, given a totally nonholonomic analytic distribution of rank 2 on a 3-dimensional analytic manifold, we investigate the size of the set of points that can be reached by singular horizontal paths starting from a given point and prove that it has Hausdorff dimension at most 1. In fact, provided that the lengths of the singular curves under consideration are bounded with respect to a given complete Riemannian metric, we demonstrate that such a set is a semianalytic curve. As a consequence, combining our techniques with recent developments on the regularity of sub-Riemannian minimizing geodesics, we prove that minimizing sub-Riemannian geodesics in 3-dimensional analytic manifolds are always of class C 1 , and actually are analytic outside of a finite set of points. △ Less

Submitted 16 October, 2018; v1 submitted 8 October, 2018; originally announced October 2018.

Generalized Flow-Box property for singular foliations

Authors: Andre Belotto da Silva, Daniel Panazzolo

Abstract: We introduce a notion of generalized Flow-Box property valid for general singular distributions and sub-varieties (based on a dynamical interpretation). Just as in the usual Flow-Box Theorem, we characterize geometrical and algebraic conditions of (quasi) transversality in order for an analytic sub-variety $X$ (not necessarily regular) to be a section of a line foliation. We also discuss the case… ▽ More We introduce a notion of generalized Flow-Box property valid for general singular distributions and sub-varieties (based on a dynamical interpretation). Just as in the usual Flow-Box Theorem, we characterize geometrical and algebraic conditions of (quasi) transversality in order for an analytic sub-variety $X$ (not necessarily regular) to be a section of a line foliation. We also discuss the case of more general foliations. This study is originally motivated by a question of Jean-Francois Mattei (concerning the strengthening of a Theorem of Mattei) about the existence of local slices for a (non-compact) Lie group action. △ Less

Submitted 3 September, 2018; v1 submitted 27 November, 2017; originally announced November 2017.

Comments: Changes in Section 4

MSC Class: 34C99; 34M35; 37F75

Composite quasianalytic functions

Authors: André Belotto da Silva, Edward Bierstone, Michael Chow

Abstract: We prove two main results on Denjoy-Carleman classes: (1) a composite function theorem which asserts that a function f(x) in a quasianalytic Denjoy-Carleman class Q, which is formally composite with a generically submersive map** y=h(x) of class Q, at a single given point in the source (or in the target) of h, can be written locally as f(x) = g(h(x)), where g(y) belongs to a shifted Denjoy-Carle… ▽ More We prove two main results on Denjoy-Carleman classes: (1) a composite function theorem which asserts that a function f(x) in a quasianalytic Denjoy-Carleman class Q, which is formally composite with a generically submersive map** y=h(x) of class Q, at a single given point in the source (or in the target) of h, can be written locally as f(x) = g(h(x)), where g(y) belongs to a shifted Denjoy-Carleman class Q' ; (2) a statement on a similar loss of regularity for functions definable in the o-minimal structure given by expansion of the real field by restricted functions of quasianalytic class Q. Both results depend on an estimate for the regularity of an infinitely differentiable solution g of the equation f(x) = g(h(x)), with f and h as above. The composite function result depends also on a quasianalytic continuation theorem, which shows that the formal assumption at a given point in (1) propagates to a formal composition condition at every point in a neighbourhood. △ Less

Submitted 19 September, 2017; originally announced September 2017.

Comments: 13 pages

MSC Class: 03C64; 26E10; 32S45 (Primary) 30D60; 32B20 (Secondary)

Journal ref: Compositio Math. 154 (2018) 1960-1973

Topological classification of limit periodic sets of polynomial planar vector fields

Authors: André Belotto da Silva, José Ginés Espín Buendía

Abstract: We characterize the limit periodic sets of families of polynomial planar vector fields up to homeomorphisms. We show that any limit periodic set is topologically equivalent to a compact and connected semialgebraic set of the sphere with empty interior. Conversely, we show that any compact and connected semialgebraic set of the sphere with empty interior can be realized as a limit periodic set. We characterize the limit periodic sets of families of polynomial planar vector fields up to homeomorphisms. We show that any limit periodic set is topologically equivalent to a compact and connected semialgebraic set of the sphere with empty interior. Conversely, we show that any compact and connected semialgebraic set of the sphere with empty interior can be realized as a limit periodic set. △ Less

Submitted 14 November, 2017; v1 submitted 16 February, 2017; originally announced February 2017.

Comments: 15 pages, 3 figures

MSC Class: 34C07; 34C08 (Primary); 14P10; 37G15 (Secondary)

The Sard conjecture on Martinet surfaces

Authors: André Belotto da Silva, Ludovic Rifford

Abstract: Given a totally nonholonomic distribution of rank two on a three-dimensional manifold we investigate the size of the set of points that can be reached by singular horizontal paths starting from a same point. In this setting, the Sard conjecture states that that set should be a subset of the so-called Martinet surface of 2-dimensional Hausdorff measure zero. We prove that the conjecture holds in th… ▽ More Given a totally nonholonomic distribution of rank two on a three-dimensional manifold we investigate the size of the set of points that can be reached by singular horizontal paths starting from a same point. In this setting, the Sard conjecture states that that set should be a subset of the so-called Martinet surface of 2-dimensional Hausdorff measure zero. We prove that the conjecture holds in the case where the Martinet surface is smooth. Moreover, we address the case of singular real-analytic Martinet surfaces and show that the result holds true under an assumption of non-transversality of the distribution on the singular set of the Martinet surface. Our methods rely on the control of the divergence of vector fields generating the trace of the distribution on the Martinet surface and some techniques of resolution of singularities. △ Less

Submitted 14 August, 2016; originally announced August 2016.

Comments: 4 figures

MSC Class: 53A99; 34H05; 32S45

Journal ref: Duke Math. J. 167, no. 8 (2018), 1433-1471

Solutions of quasianalytic equations

Authors: Andre Belotto da Silva, Iwo Biborski, Edward Bierstone

Abstract: The article develops techniques for solving equations G(x,y)=0, where G(x,y)=G(x_1,...,x_n,y) is a function in a given quasianalytic class (for example, a quasianalytic Denjoy-Carleman class, or the class of infinitely differentiable functions definable in a polynomially-bounded o-minimal structure). We show that, if G(x,y)=0 has a formal power series solution y=H(x) at some point a, then H is the… ▽ More The article develops techniques for solving equations G(x,y)=0, where G(x,y)=G(x_1,...,x_n,y) is a function in a given quasianalytic class (for example, a quasianalytic Denjoy-Carleman class, or the class of infinitely differentiable functions definable in a polynomially-bounded o-minimal structure). We show that, if G(x,y)=0 has a formal power series solution y=H(x) at some point a, then H is the Taylor expansion at a of a quasianalytic solution y=h(x), where h(x) is allowed to have a certain controlled loss of regularity, depending on G. Several important questions on quasianalytic functions, concerning division, factorization, Weierstrass preparation, etc., fall into the framework of this problem (or are closely related), and are also discussed. △ Less

Submitted 29 June, 2017; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: revised version, 25 pages, to appear in Selecta Math

MSC Class: Primary 03C64; 26E10; 32S45; Secondary 30D60; 32B20

Resolution of singularities of the cotangent sheaf of a singular variety

Authors: Andre Belotto da Silva, Edward Bierstone, Vincent Grandjean, Pierre D. Milman

Abstract: The main problem studied is resolution of singularities of the cotangent sheaf of a complex- or real-analytic variety Y (or of an algebraic variety Y over a field of characteristic zero). Given Y, we ask whether there is a global resolution of singularities s: X -> Y such that the pulled-back cotangent sheaf of Y is generated by differential monomials in suitable coordinates at every point of X ("… ▽ More The main problem studied is resolution of singularities of the cotangent sheaf of a complex- or real-analytic variety Y (or of an algebraic variety Y over a field of characteristic zero). Given Y, we ask whether there is a global resolution of singularities s: X -> Y such that the pulled-back cotangent sheaf of Y is generated by differential monomials in suitable coordinates at every point of X ("Hsiang-Pati coordinates''). Desingularization of the cotangent sheaf is equivalent to monomialization of Fitting ideals generated by minors of a given order of the logarithmic Jacobian matrix of s. We prove resolution of singularities of the cotangent sheaf in dimension up to three. It was previously known for surfaces with isolated singularities (Hsiang-Pati 1985, Pardon-Stern 2001). Consequences include monomialization of the induced Fubini-Study metric on the smooth part of a complex projective variety Y; there have been important applications of the latter to L2-cohomology. △ Less

Submitted 5 November, 2015; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: 42 pages. Minor revision of original posting (including change of title)

MSC Class: Primary 14E05; 14E15; 32S45; Secondary 14C30; 14F43; 32C15; 32S20; 32S35

Local Resolution of Ideals Subordinated to a Foliation

Authors: André Belotto da Silva

Abstract: Let $M$ be a complex- or real-analytic manifold, $θ$ be a singular distribution and $\mathcal{I}$ a coherent ideal sheaf defined on $M$. We prove the existence of a local resolution of singularities of $\mathcal{I}$ that preserves the class of singularities of $θ$, under the hypothesis that the considered class of singularities is invariant by $θ$-admissible blowings-up. In particular, if $θ$ is m… ▽ More Let $M$ be a complex- or real-analytic manifold, $θ$ be a singular distribution and $\mathcal{I}$ a coherent ideal sheaf defined on $M$. We prove the existence of a local resolution of singularities of $\mathcal{I}$ that preserves the class of singularities of $θ$, under the hypothesis that the considered class of singularities is invariant by $θ$-admissible blowings-up. In particular, if $θ$ is monomial, we prove the existence of a local resolution of singularities of $\mathcal{I}$ that preserves the monomiality of the singular distribution $θ$. △ Less

Submitted 3 November, 2016; v1 submitted 18 November, 2014; originally announced November 2014.

Comments: Updated version. See full reviewed version in the Journal

Journal ref: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 2016, Volume 110, Issue 2, pp 841-862

Credit Portfolio Management in a Turning Rates Environment

Authors: Arthur M. Berd, Elena Ranguelova, Antonio Baldaque da Silva

Abstract: We give a detailed account of correlations between credit sector/quality and treasury curve factors, using the robust framework of the Barclays POINT Global Risk Model. Consistent with earlier studies, we find a strong negative correlation between sector spreads and rate shifts. However, we also observe that the correlations between spreads and Treasury twists reversed recently, which is likely at… ▽ More We give a detailed account of correlations between credit sector/quality and treasury curve factors, using the robust framework of the Barclays POINT Global Risk Model. Consistent with earlier studies, we find a strong negative correlation between sector spreads and rate shifts. However, we also observe that the correlations between spreads and Treasury twists reversed recently, which is likely attributable to the Fed's ongoing quantitative easing. We also find that short-term effective durations in the banking industry are now significantly lower than historical patterns would indicate. Our findings are relevant for credit portfolio managers contemplating the impact of rising interest rates and steepening Treasury curve on corporate bond portfolios. △ Less

Submitted 5 December, 2013; originally announced December 2013.

Comments: 15 pages, 18 figures

Excitation energies from ground-state density-functionals by means of generator coordinates

Authors: E. Orestes, A. B. F. da Silva, K. Capelle

Abstract: The generator-coordinate method is a flexible and powerful reformulation of the variational principle. Here we show that by introducing a generator coordinate in the Kohn-Sham equation of density-functional theory, excitation energies can be obtained from ground-state density functionals. As a viability test, the method is applied to ground-state energies and various types of excited-state energ… ▽ More The generator-coordinate method is a flexible and powerful reformulation of the variational principle. Here we show that by introducing a generator coordinate in the Kohn-Sham equation of density-functional theory, excitation energies can be obtained from ground-state density functionals. As a viability test, the method is applied to ground-state energies and various types of excited-state energies of atoms and ions from the He and the Li isoelectronic series. Results are compared to a variety of alternative DFT-based approaches to excited states, in particular time-dependent density-functional theory with exact and approximate potentials. △ Less

Submitted 24 April, 2009; v1 submitted 10 December, 2007; originally announced December 2007.

Comments: Revised version contains additional numerical results on 3-electron systems and more comparisons with alternative approaches. Accepted by Physical Chemistry Chemical Physics

Journal ref: Phys. Chem. Chem. Phys. 11, 4564 (2009)

The generator coordinate method in time-dependent density-functional theory: memory made simple

Authors: E. Orestes, K. Capelle, A. B. F. da Silva, C. A. Ullrich

Abstract: The generator coordinate (GC) method is a variational approach to the quantum many-body problem in which interacting many-body wave functions are constructed as superpositions of (generally nonorthogonal) eigenstates of auxiliary Hamiltonians containing a deformation parameter. This paper presents a time-dependent extension of the GC method as a new approach to improve existing approximations of… ▽ More The generator coordinate (GC) method is a variational approach to the quantum many-body problem in which interacting many-body wave functions are constructed as superpositions of (generally nonorthogonal) eigenstates of auxiliary Hamiltonians containing a deformation parameter. This paper presents a time-dependent extension of the GC method as a new approach to improve existing approximations of the exchange-correlation (XC) potential in time-dependent density-functional theory (TDDFT). The time-dependent GC method is shown to be a conceptually and computationally simple tool to build memory effects into any existing adiabatic XC potential. As an illustration, the method is applied to driven parametric oscillations of two interacting electrons in a harmonic potential (Hooke's atom). It is demonstrated that a proper choice of time-dependent generator coordinates in conjunction with the adiabatic local-density approximation reproduces the exact linear and nonlinear two-electron dynamics quite accurately, including features associated with double excitations that cannot be captured by TDDFT in the adiabatic approximation. △ Less

Submitted 23 April, 2007; originally announced April 2007.

Comments: 10 pages, 13 figures

Journal ref: J. Chem. Phys. 127, 124101 (2007)

Simple quantitative estimate of the derivative discontinuity of the exchange-correlation functional in atoms and molecules

Authors: F. P. Rosselli, A. B. F. da Silva, K. Capelle

Abstract: The derivative discontinuity of the exchange-correlation functional of density-functional theory is cast as the difference of two types of electron affinities. We show that standard Kohn-Sham calculations can be used to calculate both affinities, and that their difference benefits from substantial and systematic error cancellations, permitting reliable estimates of the derivative discontinuity.… ▽ More The derivative discontinuity of the exchange-correlation functional of density-functional theory is cast as the difference of two types of electron affinities. We show that standard Kohn-Sham calculations can be used to calculate both affinities, and that their difference benefits from substantial and systematic error cancellations, permitting reliable estimates of the derivative discontinuity. Numerical calculations for atoms and molecules show that the discontinuity is quite large (typically several eV), and significantly and consistently improves the agreement of the calculated fundamental energy gap with the experimental gaps. The percentage error of the single-particle gap is reduced in favorable cases by more than one order of magnitude, and even in unfavorable cases by about a factor of two. △ Less

Submitted 11 December, 2007; v1 submitted 18 November, 2006; originally announced November 2006.

Comments: 1 figure, 2 tables

Energy lowering of current-carrying single-particle states in open-shell atoms due to an exchange-correlation vector potential

Authors: E. Orestes, A. B. F. da Silva, K. Capelle

Abstract: Current-density-functional theory is used to perturbatively calculate single-particle energies of open-shell atoms prepared in a current-carrying state. We focus on the highest occupied such energy, because its negative is, in principle, the exact ionization energy. A variety of different density functionals and calculational schemes are compared with each other and experiment. When the atom is… ▽ More Current-density-functional theory is used to perturbatively calculate single-particle energies of open-shell atoms prepared in a current-carrying state. We focus on the highest occupied such energy, because its negative is, in principle, the exact ionization energy. A variety of different density functionals and calculational schemes are compared with each other and experiment. When the atom is prepared in a current-carrying state, a current-dependent exchange-correlation functional is found to slightly lower the single-particle energy of the current-carrying orbital, as compared to a calculation using standard (current independent) density functionals for the same system. The current-dependent terms in the exchange-correlation functional thus provide additional stabilization of the current-carrying state. △ Less

Submitted 21 December, 2004; originally announced December 2004.

Comments: 13 pages, accepted by Int. J. Quantum Chem

Journal ref: Int. J. Quantum Chem. 103, p. 516 (2005)