A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Validated Stability-Indicating GC-MS Method for Characterization of Forced Degradation Products of Trans-Caffeic Acid and Trans-Ferulic Acid

When dealing with simple phenols such as caffeic acid (CA) and ferulic acid (FA), found in a variety of plants, it is very important to have control over the most important factors that accelerate their degradation reactions. This is the first report in which the stabilities of these two compounds have been systematically tested by exposure to various different factors. Forced degradation studies were performed on pure standards (trans-CA and trans-FA), dissolved in different solvents and exposed to different oxidative, photolytic and thermal stress conditions. Additionally, a rapid, sensitive, and selective stability-indicating gas chromatographic-mass spectrometric method was developed and validated for determination of trans-CA and trans-FA in the presence of their degradation products. Cis-CA and cis-FA were confirmed as the only degradation products in all the experiments performed. All the compounds were perfectly separated by gas chromatography (GC) and identified using mass spectrometry (MS), a method that additionally elucidated their structures. In general, more protic solvents, higher temperatures, UV radiation and longer storage times led to more significant degradation (isomerization) of both trans-isomers. The most progressive isomerization of both compounds (up to 43%) was observed when the polar solutions were exposed to daylight at room temperature for 1 month. The method was validated for linearity, precision as repeatability, limit of detection (LOD) and limit of quantitation (LOQ). The method was confirmed as linear over tested concentration ranges from 1−100 mg L⁻¹ (r²s were above 0.999). The LOD and LOQ for trans-FA were 0.15 mg L⁻¹ and 0.50 mg L⁻¹, respectively. The LOD and LOQ for trans-CA were 0.23 mg L⁻¹ and 0.77 mg L⁻¹, respectively.     

A self-penetrating and chemically stable zinc (ii)-organic framework as multi-responsive chemo-sensor to detect pesticide and antibiotics in water

Guided by the self-penetrating features can improve the stability of metal organic frameworks (MOFs), an unprecedented 3D self-penetrated framework, {[Zn (tptc)_0.5(bimb)]·H₂O}_n ( NUC-6 , here NUC corresponding to North University of China), with 3D (4,4)-c {8⁶} net, was designed. Benefit from the high chemical stability and excellent luminescent property, NUC-6 can be act as an efficient multi-response chemo-sensor in detecting dichloronitroaniline pesticide and nitrofuran antibiotics in water with the detection limits are 116 ppb for DCN pesticide, 16 ppb for NFT antibiotic, and 12 ppb for NTZ antibiotic. Besides, the mechanisms of luminescence quenching were revealed from the viewpoint of internal filter effect (IFE) and photo-induced electron transfer (PET), implied by the optical spectroscopy and quantum chemical calculation. This work provides a promising strategy to design stable MOFs by improving the self-penetrating features and to expand their practical applications in the detection of organic pollutants in aqueous medium.     

Finite‐size corrections at the hard edge for the Laguerre β ensemble

A fundamental question in random matrix theory is to quantify the optimal rate of convergence to universal laws. We take up this problem for the Laguerre β ensemble, characterized by the Dyson parameter β, and the Laguerre weight , in the hard edge limit. The latter relates to the eigenvalues in the vicinity of the origin in the scaled variable . Previous work has established the corresponding functional form of various statistical quantities—for example, the distribution of the smallest eigenvalue, provided that . We show, using the theory of multidimensional hypergeometric functions based on Jack polynomials, that with the modified hard edge scaling , the rate of convergence to the limiting distribution is , which is optimal. In the case , general the explicit functional form of the distribution of the smallest eigenvalue at this order can be computed, as it can for and general . An iterative scheme is presented to numerically approximate the functional form for general .     

Two-dimensional vortex sheets for the nonisentropic Euler equations: Nonlinear stability

We show the short-time existence and nonlinear stability of vortex sheets for the nonisentropic compressible Euler equations in two spatial dimensions, based on the weakly linear stability result of Morando and Trebeschi (2008) [20]. The missing normal derivatives are compensated through the equations of the linearized vorticity and entropy when deriving higher-order energy estimates. The proof of the resolution for this nonlinear problem follows from certain a priori tame estimates on the effective linear problem in the usual Sobolev spaces and a suitable Nash–Moser iteration scheme.     

Sobolev Stability of Plane Wave Solutions to the Nonlinear Schrödinger Equation

This article explores the questions of long time orbital stability in high order Sobolev norms of plane wave solutions to the NLSE in the defocusing case.     

Quinones for redox flow batteries

Quinones are electroactive species that have shown great promise for redox flow batteries due to the ability to tune their properties and to act as both negative and positive electrolytes. The following review outlines highlights of work in the last couple of years working to provide materials with higher stability, solubility, and performance. Developments toward stable negolytes have provided opportunities for potential commercial opportunities when paired with alternate chemistries. However, the stability of quinones in high potential electrolytes is still not sufficient and the number of potential quinones limited.