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.     

Chemical bonding in representative astrophysically relevant neutral,cation, and anion HCnH chains

Most existing studies assign a polyynic and cumulenic character of chemical bonding in carbon-based chains relying on values of the bond lengths. Building on our recent work, in this paper we add further evidence on the limitations of such an analysis and demonstrate the significant insight gained via natural bond analysis. Presently reported results include atomic charges, natural bond order and valence indices obtained from ab initio computations for representative members of the astrophysically relevant neutral and charged HC_2k/2k+1H chain family. They unravel a series of counter-intuitive aspects and/or help naive intuition in properly understanding microscopic processes, e.g., electron removal from or electron attachment to a neutral chain. Demonstrating that the Wiberg indices adequately quantify the chemical bonding structure of the HC_2k/2k+1H chains—while the often heavily advertised Mayer indices do not—represents an important message conveyed by the present study.     

13C NMR investigations of molecular order of rod-like,bent-core,and thiophene mesogens

In this review, methods to obtain the orientational order of topologically variant molecular mesogens using by one- and two-dimensional (2D) solid-state ¹³C nuclear magnetic resonance (NMR) spectroscopy are described. Besides ¹³C chemical shifts, the ¹³C─¹H dipolar couplings measured from 2D-separated local field (SLF) technique are used for computing the order parameters of a variety of mesogens. The investigated molecules are composed of a variable number of rings in the core, that is, core ranging from simply one ring to five rings. Among the mesogens investigated, a special focus has been placed on mesogens with thiophene rings, which are gaining popularity as liquid crystalline organic semiconductors. The replacement of a phenyl ring by thiophene in the core has a dramatic influence on molecular topology, as observed from the measured order parameters. The review highlights the advantages of the 2D SLF method for understanding the local dynamics and for mapping the topology of mesogens through the measured order parameters. SLF NMR studies of as many as 24 molecular mesogens that vary in terms of the molecular structure as well as topology are covered in the review. Order parameters of the rings have been estimated from the ¹³C─¹H dipolar couplings in the nematic, smectic A, smectic C, and tilted hexatic phases as well as in B₁ and B₂ mesophases of various mesogens. It is anticipated that, in the years to come, the 2D SLF method would provide advanced molecular information on structurally complex mesogens that are emerging in liquid crystal science through the incessant efforts of synthetic chemists. The mini review covers the orientational order of topologically variant molecular mesogens determined by 1D and 2D solid-state ¹³C NMR spectroscopy. Accordingly, rod-like, bent-core, and thiophene mesogens were subjected to 2D SLF measurements to get the order parameters from which the topology was established. The replacement of phenyl ring by thiophene and its influence on order parameters as well as on molecular topology is also discussed.     

一阶最优性条件研究

本对由Botsko的关于多变量函数取极值的一阶导数检验条件定理^[1]进行了分析研究，给出了更实用而简捷的差别条件。最后，举出若干例子予以说明。     

不等式约束条件下回归模型的参数估计及检验

本文研究了具有不等式约束条件的回归模型的参数估计，给出了检验的统计量和一个实例．     

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.     

SINGULAR PERTURBATION OF BOUNDARY VALUE PROBLEM FOR NONLINEAR HIGHER ORDER ORDINARY DIFFERENTIAL EQUATIONS INVOLVING TWO SMALL PARAMETERS

The singularly perturbed boundary value problem for nonlinear higher order ordinary differential equation involving two small parameters has been considered. Under appropriate assumptions, for the three cases:ε/μ2→0(μ→0),μ2/ε→0 (ε→0) andε=μ2, the uniformly valid asymptotic solution is obtained by using the expansion method of two small parameters and the theory of differential inequality.