Negatively Charged Metallacarborane Redox Couples with Both Members Stable to Air

The metallacarborane [3,3′‐Co(1,2‐closo‐C₂B₉H₁₁)₂]^? has been synthesized. This species allows the formation of redox couples in which both partners are negatively charged. The E_1/2 potential can be tuned by adjusting the nature and number of substituents on B and C. The octaiodinated species [3,3′‐Co(1,2‐closo‐C₂B₉H₇I₄)₂]^? is the most favorable, as it is isolatable and stable in air. A DFT study on stability and redox potentials of complexes has been performed.     

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.     

Asymptotic Behavior of Least Energy Solutions for a Fractional Laplacian Eigenvalue Problem on ℝN

Acta Mathematica Sinica, English Series - We are interested in the existence and asymptotic behavior for the least energy solutions of the following fractional eigenvalue problem $$\left({\rm{P}}...     

Pure tetrahedral quadruple systems with index two

An oriented tetrahedron defined on four vertices is a set of four cyclic triples with the property that any ordered pair of vertices is contained in exactly one of the cyclic triples. A tetrahedral quadruple system of order $n$ with index $\lambda$, denoted by ${\text{TQS}}_{\lambda }\left(n\right)$, is a pair $\left(X,\mathrm{?}\right)$, where $X$ is an $n$‐set and $\mathrm{?}$ is a set of oriented tetrahedra (blocks) such that every cyclic triple on $X$ is contained in exactly $\lambda$ members of $\mathrm{?}$. A ${\text{TQS}}_{\lambda }\left(n\right)$ is pure if there do not exist two blocks with the same vertex set. When $\lambda =1$, the spectrum of a pure TQS $\left(n\right)$ has been completely determined by Ji. In this paper, we show that there exists a pure ${\text{TQS}}_2\left(n\right)$ if and only if $n\equiv 1,2\left(\mathrm{mod}3\right)$ and $n\ge 7$. A corollary is that a simple ${\text{QS}}_4\left(n\right)$ also exists if and only if $n\equiv 1,2\left(\mathrm{mod}3\right)$ and $n\ge 7$.     

Excited-State Dynamics of Non-Luminescent and Luminescent π-Radicals

Recently, the potential use of organic π-radicals and related spin systems has been expanded to modern technological applications. The unique excited-state dynamics of organic π-radicals can be useful to improve the stability of photochemically unstable organic compounds, make the polarization transfer applicable to information technology, and achieve effective up-conversion of interest for luminescence bioimaging, among others. Furthermore, highly luminescent stable π-radicals have been recently reported, which are especially interesting for application in organic light-emitting devices owing to their potential to provide an internal quantum efficiency of 100 %. Thus, the excited-state nature of stable π-radicals as well as the control of their excited-state spin dynamics are emerging topics both in terms of fundamental science and related technological applications. In this minireview, we focus on the excited-state dynamics of both photostable non(weakly)-luminescent and luminescent π-radicals, which are opposites of each other. In particular, we cover the following topics: 1) effective generation of high-spin photoexcited states and control of the excited-state dynamics by using non-luminescent π-radicals, 2) unique excited-state dynamics of luminescent π-radicals and radical excimers, and 3) applications utilizing excited-state dynamics of π-radicals.     

A DNA Switch for Detecting Single Nucleotide Polymorphism within a Long DNA Sequence Under Denaturing Conditions

DNA detection is usually conducted under nondenaturing conditions to favor the formation of Watson–Crick base-paring interactions. However, although such a setting is excellent for distinguishing a single-nucleotide polymorphism (SNP) within short DNA sequences (15–25 nucleotides), it does not offer a good solution to SNP detection within much longer sequences. Here we report on a new detection method capable of detecting SNP in a DNA sequence containing 35–90 nucleotides. This is achieved through incorporating into the recognition DNA sequence a previously discovered DNA molecule that forms a stable G-quadruplex in the presence of 7 molar urea, a known condition for denaturing DNA structures. The systems are configured to produce both colorimetric and fluorescent signals upon target binding.     

Time-dependent Ginzburg–Landau equations for multi-gap superconductors

We numerically solve the time-dependent Ginzburg–Landau equations for two-gap superconductors using the finite-element technique. The real-time simulation shows that at low magnetic field, the vortices in small-size samples tend to form clusters or other disorder structures. When the sample size is large, stripes appear in the pattern. These results are in good agreement with the previous experimental observations of the intriguing anomalous vortex pattern, providing a reliable theoretical basis for the future applications of multi-gap superconductors.     

Lipase‐Supported Metal–Organic Framework Bioreactor Catalyzes Warfarin Synthesis

A green and sustainable strategy synthesizes clinical medicine warfarin anticoagulant by using lipase‐supported metal–organic framework (MOF) bioreactors (see scheme). These findings may be beneficial for future studies in the industrial production of chemical, pharmaceutical, and agrochemical precursors.     

Bimetallic Covalent Organic Frameworks for Constructing Multifunctional Electrocatalyst

Covalent organic frameworks (COFs) are a new class of crystalline porous polymers comprised mainly of carbon atoms, and are versatile for the integration of heteroatoms such as B, O, and N into the skeletons. The designable structure and abundant composition render COFs useful as precursors for heteroatom-doped porous carbons for energy storage and conversion. Herein, we describe a multifunctional electrochemical catalyst obtained through pyrolysis of a bimetallic COF. The catalyst possesses hierarchical pores and abundant iron and cobalt nanoparticles embedded with standing carbon layers. By integrating these features, the catalyst exhibits excellent electrochemical catalytic activity in the oxygen reduction reaction (ORR), with a 50 mV positive half-wave potential, a higher limited diffusion current density, and a much smaller Tafel slope than a Pt-C catalyst. Moreover, the catalyst displays superior electrochemical performance toward the hydrogen evolution reaction (HER), with overpotentials of −0.26 V and −0.33 V in acidic and alkaline aqueous solution, respectively, at a current density of 10 mA cm⁻². The overpotential in the catalysis of the oxygen evolution reaction (OER) was 1.59 V at the same current density.     

Comprehensive Profiling by Non-targeted Stable Isotope Tracing Capillary Electrophoresis-Mass Spectrometry: A New Tool Complementing Metabolomic Analyses of Polar Metabolites

Mass spectrometry (MS) driven metabolomics is a frequently used tool in various areas of life sciences; however, the analysis of polar metabolites is less commonly included. In general, metabolomic analyses lead to the detection of the total amount of all covered metabolites. This is currently a major limitation with respect to metabolites showing high turnover rates, but no changes in their concentration. Such metabolites and pathways could be crucial metabolic nodes (e.g., potential drug targets in cancer metabolism). A stable-isotope tracing capillary electrophoresis–mass spectrometry (CE-MS) metabolomic approach was developed to cover both polar metabolites and isotopologues in a non-targeted way. An in-house developed software enables high throughput processing of complex multidimensional data. The practicability is demonstrated analyzing [U-¹³C]-glucose exposed prostate cancer and non-cancer cells. This CE-MS-driven analytical strategy complements polar metabolite profiles through isotopologue labeling patterns, thereby improving not only the metabolomic coverage, but also the understanding of metabolism.