arXiv subjects

Yue Feng

Publications and source records attributed to Yue Feng.

85 records · Page 5Linked to original sources

arXiv2021

Error bounds of fourth-order compact finite difference methods for the Dirac equation in the massless and nonrelativistic regime

We establish the error bounds of fourth-order compact finite difference (4cFD) methods for the Dirac equation in the massless and nonrelativistic regime, which involves a small dimensionless parameter $0 < \varepsilon \le 1$ inversely proportional to the speed of light. In this regime, the solution propagates waves with wavelength $O(\varepsilon)$ in time and $O(1)$ in space, as well as with the wave speed $O(1/\varepsilon)$ rapid outgoing waves. We adapt the conservative and semi-implicit 4cFD methods to discretize the Dirac equation and rigorously carry out their error bounds depending explicitly on the mesh size $h$, time step $τ$ and the small parameter $\varepsilon$. Based on the error bounds, the $\varepsilon$-scalability of the 4cFD methods is $h = O(\varepsilon^{1/4})$ and $τ= O(\varepsilon^{3/2})$, which not only improves the spatial resolution capacity but also has superior accuracy than classical second-order finite difference methods. Furthermore, physical observables including the total density and current density have the same conclusions. Numerical results are provided to validate the error bounds and the dynamics of the Dirac equation with different potentials in 2D is presented.

math.NA↗

arXiv2021

Uniform error bounds of a time-splitting spectral method for the long-time dynamics of the nonlinear Klein-Gordon equation with weak nonlinearity

We establish uniform error bounds of time-splitting Fourier pseudospectral (TSFP) methods for the nonlinear Klein--Gordon equation (NKGE) with weak power-type nonlinearity and $O(1)$ initial data, while the nonlinearity strength is characterized by $\varepsilon^{p}$ with a constant $p \in \mathbb{N}^+$ and a dimensionless parameter $\varepsilon \in (0, 1]$, for the long-time dynamics up to the time at $O(\varepsilon^{-β})$ with $0 \leq β\leq p$. In fact, when $0 < \varepsilon \ll 1$, the problem is equivalent to the long-time dynamics of NKGE with small initial data and $O(1)$ nonlinearity strength, while the amplitude of the initial data (and the solution) is at $O(\varepsilon)$. By reformulating the NKGE into a relativistic nonlinear Schrödinger equation, we adapt the TSFP method to discretize it numerically. By using the method of mathematical induction to bound the numerical solution, we prove uniform error bounds at $O(h^{m}+\varepsilon^{p-β}τ^2)$ of the TSFP method with $h$ mesh size, $τ$ time step and $m\ge2$ depending on the regularity of the solution. The error bounds are uniformly accurate for the long-time simulation up to the time at $O(\varepsilon^{-β})$ and uniformly valid for $\varepsilon\in(0,1]$. Especially, the error bounds are uniformly at the second order rate for the large time step $τ= O(\varepsilon^{-(p-β)/2})$ in the parameter regime $0\leβ<p$. Numerical results are reported to confirm our error bounds in the long-time regime. Finally, the TSFP method and its error bounds are extended to a highly oscillatory complex NKGE which propagates waves with wavelength at $O(1)$ in space and $O(\varepsilon^β)$ in time and wave velocity at $O(\varepsilon^{-β})$.

math.NA↗

arXiv2021

Uniform error bounds of exponential wave integrator methods for the long-time dynamics of the Dirac equation with small potentials

Two exponential wave integrator Fourier pseudospectral (EWI-FP) methods are presented and analyzed for the long-time dynamics of the Dirac equation with small potentials characterized by $\varepsilon \in (0, 1]$ a dimensionless parameter. Based on the (symmetric) exponential wave integrator for temporal derivatives in phase space followed by applying the Fourier pseudospectral discretization for spatial derivatives, the EWI-FP methods are explicit and of spectral accuracy in space and second-order accuracy in time for any fixed $\varepsilon = \varepsilon_0$. Uniform error bounds are rigorously carried out at $O(h^{m_0}+τ^2)$ up to the time at $O(1/\varepsilon)$ with the mesh size $h$, time step $τ$ and $m_0$ an integer depending on the regularity of the solution. Extensive numerical results are reported to confirm our error bounds and comparisons of two methods are shown. Finally, dynamics of the Dirac equation in 2D are presented to validate the numerical schemes.

math.NA↗

arXiv2021

A Sequence-to-Sequence Approach to Dialogue State Tracking

