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.     

Metabolomics techniques applied in the investigation of phenolic acids from the agro-industrial by-product of Carapa guianensis Aubl

Processing of Carapa guianensis seeds to obtain oil on an industrial scale generates a significant amount of by-product, approximately 66% w/w, which is called cake and is a potential source of biomolecules, including simple phenolic structures. For this reason, studies were carried out on the chemical profiles of hydrolyzed extract from this agro-industrial by-product through High Performance Thin-Layer Chromatography (HPTLC) and Gas Chromatography coupled to Mass Spectrometry (GC–MS). These techniques were used to detect metabolic classes and/or groups, and to identify, for the first time, thirteen simple phenolic acids in this by-product. The sample antioxidant capacity was determined by methods of 2,2-diphenyl-1-picrylhydrazyl (DPPH)and 2,2′-azino-bis(3-ethylbenzothiazoline-6-sulfonic acid) diammonium salt (ABTS⁺) radicals direct sequestration. The hydrolyzed fraction showed a total of 63.47% in the relative abundance of the total of compounds, standing out: p-hydroxybenzoic acid (39.19%) and protocatechuic acid (3,4-dihydroxybenzoic acid) (5.62%), both from hydroxybenzoic acids and 3-(3,4-dihydroxyphenyl)lactic acid, (7.76%) hydroxycinnamic acids derivatives. In these results, the fraction rich in simple phenolic acids was obtained, attributing the prominent behavior of this matrix antioxidant activity, expressed by (IC₅₀: of 16.42 µg/mL and 6.52 µg/mL for DPPH and ABTS⁺ radicals, respectively). The research demonstrated an alternative to applicability that involves sustainability from agro-industrial. These techniques were used to detect metabolic classes and/or groups, and to identify, for the first time, thirteen simple phenolic acids in this by-product, generating a process capable of converting biomass into a bioproduct, consisting of bioactive compounds, in addition to adding value to the industrial chain.     

基于串联两阶段网络DEA模型的供应链规模收益分析

数据包络分析(DEA)是评价供应链系统(Supply chain system)间相对有效性的一种重要的工具,但是传统的DEA不考虑供应链的内部结构,对系统效率评价偏高;而本文所研究两阶段串联供应链系统,考虑把部分中间产品作为最终产品输出,增加额外中间投入的情形.基于所提出的供应链系统结构,本文建立相应的串联结构下的网络DEA模型,并针对所建立模型进行相关理论的研究,给出了串联结构下的生产可能集和规模收益情况判定方法.最后,进行数值实验,以验证我们提出的结论.     

Sobolev Stability of Plane Wave Solutions to the Nonlinear Schrödinger Equation

This article explores the questions of long time orbital stability in high order Sobolev norms of plane wave solutions to the NLSE in the defocusing case.     

实二次域上理想类的zeta-函数在-1处的值

用连分数给出了实二次域理想类的zeta-函数-1处值的一个具体的计算公式.