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.     

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 .     

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.     

Complete solutions to the Oberwolfach problem for an infinite set of orders

Let n3 and let F be a 2-regular graph of order n. The Oberwolfach problem OP(F) asks for a 2-factorisation of K_n if n is odd, or of K_n−I if n is even, in which each 2-factor is isomorphic to F. We show that there is an infinite set of primes congruent to such that OP(F) has a solution for any 2-regular graph F of order . We also show that for each of the infinitely many with prime, OP(F) has a solution for any 2-regular graph F of order n.     

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.     

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.     

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 .     

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 .     

Relative asymptotic of multiple orthogonal polynomials for Nikishin systems

We prove the relative asymptotic behavior for the ratio of two sequences of multiple orthogonal polynomials with respect to the Nikishin systems of measures. The first Nikishin system is such that for each k, σ_k has a constant sign on its compact support consisting of an interval , on which almost everywhere, and a discrete set without accumulation points in . If denotes the smallest interval containing , we assume that Δ_k∩Δ_k+1=0/, k=1,…,m−1. The second Nikishin system is a perturbation of the first by means of rational functions r_k, k=1,…,m, whose zeros and poles lie in .     

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 .     

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.     

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.     

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 .     

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.     

On the best constants in noncommutative Khintchine-type inequalities

We obtain new proofs with improved constants of the Khintchine-type inequality with matrix coefficients in two cases. The first case is the Pisier and Lust-Piquard noncommutative Khintchine inequality for p=1, where we obtain the sharp lower bound of in the complex Gaussian case and for the sequence of functions . The second case is Junge's recent Khintchine-type inequality for subspaces of the operator space RC, which he used to construct a cb-embedding of the operator Hilbert space OH into the predual of a hyperfinite factor. Also in this case, we obtain a sharp lower bound of . As a consequence, it follows that any subspace of a quotient of (RC)^* is cb-isomorphic to a subspace of the predual of the hyperfinite factor of type III₁, with cb-isomorphism constant. In particular, the operator Hilbert space OH has this property.     

Sur le groupe d'automorphismes des géométries paraboliques de rang 1

The aim of this article is to prove the following result, which generalizes the Ferrand–Obata theorem, concerning the conformal group of a Riemannian manifold, and the Schoen–Webster theorem about the automorphism group of a strictly pseudo-convex CR structure: let M be a connected manifold endowed with a regular Cartan geometry, modelled on the boundary of the hyperbolic space of dimension d2 over , being , , or the octonions . If the automorphism group of M does not act properly on M, then M is isomorphic, as a Cartan geometry, to X, or X minus a point.     

On an extremal problem of Selberg II

Let m_p be the minimum of the product under the conditions that and . In our previous paper [J. Kaneko, On an extremal problem of Selberg, J. Approx. Theory 142 (2006) 129–137], we showed that the following estimates hold. provided p255. In this note, we prove that the limit of as p→∞ exists and is expressed by the (unique) solution of some simultaneous transcendental equations. By using this expression we obtain numerically.     

Region of variability for close-to-convex functions-II

For a complex number α with let be the class of analytic functions f in the unit disk with f(0)=0 satisfying in , for some convex univalent function in . For any fixed , and we shall determine the region of variability V(z₀,α,λ) for f(z₀) when f ranges over the class

In the final section we graphically illustrate the region of variability for several sets of parameters z₀ and α.     

n-Star modules over ring extensions

We give conditions under which an n-star module extends to an n-star module, or an n-tilting module, over a ring extension R of A. In case that R is a split extension of A by Q, we obtain that is a 1-tilting module (respectively, a 1-star module) if and only if is a 1-tilting module (respectively, a 1-star module) and generates both and (respectively, generates ), where is an injective cogenerator in the category of all left A-modules. These extend results in [I. Assem, N. Marmaridis, Tilting modules over split-by-nilpotent extensions, Comm. Algebra 26 (1998) 1547–1555; K.R. Fuller, *-Modules over ring extensions, Comm. Algebra 25 (1997) 2839–2860] by removing the restrictions on R and Q.     

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 .