This paper is concerned with dialogue state tracking (DST) in a task-oriented dialogue system. Building a DST module that is highly effective is still a challenging issue, although significant progresses have been made recently. This paper proposes a new approach to dialogue state tracking, referred to as Seq2Seq-DU, which formalizes DST as a sequence-to-sequence problem. Seq2Seq-DU employs two BERT-based encoders to respectively encode the utterances in the dialogue and the descriptions of schemas, an attender to calculate attentions between the utterance embeddings and the schema embeddings, and a decoder to generate pointers to represent the current state of dialogue. Seq2Seq-DU has the following advantages. It can jointly model intents, slots, and slot values; it can leverage the rich representations of utterances and schemas based on BERT; it can effectively deal with categorical and non-categorical slots, and unseen schemas. In addition, Seq2Seq-DU can also be used in the NLU (natural language understanding) module of a dialogue system. Experimental results on benchmark datasets in different settings (SGD, MultiWOZ2.2, MultiWOZ2.1, WOZ2.0, DSTC2, M2M, SNIPS, and ATIS) show that Seq2Seq-DU outperforms the existing methods.

cs.CL↗

arXiv2021

Spatial resolution of different discretizations over long-time for the Dirac equation with small potentials

We compare the long-time error bounds and spatial resolution of finite difference methods with different spatial discretizations for the Dirac equation with small electromagnetic potentials characterized by $\varepsilon \in (0, 1]$ a dimensionless parameter. We begin with the simple and widely used finite difference time domain (FDTD) methods, and establish rigorous error bounds of them, which are valid up to the time at $O(1/\varepsilon)$. In the error estimates, we pay particular attention to how the errors depend explicitly on the mesh size $h$ and time step $τ$ as well as the small parameter $\varepsilon$. Based on the results, in order to obtain "correct" numerical solutions up to the time at $O(1/\varepsilon)$, the $\varepsilon$-scalability (or meshing strategy requirement) of the FDTD methods should be taken as $h = O(\varepsilon^{1/2})$ and $τ= O(\varepsilon^{1/2})$. To improve the spatial resolution capacity, we apply the Fourier spectral method to discretize the Dirac equation in space. Error bounds of the resulting finite difference Fourier pseudospectral (FDFP) methods show that they exhibit uniform spatial errors in the long-time regime, which are optimal in space as suggested by the Shannon's sampling theorem. Extensive numerical results are reported to confirm the error bounds and demonstrate that they are sharp.

math.NA↗

arXiv2020

Uniform error bounds of an exponential wave integrator for the long-time dynamics of the nonlinear Klein-Gordon equation

We establish uniform error bounds of an exponential wave integrator Fourier pseudospectral (EWI-FP) method for the long-time dynamics of the nonlinear Klein-Gordon equation (NKGE) with a cubic nonlinearity whose strength is characterized by $\varepsilon^2$ with $\varepsilon \in (0, 1]$ a dimensionless parameter. When $0 < \varepsilon \ll 1$, the problem is equivalent to the long-time dynamics of the NKGE with small initial data (and $O(1)$ cubic nonlinearity), while the amplitude of the initial data (and the solution) is at $O(\varepsilon)$. For the long-time dynamics of the NKGE up to the time at $O(1/\varepsilon^{2})$, the resolution and error bounds of the classical numerical methods depend significantly on the small parameter $\varepsilon$, which causes severe numerical burdens as $\varepsilon \to 0^+$. The EWI-FP method is fully explicit, symmetric in time and has many superior properties in solving wave equations. By adapting the energy method combined with the method of mathematical induction, we rigorously carry out the uniform error bounds of the EWI-FP discretization at $O(h^{m_0} + \varepsilon^{2-β}τ^2)$ up to the time at $O(1/\varepsilon^β)$ with $0 \leq β\leq 2$, mesh size $h$, time step $τ$ and $m_0$ an integer depending on the regularity of the solution. By a rescaling in time, our results are straightforwardly extended to the error bounds and $\varepsilon$-scalability (or meshing strategy requirement) of the EWI-FP method for an oscillatory NKGE, whose solution propagates waves with wavelength at $O(1)$ and $O(\varepsilon^β)$ in space and time, respectively, and wave speed at $O(\varepsilon^{-β})$. Finally, extensive numerical results are reported to confirm our error estimates.

math.NA↗

arXiv2020

Long time error analysis of the fourth-order compact finite difference methods for the nonlinear Klein-Gordon equation with weak nonlinearity

