Showing 1–41 of 41 results for author: Shkarin, S

Golod-Shafarevich-Vinberg type theorems and finiteness conditions for potential algebras

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: We obtain a lower estimate for the Hilbert series of Jacobi algebras and their completions by providing analogue of the Golog-Shafarevich-Vinberg theorem for potential case. We especially treat non-homogeneous situation. This estimate allows to answer number of questions arising in the work of Wemyss-Donovan-Brown on noncommutative singularities and deformation theory. In particular, we prove that… ▽ More We obtain a lower estimate for the Hilbert series of Jacobi algebras and their completions by providing analogue of the Golog-Shafarevich-Vinberg theorem for potential case. We especially treat non-homogeneous situation. This estimate allows to answer number of questions arising in the work of Wemyss-Donovan-Brown on noncommutative singularities and deformation theory. In particular, we prove that the only case when a potential algebra or its completion could be finite dimensional or of linear growth, is the case of two variables and potential having terms of degree three. △ Less

Submitted 12 January, 2022; originally announced January 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:1806.06829

MSC Class: 17A45; 16A22

Sklyanin algebras and a cubic root of 1

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: We consider Sklyanin algebras $S$ with 3 generators, which are quadratic algebras over a field $\K$ with $3$ generators $x,y,z$ given by $3$ relations $pxy+qyx+rzz=0$, $pyz+qzy+rxx=0$ and $pzx+qxz+ryy=0$, where $p,q,r\in\K$. This class of algebras has enjoyed much attention. In particular, using tools from algebraic geometry Artin, Tate and Van Den Berg \cite{ATV2} showed that if at least two of t… ▽ More We consider Sklyanin algebras $S$ with 3 generators, which are quadratic algebras over a field $\K$ with $3$ generators $x,y,z$ given by $3$ relations $pxy+qyx+rzz=0$, $pyz+qzy+rxx=0$ and $pzx+qxz+ryy=0$, where $p,q,r\in\K$. This class of algebras has enjoyed much attention. In particular, using tools from algebraic geometry Artin, Tate and Van Den Berg \cite{ATV2} showed that if at least two of the parameters $p$, $q$ and $r$ are non-zero and at least two of three numbers $p^3$, $q^3$ and $r^3$ are distinct, then $S$ is Artin--Schelter regular. More specifically, $S$ is Koszul and has the same Hilbert series as the algebra of commutative polynomials in 3 indeterminates. It has became commonly accepted that it is impossible to achieve the same objective by purely algebraic and combinatorial means like the Gröbner basis technique. The authors have previously dispelled this belief. However our previous proof was no less complicated than the one based on algebraic geometry. It used a construcion of a Gröbner basis in a suitable one-sided module over $S$ and had quite a number of cases to consider. In this paper we exhibit a linear substitution after which it becomes possible to determine the leading monomials of a reduced Gröbner basis for the ideal of relations of $S$ itself (without passing to a module). We also find out explicitly (in terms of parameters) which Sklyanin algebras are isomorphic. The only drawback of the new technique is that it fails if the characteristic of the ground field equals 3. △ Less

Submitted 13 August, 2021; originally announced August 2021.

Comments: arXiv admin note: text overlap with arXiv:1601.00564

MSC Class: 17A45; 16A22

Classification of quadratic and cubic PBW algebras on three generators

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: We give a complete classification of quadratic algebras A, with Hilbert series $H_A=(1-t)^{-3}$, which is the Hilbert series of commutative polynomials on 3 variables. Koszul algebras as well as algebras with quadratic Gröbner basis among them are identified. We also give a complete classification of cubic algebras A with Hilbert series $H_A=(1+t)^{-1}(1-t)^{-3}$. These two classes of algebras con… ▽ More We give a complete classification of quadratic algebras A, with Hilbert series $H_A=(1-t)^{-3}$, which is the Hilbert series of commutative polynomials on 3 variables. Koszul algebras as well as algebras with quadratic Gröbner basis among them are identified. We also give a complete classification of cubic algebras A with Hilbert series $H_A=(1+t)^{-1}(1-t)^{-3}$. These two classes of algebras contain all Artin-Schelter regular algebras of global dimension 3. As far as the latter are concerned, our results extend well-known results of Artin and Schelter by providing a classification up to an algebra isomorphism. △ Less

Submitted 18 June, 2018; originally announced June 2018.

Comments: 79 pages

MSC Class: 17A45; 16A22

Potential algebras with few generators

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: We give a complete description of quadratic potential and twisted potential algebras on 3 generators as well as cubic potential and twisted potential algebras on 2 generators up to graded algebra isomorphisms under the assumption that the ground field is algebraically closed and has characteristic different from 2 or 3. We also prove that for two generated potential algebra necessary condition o… ▽ More We give a complete description of quadratic potential and twisted potential algebras on 3 generators as well as cubic potential and twisted potential algebras on 2 generators up to graded algebra isomorphisms under the assumption that the ground field is algebraically closed and has characteristic different from 2 or 3. We also prove that for two generated potential algebra necessary condition of finite-dimensionality is that potential contains terms of degree three, this answers a question of Agata Smoktunowicz and the first named author, formulated in [AN]. We clarify situation in case of arbitrary number of generators as well. △ Less

Submitted 18 June, 2018; originally announced June 2018.

Comments: 49 pages

MSC Class: 17A45; 16A22

Journal ref: Glasgow Math. J. 62 (2020) S28-S76

Quadratic automaton algebras and intermediate growth

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: We present an example of a quadratic algebra given by three generators and three relations, which is automaton (the set of normal words forms a regular language) and such that its ideal of relations does not possess a finite Gröbner basis with respect to any choice of generators and any choice of a well-ordering of monomials compatible with multiplication. This answers a question of Ufnarovski.… ▽ More We present an example of a quadratic algebra given by three generators and three relations, which is automaton (the set of normal words forms a regular language) and such that its ideal of relations does not possess a finite Gröbner basis with respect to any choice of generators and any choice of a well-ordering of monomials compatible with multiplication. This answers a question of Ufnarovski. Another result is a simple example (4 generators and 7 relations) of a quadratic algebra of intermediate growth. △ Less

Submitted 21 November, 2017; v1 submitted 28 May, 2017; originally announced May 2017.

Comments: To appear in Journal of Cobinatorial Algebra

MSC Class: 17A45; 16A22

Journal ref: J.Combinatorial Algebra, V2, N2, 2018, pp. 147-167

