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.     

k-Hankel Gabor Transform and Its Applications to the Theory of Localization Operators

Analysis Mathematica - We introduce and study the k-Hankel Gabor transform. We investigate the localization operators for this transform. In particular, we study their trace class properties and we...     

Secondary Metabolites of Litchi chinensis

Chemistry of Natural Compounds -     

Preparation and Properties of Sr3B2O6:Dy3+, Eu3+ White Phosphors Using the High-Temperature Solid-State Method

Journal of Applied Spectroscopy - Sr3B2O6:Dy3+, Eu3+ single-matrix white-light-emitting materials are prepared using the high-temperature solid-state method. The microstructure, emission spectrum,...     

A study for the selection of NPE-free cocktails for LSC routine measurements

Journal of Radioanalytical and Nuclear Chemistry - In this paper a study for the selection of an NPE (nonylphenol ethoxylates)—free cocktail is discussed in order to be used for our routine...     

Particle-depletion dynamics in axisymmetric thermocapillary flows

The European Physical Journal Special Topics - The removal of suspended particles from the interior of a thermocapillary liquid bridge via a finite-particle-size effect restricting the particle...     

Full counting statistics of transport electrons through a two-level quantum dot with spin–orbit coupling

We study the full counting statistics of transport electrons through a semiconductor two-level quantum dot with Rashba spin–orbit (SO) coupling, which acts as a nonabelian gauge field and thus induces the electron transition between two levels along with the spin flip. By means of the quantum master equation approach, shot noise and skewness are obtained at finite temperature with two-body Coulomb interaction. We particularly demonstrate the crucial effect of SO coupling on the super-Poissonian fluctuation of transport electrons, in terms of which the SO coupling can be probed by the zero-frequency cumulants. While the charge currents are not sensitive to the SO coupling.