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.     

Discovery of Novel Symmetrical 1,4-Dihydropyridines as Inhibitors of Multidrug-Resistant Protein (MRP4) Efflux Pump for Anticancer Therapy

Despite the development of targeted therapies in cancer, the problem of multidrug resistance (MDR) is still unsolved. Most patients with metastatic cancer die from MDR. Transmembrane efflux pumps as the main cause of MDR have been addressed by developed inhibitors, but early inhibitors of the most prominent and longest known efflux pump P-glycoprotein (P-gp) were disappointing. Those inhibitors have been used without knowledge about the expression of P-gp by the treated tumor. Therefore the use of inhibitors of transmembrane efflux pumps in clinical settings is reconsidered as a promising strategy in the case of the respective efflux pump expression. We discovered novel symmetric inhibitors of the symmetric efflux pump MRP4 encoded by the ABCC4 gene. MRP4 is involved in many kinds of cancer with resistance to anticancer drugs. All compounds showed better activities than the best known MRP4 inhibitor MK571 in an MRP4-overexpressing cell line assay, and the activities could be related to the various substitution patterns of aromatic residues within the symmetric molecular framework. One of the best compounds was demonstrated to overcome the MRP4-mediated resistance in the cell line model to restore the anticancer drug sensitivity as a proof of concept.     

Development and validation of a reversed‐phase HPLC method for CYP1A2 phenotyping by use of a caffeine metabolite ratio in saliva

CYP1A2 is important for metabolizing various clinically used drugs. Phenotyping of CYP1A2 may prove helpful for drug individualization therapy. Several HPLC methods have been developed for quantification of caffeine metabolites in plasma and urine. Aim of the present study was to develop a valid and simple HPLC method for evaluating CYP1A2 activity during exposure in xenobiotics by the use of human saliva. Caffeine and paraxanthine were isolated from saliva by liquid‐liquid extraction (chlorophorm/isopropanol 85/15v/v). Extracts were analyzed by reversed‐phase HPLC on a C₁₈ column with mobile phase 0.1% acetic acid/methanol/acetonitrile (80/20/2 v/v) and detected at 273nm. Caffeine and paraxanthine elution times were <13min with no interferences from impurities or caffeine metabolites. Detector response was linear (0.10–8.00µg/ml, R²>0.99), recovery was >93% and bias <4.47%. Intra‐ and inter‐day precision was <5.14% (n=6). The limit of quantitation was 0.10µg/ml and the limit of detection was 0.018±0.002µg/mL for paraxanthine and 0.032±0.002µg/ml for caffeine. Paraxanthine/caffeine ratio of 34 healthy volunteers was significantly higher in smokers (p<0.001). Saliva paraxanthine/caffeine ratios and urine metabolite ratios were highly correlated (r=0.85, p<0.001). The method can be used for the monitoring of CYP1A2 activity in clinical practice and in studies relevant to exposure to environmental and pharmacological xenobiotics. Copyright © 2015 John Wiley & Sons, Ltd.     

Diffusion of Gold Nanoparticles in Inverse Opals Probed by Heterodyne Dynamic Light Scattering

The diffusive behavior of nanoparticles inside porous materials is attracting a lot of interest in the context of understanding, modeling, and optimization of many technical processes. A very powerful technique for characterizing the diffusive behavior of particles in free media is dynamic light scattering (DLS). The applicability of the method in porous media is considered, however, to be rather difficult due to the presence of multiple sources of scattering. In contrast to most of the previous approaches, the DLS method was applied without ensuring matching refractive indices of solvent and porous matrix in the present study. To test the capabilities of the method, the diffusion of spherical gold nanoparticles within the interconnected, periodic nanopores of inverse opals was analyzed. Despite the complexity of this system, which involves many interfaces and different refractive indices, a clear signal related to the motion of particles inside the porous media was obtained. As expected, the diffusive process inside the porous sample slowed down compared to the particle diffusion in free media. The obtained effective diffusion coefficients were found to be wave vector-dependent. They increased linearly with increasing spatial extension of the probed particle concentration fluctuations. On average, the slowing-down factor measured in this work agrees within combined uncertainties with literature data.

     

Synthesis and Reactivity of the First Isolated Hydrogen‐Bridged Silanol–Silanolate Anions

We report on the first examples of isolated silanol–silanolate anions, obtained by utilizing weakly coordinating phosphazenium counterions. The silanolate anions were synthesized from the recently published phosphazenium hydroxide hydrate salt with siloxanes. The silanol–silanolate anions are postulated intermediates in the hydroxide‐mediated polymerization of aryl and alkyl siloxanes. The silanolate anions are strong nucleophiles because of the weakly coordinating character of the phosphazenium cation, which is perceptible in their activity in polysiloxane depolymerization.