Two problems from the Polishchuk and Positselski book on Quadratic algebras

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: In the book 'Quadratic algebras' by Polishchuk and Positselski [23] algebras with a small number of generators (n=2,3) are considered. For some number r of relations possible Hilbert series are listed, and those appearing as series of Koszul algebras are specified. The first case, where it was not possible to do, namely the case of three generators n=3 and six relations r=6 is formulated as an ope… ▽ More In the book 'Quadratic algebras' by Polishchuk and Positselski [23] algebras with a small number of generators (n=2,3) are considered. For some number r of relations possible Hilbert series are listed, and those appearing as series of Koszul algebras are specified. The first case, where it was not possible to do, namely the case of three generators n=3 and six relations r=6 is formulated as an open problem. We give here a complete answer to this question, namely for quadratic algebras with dim A_1=dim A_2=3, we list all possible Hilbert series, and find out which of them can come from Koszul algebras, and which can not. As a consequence of this classification, we found an algebra, which serves as a counterexample to another problem from the same book [23] (Chapter 7, Sec. 1, Conjecture 2), saying that Koszul algebra of finite global homological dimension d has dim A_1 >= d. Namely, the 3-generated algebra A given by relations xx+yx=xz=zy=0 is Koszul and its Koszul dual algebra A^! has Hilbert series of degree 4: H_{A^!}(t)= 1+3t+3t^2+2t^3+t^4, hence A has global homological dimension 4. △ Less

Submitted 28 June, 2016; originally announced July 2016.

Comments: 16 pages, to appear in Journal of Noncommutative Geometry

Report number: IHES preprint 2016-05-05 (M/16/16) MSC Class: 16A22; 16S37; 14A22

Journal ref: Journal of Noncommutative Geometry, V 12, N1, 2018, pp. 255-278

Three dimensional Sklyanin algebras and Groebner bases

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: We consider a Sklyanin algebra S with 3 generators, which is the quadratic algebra over a field k with three generators x,y,z given by three relations pxy+qyx+rzz=0, pyz+qzy+rxx=0 and pzx+qxz+ryy=0, where p,q,r are parameters from the fileld k. This class of algebras enjoyed much of attention, in particular, using tools from algebraic geometry, Feigin & Odesskii, and Artin, Tate & Van den Berg, sh… ▽ More We consider a Sklyanin algebra S with 3 generators, which is the quadratic algebra over a field k with three generators x,y,z given by three relations pxy+qyx+rzz=0, pyz+qzy+rxx=0 and pzx+qxz+ryy=0, where p,q,r are parameters from the fileld k. This class of algebras enjoyed much of attention, in particular, using tools from algebraic geometry, Feigin & Odesskii, and Artin, Tate & Van den Berg, showed that if at least two of the parameters p, q and r are non-zero and at least two of three numbers p^3,q^3 and r^3 are distinct, then S is Koszul and has the same Hilbert series as the algebra of commutative polynomials in three variables. It became commonly accepted, that it is impossible to achieve the same objective by purely algebraic and combinatorial means, like the Groebner basis technique. The main purpose of this paper is to trace combinatorial meaning of the properties of Sklyanin algebras, such as Koszulity, PBW, PHS, Calabi-Yau, and to give a new constructive proof of the above facts due to Artin, Tate and Van den Bergh. Further, we study a wider class of Sklyanin algebras, namely the situation when all parameters of relations could be different. This class called generalized Sklyanin algebras. We classify up to isomorphism genralized Sklyanin algebras with polynomial Hilbert series. We show that generalized Slyanin algebras in general position have the Golod-Shafarevich Hilbert series (with exception of the case of the field with two elements). △ Less

Submitted 26 August, 2016; v1 submitted 4 January, 2016; originally announced January 2016.

Comments: 31 pages, to appear in J.Algebra

Report number: IHES preprint M-14-35(7) MSC Class: 17A45; 16A22

Journal ref: J.Algebra, V 470 (2017), p.379-419

Asymptotically optimal $k$-step nilpotency of quadratic algebras and the Fibonacci numbers

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: It follows from the Golod--Shafarevich theorem that if R is an associative algebra given by n generators and $d<\frac{n^2}{4}\cos^{-2}(\fracπ{k+1})$ quadratic relations, then R is not k-step nilpotent. We show that the above estimate is asymptotically optimal, and establish number of related results. For example, we show that for any k this estimate is attained for ifinitely many n. It follows from the Golod--Shafarevich theorem that if R is an associative algebra given by n generators and $d<\frac{n^2}{4}\cos^{-2}(\fracπ{k+1})$ quadratic relations, then R is not k-step nilpotent. We show that the above estimate is asymptotically optimal, and establish number of related results. For example, we show that for any k this estimate is attained for ifinitely many n. △ Less

Submitted 4 January, 2016; originally announced January 2016.

Comments: to appear in Combinatorica

MSC Class: 17A45; 16A22

Journal ref: Combinatorica, V 37 (2017), n3, p.465-479

Optimal 5-step nilpotent quadratic algebras

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: By the Golod--Shafarevich Theorem, an associative algebra R given by n generators and d<n^2/3 homogeneous quadratic relations is not 5-step nilpotent. We prove that this estimate is optimal. Namely, we show that for every positive integer n, there is an algebra R given by n generators and n^2/3 homogeneous quadratic relations such that R is 5-step nilpotent. By the Golod--Shafarevich Theorem, an associative algebra R given by n generators and d<n^2/3 homogeneous quadratic relations is not 5-step nilpotent. We prove that this estimate is optimal. Namely, we show that for every positive integer n, there is an algebra R given by n generators and n^2/3 homogeneous quadratic relations such that R is 5-step nilpotent. △ Less

Submitted 28 December, 2015; originally announced December 2015.

MSC Class: 17A45; 16A22

Journal ref: Journal of Algebra, v.412, 2014, p.1-14

