arXiv subjects

Ying Jiang

Publications and source records attributed to Ying Jiang.

At least 91 records · Page 5Linked to original sources

arXiv2016

Model Checking : A Co-algebraic Approach

State explosion problem is the main obstacle of model checking. In this paper, we try to solve this problem from a coalgebraic approach. We establish an effective method to prove uniformly the existence of the smallest Kripke structure with respect to bisimilarity, which describes all behaviors of the Kripke structures and no redundancy. We show then this smallest Kripke structure generates a concrete smallest one for each given finite Kripke structure and some kind of infinite ones. This method is based on the existence of the final coalgebra of a suitable endofunctor and can be generalized smoothly to other coalgebraic structures. A naive implementation of this method is developed in Ocaml.

cs.LO↗

arXiv2016

Value-passing CCS for Trees: A Theory for Concurrent Systems

In this paper, we extend the theory CCS for trees (CCTS) to value-passing CCTS (VCCTS), of which symbols have the capacity for receiving and sending data values, and a nonsequential semantics is proposed in an operational approach. In this concurrent model, a weak barbed congruence and a localized early weak bisimilarity are defined, and the latter relation is proved to be sufficient to justify the former. As an illustration of potential applications of VCCTS, a semantics based on VCCTS is given to a toy multi-threaded programming language featuring a core of C/C++ concurrency; and a formalization based on the operational semantics of VCCTS is proposed for some relaxed memory models, and a DRF-guarantee property with respect to VCCTS is proved.

cs.LO↗

arXiv2016

Topological textures and their bifurcation processes in 2D ferromagnetic thin films

In this paper, by the use of the topological current theory, the topological structures and the dynamic processes in thin-film ferromagnetic systems are investigated directly from viewpoint of topology. It is found that the topological charge of a thin-film ferromagnetic system can be changed by annihilation or creation processes of opposite polarized vortex-antivortex pairs taking place at space-time singularities of the normalized magnetization vector field of the system, the variation of the topological charge is integer and can further be expressed in terms of the Hopf indices and Brouwer degrees of the magnetization vector field around the singularities. Moreover, the change of the topological charge of the system is crucial to vortex core reversal processes in ferromagnetic thin films. With the help of the topological current theory and implicit function theorem, the processes of vortex merging, splitting as well as vortex core

cond-mat.mes-hall↗

arXiv2016

Decidability, Introduction Rules and Automata

We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable propositions.

cs.LO↗

arXiv2015

Quantum Phase diagram and time-of-flight absorption pictures of ultracold Bose system in a square optical superlattice

In this letter, by the use of the generalized effective potential theory, with the help of process-chain approach under the framework of Kato formulation of perturbation expansion, we calculate out the quantum phase diagram up to 8-th order for an ultracold Bose system in a square optical superlattice. Base on these perturbative data, with the help of the linear fit extrapolation technique, more accurate results are gotten, which are in excellent agreement with recent Monte-Carlo numerical results. Moreover, by employing the generalized re-summed Green's function method and cumulant expansion, the momentum distribution function of the system is also calculated analytically and the time-of-flight absorption pictures of the system are plotted.

cond-mat.quant-gas↗

arXiv2015

Modelling and Analysis Network Security -- a PVCCS approach

In this work, we propose a probabilistic value-passing CCS (Calculus of Communicating System) approach to model and analyze a typical network security scenario with one attacker and one defender. By minimizing this model with respect to probabilistic bisimulation and abstracting it through graph-theoretic methods, two algorithms based on backward induction are designed to compute Nash Equilibrium strategy and Social Optimal strategy respectively. For each algorithm, the correctness is proved and an implementation is realized. Finally, this approach is illustrated by a detailed case study.

cs.CR↗

arXiv2014

Cut-elimination and the decidability of reachability in alternating pushdown systems

We give a new proof of the decidability of reachability in alternating pushdown systems, showing that it is a simple consequence of a cut-elimination theorem for some natural-deduction style inference systems. Then, we show how this result can be used to extend an alternating pushdown system into a complete system where for every configuration $A$, either $A$ or $\neg A$ is provable.

cs.LO↗

arXiv2014

Scale-Invariant Dissipationless Chiral Transport in Magnetic Topological Insulators beyond the Two-Dimensional Limit

