Beurling's theorem and invariant subspaces for the shift on Hardy spaces

Let G be a bounded open subset in the complex plane and let H~2(G) denote the Hardy space on G. We call a bounded simply connected domain W perfectly connected if the boundary value function of the inverse of the Riemann map from W onto the unit disk D is almost 1-1 with respect to the Lebesgue measure on D and if the Riemann map belongs to the weak-star closure of the polynomials in H~∞(W). Our main theorem states: in order that for each M∈Lat (M_z), there exist u∈H~∞(G) such that M=∨{uH~2(G)}, it is necessary and sufficient that the following hold: (1) each component of G is a perfectly connected domain; (2) the harmonic measures of the components of G are mutually singular; (3) the set of polynomials is weak-star dense in H~∞(G). Moreover, if G satisfies these conditions, then every M∈Lat (M_z) is of the form uH~2(G), where u∈H~∞(G) and the restriction of u to each of the components of G is either an inner function or zero.     

Strong Dunford-Pettis sets and spaces of operators (Monatsh. Math. 144, 275–284 (2005))

In a recent paper, Ghenciu and Lewis studied strong Dunford-Pettis sets and made the following two assertions:

Strong Dunford-Pettis sets and spaces of operators (Monatsh. Math. 144, 275–284 (2005))

In a recent paper, Ghenciu and Lewis studied strong Dunford-Pettis sets and made the following two assertions:

Algebraically constructible functions and signs of polynomials

LetW be a real algebraic set. We show that the following families of integer-valued functions onW coincide: (i) the functions of the formω →λ(X _ω ), where X _ω are the fibres of a regular morphismf :X →W of real algebraic sets, (ii) the functions of the formω →χ(X _ω ), where X _ω are the fibres of a proper regular morphismf :X →W of real algebraic sets, (iii) the finite sums of signs of polynomials onW. Such functions are called algebraically constructible onW. Using their characterization in terms of signs of polynomials we present new proofs of their basic functorial properties with respect to the link operator and specialization. Research partially supported by an Australian Research Council Small Grant. Second author also partially supported by KBN 610/P3/94.     

Invariant measures of minimal post-critical sets of logistic maps

We construct logistic maps whose restriction to the ω-limit set of its critical point is a minimal Cantor system having a prescribed number of distinct ergodic and invariant probability measures. In fact, we show that every metrizable Choquet simplex whose set of extreme points is compact and totally disconnected can be realized as the set of invariant probability measures of a minimal Cantor system corresponding to the restriction of a logistic map to the ω-limit set of its critical point. Furthermore, we show that such a logistic map f can be taken so that each such invariant measure has zero Lyapunov exponent and is an equilibrium state of f for the potential −ln |f′|.     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient , for certain external subspaces of the hyperfinite dimensional Banach space , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and are isometrically isomorphic as Banach algebras. Research of both authors supported by a grant by VEGA – Scientific Grant Agency of Slovak Republic.     

On a theorem of Fatou

We prove a result on the backward dynamics of a rational function nearby a point not contained in the -limit set of a recurrent critical point. As a corollary we show that a compact invariant subset of the Julia set, not containing critical or parabolic points, and not intersecting the -limit set ofrecurrent critical points, is expanding, thus extending a classical criteria of Fatou. We also prove that the boundary of a Siegel disk is always contained in the -limit set of arecurrent critical point.     

Boundaries and generation of convex sets

We introduce a notion which is intermediate between that of taking thew*-closed convex hull of a set and taking the norm closed convex hull of this set. This notion helps to streamline the proof (given in [FLP]) of the famous result of James in the separable case. More importantly, it leads to stronger results in the same direction. For example:

Harmonic currents of finite energy and laminations

We introduce a notion of energy for harmonic currents of bidegree (1, 1) on a complex K?hler manifold (M, ω). This allows us to define for positive harmonic currents. We then show that for a lamination with singularities of a compact set in without directed positive closed currents, there is a unique positive harmonic current which minimizes energy. If X is a compact laminated set in of class it carries a unique positive harmonic current T of mass 1. The current T can be obtained by an Ahlfors type construction starting with an arbitrary leaf of X. When X has a totally disconnected set of singularities, contained in a countable union of analytic sets, the above construction still gives positive harmonic currents. Received: February 2004 Revision: December 2004 Accepted: June 2005     

