An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle

We prove lower bounds of the form exp(n^{ε d}), ε_d > 0, on the length of proofs of an explicit sequence of tautologies, based on the Pigeonhole Principle, in proof systems using formulas of depth d, for any constant d. This is the largest lower bound for the strongest proof system, for which any superpolynomial lower bounds are known.     

Use of the64Ni(36S,34,35Si)66,65Zn reactions to measure the masses of34Si and35Si

The ground-state masses of³⁵Si and³⁴Si have been measured using the reactions⁶⁴Ni(³⁶S,^35,34Si)^65,66Zn at a³⁶S beam energy of 198 MeV.^34,35Si¹⁴⁺ ions were analysed and identified in a QMG/2 magnetic spectrometer and gas-filled focal-plane detector. The experimental mass excess of³⁵Si was determined to be ?14.58± _0.12 ^0.07 MeV while that of³⁴Si was measured as ?19.961±0.034 MeV. A comparison is made with the results of mass model predictions.     

Studies of phosphazenes. Aminolysis reactions of pentachloro(2′, 2′, 2′-triphenyl-phosphazen-1′-yl) cyclotriphosphazene,N3P3Cl5(NPPh3)

The reactions of pentachloro(2′, 2′, 2′-triphenylphosphazen-1′-yl)cyclotriphosphazene, N₃P₃Cl₅(NPPh₃), with primary and secondary amines have been investigated using diethyl ether, methyl cyanid or benzene as the solvent. The structures of the products obtained, N₃P₃Cl_5minus;nR_n(NPPh₃) [n = 1, R = NHMe, NHBu^t, NMe₂, NC₅H₁₀, NEt₂; n = 2, R = NMe₂, NC₅H₁₀, NEt₂; n = 3, R = NMe₂, NHBu^t; n = 5, R = NMe₂] are elucidated by ¹H and ³¹P NMR spectroscopy. The ? NPPh₃ substituent exerts a pronounced geminal directing influence on incoming secondary amino nucleophiles; compounds containing a ≡ PCl(NPPh₃) group are not formed at the bis and subsequent stages of chlorine replacement. The reactions that involve primary amines follow the pattern established for the analogous reactions of hexachlorocyclotriphosphazene. The effect of solvent and possible mechanism(s) are discussed.     

The effect of photofrin on DNA strand breaks and base oxidation in HaCaT keratinocytes: a comet assay study

Photodynamic therapy (PDT) kills cells via the production of singlet oxygen and other reactive oxygen species. PDT causes chromosomal damage and mutation to cultured cells. However, DNA damage does not contribute to the phototoxic effect. To study the effect of Photofrin-PDT-induced DNA damage, we used the comet assay in combination with endonuclease III and formamidopyrimidine DNA glycosylase and a human keratinocyte cell line to investigate photogenotoxicity and its prevention by tocopherol (TOC). This study shows that PDT induced DNA damage in HaCaT cells at doses allowing cells to survive 7 days after irradiation. alpha-TOC did not prevent the acute cell lysis caused by Photofrin-PDT but did prevent Photofrin-PDT-induced DNA damage. However, the concentration of TOC that conferred protection (100 microM) was higher than is detected in human serum. Base oxidation was also measured using the comet assay. Although TOC could prevent frank DNA strand breaks caused by PDT, it was unable to decrease the level of base oxidation as revealed by enzyme-sensitive sites. It is suggested that the potential genotoxic risk from laser-PDT could be low, and that topical micro-TOC at a high concentration may be useful in preventing some types of DNA damage without preventing acute photolysis after Photofrin-PDT.