Source author record

Hong-Yi Chen

Hong-Yi Chen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

cond-mat.str-el cond-mat.dis-nn cond-mat.supr-con Logic in Computer Science Software Engineering

Catalog footprint

What is connected

7works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

Effects of single- and multi-substituted Zn ions in doped-122 type iron-based superconductors

Recent experiments on Zn-substituted 122-type iron-based superconductors (FeSCs) at electron- and hole- doped region provide us with a testing ground for understanding the effect of Zn impurities in these systems. Our first-principle calculations of the electronic structure reveal that the Zn 3d orbitals are far below the Fermi level and chemically inactive, while the Zn 4s-orbital is partially occupied and its wave function overlapping with those 3d-orbitals of neighboring Fe-ions. This suggests that the impurity effect is originating in the Zn 4s-orbital, not its 3d-orbitals. Employing a phenomenological two-orbital lattice model for 122-FeSCs and the self-consistent Bogoliubov-de Gennes equations, we study how the Zn-impurities suppress the superconductivity in electron- and hole- doped compounds. Our obtained results qualitatively agree with the experimental measurements.

preprint2015arXiv

Synthesising Interprocedural Bit-Precise Termination Proofs (extended version)

Proving program termination is key to guaranteeing absence of undesirable behaviour, such as hanging programs and even security vulnerabilities such as denial-of-service attacks. To make termination checks scale to large systems, interprocedural termination analysis seems essential, which is a largely unexplored area of research in termination analysis, where most effort has focussed on difficult single-procedure problems. We present a modular termination analysis for C programs using template-based interprocedural summarisation. Our analysis combines a context-sensitive, over-approximating forward analysis with the inference of under-approximating preconditions for termination. Bit-precise termination arguments are synthesised over lexicographic linear ranking function templates. Our experimental results show that our tool 2LS outperforms state-of-the-art alternatives, and demonstrate the clear advantage of interprocedural reasoning over monolithic analysis in terms of efficiency, while retaining comparable precision.

preprint2014arXiv

Simulating a two-dimensional frustrated spin system with fermionic resonating-valence-bond states

The frustrated Heisenberg $J_{1}-J_{2}$ model on a square lattice is numerically investigated by variational Monte Carlo simulations. We propose a antiferromagnetic fermion resonating-valence-bond (AF-fRVB) state that has ability to examine the entire phase diagram in the $J_{1}-J_{2}$ model. Two phase transition points, the second order around $J_{2}/J_{1}=0.45$ and the first order around $J_{2}/J_{1}=0.6$, can be extracted more clearly than the conventional bosonic RVB state. At the maximally frustrated point ($J_{2}/J_{1}=0.5$), the AF-fRVB state shows the variational ground-state energy in the thermodynamic limit very close to the one estimated by the projected entangled pair state at the largest bond dimension available. On the other hand, in the frustrated regime $0.4\lesssim J_{2}/J_{1}\leq0.5$, AF-fRVB states with $s_{+-}$ (using the terminology in the field of iron-based superconductors) and $d_{xy}$ pairing symmetries are degenerate in the thermodynamic limit, implying the existence of gapless Dirac excitations in the spinon spectrum.

preprint2012arXiv

Effect of nonlocal interactions on the disorder-induced zero-bias anomaly in the Anderson-Hubbard model

To expand the framework available for interpreting experiments on disordered strongly correlated systems, and in particular to explore further the strong-coupling zero-bias anomaly found in the Anderson-Hubbard model, we ask how this anomaly responds to the addition of nonlocal electron-electron interactions. We use exact diagonalization to calculate the single-particle density of states of the extended Anderson-Hubbard model. We find that for weak nonlocal interactions the form of the zero-bias anomaly is qualitatively unchanged. The energy scale of the anomaly continues to be set by an effective hopping amplitude renormalized by the nonlocal interaction. At larger values of the nonlocal interaction strength, however, hopping ceases to be a relevant energy scale and higher energy features associated with charge correlations dominate the density of states.

preprint2010arXiv

Analysis of the Disorder-Induced Zero Bias Anomaly in the Anderson-Hubbard Model

Using a combination of numerical and analytical calculations, we study the disorder-induced zero bias anomaly (ZBA) in the density of states of strongly-correlated systems modeled by the two dimensional Anderson-Hubbard model. We find that the ZBA comes from the response of the nonlocal inelastic self-energy to the disorder potential, a result which has implications for theoretical approaches that retain only the local self-energy. Using an approximate analytic form for the self-energy, we derive an expression for the density of states of the two-site Anderson-Hubbard model. Our formalism reproduces the essential features of the ZBA, namely that the width is proportional to the hopping amplitude $t$ and is independent of the interaction strength and disorder potential.

preprint2010arXiv

Effect of Strong Correlations on the Disorder-Induced Zero Bias Anomaly in the Two-Site Anderson-Hubbard Model

Several recent exact diagonalization calculations have established that the Anderson-Hubbard model has a disorder-induced zero bias anomaly (ZBA) (also called a disorder-induced pseudogap) in the density of states. In order to understand the physics of the ZBA, we study a simplified problem---an ensemble of two-site molecules with random site energies---for which analytical results are possible. For this ensemble, we examine how the ZBA forms in both the weakly correlated (mean field) and strongly correlated limits. In the weakly correlated case, the ZBA can be understood as the result of level repulsion between bonding and antibonding molecular orbitals. A similar level repulsion occurs in the strongly correlated case too, but a larger contribution to the ZBA comes from the suppression of a triplet excitation mode. This inherently many-body mechanism does not have a counterpart in mean-field models.

preprint2003arXiv