Showing 1–35 of 35 results for author: Dias, L

Tangent cones at infinity

Authors: Luis Renato Gonçalves Dias, Nilva Rodrigues Ribeiro

Abstract: Let $X\subset\mathbb{C}^m$ be an unbounded pure $k$-dimensional algebraic set. We define the tangent cones $C_{4, \infty}(X)$ and $C_{5,\infty}(X)$ of $X$ at infinity. We establish some of their properties and relations. We prove that $X$ must be an affine linear subspace of $\mathbb{C}^m$ provided that $C_{5, \infty}(X)$ has pure dimension $k$. Also, we study the relation between the tangent cone… ▽ More Let $X\subset\mathbb{C}^m$ be an unbounded pure $k$-dimensional algebraic set. We define the tangent cones $C_{4, \infty}(X)$ and $C_{5,\infty}(X)$ of $X$ at infinity. We establish some of their properties and relations. We prove that $X$ must be an affine linear subspace of $\mathbb{C}^m$ provided that $C_{5, \infty}(X)$ has pure dimension $k$. Also, we study the relation between the tangent cones at infinity and representations of $X$ outside a compact set as a branched covering. Our results can be seen as versions at infinity of results of Whitney and Stutz. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Symmetry defect of $n$-dimensional complete intersections in $\mathbb{C}^{2n-1}$

Authors: L. R. G. Dias, Z. Jelonek

Abstract: Let $X, Y \subset \mathbb{C}^{2n-1}$ be $n$-dimensional strong complete intersections in a general position. In this note, we consider the set of midpoints of chords connecting a point $x \in X$ to a point $y \in Y$. This set is defined as the image of the map $Φ(x,y)=\frac{x+y}{2}.$ Under geometric conditions on $X$ and $Y$, we prove that the symmetry defect of $X$ and $Y$, which is the bifurcati… ▽ More Let $X, Y \subset \mathbb{C}^{2n-1}$ be $n$-dimensional strong complete intersections in a general position. In this note, we consider the set of midpoints of chords connecting a point $x \in X$ to a point $y \in Y$. This set is defined as the image of the map $Φ(x,y)=\frac{x+y}{2}.$ Under geometric conditions on $X$ and $Y$, we prove that the symmetry defect of $X$ and $Y$, which is the bifurcation set $B(X,Y)$ of the mapping $Φ$, is an algebraic variety, characterized by a topological invariant. We introduce a hypersurface that approximates the set $B(X,Y)$ and we present an estimate for its degree. Moreover, for any two $n$-dimensional strong complete intersections $X,Y\subset \mathbb{C}^{2n-1}$ (including the case $X=Y$) we introduce a generic symmetry defect set $\tilde{B}(X,Y)$ of $X$ and $Y$, which is defined up to homeomorphism. △ Less

Submitted 29 April, 2024; originally announced April 2024.

A Thom Isotopy Theorem for nonproper semialgebraic maps

Authors: Luis Renato Gonçalves Dias, Giovanny Snaider Barrera Ramos

Abstract: We prove a version of the Thom Isotopy Theorem for nonproper semialgebraic maps $f\colon X\rightarrow \mathbb{R}^m$, where $X \subset\mathbb{R}^n$ is a semialgebraic set and $f$ is the restriction to $X$ of a smooth semialgebraic map $F:\mathbb{R}^n\to \mathbb{R}^m$. We prove a version of the Thom Isotopy Theorem for nonproper semialgebraic maps $f\colon X\rightarrow \mathbb{R}^m$, where $X \subset\mathbb{R}^n$ is a semialgebraic set and $f$ is the restriction to $X$ of a smooth semialgebraic map $F:\mathbb{R}^n\to \mathbb{R}^m$. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Analysis of tidal flows through the Strait of Gibraltar using Dynamic Mode Decomposition

Authors: Sathsara Dias, Sudam Surasinghe, Kanaththa Priyankara, Marko Budišić, Larry Pratt, José C. Sanchez-Garrido, Erik M. Bollt

