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.     

Inverse eigenproblem for -symmetric matrices and their approximation

Let be a nontrivial involution, i.e., R=R⁻¹≠±I_n. We say that is R-symmetric if RGR=G. The set of all -symmetric matrices is denoted by . In this paper, we first give the solvability condition for the following inverse eigenproblem (IEP): given a set of vectors in and a set of complex numbers , find a matrix such that and are, respectively, the eigenvalues and eigenvectors of A. We then consider the following approximation problem: Given an n×n matrix , find such that , where is the solution set of IEP and is the Frobenius norm. We provide an explicit formula for the best approximation solution by means of the canonical correlation decomposition.     

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 .     

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.     

Lattices generated by orbits of subspaces under finite singular pseudo-symplectic groups I

Let be the (2ν+1+l)-dimensional vector space over the finite field . In the paper we assume that is a finite field of characteristic 2, and the singular pseudo-symplectic groups of degree 2ν+1+l over . Let be any orbit of subspaces under . Denote by the set of subspaces which are intersections of subspaces in and the intersection of the empty set of subspaces of is assumed to be . By ordering by ordinary or reverse inclusion, two lattices are obtained. This paper studies the inclusion relations between different lattices, a characterization of subspaces contained in a given lattice , and the characteristic polynomial of .     

Hypercyclic operators failing the Hypercyclicity Criterion on classical Banach spaces

By a recent result of M. De La Rosa and C. Read, there exist hypercyclic Banach space operators which do not satisfy the Hypercyclicity Criterion. In the present paper, we prove that such operators can be constructed on a large class of Banach spaces, including or .     

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.     

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 .     

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.     

Limits of small functors

For a small category enriched over a suitable monoidal category , the free completion of under colimits is the presheaf category . If is large, its free completion under colimits is the -category of small presheaves on , where a presheaf is small if it is a left Kan extension of some presheaf with small domain. We study the existence of limits and of monoidal closed structures on .     

When and how an error yields a Dirichlet form

We consider a random variable Y and approximations Y_n, , defined on the same probability space with values in the same measurable space as Y. We are interested in situations where the approximations Y_n allow to define a Dirichlet form in the space where is the law of Y. Our approach consists in studying both biases and variances. The article attempts to propose a general theoretical framework. It is illustrated by several examples.     

Uniqueness of certain association schemes

We prove the uniqueness of the two association schemes which appear in recent work of Henry Cohn and others in connection with their study of universally optimal spherical codes in Euclidean spaces: one is the class 4 association scheme with 40 vertices in and the other one is the class 3 association scheme with 64 vertices in . We prove the uniqueness mainly by geometric considerations with some computational help.     

Approximation of Sobolev classes by polynomials and ridge functions

Let be the usual Sobolev class of functions on the unit ball in , and be the subclass of all radial functions in . We show that for the classes and , the orders of best approximation by polynomials in coincide. We also obtain exact orders of best approximation in of the classes by ridge functions and, as an immediate consequence, we obtain the same orders in for the usual Sobolev classes .     

Weak and point-wise convergence in for filter convergence

We study those filters on for which weak -convergence of bounded sequences in C(K) is equivalent to point-wise -convergence. We show that it is sufficient to require this property only for C[0,1] and that the filter-analogue of the Rainwater extremal test theorem arises from it. There are ultrafilters which do not have this property and under the continuum hypothesis there are ultrafilters which have it. This implies that the validity of the Lebesgue dominated convergence theorem for -convergence is more restrictive than the property which we study.     

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.     

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.     

Formal extension and quotients of the invariant holonomic system

Let be a semisimple Lie algebra and a Cartan subalgebra of . Fix . Let be the invariant holonomic system (see [R. Hotta, M. Kashiwara, The invariant holonomic system on a semisimple Lie algebra, Invent. Math. 75 (1984) 327–358]). First we investigate its formal extension . In the sequel we calculate the characteristic variety of some simple quotients of and its Fourier transform .     

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 ).     

On ternary Kloosterman sums modulo 12

Let K(a) denote the Kloosterman sum on . It is easy to see that for all . We completely characterize those for which , and . The simplicity of the characterization allows us to count the number of the belonging to each of these three classes. As a byproduct we offer an alternative proof for a new class of quasi-perfect ternary linear codes recently presented by Danev and Dodunekov.     

Inheritance of hyper-duality in imprimitive Bose–Mesner algebras

We prove the following result concerning the inheritance of hyper-duality by block and quotient Bose–Mesner algebras associated with a hyper-dual pair of imprimitive Bose–Mesner algebras. Let and denote Bose–Mesner algebras. Suppose there is a hyper-duality ψ from the subconstituent algebra of with respect to p to the subconstituent algebra of with respect to . Also suppose that is imprimitive with respect to a subset of Hadamard idempotents, so is dual imprimitive with respect to the subset of primitive idempotents, where is the formal duality associated with ψ. Let denote the block Bose–Mesner algebra of on the block containing p, and let denote the quotient Bose–Mesner algebra of with respect to . Then there is a hyper-duality from the subconstituent algebra of with respect to p to the subconstituent algebra of with respect to .