Passive Systems with a Normal Main Operator and Quasi-selfadjoint Systems

Passive systems with and as an input and output space and as a state space are considered in the case that the main operator on the state space is normal. Basic properties are given and a general unitary similarity result involving some spectral theoretic conditions on the main operator is established. A passive system with is said to be quasi-selfadjoint if ran . The subclass of the Schur class is the class formed by all transfer functions of quasi-selfadjoint passive systems. The subclass is characterized and minimal passive quasi-selfadjoint realizations are studied. The connection between the transfer function belonging to the subclass and the Q-function of T is given. Received: December 16, 2007., Accepted: March 4, 2008.     

The Schur–Potapov Algorithm for Sequences of Complex p × q Matrices. I

The main theme of this paper is to characterize distinguished subclasses of the matricial Schur class in terms of Taylor coefficients. Starting point of our investigations is the observation that the Taylor coefficient sequences of functions from are exactly the infinite p  ×  q Schur sequences. We draw our attention mainly to the subclass of which consists of all p ×  q Schur functions for which the corresponding Taylor coefficient sequences are nondegenerate p  ×  q Schur sequences. Using an appropriate adaptation of the Schur–Potapov algorithm for functions belonging to to infinite sequences of complex p  ×  q matrices we obtain an one-to-one correspondence between infinite nondegenerate p  ×  q Schur sequences and the set of all infinite sequences (E_j)_j=0^∞ of strictly contractive complex p  ×  q matrices. Taking into account the construction of this gives us an one-to-one correspondence between and the set of all infinite sequences (E_j)_j=0^∞ of strictly contractive complex p  ×  q matrices. Hereby, (E_j)_{j =0}^∞ is called the sequence of Schur–Potapov parameters (shortly SP-parameters) of f. Communicated by Daniel Alpay. Submitted: August 17, 2006; Accepted: September 13, 2006     

On the Root Functions of General Elliptic Boundary Value Problems

We consider a boundary value problem for an elliptic differential operator of order 2m in a domain . The boundary of is smooth outside a smooth manifold Y of dimension 0 ≤ q < n − 1, and bears edge type singularities along Y . The Lopatinskii condition is assumed to be fulfilled on the smooth part of . The corresponding spaces are weighted Sobolev spaces , and this allows one to define ellipticity of weight γ for the problem. The resolvent of the problem is assumed to possess rays of minimal growth. The main result says that if there are rays of minimal growth with angles between neighbouring rays not exceeding π(γ + 2m)/n, then the root functions of the problem are complete in . In the case of second order elliptic equations the results remain true for all domains with Lipschitz boundary. Communicated by Michael Shapiro. Submitted: May 24, 2006; Accepted: June 15, 2006     

Optimal Decompositions of Translations of L 2-Functions

In this paper we offer a computational approach to the spectral function for a finite family of commuting operators, and give applications. Motivated by questions in wavelets and in signal processing, we study a problem about spectral concentration of integral translations of functions in the Hilbert space . Our approach applies more generally to families of n arbitrary commuting unitary operators in a complex Hilbert space , or equivalent the spectral theory of a unitary representation U of the rank-n lattice in . Starting with a non-zero vector , we look for relations among the vectors in the cyclic subspace in generated by ψ. Since these vectors involve infinite “linear combinations,” the problem arises of giving geometric characterizations of these non-trivial linear relations. A special case of the problem arose initially in work of Kolmogorov under the name L ²-independence. This refers to infinite linear combinations of integral translates of a fixed function with l ²-coefficients. While we were motivated by the study of translation operators arising in wavelet and frame theory, we stress that our present results are general; our theorems are about spectral densities for general unitary operators, and for stochastic integrals. Work supported in part by the U.S. National Science Foundation.     

On the Intertwining of \partial{\mathcal{D}}-Isometries

Let be a strictly pseudoconvex bounded domain in with C ² boundary . If a subnormal m-tuple T of Hilbert space operators has the spectral measure of its minimal normal extension N supported on , then T is referred to as a -isometry. Using some non-trivial approximation theorems in the theory of several complex variables, we establish a commutant lifting theorem for those -isometries whose (joint) Taylor spectra are contained in a special superdomain Ω of . Further, we provide a function-theoretic characterization of those subnormal tuples whose Taylor spectra are contained in Ω and that are quasisimilar to a certain (fixed) -isometry T (of which the multiplication tuple on the Hardy space of the unit ball in is a rather special example). Submitted: September 9, 2007. Revised: October 10, 2007. Accepted: October 24, 2007.     

Ratios of Norms for Polynomials and Connected n-width Problems

Let be a bounded simply connected domain with boundary Γ and let be a regular compact set with connected complement. In this paper we investigate asymptotics of the extremal constants:

Stable Ranks of Banach Algebras of Operator-Valued Analytic Functions

