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.     

Synthesis and Reactivity of the First Isolated Hydrogen‐Bridged Silanol–Silanolate Anions

We report on the first examples of isolated silanol–silanolate anions, obtained by utilizing weakly coordinating phosphazenium counterions. The silanolate anions were synthesized from the recently published phosphazenium hydroxide hydrate salt with siloxanes. The silanol–silanolate anions are postulated intermediates in the hydroxide‐mediated polymerization of aryl and alkyl siloxanes. The silanolate anions are strong nucleophiles because of the weakly coordinating character of the phosphazenium cation, which is perceptible in their activity in polysiloxane depolymerization.     

“Brown-Ring”-Related Coordination Polymers of the Quartet-{FeNO}7 Chromophore

A conspicuous detail of the so-called brown-ring test (the analytical test on nitrate) is the reddish color of the bottom layer of concentrated sulfuric acid, which develops upon the bleeding of the brown layer into the acid. Crystals of the same color form from a solution of ferrous sulfate in concentrated sulfuric acid on saturation with gaseous nitric oxide. The structure of this H₃O[{Fe(NO)(μ₄-SO₄)(μ₂-SO₄)_0.5}_n/n] ( 1a ) is made up from infinite chessboard-type layers with sulfur on the field junctions and Fe(NO) moieties below the black and above the white fields. An Fe–N–O angle of about 160° causes disorder in the tetragonal space group I4/mmm. A similar crystal pathology was found in the related [{Fe(MeOH)(NO)(μ₄-SO₄)}_n/n] ( 1b ) in the same crystal class. A one-dimensional coordination polymer is formed in crystals of a third compound that comprises the Fe(NO)O₅ coordination pattern, namely the brown oxalato species [{Fe(H₂O)(NO)(μ₂-ox)}_n/n · H₂O] ( 2 ). A still larger NO tilt of about 156° is not obscured by disorder in the triclinic crystals of 2 .     

15‐Hydroperoxy‐PGE2: Intermediate in Mammalian and Algal Prostaglandin Biosynthesis

Arachidonic‐acid‐derived prostaglandins (PGs), specifically PGE₂, play a central role in inflammation and numerous immunological reactions. The enzymes of PGE₂ biosynthesis are important pharmacological targets for anti‐inflammatory drugs. Besides mammals, certain edible marine algae possess a comprehensive repertoire of bioactive arachidonic‐acid‐derived oxylipins including PGs that may account for food poisoning. Described here is the analysis of PGE₂ biosynthesis in the red macroalga Gracilaria vermiculophylla that led to the identification of 15‐hydroperoxy‐PGE₂, a novel precursor of PGE₂ and 15‐keto‐PGE₂. Interestingly, this novel precursor is also produced in human macrophages where it represents a key metabolite in an alternative biosynthetic PGE₂ pathway in addition to the well‐established arachidonic acid‐PGG₂‐PGH₂‐PGE₂ route. This alternative pathway of mammalian PGE₂ biosynthesis may open novel opportunities to intervene with inflammation‐related diseases.     

Structure–Property Relationships in Click‐Derived Donor–Triazole–Acceptor Materials

To shed light on intramolecular charge‐transfer phenomena in 1,2,3‐triazole‐linked materials, a series of 1,2,3‐triazole‐linked push–pull chromophores were prepared and studied experimentally and computationally. Investigated modifications include variation of donor and/or acceptor strength and linker moiety as well as regioisomers. Photophysical characterization of intramolecular charge‐transfer features revealed ambipolar behavior of the triazole linker, depending on the substitution position. Furthermore, non‐centrosymmetric materials were subjected to second‐harmonic generation measurements, which revealed the high nonlinear optical activity of this class of materials.     

CH Oxidation of Ingenanes Enables Potent and Selective Protein Kinase C Isoform Activation

Ingenol derivatives with varying degrees of oxidation were prepared by two‐phase terpene synthesis. This strategy has allowed access to analogues that cannot be prepared by semisynthesis from natural ingenol. Complex ingenanes resulting from divergent C? H oxidation of a common intermediate were found to interact with protein kinase C in a manner that correlates well with the oxidation state of the ingenane core. Even though previous work on ingenanes has suggested a strong correlation between potential to activate PKCδ and induction of neutrophil oxidative burst, the current study shows that the potential to activate PKCβII is of key importance while interaction with PKCδ is dispensable. Thus, key modifications of the ingenane core allowed PKC isoform selectivity wherein PKCδ‐driven activation of keratinocytes is strongly reduced or even absent while PKCβII‐driven activation of neutrophils is retained.