The Grothendieck property for injective tensor products of Banach spaces

Let X be a Banach space with the Grothendieck property, Y a reflexive Banach space, and let X ⊗̌_ɛ Y be the injective tensor product of X and Y.

Further properties of Azimi-Hagler banach spaces

For the Azimi-Hagler spaces more geometric and topological properties are investigated. Any constructed space is denoted by X _α,p . We show

An application of the greedy heuristic of set cover to traffic checks

Let us suppose that X is a given, finite, not empty set and ${\mathcal F}Let us suppose that X is a given, finite, not empty set and is a given collection of subsets of X such that their union equals X, in other words covers X. Set cover is the problem of selecting as few as possible subsets from such that their union covers X. Max k-cover is the problem of selecting k subsets from such that their union has maximum cardinality. Both problems are NP-hard. There is a polynomial time greedy heuristic that iteratively selects the subset from that covers the largest number of yet uncovered elements. We implemented this greedy algorithm to support the planning of a checking system that is aimed to check the vehicles in a road network. We would like to answer such questions:

–	How many and which links are sufficient to check a given percentage of all traffic flow?
–	What percentage of traffic can be checked with given links?

This paper defines the necessary data and basic knowledge, gives algorithms to answer the previous questions and also shows the results of an implementation in a road network that contains about 11,000 junctions, 3,000 origin–destination junctions and 26,000 links.     

Linear series onk-gonal curves

Here we prove the following result. Theorem 1.1.Let X be an integral projective curve of arithmetic genus g and k≧ ≧4 an integer. Assume the existence of L ∈ Pic^k (X) with h ⁰ (X, L)=2 and L spanned. Fix a rank 1 torsion free sheaf M on X with h ⁰(X,M)=r+1≧2, h¹ (X, M)≧2 and M spanned by its global sections. Set d≔deg(M) and s≔max {n≧0:h ⁰ (X, M ⊗(L^*)^⊗n)>0}. Then one of the following cases occur:

A class of Riemannian manifolds that pinch when evolved by Ricci flow

The purpose of this paper is to construct a set of Riemannian metrics on a manifold X with the property that will develop a pinching singularity in finite time when evolved by Ricci flow. More specifically, let , where N ⁿ is an arbitrary closed manifold of dimension n≥ 2 which admits an Einstein metric of positive curvature. We construct a (non-empty) set of warped product metrics on the non-compact manifold X such that if , then a smooth solution , t∈[0,T) to the Ricci flow equation exists for some maximal constant T, 0<T<∞, with initial value , and

On vector measures with separable range

Let X be a weakly Lindel?f determined Banach space. We prove that the following two statements are equivalent:

Two dimensional variational problems with linear growth

 Suppose that f: ℝ ^nN →ℝ is a strictly convex energy density of linear growth, f(Z)=g(|Z|²) if N>1. If f satisfies an ellipticity condition of the form

Automata accepting primitive words

LeA be an automaton whose set of inputs equalsX (|X|≧2) and whose cardinality of the set of states equalsn (n≧2), and letQ be the set of all primitive words overX. ByT(A) we denote the language accepted byA. In this paper, we give the following results:

On the Similarity of Analytic Matrix Functions

Consider a domain , and two analytic matrix-valued functions functions . Consider also points and positive integers n ₁, n ₂, . . . , n _N . We are interested in the existence of an analytic function such that X(ω) is invertible, and G(ω) coincides with X(ω)F(ω)X(ω)⁻¹ up to order n _j at the point ω _j . We will see that such a function exists provided that F(ω _j ),G(ω _j ) have cyclic vectors, and the characteristic polynomials of F,G coincide up to order n _j at ω _j . This allows one to give a short proof to a result of Huang, Marcantognini and Young concerning spectral interpolation in the unit disk. The author was partially supported by a grant from the National Science Foundation. Received: September 8, 2006. Accepted: January 11, 2007.