The proof of the Kontsevich periodicity conjecture on noncommutative birational transformations

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: For an arbitrary associative unital ring $R$, let $J_1$ and $J_2$ be the following noncommutative birational partly defined involutions on the set $M_3(R)$ of $3\times 3$ matrices over $R$: $J_1(M)=M^{-1}$ (the usual matrix inverse) and $J_2(M)_{jk}=(M_{kj})^{-1}\,$ (the transpose of the Hadamard inverse). We prove the following surprising conjecture by Kontsevich saying that $(J_2\circ J_1)^3$… ▽ More For an arbitrary associative unital ring $R$, let $J_1$ and $J_2$ be the following noncommutative birational partly defined involutions on the set $M_3(R)$ of $3\times 3$ matrices over $R$: $J_1(M)=M^{-1}$ (the usual matrix inverse) and $J_2(M)_{jk}=(M_{kj})^{-1}\,$ (the transpose of the Hadamard inverse). We prove the following surprising conjecture by Kontsevich saying that $(J_2\circ J_1)^3$ is the identity map modulo the ${\rm Diag}_{L} \times \rm{Diag}_R$ action $(D_1,D_2)(M)=D_1^{-1}MD_2$ of pairs of invertible diagonal matrices. That is, we show that for each $M$ in the domain where $(J_2\circ J_1)^3$ is defined, there are invertible diagonal $3\times 3$ matrices $D_1=D_1(M)$ and $D_2=D_2(M)$ such that $(J_2\circ J_1)^3(M)=D_1^{-1}MD_2.$ △ Less

Submitted 16 May, 2014; v1 submitted 8 May, 2013; originally announced May 2013.

Comments: 28 pages

MSC Class: 16S38; 16S50; 16S85

Journal ref: Duke Math. J. 164, no. 13 (2015), 2539-2575

On numerically hypercyclic operators

Authors: Stanislav Shkarin

Abstract: According to Kim, Peris and Song, a continuous linear operator $T$ on a complex Banach space $X$ is called {\it numerically hypercyclic} if the numerical orbit $\{f(T^nx):n\in\N\}$ is dense in $\C$ for some $x\in X$ and $f\in X^*$ satisfying $\|x\|=\|f\|=f(x)=1$. They have characterized numerically hypercyclic weighted shifts and provided an example of a numerically hypercyclic operator on $\C^2$.… ▽ More According to Kim, Peris and Song, a continuous linear operator $T$ on a complex Banach space $X$ is called {\it numerically hypercyclic} if the numerical orbit $\{f(T^nx):n\in\N\}$ is dense in $\C$ for some $x\in X$ and $f\in X^*$ satisfying $\|x\|=\|f\|=f(x)=1$. They have characterized numerically hypercyclic weighted shifts and provided an example of a numerically hypercyclic operator on $\C^2$. We answer two questions of Kim, Peris and Song. Namely, we construct a numerically hypercyclic operator, whose square is not numerically hypercyclic as well as an operator which is not numerically hypercyclic but has two numerical orbits whose union is dense in $\C$. We characterize numerically hypercyclic operators on $\C^2$ as well as the operators similar to a numerically hypercyclic one and those operators whose conjugacy class consists entirely of numerically hypercyclic operators. We describe in spectral terms the operator norm closure of the set of numerically hypercyclic operators on a reflexive Banach space. Finally, we provide criteria for numeric hypercyclicity and decide upon the numerical hypercyclicity of operators from various classes. △ Less

Submitted 11 February, 2013; originally announced February 2013.

Comments: Numerically hypercyclic operators, numerical orbit, numerical range

MSC Class: 47A16; 37A25

Orbits of coanalytic Toeplitz operators and weak hypercyclicity

Authors: Stanislav Shkarin

Abstract: We prove a new criterion of weak hypercyclicity of a bounded linear operator on a Banach space. Applying this criterion, we solve few open questions. Namely, we show that if $G$ is a region of $\C$ bounded by a smooth Jordan curve $Γ$ such that $G$ does not meet the unit ball but $Γ$ intersects the unit circle in a non-trivial arc, then $M^*$ is a weakly hypercyclic operator on $H^2(G)$, where… ▽ More We prove a new criterion of weak hypercyclicity of a bounded linear operator on a Banach space. Applying this criterion, we solve few open questions. Namely, we show that if $G$ is a region of $\C$ bounded by a smooth Jordan curve $Γ$ such that $G$ does not meet the unit ball but $Γ$ intersects the unit circle in a non-trivial arc, then $M^*$ is a weakly hypercyclic operator on $H^2(G)$, where $M$ is the multiplication by the argument operator $Mf(z)=zf(z)$. We also prove that if $g$ is a non-constant function from the Hardy space $H^\infty(\D)$ on the unit disk $\D$ such that $g(\D)\cap\D=\varnothing$ and the set $\{z\in\C:|z|=1,\ |g(z)|=1\}$ is a subset of the unit circle $\T$ of positive Lebesgue measure, then the coanalytic Toeplitz operator $T^*_g$ on the Hardy space $H^2(\D)$ is weakly hypercyclic. On the contrary, if $g(\D)\cap\D=\varnothing$, $|g|>1$ almost everywhere on $\T$ and $\log(|g|-1)\in L^1(\T)$, then $T^*_g$ is not 1-weakly hypercyclic and hence is not weakly hypercyclic (a bounded linear operator $T$ on a complex Banach space $X$ is called $n$-weakly hypercyclic if there is $x\in X$ such that for every surjective continuous linear operator $S:X\to \C^n$, the set $\{S(T^mx):m\in\N\}$ is dense in $\C^n$). The last result is based upon lower estimates of the norms of the members of orbits of a coanalytic Toeplitz operator. Finally, we show that there is a 1-weakly hypercyclic operator on a Hilbert space, whose square is non-cyclic and prove that a Banach space operator is weakly hypercyclic if and only if it is $n$-weakly hypercyclic for every $n\in\N$. △ Less

Submitted 11 October, 2012; originally announced October 2012.

MSC Class: 47A16

Non-sequential weak supercyclicity and hypercyclicity

Authors: Stanislav Shkarin

Abstract: A bounded linear operator $T$ acting on a Banach space $\B$ is called weakly hypercyclic if there exists $x\in \B$ such that the orbit ${T^n x: n=0,1,...}$ is weakly dense in $\B$ and $T$ is called weakly supercyclic if there is $x\in \B$ for which the projective orbit ${λT^n x: λ\in \C, n=0,1,...}$ is weakly dense in $\B$. If weak density is replaced by weak sequential density, then $T$ is said t… ▽ More A bounded linear operator $T$ acting on a Banach space $\B$ is called weakly hypercyclic if there exists $x\in \B$ such that the orbit ${T^n x: n=0,1,...}$ is weakly dense in $\B$ and $T$ is called weakly supercyclic if there is $x\in \B$ for which the projective orbit ${λT^n x: λ\in \C, n=0,1,...}$ is weakly dense in $\B$. If weak density is replaced by weak sequential density, then $T$ is said to be weakly sequentially hypercyclic or supercyclic respectively. It is shown that on a separable Hilbert space there are weakly supercyclic operators which are not weakly sequentially supercyclic. This is achieved by constructing a Borel probability measure $μ$ on the unit circle for which the Fourier coefficients vanish at infinity and the multiplication operator $Mf(z)=zf(z)$ acting on $L_2(μ)$ is weakly supercyclic. It is not weakly sequentially supercyclic, since the projective orbit under $M$ of each element in $L_2(μ)$ is weakly sequentially closed. This answers a question posed by Bayart and Matheron. It is proved that the bilateral shift on $\ell_p(\Z)$, $1\leq p <\infty$, is weakly supercyclic if and only if $2<p<\infty$ and that any weakly supercyclic weighted bilateral shift on $\ell_p(\Z)$ for $1\leq p\leq 2$ is norm supercyclic. It is also shown that any weakly hypercyclic weighted bilateral shift on $\ell_p(\Z)$ for $1\leq p<2$ is norm hypercyclic, which answers a question of Chan and Sanders. △ Less

