Light‐Driven Coordination‐Induced Spin‐State Switching: Rational Design of Photodissociable Ligands

The bistability of spin states (e.g., spin crossover) in bulk materials is well investigated and understood. We recently extended spin‐state switching to isolated molecules at room temperature (light‐driven coordination‐induced spin‐state switching, or LD‐CISSS). Whereas bistability and hysteresis in conventional spin‐crossover materials are caused by cooperative effects in the crystal lattice, spin switching in LD‐CISSS is achieved by reversibly changing the coordination number of a metal complex by means of a photochromic ligand that binds in one configuration but dissociates in the other form. We present mathematical proof that the maximum efficiency in property switching by such a photodissociable ligand (PDL) is only dependent on the ratio of the association constants of both configurations. Rational design by using DFT calculations was applied to develop a photoswitchable ligand with a high switching efficiency. The starting point was a nickel–porphyrin as the transition‐metal complex and 3‐phenylazopyridine as the photodissociable ligand. Calculations and experiments were performed in two iterative steps to find a substitution pattern at the phenylazopyridine ligand that provided optimum performance. Following this strategy, we synthesized an improved photodissociable ligand that binds to the Ni–porphyrin with an association constant that is 5.36 times higher in its trans form than in the cis form. The switching efficiency between the diamagnetic and paramagnetic state is efficient as well (72 % paramagnetic Ni–porphyrin after irradiation at 365 nm, 32 % paramagnetic species after irradiation at 440 nm). Potential applications arise from the fact that the LD‐CISSS approach for the first time allows reversible switching of the magnetic susceptibility of a homogeneous solution. Photoswitchable contrast agents for magnetic resonance imaging and light‐controlled magnetic levitation are conceivable applications.     

Design and Sensing Properties of a Self‐Assembled Supramolecular Oligomer

Supramolecular polymers are a class of macromolecules stabilized by weak non‐covalent interactions. These self‐assembled aggregates typically undergo stimuli‐induced reversible assembly and disassembly. They thus hold great promise as so‐called functional materials. In this work, we present the design, synthesis, and responsive behavior of a short supramolecular oligomeric system based on two hetero‐complementary subunits. These “monomers” consist of a tetrathiafulvalene‐functionalized calix[4]pyrrole (TTF‐C[4]P) and a glycol diester‐linked bis‐2,5,7‐trinitrodicyanomethylenefluorene‐4‐carboxylate (TNDCF), respectively. We show that when mixed in organic solvents, such as CHCl₃, CH₂ClCH₂Cl, and methylcyclohexane, supramolecular aggregation takes place to produce short oligomers stabilized by hydrogen bonding and donor–acceptor charge‐transfer (CT) interactions. The self‐associated materials were characterized by ¹H NMR and UV/Vis/NIR absorption spectroscopy, as well as by concentration‐ and temperature‐dependent absorption spectroscopy and dynamic light scattering (DLS) analyses of both the monomeric and oligomerized species. The self‐associated system produced from TTF‐C[4]P and TNDCF exhibits a concentration‐dependent aggregation behavior typical of supramolecular polymers. Further support for the proposed self‐assembly came from theoretical calculations. The fluorescence emitting properties of TNDCF are quenched under conditions that promote the formation of supramolecular aggregates containing TTF‐C[4]P and TNDCF. This quenching effect has been utilized as a probe for the detection of substrates in the form of anions (i.e., chloride) and nitroaromatic explosives (i.e., 1,3,5‐trinitrobenzene). Specifically, the addition of these substrates to mixtures of TTF‐C[4]P and TNDCF produced a fluorescence “turn‐on” response.     

Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.