BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Stanislav Shkarin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.FAmath.DSmath.RAmath-phmath.MPmath.QAmath.COmath.GRmath.RTmath.ACmath.AGmath.CA

Catalog footprint

Research overview

33works
12topics
2close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

33 publications

preprint2022arXiv

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

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.

Open access
preprint2017arXiv

Quadratic automaton algebras and intermediate growth

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.

Open access
preprint2016arXiv

Two problems from the Polishchuk and Positselski book on Quadratic algebras

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.

Open access
preprint2014arXiv

The proof of the Kontsevich periodicity conjecture on noncommutative birational transformations

For an arbitrary associative unital ring RR, let J1J_1 and J2J_2 be the following noncommutative birational partly defined involutions on the set M3(R)M_3(R) of 3×33\times 3 matrices over RR: J1(M)=M−1J_1(M)=M^{-1} (the usual matrix inverse) and J2(M)jk=(Mkj)−1 J_2(M)_{jk}=(M_{kj})^{-1}\, (the transpose of the Hadamard inverse). We prove the following surprising conjecture by Kontsevich saying that (J2∘J1)3(J_2\circ J_1)^3 is the identity map modulo the DiagL×DiagR{\rm Diag}_{L} \times \rm{Diag}_R action (D1,D2)(M)=D1−1MD2(D_1,D_2)(M)=D_1^{-1}MD_2 of pairs of invertible diagonal matrices. That is, we show that for each MM in the domain where (J2∘J1)3(J_2\circ J_1)^3 is defined, there are invertible diagonal 3×33\times 3 matrices D1=D1(M)D_1=D_1(M) and D2=D2(M)D_2=D_2(M) such that (J2∘J1)3(M)=D1−1MD2.(J_2\circ J_1)^3(M)=D_1^{-1}MD_2.

Open access
preprint2013arXiv

On numerically hypercyclic operators

According to Kim, Peris and Song, a continuous linear operator TT on a complex Banach space XX is called {\it numerically hypercyclic} if the numerical orbit {f(Tnx):n∈N}\{f(T^nx):n\in\N\} is dense in $\C$ for some x∈Xx\in X and f∈X∗f\in X^* satisfying ∥x∥=∥f∥=f(x)=1\|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.

Open access
preprint2013arXiv

On Pauli Pairs

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.

Open access
preprint2012arXiv

A weighted bilateral shift with cyclic square is supercyclic

It is shown that for a bounded weighted bilateral shift TT acting on ℓp(Z)\ell_p(\Z) for 1≤p≤21\leq p\leq 2 supercyclicity of TT, weak supercyclicity of TT, cyclicity of T⊕TT\oplus T and cyclicity of T2T^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.

Open access
preprint2012arXiv

Hypercyclic operators on countably dimensional spaces

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

Open access
preprint2012arXiv

Mixing operators on spaces with weak topology

We prove that a continuous linear operator TT on a topological vector space XX with weak topology is mixing if and only if the dual operator T′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 TT on ωω, T⊕TT\oplus T is also hypercyclic.

Open access
preprint2012arXiv

Non-sequential weak supercyclicity and hypercyclicity

A bounded linear operator TT acting on a Banach space $\B$ is called weakly hypercyclic if there exists $x\in \B$ such that the orbit Tnx:n=0,1,...{T^n x: n=0,1,...} is weakly dense in $\B$ and TT 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 TT 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)Mf(z)=zf(z) acting on L2(μ)L_2(μ) is weakly supercyclic. It is not weakly sequentially supercyclic, since the projective orbit under MM of each element in L2(μ)L_2(μ) is weakly sequentially closed. This answers a question posed by Bayart and Matheron. It is proved that the bilateral shift on ℓp(Z)\ell_p(\Z), 1≤p<∞1\leq p <\infty, is weakly supercyclic if and only if 2<p<∞2<p<\infty and that any weakly supercyclic weighted bilateral shift on ℓp(Z)\ell_p(\Z) for 1≤p≤21\leq p\leq 2 is norm supercyclic. It is also shown that any weakly hypercyclic weighted bilateral shift on ℓp(Z)\ell_p(\Z) for 1≤p<21\leq p<2 is norm hypercyclic, which answers a question of Chan and Sanders.

Open access
preprint2012arXiv

Norm attaining operators and pseudospectrum

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

Open access
preprint2012arXiv

On similarity of quasinilpotent operators

Bounded linear operators on separable Banach spaces algebraically similar to the classical Volterra operator VV acting on C[0,1]C[0,1] are characterized. From this characterization it follows that VV does not determine the topology of C[0,1]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∈[1,∞]p\in[1,\infty].

Open access
preprint2012arXiv

On the set of hypercyclic vectors for the differentiation operator

Let DD be the differentiation operator Df=f′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)H(D) of hypercyclic vectors for the operator DD is non-empty. We treat two questions raised by Aron, Conejero, Peris and Seoane-Sepúlveda whether the set H(D)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.

Open access
preprint2012arXiv

On the spectrum of frequently hypercyclic operators

A bounded linear operator TT on a Banach space XX is called frequently hypercyclic if there exists x∈Xx\in X such that the lower density of the set {n∈N:Tnx∈U}\{n\in\N:T^nx\in U\} is positive for any non-empty open subset UU of XX. 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.

Open access
preprint2012arXiv

Orbital and strongly orbital spaces

