Norms of some operators on the Bergman and the Hardy space in the unit polydisk and the unit ball

Let H(X) be the class of all holomorphic functions on the set and uH(X). We calculate operator norms of the multiplication operators M_u(f)=uf, on the weighted Bergman space , as well as on the Hardy space H^p(X), where X is the unit polydisk or the unit ball in . We also calculate the norm of the weighted composition operator from the weighted Bergman space , and the Hardy space , to a weighted-type space on the unit polydisk.     

On the normalizing groupoids and the commensurability groupoids for inclusions of factors associated to ergodic equivalence relations–subrelations

It is shown that for the inclusion of factors corresponding to an inclusion of ergodic discrete measured equivalence relations , is normal in in the sense of Feldman–Sutherland–Zimmer [J. Feldman, C.E. Sutherland, R.J. Zimmer, Subrelations of ergodic equivalence relations, Ergodic Theory Dynam. Systems 9 (1989) 239–269] if and only if A is generated by the normalizing groupoid of B. Moreover, we show that there exists the largest intermediate equivalence subrelation which contains as a normal subrelation. We further give a definition of “commensurability groupoid” as a generalization of normality. We show that the commensurability groupoid of B in A generates A if and only if the inclusion BA is discrete in the sense of Izumi–Longo–Popa [M. Izumi, R. Longo, S. Popa, A Galois correspondence for compact groups of automorphisms of von Neumann algebras with a generalization to Kac algebras, J. Funct. Anal. 155 (1998) 25–63]. We also show that there exists the largest equivalence subrelation such that the inclusion is discrete. It turns out that the intermediate equivalence subrelations and thus defined can be viewed as groupoid-theoretic counterparts of a normalizer subgroup and a commensurability subgroup in group theory.     

Two canonical passive state/signal shift realizations of passive discrete time behaviors

A discrete time invariant linear state/signal system Σ with a Hilbert state space and a Kren signal space has trajectories (x(),w()) that are solutions of the equation , where F is a bounded linear operator from into with a closed domain whose projection onto is all of . This system is passive if the graph of F is a maximal nonnegative subspace of the Kren space . The future behavior of a passive system Σ is the set of all signal components w() of trajectories (x(),w()) of Σ on with x(0)=0 and . This is always a maximal nonnegative shift-invariant subspace of the Kren space , i.e., the space endowed with the indefinite inner product inherited from . Subspaces of with this property are called passive future behaviors. In this work we study passive state/signal systems and passive behaviors (future, full, and past). In particular, we define and study the input and output maps of a passive state/signal system, and the past/future map of a passive behavior. We then turn to the inverse problem, and construct two passive state/signal realizations of a given passive future behavior , one of which is observable and backward conservative, and the other controllable and forward conservative. Both of these are canonical in the sense that they are uniquely determined by the given data , in contrast earlier realizations that depend not only on , but also on some arbitrarily chosen fundamental decomposition of the signal space . From our canonical realizations we are able to recover the two standard de Branges–Rovnyak input/state/output shift realizations of a given operator-valued Schur function in the unit disk.     

Semifields of order with left nucleus and center

In [G. Marino, O. Polverino, R. Trombetti, On -linear sets of PG(3,q³) and semifields, J. Combin. Theory Ser. A 114 (5) (2007) 769–788] it has been proven that there exist six non-isotopic families (i=0,…,5) of semifields of order q⁶ with left nucleus and center , according to the different geometric configurations of the associated -linear sets. In this paper we first prove that any semifield of order q⁶ with left nucleus , right and middle nuclei and center is isotopic to a cyclic semifield. Then, we focus on the family by proving that it can be partitioned into three further non-isotopic families: , , and we show that any semifield of order q⁶ with left nucleus , right and middle nuclei and center belongs to the family .     

The equation on weakly pseudo-convex CR manifolds of dimension 3

Let M be a smooth, compact, orientable, weakly pseudoconvex manifold of dimension 3, embedded in (N2), of codimension one or more, and endowed with the induced CR structure. Assuming that the tangential Cauchy-Riemann operator has closed range in L²(M) in order to rule out the Rossi example, we push regularity up to show has closed range in H^s(M) for all s>0. We then use the Szegö projection to show there is a smooth solution for the problem given smooth data. The results are obtained via microlocalization by piecing together estimates for functions and (0,1) forms that hold on different microlocal regions.     

A spectral equivalence for Jacobi matrices

We use the classical results of Baxter and Golinskii–Ibragimov to prove a new spectral equivalence for Jacobi matrices on . In particular, we consider the class of Jacobi matrices with conditionally summable parameter sequences and find necessary and sufficient conditions on the spectral measure such that and lie in or for s1.     

On fully operator Lipschitz functions