We investigate the quantum anomalous Hall Effect (QAHE) and related chiral transport in the millimeter-size (Cr0.12Bi0.26Sb0.62)2Te3 films. With high sample quality and robust magnetism at low temperatures, the quantized Hall conductance of e2/h is found to persist even when the film thickness is beyond the two-dimensional (2D) hybridization limit. Meanwhile, the Chern insulator-featured chiral edge conduction is manifested by the non-local transport measurements. In contrast to the 2D hybridized thin film, an additional weakly field-dependent longitudinal resistance is observed in the 10 quintuple-layer film, suggesting the influence of the film thickness on the dissipative edge channel in the QAHE regime. The extension of QAHE into the three-dimensional thickness region addresses the universality of this quantum transport phenomenon and motivates the exploration of new QAHE phases with tunable Chern numbers. In addition, the observation of the scale-invariant dissipationless chiral propagation on a macroscopic scale makes a major stride towards ideal low-power interconnect applications.

cond-mat.mes-hall↗

arXiv2014

On spinors, strings, integrable models and decomposed Yang-Mills theory

This paper deals with various interrelations between strings and surfaces in three dimensional ambient space, two dimensional integrable models and two dimensional and four dimensional decomposed SU(2) Yang-Mills theories. Initially, a spinor version of the Frenet equation is introduced in order to describe the differential geometry of static three dimensional string-like structures. Then its relation to the structure of the su(2) Lie algebra valued Maurer-Cartan one-form is presented; while by introducing time evolution of the string a Lax pair is obtained, as an integrability condition. In addition, it is show how the Lax pair of the integrable nonlinear Schroedinger equation becomes embedded into the Lax pair of the time extended spinor Frenet equation and it is described how a spinor based projection operator formalism can be used to construct the conserved quantities, in the case of the nonlinear Schroedinger equation. Then the Lax pair structure of the time extended spinor Frenet equation is related to properties of flat connections in a two dimensional decomposed SU(2) Yang-Mills theory. In addition, the connection between the decomposed Yang-Mills and the Gauss-Godazzi equation that describes surfaces in three dimensional ambient space is presented. In that context the relation between isothermic surfaces and integrable models is discussed. Finally, the utility of the Cartan approach to differential geometry is considered. In particular, the similarities between the Cartan formalism and the structure of both two dimensional and four dimensional decomposed SU(2) Yang-Mills theories are discussed, while the description of two dimensional integrable models as embedded structures in the four dimensional decomposed SU(2) Yang-Mills theory are presented.

hep-th↗

arXiv2014

An analytical approach to quantum phase transitions of ultracold Bose systems in bipartite optical lattices: Along the avenue of Green's function

In this paper, we present a generalized Green's function method which can be used to investigate the quantum phase transitions analytically in a systematic way for ultracold Bose systems in bipartite optical lattices. As an example, to the lowest order, we calculate the quantum phase boundaries of the localized states (Mott insulator or charge density wave) of an ultracold Bose system in a $d$-dimensional hypercubic optical lattice with nearest-neighbor repulsive interactions. Due to the inhomogeneity of the system, in the generalized Green's function method, cumuants on different sublattices are calculated separately, together with re-summed Green's function technique, the analytical expression of the phase boundaries of the localized phases in the system is presented.

cond-mat.stat-mech↗

arXiv2013

Demonstration of surface transport in a hybrid Bi2Se3/Bi2Te3 heterostructure

In spite of much work on topological insulators (TIs), systematic experiments for TI/TI heterostructures remain absent. We grow a high quality heterostructure containing single quintuple layer (QL) of Bi2Se3 on 19 QLs of Bi2Te3 and compare its transport properties with 20 QLs Bi2Se3 and 20 QLs Bi2Te3. All three films are grown on insulating sapphire (0001) substrates by molecular beam epitaxy (MBE). In situ angle-resolved photoemission spectroscopy (ARPES) provides direct evidence that the surface state of 1 QL Bi2Se3 / 19 QLs Bi2Te3 heterostructure is similar to the surface state of the 20 QLs Bi2Se3 and different with that of the 20 QLs Bi2Te3. In ex situ transport measurements, the observed linear magnetoresistance (MR) and weak antilocalization (WAL) of the hybrid heterostructure are similar to that of the pure Bi2Se3 film and not the Bi2Te3 film. This suggests that the single Bi2Se3 QL layer on top of 19 QLs Bi2Te3 dominates its transport properties.

cond-mat.mes-hall↗

arXiv2013

CCS for Trees

CCS can be considered as a most natural extension of finite state automata in which interaction is made possible thanks to parallel composition. We propose here a similar extension for top-down tree automata. We introduce a parallel composition which is parameterized by a graph at the vertices of which subprocesses are located. Communication is allowed only between subprocesses related by an edge in this graph. We define an observational equivalence based on barbs as well as weak bisimilarity equivalence and prove an adequacy theorem relating these two notions.

cs.LO↗

arXiv2012