Abstract: The Strait of Gibraltar is a region characterized by intricate oceanic sub-mesoscale features, influenced by topography, tidal forces, instabilities, and nonlinear hydraulic processes, all governed by the nonlinear equations of fluid motion. In this study, we aim to uncover the underlying physics of these phenomena within 3D MIT general circulation model simulations, including waves, eddies, and g… ▽ More The Strait of Gibraltar is a region characterized by intricate oceanic sub-mesoscale features, influenced by topography, tidal forces, instabilities, and nonlinear hydraulic processes, all governed by the nonlinear equations of fluid motion. In this study, we aim to uncover the underlying physics of these phenomena within 3D MIT general circulation model simulations, including waves, eddies, and gyres. To achieve this, we employ Dynamic Mode Decomposition (DMD) to break down simulation snapshots into Koopman modes, with distinct exponential growth/decay rates and oscillation frequencies. Our objectives encompass evaluating DMD's efficacy in capturing known features, unveiling new elements, ranking modes, and exploring order reduction. We also introduce modifications to enhance DMD's robustness, numerical accuracy, and robustness of eigenvalues. DMD analysis yields a comprehensive understanding of flow patterns, internal wave formation, and the dynamics of the Strait of Gibraltar, its meandering behaviors, and the formation of a secondary gyre, notably the Western Alboran Gyre, as well as the propagation of Kelvin and coastal-trapped waves along the African coast. In doing so, it significantly advances our comprehension of intricate oceanographic phenomena and underscores the immense utility of DMD as an analytical tool for such complex datasets, suggesting that DMD could serve as a valuable addition to the toolkit of oceanographers. △ Less

Submitted 19 January, 2025; v1 submitted 2 November, 2023; originally announced November 2023.

Generic symmetry defect set of an algebraic curve

Authors: L. R. G. Dias, M. Farnik, Z. Jelonek

Abstract: Let $X \subset \mathbb{C}^{2n}$ be an $n$-dimensional algebraic variety. We define the algebraic version of the generic symmetry defect set (Wigner caustic) of $X$. Moreover, we compute its singularities for $X_d$ being a generic curve of degree $d$ in $\mathbb{C}^2$. Let $X \subset \mathbb{C}^{2n}$ be an $n$-dimensional algebraic variety. We define the algebraic version of the generic symmetry defect set (Wigner caustic) of $X$. Moreover, we compute its singularities for $X_d$ being a generic curve of degree $d$ in $\mathbb{C}^2$. △ Less

Submitted 6 March, 2022; originally announced March 2022.

MSC Class: 14 D 06; 14 Q 20

Billiards in generic convex bodies have positive topological entropy

Authors: Mário Bessa, Gianluigi Del Magno, João Lopes Dias, José Pedro Gaivão, Maria Joana Torres

Abstract: We show that there exists a $C^2$ open dense set of convex bodies with smooth boundary whose billiard map exhibits a non-trivial hyperbolic basic set. As a consequence billiards in generic convex bodies have positive topological entropy and exponential growth of the number of periodic orbits. We show that there exists a $C^2$ open dense set of convex bodies with smooth boundary whose billiard map exhibits a non-trivial hyperbolic basic set. As a consequence billiards in generic convex bodies have positive topological entropy and exponential growth of the number of periodic orbits. △ Less

Submitted 20 February, 2024; v1 submitted 4 January, 2022; originally announced January 2022.

Comments: 33 pages

Surjectivity of linear operators and semialgebraic global diffeomorphisms

Authors: Francisco Braun, Luis Renato Gonçalves Dias, Jean Venato Santos

Abstract: We prove that a $C^{\infty}$ semialgebraic local diffeomorphism of $\mathbb{R}^n$ with non-properness set having codimension greater than or equal to $2$ is a global diffeomorphism if $n-1$ suitable linear partial differential operators are surjective. Then we state a new analytic conjecture for a polynomial local diffeomorphism of $\mathbb{R}^n$. Our conjecture implies a very known conjecture of… ▽ More We prove that a $C^{\infty}$ semialgebraic local diffeomorphism of $\mathbb{R}^n$ with non-properness set having codimension greater than or equal to $2$ is a global diffeomorphism if $n-1$ suitable linear partial differential operators are surjective. Then we state a new analytic conjecture for a polynomial local diffeomorphism of $\mathbb{R}^n$. Our conjecture implies a very known conjecture of Z. Jelonek. We further relate the surjectivity of these operators with the fibration concept and state a general global injectivity theorem for semialgebraic mappings which turns out to unify and generalize previous results of the literature. △ Less

Submitted 3 October, 2021; originally announced October 2021.

Journal ref: Journal d'Analyse Mathématique, 2023

Lipschitz normally embedded set and tangent cones at infinity

Authors: L. R. G. Dias, N. R. Ribeiro

