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.     

A Photoluminescent Ag10Cu6 Cluster Stablized by a PNNP Ligand and Phenylacetylides Selectively and Reversibly Senses Ammonia in Air and Water

A photoluminescent bimetallic cluster [Ag₁₀Cu₆(bdppthi)₂(C≡CPh)₁₂(MeOH)₂(H₂O)](ClO₄)₄ ( 1 , bdppthi=N,N’-bis(diphenylphosphanylmethyl)-tetrahydroimidazole} was synthesized from the PNNP type ligand bdppthi generated in-situ. Upon excitation at 365 nm, 1 exhibited strong phosphorescent emission at 630 nm, which was selectively quenched by NH₃ in air or water. The sensing of NH₃ was rapid and recoverable, with detection limits of 53 ppm (v/v) in N₂ and 21 μmol/L (0.36 ppm, w/w) for NH₃ ⋅ H₂O in water. Cluster 1 could potentially serve as a bifunctional chemical sensor for the efficient detection of ammonia in waste-gas and waste-water.     

A volatolomic approach using cerumen as biofluid to diagnose bovine intoxication by Stryphnodendron rotundifolium

An innovative volatolomic approach employs the detection of biomarkers present in cerumen (earwax) to identify cattle intoxication by Stryphnodendron rotundifolium Mart., Fabaceae (popularly known as barbatimão). S. rotundifolium is a poisonous plant with the toxic compound undefined and widely distributed throughout the Brazilian territory. Cerumen samples from cattle of two local Brazilian breeds (‘Curraleiro Pé-Duro’ and ‘Pantaneiro’) were collected during an experimental intoxication protocol and analyzed using headspace (HS)/GC–MS followed by multivariate analysis (genetic algorithm for a partial least squares, cluster analysis, and classification and regression trees). A total of 106 volatile organic metabolites were identified in the cerumen samples of bovines. The intoxication by S. rotundifolium influenced the cerumen volatolomic profile of the bovines throughout the intoxication protocol. In this way, it was possible to detect biomarkers for cattle intoxication. Among the biomarkers, 2-octyldecanol and 9-tetradecen-1-ol were able to discriminate all samples between intoxicated and nonintoxicated bovines. The cattle intoxication diagnosis by S. rotundifolium was accomplished by applying the cerumen analysis using HS/GC–MS, in an easy, accurate, and noninvasive way. Thus, the proposed bioanalytical chromatography protocol is a useful tool in veterinary applications to determine this kind of intoxication.     

Extended Open-Chain Polyenides as Versatile Delocalized Anion Ligands for Metal Chain Clusters

Although small cyclic- and open-chain unsaturated hydrocarbon anions such as cyclopentadienide and open-chain pentadienide are used as the strongly electron-donating auxiliary ligands for metal complexes, more extended π-conjugated unsaturated hydrocarbon anions have rarely been used in coordination chemistry, despite their potential ability to serve as the multiply bridging π-ligands for metal clusters. This work reports isolation of metal chain clusters bearing the multi-dentate, open-chain extended unsaturated hydrocarbon anion ligands. The extended open-chain π-conjugated polyenyl ligands could effectively stabilize oxidized palladium chains, including an unprecedented [Pd₄]⁴⁺ chain.     

Extraction of methyl xanthines and their UHPLC–DAD determination in consumable beverages used in Eastern province of Saudi Arabia

Coffee and tea are the most widely consumed beverages worldwide. However, the consumer may be unaware of the exact amount of methyl xanthine (MX, i.e. caffeine [C], theobromine [TB] and theophylline [TH]) consumed, as most of the products do not list the proper amounts. This may lead to serious risks including cardiovascular, kidney and stimulant effects. The aim of the study was to determine the MX amount in ready-to-use beverages (coffee and tea) collected from various outlets in the city of Al-Khobar, Saudi Arabia. Forty different samples of espresso, black coffee and red tea were collected. A fast, reliable and efficient UHPLC–DAD method was developed and validated for MX determination. Total lipids were extracted and fractionated in order to determine glycolipids, phospholipids and neutral lipids. The r² value for the method was 0.980–0.988 in a linearity range of 0.5–200 ppm. The range for MX (C [0.02–2.39 mg/ml], TB [0.00–0.10 mg/ml] and TH [0.00–0.004 mg/ml]) and total lipids was 1–5 g. The amount of glycolipids (3.1 g) was higher among the lipid fractions followed by phospholipids (1.8 g) and neutral lipids (0.25 g). In general, espresso beverages (20–30 ml) contained high amounts of MX whereas black coffee beverages contained high amount of lipids. Most of the beverages expressed C, TB, TH, lipids or their fractions; however, the product with high amounts of MX and lipids at the same time was espresso (brands Chemistry and Wogard). Although the MX and lipid levels in these beverages well below the allowed limits, care must still be taken, especially when using the beverages with high serving volumes (200–250 ml) or coffee prepared via the filter method i.e. black coffee, using a high temperature for a longer time.     

Generalization of Murty's direct algorithm to linear and convex quadratic programming

Murty's algorithm for the linear complementarity problem is generalized to solve the optimality conditions for linear and convex quadratic programming problems with both equality and inequality constraints. An implementation is suggested which provides both efficiency and tight error control. Numerical experiments as well as field tests in various applications show favorable results.The author thanks K. G. Murty for his encouragement and helpful comments.     

模糊线性回归模型的约束最小二乘估计

自Tanaka等1982年提出模糊回归概念以来,该问题已得到广泛的研究。作为主要估计方法之一的模糊最小二乘估计以其与统计最小二乘估计的密切联系更受到人们的重视。本文依据适当定义的两个模糊数之间的距离,提出了模糊线性回归模型的一个约束最小二乘估计方法,该方法不仅能使估计的模糊参数的宽度具有非负性而且估计的模糊参数的中心线与传统的最小二乘估计相一致。最后,通过数值例子说明了所提方法的具体应用。     

Ar?NO团簇的同步辐射光电离研究

利用国家同步辐射实验室合肥光源的真空紫外同步辐射，使NO分子和Ar原子混合物的超声分子束发生光电离，测量了Ar，NO和异类团簇Ar·NO的光电离效率谱. 在谱中，在与Ar原子的共振线对应的能量区域(11.5—12.0 eV)观察到一个强的类共振结构. 这个结果表明，在异类团簇Ar·NO的内部，稀有气体Ar原子的激发能转移到与它接触的分子NO上，使分子NO发生电离. 关键词： Ar·NO团簇 同步辐射 光电离 能量转移