On Energy Functions for String-Like Continuous Curves, Discrete Chains, and Space-Filling One Dimensional Structures

The theory of string-like continuous curves and discrete chains have numerous important physical applications. Here we develop a general geometrical approach, to systematically derive Hamiltonian energy functions for these objects. In the case of continuous curves, we demand that the energy function must be invariant under local frame rotations, and it should also transform covariantly under reparametrizations of the curve. This leads us to consider energy functions that are constructed from the conserved quantities in the hierarchy of the integrable nonlinear Schrödinger equation (NLSE). We point out the existence of a Weyl transformation that we utilize to introduce a dual hierarchy to the standard NLSE hierarchy. We propose that the dual hierarchy is also integrable, and we confirm this to the first non-trivial order. In the discrete case the requirement of reparametrization invariance is void. But the demand of invariance under local frame rotations prevails, and we utilize it to introduce a discrete variant of the Zakharov-Shabat recursion relation. We use this relation to derive frame independent quantities that we propose are the essentially unique and as such natural candidates for constructing energy functions for piecewise linear polygonal chains. We also investigate the discrete version of the Weyl duality transformation. We confirm that in the continuum limit the discrete energy functions go over to their continuum counterparts, including the perfect derivative contributions.

hep-th↗

arXiv2012

Visibility of ultra-cold Bose system in triangular optical lattices

In this paper, by treating the hopping parameter in Bose-Hubbard model as a perturbation, with the help of the re-summed Green's function method and cumulants expansion, the momentum distribution function of the ultra-cold Bose system in triangular optical lattice is calculated analytically. By utilizing it, the time-of-flight absorption picture is plotted and the corresponding visibility is determined. The comparison between our analytical results and the experimental data from Ref.[4] exhibits a qualitative agreement.

cond-mat.quant-gas↗

arXiv2011

Quantum phase transitions of ultra-cold Bose system in non-rectangular optical lattices

In this paper, we investigate systematically the Mott-insulator-Superfluid quantum phase transitions for ultracold scalar bosons in triangular, hexagonal, as well as Kagomé optical lattices. With the help of field-theoretical effective potential, by treating the hopping term in Bose-Hubbard model as perturbation, we calculate the phase boundaries analytically for different integer filling factors. Our analytical results are in good agreement with recent numerical results.

cond-mat.stat-mech↗

arXiv2011

General stationary charged black holes as charged particle accelerators

We study the possibility of getting infinite energy in the center of mass frame of colliding charged particles in a general stationary charged black hole. For black holes with two-fold degenerate horizon, it is found that arbitrary high center-of-mass energy can be attained, provided that one of the particle has critical angular momentum or critical charge, and the remained parameters of particles and black holes satisfy certain restriction. For black holes with multiple-fold degenerate event horizons, the restriction is released. For non-degenerate black holes, the ultra-high center-of-mass is possible to be reached by invoking the multiple scattering mechanism. We obtain a condition for the existence of innermost stable circular orbit with critical angular momentum or charge on any-fold degenerate horizons, which is essential to get ultra-high center-of-mass energy without fine-tuning problem. We also discuss the proper time spending by the particle to reach the horizon and the duality between frame dragging effect and electromagnetic interaction. Some of these general results are applied to braneworld small black holes.

hep-th↗

arXiv2011

The sudden birth and sudden death of thermal fidelity in a two-qubit XY model

We study the energy level crossings of the states and thermal fidelity for a two-qubit system in the presence of a transverse and inhomogeneous magnetic field. It is shown clearly the effects of the anisotropic factor of the magnetic field through the contour figures of energy level crossing in two subspaces, the isotropy subspace and anisotropy subspace. We calculate the quantum fidelity between the ground state and the state of the system at temperature $T$, and the results show the strong effect of the anisotropic factor again. In addition, by making use of the transition of Yangian generators in the tensor product space, we study the evolution of the thermal fidelity after the transition. The potential applications of Yangian algebra, as a switch to turn on or off the fidelity, are proposed.

quant-ph↗

arXiv2010

Quantum algebra in the mixed light pseudoscalar meson states

In this paper, we investigate the entanglement degrees of pseudoscalar meson states via quantum algebra Y(su(3)). By making use of transition effect of generators J of Y(su(3)), we construct various transition operators in terms of J of Y(su(3)), and act them on eta-pion-eta mixing meson state. The entanglement degrees of both the initial state and final state are calculated with the help of entropy theory. The diagrams of entanglement degrees are presented. Our result shows that a state with desired entanglement degree can be achieved by acting proper chosen transition operator on an initial state. This sheds new light on the connect among quantum information, particle physics and Yangian algebra.

quant-ph↗