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.     

A post curing strategy toward the feasible covalent adaptable networks in polyacrylate latex films

The implementation of covalent adaptable networks (CANs) in general resin system is becoming attractive. In this work, we propose a simple post-curing strategy based on the core-shell structured acrylate latex for the achievement on both the improved general performance and the CANs characteristics in latex films. The building to the CANs was relied on the introduction of 4,4′-diaminophenyl disulfide as the curing agent, which cured the acetoacetoxy decorated shell polymer through the ketoamine reaction. The metathesis reaction of aromatic disulfides in the crosslinking segments enabled the thermally induced dynamic behavior of the network as revealed in the stress relaxation tests by comparison with other diamine crosslinking agents without the incorporation of disulfide. The synergism of the dynamic crosslinking of the shell polymer and static crosslinking in the core polymer contributed to the improved mechanical strength (15 MPa, strain% = 250%) and the suppressed water adsorption (~1% in 24 h of soaking) of the latex film, which exhibited above 90% of recovery in both strength and strain from a cut-off film damage within 1 h at 80°C. Moreover, the cured latex film could be recycled, and 75% of the mechanical performance was regained after three fragmentation-hot-pressing cycles. These, in addition with the feasible and environmental friendly characteristics, suggest a sustainable paradigm toward the smart thermosetting latex polymers.     

Buffering effects on the solution behavior and hydrolytic degradation of poly(β-amino ester)s

With a vast, synthetically accessible compositional space and highly tunable hydrolysis rates, poly(β-amino ester)s (PBAEs) are an attractive degradable polymer platform. Leveraging PBAEs in a wide range of applications hinges on the ability to program degradation, which, thus far, has been frustrated by multiple confounding phenomena contributing to the degradation of these charged polyesters. Basic conditions accelerate hydrolysis, yet reduce solubility, limiting water access to amines and esters. Further, the high buffering capacity of PBAEs can render buffers ineffective at controlling solution pH. To unify understanding of PBAE degradation and solution properties, this study examines PBAE hydrolysis as a function of pH and buffer concentration as well as polymer hydrophobicity. At low buffer concentrations, the PBAE amines and the acid produced during hydrolysis control solution pH. Meanwhile, at high buffer concentrations that afford relatively constant pH, hydrolysis rate increases with pH, despite the reduced PBAE solubility. Increasing the hydrophobic content of PBAEs eventually hinders the capacity of the polymer to accept protons from solution, limiting the pH increase and slowing hydrolysis. These studies showcase the role of buffering on the pH-dependent degradation and solution properties of PBAEs, providing guidance for programming degradation in applications ranging from drug delivery to thermosets.     

Near-Ultraviolet Circular Dichroism and Two-Dimensional Spectroscopy of Polypeptides

A fully quantitative theory of the relationship between protein conformation and optical spectroscopy would facilitate deeper insights into biophysical and simulation studies of protein dynamics and folding. In contrast to intense bands in the far-ultraviolet, near-UV bands are much weaker and have been challenging to compute theoretically. We report some advances in the accuracy of calculations in the near-UV, which were realised through the consideration of the vibrational structure of the electronic transitions of aromatic side chains.     

Physical aging in amorphous poly(ethylene furanoate): Enthalpic recovery,density, and oxygen transport considerations

The current work utilizes three separate techniques to study the physical aging process in amorphous poly(ethylene furanoate) (PEF), which is a recently introduced engineering thermoplastic with enhanced properties compared to petroleum‐sourced poly(ethylene terephthalate). Differential scanning calorimetry aging experiments were conducted at multiple aging temperatures and times, and the resultant enthalpic recovery values compared to the theoretical maximum enthalpy loss evaluated from calculations involving extrapolation of the equilibrium liquid line. Density measurements reveal densification of the matrix for the aged versus unaged samples, and provide an estimate for the reduction in free volume for the aged samples. Complementary oxygen permeation and pressure‐decay sorption experiments provide independent verification of the free volume reduction mechanism for physical aging in glassy polymers. The current work provides the first detailed aging study for PEF. © 2014 Wiley Periodicals, Inc. J. Polym. Sci., Part B: Polym. Phys. 2015 , 53, 389–399     

Mono-Aryl/Alkylthio-Substituted (Hetero)acenes of Exceptional Thermal and Photochemical Stability by the Thio-Friedel–Crafts/Bradsher Cyclization Reaction

