Quantum simulation of Maxwell's equations via Schr\"odingersation

We present quantum algorithms for electromagnetic fields governed by Maxwell's equations. The algorithms are based on the Schr\"odingersation approach, which transforms any linear PDEs and ODEs with non-unitary dynamics into a system evolving under unitary dynamics, via a warped phase transformation that maps the equation into one higher dimension. In this paper, our quantum algorithms are based on either a direct approximation of Maxwell's equations combined with Yee's algorithm, or a matrix representation in terms of Riemann-Silberstein vectors combined with a spectral approach and an upwind scheme. We implement these algorithms with physical boundary conditions, including perfect conductor and impedance boundaries. We also solve Maxwell's equations for a linear inhomogeneous medium, specifically the interface problem. Several numerical experiments are performed to demonstrate the validity of this approach. In addition, instead of qubits, the quantum algorithms can also be formulated in the continuous variable quantum framework, which allows the quantum simulation of Maxwell's equations in analog quantum simulation

Description of the newly observed Ξc0\Xi_c^{0} states as molecular states

Very recently, three new structures $\Xi_c(2923)^0$, $\Xi(2938)^0$, and $\Xi(2964)^0$ at the invariant mass spectrum of $\Lambda_c^{+}K^{-}$ observed by the LHCb Collaboration triggers a hot discussion about their inner structure. In this work, we study the strong decay mode of the newly observed $\Xi_c$ assuming that the $\Xi_c$ is a $\bar{D}\Lambda-\bar{D}\Sigma$ molecular state. With the possible quantum numbers $J^p=1/2^{\pm}$ and $3/2^{\pm}$, the partial decay widths of the $\bar{D}\Lambda-\bar{D}\Sigma$ molecular state into the $\Lambda_c^{+}K^{-}$, $\Sigma_c^{+}K^{-}$,and $\Xi_c^{+}\pi^{-}$ final states through hadronic loop are calculated with the help of the effective Lagrangians. By comparison with the LHCb observation, the current results of total decay width support the $\Xi(2923)^0$ as $\bar{D}\Lambda-\bar{D}\Sigma$ molecule while the decay width of the $\Xi_c(2938)^0$ and $\Xi(2964)^0$ can not be well reproduced in the molecular state picture. In addition, the calculated partial decay widths with $S$ wave $\bar{D}\Lambda-\bar{D}\Sigma$ molecular state picture indicate that allowed decay modes, $\Xi_c^{+}\pi^{-}$, may have the biggest branching ratios for the $\Xi_c(2923)$. The experimental measurements for this strong decay process could be a crucial test for the molecule interpretation of the $\Xi_c(2923)$.Comment: arXiv admin note: text overlap with arXiv:1002.0218 by other author

Bis(4-fluoro­benz­yl)bis­(4-phenyl-5-sulfanyl­idene-4,5-dihydro-1,3,4-thio­diazole-2-thiol­ato)tin(IV)

In the title complex, [Sn(C7H6F)2(C8H5N2S3)2], including the weak Sn—N inter­actions, the SnIV atom is situated in a distorted trans-octa­hedral geometry, and the equatorial plane is defined by two chelating 4-phenyl-5-sulfanyl­idene-4,5-dihydro-1,3,4-thio­diazole-2-thiol­ate ligands. The apical positions are occupied by two C atoms of 4-fluoro­benzyl groups

An improved nuclear mass formula with a unified prescription for the shell and pairing corrections

An improvedmacroscopic-microscopic nuclear mass formula is presented in which shell and pairing effects are simultaneously evaluated by a procedure similar to Strutinsky method. The coefficients of the macroscopic-microscopic mass formula have been adjusted on 2267 experimental atomic masses extracted from the atomic mass evaluation of 2012 (AME2012). Same as inthe Weizsäcker-Skyrme (WS) model, the influence of the nuclear deformation on the macroscopic energy as well as the mirror nuclei constraint istaken into account, and for the sake of the consistency of the model parameters between the macroscopic and the microscopic parts we approximate the isospin-dependent component of the macroscopic energy to the depth of the Woods-Saxon potential. As a result, the root-mean square (rms) deviation with respect to 2267 measured nuclear masses is 0.493MeV. Then,based on the fitted formula we predict the remaining 988 nuclei from the AME2012 for which the masses are still unknown or not well-known, and calculate the α-decay energies of seven chains in the superheavy nuclei region with Z=117 and 118

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications. Although there is an extensive literature on qualitative properties such as safety and liveness, there is still a lack of quantitative and uncertain property verifications for these systems. In uncertain environments, agents must make judicious decisions based on subjective epistemic. To verify epistemic and measurable properties in multi-agent systems, this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge (FCTLK). We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems. In addition, we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures, as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic (FCTL) formulas. Accordingly, we transform the FCTLK model checking problem into the FCTL model checking. This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads. Finally, we present correctness proofs and complexity analyses of the proposed algorithms. Additionally, we further illustrate the practical application of our approach through an example of a train control system

De novo transcriptome sequencing and comprehensive analysis of the drought-responsive genes in the desert plant Cynanchum komarovii

The figure of an agarose gel with PCR products. (TIFF 11899 kb

Association of TRB3 Q84R polymorphism with polycystic ovary syndrome in Chinese women

<p>Abstract</p> <p>Background</p> <p>Tribbles 3 (TRB3) affects insulin signalling by inhibiting insulin-stimulated Akt phosphorylation and subsequent activation. A single nucleotide polymorphism located in the second extron of the human TRB3 gene is thought to be associated with insulin resistance. The latter is a core abnormality in PCOS independent of obesity. The present study was designed to clarify the relationships of TRB3 Q84R polymorphism with PCOS in a Chinese women group.</p> <p>Methods</p> <p>A case-control study with two groups: PCOS group (n = 336) and control group of infertility women for tubal and/or male factor (n = 116) was performed. Genotyping of the TRB3 R84 variant was determined by polymerase chain reaction-restriction fragment length polymorphism (PCR-RFLP).</p> <p>Results</p> <p>The frequency of genotype QQ in PCOS women was significantly lower, while genotype QR and RR were significantly higher than that in control group (p < 0.05). However, the difference disappeared after adjustment for BMI. At glucose1h, glucose2h and insulin2h point, the difference between QQ individuals and R84 allele carriers in PCOS women reached statistical significance during OGTT (p < 0.05).</p> <p>Conclusions</p> <p>TRB3 Q84R polymorphism is associated with obesity and especially glucose metabolism and not associated with polycystic ovary syndrome because of compositional characteristics of phenotype in Chinese PCOS women.</p