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.     

Silver(I) Complexes of Two Flexible Bis-phospholane Ligands: Metallamacrocycles,Polymeric Chains,and Metallacryptands

In a 2:2 reaction with silver(I) chloride or bromide, 1,5-bis(1-phospholano)pentane ( 1a ) afforded frame-like macrocyclic structures, with intra- ( 2 , Cl) or intermolecular ( 3 , Br) halido bridges. In contrast, 1,7-bis(1-phospholano)heptane ( 1b ) formed coordination polymers 4a (Cl) and 4b (Br) with bridging bis-phospholane and halido ligands. A unique paddle wheel-type metallacryptand structure 5 was obtained from 1a and silver(I) bromide in a 2:3 reaction (M:L). All complexes were fully characterized by NMR, IR spectroscopy, mass spectrometry, and X-ray crystallography.     

Dynamics of Bacteriorhodopsin in the Dark-Adapted State from Solution Nuclear Magnetic Resonance Spectroscopy

To achieve efficient proton pumping in the light-driven proton pump bacteriorhodopsin (bR), the protein must be tightly coupled to the retinal to rapidly convert retinal isomerization into protein structural rearrangements. Methyl group dynamics of bR embedded in lipid nanodiscs were determined in the dark-adapted state, and were found to be mostly well ordered at the cytosolic side. Methyl groups in the M145A mutant of bR, which displays only 10 % residual proton pumping activity, are less well ordered, suggesting a link between side-chain dynamics on the cytosolic side of the bR cavity and proton pumping activity. In addition, slow conformational exchange, attributed to low frequency motions of aromatic rings, was indirectly observed for residues on the extracellular side of the bR cavity. This may be related to reorganization of the water network. These observations provide a detailed picture of previously undescribed equilibrium dynamics on different time scales for ground-state bR.     

Iodine(III)‐Catalyzed Rearrangements of Imides: A Versatile Route to α,α‐Dialkylated α‐Hydroxy Carboxylamides

A tertiary hydroxy group α to a carboxyl moiety comprises a key structural motif in many bioactive substances. With the herein presented metal‐free rearrangement of imides triggered by hypervalent λ³‐iodane, an easy and selective way to gain access to such a compound class, namely α,α‐disubstituted‐α‐hydroxy carboxylamides, was established. Their additional methylene bromide side chain constitutes a useful handle for rapid diversification, as demonstrated by a series of further functionalizations. Moreover, the in situ formation of an iodine(III) species under the reaction conditions was proven. Our findings clearly corroborate that hypervalent λ³‐benziodoxolones are involved in these organocatalytic reactions.     

Synthesis and Characterization of 5‐Cyanotetrazolide‐Based Ionic Liquids

New salts based on imidazolium, pyrrolidinium, phosphonium, guanidinium, and ammonium cations together with the 5‐cyanotetrazolide anion [C₂N₅]^? are reported. Depending on the nature of cation–anion interactions, characterized by XRD, the ionic liquids (ILs) have a low viscosity and are liquid at room temperature or have higher melting temperatures. Thermogravimetric analysis, cyclic voltammetry, viscosimetry, and impedance spectroscopy display a thermal stability up to 230 °C, an electrochemical window of 4.5 V, a viscosity of 25 mPa s at 20 °C, and an ionic conductivity of 5.4 mS cm^?1 at 20 °C for the IL 1‐butyl‐1‐methylpyrrolidinium 5‐cyanotetrazolide [BMPyr][C₂N₅]. On the basis of these results, the synthesized compounds are promising electrolytes for lithium‐ion batteries.