Abstract: We prove that any analytic set in $\C^n$ with a unique tangent cone at infinity is an algebraic set. We prove that the degree of a complex algebraic set in $\C^n$, which is Lipschitz normally embedded at infinity, is equal to the degree of its tangent cone at infinity. We prove that any analytic set in $\C^n$ with a unique tangent cone at infinity is an algebraic set. We prove that the degree of a complex algebraic set in $\C^n$, which is Lipschitz normally embedded at infinity, is equal to the degree of its tangent cone at infinity. △ Less

Submitted 21 March, 2021; originally announced March 2021.

Journal ref: 2021, The Journal of Geometric Analysis

Superinvolutions on block-triangular matrix algebras

Authors: Laise Dias, Diogo Diniz, Alex Ramos

Abstract: In this paper we classify, up to isomorphism, the superinvolutions on algebras of upper block-triangular matrices over an algebraically closed field of characteristic different from $2$. In this paper we classify, up to isomorphism, the superinvolutions on algebras of upper block-triangular matrices over an algebraically closed field of characteristic different from $2$. △ Less

Submitted 6 October, 2020; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: The proof of Lemma 5.11 is incorrect

MSC Class: 16W10; 16W50; 16W55

On global invertibility of semi-algebraic local diffeomorphisms

Authors: Francisco Braun, Luis Renato Gonçalves Dias, Jean Venato-Santos

Abstract: In this partly expository paper we discuss conditions for the global injectivity of $C^2$ semi-algebraic local diffeomorphisms $f:\mathbb{R}^n \to \mathbb{R}^n$. In case $n > 2$, we consider the foliations of $\mathbb{R}^n$ defined by the level sets of each $n-2$ projections of $f$, i.e., the maps $\mathbb{R}^n \to \mathbb{R}^{n-2}$ obtained by deleting two coordinate functions of $f$. It is known… ▽ More In this partly expository paper we discuss conditions for the global injectivity of $C^2$ semi-algebraic local diffeomorphisms $f:\mathbb{R}^n \to \mathbb{R}^n$. In case $n > 2$, we consider the foliations of $\mathbb{R}^n$ defined by the level sets of each $n-2$ projections of $f$, i.e., the maps $\mathbb{R}^n \to \mathbb{R}^{n-2}$ obtained by deleting two coordinate functions of $f$. It is known that if the set of non-proper points of $f$ has codimension greater than or equal to $2$ and the leaves of the above-defined foliations are simply connected, then $f$ is bijective. In this work we relate this simply connectedness with the notion of locally trivial fibrations. Then some computable regularity conditions at infinity ensuring such simply connectedness are presented. Further, we provide an equivalent statement of the Jacobian conjecture by using fibrations. By means of examples we prove that the results presented here are different from a previous result based on a spectral hypothesis. Our considerations are also applied to discuss the behaviour of some conditions when $f$ is composed with linear isomorphisms: this is relevant due to some misunderstandings appearing in the literature. △ Less

Submitted 12 June, 2020; originally announced June 2020.

Journal ref: 2021, Topological Methods in Nonlinear Analysis

Atypical points at infinity and algorithmic detection of the bifurcation locus of real polynomials

Authors: Luis Renato G. Dias, Cezar Joiţa, Mihai Tibăr

Abstract: We show that the variation of the topology at infinity of a two-variable polynomial function is localisable at a finite number of "atypical points" at infinity. We construct an effective algorithm with low complexity in order to detect sharply the bifurcation values of the polynomial function. We show that the variation of the topology at infinity of a two-variable polynomial function is localisable at a finite number of "atypical points" at infinity. We construct an effective algorithm with low complexity in order to detect sharply the bifurcation values of the polynomial function. △ Less

Submitted 26 November, 2020; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: minor edits in this last version before print; to appear in Math. Z

MSC Class: 14D06; 14Q20; 58K05; 57R45; 14P10; 32S20; 58K15

Journal ref: Math. Z. 298 (2021), 1545-1558

On the liftability of expanding stationary measures

Authors: Jose F. Alves, Carla L. Dias, Helder Vilarinho

Abstract: We consider random perturbations of a topologically transitive local diffeomorphism of a Riemannian manifold. We show that if an absolutely continuous ergodic stationary measures is expanding (all Lyapunov exponents positive), then there is a random Gibbs-Markov-Young structure which can be used to lift that measure. We also prove that if the original map admits a finite number of expanding invari… ▽ More We consider random perturbations of a topologically transitive local diffeomorphism of a Riemannian manifold. We show that if an absolutely continuous ergodic stationary measures is expanding (all Lyapunov exponents positive), then there is a random Gibbs-Markov-Young structure which can be used to lift that measure. We also prove that if the original map admits a finite number of expanding invariant measures then the stationary measures of a sufficiently small stochastic perturbation are expanding. △ Less