Submitted 7 September, 2012; originally announced September 2012.

Journal ref: J. Funct. Anal. 242 (2007), 37-77

On similarity of quasinilpotent operators

Authors: Stanislav Shkarin

Abstract: Bounded linear operators on separable Banach spaces algebraically similar to the classical Volterra operator $V$ acting on $C[0,1]$ are characterized. From this characterization it follows that $V$ does not determine the topology of $C[0,1]$, which answers a question raised by Armando Villena. A sufficient condition for an injective bounded linear operator on a Banach space to determine its topolo… ▽ More Bounded linear operators on separable Banach spaces algebraically similar to the classical Volterra operator $V$ acting on $C[0,1]$ are characterized. From this characterization it follows that $V$ does not determine the topology of $C[0,1]$, which answers a question raised by Armando Villena. A sufficient condition for an injective bounded linear operator on a Banach space to determine its topology is obtained. From this condition it follows, for instance, that the Volterra operator acting on the Hardy space $\H^p$ of the unit disk determines the topology of $\H^p$ for any $p\in[1,\infty]$. △ Less

Submitted 7 September, 2012; originally announced September 2012.

MSC Class: 46B03; 46H40

Journal ref: J. Funct. Anal. 241 (2006), 528-556

Compact operators without extended eigenvalues

Authors: Stanislav Shkarin

Abstract: A complex number $λ$ is called an extended eigenvalue of a bounded linear operator $T$ on a Banach space $\B$ if there exists a non-zero bounded linear operator $X$ acting on $\B$ such that $XT=λTX$. We show that there are compact quasinilpotent operators on a separable Hilbert space, for which the set of extended eigenvalues is the one-point set ${1}$. A complex number $λ$ is called an extended eigenvalue of a bounded linear operator $T$ on a Banach space $\B$ if there exists a non-zero bounded linear operator $X$ acting on $\B$ such that $XT=λTX$. We show that there are compact quasinilpotent operators on a separable Hilbert space, for which the set of extended eigenvalues is the one-point set ${1}$. △ Less

Submitted 7 September, 2012; originally announced September 2012.

Journal ref: J. Math. Anal. Appl. 332 (2007), 455-462

A weighted bilateral shift with cyclic square is supercyclic

Authors: Stanislav Shkarin

Abstract: It is shown that for a bounded weighted bilateral shift $T$ acting on $\ell_p(\Z)$ for $1\leq p\leq 2$ supercyclicity of $T$, weak supercyclicity of $T$, cyclicity of $T\oplus T$ and cyclicity of $T^2$ are equivalent. A new sufficient condition for cyclicity of a weighted bilateral shift is proved, which implies, in particular, that any compact weighted bilateral shift is cyclic. It is shown that for a bounded weighted bilateral shift $T$ acting on $\ell_p(\Z)$ for $1\leq p\leq 2$ supercyclicity of $T$, weak supercyclicity of $T$, cyclicity of $T\oplus T$ and cyclicity of $T^2$ are equivalent. A new sufficient condition for cyclicity of a weighted bilateral shift is proved, which implies, in particular, that any compact weighted bilateral shift is cyclic. △ Less

Submitted 7 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: Bull. LMS 39 (2007), 1029--1038

The Kitai Criterion and backward shifts

Authors: Stanislav Shkarin

Abstract: It is proved that for any separable infinite dimensional Banach space $X$, there is a bounded linear operator $T$ on $X$ such that $T$ satisfies the Kitai Criterion. The proof is based on quasisimilarity argument and on showing that $I+T$ satisfies the Kitai Criterion for certain backward weighted shifts $T$. It is proved that for any separable infinite dimensional Banach space $X$, there is a bounded linear operator $T$ on $X$ such that $T$ satisfies the Kitai Criterion. The proof is based on quasisimilarity argument and on showing that $I+T$ satisfies the Kitai Criterion for certain backward weighted shifts $T$. △ Less

Submitted 7 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: Proc. AMS 136 (2008), 1659-1670

On Pauli Pairs

Authors: Stanislav Shkarin

Abstract: The state of a system in classical mechanics can be uniquely reconstructed if we know the positions and the momenta of all its parts. In 1958 Pauli has conjectured that the same holds for quantum mechanical systems. The conjecture turned out to be wrong. In this paper we provide a new set of examples of Pauli pairs, being the pairs of quantum states indistinguishable by measuring the spatial locat… ▽ More The state of a system in classical mechanics can be uniquely reconstructed if we know the positions and the momenta of all its parts. In 1958 Pauli has conjectured that the same holds for quantum mechanical systems. The conjecture turned out to be wrong. In this paper we provide a new set of examples of Pauli pairs, being the pairs of quantum states indistinguishable by measuring the spatial location and momentum. In particular, we construct a new set of spatially localized Pauli pairs. △ Less

Submitted 11 February, 2013; v1 submitted 6 September, 2012; originally announced September 2012.

Comments: submitted to JMP

Universal elements for non-linear operators and their applications

Authors: Stanislav Shkarin

Abstract: We prove that under certain topological conditions on the set of universal elements of a continuous map $T$ acting on a topological space $X$, that the direct sum $T\oplus M_g$ is universal, where $M_g$ is multiplication by a generating element of a compact topological group. We use this result to characterize $\R_+$-supercyclic operators and to show that whenever $T$ is a supercyclic operator and… ▽ More We prove that under certain topological conditions on the set of universal elements of a continuous map $T$ acting on a topological space $X$, that the direct sum $T\oplus M_g$ is universal, where $M_g$ is multiplication by a generating element of a compact topological group. We use this result to characterize $\R_+$-supercyclic operators and to show that whenever $T$ is a supercyclic operator and $z_1,...,z_n$ are pairwise different non-zero complex numbers, then the operator $z_1T\oplus {...}\oplus z_n T$ is cyclic. The latter answers affirmatively a question of Bayart and Matheron. △ Less

