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.     

Application of microcrystalline cellulose as an efficient and cheap sorbent for the extraction of metoprolol from plasma and wastewater before HPLC–MS/MS determination

A dispersive solid-phase extraction method based on a new sorbent has been performed on plasma and wastewater samples to determine metoprolol by high-performance liquid chromatography–tandem mass spectrometry. In this study, the analyte was adsorbed from the samples onto microcrystalline cellulose as a green and efficient sorbent and then eluted for use in the determination step. In the mass spectrometer, the analyte was detected in the positive mode and selectivity of the analysis was increased by sequential mass analysis through multiple reaction monitoring. All of the effective parameters in the extraction of metoprolol from plasma and wastewater were optimized. Under optimal conditions the method was linear in the ranges of 1–1,000 and 0.1–1,000 ng/ml in plasma and wastewater samples, respectively. The detection limits of the method were 0.30 and 0.03 ng/ml in plasma and wastewater samples, respectively. The data showed that the method provides low detection limit, wide linear range, good precision and high extraction recovery. Finally several plasma and wastewater samples were successfully analyzed using the method. The use of a small amount of a green and inexpensive sorbent and a low volume of plasma without the need for further pretreatment steps are the main advantages of the method.     

Perturbative manifolds and the Noether generators of nth-order Poisson equations

A manifold that contains small perturbations will induce a perturbed partial differential equation. The partial differential equation that we select is the Poisson equation – in order to explore the interplay between the geometry of the manifold and the perturbations. Specifically, we show how the problem of symmetry determination, for higher-order perturbations, can be elegantly expressed via geometric conditions.     

Electrochemical reduction of 1-([(4-halophenyl)imino]methyl)-2-naphthols in aprotic media.

The electrochemical reduction of 1-([(4-halophenyl)imino]methyl)-2-naphthols on graphite electrodes was studied using cyclic voltammetry, chronoamperometry, constant-potential coulometry and preparative constant-potential electrolysis techniques. The data revealed that the reduction on graphite was irreversible and followed an EC mechanism. The diffusion coefficients and the number of electrons transferred were determined using the chronoamperometric Cottrell slope and the ultramicro disc Pt-electrode steady-state current. The number of electrons was also determined by bulk electrolysis. The compounds were subjected to constant-potential preparative electrolysis and the electrolysis products were purified and identified by spectroscopic methods. Based on these findings, a mechanism for the electro-reduction process is proposed.     

Selective extraction of iron(III) from aqueous nitrate solution in the presence of cobalt(II), copper(II) and nickel(II) ions using bis(delta2-2-imidazolinyl)-5,5'-dioxime.

The feasibility of using bis(delta2-2-imidazolinyl)-5,5'-dioxime (H2L) for the selective extraction of iron(III) from aqueous solutions was investigated by employing an solvent-extraction technique. The extraction of iron(III) from an aqueous nitrate solution in the presence of metal ions, such as cobalt(II), copper(II) and nickel(II), was carried out using H2L in binary and multicomponent mixtures. Iron(III) extraction has been studied as a function of the pH, equilibrium time and extractant concentration. From the extracted complex species in the organic phase, iron(III) was stripped with 2 M HNO3, and later determined using atomic-absorption spectrometry. The extraction was found to significantly depend on the aqueous solution pH. The extraction of iron(III) with H2L increases with the pH value, reaching a maximum in the zone of pH 2.0, remaining constant between 2 and 3.5 and subsequently decreasing. The quantitative extraction of iron(III) with 5 x 10(-30 M H2L in toluene is observed at pH 2.0. H2L was found to react with iron(III) to form ligand complex having a composition of 1:2 (Fe:H2L).     

Investigation on Ochratoxin A stability using different extraction techniques

The stability of Ochratoxin A during its extraction using different extraction techniques has been evaluated. Microwave-assisted extraction and pressurised liquid extraction, in addition to two other reference methods of extraction, i.e. ultrasound-assisted and magnetic stirring-assisted extraction, were evaluated. The effect of extraction temperature using the cited techniques was checked.The results show that Ochratoxin A can be extracted using microwave-assisted extraction at temperatures up to 150 °C without degradation. Pressurised liquid extraction can be used at temperatures up to 100 °C, for extraction times of less than 30 min. Further, both ultrasound-assisted extraction and magnetic stirring extraction can be applied at temperatures up to 65 °C.High-performance liquid chromatography combined with fluorescence detection using a Chromolith RP-18e column at a flow rate of 5 mL min⁻¹ was used to quantify the Ochratoxin A. The retention time for the Ochratoxin A was 1.3 min. The limits of detection (LOD) and of quantification (LOQ) were 0.03 and 0.10 μg L⁻¹, respectively.     

Erratum: Synthesis and characterization of diorganotin(IV) complexes of Schiff bases with ONO‐type donors and crystal structure of [N‐(2‐hydroxy‐4‐nitrophenyl)‐3‐ethoxysalicylideneiminato]diphenyltin(IV)

The article referenced above was first published online on 30 August 2007 with incorrect pagination; the pagination has now been corrected online and in print. Copyright © 2007 John Wiley & Sons, Ltd.     

Studies on heterocyclic enamines: New syntheses of 4H-pyranes,pyranopyrazoles and pyranopyrimidines

The behaviour of several 2-amino-3-cyano-4H-pyran derivatives toward a variety of nucleophilic reagents is reported.     

一些随机重合点定理

本文引入了一种满足更一般的收缩不等式的多重函数类,并证明了属于该类的可测多重函数对的一些随机重合点定理。