Submitted 30 April, 2019; originally announced April 2019.

Comments: 26 pages

MSC Class: 37A50; 37D25; 60G52

Group partitions of minimal size

Authors: Martino Garonzi, Michell Lucena Dias

Abstract: A cover of a finite group $G$ is a family of proper subgroups of $G$ whose union is $G$, and a cover is called minimal if it is a cover of minimal cardinality. A partition of $G$ is a cover such that the intersection of any two of its members is $\{1\}$. In this paper we determine all finite groups that admit a minimal cover that is also a partition. We prove that this happens if and only if $G$ i… ▽ More A cover of a finite group $G$ is a family of proper subgroups of $G$ whose union is $G$, and a cover is called minimal if it is a cover of minimal cardinality. A partition of $G$ is a cover such that the intersection of any two of its members is $\{1\}$. In this paper we determine all finite groups that admit a minimal cover that is also a partition. We prove that this happens if and only if $G$ is isomorphic to $C_p \times C_p$ for some prime $p$ or to a Frobenius group with Frobenius kernel being an abelian minimal normal subgroup and Frobenius complement cyclic. △ Less

Submitted 9 April, 2019; v1 submitted 7 November, 2018; originally announced November 2018.

On Topological Approaches to the Jacobian Conjecture in $\mathbb{C}^n$

Authors: Francisco Braun, Luis Renato G. Dias, Jean Venato-Santos

Abstract: We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture, then $S_f$ is a hypersurface such that $S_f\cap Z \neq \emptyset$, for any $Z\subset \mathbb{C}^n$ biregular to $\mathbb{C}^{n-1}$ and $Z = h^{-1}(0)$ for a pol… ▽ More We obtain a structure theorem for the nonproperness set $S_f$ of a nonsingular polynomial mapping $f:\mathbb{C}^n \to \mathbb{C}^n$. Jelonek's results on $S_f$ and our result show that if $f$ is a counterexample to the Jacobian conjecture, then $S_f$ is a hypersurface such that $S_f\cap Z \neq \emptyset$, for any $Z\subset \mathbb{C}^n$ biregular to $\mathbb{C}^{n-1}$ and $Z = h^{-1}(0)$ for a polynomial submersion $h: \mathbb{C}^n \to \mathbb{C}$. Also, we present topological approaches to the Jacobian conjecture in $\mathbb{C}^n$. △ Less

Submitted 10 July, 2018; originally announced July 2018.

Journal ref: Proceedings of the Edinburgh Mathematical Society, 2020

On the attractor of piecewise expanding maps of the interval

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão

Abstract: We consider piecewise expanding maps of the interval with finitely many branches of monotonicity and show that they are generically combinatorially stable, i.e., the number of ergodic attractors and their corresponding mixing periods do not change under small perturbations of the map. Our methods provide a topological description of the attractor and, in particular, give an elementary proof of the… ▽ More We consider piecewise expanding maps of the interval with finitely many branches of monotonicity and show that they are generically combinatorially stable, i.e., the number of ergodic attractors and their corresponding mixing periods do not change under small perturbations of the map. Our methods provide a topological description of the attractor and, in particular, give an elementary proof of the density of periodic orbits. △ Less

Submitted 17 November, 2017; originally announced November 2017.

Comments: 19 pages, 2 figures

Renormalization of Gevrey vector fields with a Brjuno type arithmetical condition

Authors: João Lopes Dias, José Pedro Gaivão

Abstract: We show that in the Gevrey topology, a $d$-torus flow close enough to linear with a unique rotation vector $ω$ is linearizable as long as $ω$ satisfies a Brjuno type diophantine condition. The proof is based on the fast convergence under renormalization of the associated Gevrey vector field. It requires a multidimensional continued fractions expansion of $ω$, and the corresponding characterization… ▽ More We show that in the Gevrey topology, a $d$-torus flow close enough to linear with a unique rotation vector $ω$ is linearizable as long as $ω$ satisfies a Brjuno type diophantine condition. The proof is based on the fast convergence under renormalization of the associated Gevrey vector field. It requires a multidimensional continued fractions expansion of $ω$, and the corresponding characterization of the Brjuno type vectors. This demonstrates that renormalization methods deal very naturally with Gevrey regularity expressed in the decay of Fourier coefficients. In particular, they provide linearization for frequencies beyond diophantine in non-analytic topologies. △ Less

