Some Properties of Smooth Convex Functions and Newton’s Method

Doklady Mathematics - New properties of convex infinitely differentiable functions related to extremal problems are established. It is shown that, in a neighborhood of the solution, even if the...     

Effect of Mechanical Stress on the Splitting of Spin Sublevels in 4H-SiC

JETP Letters - The effect of static mechanical strain on the splitting of spin sublevels of color centers based on spin 3/2 silicon vacancies in silicon carbide at room temperature has been shown....     

MCNOs/CdS双效光催化剂的制备及其性能研究

水热合成法制备了不同磁性纳米洋葱碳(MCNOs)负载量(0%、1%、3%、5%)的MCNOs/CdS光催化剂。并通过X射线衍射分析(XRD)、扫描电子显微镜(SEM)、傅里叶红外光谱(FT-IR)、X射线光电子能谱(XPS)、紫外可见光光谱(UV-Vis)、磁滞回线测定仪(VSM)对其进行表征,探究了MCNOs负载比例对催化剂在可见光下降解RhB性能及机理的影响。结果表明,MCNOs能有效提高CdS的光催化效果,复合3%MCNOs后降解率为96%,与纯CdS相比降解率提高了30%,磁性分析表明,其具有良好的顺磁性并能实现催化剂的有效回收。MCNOs/CdS在可见光下催化降解RhB的一级反应动力学直线有较好的拟合度,表明制备的催化剂有较好的催化活性。     

Crystallographic Parameters of Special Grain Boundaries in Multicrystalline Silicon

Crystallography Reports - The orientation of grains and the special boundaries formed by them in multicrystalline silicon has been studied by electron backscattered diffraction. It is found that...     

Raman Scattering Study of Natural and Synthetic Compounds Containing Polyene Chains

Doklady Physics - The dependence of Raman spectra of the molecules containing polyene chains on the conjugation length, structure of side and end groups, and isomer type is analyzed theoretically.     

Transformation of the Microwave Resonance Properties of Metastructures with CdS and CdSe at One- and Two-Photon Excitation

JETP Letters - Photonically controlled metastructures containing resonant conducting dipole and chiral elements with CdS and CdSe in gaps have been proposed, implemented, and studied in a waveguide...     

Application of Synchrotron Radiation to Analyze the Friction-Induced Structural and Phase Transformations of Chrome-Nickel Austenitic Steel

Russian Physics Journal -     

Estimation of the Sorption Activity of Silver Nanoparticles on Biodegradable Fibers of Natural and Artificial Origin

Russian Physics Journal - The specific features of the sorption activity of silver nanoparticles (AgNPs) on biodegradable polymers of natural (collagen) and artificial (polyamide 6.6) origin have...     

Computing Integrated Information (Φ) in Discrete Dynamical Systems with Multi-Valued Elements

Integrated information theory (IIT) provides a mathematical framework to characterize the cause-effect structure of a physical system and its amount of integrated information (Φ). An accompanying Python software package (“PyPhi”) was recently introduced to implement this framework for the causal analysis of discrete dynamical systems of binary elements. Here, we present an update to PyPhi that extends its applicability to systems constituted of discrete, but multi-valued elements. This allows us to analyze and compare general causal properties of random networks made up of binary, ternary, quaternary, and mixed nodes. Moreover, we apply the developed tools for causal analysis to a simple non-binary regulatory network model (p53-Mdm2) and discuss commonly used binarization methods in light of their capacity to preserve the causal structure of the original system with multi-valued elements.     

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.