Searcharxiv⌕ Search

arXiv subjects

Sophie Grivaux

Publications and source records attributed to Sophie Grivaux.

At least 19 recordsLinked to original sources

Hypercyclicity of Toeplitz operators with smooth symbols

This paper is devoted to the study of the dynamics of Toeplitz operators $T_F$ with smooth symbols $F$ on the Hardy spaces of the unit disk $H^p$, $p>1$. Building on a model theory for Toeplitz operators on $H^2$ developed by Yakubovich in the 90's, we carry out an in-depth study of hypercyclicity properties of such operators. Under some rather general smoothness assumptions on the symbol, we provide some necessary/sufficient/necessary and sufficient conditions for $T_F$ to be hypercyclic on $H^p$. In particular, we extend previous results on the subject by Baranov-Lishanskii and Abakumov-Baranov-Charpentier-Lishanskii. We also study some other dynamical properties for this class of operators.

math.FA↗

Embedding of Toeplitz operators with smooth symbols into strongly continuous semigroups

Using the model theory for Toeplitz operators with smooth symbols developed by the fourth author in the 80's, we study whether such operators $T_{F}$ can be embedded into a $C_{0}$-semigroup of operators on the Hardy space $H^p$ of the open unit disk, $1<p<\infty$. We show that it is the case as soon as $0$ belongs to the unbounded connected component of $\mathbb{C}$ minus the interior of the spectrum of $T_{F}$. We provide several conditions on the symbol $F$, both geometric and analytic in nature, ensuring that this sufficient condition is also necessary. For a certain class of symbols, where the curve $F(\mathbb{T})$ is a ``figure eight in a loop" such that $\mathbb{C}\setminusσ(T_F)$ has a bounded connected component, we obtain a complete characterization of the embeddability of $T_F$ into a $C_0$-semigroup. In the last part of the paper, we discuss the embeddability of $T_F$ when the symbol $F$ is not necessarily smooth, using connections with the numerical range and the functional calculus for bounded sectorial operators.

math.FA↗

Questions in linear recurrence: From the $T\oplus T$-problem to lineability

We study, for a continuous linear operator $T$ on an F-space $X$, when the direct sum operator $T\oplus T$ is recurrent on $X\oplus X$. In particular: we establish, for recurrence, the analogous notion to that of (topological) weak-mixing for transitivity/hypercyclicity, namely quasi-rigidity; and we construct a recurrent but not quasi-rigid operator on each infinite-dimensional Banach space, solving the $T\oplus T$-recurrence problem in the negative way. The quasi-rigidity notion is closely related to the dense lineability of the set of recurrent vectors, and using similar conditions we study the lineability and dense lineability properties for the set of $\mathcal{F}$-recurrent vectors. This document has been split into two already published papers: Part I - Questions in linear recurrence I: The $T\oplus T$-recurrence problem. Analysis and Mathematical Physics, Volume 15, article number 1, (2025). https://doi.org/10.1007/s13324-024-00999-8 Part II - Questions in linear recurrence II: Lineability properties. Banach Journal of Mathematical Analysis, Volume 19, article number 61, (2025). https://doi.org/10.1007/s43037-025-00448-z

math.FA↗

Around Furstenberg's times $p$, times $q$ conjecture: times $p$-invariant measures with some large Fourier coefficients

For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we show that generically a $T_{p}$-invariant probability measure $μ$ on $\mathbb{T}$ with no atom has some large Fourier coefficients along the sequence $(q^n)_{n\ge 0}$. In particular, $(T_{q^{n}}μ)_{n\ge 0}$ does not converges weak-star to the normalised Lebesgue measure on $\mathbb{T}$. This disproves a conjecture of Furstenberg and complements previous results of Johnson and Rudolph. In the spirit of previous work by Meiri and Lindenstrauss-Meiri-Peres, we study generalisations of our main result to certain classes of sequences $(c_n)_{n\ge 0}$ other than the sequences $(q^{n})_{n\ge 0}$, and also investigate the multidimensional setting.