Submitted 14 June, 2017; originally announced June 2017.

Comments: 40 pages, 0 figures

On shadowing and hyperbolicity for geodesic flows on surfaces

Authors: Mario Bessa, Maria Joana Torres, Joao Lopes Dias

Abstract: We prove that the geodesic flow on closed surfaces displays a hyperbolic set if the shadowing property holds C2-robustly on the metric. Similar results are obtained when considering even feeble properties like the weak shadowing and the specification properties. Despite the Hamiltonian nature of the geodesic flow, the arguments in the present paper differ completely from those used in [5] for Hami… ▽ More We prove that the geodesic flow on closed surfaces displays a hyperbolic set if the shadowing property holds C2-robustly on the metric. Similar results are obtained when considering even feeble properties like the weak shadowing and the specification properties. Despite the Hamiltonian nature of the geodesic flow, the arguments in the present paper differ completely from those used in [5] for Hamiltonian systems. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: 12 pages, 1 figure

Journal ref: Nonlinear Analysis: Theory, Methods & Applications, Vol. 155, 250-263 (2017)

Hyperbolic polygonal billiards with finitely many ergodic SRB measures

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão

Abstract: We study polygonal billiards with reflection laws contracting the reflected angle towards the normal. It is shown that if a polygon does not have parallel sides facing each other, then the corresponding billiard map has finitely many ergodic SRB measures whose basins cover a set of full Lebesgue measure. We study polygonal billiards with reflection laws contracting the reflected angle towards the normal. It is shown that if a polygon does not have parallel sides facing each other, then the corresponding billiard map has finitely many ergodic SRB measures whose basins cover a set of full Lebesgue measure. △ Less

Submitted 22 July, 2015; originally announced July 2015.

Comments: 26 pages, 2 figures

Towards effective detection of the bifurcation locus of real polynomial maps

Authors: Luis Renato G. Dias, Susumu Tanabé, Mihai Tibar

Abstract: We answer to a problem raised by recent work of Jelonek and Kurdyka: how can one detect by rational arcs the bifurcation locus of a polynomial map $\bR^n\to\bR^p$ in case $p>1$. We describe an effective estimation of the "nontrivial" part of the bifurcation locus. We answer to a problem raised by recent work of Jelonek and Kurdyka: how can one detect by rational arcs the bifurcation locus of a polynomial map $\bR^n\to\bR^p$ in case $p>1$. We describe an effective estimation of the "nontrivial" part of the bifurcation locus. △ Less

Submitted 31 December, 2015; v1 submitted 21 March, 2015; originally announced March 2015.

Comments: 12p, more details to proofs and new Lemma 2.3, Remark 2.10

Journal ref: Foundations of Computational Mathematics 17, Issue 3 (2017), 837-849

Hyperbolic polygonal billiards close to 1-dimensional piecewise expanding maps

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão

Abstract: We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the… ▽ More We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the slap map, the 1-dimensional map obtained from the billiard map when the angle of reflection is always equal to zero. Our main result states that for a generic polygon, if the reflection law has a Lipschitz constant sufficiently small, then there exists a one-to-one correspondence between the ergodic SRB measures of the billiard map and the ergodic acips of the corresponding slap map, and moreover that the number of Bernoulli components of each ergodic SRB measure equals the number of the exact components of the corresponding ergodic acip. The case of billiards in regular polygons and triangles is studied in detail. △ Less

Submitted 28 October, 2019; v1 submitted 15 January, 2015; originally announced January 2015.

Comments: 41 pages, 4 figure

Detecting bifurcation values at infinity of real polynomials

Authors: Luis Renato G. Dias, Mihai Tibar

Abstract: We present a new approach for estimating the set of bifurcation values at infinity. This yields a significant shrinking of the number of coefficients in the recent algorithm introduced by Jelonek and Kurdyka for reaching critical values at infinity by rational arcs. We present a new approach for estimating the set of bifurcation values at infinity. This yields a significant shrinking of the number of coefficients in the recent algorithm introduced by Jelonek and Kurdyka for reaching critical values at infinity by rational arcs. △ Less

Submitted 26 March, 2014; originally announced March 2014.

MSC Class: 14D06; 58K05; 57R45; 14P10; 32S20; 58K15

Journal ref: Math. Z. 279 (2015), 311-319

SRB measures for partially hyperbolic systems whose central direction is weakly expanding

