BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jairo Bochi

Jairo Bochi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DSmath.OCmath.AGmath.ATmath.CAmath.GRmath.MGmath.PRmath.SG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 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
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
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
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