BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Carlos Gustavo Moreira appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Given positive integers $\ell<n$ and a real $d\in (\ell,n)$, we construct sets $K\subset \mathbb R^n$ with positive and finite Hausdorff $d-$measure such that the Radon-Nikodym derivative associated to all projections on $\ell-$dimensional planes is not an $L^p$ function, for all $p>1$.
These are lecture notes for the AGRA II school, which took place in August 2015 at Universidad de San Antonio Abad del Cusco (Perú). They are geared towards graduate students and young researchers. I. Modular forms and Shimura curves (R. J. Miatello, G. Tornaría, A. Pacetti, M. Harris) II. Additive combinatorics (J. Rué, J. Wolf, J. Cilleruelo, P. Candela) III. Introduction to elliptic curves (M. Rebolledo and M. Hindry) IV. Growth in groups and expanders (H. A. Helfgott, M. Belolipetsky) V. Analysis and geometry in groups (A. Zuk) VI. Equidistribution and Diophantine analysis (R. Menares)
This paper is dedicated to the study of two famous subsets of the real line, namely Lagrange spectrum $L$ and Markov spectrum $M$. Our first result, Theorem 2.1, provides a rigorous estimate on the smallest value $t_1$ such that the portion of the Markov spectrum $(-\infty,t_1)\cap M$ has Hausdorff dimension $1$. Our second result, Theorem 3.1, gives a new upper bound on the Hausdorff dimension of the set difference $M\setminus L$. Our method combines new facts about the structure of the classical spectra together with finer estimates on the Hausdorff dimension of Gauss--Cantor sets of continued fraction expansions whose entries satisfy appropriate restrictions.
Given graphs $G$, $H_1$, and $H_2$, let $G\xrightarrow{\text{mr}}(H_1,H_2)$ denote the property that in every edge colouring of $G$ there is a monochromatic copy of $H_1$ or a rainbow copy of $H_2$. The constrained Ramsey number, defined as the minimum $n$ such that $K_n\xrightarrow{\text{mr}}(H_1,H_2)$, exists if and only if $H_1$ is a star or $H_2$ is a forest. We determine the threshold for the property $G(n,p)\xrightarrow{\text{mr}}(H_1,H_2)$ when $H_2$ is a forest, explicitly when the threshold is $Ω(n^{-1})$ and implicitly otherwise.
We show that $1+3/\sqrt{2}$ is a point of the Lagrange spectrum $L$ which is accumulated by a sequence of elements of the complement $M\setminus L$ of the Lagrange spectrum in the Markov spectrum $M$. In particular, $M\setminus L$ is not a closed subset of $\mathbb{R}$, so that a question by T. Bousch has a negative answer.
We prove dimension formulas for arihmetic sums of regular Cantor sets, and, more generally, for images of cartesian products of regular Cantor sets by differentiable real maps.
In 1902, P. Stäckel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at all algebraic points. Based on this result, in 1976, K. Mahler raised the question of the existence of such functions which are analytic in $\mathbb{C}$. In this work, we provide a positive answer for this question by showing the existence of uncountable many of these functions.
We propose a counting dimension for subsets of Z and prove that, under certain conditions on two such subsets E and F, for Lebesgue almost every real λ the counting dimension of E+[λF] is at least the minimum between 1 and the sum of the counting dimensions of E and F. Furthermore, if the sum of the counting dimensions of E and F is larger than 1, then E+[λF] has positive upper Banach density for Lebesgue almost every λ. The result has direct consequences when E,F are arithmetic sets, e.g. the integer values of a polynomial with integer coefficients.
We consider a family of planar systems introduced in 1991 by Benedicks and Carleson as a toy model for the dynamics of the so-called Hénon maps. We show that Smale's Axiom A property is $C^1$-dense among the systems in this family, despite the existence of $C^2$-open subsets (closely related to the so-called Newhouse phenomena) where Smale's Axiom A is violated. In particular, this provides some evidence towards Smale's conjecture that Axiom A is a $C^1$-dense property among surface diffeomorphisms. The basic tools in the proof of this result are: 1) a recent theorem of Moreira saying that stable intersections of dynamical Cantor sets (one of the main obstructions to Axiom A property for surface diffeomorphisms) can be destroyed by $C^1$-perturbations; 2) the good geometry of the dynamical critical set (in the sense of Rodriguez-Hertz and Pujals) thanks to the particular form of Benedicks-Carleson toy models.
We give sufficient conditions for two Cantor sets of the line to be nested for a positive set of translation parameters. This problem occurs in diophantine approximations. It also occurs as a toy model of the parameter selection for non-uniformly hyperbolic attractors of the plane. For natural Cantors sets, we show that this condition is optimal.
A permutation sequence is said to be convergent if the density of occurrences of every fixed permutation in the elements of the sequence converges. We prove that such a convergent sequence has a natural limit object, namely a Lebesgue measurable function $Z:[0,1]^2 \to [0,1]$ with the additional properties that, for every fixed $x \in [0,1]$, the restriction $Z(x,\cdot)$ is a cumulative distribution function and, for every $y \in [0,1]$, the restriction $Z(\cdot,y)$ satisfies a "mass" condition. This limit process is well-behaved: every function in the class of limit objects is a limit of some permutation sequence, and two of these functions are limits of the same sequence if and only if they are equal almost everywhere. An ingredient in the proofs is a new model of random permutations, which generalizes previous models and might be interesting for its own sake.
We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Let $K_1,...,K_n$ Borel subsets of $\mathbb R^{m_1},... ,\mathbb R^{m_n}$ respectively, and $π:\mathbb R^{m_1}\times...\times\mathbb R^{m_n}\to\mathbb R^k$ be a surjective linear map. We set $$\mathfrak{m}:=\min\{\sum_{i\in I}\dim_H(K_i) + \dimπ(\bigoplus_{i\in I^c}\mathbb R^{m_i}), I\subset\{1,...,n\}, I\ne\emptyset\}.$$ Consider the space $Λ_m=\{(t,O), t\in\mathbb R, O\in SO(m)\}$ with the natural measure and set $Λ=Λ_{m_1}\times...\timesΛ_{m_n}$. For every $λ=(t_1,O_1,...,t_n,O_n)\inΛ$ and every $x=(x^1,,x^n)\in\mathbb R^{m_1}\times...\times\mathbb R^{m_n}$ we define $π_λ(x)=π(t_1O_1x^1,...,t_nO_nx^n)$. Then we have $(i)$ If $\mathfrak{m}>k$, then $π_λ(K_1\times...\times K_n)$ has positive $k$-dimensional Lebesgue measure for almost every $λ\inΛ$. $(ii)$ If $\mathfrak{m}\leq k$ and $\dim_H(K_1\times...\times K_n)=\dim_H(K_1)+...+\dim_H(K_n)$, then \dim_H(π_λ(K_1\times...\times K_n))=\mathfrak{m}$ for almost every $λ\inΛ$.
We prove the following variant of Marstrand's theorem about projections of cartesian products of sets: Consider the space $Λ_m=\set{(t,O), t\in\R, O\in SO(m)}$ with the natural measure and set $Λ=Λ_{m_1}\times\ppp\timesΛ_{m_n}$. For every $\la=(t_1,O_1,\ppp,t_n,O_n)\inΛ$ and every $x=(x^1,\ppp,x^n)\in\R^{m_1}\times\ppp\times\R^{m_n}$ we define $π_\la(x)=π(t_1O_1x^1,\ppp,t_nO_nx^n)$. Suppose that $π$ is surjective and set $$\mathfrak{m}:=\min\set{\sum_{i\in I}\dim_H(K_i) + \dimπ(\bigoplus_{i\in I^c}\R^{m_i}), I\subset\set{1,\ppp,n}, I\ne\emptyset}.$$ Then we have {thm*} \emph{(i)} If $\mathfrak{m}>k$, then $π_\la(K_1\times\ppp\times K_n)$ has positive $k$-dimensional Lebesgue measure for almost every $\la\inΛ$. \emph{(ii)} If $\mathfrak{m}\leq k$ and $\dim_H(K_1\times\ppp\times K_n)=\dim_H(K_1)+\ppp+\dim_H(K_n)$, then $\dim_H(π_\la(K_1\times\ppp\times K_n))=\mathfrak{m}$ for almost every $\la\inΛ$. {thm*}
We give an example illustrating that two notions of bounded distortion for $\mathcal C^1$ expanding maps in $\R$ are different.
In a paper from 1954 Marstrand proved that if K is a Borel subset of the plane with Hausdorff dimension greater than 1, then its one-dimensional projection has positive Lebesgue measure for almost-all directions. In this article, we give a new proof of this theorem, extending the techniques developed in a previous work.
In 1954 Marstrand proved that if K is a subset of R^2 with Hausdorff dimension greater than 1, then its one-dimensional projection has positive Lebesgue measure for almost-all directions. In this article, we give a combinatorial proof of this theorem when K is the product of regular Cantor sets of class C^{1+a}, a>0, for which the sum of their Hausdorff dimension is greater than 1.