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.     

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.     

Wavelet Collocation Methods for a First Kind Boundary Integral Equation in Acoustic Scattering

In this paper we consider a wavelet algorithm for the piecewise constant collocation method applied to the boundary element solution of a first kind integral equation arising in acoustic scattering. The conventional stiffness matrix is transformed into the corresponding matrix with respect to wavelet bases, and it is approximated by a compressed matrix. Finally, the stiffness matrix is multiplied by diagonal preconditioners such that the resulting matrix of the system of linear equations is well conditioned and sparse. Using this matrix, the boundary integral equation can be solved effectively.