BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jairo Bochi

Jairo Bochi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.OCmath.PRmath.CAmath.COmath.FAmath-phmath.AGmath.ATmath.GRmath.GTmath.MGmath.MPmath.RAmath.SGmath.SP

Catalog footprint

What is connected

22works
16topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

22 published item(s)

preprint2026arXiv

A Poincaré-Bendixson theorem for Bebutov shifts and applications to switched systems

We prove a version of the Poincaré-Bendixson theorem for certain classes of curves on the 2-sphere which are not required to be the trajectories of an underlying flow or semiflow on the sphere itself. Using this result we extend the Poincaré-Bendixson theorem to the context of continuous semiflows on compact subsets of the 2-sphere and the projective plane, give new sufficient conditions for the existence of periodic trajectories of certain low-dimensional affine control systems, and give a new criterion for the global uniform exponential stability of switched systems of homogeneous ODEs in dimension three. We prove in particular that periodic asymptotic stability implies global uniform exponential stability for real linear switched systems of dimension three and complex linear switched systems of dimension two. In combination with a recent result of the second author, this resolves a question of R. Shorten, F. Wirth, O. Mason, K. Wulff and C. King and resolves a natural analogue of the Lagarias-Wang finiteness conjecture in continuous time.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Anosov representations and dominated splittings

We provide a link between Anosov representations introduced by Labourie and dominated splitting of linear cocycles. This allows us to obtain equivalent characterizations for Anosov representations and to recover recent results due to Guéritaud-Guichard-Kassel-Wienhard and Kapovich-Leeb-Porti by different methods. We also give characterizations in terms of multicones and cone-types inspired in the work of Avila-Bochi-Yoccoz and Bochi-Gourmelon. Finally we provide a new proof of the higher rank Morse Lemma of Kapovich-Leeb-Porti.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A criterion for zero averages and full support of ergodic measures

Consider a homeomorphism $f$ defined on a compact metric space $X$ and a continuous map $ϕ\colon X \to \mathbb{R}$. We provide an abstract criterion, called \emph{control at any scale with a long sparse tail} for a point $x\in X$ and the map $ϕ$, that guarantees that any weak$\ast$ limit measure $μ$ of the Birkhoff average of Dirac measures $\frac1n\sum_0^{n-1}δ(f^i(x))$ is such that $μ$-almost every point $y$ has a dense orbit in $X$ and the Birkhoff average of $ϕ$ along the orbit of $y$ is zero. As an illustration of the strength of this criterion, we prove that the diffeomorphisms with nonhyperbolic ergodic measures form a $C^1$-open and dense subset of the set of robustly transitive partially hyperbolic diffeomorphisms with one dimensional nonhyperbolic central direction. We also obtain applications for nonhyperbolic homoclinic classes.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Perfect Matchings in Inhomogeneous Random Bipartite Graphs in Random Environment

In this note we study inhomogeneous random bipartite graphs in random environment. These graphs can be thought of as an extension of the classical Erdös-Rényi random graphs in a random environment. We show that the expected number of perfect matchings obeys a precise quenched asymptotic and that it can be approximated using an iterative process that converges exponentially fast.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The entropy of Lyapunov-optimizing measures of some matrix cocycles

We consider one-step cocycles of $2 \times 2$ matrices, and we are interested in their Lyapunov-optimizing measures, i.e., invariant probability measures that maximize or minimize a Lyapunov exponent. If the cocycle is dominated, that is, the two Lyapunov exponents are uniformly separated along all orbits, then Lyapunov-optimizing measures always exist, and are characterized by their support. Under an additional hypothesis of nonoverlapping between the cones that characterize domination, we prove that the Lyapunov-optimizing measures have zero entropy. This conclusion certainly fails without the domination assumption, even for typical one-step $\mathrm{SL}(2,\mathbb{R})$-cocycles; indeed we show that in the latter case there are measures of positive entropy with zero Lyapunov exponent.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Ergodic optimization of prevalent super-continuous functions