Submitted 6 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: J. Math. Anal. Appl. 348 (2008), 193-210

On the spectrum of frequently hypercyclic operators

Authors: Stanislav Shkarin

Abstract: A bounded linear operator $T$ on a Banach space $X$ is called frequently hypercyclic if there exists $x\in X$ such that the lower density of the set $\{n\in\N:T^nx\in U\}$ is positive for any non-empty open subset $U$ of $X$. Bayart and Grivaux have raised a question whether there is a frequently hypercyclic operator on any separable infinite dimensional Banach space. We prove that the spectrum of… ▽ More A bounded linear operator $T$ on a Banach space $X$ is called frequently hypercyclic if there exists $x\in X$ such that the lower density of the set $\{n\in\N:T^nx\in U\}$ is positive for any non-empty open subset $U$ of $X$. Bayart and Grivaux have raised a question whether there is a frequently hypercyclic operator on any separable infinite dimensional Banach space. We prove that the spectrum of a frequently hypercyclic operator has no isolated points. It follows that there are no frequently hypercyclic operators on all complex and on some real hereditarily indecomposable Banach spaces, which provides a negative answer to the above question. △ Less

Submitted 6 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: Proc. AMS 137 (2009), 123-134

Norm attaining operators and pseudospectrum

Authors: Stanislav Shkarin

Abstract: It is shown that if $1<p<\infty$ and $X$ is a subspace or a quotient of an $\ell_p$-direct sum of finite dimensional Banach spaces, then for any compact operator $T$ on $X$ such that $\|I+T\|>1$, the operator $I+T$ attains its norm. A reflexive Banach space $X$ and a bounded rank one operator $T$ on $X$ are constructed such that $\|I+T\|>1$ and $I+T$ does not attain its norm. It is shown that if $1<p<\infty$ and $X$ is a subspace or a quotient of an $\ell_p$-direct sum of finite dimensional Banach spaces, then for any compact operator $T$ on $X$ such that $\|I+T\|>1$, the operator $I+T$ attains its norm. A reflexive Banach space $X$ and a bounded rank one operator $T$ on $X$ are constructed such that $\|I+T\|>1$ and $I+T$ does not attain its norm. △ Less

Submitted 6 September, 2012; originally announced September 2012.

MSC Class: 47A30; 47A10

Journal ref: Integral Equations and Operator Theory 64 (2009), 115-136

Remarks on common hypercyclic vectors

Authors: Stanislav Shkarin

Abstract: We treat the question of existence of common hypercyclic vectors for families of continuous linear operators. It is shown that for any continuous linear operator $T$ on a complex Fréchet space $X$ and a set $Λ\subseteq \R_+\times\C$ which is not of zero three-dimensional Lebesgue measure, the family $\{aT+bI:(a,b)\inΛ\}$ has no common hypercyclic vectors. This allows to answer negatively questions… ▽ More We treat the question of existence of common hypercyclic vectors for families of continuous linear operators. It is shown that for any continuous linear operator $T$ on a complex Fréchet space $X$ and a set $Λ\subseteq \R_+\times\C$ which is not of zero three-dimensional Lebesgue measure, the family $\{aT+bI:(a,b)\inΛ\}$ has no common hypercyclic vectors. This allows to answer negatively questions raised by Godefroy and Shapiro and by Aron. We also prove a sufficient condition for a family of scalar multiples of a given operator on a complex Fréchet space to have a common hypercyclic vector. It allows to show that if $\D=\{z\in\C:|z|<1\}$ and $φ\in \H^\infty(\D)$ is non-constant, then the family $\{zM_φ^\star:b^{-1}<|z|<a^{-1}\}$ has a common hypercyclic vector, where $M_φ:\H^2(\D)\to \H^2(\D)$, $M_φf=φf$, $a=\inf\{|φ(z)|:z\in\D\}$ and $b=\sup\{|φ(z)|:|z|\in\D\}$, providing an affirmative answer to a question by Bayart and Grivaux. Finally, extending a result of Costakis and Sambarino, we prove that the family $\{aT_b:a,b\in\C\setminus\{0\}\}$ has a common hypercyclic vector, where $T_bf(z)=f(z-b)$ acts on the Fréchet space $\H(\C)$ of entire functions on one complex variable. △ Less

Submitted 6 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: Journal of Functional Analysis 258 (2010), 132-160

A short proof of the existence of disjoint hypercyclic operators

Authors: Stanislav Shkarin

Abstract: We give a short proof of the existence of disjoint hypercyclic tuples of operators of any given length on any separable infinite dimensional Frechet space. A similar argument provides disjoint dual hypercyclic tuples of operators of any length on any infinite dimensional Banach space with separable dual. We give a short proof of the existence of disjoint hypercyclic tuples of operators of any given length on any separable infinite dimensional Frechet space. A similar argument provides disjoint dual hypercyclic tuples of operators of any length on any infinite dimensional Banach space with separable dual. △ Less

Submitted 6 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: Journ. Math. Anal. Appl. 367 (2010), 713-715

On the set of hypercyclic vectors for the differentiation operator

Authors: Stanislav Shkarin

Abstract: Let $D$ be the differentiation operator $Df=f'$ acting on the Fréchet space $\H$ of all entire functions in one variable with the standard (compact-open) topology. It is known since 1950's that the set $H(D)$ of hypercyclic vectors for the operator $D$ is non-empty. We treat two questions raised by Aron, Conejero, Peris and Seoane-Sepúlveda whether the set $H(D)$ contains (up to the zero function)… ▽ More Let $D$ be the differentiation operator $Df=f'$ acting on the Fréchet space $\H$ of all entire functions in one variable with the standard (compact-open) topology. It is known since 1950's that the set $H(D)$ of hypercyclic vectors for the operator $D$ is non-empty. We treat two questions raised by Aron, Conejero, Peris and Seoane-Sepúlveda whether the set $H(D)$ contains (up to the zero function) a non-trivial subalgebra of $\H$ or an infinite dimensional closed linear subspace of $\H$. In the present article both questions are answered affirmatively. △ Less

Submitted 5 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: Israel J. Math. 180 (2010), 271-284

Mixing operators on spaces with weak topology