Let E be a separable infinite-dimensional Hilbert space, and let denote the algebra of all functions that are holomorphic. If is a subalgebra of , then using an algebraic result of Corach and Larotonda, we derive that under some conditions, the Bass stable rank of is infinite. In particular, we deduce that the Bass (and hence topological stable ranks) of the Hardy algebra , the disk algebra and the Wiener algebra are all infinite. Submitted: October 10, 2007., Revised: January 11, 2008., Accepted: January 12, 2007.     

The Schur–Potapov Algorithm for Sequences of Complex p × q Matrices. II

This is the second and final part of a paper which appeared in a preceding issue of this journal. Herein the methods developed in the earlier sections of this paper are used first to develop a number of applications. A central theme of this paper is to study the interplay between functions from and their sequence of SP-parameters. In particular, we describe how certain summability properties of the SP-parameters are expressed in terms of the associated functions from . As a byproduct of our investigations on the interplay between the SP-algorithm for p × q Schur functions and the SP-algorithm for sequences of complex p × q matrices we present a new approach to the nondegenerate matricial Schur problem. Our method complies with the basic strategy in Schur’s classical paper [138] because it does not make use of any tools outside of the theory of Schur functions and Schur sequences. A closer look at the behaviour of distinguished subclasses of with respect to the SP-algorithm enables us to handle the corresponding versions of the matricial Schur problem restricted to these subclasses. Submitted: August 17, 2006. Accepted: September 13, 2006.     

On H. Weyl and J. Steiner Polynomials

The paper deals with root location problems for two classes of univariate polynomials both of geometric origin. The first class discussed, the class of Steiner polynomial, consists of polynomials, each associated with a compact convex set . A polynomial of this class describes the volume of the set V + tB ⁿ as a function of t, where t is a positive number and B ⁿ denotes the unit ball in . The second class, the class of Weyl polynomials, consists of polynomials, each associated with a Riemannian manifold , where is isometrically embedded with positive codimension in . A Weyl polynomial describes the volume of a tubular neighborhood of its associated as a function of the tube’s radius. These polynomials are calculated explicitly in a number of natural examples such as balls, cubes, squeezed cylinders. Furthermore, we examine how the above mentioned polynomials are related to one another and how they depend on the standard embedding of into for m > n. We find that in some cases the real part of any Steiner polynomial root will be negative. In certain other cases, a Steiner polynomial will have only real negative roots. In all of this cases, it can be shown that all of a Weyl polynomial’s roots are simple and, furthermore, that they lie on the imaginary axis. At the same time, in certain cases the above pattern does not hold.

Erasmus Darwin, the nephew of the great scientist Charles Darwin, believed that sometimes one should perform the most unusual experiments. They usually yield no results but when they do . . . . So once he played trumpet in front of tulips for the whole day. The experiment yielded no results.

Submitted: March 5, 2007., Revised: February 1, 2008., Accepted: February 2, 2008.     

C*-Algebras of Singular Integral Operators with Shifts Having the Same Nonempty Set of Fixed Points

The C*-subalgebra of generated by all multiplication operators by slowly oscillating and piecewise continuous functions, by the Cauchy singular integral operator and by the range of a unitary representation of an amenable group of diffeomorphisms with any nonempty set of common fixed points is studied. A symbol calculus for the C*-algebra and a Fredholm criterion for its elements are obtained. For the C*-algebra composed by all functional operators in , an invertibility criterion for its elements is also established. Both the C*-algebras and are investigated by using a generalization of the local-trajectory method for C*-algebras associated with C*-dynamical systems which is based on the notion of spectral measure. Submitted: April 30, 2007. Accepted: November 5, 2007.     

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.     

Gray codes from antimatroids

We show three main results concerning Hamiltonicity of graphs derived from antimatroids. These results provide Gray codes for the feasible sets and basic words of antimatroids.For antimatroid (E, ), letJ( ) denote the graph whose vertices are the sets of , where two vertices are adjacent if the corresponding sets differ by one element. DefineJ( ;k) to be the subgraph ofJ( )² induced by the sets in with exactlyk elements. Both graphsJ( ) andJ( ;k) are connected, and the former is bipartite.We show that there is a Hamiltonian cycle inJ( )×K ₂. As a consequence, the ideals of any poset % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWefv3ySLgznf% gDOfdaryqr1ngBPrginfgDObYtUvgaiuaacqWFpepuaaa!414C!\[\mathcal{P}\] may be listed in such a way that successive ideals differ by at most two elements. We also show thatJ( ;k) has a Hamilton path if (E, ) is the poset antimatroid of a series-parallel poset.Similarly, we show thatG( )×K ₂ is Hamiltonian, whereG( ) is the basic word graph of a language antimatroid (E, ). This result was known previously for poset antimatroids.Research supported in part by NSERC.Research supported in part by the Natural Sciences and Engineering Research Council of Canada under Grant A3379.     

Polar Graphs and Corresponding Involution Sets, Loops and Steiner Triple Systems