Let be the disc algebra of all continuous complex-valued functions on the unit disc holomorphic in its interior. Functions from act on the set of all contraction operators (A1) on Hilbert spaces. It is proved that the following classes of functions from coincide: (1) the class of operator Lipschitz functions on the unit circle ; (2) the class of operator Lipschitz functions on ; and (3) the class of operator Lipschitz functions on all contraction operators. A similar result is obtained for the class of operator C₂-Lipschitz functions from .     

Pure inductive limit state and Kolmogorov's property

Let be a C^*-dynamical system where be a semigroup of injective endomorphism and ψ be an (λ_t) invariant state on the C^* subalgebra and is either non-negative integers or real numbers. The central aim of this exposition is to find a useful criteria for the inductive limit state canonically associated with ψ to be pure. We achieve this by exploring the minimal weak forward and backward Markov processes associated with the Markov semigroup on the corner von-Neumann algebra of the support projection of the state ψ to prove that Kolmogorov's property [A. Mohari, Markov shift in non-commutative probability, J. Funct. Anal. 199 (2003) 189–209] of the Markov semigroup is a sufficient condition for the inductive state to be pure. As an application of this criteria we find a sufficient condition for a translation invariant factor state on a one-dimensional quantum spin chain to be pure. This criteria in a sense complements criteria obtained in [O. Bratteli, P.E.T. Jorgensen, A. Kishimoto, R.F. Werner, Pure states on , J. Operator Theory 43 (1) (2000) 97–143; A. Mohari, Markov shift in non-commutative probability, J. Funct. Anal. 199 (2003) 189–209] as we could go beyond lattice symmetric states.     

A characterization of the natural embedding of the split Cayley hexagon in by intersection numbers

In this paper, we prove that a set of q⁵+q⁴+q³+q²+q+1 lines of with the properties that (1) every point of is incident with either 0 or q+1 elements of , (2) every plane of is incident with either 0, 1 or q+1 elements of , (3) every solid of is incident with either 0, 1, q+1 or 2q+1 elements of , and (4) every hyperplane of is incident with at most q³+3q²+3q members of , is necessarily the set of lines of a regularly embedded split Cayley generalized hexagon in .     

Polynomial-time approximation schemes for piercing and covering with applications in wireless networks

Let be a set of disks of arbitrary radii in the plane, and let be a set of points. We study the following three problems: (i) Assuming contains the set of center points of disks in , find a minimum-cardinality subset of (if exists), such that each disk in is pierced by at least h points of , where h is a given constant. We call this problem minimum h-piercing. (ii) Assuming is such that for each there exists a point in whose distance from D's center is at most αr(D), where r(D) is D's radius and 0α<1 is a given constant, find a minimum-cardinality subset of , such that each disk in is pierced by at least one point of . We call this problem minimum discrete piercing with cores. (iii) Assuming is the set of center points of disks in , and that each covers at most l points of , where l is a constant, find a minimum-cardinality subset of , such that each point of is covered by at least one disk of . We call this problem minimum center covering. For each of these problems we present a constant-factor approximation algorithm (trivial for problem (iii)), followed by a polynomial-time approximation scheme. The polynomial-time approximation schemes are based on an adapted and extended version of Chan's [T.M. Chan, Polynomial-time approximation schemes for packing and piercing fat objects, J. Algorithms 46 (2003) 178–189] separator theorem. Our PTAS for problem (ii) enables one, in practical cases, to obtain a (1+ε)-approximation for minimum discrete piercing (i.e., for arbitrary ).     

Configurations in abelian categories. II. Ringel–Hall algebras

This is the second in a series on configurations in an abelian category . Given a finite poset (I,), an (I,)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in satisfying some axioms, where J,KI. Configurations describe how an object X in decomposes into subobjects.The first paper defined configurations and studied moduli spaces of (I,)-configurations in , using the theory of Artin stacks. It showed well-behaved moduli stacks of objects and configurations in exist when is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod- of representations of a quiver Q.Write for the vector space of -valued constructible functions on the stack . Motivated by the idea of Ringel–Hall algebras, we define an associative multiplication * on using pushforwards and pullbacks along 1-morphisms between configuration moduli stacks, so that is a -algebra. We also study representations of , the Lie subalgebra of functions supported on indecomposables, and other algebraic structures on .Then we generalize all these ideas to stack functions , a universal generalization of constructible functions, containing more information. When Extⁱ(X,Y)=0 for all and i>1, or when for P a Calabi–Yau 3-fold, we construct (Lie) algebra morphisms from stack algebras to explicit algebras, which will be important in the sequels on invariants counting τ-semistable objects in .     

On rank-one perturbations of normal operators

This paper is concerned with operators on Hilbert space of the form T=D+uv where D is a diagonalizable normal operator and uv is a rank-one operator. It is shown that if and the vectors u and v have Fourier coefficients and with respect to an orthonormal basis that diagonalizes D that satisfy , then T has a nontrivial hyperinvariant subspace. This partially answers an open question of at least 30 years duration.     

