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.     

Mesomorphism of Dichotomous Compounds; X-Ray Diffraction Analysis of 4-Chlorophenyl Hexadecyl Ether

Crystallography Reports - The crystal and molecular structures of Cl–C6H4–O–C16H33 (I) have been studied, and its differential scanning calorimetry (DSC) study is performed....     

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

Russian Physics Journal -     

Chemistry of Pentafluorosulfanyl Derivatives and Related Analogs: From Synthesis to Applications

Pentafluorosulfanyl (SF₅)-containing compounds and corresponding analogs are a highly valuable class of fluorine-containing building blocks owing to their unique properties. The reason for that is the set of peculiar and tremendously beneficial characteristics they can impart on molecules once introduced onto them. Despite this, their application in distinct scientific fields remains modest, given the extremely harsh reaction conditions needed to access such compounds. The recent synthetic approaches via S−F, and C−SF₅ bond formation as well as the use of SF₅-containing building blocks embody a “stairway-to-heaven” loophole in the synthesis of otherwise-inaccessible chemical scaffolds only a few years ago. Herein, we report and evaluate the properties of the SF₅ group and analogs, by summarizing synthetic methodologies available to access them as well as following applications in material science and medicinal chemistry since 2015.     

Correction to: Impact of leg bending in the patient-specific computational fluid dynamics of popliteal stenting

Acta Mechanica Sinica - A Correction to this paper has been published: https://doi.org/10.1007/s10409-021-01066-2     

Mechanism of BPh3-Catalyzed N-Methylation of Amines with CO2 and Phenylsilane: Cooperative Activation of Hydrosilane

BPh₃ catalyzes the N-methylation of secondary amines and the C-methylenation (methylene-bridge formation between aromatic rings) of N,N-dimethylanilines or 1-methylindoles in the presence of CO₂ and PhSiH₃; these reactions proceed at 30–40 °C under solvent-free conditions. In contrast, B(C₆F₅)₃ shows little or no activity. ¹¹B NMR spectra suggested the generation of [HBPh₃]⁻. The detailed mechanism of the BPh₃-catalyzed N-methylation of N-methylaniline ( 1 ) with CO₂ and PhSiH₃ was studied by using DFT calculations. BPh₃ promotes the conversion of two substrates (N-methylaniline and CO₂) into a zwitterionic carbamate to give three-component species [Ph(Me)(H)N⁺CO₂⁻⋅⋅⋅BPh₃]. The carbamate and BPh₃ act as the nucleophile and Lewis acid, respectively, for the activation of PhSiH₃ to generate [HBPh₃]⁻, which is used to produce key CO₂-derived species, such as silyl formate and bis(silyl)acetal, essential for the N-methylation of 1 . DFT calculations also suggested other mechanisms involving water for the generation of [HBPh₃]⁻ species.     

Developing Flexible Quinacridone-Derivatives-Based Photothermal Evaporaters for Solar Steam and Thermoelectric Power Generation

Solar-driven interfacial vaporization by localizing solar-thermal energy conversion to the air−water interface has attracted tremendous attention. In the process of converting solar energy into heat energy, photothermal materials play an essential role. Herein, a flexible solar-thermal material di-cyan substituted 5,12-dibutylquinacridone (DCN−4CQA)@Paper was developed by coating photothermal quinacridone derivatives on the cellulose paper. The DCN−4CQA@Paper combines desired chemical and physical properties, broadband light-absorbing, and shape-conforming abilities that render efficient photothermic vaporization. Notably, synergetic coupling of solar-steam and solar-electricity technologies by integrating DCN−4CQA@Paper and the thermoelectric devices is realized without trade-offs, highlighting the practical consideration toward more impactful solar heat exploitation. Such solar distillation and low-grade heat-to-electricity generation functions can provide potential opportunities for fresh water and electricity supply in off-grid or remote areas.     

Acridone-Based Host Materials for Green Phosphorescent and Thermally Activated Delayed Fluorescent OLEDs with Low-Efficiency Roll-Offs

By linking the carbazole unit to the nitrogen atom of acridone through phenyl or pyridyl, two compounds, named 10-(4-(9H-carbazol-9-yl)phenyl)acridin-9(10H)-one (AC-Ph-Cz) and 10-(5-(9H-carbazol-9-yl)pyridin-2-yl)acridin-9(10H)-one (AC-Py-Cz) were designed and synthesized. These two materials, characterized with highly twisted and rigid structure, good thermal stability, and balanced carrier-transporting properties, were employed as host materials for green phosphorescent and thermally activated delayed fluorescent organic light-emitting diodes (OLEDs). The carbazole group, despite its small contribution to the highest occupied molecular orbitals (HOMOs) of these two materials, plays an essential role as an intramolecular host in energy delivering and improving the hole transporting ability of these two hosts. The incorporation of the electron-deficient pyridyl group as a linking group slightly improves the electron transporting capability of AC-Py-Cz. The green phosphorescent OLED (PhOLED) based on AC-Py-Cz exhibited excellent device performance with a turn-on voltage of 2.5 V, a maximum power efficiency and an external quantum efficiency (η_ext) of 89.8 lm W⁻¹ and 25.2 %, respectively, benefitting from the better charge-balancing ability of AC-Py-Cz host due to the presence of the pyridyl bridge. More importantly, all the devices based on these two hosts showed low efficiency roll-off at high brightness due to the suppressed non-radiative transition in the emitting layer. In particular, the AC-Py-Cz-hosted green PhOLED exhibited an efficiency roll-off of 1.6 % from the maximum next at a high brightness of 1000 cd m⁻² and a roll-off of 15.9 % at an extremely high brightness of 10000 cd m⁻². This study manifests that acridone-based host materials have great potential in fabricating OLEDs with low efficiency roll-off.