Solution of a nonsymmetric algebraic Riccati equation from a two-dimensional transport model

For the steady-state solution of an integral-differential equation from a two-dimensional model in transport theory, we shall derive and study a nonsymmetric algebraic Riccati equation B^--XF^--F⁺X+XB⁺X=0, where , and with a nonnegative matrix P, positive diagonal matrices D^±, and nonnegative parameters f, and . We prove the existence of the minimal nonnegative solution X^∗ under the physically reasonable assumption , and study its numerical computation by fixed-point iteration, Newton’s method and doubling. We shall also study several special cases; e.g. when and P is low-ranked, then is low-ranked and can be computed using more efficient iterative processes in U and V. Numerical examples will be given to illustrate our theoretical results.     

Preservers of spectral radius, numerical radius, or spectral norm of the sum on nonnegative matrices

Let be the set of entrywise nonnegative n×n matrices. Denote by r(A) the spectral radius (Perron root) of . Characterization is obtained for maps such that r(f(A)+f(B))=r(A+B) for all . In particular, it is shown that such a map has the form

     

On the classification of non-normal cubic hypersurfaces

In this article we study the classification of non-normal cubic hypersurfaces over an algebraically closed field K of arbitrary characteristic. Let be an irreducible non-normal cubic hypersurface. If r≥5, then X is necessarily a cone (Remark 2.3). In view of this fact it suffices to classify irreducible non-normal cubic hypersurfaces for r≤4. We prove that there are precisely five non-normal cubic equations (resp. six non-normal cubic equations) when (resp. when is either 2 or 3), up to projective equivalence. Also we describe the normalization of X in detail.     

Quadratic prediction problems in multivariate linear models

Linear and quadratic prediction problems in finite populations have become of great interest to many authors recently. In the present paper, we mainly aim to extend the problem of quadratic prediction from a general linear model, of form , to a multivariate linear model, denoted by with . Firstly, the optimal invariant quadratic unbiased (OIQU) predictor and the optimal invariant quadratic (potentially) biased (OIQB) predictor of for any particular symmetric nonnegative definite matrix satisfying are derived. Secondly, we consider predicting and . The corresponding restricted OIQU predictor and restricted OIQB predictor for them are given. In addition, we also offer four concluding remarks. One concerns the generalization of predicting and , and the others are concerned with three possible extensions from multivariate linear models to growth curve models, to restricted multivariate linear models, and to matrix elliptical linear models.     

Homological finiteness properties of monoids, their ideals and maximal subgroups

We consider the general question of how the homological finiteness property left-(resp. right-) holding in a monoid influences, and conversely depends on, the property holding in the substructures of that monoid. This is done by giving methods for constructing free resolutions of substructures from free resolutions of their containing monoids, and vice versa. In particular, we show that left- is inherited by the maximal subgroups in a completely simple minimal ideal, in the case that the minimal ideal has finitely many left ideals. For completely simple semigroups, we prove the converse, and as a corollary, show that a completely simple semigroup is of type left- and right- if and only if it has finitely many left and right ideals and all of its maximal subgroups are of type . Also, given an ideal of a monoid, we show that if the ideal has a two-sided identity element then the containing monoid is of type left- if and only if the ideal is of type left-. Applying this result, we obtain necessary and sufficient conditions for a Clifford monoid (and more generally a strong semilattice of monoids) to be of type left-. Examples are provided showing that for each of the results all of the hypotheses are necessary.     

Singular-value-like decomposition for complex matrix triples

The classical singular value decomposition for a matrix A∈C^m×n is a canonical form for A that also displays the eigenvalues of the Hermitian matrices AA^∗ and A^∗A. In this paper, we develop a corresponding decomposition for A that provides the Jordan canonical forms for the complex symmetric matrices and . More generally, we consider the matrix triple , where are invertible and either complex symmetric or complex skew-symmetric, and we provide a canonical form under transformations of the form , where X,Y are nonsingular.     

On the Wiener integral with respect to a sub-fractional Brownian motion on an interval

The domain of the Wiener integral with respect to a sub-fractional Brownian motion , , k≠0, is characterized. The set is a Hilbert space which contains the class of elementary functions as a dense subset. If , any element of is a function and if , the domain is a space of distributions.     

On the relation between cluster and classical tilting