The highly substituted mono-aryl/alkylthio-(hetero)acenes prepared in this study have been found to be thermally more stable (T_decomp.=331–354 °C) than the known di-aryl/alkylthio-substituted acenes by an average of 25 °C. They are also much more photostable at 254 and 365 nm (in both argon and air) than the parent anthracene and other reported anthracenes. The most photostable aryl/alkylthio-anthracenes at 254 nm were found to be 60–70 (in air) and 130 (in argon) times more stable in solution than the unsubstituted anthracene, and much more stable than known EDG/EWG-substituted anthracenes (EDG=electron-donating group, EWG=electron-withdrawing group) with an extended aromatic core. Furthermore, the acenes showed significantly higher photostability at 365 nm in both air and argon. The anthracenes were obtained by the novel thio-Friedel–Crafts/Bradsher cyclization reaction of hitherto unknown [o-(1,3-dithian-2-yl)aryl](aryl)methyl thioethers. The developed approach provides a general access to mono-aryl/alkylthio-substituted (hetero)acene frameworks containing at least three fused (hetero)aromatic rings. The characteristic feature of this approach, which leads to highly substituted acenes, is that the substituents, unlike in other methods, may be introduced at an early stage of the synthesis. DFT and TD-DFT calculations confirmed the stabilizing role of the aryl/alkylthio substituent in the mono-aryl/alkylthio-substituted anthracenes, which are the most stable anthracenes prepared to date. Their high photostability is mainly due to the quenching of singlet oxygen by the acene and the quenching of the acene S₁ state by molecular oxygen.     

Thermally Crosslinkable and Chemically Modifiable Aromatic Polyesters Possessing Pendant Propargyloxy Groups

New aromatic (co)polyesters containing pendant propargyloxy groups were synthesized by phase transfer‐catalyzed interfacial polycondensation of 5‐(propargyloxy)isophthaloyl chloride (P‐IPC) and various compositions of P‐IPC and isophthaloyl chloride with bisphenol A. FTIR and NMR spectroscopic data, respectively, revealed successful incorporation of pendant propargyloxy groups into (co)polyesters and formation of (co)polyesters with desired compositions. (Co)polyesters exhibited good solubility in common organic solvents such as chloroform, dichloromethane, and tetrahydrofuran and could be cast into transparent, flexible, and tough films from chloroform solution. Inherent viscosities and number average molecular weights of (co)polyesters were in the range 0.77–1.33 dL/g and 43,600–118,000 g/mol, respectively, indicating the achievement of reasonably high‐molecular weights. The 10% weight loss temperatures of (co)polyesters were in the range 390–420 °C, demonstrating their good thermal stability. (Co)polyesters exhibited T_g in the range 146–170 °C and T_g values decreased with increase in mol % incorporation of P‐IPC. The study of non‐isothermal curing by DSC indicated thermal crosslinking of (co)polyesters via propargyloxy groups. The utility of pendant propargyloxy group was demonstrated by post‐modification of the selected copolyester with 1‐(4‐azidobutyl)pyrene, 9‐(azidomethyl)anthracene, and azido‐terminated poly(ethyleneglycol) monomethyl ether via copper(I)‐catalyzed Huisgen 1,3‐dipolar cycloaddition reaction. FTIR and ¹H NMR spectra confirmed that click reaction was quantitative. © 2018 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2019 , 57, 588–597     

Donor-acceptor copolymers from cyclopentannulation polymerizations with dicyclopenta[cd,jk]pyrene and dicyclopenta[cd,lm] perylene acceptors

A series of donor-acceptor copolymers with dicyclopenta[cd,jk]pyrene and dicyclopenta[cd,lm]perylene acceptor units was prepared via palladium catalyzed cyclopenta-annulation reactions. The acceptor units were paired with diethynyl containing donor groups based on benzo[1,2-b:4,5-b’]dithiophene, thieno[3,2-b]thiophene, and 4-octyl-4H-dithieno[3,2-b:2′,3′-d]pyrrole to create six polymer variants. The cyclopentannulation polymerization resulted in copolymers with molecular weights (Mn) of 6–14 kDa and broad light absorption in the visible region with band gaps of 1.38–1.85 eV. The synthetic methodology, as well as optoelectronic properties, including thin-film absorption and cyclic voltammetry, of the donor-acceptor copolymers are presented.