Authors: Jose F. Alves, C. L. Dias, S. Luzzatto, V. Pinheiro

Abstract: We consider partially hyperbolic \( C^{1+} \) diffeomorphisms of compact Riemannian manifolds of arbitrary dimension which admit a partially hyperbolic tangent bundle decomposition \( E^s\oplus E^{cu} \). Assuming the existence of a set of positive Lebesgue measure on which \( f \) satisfies a weak nonuniform expansivity assumption in the centre~unstable direction, we prove that there exists at mo… ▽ More We consider partially hyperbolic \( C^{1+} \) diffeomorphisms of compact Riemannian manifolds of arbitrary dimension which admit a partially hyperbolic tangent bundle decomposition \( E^s\oplus E^{cu} \). Assuming the existence of a set of positive Lebesgue measure on which \( f \) satisfies a weak nonuniform expansivity assumption in the centre~unstable direction, we prove that there exists at most a finite number of transitive attractors each of which supports an SRB measure. As part of our argument, we prove that each attractor admits a Gibbs-Markov-Young geometric structure with integrable return times. We also characterize in this setting SRB measures which are liftable to Gibbs-Markov-Young structures. △ Less

Submitted 17 December, 2015; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: Revised version

Ergodicity of polygonal slap maps

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão

Abstract: Polygonal slap maps are piecewise affine expanding maps of the interval obtained by projecting the sides of a polygon along their normals onto the perimeter of the polygon. These maps arise in the study of polygonal billiards with non-specular reflections laws. We study the absolutely continuous invariant probabilities of the slap maps for several polygons, including regular polygons and triangles… ▽ More Polygonal slap maps are piecewise affine expanding maps of the interval obtained by projecting the sides of a polygon along their normals onto the perimeter of the polygon. These maps arise in the study of polygonal billiards with non-specular reflections laws. We study the absolutely continuous invariant probabilities of the slap maps for several polygons, including regular polygons and triangles. We also present a general method for constructing polygons with slap maps having more than one ergodic absolutely continuous invariant probability. △ Less

Submitted 4 December, 2013; originally announced December 2013.

Comments: 17 pages, 6 figures

Realization of tangent perturbations in discrete and continuous time conservative systems

Authors: Hassan Najafi Alishah, João Lopes Dias

Abstract: We prove that any perturbation of the symplectic part of the derivative of a Poisson diffeomorphism can be realized as the derivative of a $C^1$-close Poisson diffeomorphism. We also show that a similar property holds for the Poincaré map of a Hamiltonian on a Poisson manifold. These results are the conservative counterparts of the Franks lemma, a perturbation tool used in several contexts most no… ▽ More We prove that any perturbation of the symplectic part of the derivative of a Poisson diffeomorphism can be realized as the derivative of a $C^1$-close Poisson diffeomorphism. We also show that a similar property holds for the Poincaré map of a Hamiltonian on a Poisson manifold. These results are the conservative counterparts of the Franks lemma, a perturbation tool used in several contexts most notably in the theory of smooth dynamical systems. △ Less

Submitted 3 October, 2013; originally announced October 2013.

Comments: 18 page

Journal ref: DCDS-A Volume 34, Issue 12, December 2014

Invertible polynomial mappings via Newton non-degeneracy

Authors: Ying Chen, L. R. G. Dias, Kiyoshi Takeuchi, Mihai Tibar

Abstract: We prove a sufficient condition for the Jacobian problem in the setting of real, complex and mixed polynomial mappings. This follows from the study of the bifurcation locus of a mapping subject to a new Newton non-degeneracy condition. We prove a sufficient condition for the Jacobian problem in the setting of real, complex and mixed polynomial mappings. This follows from the study of the bifurcation locus of a mapping subject to a new Newton non-degeneracy condition. △ Less

Submitted 8 July, 2013; v1 submitted 25 March, 2013; originally announced March 2013.

Comments: Final version with some more edits, to be published in Ann. Inst. Fourier (Grenoble). arXiv admin note: substantial text overlap with arXiv:1207.1612

Journal ref: Annales de l'Institut Fourier 64, no. 5 (2014), p. 1807-1822

SRB measures for hyperbolic polygonal billiards

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão, Diogo Pinheiro

Abstract: We prove that polygonal billiards with contracting reflection laws exhibit hyperbolic attractors with countably many ergodic SRB measures. These measures are robust under small perturbations of the reflection law, and the tables for which they exist form a generic set in the space of all polygons. Specific polygonal tables are studied in detail. We prove that polygonal billiards with contracting reflection laws exhibit hyperbolic attractors with countably many ergodic SRB measures. These measures are robust under small perturbations of the reflection law, and the tables for which they exist form a generic set in the space of all polygons. Specific polygonal tables are studied in detail. △ Less