Authors: Stanislav Shkarin

Abstract: We prove that a continuous linear operator $T$ on a topological vector space $X$ with weak topology is mixing if and only if the dual operator $T'$ has no finite dimensional invariant subspaces. This result implies the characterization of hypercyclic operators on the space $ω$ due to Herzog and Lemmert and implies the result of Bayart and Matheron, who proved that for any hypercyclic operator $T$… ▽ More We prove that a continuous linear operator $T$ on a topological vector space $X$ with weak topology is mixing if and only if the dual operator $T'$ has no finite dimensional invariant subspaces. This result implies the characterization of hypercyclic operators on the space $ω$ due to Herzog and Lemmert and implies the result of Bayart and Matheron, who proved that for any hypercyclic operator $T$ on $ω$, $T\oplus T$ is also hypercyclic. △ Less

Submitted 5 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: Demonstratio Math. 44 (2011), 143-150

On supercyclicity of operators from a supercyclic semigroup

Authors: Stanislav Shkarin

Abstract: We show that for every supercyclic strongly continuous operator semigroup ${T_t}_{t\geq 0}$ acting on a complex $\F$-space, every $T_t$ with $t>0$ is supercyclic. Moreover, the set of supercyclic vectors of each $T_t$ with $t>0$ is exactly the set of supercyclic vectors of the entire semigroup. We show that for every supercyclic strongly continuous operator semigroup ${T_t}_{t\geq 0}$ acting on a complex $\F$-space, every $T_t$ with $t>0$ is supercyclic. Moreover, the set of supercyclic vectors of each $T_t$ with $t>0$ is exactly the set of supercyclic vectors of the entire semigroup. △ Less

Submitted 5 September, 2012; originally announced September 2012.

MSC Class: 47A16; 37A25

Journal ref: J. Math. Anal. Appl. 382 (2011) 516-522

Hypercyclic and mixing operator semigroups

Authors: Stanislav Shkarin

Abstract: We describe a class of topological vector spaces admitting a mixing uniformly continuous operator group ${T_t}_{t\in\C^n}$ with holomorphic dependence on the parameter $t$. This result covers those existing in the literature. We also describe a class of topological vector spaces admitting no supercyclic strongly continuous operator semigroups ${T_t}_{t\geq 0}$. We describe a class of topological vector spaces admitting a mixing uniformly continuous operator group ${T_t}_{t\in\C^n}$ with holomorphic dependence on the parameter $t$. This result covers those existing in the literature. We also describe a class of topological vector spaces admitting no supercyclic strongly continuous operator semigroups ${T_t}_{t\geq 0}$. △ Less

Submitted 5 September, 2012; originally announced September 2012.

Comments: arXiv admin note: text overlap with arXiv:0810.1192

MSC Class: 47A16; 37A25

Journal ref: Proc. Edinb. Math. Soc. 54 (2011), 761-782

Orbital and strongly orbital spaces

Authors: Stanislav Shkarin

Abstract: We say that a (countably dimensional) topological vector space $X$ is orbital if there is $T\in L(X)$ and a vector $x\in X$ such that $X$ is the linear span of the orbit ${T^nx:n=0,1,...}$. We say that $X$ is strongly orbital if, additionally, $x$ can be chosen to be a hypercyclic vector for $T$. Of course, $X$ can be orbital only if the algebraic dimension of $X$ is finite or infinite countable.… ▽ More We say that a (countably dimensional) topological vector space $X$ is orbital if there is $T\in L(X)$ and a vector $x\in X$ such that $X$ is the linear span of the orbit ${T^nx:n=0,1,...}$. We say that $X$ is strongly orbital if, additionally, $x$ can be chosen to be a hypercyclic vector for $T$. Of course, $X$ can be orbital only if the algebraic dimension of $X$ is finite or infinite countable. We characterize orbital and strongly orbital metrizable locally convex spaces. We also show that every countably dimensional metrizable locally convex space $X$ does not have the invariant subset property. That is, there is $T\in L(X)$ such that every non-zero $x\in X$ is a hypercyclic vector for $T$. Finally, assuming the Continuum Hypothesis, we construct a complete strongly orbital locally convex space. As a byproduct of our constructions, we determine the number of isomorphism classes in the set of dense countably dimensional subspaces of any given separable infinite dimensional Fréchet space $X$. For instance, in $X=\ell_2\times ω$, there are exactly 3 pairwise non-isomorphic (as topological vector spaces) dense countably dimensional subspaces. △ Less

Submitted 5 September, 2012; originally announced September 2012.

Comments: Submitted to JMAA. arXiv admin note: text overlap with arXiv:1009.2644

MSC Class: 47A16

Nice Banach Modules and Invariant Subspaces

Authors: Stanislav Shkarin

Abstract: Let $\A$ be a semisimple unital commutative Banach algebra. We say that a Banach $\A$-module $M$ is nice if every proper closed submodule of $M$ is contained in a closed submodule of $M$ of codimension 1. We provide examples of nice and non-nice modules. Let $\A$ be a semisimple unital commutative Banach algebra. We say that a Banach $\A$-module $M$ is nice if every proper closed submodule of $M$ is contained in a closed submodule of $M$ of codimension 1. We provide examples of nice and non-nice modules. △ Less

Submitted 5 September, 2012; originally announced September 2012.

MSC Class: 46J10; 47A15

Hypercyclic operators on countably dimensional spaces

Authors: Andre Schenke, Stanislav Shkarin

Abstract: According to Grivaux, the group $GL(X)$ of invertible linear operators on a separable infinite dimensional Banach space $X$ acts transitively on the set $Σ(X)$ of countable dense linearly independent subsets of $X$. As a consequence, each $A\in Σ(X)$ is an orbit of a hypercyclic operator on $X$. Furthermore, every countably dimensional normed space supports a hypercyclic operator. We show that f… ▽ More According to Grivaux, the group $GL(X)$ of invertible linear operators on a separable infinite dimensional Banach space $X$ acts transitively on the set $Σ(X)$ of countable dense linearly independent subsets of $X$. As a consequence, each $A\in Σ(X)$ is an orbit of a hypercyclic operator on $X$. Furthermore, every countably dimensional normed space supports a hypercyclic operator. We show that for a separable infinite dimensional Fréchet space $X$, $GL(X)$ acts transitively on $Σ(X)$ if and only if $X$ possesses a continuous norm. We also prove that every countably dimensional metrizable locally convex space supports a hypercyclic operator. △ Less

Submitted 2 May, 2012; originally announced May 2012.

