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.     

Dynamical analysis,circuit realization,and application in pseudorandom number generators of a fractional-order laser chaotic system

A new five-dimensional fractional-order laser chaotic system (FOLCS) is constructed by incorporating complex variables and fractional calculus into a Lorentz-Haken-type laser system. Dynamical behavior of the system, circuit realization and application in pseudorandom number generators are studied. Many types of multi-stable states are discovered in the system. Interestingly, there are two types of state transition phenomena in the system, one is the chaotic state degenerates to a periodical state, and the other is the intermittent chaotic oscillation. In addition, the complexity of the system when two parameters change simultaneously is measured by the spectral entropy algorithm. Moreover, a digital circuit is design and the chaotic oscillation behaviors of the system are verified on this circuit. Finally, a pseudo-random sequence generator is designed using the FOLCS, and the statistical characteristics of the generated pseudo-random sequence are tested with the NIST-800-22. This study enriches the research on the dynamics and applications of FOLCS.     

Generalized P(N)-graded Lie superalgebras

We generalize the P(N)-graded Lie superalgebras of Martinez-Zelmanov. This generalization is not so restrictive but suffcient enough so that we are able to have a classification for this generalized P(N)-graded Lie superalgebras. Our result is that the generalized P(N)-graded Lie super-algebra L is centrally isogenous to a matrix Lie superalgebra coordinated by an associative superalgebra with a super-involution. Moreover, L is P(N)-graded if and only if the coordinate algebra R is commutative and the super-involution is trivial. This recovers Martinez-Zelmanov's theorem for type P(N). We also obtain a generalization of Kac's coordinatization via Tits-Kantor-Koecher construction. Actually, the motivation of this generalization comes from the Fermionic-Bosonic module construction.     

Stabilization to a positive equilibrium for some reaction–diffusion systems

The aim of this paper is to study the asymptotic behavior of solutions for some reaction–diffusion systems in biology. First, we establish a Liouville type theorem for entire solutions of these reaction–diffusion systems. Based on this theorem, we derive the stabilization of the solutions of the reaction–diffusion system to the unique positive constant state, under the condition that this positive constant state is globally stable in the corresponding kinetic systems. Two specific examples about spreading phenomena from ecology and epidemiology are given to illustrate the application of this theory.     

Topical application of zein-silk sericin nanoparticles loaded with curcumin for improved therapy of dermatitis

Atopic dermatitis is characterized by leukocyte migration into the skin dermis and typically driven by excessive chemokine production at the site of inflammation. Conventional topical formulations such as gels, creams, and ointments are insufficient for this treatment because of low penetration of drug molecules into the targeted skin tissues. Herein, using a simple, green, sustainable strategy, we have developed novel primary zein nanoparticles embedded in curcumin (Cur) and coated with silk sericin (ZHSCs) for the topical delivery of Cur to penetrate into the dermis and exercise anti-dermatitis effects on the lesion with minimal side-effects. Transdermal delivery experiments and porcine skin fluorescence imaging indicated that ZHSCs facilitate the penetration of Cur across the epidermis layer of skin to reach deep-seated sites. Notably, ZHSCs = 1:0.25 (zein-to-silk sericin mass ratios of 1:0.25) markedly elevated the skin permeability and cumulative turnover of Cur transferred, which were provided a greater than a 3.8-fold increase relative to free Cur. The special nanoparticles of ZHS = 1:0.25 possessed the deepest localization depth and experience a transition of the particle structure and core-shell separation after penetrating into the dermis of skin. In a cell model of dermatitis induced by tumor necrosis factor α/interferon γ co-stimulation, compared with free Cur, Cur-loaded ZHS nanoparticles down-regulated the generation of inflammatory cytokines and chemokines in keratinocytes through suppression of the nuclear translocation of NF-κBp65 and hence exerted an anti-dermatitis effect. This strategy may provide new avenues and direction for the demanding issues of valid topical delivery systems.