Submitted 6 February, 2013; originally announced February 2013.

Comments: 41 pages, 5 figures

On Newton non-degeneracy of polynomial mappings

Authors: Y. Chen, L. R. G. Dias, M. Tibar

Abstract: We introduce a new non-degeneracy condition at infinity for a real or a mixed polynomial mapping $F$ which allows us to approximate its bifurcation locus in terms of certain Newton polyhedra. We derive a sufficiency result for the Jacobian problem in the setting of mixed mappings. We introduce a new non-degeneracy condition at infinity for a real or a mixed polynomial mapping $F$ which allows us to approximate its bifurcation locus in terms of certain Newton polyhedra. We derive a sufficiency result for the Jacobian problem in the setting of mixed mappings. △ Less

Submitted 6 March, 2014; v1 submitted 6 July, 2012; originally announced July 2012.

Comments: This paper has been withdrawn by the authors. This paper is superseded by arXiv:1303.6879

MSC Class: 14D06; 58K05; 57R45; 14P10; 32S20; 58K15

Chaos in the square billiard with a modified reflection law

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão, Diogo Pinheiro

Abstract: The purpose of this paper is to study the dynamics of a square billiard with a non-standard reflection law such that the angle of reflection of the particle is a linear contraction of the angle of incidence. We present numerical and analytical arguments that the nonwandering set of this billiard decomposes into three invariant sets, a parabolic attractor, a chaotic attractor and a set consisting o… ▽ More The purpose of this paper is to study the dynamics of a square billiard with a non-standard reflection law such that the angle of reflection of the particle is a linear contraction of the angle of incidence. We present numerical and analytical arguments that the nonwandering set of this billiard decomposes into three invariant sets, a parabolic attractor, a chaotic attractor and a set consisting of several horseshoes. This scenario implies the positivity of the topological entropy of the billiard, a property that is in sharp contrast with the integrability of the square billiard with the standard reflection law. △ Less

Submitted 29 March, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: 17 figures

Creation of Homoclinic Tangencies in Hamiltonians by the Suspension of Poincaré Sections

Authors: Mário Bessa, João Lopes Dias

Abstract: In this note we show that for any Hamiltonian defined on a symplectic 4-manifold M and any point p in M, there exists a C2-close Hamiltonian whose regular energy surface through p is either Anosov or it contains a homoclinic tangency. Our result is based on a general construction of Hamiltonian suspensions for given symplectomorphisms on Poincaré sections already known to yield similar properties. In this note we show that for any Hamiltonian defined on a symplectic 4-manifold M and any point p in M, there exists a C2-close Hamiltonian whose regular energy surface through p is either Anosov or it contains a homoclinic tangency. Our result is based on a general construction of Hamiltonian suspensions for given symplectomorphisms on Poincaré sections already known to yield similar properties. △ Less

Submitted 21 July, 2011; originally announced July 2011.

Comments: 12 pages

MSC Class: 37J45 (Primary); 37D05; 37D20 (Secondary)

Regularity at infinity of real mappings and a Morse-Sard theorem

Authors: L. R. G. Dias, M. A. S. Ruas, M. Tibar

Abstract: We prove a new Morse-Sard type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for $C^2$ mappings. We show the equivalence of three different types of regularity conditions which have been used in the literature in order to control the asymptotic behaviour of mappings. The central role of our picture is played by the $t$-regularity and… ▽ More We prove a new Morse-Sard type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for $C^2$ mappings. We show the equivalence of three different types of regularity conditions which have been used in the literature in order to control the asymptotic behaviour of mappings. The central role of our picture is played by the $t$-regularity and its bridge toward the $ρ$-regularity which implies topological triviality at infinity. △ Less

Submitted 29 March, 2011; originally announced March 2011.

MSC Class: 14D06; 51N10; 14P10; 32S20; 32S15; 58K15; 57BN80

Journal ref: J. Topology, 5 (2012), no. 2, 323--340

A new proof of the Herman-Avila-Bochi formula for Lyapunov exponents of SL(2,R)-cocycles

Authors: Alexandre T. Baraviera, Joao Lopes Dias, Pedro Duarte