Index theory for boundary value problems via continuous fields of -algebras

We prove an index theorem for boundary value problems in Boutet de Monvel's calculus on a compact manifold X with boundary. The basic tool is the tangent semi-groupoid generalizing the tangent groupoid defined by Connes in the boundaryless case, and an associated continuous field of C^*-algebras over [0,1]. Its fiber in =0, , can be identified with the symbol algebra for Boutet de Monvel's calculus; for ≠0 the fibers are isomorphic to the algebra of compact operators. We therefore obtain a natural map . Using deformation theory we show that this is the analytic index map. On the other hand, using ideas from noncommutative geometry, we construct the topological index map and prove that it coincides with the analytic index map.     

Strong solutions to stochastic wave equations with values in Riemannian manifolds

Let M be a d-dimensional compact Riemannian manifold. We prove existence of a unique global strong solution of the stochastic wave equation , where Y is a C¹-smooth transformation and W is a spatially homogeneous Wiener process on whose spectral measure has finite moments up to order 2.     

On Fraïssé’s conjecture for linear orders of finite Hausdorff rank

We prove that the maximal order type of the wqo of linear orders of finite Hausdorff rank under embeddability is φ₂(0), the first fixed point of the ε-function. We then show that Fraïssé’s conjecture restricted to linear orders of finite Hausdorff rank is provable in  +“φ₂(0) is well-ordered” and, over , implies  +“φ₂(0) is well-ordered”.     

Levels of multi-continued fraction expansion of multi-formal Laurent series

The multi-continued fraction expansion of a multi-formal Laurent series is a sequence pair consisting of an index sequence and a multi-polynomial sequence . We denote the set of the different indices appearing infinitely many times in by H_∞, the set of the different indices appearing in by H₊, and call |H_∞| and |H₊| the first and second levels of , respectively. In this paper, it is shown how the dimension and basis of the linear space over F(z) (F) spanned by the components of are determined by H_∞ (H₊), and how the components are linearly dependent on the mentioned basis.     

Positive solutions of singular p-Laplacian dynamic equations with sign changing nonlinearity

Let be a time scale such that . By the Schauder fixed-point theorem and the upper and lower solution method, we present some existence criteria of the positive solution of m-point singular p-Laplacian dynamic equation with boundary conditions , where φ_p(s)=|s|^p-2s with p>1, is continuous for i=1,2,…,m-1 and nonincreasing if . The nonlinear term may be singular in its dependent variable and is allowed to change sign. Our results are new even for the corresponding differential and difference equations . As an application, an example is given to illustrate our result.     

Some rigidity results for non-commutative Bernoulli shifts

We introduce the outer conjugacy invariants , for cocycle actions σ of discrete groups G on type II₁ factors N, as the set of real numbers t>0 for which the amplification σ^t of σ can be perturbed to an action, respectively, to a weakly mixing action. We calculate explicitly and the fundamental group of σ, , in the case G has infinite normal subgroups with the relative property (T) (e.g., when G itself has the property (T) of Kazhdan) and σ is an action of G on the hyperfinite II₁ factor by Connes–Størmer Bernoulli shifts of weights {t_i}_i. Thus, and coincide with the multiplicative subgroup S of generated by the ratios {t_i/t_j}_i,j, while if S={1} (i.e. when all weights are equal), and otherwise. In fact, we calculate all the “1-cohomology picture” of σ^t,t>0, and classify the actions (σ,G) in terms of their weights {t_i}_i. In particular, we show that any 1-cocycle for (σ,G) vanishes, modulo scalars, and that two such actions are cocycle conjugate iff they are conjugate. Also, any cocycle action obtained by reducing a Bernoulli action of a group G as above on to the algebra pNp, for p a projection in N, p≠0,1, cannot be perturbed to a genuine action.     

Spaces of holomorphic functions in regular domains

Let Ω be a regular domain in the complex plane , . Let be the linear space over of the holomorphic functions f in Ω such that f⁽ⁿ⁾ is bounded in Ω and is continuously extendible to the closure of Ω, n=0,1,2,… . We endow , in a natural manner, with a structure of Fréchet space and we obtain dense subspaces F of , with good topological linear properties, also satisfying that each function f of F, distinct from zero, does not extend holomorphically outside Ω.     

The simplicity of certain groups of subanalytic diffeomorphisms

Let M be a connected real analytic manifold. We denote by , 1r<∞, the group of subanalytic C^r diffeomorphisms of M which are isotopic to the identity via a compactly supported subanalytic C^r isotopy. We show that satisfies Epstein's axioms. This implies that the commutator subgroup of is simple. Moreover, we show that the commutator subgroup of is dense in . As a corollary we obtain that is topologically simple.