We present the fourth-order compact finite difference (4cFD) discretizations for the long time dynamics of the nonlinear Klein-Gordon equation (NKGE), while the nonlinearity strength is characterized by $\varepsilon^p$ with a constant $p \in \mathbb{N}^+$ and a dimensionless parameter $\varepsilon \in (0, 1]$. Based on analytical results of the life-span of the solution, rigorous error bounds of the 4cFD methods are carried out up to the time at $O(\varepsilon^{-p})$. We pay particular attention to how error bounds depend explicitly on the mesh size $h$ and time step $τ$ as well as the small parameter $\varepsilon \in (0, 1]$, which indicate that, in order to obtain `correct' numerical solutions up to the time at $O(\varepsilon^{-p})$, the $\varepsilon$-scalability (or meshing strategy requirement) of the 4cFD methods should be taken as: $h = O(\varepsilon^{p/4})$ and $τ= O(\varepsilon^{p/2})$. It has better spatial resolution capacity than the classical second order central difference methods. By a rescaling in time, it is equivalent to an oscillatory NKGE whose solution propagates waves with wavelength at $O(1)$ in space and $O(\varepsilon^p)$ in time. It is straightforward to get the error bounds of the oscillatory NKGE in the fixed time. Finally, numerical results are provided to confirm our theoretical analysis.

math.NA↗

arXiv2020

Distinct Topological Surface States on the Two Terminations of MnBi$_4$Te$_7$

The recent discovered intrinsic magnetic topological insulator MnBi2Te4 have been met with unusual success in hosting emergent phenomena such as the quantum anomalous Hall effect and the axion insulator states. However, the surface-bulk correspondence of the Mn-Bi-Te family, composed by the superlattice-like MnBi2Te4/(Bi2Te3)n (n = 0, 1, 2, 3 ...) layered structure, remains intriguing but elusive. Here, by using scanning tunneling microscopy (STM) and angle-resolved photoemission spectroscopy (ARPES) techniques, we unambiguously assign the two distinct surface states of MnBi4Te7 (n = 1) to the quintuple-layer (QL) Bi2Te3 termination and the septuple-layer (SL) MnBi2Te4 termination, respectively. A comparison of the experimental observations with theoretical calculations reveals the diverging topological behaviors, especially the hybridization effect between magnetic and nonmagnetic layers, on the two terminations: a gap on the QL termination originating from the topological surface states of the QL hybridizing with the bands of the beneath SL, and a gapless Dirac-cone band structure on the SL termination with time-reversal symmetry. The quasi-particle interference patterns further confirm the topological nature of the surface states for both terminations, continuing far above the Fermi energy. The QL termination carries a spin-helical Dirac state with hexagonal warping, while at the SL termination, a strongly canted helical state from the surface lies between a pair of Rashba-split states from its neighboring layer. Our work elucidates an unprecedented hybridization effect between the building blocks of the topological surface states, and also reveals the termination-dependent time-reversal symmetry breaking in a magnetic topological insulator, rendering an ideal platform to realize the half-integer quantum Hall effect and relevant quantum phenomena.

cond-mat.mtrl-sci↗

arXiv2019

A High order Conservative Flux Optimization Finite Element Method for Diffusion Equations

This article presents a high order conservative flux optimization (CFO) finite element method for the elliptic diffusion equations. The numerical scheme is based on the classical Galerkin finite element method enhanced by a flux approximation on the boundary of a prescribed set of arbitrary control volumes (either the finite element partition itself or dual voronoi mesh, etc). The numerical approximations can be characterized as the solution of a constrained-minimization problem with constraints given by the flux conservation equations on each control volume. The discrete linear system is a typical saddle-point problem, but with less number of degrees of freedom than the standard mixed finite element method, particularly for elements of high order. Moreover, the numerical solution of the proposed scheme is of super-closeness with the finite element solution. Error estimates of optimal order are established for the numerical flux as well as the primary variable approximations. We present several numerical studies in order to verify convergence of the CFO schemes. A simplified two-phase flow in highly heterogeneous porous media model problem will also be presented. The numerical results show obvious advantages of applying high order CFO schemes.

math.NA↗

arXiv2019

Gapless surface Dirac cone in antiferromagnetic topological insulator MnBi$_2$Te$_4$

The recent discovered antiferromagnetic topological insulators in Mn-Bi-Te family with intrinsic magnetic ordering have rapidly drawn broad interest since its cleaved surface state is believed to be gapped, hosting the unprecedented axion states with half-integer quantum Hall effect. Here, however, we show unambiguously by using high-resolution angle-resolved photoemission spectroscopy that a gapless Dirac cone at the (0001) surface of MnBi$_2$Te$_4$ exists between the bulk band gap. Such unexpected surface state remains unchanged across the bulk Néel temperature, and is even robust against severe surface degradation, indicating additional topological protection. Through symmetry analysis and $\textit{ab}$-$\textit{initio}$ calculations we consider different types of surface reconstruction of the magnetic moments as possible origins giving rise to such linear dispersion. Our results reveal that the intrinsic magnetic topological insulator hosts a rich platform to realize various topological phases such as topological crystalline insulator and time-reversal-preserved topological insulator, by tuning the magnetic configurations.

cond-mat.mtrl-sci↗

arXiv2019

Logician: A Unified End-to-End Neural Approach for Open-Domain Information Extraction

In this paper, we consider the problem of open information extraction (OIE) for extracting entity and relation level intermediate structures from sentences in open-domain. We focus on four types of valuable intermediate structures (Relation, Attribute, Description, and Concept), and propose a unified knowledge expression form, SAOKE, to express them. We publicly release a data set which contains more than forty thousand sentences and the corresponding facts in the SAOKE format labeled by crowd-sourcing. To our knowledge, this is the largest publicly available human labeled data set for open information extraction tasks. Using this labeled SAOKE data set, we train an end-to-end neural model using the sequenceto-sequence paradigm, called Logician, to transform sentences into facts. For each sentence, different to existing algorithms which generally focus on extracting each single fact without concerning other possible facts, Logician performs a global optimization over all possible involved facts, in which facts not only compete with each other to attract the attention of words, but also cooperate to share words. An experimental study on various types of open domain relation extraction tasks reveals the consistent superiority of Logician to other states-of-the-art algorithms. The experiments verify the reasonableness of SAOKE format, the valuableness of SAOKE data set, the effectiveness of the proposed Logician model, and the feasibility of the methodology to apply end-to-end learning paradigm on supervised data sets for the challenging tasks of open information extraction.

cs.CL↗

arXiv2019

Long time error analysis of finite difference time domain methods for the nonlinear Klein-Gordon equation with weak nonlinearity

We establish error bounds of the finite difference time domain (FDTD) methods for the long time dynamics of the nonlinear Klein-Gordon equation (NKGE) with a cubic nonlinearity, while the nonlinearity strength is characterized by $\varepsilon^2$ with $0 <\varepsilon \leq 1$ a dimensionless parameter. When $0 < \varepsilon \ll 1$, it is in the weak nonlinearity regime and the problem is equivalent to the NKGE with small initial data, while the amplitude of the initial data (and the solution) is at $O(\varepsilon)$. Four different FDTD methods are adapted to discretize the problem and rigorous error bounds of the FDTD methods are established for the long time dynamics, i.e. error bounds are valid up to the time at $O(1/\varepsilon^β)$ with $0 \le β\leq 2$, by using the energy method and the techniques of either the cut-off of the nonlinearity or the mathematical induction to bound the numerical approximate solutions. In the error bounds, we pay particular attention to how error bounds depend explicitly on the mesh size $h$ and time step $τ$ as well as the small parameter $\varepsilon\in (0,1]$, especially in the weak nonlinearity regime when $0 < \varepsilon \ll 1$. Our error bounds indicate that, in order to get ``correct'' numerical solutions up to the time at $O(1/\varepsilon^β)$, the $\varepsilon$-scalability (or meshing strategy) of the FDTD methods should be taken as: $h = O(\varepsilon^{β/2})$ and $τ= O(\varepsilon^{β/2})$. Extensive numerical results are reported to confirm our error bounds and to demonstrate that they are sharp.

math.NA↗

arXiv2015

Temporal Identification of Latent Communities on Twitter

User communities in social networks are usually identified by considering explicit structural social connections between users. While such communities can reveal important information about their members such as family or friendship ties and geographical proximity, they do not necessarily succeed at pulling like-minded users that share the same interests together. In this paper, we are interested in identifying communities of users that share similar topical interests over time, regardless of whether they are explicitly connected to each other on the social network. More specifically, we tackle the problem of identifying temporal topic-based communities from Twitter, i.e., communities of users who have similar temporal inclination towards the current emerging topics on Twitter. We model each topic as a collection of highly correlated semantic concepts observed in tweets and identify them by clustering the time-series based representation of each concept built based on each concept's observation frequency over time. Based on the identified emerging topics in a given time period, we utilize multivariate time series analysis to model the contributions of each user towards the identified topics, which allows us to detect latent user communities. Through our experiments on Twitter data, we demonstrate i) the effectiveness of our topic detection method to detect real world topics and ii) the effectiveness of our approach compared to well-established approaches for community detection.

cs.SI↗