Showing 1–5 of 5 results for author: Han, X J

Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats

Authors: Wesley Joon-Wie Tann, Xing Jie Han, Sourav Sen Gupta, Yew-Soon Ong

Abstract: Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation depth to search vulnerable execution paths, and the search time increases with depth. The number of contracts on blockchains like Ethereum has increased 176 fold… ▽ More Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation depth to search vulnerable execution paths, and the search time increases with depth. The number of contracts on blockchains like Ethereum has increased 176 fold since December 2015. If these symbolic tools fail to analyze the increasingly large number of contracts in time, entire classes of exploits could cause irrevocable damage. In this paper, we aim to have safer smart contracts against emerging threats. We propose the approach of sequential learning of smart contract weaknesses using machine learning---long-short term memory (LSTM)---that allows us to be able to detect new attack trends relatively quickly, leading to safer smart contracts. Our experimental studies on 620,000 smart contracts prove that our model can easily scale to analyze a massive amount of contracts; that is, the LSTM maintains near constant analysis time as contracts increase in complexity. In addition, our approach achieves $99\%$ test accuracy and correctly analyzes contracts that were false positive (FP) errors made by a symbolic tool. △ Less

Submitted 7 June, 2019; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: 10 pages

Reorthonormalization of Chebyshev matrix product states for dynamical correlation functions

Authors: H. D. Xie, R. Z. Huang, X. J. Han, X. Yan, H. H. Zhao, Z. Y. Xie, H. J. Liao, T. Xiang

Abstract: The Chebyshev expansion offers a numerically efficient and easy-implement algorithm for evaluating dynamic correlation functions using matrix product states (MPS). In this approach, each recursively generated Chebyshev vector is approximately represented by an MPS. However, the recurrence relations of Chebyshev polynomials are broken by the approximation, leading to an error which is accumulated w… ▽ More The Chebyshev expansion offers a numerically efficient and easy-implement algorithm for evaluating dynamic correlation functions using matrix product states (MPS). In this approach, each recursively generated Chebyshev vector is approximately represented by an MPS. However, the recurrence relations of Chebyshev polynomials are broken by the approximation, leading to an error which is accumulated with the increase of the order of expansion. Here we propose a reorthonormalization approach to remove this error introduced in the loss of orthogonality of the Chebyshev polynomials. Our approach, as illustrated by comparison with the exact results for the one-dimensional XY and Heisenberg models, improves significantly the accuracy in the calculation of dynamical correlation functions. △ Less

Submitted 25 November, 2017; originally announced November 2017.

Comments: 9 pages, 8 figures

Journal ref: Phys. Rev. B 97, 075111 (2018)

Charge dynamics of the antiferromagnetically ordered Mott insulator

Authors: X. J. Han, Y. Liu, Z. Y. Liu, X. Li, J. Chen, Z. Y. Xie, B. Normand, T. Xiang

Abstract: We study the charge dynamics of the half-filled Hubbard model on the square lattice at zero temperature. We employ a slave-fermion formulation in which the charge degrees of freedom are represented by fermionic holons and doublons and the bosonic spin degrees of freedom are assumed to be described by the antiferromagnetic Heisenberg model. The ground state has long-ranged magnetic (Néel) order and… ▽ More We study the charge dynamics of the half-filled Hubbard model on the square lattice at zero temperature. We employ a slave-fermion formulation in which the charge degrees of freedom are represented by fermionic holons and doublons and the bosonic spin degrees of freedom are assumed to be described by the antiferromagnetic Heisenberg model. The ground state has long-ranged magnetic (Néel) order and its Mott-insulating characteristics are the consequence of holon-doublon bound-state formation. Within this framework, we calculate the average double occupancy, the electron density of states, and the spectral function in the self-consistent Born approximation. The lower and upper Hubbard bands are reproduced, there is spectral-weight transfer into a coherent quasiparticle band at their lower edges, and the Mott gap, associated with holon-doublon binding, is renormalized due to the interactions of the holons and doublons with the magnons. We compute the zeros of the Green function at the chemical potential to discuss the Luttinger volume and show that the poles of the self-energy reflect the underlying quasiparticle dispersion with a spin-renormalized hopping parameter. Optical conductivity results relate the optical gap to the Mott gap of the insulating system. We conclude that a self-consistent treatment of the spin fluctuation effects on the charge degrees of freedom captures all the essential physics of the antiferromagnetic Mott-Hubbard insulator. △ Less

Submitted 14 December, 2016; v1 submitted 3 February, 2016; originally announced February 2016.

Journal ref: New J. Phys. 18, 103004 (2016)

Heisenberg antiferromagnet on the Husimi lattice

Authors: H. J. Liao, Z. Y. Xie, J. Chen, X. J. Han, H. D. Xie, B. Normand, T. Xiang

Abstract: We perform a systematic study of the antiferromagnetic Heisenberg model on the Husimi lattice using numerical tensor-network methods based on Projected Entangled Simplex States (PESS). The nature of the ground state varies strongly with the spin quantum number, $S$. For $S = 1/2$, it is an algebraic (gapless) quantum spin liquid. For $S = 1$, it is a gapped, non-magnetic state with spontaneous bre… ▽ More We perform a systematic study of the antiferromagnetic Heisenberg model on the Husimi lattice using numerical tensor-network methods based on Projected Entangled Simplex States (PESS). The nature of the ground state varies strongly with the spin quantum number, $S$. For $S = 1/2$, it is an algebraic (gapless) quantum spin liquid. For $S = 1$, it is a gapped, non-magnetic state with spontaneous breaking of triangle symmetry (a trimerized simplex-solid state). For $S = 2$, it is a simplex-solid state with a spin gap and no symmetry-breaking; both integer-spin simplex-solid states are characterized by specific degeneracies in the entanglement spectrum. For $S = 3/2$, and indeed for all spin values $S \ge 5/2$, the ground states have $120$-degree antiferromagnetic order. In a finite magnetic field, we find that, irrespective of the value of $S$, there is always a plateau in the magnetization at $m = 1/3$. △ Less

Submitted 7 March, 2016; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: 18 pages, 25 figures;minor changes, refs updated

Journal ref: Phys. Rev. B 93, 075154 (2016)

A polarizable interatomic force field for TiO$_2$ parameterized using density functional theory

Authors: X. J. Han, L. Bergqvist, P. H. Dederichs, H. Müller-Krumbhaar, J. K. Christie, S. Scandolo, P. Tangney

Abstract: We report a classical interatomic force field for TiO$_2$, which has been parameterized using density functional theory forces, energies, and stresses in the rutile crystal structure. The reliability of this new classical potential is tested by evaluating the structural properties, equation of state, phonon properties, thermal expansion, and some thermodynamic quantities such as entropy, free en… ▽ More We report a classical interatomic force field for TiO$_2$, which has been parameterized using density functional theory forces, energies, and stresses in the rutile crystal structure. The reliability of this new classical potential is tested by evaluating the structural properties, equation of state, phonon properties, thermal expansion, and some thermodynamic quantities such as entropy, free energy, and specific heat under constant volume. The good agreement of our results with {\em ab initio} calculations and with experimental data, indicates that our force-field describes the atomic interactions of TiO$_2$ in the rutile structure very well. The force field can also describe the structures of the brookite and anatase crystals with good accuracy. △ Less

Submitted 31 March, 2010; v1 submitted 27 November, 2009; originally announced November 2009.

Comments: Accepted for publication in Phys. Rev. B; Changes from v1 include multiple minor revisions and a re-write of the description of the force field in Section II.