The unsatisfiability threshold revisited

The problem of determining the unsatisfiability threshold for random 3-SAT formulas consists in determining the clause to variable ratio that marks the experimentally observed abrupt change from almost surely satisfiable formulas to almost surely unsatisfiable. Up to now, there have been rigorously established increasingly better lower and upper bounds to the actual threshold value. In this paper, we consider the problem of bounding the threshold value from above using methods that, we believe, are of interest on their own right. More specifically, we show how the method of local maximum satisfying truth assignments can be combined with results for the occupancy problem in schemes of random allocation of balls into bins in order to achieve an upper bound for the unsatisfiability threshold less than 4.571. In order to obtain this value, we establish a bound on the q-binomial coefficients (a generalization of the binomial coefficients). No such bound was previously known, despite the extensive literature on q-binomial coefficients. Finally, to prove our result we had to establish certain relations among the conditional probabilities of an event in various probabilistic models for random formulas. It turned out that these relations were considerably harder to prove than the corresponding ones for unconditional probabilities, which were previously known.     

L1-optimal estimates for a regression type function in R

Let X₁, X₂, …, X_n be random vectors that take values in a compact set in R^d, d ≥ 1. Let Y₁, Y₂, …, Y_n be random variables (“the responses”) which conditionally on X₁ = x₁, …, X_n = x_n are independent with densities f(y | x_i, θ(x_i)), i = 1, …, n. Assuming that θ lives in a sup-norm compact space Θ_q,d of real valued functions, an optimal L₁-consistent estimator of θ is constructed via empirical measures. The rate of convergence of the estimator to the true parameter θ depends on Kolmogorov's entropy of Θ_q,d.     

Novel fiber-optic biosensor based on immobilized glutathione S-transferase and sol–gel entrapped bromcresol green for the determination of atrazine

The aim of this work was to investigate, for the first time, the potential of the enzyme glutathione S-transferase I (isoenzyme GST-I) for uses in analytical chemistry. A novel fiber-optic biosensor for the detection and determination of the triazine herbicide atrazine was developed based on maize GST-I expressed in E. coli. The sensing bioactive material was a three-layer mini-sandwich. The enzyme was immobilized on the outer layer that consisted of a hydrophilic polyvinylidenefluoride membrane. This membrane was supported on an inner glass disk by means of an intermediate binder sol–gel layer that incorporated bromcresol green (BCG). The biosensor operated in a static mode at 25 °C and the rate of the enzymatic reaction, using atrazine as a substrate, served as an analytical signal. A calibration curve was obtained for atrazine, with analytically useful concentration range 2.52–125 μM. The sensor detection limit was 0.84 μM. The reproducibility of atrazine sensing was in the order of ±3–5%. The method was successfully applied to the determination of this herbicide in real water samples, without sample preparation steps. Atrazine recovery ranged between 85 and 110%. No interference from other pesticides, such as alachlor and carbaryl was observed in the absence of atrazine. The immobilized enzyme retained about 75% of its original activity after 1 month use. Simply unscrewing the terminal holding ring of the probe and placing a new bioactive sandwich could easily replace a deteriorated mini-sandwich.     

Employment of 4-(1-imidazolyl)phenol as a luminol signal enhancer in a competitive-type chemiluminescence immunoassay and its comparison with the conventional antigen-horseradish peroxidase conjugate-based assay

This study describes the employment of a novel imidazole-substituted phenol [4-(1-imidazolyl)phenol] as a highly potent signal enhancer in a horseradish peroxidase (HRP)-luminol chemiluminescence (CL) immunoassay. This competitive-type immunoassay for the model antigen fentanyl is based on the use of fentanyl polyclonal antibody immobilized on white microtiter plates and a biotinylated bovine serum albumin (BSA)-fentanyl derivative as a tracer. The latter was detected by means of streptavidin labeled with HRP, resulting in the generation of a high-intensity and relatively stable chemiluminescent signal, immediately after the addition of the substrate solution (NOAS). The developed method fulfilled the requirements of accuracy (percentage recovery ranged from 93.8 to 107%) and precision (intra- and inter-assay CVs were 2.5-5.2 and 4.5-11.9%, respectively). Its plasma detection limit (1.05 pg ml⁻¹) was lower than those of previous immunoassays. The novel assay was compared in terms of sensitivity and concentration range with other common HRP substrate systems: luminol-p-iodophenol-H₂O₂ and TMB-H₂O₂. Finally, the described method was compared with an HRP-fentanyl conjugate-based assay, similar to commercially available kits (SKIT), employing the novel substrate solution for both assays and the differences observed were explained by applying previously described models. The detection limit was 4.82 pg ml⁻¹ for SKIT, recovery values were 94.2-105% and intra- and inter-assay CVs were 2.5-5.2 and 4.5-11.9%, respectively. In conclusion, the proposed assay could be utilized for a wide range of molecules and replace the existing enzyme-labeled antigen-based kits.     

Photoinitiated polymerization of methyl methacrylate with benzoin methyl ether. III. Independent photogeneration of the ether radical

Evidence is presented for initiation of MMA polymerization by the α-methoxybenzyl (ether) radical, photogenerated by H abstraction from benzyl methyl ether, utilizing benzophenone as the H-ab-stracting agent. The results support previous reports on the initiating ability of ether radical, photogenerated from ¹⁴C-labeled benzoin methyl ethers. Independent generation of one or both of the radicals derived from unsymmetrical initiators is more broadly applicable. The potential utility of this technique for providing insights into the photoefficiencies of commercially important photoinitiators, which produce initiator radicals by intramolecular bond cleavage, is discussed.