Given a dynamical system, we say that a performance function has property P if its time averages along orbits are maximized at a periodic orbit. It is conjectured by several authors that for sufficiently hyperbolic dynamical systems, property P should be typical among sufficiently regular performance functions. In this paper we address this problem using a probabilistic notion of typicality that is suitable to infinite dimension: the concept of prevalence as introduced by Hunt, Sauer, and Yorke. For the one-sided shift on two symbols, we prove that property P is prevalent in spaces of functions with a strong modulus of regularity. Our proof uses Haar wavelets to approximate the ergodic optimization problem by a finite-dimensional one, which can be conveniently restated as a maximum cycle mean problem on a de Bruijin graph.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Robust criterion for the existence of nonhyperbolic ergodic measures

We give explicit $C^1$-open conditions that ensure that a diffeomorphism possesses a nonhyperbolic ergodic measure with positive entropy. Actually, our criterion provides the existence of a partially hyperbolic compact set with one-dimensional center and positive topological entropy on which the center Lyapunov exponent vanishes uniformly. The conditions of the criterion are met on a $C^1$-dense and open subset of the set of a diffeomorphisms having a robust cycle. As a corollary, there exists a $C^1$-open and dense subset of the set of non-Anosov robustly transitive diffeomorphisms consisting of systems with nonhyperbolic ergodic measures with positive entropy. The criterion is based on a notion of a blender defined dynamically in terms of strict invariance of a family of discs.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Scaling Mean and a Law of Large Permanents

In this paper we study two types of means of the entries of a nonnegative matrix: the \emph{permanental mean}, which is defined using permanents, and the \emph{scaling mean}, which is defined in terms of an optimization problem. We explore relations between these two means, making use of important results by Ergorychev and Falikman (the van~der~Waerden conjecture), Friedland, Sinkhorn, and others. We also define a scaling mean for functions in a much more general context. Our main result is a Law of Large Permanents, a pointwise ergodic theorem for permanental means of dynamically defined matrices that expresses the limit as a functional scaling mean. The concepts introduced in this paper are general enough so to include as particular cases certain classical types of means, as for example symmetric means and Muirhead means. As a corollary, we reobtain a formula of Halász and Székely for the limit of the symmetric means of a stationary random process.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Continuity properties of the lower spectral radius

The lower spectral radius, or joint spectral subradius, of a set of real $d \times d$ matrices is defined to be the smallest possible exponential growth rate of long products of matrices drawn from that set. The lower spectral radius arises naturally in connection with a number of topics including combinatorics on words, the stability of linear inclusions in control theory, and the study of random Cantor sets. In this article we apply some ideas originating in the study of dominated splittings of linear cocycles over a dynamical system to characterise the points of continuity of the lower spectral radius on the set of all compact sets of invertible $d \times d$ matrices. As an application we exhibit open sets of pairs of $2 \times 2$ matrices within which the analogue of the Lagarias-Wang finiteness property for the lower spectral radius fails on a residual set, and discuss some implications of this result for the computation of the lower spectral radius.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Almost reduction and perturbation of matrix cocycles

In this note, we show that if all Lyapunov exponents of a matrix cocycle vanish, then it can be perturbed to become cohomologous to a cocycle taking values in the orthogonal group. This extends a result of Avila, Bochi and Damanik to general base dynamics and arbitrary dimension. We actually prove a fibered version of this result, and apply it to study the existence of dominated splittings into conformal subbundles of general matrix cocycles.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Generic linear cocycles over a minimal base

We prove that a generic linear cocycle over a minimal base dynamics of finite dimension has the property that the Oseledets splitting with respect to any invariant probability coincides almost everywhere with the finest dominated splitting. Therefore the restriction of the generic cocycle to a subbundle of the finest dominated splitting is uniformly subexponentially quasiconformal. This extends a previous result for SL(2,R)-cocycles due to Avila and the author.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Robust vanishing of all Lyapunov exponents for iterated function systems