We say that a (countably dimensional) topological vector space XX is orbital if there is T∈L(X)T\in L(X) and a vector x∈Xx\in X such that XX is the linear span of the orbit Tnx:n=0,1,...{T^nx:n=0,1,...}. We say that XX is strongly orbital if, additionally, xx can be chosen to be a hypercyclic vector for TT. Of course, XX can be orbital only if the algebraic dimension of XX 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 XX does not have the invariant subset property. That is, there is T∈L(X)T\in L(X) such that every non-zero x∈Xx\in X is a hypercyclic vector for TT. 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 XX. For instance, in X=ℓ2×ωX=\ell_2\times ω, there are exactly 3 pairwise non-isomorphic (as topological vector spaces) dense countably dimensional subspaces.

Open access
preprint2012arXiv

Orbits of coanalytic Toeplitz operators and weak hypercyclicity

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 GG is a region of $\C$ bounded by a smooth Jordan curve ΓΓ such that GG does not meet the unit ball but ΓΓ intersects the unit circle in a non-trivial arc, then M∗M^* is a weakly hypercyclic operator on H2(G)H^2(G), where MM is the multiplication by the argument operator Mf(z)=zf(z)Mf(z)=zf(z). We also prove that if gg 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 Tg∗T^*_g on the Hardy space $H^2(\D)$ is weakly hypercyclic. On the contrary, if $g(\D)\cap\D=\varnothing$, ∣g∣>1|g|>1 almost everywhere on $\T$ and $\log(|g|-1)\in L^1(\T)$, then Tg∗T^*_g is not 1-weakly hypercyclic and hence is not weakly hypercyclic (a bounded linear operator TT on a complex Banach space XX is called nn-weakly hypercyclic if there is x∈Xx\in X such that for every surjective continuous linear operator $S:X\to \C^n$, the set {S(Tmx):m∈N}\{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 nn-weakly hypercyclic for every n∈Nn\in\N.

Open access
preprint2012arXiv

Remarks on common hypercyclic vectors

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 TT on a complex Fréchet space XX and a set $Λ\subseteq \R_+\times\C$ which is not of zero three-dimensional Lebesgue measure, the family {aT+bI:(a,b)∈Λ}\{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ϕ⋆:b−1<∣z∣<a−1}\{zM_ϕ^\star:b^{-1}<|z|<a^{-1}\} has a common hypercyclic vector, where $M_ϕ:\H^2(\D)\to \H^2(\D)$, Mϕf=ϕfM_ϕ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 Tbf(z)=f(z−b)T_bf(z)=f(z-b) acts on the Fréchet space $\H(\C)$ of entire functions on one complex variable.

Open access
preprint2012arXiv

Universal elements for non-linear operators and their applications

We prove that under certain topological conditions on the set of universal elements of a continuous map TT acting on a topological space XX, that the direct sum T⊕MgT\oplus M_g is universal, where MgM_g is multiplication by a generating element of a compact topological group. We use this result to characterize R+\R_+-supercyclic operators and to show that whenever TT is a supercyclic operator and z1,...,znz_1,...,z_n are pairwise different non-zero complex numbers, then the operator z1T⊕...⊕znTz_1T\oplus {...}\oplus z_n T is cyclic. The latter answers affirmatively a question of Bayart and Matheron.

Open access
preprint2011arXiv

Finite dimensional semigroup quadratic algebras with minimal number of relations

A quadratic semigroup algebra is an algebra over a field given by the generators x1,...,xnx_1,...,x_n and a finite set of quadratic relations each of which either has the shape xjxk=0x_jx_k=0 or the shape xjxk=xlxmx_jx_k=x_lx_m. We prove that a quadratic semigroup algebra given by nn generators and d≤n2+n4d\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 nn, there is a finite dimensional quadratic semigroup algebra with nn generators and δnδ_n relations, where δnδ_n is the first integer greater than n2+n4\frac{n^2+n}{4}. This shows that the above Golod-Shafarevich type estimate for semigroup algebras is sharp.

Open access
preprint2010arXiv

Chaotic Banach algebras

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

Open access
preprint2010arXiv

Hypercyclic operators on topological vector spaces

Bonet, Frerick, Peris and Wengenroth constructed a hypercyclic operator on the locally convex direct sum of countably many copies of the Banach space ℓ1\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 {Xn}n∈N\{X_n\}_{n\in\N} of Fréchet spaces if and only if each XnX_n is separable and there are infinitely many n∈Nn\in\N for which XnX_n is infinite dimensional. Moreover, we characterize inductive limits of sequences of separable Banach spaces which support a hypercyclic operator.

Open access
preprint2010arXiv

Hypercyclic tuples of operators on CnC^n and RnR^n

A tuple (T1,…,Tn)(T_1,\dots,T_n) of continuous linear operators on a topological vector space XX is called hypercyclic if there is x∈Xx\in X such that the the orbit of xx under the action of the semigroup generated by T1,…,TnT_1,\dots,T_n is dense in XX. 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 CnC^n (respectively, on RnR^n) is n+1n+1 (respectively, n2+5+(−1)n4\frac n2+\frac{5+(-1)^n}{4}), that there are non-diagonalizable tuples of operators on R2R^2 which possess an orbit being neither dense nor nowhere dense and construct a hypercyclic 6-tuple of operators on C3C^3 such that every operator commuting with each member of the tuple is non-cyclic.

Open access
preprint2010arXiv

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

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≤n24d \leq \frac{n^2}{4} and d≥n22d \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 n(n−1)2 \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≥4(n2+n)9d \geq \frac{4(n^2+n)}{9} and arbitrary number of generators nn, and confirm the Vershik conjecture over any field of characteristic 0. We give also a series of related asymptotic results.

Open access

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.