To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
If the invariant-subspace problem in Hilbert spaces has a negative solution, then there must be a counterexample, but at the time of writing nobody has been able to find one. On the other hand, if the solution is positive, then at first sight it is necessary to prove a theorem that applies to all Hilbert space operators simultaneously. In fact, the situation is somewhat simplified by the existence of universal operators – these have the property that if we could describe their lattice of subspaces precisely enough, then we could solve the invariant-subspace problem.
We therefore begin by presenting an old theorem due to Caradus [55] which gives conditions for an operator to be universal. With this, it is easy to write down various very simple operators, basically various forms of backward shift operator, which have the universality property.
Other operators that are less obviously universal include certain bilateral weighted shifts and composition operators on Hardy spaces; these last have attracted particular interest, since one can use results from function theory to obtain information about their invariant subspaces. We give some of the more interesting results in this area, although of course we cannot yet give a precise description of the lattice of invariant subspaces for any single universal operator.
Construction of universal models
Definition 8.1.1 Let χ be a Banach space. Then an operator U ∈ ℒ(χ) is said to be universal for χ if for each non-zero T ∈ ℒ(χ) there is a constant λ ≠ 0 and an invariant subspace M for U such that U|M is similar to λT, i.e., λJT = UJ, where J : X → M is a linear isomorphism.
Our aim in this note is to make some conjectures about extremal densities of daisy-free families, where a ‘daisy’ is a certain hypergraph. These questions turn out to be related to some Turán problems in the hypercube, but they are also natural in their own right. We start by giving the daisy conjectures, and some related problems, and shall then go on to describe the connection with vertex-Turán problems in the hypercube.
Philippe Flajolet, mathematician and computer scientist extraordinaire, the father of analytic combinatorics, suddenly passed away on 22 March 2011, at the prime of his career. He is celebrated for opening new lines of research in the analysis of algorithms, developing powerful new methods, and solving difficult open problems. His research contributions will have an impact for generations, and his approach to research, based on curiosity, discriminating taste, broad knowledge and interests, intellectual integrity, and a genuine sense of camaraderie, will serve as an inspiration to those who knew him, for years to come.
There is an outstanding problem in operator theory, the so-called ‘invariantsubspace problem’, which has been open for more than half a century. There have been significant achievements on occasion, sometimes after an interval of more than a decade, but its solution seems nowhere in sight. The invariantsubspace problem for a complex Banach space χ of dimension > 1 concerns whether every bounded linear operator T : χ → χ has a non-trivial closed T-invariant subspace (a closed linear subspace M of χ which is different from both {0} and χ such that T(M) ⊂ M). Throughout this book, when we talk about invariant subspaces, we always assume that they are closed and non-trivial.
For the most important case of Hilbert spaces ℋ the problem is still open, although Enflo [95, 96] and Read [168, 169] showed that the invariantsubspace problem is false for some Banach spaces.
The general case of the invariant-subspace problem is still open, but there are many positive results in this direction. For example, every finite-rank operator on a non-zero complex space has an eigenvector, and this generates a one-dimensional invariant subspace. Thus the conjecture is easily resolved in the case that the underlying Hilbert space is finite-dimensional. Moreover, every non-zero vector is contained in a smallest invariant subspace, the cyclic subspace it generates, which is separable. Thus the question is easily answered for non-separable Hilbert spaces.
This chapter treats two fairly self-contained ideas. Moment sequences, which can be defined as the integrals of successive powers of the independent variable with respect to a positive Borel measure on the real line, appear in many mathematical contexts, including probability theory and other branches of analysis. We begin with the idea of a moment sequence that can be associated with powers of an operator, and show how this leads to a proof of the existence of invariant subspaces. Initially, the Banach spaces involved will be either real or complex, but later some of the results we present will be appropriate only for real sequence spaces; we then employ a trick to handle certain operators (in particular, tridiagonal operators) on complex spaces.
Next, we explore a variety of themes concerned with sequences defined in terms of specific formulae involving binomial coefficients. We start with some apparently elementary results about such sequences, linking these to results from complex analysis in the form of various Phragmén–Lindelöf principles. Finally, we arrive at some applications, first to the theory of Banach algebras, and then to the existence of invariant subspaces. This particular subject appears to us to be one where interesting techniques have been introduced but not fully exploited: that is to say, we think that further developments will be possible.
Moment sequences
Definition 9.1.1 Let χ be a separable Banach space, and T ∈ ℒ(χ).
Let p be a prime number. For a positive integer n and a p-adic number ξ, let λn(ξ) denote the supremum of the real numbers λ such that there are arbitrarily large positive integers q such that ‖qξ‖p,‖qξ2‖p,…,‖qξn‖p are all less than q−λ−1. Here, ‖x‖p denotes the infimum of |x−n|p as n runs through the integers. We study the set of values taken by the function λn.
Suppose that G is a finite group and H is a subgroup of G. We call H a weakly s-supplementally embedded subgroup of G if there exist a subgroup T of G and an s-quasinormally embedded subgroup Hse of G contained in H such that G = HT and H ∩ T ≤ Hse. We investigate the influence of the weakly s-supplementally embedded property of some minimal subgroups on the structure of finite groups. As an application of our results, some earlier results are generalized.
We show that if the given cotorsion pair in the category of modules is complete and hereditary, then both of the induced cotorsion pairs in the category of complexes are complete. We also give a cofibrantly generated model structure that can be regarded as a generalization of the projective model structure.
Recent research of the author has studied edge-labelled directed trees under a natural multiplication operation. The class of all such trees (with a fixed labelling alphabet) has an algebraic interpretation, as a free object in the class of adequate semigroups. We consider here a natural subclass of these trees, defined by placing a restriction on edge orientations, and show that the resulting algebraic structure is a free object in the class of left adequate semigroups. Through this correspondence we establish some structural and algorithmic properties of free left adequate semigroups and monoids, and consequently of the category of all left adequate semigroups.
Following the derivation of amplitude equations through a new two-time-scale method [O'Malley, R. E., Jr. & Kirkinis, E (2010) A combined renormalization group-multiple scale method for singularly perturbed problems. Stud. Appl. Math. 124, 383–410], we show that a multi-scale method may often be preferable for solving singularly perturbed problems than the method of matched asymptotic expansions. We illustrate this approach with 10 singularly perturbed ordinary and partial differential equations.
The Mandelbrot set is a fractal shape that classifies the dynamics of quadratic polynomials. It has a remarkably rich geometric and combinatorial structure. This volume provides a systematic exposition of current knowledge about the Mandelbrot set and presents the latest research in complex dynamics. Topics discussed include the universality and the local connectivity of the Mandelbrot set, parabolic bifurcations, critical circle homeomorphisms, absolutely continuous invariant measures and matings of polynomials, along with the geometry, dimension and local connectivity of Julia sets. In addition to presenting new work, this collection documents important results hitherto unpublished or difficult to find in the literature. This book will be of interest to graduate students in mathematics, physics and mathematical biology, as well as researchers in dynamical systems and Kleinian groups.
We consider a class of operators that contains the strictly singular operators and it is contained in the perturbation class of the upper semi-Fredholm operators PΦ+. We show that this class is strictly contained in PΦ+, solving a question of Friedman. We obtain similar results for the strictly cosingular operators and the perturbation class of the lower semi-Fredholm operators PΦ−. We also characterize in terms of PΦ+ and in terms of PΦ−. As a consequence, we show that and are the biggest operator ideals contained in PΦ+ and PΦ−, respectively.
We define left and right kernels of representations of Hopf algebras. In the case of group algebras, left and right kernels coincide and they are the usual kernels of modules. In the general case, we show that these kernels coincide with the categorical left and right Hopf kernels of morphisms of Hopf algebras defined in Andruskiewitsch and Devoto [Extensions of Hopf algebras, Algebra i Analiz7 (1995), 22–69]. Brauer's theorem for kernels over group algebras is generalised to Hopf algebras.
To any walk in a quiver, we associate a Laurent polynomial. When the walk is the string of a string module over a 2-Calabi–Yau tilted algebra, we prove that this Laurent polynomial coincides with the corresponding cluster character of the string module up to an explicit normalising monomial factor.
We continue our investigation of the general notion of universal enveloping algebra introduced in [A. Ardizzoni, A Milnor–Moore type theorem for primitively generated braided Bialgebras, J. Algebra 327(1) (2011), 337–365]. Namely, we study a universal enveloping algebra when it is of Poincaré–Birkhoff–Witt (PBW) type, meaning that a suitable PBW-type theorem holds. We discuss the problem of finding a basis for a universal enveloping algebra of PBW type: as an application, we recover the PBW basis both of an ordinary universal enveloping algebra and of a restricted enveloping algebra. We prove that a universal enveloping algebra is of PBW type if and only if it is cosymmetric. We characterise braided bialgebra liftings of Nichols algebras as universal enveloping algebras of PBW type.