arXiv subjects

Lijun Zhang

Publications and source records attributed to Lijun Zhang.

310 records · Page 18Linked to original sources

arXiv2008

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations

Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilistic automata. However, decision algorithms for strong and weak simulation over Markov chains, and for strong simulation over probabilistic automata are not efficient, which makes it as yet unclear whether they can be used as effectively as their non-probabilistic counterparts. This paper presents drastically improved algorithms to decide whether some (discrete- or continuous-time) Markov chain strongly or weakly simulates another, or whether a probabilistic automaton strongly simulates another. The key innovation is the use of parametric maximum flow techniques to amortize computations. We also present a novel algorithm for deciding strong probabilistic simulation preorders on probabilistic automata, which has polynomial complexity via a reduction to an LP problem. When extending the algorithms for probabilistic automata to their continuous-time counterpart, we retain the same complexity for both strong and strong probabilistic simulations.

cs.LO↗

arXiv2008

Possible Superconductivity in Fe-Sb Based Materials: Density Functional Study of LiFeSb

We investigate the electronic and other properties of the hypothetical compound LiFeSb in relation to superconducting LiFeAs and FeSe using density functional calculations. The results show that LiFeSb in the LiFeAs structure would be dynamically stable in the sense of having no unstable phonon modes, and would have very similar electronic and magnetic properties to the layered Fe based superconductors. Importantly, a very similar structure for the Fermi surface and a spin density wave related to but stronger than that in the corresponding As compound is found. These results are indicative of possible superconductivity analogous to the Fe-As based compounds if the spin density wave can be suppressed by doping or other means. Prospects for synthesizing this material in pure form or in solid solution with FeTe are discussed.

cond-mat.supr-con↗

arXiv2008

Density Functional Study of Excess Fe in Fe$_{1+x}$Te: Magnetism and Doping

The electronic and magnetic properties of the excess Fe in iron telluride Fe$_{(1+x)}$Te are investigated by density functional calculations. We find that the excess Fe occurs with valence near Fe$^{+}$, and therefore provides electron doping with approximately one carrier per Fe, and furthermore that the excess Fe is strongly magnetic. Thus it will provide local moments that interact with the plane Fe magnetism, and these are expected to persist in phases where the magnetism of the planes is destroyed for example by pressure or doping. These results are discussed in the context of superconductivity.

cond-mat.supr-con↗

arXiv2008

Density functional study of FeS, FeSe and FeTe: Electronic structure, magnetism, phonons and superconductivity

We report density functional calculations of the electronic structure, Fermi surface, phonon spectrum, magnetism and electron-phonon coupling for the superconducting phase FeSe, as well as the related compounds FeS and FeTe. We find that the Fermi surface structure of these compounds is very similar to that of the Fe-As based superconductors, with cylindrical electron sections at the zone corner, cylindrical hole surface sections, and depending on the compound, other small hole sections at the zone center. As in the Fe-As based materials, these surfaces are separated by a 2D nesting vector at ($π$,$π$). The density of states, nesting and Fermi surface size increase going from FeSe to FeTe. Both FeSe and FeTe show spin density wave ground states, while FeS is close to an instability. In a scenario where superconductivity is mediated by spin fluctuations at the SDW nesting vector, the strongest superconductor in this series would be doped FeTe.

cond-mat.supr-con↗