Abstract: We study the geometry of the action of SL(2,R) on the projective line in order to present a new and simpler proof of the Herman-Avila-Bochi formula. This formula gives the average Lyapunov exponent of a class of 1-families of SL(2,R)-cocycles. We study the geometry of the action of SL(2,R) on the projective line in order to present a new and simpler proof of the Herman-Avila-Bochi formula. This formula gives the average Lyapunov exponent of a class of 1-families of SL(2,R)-cocycles. △ Less

Submitted 27 April, 2010; originally announced April 2010.

Comments: 13 pages, 2 figures

Geometry of expanding absolutely continuous invariant measures and the liftability problem

Authors: Jose F. Alves, Carla L. Dias, Stefano Luzzatto

Abstract: We show that for a large class of maps on manifolds of arbitrary finite dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as the reference measure) is a necessary as well as sufficient condition for the existence of an invariant probability measure which is absolutely continuous measure (with respect to Lebesgue) and for which all Lyapunov exponents are positive. We show that for a large class of maps on manifolds of arbitrary finite dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as the reference measure) is a necessary as well as sufficient condition for the existence of an invariant probability measure which is absolutely continuous measure (with respect to Lebesgue) and for which all Lyapunov exponents are positive. △ Less

Submitted 6 November, 2012; v1 submitted 14 October, 2009; originally announced October 2009.

Comments: 21 pages; final version

MSC Class: 37A05; 37C40; 37D25

Journal ref: Annales de l'Institut Henri Poincare (C) Non Linear Analysis, 2012

Hamiltonian elliptic dynamics on symplectic 4-manifolds

Authors: Mario Bessa, Joao Lopes Dias

Abstract: We consider C2 Hamiltonian functions on compact 4-dimensional symplectic manifolds to study elliptic dynamics of the Hamiltonian flow, namely the so-called Newhouse dichotomy. We show that for any open set U intersecting a far from Anosov regular energy surface, there is a nearby Hamiltonian having an elliptic closed orbit through U. Moreover, this implies that for far from Anosov regular energy… ▽ More We consider C2 Hamiltonian functions on compact 4-dimensional symplectic manifolds to study elliptic dynamics of the Hamiltonian flow, namely the so-called Newhouse dichotomy. We show that for any open set U intersecting a far from Anosov regular energy surface, there is a nearby Hamiltonian having an elliptic closed orbit through U. Moreover, this implies that for far from Anosov regular energy surfaces of a C2-generic Hamiltonian the elliptic closed orbits are generic. △ Less

Submitted 21 January, 2008; originally announced January 2008.

Comments: 9 pages

Journal ref: Proceedings of the American Mathematical Society, vol. 137, 585-592, 2009

Local conjugacy classes for analytic torus flows

Authors: Joao Lopes Dias

Abstract: If a real-analytic flow on the multidimensional torus close enough to linear has a unique rotation vector which satisfies an arithmetical condition Y, then it is analytically conjugate to linear. We show this by proving that the orbit under renormalization of a constant Y vector field attracts all nearby orbits with the same rotation vector. If a real-analytic flow on the multidimensional torus close enough to linear has a unique rotation vector which satisfies an arithmetical condition Y, then it is analytically conjugate to linear. We show this by proving that the orbit under renormalization of a constant Y vector field attracts all nearby orbits with the same rotation vector. △ Less

Submitted 15 November, 2007; originally announced November 2007.

Comments: inc bibl

Generic dynamics of 4-dimensional C2 Hamiltonian systems

Authors: Mario Bessa, Joao Lopes Dias

Abstract: We study the dynamical behaviour of Hamiltonian flows defined on 4-dimensional compact symplectic manifolds. We find the existence of a C2-residual set of Hamiltonians for which every regular energy surface is either Anosov or it is in the closure of energy surfaces with zero Lyapunov exponents a.e. This is in the spirit of the Bochi-Mane dichotomy for area-preserving diffeomorphisms on compact… ▽ More We study the dynamical behaviour of Hamiltonian flows defined on 4-dimensional compact symplectic manifolds. We find the existence of a C2-residual set of Hamiltonians for which every regular energy surface is either Anosov or it is in the closure of energy surfaces with zero Lyapunov exponents a.e. This is in the spirit of the Bochi-Mane dichotomy for area-preserving diffeomorphisms on compact surfaces and its continuous-time version for 3-dimensional volume-preserving flows. △ Less

Submitted 21 January, 2008; v1 submitted 23 April, 2007; originally announced April 2007.

Journal ref: Communications in Mathematical Physics, Vol 281, n° 1, 597-619, 2008