A 1-factorization (or parallelism) of the complete graph with loops is called polar if each 1-factor (parallel class) contains exactly one loop and for any three distinct vertices x₁, x₂, x₃, if {x₁} and {x₂, x₃} belong to a 1-factor then the same holds for any permutation of the set {1, 2, 3}. To a polar graph there corresponds a polar involution set , an idempotent totally symmetric quasigroup (P, *), a commutative, weak inverse property loop (P, + ) of exponent 3 and a Steiner triple system . We have: satisfies the trapezium axiom is self-distributive ⇔ (P, + ) is a Moufang loop is an affine triple system; and: satisfies the quadrangle axiom is a group is an affine space.     

Tolokonnikov’s Lemma for Real H ∞ and the Real Disc Algebra

We prove Tolokonnikov’s Lemma and the inner-outer factorization for the real Hardy space , the space of bounded holomorphic (possibly operator-valued) functions on the unit disc all of whose matrix-entries (with respect to fixed orthonormal bases) are functions having real Fourier coefficients, or equivalently, each matrix entry f satisfies for all z ∈ . Tolokonnikov’s Lemma for means that if f is left-invertible, then f can be completed to an isomorphism; that is, there exists an F, invertible in , such that F = [ f f _c ] for some f _c in . In control theory, Tolokonnikov’s Lemma implies that if a function has a right coprime factorization over , then it has a doubly coprime factorization in . We prove the lemma for the real disc algebra as well. In particular, and are Hermite rings. The work of the first author was supported by Magnus Ehrnrooth Foundation. Received: December 5, 2006. Revised: February 4, 2007.     

Weighted Non-Trivial Multiply Intersecting Families

Let n and r be positive integers. Suppose that a family satisfies F₁∩···∩F_r ≠∅ for all F₁, . . .,F_r ∈ and . We prove that there exists ε=ε(r) >0 such that holds for 1/2≤w≤1/2+ε if r≥13.     

The Fine Intersection Problem for Steiner Triple Systems

The intersection of two Steiner triple systems and is the set . The fine intersection problem for Steiner triple systems is to determine for each v, the set I(v), consisting of all possible pairs (m, n) such that there exist two Steiner triple systems of order v whose intersection satisfies and . We show that for v ≡ 1 or 3 (mod 6), |I(v)| = Θ(v ³), where previous results only imply that |I(v)| = Ω(v ²). Received: January 23, 2006. Final Version received: September 2, 2006     

Parametrization of Contractive Block Operator Matrices and Passive Discrete-Time Systems

Passive linear systems τ = have their transfer function in the Schur class S . Using a parametrization of contractive block operators the transfer function is connected to the Sz.-Nagy–Foiaş characteristic function of the contraction A. This gives a new aspect and some explicit formulas for studying the interplay between the system τ and the functions and . The method leads to some new results for linear passive discrete-time systems. Also new proofs for some known facts in the theory of these systems are obtained. Dedicated to Eduard Tsekanovskiĭ on the occasion of his seventieth birthday This work was supported by the Research Institute for Technology at the University of Vaasa. The first author was also supported by the Academy of Finland (projects 212146, 117617) and the Dutch Organization for Scientific Research N.W.O. (B 61-553). Received: December 22, 2006. Revised: February 6, 2007.     

Self-adjoint Analytic Operator Functions: Local Spectral Function and Inner Linearization

In this note we continue the study of spectral properties of a self-adjoint analytic operator function A(z) that was started in [5]. It is shown that if A(z) satisfies the Virozub–Matsaev condition on some interval Δ₀ and is boundedly invertible in the endpoints of Δ₀, then the ‘embedding’ of the original Hilbert space into the Hilbert space , where the linearization of A(z) acts, is in fact an isomorphism between a subspace of and . As a consequence, properties of the local spectral function of A(z) on Δ₀ and a so-called inner linearization of the operator function A(z) in the subspace are established.      

Vectorspacelike representation of absolute planes

The pointset E of an absolute plane can be provided with a binary operation "+" such that (E, +) becomes a loop and for each a E \ {o} the line [a] through o and a is a commutative subgroup of (E, +). Two elements a, b E \ {o} are called independent if [a] ∩ [b] = {o} and the absolute plane is called vectorspacelike if for any two independent elements we have E = [a] + [b] := {x + y | x [a], y [b]}. If is singular then (E, +) is a commutative group and is vectorspacelike iff is Euclidean. If is a hyperbolic plane then is vectorspacelike and in the continous case if a, b are independent, each point p has a unique representation as a quasilinear combination p = α · a + μ · b where α · a [a]and β · b [b] are points, α, β real numbers such that λ (o, λ · a) = |λ|· λ (o, a) and λ (o, μ · b) = |μ|. λ(o, b) and λ is the distance function. This work was partially supported by the Research Project of MIUR (Italian Ministery of Education and University) “Geometria combinatoria e sue applicazioni” and by the research group GNSAGA of INDAM. Dedicated to Walter Benz on the occasion of his 75 ^th birthday, in friendship