Finite dimensional semigroup quadratic algebras with minimal number of relations

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: A quadratic semigroup algebra is an algebra over a field given by the generators $x_1,...,x_n$ and a finite set of quadratic relations each of which either has the shape $x_jx_k=0$ or the shape $x_jx_k=x_lx_m$. We prove that a quadratic semigroup algebra given by $n$ generators and $d\leq \frac{n^2+n}{4}$ relations is always infinite dimensional. This strengthens the Golod--Shafarevich estimate fo… ▽ More A quadratic semigroup algebra is an algebra over a field given by the generators $x_1,...,x_n$ and a finite set of quadratic relations each of which either has the shape $x_jx_k=0$ or the shape $x_jx_k=x_lx_m$. We prove that a quadratic semigroup algebra given by $n$ generators and $d\leq \frac{n^2+n}{4}$ relations is always infinite dimensional. This strengthens the Golod--Shafarevich estimate for the above class of algebras. Our main result however is that for every $n$, there is a finite dimensional quadratic semigroup algebra with $n$ generators and $δ_n$ relations, where $δ_n$ is the first integer greater than $\frac{n^2+n}{4}$. This shows that the above Golod-Shafarevich type estimate for semigroup algebras is sharp. △ Less

Submitted 4 August, 2011; v1 submitted 11 April, 2011; originally announced April 2011.

Comments: V3: corrected typos and stylistic changes, accepted for publication in Monatshefte fuer Mathematik

MSC Class: 16S37; 16S15; 16P90; 17A45; 16A22

Journal ref: Monatshefte fur Mathematik, 168 (2012), N2, 239-252

A complete locally convex space of countable dimension admitting an operator with no invariant subspaces

Authors: Stanislav Shkarin

Abstract: We construct a complete locally convex topological vector space $X$ of countable algebraic dimension and a continuous linear operator $T:X\to X$ such that $T$ has no non-trivial closed invariant subspaces. We construct a complete locally convex topological vector space $X$ of countable algebraic dimension and a continuous linear operator $T:X\to X$ such that $T$ has no non-trivial closed invariant subspaces. △ Less

Submitted 14 September, 2010; originally announced September 2010.

MSC Class: 47A16

A hypercyclic finite rank perturbation of a unitary operator

Authors: Stanislav Shkarin

Abstract: A unitary operator $V$ and a rank $2$ operator $R$ acting on a Hilbert space $\H$ are constructed such that $V+R$ is hypercyclic. This answers affirmatively a question of Salas whether a finite rank perturbation of a hyponormal operator can be supercyclic. A unitary operator $V$ and a rank $2$ operator $R$ acting on a Hilbert space $\H$ are constructed such that $V+R$ is hypercyclic. This answers affirmatively a question of Salas whether a finite rank perturbation of a hyponormal operator can be supercyclic. △ Less

Submitted 20 August, 2010; originally announced August 2010.

Comments: published in Mathematische Annalen

On orbits of truncated convolution operators

Authors: Stanislav Shkarin

Abstract: We prove that a semigroup generated by a finitely many truncated convolution operators on $L^p[0,1]$ with $1\leq p<\infty$ is non-supercyclic. On the other hand, there is a truncated convolution operator, which possesses irregular vectors. We prove that a semigroup generated by a finitely many truncated convolution operators on $L^p[0,1]$ with $1\leq p<\infty$ is non-supercyclic. On the other hand, there is a truncated convolution operator, which possesses irregular vectors. △ Less

Submitted 20 August, 2010; originally announced August 2010.

Comments: To be submitted

Hypercyclic tuples of operators on $C^n$ and $R^n$

Authors: Stanislav Shkarin

Abstract: A tuple $(T_1,\dots,T_n)$ of continuous linear operators on a topological vector space $X$ is called hypercyclic if there is $x\in X$ such that the the orbit of $x$ under the action of the semigroup generated by $T_1,\dots,T_n$ is dense in $X$. This concept was introduced by N.~Feldman, who have raised 7 questions on hypercyclic tuples. We answer those 4 of them, which can be dealt with on the lev… ▽ More A tuple $(T_1,\dots,T_n)$ of continuous linear operators on a topological vector space $X$ is called hypercyclic if there is $x\in X$ such that the the orbit of $x$ under the action of the semigroup generated by $T_1,\dots,T_n$ is dense in $X$. This concept was introduced by N.~Feldman, who have raised 7 questions on hypercyclic tuples. We answer those 4 of them, which can be dealt with on the level of operators on finite dimensional spaces. In particular, we prove that the minimal cardinality of a hypercyclcic tuple of operators on $C^n$ (respectively, on $R^n$) is $n+1$ (respectively, $\frac n2+\frac{5+(-1)^n}{4}$), that there are non-diagonalizable tuples of operators on $R^2$ which possess an orbit being neither dense nor nowhere dense and construct a hypercyclic 6-tuple of operators on $C^3$ such that every operator commuting with each member of the tuple is non-cyclic. △ Less

Submitted 20 August, 2010; originally announced August 2010.

Comments: Submitted to Linear and Multilinear Algebra

Chaotic Banach algebras

Authors: Stanislav Shkarin