Given any compact connected manifold $M$, we describe $C^2$-open sets of iterated functions systems (IFS's) admitting fully-supported ergodic measures whose Lyapunov exponents along $M$ are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe $C^1$-open sets of IFS's admitting ergodic measures of positive entropy whose Lyapunov exponents along $M$ are all zero. The proofs involve the construction of non-hyperbolic measures for the induced IFS's on the flag manifold.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Universal regular control for generic semilinear systems

We consider discrete-time projective semilinear control systems $ξ_{t+1} = A(u_t) \cdot ξ_t$, where the states $ξ_t$ are in projective space $\mathbb{R}P^{d-1}$, inputs $u_t$ are in a manifold $U$ of arbitrary finite dimension, and $A \colon U \to GL(d,\mathbb{R})$ is a differentiable mapping. An input sequence $(u_0,\ldots,u_{N-1})$ is called universally regular if for any initial state $ξ_0 \in \mathbb{R}P^{d-1}$, the derivative of the time-$N$ state with respect to the inputs is onto. In this paper we deal with the universal regularity of constant input sequences $(u_0, \dots, u_0)$. Our main result states that generically in the space of such systems, for sufficiently large $N$, all constant inputs of length $N$ are universally regular, with the exception of a discrete set. More precisely, the conclusion holds for a $C^2$-open and $C^\infty$-dense set of maps $A$, and $N$ only depends on $d$ and on the dimension of $U$. We also show that the inputs on that discrete set are nearly universally regular; indeed there is a unique non-regular initial state, and its corank is $1$. In order to establish the result, we study the spaces of bilinear control systems. We show that the codimension of the set of systems for which the zero input is not universally regular coincides with the dimension of the control space. The proof is based on careful matrix analysis and some elementary algebraic geometry. Then the main result follows by applying standard transversality theorems.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Note on the dimension of certain algebraic sets of matrices

In this short note we prove a lemma about the dimension of certain algebraic sets of matrices. This result is needed in our paper arXiv:1201.1672. The result presented here has also applications in other situations and so it should appear as part of a larger work. The statement of the lemma goes as follows: Suppose $X$ is a nonempty algebraically closed subset of the affine space of $n \times m$ complex matrices. Suppose that $X$ is column-invariant (i.e., belongingness to $X$ depends only on the column space of the matrix). Suppose $E$ is a vector subspace of $\mathbb{C}^n$ that is not contained in the column space of any matrix in $X$. Then $codim(X) \geq m + 1 - dim(E)$. The proof is simple and relies on intersection theory of the grassmannians ("Schubert calculus").

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Perturbation of the Lyapunov spectra of periodic orbits

We describe all Lyapunov spectra that can be obtained by perturbing the derivatives along periodic orbits of a diffeomorphism. The description is expressed in terms of the finest dominated splitting and Lyapunov exponents that appear in the limit of a sequence of periodic orbits, and involves the majorization partial order. Among the applications, we give a simple criterion for the occurrence of universal dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Nonuniform Hyperbolicity, Global Dominated Splittings and Generic Properties of Volume-Preserving Diffeomorphisms

We study generic volume-preserving diffeomorphisms on compact manifolds. We show that the following property holds generically in the $C^1$ topology: Either there is at least one zero Lyapunov exponent at almost every point, or the set of points with only non-zero exponents forms an ergodic component. Moreover, if this nonuniformly hyperbolic component has positive measure then it is essentially dense in the manifold (that is, it has a positive measure intersection with any nonempty open set) and there is a global dominated splitting. For the proof we establish some new properties of independent interest that hold $C^r$-generically for any $r \geq 1$, namely: the continuity of the ergodic decomposition, the persistence of invariant sets, and the $L^1$-continuity of Lyapunov exponents.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Opening Gaps in the Spectrum of Strictly Ergodic Schrödinger Operators

We consider Schrödinger operators with dynamically defined potentials arising from continuous sampling along orbits of strictly ergodic transformations. The Gap Labeling Theorem states that the possible gaps in the spectrum can be canonically labelled by an at most countable set defined purely in terms of the dynamics. Which labels actually appear depends on the choice of the sampling function; the missing labels are said to correspond to collapsed gaps. Here we show that for any collapsed gap, the sampling function may be continuously deformed so that the gap immediately opens. As a corollary, we conclude that for generic sampling functions, all gaps are open. The proof is based on the analysis of continuous $SL(2,R)$ cocycles, for which we obtain dynamical results of independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

$C^1$-Generic Symplectic Diffeomorphisms: Partial Hyperbolicity and Zero Center Lyapunov Exponents

We prove that if $f$ is a $C^1$-generic symplectic diffeomorphism then the Oseledets splitting along almost every orbit is either trivial or partially hyperbolic. In addition, if $f$ is not Anosov then all the exponents in the center bundle vanish. This establishes in full a result announced by R. Mañé in the ICM 1983. The main technical novelty is a probabilistic method for the construction of perturbations, using random walks.

0 citations0 reviewsNo code linkedOpen access