A control-theoretic perspective on optimal high-order optimization

Mathematical Programming - We provide a control-theoretic perspective on optimal tensor algorithms for minimizing a convex function in a finite-dimensional Euclidean space. Given a function...     

Catalytic Nitrene Transfer by an FeIV-Imido Complex Generated by a Comproportionation Process

Nitrene transfer reactions have emerged as one of the most powerful and versatile ways to insert an amine function to various kinds of hydrocarbon substrates. However, the mechanisms of nitrene generation have not been studied in depth albeit their formation is taken for granted in most cases without definitive evidence of their occurrence. In the present work, we compare the generation of tosylimido iron species and NTs transfer from Fe^II and Fe^III precursors where the metal is embedded in a tetracarbene macrocycle. Catalytic nitrene transfer to reference substrates (thioanisole, styrene, ethylbenzene and cyclohexane) revealed that the same active species was at play, irrespective of the ferrous versus ferric nature of the precursor. Through combination of spectroscopic (UV-visible, Mössbauer), ESI-MS and DFT studies, an Fe^IV tosylimido species was identified as the catalytically active species and was characterized spectroscopically and computationally. Whereas its formation from the Fe^II precursor was expected by a two-electron oxidative addition, its formation from an Fe^III precursor was unprecedented. Thanks to a combination of spectroscopic (UV-visible, EPR, Hyscore and Mössbauer), ESI-MS and DFT studies, we found that, when starting from the Fe^III precursor, an Fe^III tosyliodinane adduct was formed and decomposed into an Fe^V tosylimido species which generated the catalytically active Fe^IV tosylimide through a comproportionation process with the Fe^III precursor.     

Compatible relations on filters and stability of local topological properties under supremum and product

An abstract scheme using particular types of relations on filters leads to general unifying results on stability under supremum and product of local topological properties. We present applications for Fréchetness, strong Fréchetness, countable tightness and countable fan-tightness, some of which recover or refine classical results, some of which are new. The reader may find other applications as well.     

Five Novel Taccalonolides from the Roots of the Vietnamese Plant Tacca paxiana

Chemical investigation of the roots of the Vietnamese plant Tacca paxiana resulted in the isolation of five new steroidal compounds, taccalonolide R ( 6 ), S ( 7 ), T ( 8 ), U ( 9 ), and V ( 10 ). Their structures were established on the basis of NMR and mass‐spectral data. In addition, the five known taccalonolides A ( 1 ), B ( 2 ), E ( 3 ), K ( 4 ), and N ( 5 ) were also isolated and identified.     

Expressive equivalence of least and inflationary fixed-point logic

We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have the same expressive power. On infinite structures however, the question whether there is a formula in IFP not equivalent to any LFP-formula was left open.

In this paper, we answer the question negatively, i.e. we show that the two logics are equally expressive on arbitrary structures. We give a syntactic translation of IFP-formulae to LFP-formulae such that the two formulae are equivalent on all structures.

As a consequence of the proof we establish a close correspondence between the LFP-alternation hierarchy and the IFP-nesting depth hierarchy. We also show that the alternation hierarchy for IFP collapses to the first level, i.e. the complement of any inflationary fixed point is itself an inflationary fixed point.