math.DS↗

Orthogonality of invariant measures for weighted shifts

We introduce and study the notion of orthogonality for two operators in the context of weighted backward shifts on $\ell_p(\mathbb{Z}_+)$, $1\leq p<\infty$. Two continuous linear operators $T_1$ and $T_2$ acting on a Polish topological vector space $X$ are said to be orthogonal if any two Borel probability measures $m_1$ and $m_2$ on $X$ which are respectively $T_1$-$\,$invariant and $T_2$-$\,$invariant and satisfy $m_1(\{0\})=m_2(\{0\})=0$ must be orthogonal. In this note, we provide several conditions on the weights $\pmb u$ and $\pmb v$ implying orthogonality or non-orthogonality of the associated weighted shifts $B_{\pmb u}$ and $B_{\pmb v}$, and we investigate in some detail the case where the invariant measures are product measures.

math.FA↗

Typicality of operators on Fréchet algebras admitting a hypercyclic algebra

This paper is devoted to the study of typical properties (in the Baire Category sense) of certain classes of continuous linear operators acting on Fréchet algebras, endowed with the topology of pointwise convergence. Our main results show that within natural Polish spaces of continuous operators acting on the algebra $H(\mathbb{C})$ of entire functions on $\mathbb{C}$, a typical operator supports a hypercyclic algebra. We also investigate the case of the complex Fréchet algebras $X=\ell_{p}(\mathbb{N})$, $1\le p<+\infty$, or $X=c_{0}(\mathbb{N})$ endowed with the coordinatewise product, and show that whenever $M>1$, a typical operator on $X$ of norm less than or equal to $M$ admits a hypercyclic algebra.

math.FA↗

Recurrence properties for linear dynamical systems: An approach via invariant measures

We study different pointwise recurrence notions for linear dynamical systems from the Ergodic Theory point of view. We show that from any reiteratively recurrent vector $x_0$, for an adjoint operator $T$ on a separable dual Banach space $X$, one can construct a $T$-invariant probability measure which contains $x_0$ in its support. This allows us to establish some equivalences, for these operators, between some strong pointwise recurrence notions which in general are completely distinguished. In particular, we show that (in our framework) reiterative recurrence coincides with frequent recurrence; for complex Hilbert spaces uniform recurrence coincides with the property of having a spanning family of unimodular eigenvectors; and the same happens for power-bounded operators on complex reflexive Banach spaces. These (surprising) properties are easily generalized to product and inverse dynamical systems, which implies some relations with the respective hypercyclicity notions. Finally we study how typical is an operator with a non-zero reiteratively recurrent vector in the sense of Baire category.

math.FA↗

Cyclicity in de Branges--Rovnyak spaces