Let be a triangulated category with a cluster tilting subcategory U. The quotient category is abelian; suppose that it has finite global dimension.We show that projection from to sends cluster tilting subcategories of to support tilting subcategories of , and that, in turn, support tilting subcategories of can be lifted uniquely to weak cluster tilting subcategories of .     

Higher Kurtz randomness

A real x is -Kurtz random (-Kurtz random) if it is in no closed null set ( set). We show that there is a cone of -Kurtz random hyperdegrees. We characterize lowness for -Kurtz randomness as being -dominated and -semi-traceable.     

Carleson measure problems for parabolic Bergman spaces and homogeneous Sobolev spaces

Let be the space of solutions to the parabolic equation having finite norm. We characterize nonnegative Radon measures μ on having the property , 1≤p≤q<∞, whenever . Meanwhile, denoting by v(t,x) the solution of the above equation with Cauchy data v₀(x), we characterize nonnegative Radon measures μ on satisfying , β∈(0,n), p∈[1,n/β], q∈(0,∞). Moreover, we obtain the decay of v(t,x), an isocapacitary inequality and a trace inequality.     

New applications of Besov-type and Triebel-Lizorkin-type spaces

In this paper, the authors prove that Besov-Morrey spaces are proper subspaces of Besov-type spaces and that Triebel-Lizorkin-Morrey spaces are special cases of Triebel-Lizorkin-type spaces . The authors also establish an equivalent characterization of when τ∈[0,1/p). These Besov-type spaces and Triebel-Lizorkin-type spaces were recently introduced to connect Besov spaces and Triebel-Lizorkin spaces with Q spaces. Moreover, for the spaces and , the authors investigate their trace properties and the boundedness of the pseudo-differential operators with homogeneous symbols in these spaces, which generalize the corresponding classical results of Jawerth and Grafakos-Torres by taking τ=0.     

The doubles of a numerical semigroup

Let S be a numerical semigroup and let p be a positive integer. Then the quotient is also a numerical semigroup. When p=2 we say that is half of the numerical semigroup S. Dually, we say that S is a double of the numerical semigroup . We characterize the set of all doubles of a numerical semigroup. We also give some alternative proofs and improvements for some results that we find in previous papers.     

Exact rates in log law for positively associated random variables

Let be a strictly stationary sequence of positively associated random variables with mean zero and finite variance. Set , Mn=maxk?n|Sk|, n?1. Suppose . In this paper, we study the exact convergence rates of a kind of weighted infinite series of , and as ε↘0, respectively.     

Liouville theorems for quasi-harmonic functions

Let N be a compact Riemannian manifold. A self-similar solution for the heat flow is a harmonic map from to N (n≥3), which was also called a quasi-harmonic sphere (cf. Lin and Wang (1999) [1]). (Here is the Euclidean metric in .) It arises from the blow-up analysis of the heat flow at a singular point. When and without the energy constraint, we call this a quasi-harmonic function. In this paper, we prove that there is neither a nonconstant positive quasi-harmonic function nor a nonconstant quasi-harmonic function. However, for all 1≤p≤n/(n−2), there exists a nonconstant quasi-harmonic function in .     

How to play the Majority game with a liar

The Majority game is played by a questioner () and an answerer (). holds n elements, each of which can be labeled as 0 or 1. is trying to identify some element holds as having the Majority label or, in the case of a tie, claim there is none. To do this asks questions comparing whether two elements have the same or different label. ’s goal is to ask as few questions as possible while ’s goal is to delay as much as possible. Let q^∗ denote the minimal number of questions needed for to identify a Majority element regardless of ’s answers.In this paper we investigate upper and lower bounds for q^∗ in a variation of the Majority game, where is allowed to lie up to t times. We consider two versions of the game, the adaptive (where questions are asked sequentially) and the oblivious (where questions are asked in one batch).     

Asymptotic behavior of coupled dynamical systems with multiscale aspects

We study the asymptotic behavior, as time variable t goes to +∞, of nonautonomous dynamical systems involving multiscale features. As a benchmark case, given H a general Hilbert space, and two closed convex functions, and β a function of t which tends to +∞ as t goes to +∞, we consider the differential inclusion

     

A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees

We introduce a property of forcing notions, called the anti-, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property .In this paper, we investigate the property . For example, we show that a forcing notion with the property does not add random reals. We prove that it is consistent that every forcing notion with the property has precaliber ℵ₁ and for forcing notions with the property fails. This negatively answers a part of one of the classical problems about implications between fragments of .