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...     

Silver(I) Complexes of Two Flexible Bis-phospholane Ligands: Metallamacrocycles,Polymeric Chains,and Metallacryptands

In a 2:2 reaction with silver(I) chloride or bromide, 1,5-bis(1-phospholano)pentane ( 1a ) afforded frame-like macrocyclic structures, with intra- ( 2 , Cl) or intermolecular ( 3 , Br) halido bridges. In contrast, 1,7-bis(1-phospholano)heptane ( 1b ) formed coordination polymers 4a (Cl) and 4b (Br) with bridging bis-phospholane and halido ligands. A unique paddle wheel-type metallacryptand structure 5 was obtained from 1a and silver(I) bromide in a 2:3 reaction (M:L). All complexes were fully characterized by NMR, IR spectroscopy, mass spectrometry, and X-ray crystallography.     

Dynamics of Bacteriorhodopsin in the Dark-Adapted State from Solution Nuclear Magnetic Resonance Spectroscopy

To achieve efficient proton pumping in the light-driven proton pump bacteriorhodopsin (bR), the protein must be tightly coupled to the retinal to rapidly convert retinal isomerization into protein structural rearrangements. Methyl group dynamics of bR embedded in lipid nanodiscs were determined in the dark-adapted state, and were found to be mostly well ordered at the cytosolic side. Methyl groups in the M145A mutant of bR, which displays only 10 % residual proton pumping activity, are less well ordered, suggesting a link between side-chain dynamics on the cytosolic side of the bR cavity and proton pumping activity. In addition, slow conformational exchange, attributed to low frequency motions of aromatic rings, was indirectly observed for residues on the extracellular side of the bR cavity. This may be related to reorganization of the water network. These observations provide a detailed picture of previously undescribed equilibrium dynamics on different time scales for ground-state bR.     

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...