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.     

Microwave‐assisted polycondensation of 4‐octylaniline with dibromoarylene

The Pd‐catalyzed polycondensation of 4‐octylaniline with various dibromoarylenes was carried out under microwave heating. Microwave heating led to a decrease in the reaction time and an increase in the molecular weight of the polymers as compared to conventional heating. Microwave heating also allowed the catalyst loading to be reduced to 1 mol %, yielding polymerization results that were comparable to those under conventional heating and 5 mol % catalyst. Investigations regarding field‐effect transistors and organic photovoltaic cells using the obtained poly(arylamine) with azobenzene units revealed that increasing the molecular weight of the polymer led to improved device performance, including hole mobility and power conversion efficiency. © 2014 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 536–542     

A paper-based resonance energy transfer nucleic acid hybridization assay using upconversion nanoparticles as donors and quantum dots as acceptors

Monodisperse aqueous upconverting nanoparticles (UCNPs) were covalently immobilized on aldehyde modified cellulose paper via reduction amination to develop a luminescence resonance energy transfer (LRET)-based nucleic acid hybridization assay. This first account of covalent immobilization of UCNPs on paper for a bioassay reports an optically responsive method that is sensitive, reproducible and robust. The immobilized UCNPs were decorated with oligonucleotide probes to capture HPRT1 housekeeping gene fragments, which in turn brought reporter conjugated quantum dots (QDs) in close proximity to the UCNPs for LRET. This sandwich assay could detect unlabeled oligonucleotide target, and had a limit of detection of 13 fmol and a dynamic range spanning nearly 3 orders of magnitude. The use of QDs, which are excellent LRET acceptors, demonstrated improved sensitivity, limit of detection, dynamic range and selectivity compared to similar assays that have used molecular fluorophores as acceptors. The selectivity of the assay was attributed to the decoration of the QDs with polyethylene glycol to eliminate non-specific adsorption. The kinetics of hybridization were determined to be diffusion limited and full signal development occurred within 3 min.     

An inequality connecting entropy distance,Fisher Information and large deviations

In this paper we introduce a new generalisation of the relative Fisher Information for Markov jump processes on a finite or countable state space, and prove an inequality which connects this object with the relative entropy and a large deviation rate functional. In addition to possessing various favourable properties, we show that this generalised Fisher Information converges to the classical Fisher Information in an appropriate limit. We then use this generalised Fisher Information and the aforementioned inequality to qualitatively study coarse-graining problems for jump processes on discrete spaces.     

Small activation entropy bestows high-stability of nanoconfined D-mannitol

It has been a long-standing puzzling problem that some glasses exhibit higher glass transition temperatures(denoting high stability) but lower activation energy for relaxations(denoting low stability). In this paper, the relaxation kinetics of the nanoconfined D-mannitol(DM) glass was studied systematically using a high-precision and high-rate nanocalorimeter.The nanoconfined DM exhibits enhanced thermal stability compared to the free DM. For example, the critical cooling rate for glass formation decreases from 200 K/s to below 1 K/s; the Tg increases by about 20 K–50 K. The relaxation kinetics is analyzed based on the absolute reaction rate theory. It is found that, even though the activation energy E~*decreases,the activation entropy S~*decreases much more for the nanoconfined glass that yields a large activation free energy G~*and higher thermal stability. These results suggest that the activation entropy may provide new insights in understanding the abnormal kinetics of nanoconfined glassy systems.     

An Improved Composite Multiscale Fuzzy Entropy for Feature Extraction of MI-EEG

Motor Imagery Electroencephalography (MI-EEG) has shown good prospects in neurorehabilitation, and the entropy-based nonlinear dynamic methods have been successfully applied to feature extraction of MI-EEG. Especially based on Multiscale Fuzzy Entropy (MFE), the fuzzy entropies of the τ coarse-grained sequences in τ scale are calculated and averaged to develop the Composite MFE (CMFE) with more feature information. However, the coarse-grained process fails to match the nonstationary characteristic of MI-EEG by a mean filtering algorithm. In this paper, CMFE is improved by assigning the different weight factors to the different sample points in the coarse-grained process, i.e., using the weighted mean filters instead of the original mean filters, which is conductive to signal filtering and feature extraction, and the resulting personalized Weighted CMFE (WCMFE) is more suitable to represent the nonstationary MI-EEG for different subjects. All the WCMFEs of multi-channel MI-EEG are fused in serial to construct the feature vector, which is evaluated by a back-propagation neural network. Based on a public dataset, extensive experiments are conducted, yielding a relatively higher classification accuracy by WCMFE, and the statistical significance is examined by two-sample t-test. The results suggest that WCMFE is superior to the other entropy-based and traditional feature extraction methods.     

Potts models with magnetic field: Arithmetic,geometry, and computation

We give a sheaf theoretic interpretation of Potts models with external magnetic field, in terms of constructible sheaves and their Euler characteristics. We show that the polynomial countability question for the hypersurfaces defined by the vanishing of the partition function is affected by changes in the magnetic field: elementary examples suffice to see non-polynomially countable cases that become polynomially countable after a perturbation of the magnetic field. The same recursive formula for the Grothendieck classes, under edge-doubling operations, holds as in the case without magnetic field, but the closed formulae for specific examples like banana graphs differ in the presence of magnetic field. We give examples of computation of the Euler characteristic with compact support, for the set of real zeros, and find a similar exponential growth with the size of the graph. This can be viewed as a measure of topological and algorithmic complexity. We also consider the computational complexity question for evaluations of the polynomial, and show both tractable and NP-hard examples, using dynamic programming.     

Fused vs. spiro: Kinetic,not thermodynamic preference may direct the reaction of α-carbonyl oxonium ylides

Rh(II)-catalyzed decomposition of certain cyclic α-diazocarbonyl compounds in the presence of cyclic ethers has been shown to give bicyclic ring expansion products. These are thought to arise from a [1,4]-alkyl shift toward the carbonyl oxygen atom and are in contrast with the recently observed spirocyclic products of a Stevens-type [1,2]-alkyl shift within the postulated oxonium ylide intermediate. Quantum chemical calculations performed at the B3LYP/6-31G* level of theory showed that the former reaction pathway (toward fused bicycles) is kinetically preferred.     

Radiation bursts from particles in the field of compact, impenetrable, astrophysical objects

The radiation emitted by charged, scalar particles in a Schwarzschild field with maximal acceleration corrections is calculated classically and in the tree approximation of quantum field theory. In both instances the particles emit radiation that has characteristics similar to those of gamma-ray bursters.