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 versus Electrochemical Synthesis of Carbon Nano‐onion/Polypyrrole Composites for Supercapacitor Electrodes

The development of high‐surface‐area carbon electrodes with a defined pore size distribution and the incorporation of pseudo‐active materials to optimize the overall capacitance and conductivity without destroying the stability are at present important research areas. Composite electrodes of carbon nano‐onions (CNOs) and polypyrrole (Ppy) were fabricated to improve the specific capacitance of a supercapacitor. The carbon nanostructures were uniformly coated with Ppy by chemical polymerization or by electrochemical potentiostatic deposition to form homogenous composites or bilayers. The materials were characterized by transmission‐ and scanning electron microscopy, differential thermogravimetric analyses, FTIR spectroscopy, piezoelectric microgravimetry, and cyclic voltammetry. The composites show higher mechanical and electrochemical stabilities, with high specific capacitances of up to about 800 F g^?1 for the CNOs/SDS/Ppy composites (chemical synthesis) and about 1300 F g^?1 for the CNOs/Ppy bilayer (electrochemical deposition).     

Vinylic MIDA Boronates: New Building Blocks for the Synthesis of Aza‐Heterocycles

A two‐step synthesis of structurally diverse pyrrole‐containing bicyclic systems is reported. ortho‐Nitro‐haloarenes coupled with vinylic N‐methyliminodiacetic acid (MIDA) boronates generate ortho‐vinyl‐nitroarenes, which undergo a “metal‐free” nitrene insertion, resulting in a new pyrrole ring. This novel synthetic approach has a wide substrate tolerance and it is applicable in the preparation of more complex “drug‐like” molecules. Interestingly, an ortho‐nitro‐allylarene derivative furnished a cyclic β‐aminophosphonate motif.     

Pd0‐Catalyzed Intramolecular α‐Arylation of Sulfones: Domino Reactions in the Synthesis of Functionalized Tetrahydroisoquinolines

A new strategy for the synthesis of tetrahydroisoquinolines based on the Pd⁰‐catalyzed intramolecular α‐arylation of sulfones is reported. The combination of this Pd‐catalyzed reaction with intermolecular Michael and aza‐Michael reactions allows the development of two‐ and three‐step domino processes to synthesize diversely functionalized scaffolds from readily available starting materials.     

Experimental and Theoretical Studies on the Rearrangement of 2‐Oxoazepane α,α‐Amino Acids into 2′‐Oxopiperidine β2,3,3‐Amino Acids: An Example of Intramolecular Catalysis

Enantiopure β‐amino acids represent interesting scaffolds for peptidomimetics, foldamers and bioactive compounds. However, the synthesis of highly substituted analogues is still a major challenge. Herein, we describe the spontaneous rearrangement of 4‐carboxy‐2‐oxoazepane α,α‐amino acids to lead to 2′‐oxopiperidine‐containing β^2,3,3‐amino acids, upon basic or acid hydrolysis of the 2‐oxoazepane α,α‐amino acid ester. Under acidic conditions, a totally stereoselective synthetic route has been developed. The reordering process involved the spontaneous breakdown of an amide bond, which typically requires strong conditions, and the formation of a new bond leading to the six‐membered heterocycle. A quantum mechanical study was carried out to obtain insight into the remarkable ease of this rearrangement, which occurs at room temperature, either in solution or upon storage of the 4‐carboxylic acid substituted 2‐oxoazepane derivatives. This theoretical study suggests that the rearrangement process occurs through a concerted mechanism, in which the energy of the transition states can be lowered by the participation of a catalytic water molecule. Interestingly, it also suggested a role for the carboxylic acid at position 4 of the 2‐oxoazepane ring, which facilitates this rearrangement, participating directly in the intramolecular catalysis.