Model averaging for linear models with responses missing at random

Annals of the Institute of Statistical Mathematics - In this paper, a model averaging approach is developed for the linear regression models with response missing at random. It is shown that the...     

ON THE EXISTENCE WITH EXPONENTIAL DECAY AND THE BLOW-UP OF SOLUTIONS FOR COUPLED SYSTEMS OF SEMI-LINEAR CORNER-DEGENERATE PARABOLIC EQUATIONS WITH SINGULAR POTENTIALS

In this article,we study the initial boundary value problem of coupled semi-linear degenerate parabolic equations with a singular potential term on manifolds with corner singularities.Firstly,we introduce the corner type weighted p-Sobolev spaces and the weighted corner type Sobolev inequality,the Poincare′inequality,and the Hardy inequality.Then,by using the potential well method and the inequality mentioned above,we obtain an existence theorem of global solutions with exponential decay and show the blow-up in finite time of solutions for both cases with low initial energy and critical initial energy.Significantly,the relation between the above two phenomena is derived as a sharp condition.Moreover,we show that the global existence also holds for the case of a potential well family.     

Exponential Stability for Time-changed Stochastic Differential Equations

Acta Mathematicae Applicatae Sinica, English Series - So far there have been few results presented on the exponential stability for time-changed stochastic differential equations. The main aim of...     

A Class of Accelerated Subspace Minimization Conjugate Gradient Methods

Journal of Optimization Theory and Applications - The subspace minimization conjugate gradient methods based on Barzilai–Borwein method (SMCG_BB) and regularization model (SMCG_PR), which...     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

n-APR tilting and $$\tau $$ τ -mutations

Journal of Algebraic Combinatorics - APR tilts for path algebra kQ can be realized as the mutation of the quiver Q in $${\mathbb Z}Q$$ with respect to the translation. In this paper, we show that...     

A Note on Quantum Bell Nonlocality and Quantum Entanglement for High Dimensional Quantum Systems

We study the Bell nonlocality of high dimensional quantum systems based on quantum entanglement. A quantitative relationship between the maximal expectation value B of Bell operators and the quantum entanglement concurrence C is obtained for even dimension pure states, with the upper and lower bounds of B governed by C.

     

On U(n)-invariant strongly convex complex Finsler metrics

Science China Mathematics - In this paper, we obtain a necessary and sufficient condition for a U(n)-invariant complex Finsler metric F on domains in ?n to be strongly convex, which also...