Abstract: We construct an infinite dimensional non-unital Banach algebra $A$ and $a\in A$ such that the sets $\{za^n:z\in\C,\ n\in\N\}$ and $\{({\bf 1}+a)^na:n\in\N\}$ are both dense in $A$, where $\bf 1$ is the unity in the unitalization $A^{\#}=A\oplus \spann\{{\bf 1}\}$ of $A$. As a byproduct, we get a hypercyclic operator $T$ on a Banach space such that $T\oplus T$ is non-cyclic and $σ(T)=\{1\}$. We construct an infinite dimensional non-unital Banach algebra $A$ and $a\in A$ such that the sets $\{za^n:z\in\C,\ n\in\N\}$ and $\{({\bf 1}+a)^na:n\in\N\}$ are both dense in $A$, where $\bf 1$ is the unity in the unitalization $A^{\#}=A\oplus \spann\{{\bf 1}\}$ of $A$. As a byproduct, we get a hypercyclic operator $T$ on a Banach space such that $T\oplus T$ is non-cyclic and $σ(T)=\{1\}$. △ Less

Submitted 19 August, 2010; originally announced August 2010.

Comments: Under consideration in Journal of Functional Analysis

Hypercyclic operators on topological vector spaces

Authors: Stanislav Shkarin

Abstract: Bonet, Frerick, Peris and Wengenroth constructed a hypercyclic operator on the locally convex direct sum of countably many copies of the Banach space $\ell_1$. We extend this result. In particular, we show that there is a hypercyclic operator on the locally convex direct sum of a sequence $\{X_n\}_{n\in\N}$ of Fréchet spaces if and only if each $X_n$ is separable and there are infinitely many… ▽ More Bonet, Frerick, Peris and Wengenroth constructed a hypercyclic operator on the locally convex direct sum of countably many copies of the Banach space $\ell_1$. We extend this result. In particular, we show that there is a hypercyclic operator on the locally convex direct sum of a sequence $\{X_n\}_{n\in\N}$ of Fréchet spaces if and only if each $X_n$ is separable and there are infinitely many $n\in\N$ for which $X_n$ is infinite dimensional. Moreover, we characterize inductive limits of sequences of separable Banach spaces which support a hypercyclic operator. △ Less

Submitted 19 August, 2010; originally announced August 2010.

Comments: The paper is submitted to Journal of LMS

The Golod-Shafarevich inequality for Hilbert series of quadratic algebras and the Anick conjecture

Authors: Natalia Iyudu, Stanislav Shkarin

Abstract: We study the question on whether the famous Golod-Shafarevich estimate, which gives a lower bound for the Hilbert series of a (noncommutative) algebra, is attained. This question was considered by Anick in his 1983 paper 'Generic algebras and CW-complexes', Princeton Univ. Press., where he proved that the estimate is attained for the number of quadratic relations $d \leq \frac{n^2}{4}$ and… ▽ More We study the question on whether the famous Golod-Shafarevich estimate, which gives a lower bound for the Hilbert series of a (noncommutative) algebra, is attained. This question was considered by Anick in his 1983 paper 'Generic algebras and CW-complexes', Princeton Univ. Press., where he proved that the estimate is attained for the number of quadratic relations $d \leq \frac{n^2}{4}$ and $d \geq \frac{n^2}{2}$, and conjectured that this is the case for any number of quadratic relations. The particular point where the number of relations is equal to $ \frac{n(n-1)}{2}$ was addressed by Vershik. He conjectured that a generic algebra with this number of relations is finite dimensional. We prove that over any infinite field, the Anick conjecture holds for $d \geq \frac{4(n^2+n)}{9}$ and arbitrary number of generators $n$, and confirm the Vershik conjecture over any field of characteristic 0. We give also a series of related asymptotic results. △ Less

Submitted 22 July, 2010; originally announced July 2010.

Comments: 17 pages, to appear in the Proceedings of the Royal Society Edinburgh A

MSC Class: 16S38; 16S15; 15P90

Journal ref: Proceedings of the Royal Society of Edinburgh, 141A, 609-629, 2011

Operators commuting with the Volterra operator are not weakly supercyclic

Authors: Stanislav Shkarin

Abstract: We prove that any bounded linear operator on $L_p[0,1]$ for $1\leq p<\infty$, commuting with the Volterra operator $V$, is not weakly supercyclic, which answers affirmatively a question raised by Léon-Saavedra and Piqueras-Lerena. It is achieved by providing an algebraic flavored condition on an operator which prevents it from being weakly supercyclic and is satisfied for any operator commuting… ▽ More We prove that any bounded linear operator on $L_p[0,1]$ for $1\leq p<\infty$, commuting with the Volterra operator $V$, is not weakly supercyclic, which answers affirmatively a question raised by Léon-Saavedra and Piqueras-Lerena. It is achieved by providing an algebraic flavored condition on an operator which prevents it from being weakly supercyclic and is satisfied for any operator commuting with $V$. △ Less

Submitted 10 March, 2009; originally announced March 2009.

Comments: Submitted to LMS

MSC Class: 47A16; 37A25

Corners of multidimensional numerical ranges

Authors: S. Shkarin

Abstract: The $n$-dimensional numerical range of a densely defined linear operator $T$ on a complex Hilbert space $\H$ is the set of vectors in $\C^n$ of the form $(< Te_1,e_1>,...,< Te_n,e_n>)$, where $e_1,...,e_n$ is an orthonormal system in $\H$, consisting of vectors from the domain of $T$. We prove that the components of every corner point of the $n$-dimensional numerical range are eigenvalues of… ▽ More The $n$-dimensional numerical range of a densely defined linear operator $T$ on a complex Hilbert space $\H$ is the set of vectors in $\C^n$ of the form $(< Te_1,e_1>,...,< Te_n,e_n>)$, where $e_1,...,e_n$ is an orthonormal system in $\H$, consisting of vectors from the domain of $T$. We prove that the components of every corner point of the $n$-dimensional numerical range are eigenvalues of $T$. △ Less

Submitted 2 March, 2009; originally announced March 2009.

MSC Class: 47A12

Existence theorems in linear chaos

Authors: S. Shkarin

Abstract: Chaotic linear dynamics deals primarily with various topological ergodic properties of semigroups of continuous linear operators acting on a topological vector space. We treat questions of characterizing which of the spaces from a given class support a semigroup of prescribed shape satisfying a given topological ergodic property. In particular, we characterize countable inductive limits of sep… ▽ More Chaotic linear dynamics deals primarily with various topological ergodic properties of semigroups of continuous linear operators acting on a topological vector space. We treat questions of characterizing which of the spaces from a given class support a semigroup of prescribed shape satisfying a given topological ergodic property. In particular, we characterize countable inductive limits of separable Banach spaces that admit a hypercyclic operator, show that there is a non-mixing hypercyclic operator on a separable infinite dimensional complex Fréchet space $X$ if and only if $X$ is non-isomorphic to the space $ω$ of all sequences with coordinatewise convergence topology. It is also shown for any $k\in\N$, any separable infinite dimensional Fréchet space $X$ non-isomorphic to $ω$ admits a mixing uniformly continuous group $\{T_t\}_{t\in C^n}$ of continuous linear operators and that there is no supercyclic strongly continuous operator semigroup $\{T_t\}_{t\geq 0}$ on $ω$. We specify a wide class of Fréchet spaces $X$, including all infinite dimensional Banach spaces with separable dual, such that there is a hypercyclic operator $T$ on $X$ for which the dual operator $T'$ is also hypercyclic. An extension of the Salas theorem on hypercyclicity of a perturbation of the identity by adding a backward weighted shift is presented and its various applications are outlined. △ Less

Submitted 22 October, 2008; v1 submitted 7 October, 2008; originally announced October 2008.

MSC Class: 47A16; 37A25