In this paper, we study the cyclicity problem with respect to the forward shift operator $S_b$ acting on the de Branges--Rovnyak space $\mathscr{H}(b)$ associated to a function $b$ in the closed unit ball of $H^\infty$ and satisfying $\log(1-|b|)\in L^1(\mathbb T)$. We present a characterisation of cyclic vectors for $S_b$ when $b$ is a rational function which is not a finite Blaschke product. This characterisation can be derived from the description, given in [S. Luo, C. Gu, S. Richter, Higher order local Dirichlet integrals and de Branges--Rovnyak spaces, \emph{Adv. Math., \textbf{385} (2021), paper No. 107748, 47], of invariant subspaces of $S_b$ in this case, but we provide here an elementary proof. We also study the situation where $b$ has the form $b=(1+I)/2$, where $I$ is a non-constant inner function such that the associated model space $K_I=\mathscr{H}(I)$ has an orthonormal basis of reproducing kernels.

math.FA↗

Generic properties of l_p-contractions and similar operator topologies

If $X$ is a separable reflexive Banach space, there are several natural Polish topologies on $\mathcal{B}(X)$, the set of contraction operators on $X$ (none of which being clearly ``more natural'' than the others), and hence several a priori different notions of genericity -- in the Baire category sense -- for properties of contraction operators. So it makes sense to investigate to which extent the generic properties, i.e. the comeager sets, really depend on the chosen topology on $\mathcal{B}(X)$. In this paper, we focus on $\ell_p\,$-$\,$spaces, $1<p\neq 2<\infty$. We show that for some pairs of natural Polish topologies on $\mathcal B_1(\ell_p)$, the comeager sets are in fact the same; and our main result asserts that for $p=3$ or $3/2$ and in the real case, all topologies on $\mathcal B_1(\ell_p)$ lying between the Weak Operator Topology and the Strong$^*$ Operator Topology share the same comeager sets. Our study relies on the consideration of continuity points of the identity map for two different topologies on $\mathcal{B}_1 (\ell_p)$. The other essential ingredient in the proof of our main result is a careful examination of norming vectors for finite-dimensional contractions of a special type.

math.FA↗

Local spectral properties of typical contractions on \(\ell_p,\)-$\,$spaces

We study some local spectral properties of contraction operators on $\ell_p$, $1<p<\infty$ from a Baire category point of view, with respect to the Strong$^*$ Operator Topology. In particular, we show that a typical contraction on $\ell_p$ has Dunford's Property (C) but neither Bishop's Property $(β)$ nor the Decomposition Property $(δ)$, and is completely indecomposable. We also obtain some results regarding the asymptotic behavior of orbits of typical contractions on $\ell_p$.

math.FA↗

Does a typical $\ell_p\,$-$\,$space contraction have a non-trivial invariant subspace?

Given a Polish topology $τ$ on ${\mathcal{B}_{1}(X)}$, the set of all contraction operators on $X=\ell_p$, $1\le p<\infty$ or $X=c_0$, we prove several results related to the following question: does a typical $T\in {\mathcal{B}_{1}(X)}$ in the Baire Category sense has a non-trivial invariant subspace? In other words, is there a dense $G_δ$ set $\mathcal G\subseteq ({\mathcal{B}_{1}(X)},τ)$ such that every $T\in\mathcal G$ has a non-trivial invariant subspace? We mostly focus on the Strong Operator Topology and the Strong$^*$ Operator Topology.

math.FA↗

Escaping a neighborhood along a prescribed sequence in Lie groups and Banach algebras

It is shown that Jamison sequences, introduced in 2007 by Badea and Grivaux ([C. Badea and S. Grivaux, Unimodular eigenvalues, uniformly distributed sequences and linear dynamics, Adv. Math. 211 (2007), no. 2, 766--793]), arise naturally in the study of topological groups with no small subgroups, of Banach or normed algebra elements whose powers are close to identity along subsequences, and in characterizations of (self-adjoint) positive operators by the accretiveness of some of their powers. The common core of these results is a description of those sequences for which non-identity elements in Lie groups or normed algebras escape an arbitrary small neighborhood of the identity in a number of steps belonging to the given sequence. Several spectral characterizations of Jamison sequences are given and other related results are proved.

math.FA↗

On the Hypercyclicity Criterion for operators of Read's type

Let $T$ be a so-called operator of Read's type on a (real or complex) separable Banach space, having no non-trivial invariant subset. We prove in this note that $T\oplus T$ is then hypercyclic, i.e. that $T$ satisfies the Hypercyclicity Criterion.

math.FA↗

Rigidity sequences, Kazhdan sets and group topologies on the integers

We study the relationships between three different classes of sequences (or sets) of integers, namely rigidity sequences, Kazhdan sequences (or sets) and nullpotent sequences. We prove that rigidity sequences are non-Kazhdan and nullpotent, and that all other implications are false. In particular, we show by probabilistic means that there exist sequences of integers which are both nullpotent and Kazhdan. Moreover, using Baire category methods, we provide general criteria for a sequence of integers to be a rigidity sequence. Finally, we give a new proof of the existence of rigidity sequences which are dense in $\mathbb{Z}$ for the Bohr topology, a result originally due to Griesmer.

math.DS↗

Kazhdan constants, continuous probability measures with large Fourier coefficients and rigidity sequences

Exploiting a construction of rigidity sequences for weakly mixing dynamical systems by Fayad and Thouvenot, we show that for every integers $p_{1},\dots,p_{r}$ there exists a continuous probability measure $μ$ on the unit circle $\mathbb{T}$ such that \[ \inf_{k_{1}\ge 0,\dots,k_{r}\ge 0}|\widehat{μ}(p_{1}^{k_{1}}\dots p_{r}^{k_{r}})|>0. \] This results applies in particular to the Furstenberg set $F=\{2^{k}3^{k'}\,;\,k\ge 0,\ k'\ge 0\}$, and disproves a 1988 conjecture of Lyons inspired by Furstenberg's famous $\times 2$-$\times 3$ conjecture. We also estimate the modified Kazhdan constant of $F$ and obtain general results on rigidity sequences which allow us to retrieve essentially all known examples of such sequences.

math.DS↗

Light groups of isomorphisms of Banach spaces and invariant LUR renormings

Megrelishvili defines \emph{light groups} of isomorphisms of a Banach space as the groups on which the Weak and Strong Operator Topologies coincide, and proves that every bounded group of isomorphisms of Banach spaces with the Point of Continuity Property (PCP) is light. We investigate this concept for isomorphism groups $G$ of classical Banach spaces $X$ without the PCP, specially isometry groups, and relate it to the existence of $G$-invariant LUR or strictly convex renormings of $X$.

math.FA↗

Frequently hypercyclic operators with irregularly visiting orbits

We prove that a bounded operator $T$ on a separable Banach space $X$ satisfying a strong form of the Frequent Hypercyclicity Criterion (which implies in particular that the operator is universal in the sense of Glasner and Weiss) admits frequently hypercyclic vectors with irregularly visiting orbits, i.e. vectors $x\in X$ such that the set $\mathcal{N}_T(x,U)=\{n\ge 1\,;\,T^{n}x\in U\}$ of return times of $x$ into $U$ under the action of $T$ has positive lower density for every non-empty open set $U\subseteq X$, but there exists a non-empty open set $U_0\subseteq X$ such that $\nt{x}{U_0}$ has no density.

math.FA↗

Sets of integers determined by operator-theoretical properties: Jamison and Kazhdan sets in the group $\mathbb{Z}$

The aim of this partly expository paper is to present and discuss two classes of sets of integers (Jamison and Kazhdan sets) whose definition and/or properties are determined or inspired by operator-theoretical properties. Jamison sets first appeared in the study of the relationship between the growth of the sequence of norms of iterates of a bounded linear operator on a separable Banach space and the size of its unimodular point spectrum. Kazhdan subsets of $\mathbb{Z}$ are particular cases of Kazhdan sets in general topological groups, which are especially important as they appear in the definition of Property (T). This paper is also intended as a companion to the authors' paper [C.Badea, S.Grivaux, Kazhdan sets in groups and equidistribution properties, \emph{J. Funct. Anal.} \textbf{273} (2017), p. 1931 -- 1969], which undertakes a study of Kazhdan subsets of some classical groups without Property (T). We present here in detail the case of the group $\mathbb{Z}$, which is one of the most natural examples of groups without Property (T), and which may be useful to build an intuition of some of the main results of [C.Badea, S.Grivaux, Kazhdan sets in groups and equidistribution properties, op. cit.]. Also, the proofs in the case of the group $\mathbb{Z}$ rely solely on tools from basic operator theory and harmonic analysis. Some crucial links between Jamison and Kazhdan sets in $\mathbb{Z}$ are exhibited, and many examples are given.

math.FA↗