Quantum state transfer via the ferromagnetic chain in a spatially modulated field

We show that a perfect quantum state transmission can be realized through a spin chain possessing a commensurate structure of energy spectrum, which is matched with the corresponding parity. As an exposition of the mirror inversion symmetry discovered by Albanese et. al (quant-ph/0405029), the parity matched the commensurability of energy spectra help us to present the novel pre-engineered spin systems for quantum information transmission. Based on the these theoretical analysis, we propose a protocol of near-perfect quantum state transfer by using a ferromagnetic Heisenberg chain with uniform coupling constant, but an external parabolic magnetic field. The numerical results shows that the initial Gaussian wave packet in this system with optimal field distribution can be reshaped near-perfectly over a longer distance.Comment: 5 pages, 2 figure

Characterisation of real GPRS traffic with analytical tools

With GPRS and UMTS networks lunched, wireless multimedia services are commercially becoming the most attractive applications next to voice. Because of the nature of bursty, packet-switched schemes and multiple data rates, the traditional Erlang approach and Poisson models for characterising voice-centric services traffic are not suitable for studying wireless multimedia services traffic. Therefore, research on the characterisation of wireless multimedia services traffic is very challenging. The typical reference for the study of wireless multimedia services traffic is wired Internet services traffic. However, because of the differences in network protocol, bandwidth, and QoS requirements between wired and wireless services, their traffic characterisations may not be similar. Wired network Internet traffic shows self-similarity, long-range dependence and its file sizes exhibit heavy-tailedness. This paper reports the use of existing tools to analyse real GPRS traffic data to establish whether wireless multimedia services traffic have similar properties as wired Internet services traffic

Verifying pushdown multi-agent systems against strategy logics

In this paper, we investigate model checking algorithms for variants of strategy logic over pushdown multi-agent systems, modeled by pushdown game structures (PGSs). We consider various fragments of strategy logic, i.e., SL[CG], SL[DG], SL[1G] and BSIL. We show that the model checking problems on PGSs for SL[CG], SL[DG] and SL[1G] are 3EXTIME-complete, which are not harder than the problem for the subsumed logic ATL*. When BSIL is concerned, the model checking problem becomes 2EXPTIME-complete. Our algorithms are automata-theoretic and based on the saturation technique, which are amenable to implementations

On the satisfiability of indexed linear temporal logics

Indexed Linear Temporal Logics (ILTL) are an extension of standard Linear Temporal Logics (LTL) with quantifications over index variables which range over a set of process identifiers. ILTL has been widely used in specifying and verifying properties of parameterised systems, e.g., in parameterised model checking of concurrent processes. However there is still a lack of theoretical investigations on properties of ILTL, compared to the well-studied LTL. In this paper, we start to narrow this gap, focusing on the satisfiability problem, i.e., to decide whether a model exists for a given formula. This problem is in general undecidable. Various fragments of ILTL have been considered in the literature typically in parameterised model checking, e.g., ILTL formulae in prenex normal form, or containing only non-nested quantifiers, or admitting limited temporal operators. We carry out a thorough study on the decidability and complexity of the satisfiability problem for these fragments. Namely, for each fragment, we either show that it is undecidable, or otherwise provide tight complexity bounds

Machine Learning for Ionic Liquid Toxicity Prediction

In addition to proper physicochemical properties, low toxicity is also desirable when seeking suitable ionic liquids (ILs) for specific applications. In this context, machine learning (ML) models were developed to predict the IL toxicity in leukemia rat cell line (IPC-81) based on an extended experimental dataset. Following a systematic procedure including framework construction, hyper-parameter optimization, model training, and evaluation, the feedforward neural network (FNN) and support vector machine (SVM) algorithms were adopted to predict the toxicity of ILs directly from their molecular structures. Based on the ML structures optimized by the five-fold cross validation, two ML models were established and evaluated using IL structural descriptors as inputs. It was observed that both models exhibited high predictive accuracy, with the SVM model observed to be slightly better than the FNN model. For the SVM model, the determination coefficients were 0.9289 and 0.9202 for the training and test sets, respectively. The satisfactory predictive performance and generalization ability make our models useful for the computer-aided molecular design (CAMD) of environmentally friendly ILs

Quantum information storage and state transfer based on spin systems

The idea of quantum state storage is generalized to describe the coherent transfer of quantum information through a coherent data bus. In this universal framework, we comprehensively review our recent systematical investigations to explore the possibility of implementing the physical processes of quantum information storage and state transfer by using quantum spin systems, which may be an isotropic antiferromagnetic spin ladder system or a ferromagnetic Heisenberg spin chain. Our studies emphasize the physical mechanisms and the fundamental problems behind the various protocols for the storage and transfer of quantum information in solid state systems.Comment: 11 pages, 9 figures, Review article on the quantum spin based quantum information processing, to appear the special issue of Low Temperature Physics dedicated to the 70-th anniversary of creation of concept "antiferromagnetism" in physics of magnetis

Theoretical studies of 63Cu Knight shifts of the normal state of YBa2Cu3O7

The 63Cu Knight shifts and g factors for the normal state of YBa2Cu3O7 in tetragonal phase are theoretically studied in a uniform way from the high (fourth-) order perturbation formulas of these parameters for a 3d9 ion under tetragonally elongated octahedra. The calculations are quantitatively correlated with the local structure of the Cu2+(2) site in YBa2Cu3O7. The theoretical results show good agreement with the observed values, and the improvements are achieved by adopting fewer adjustable parameters as compared to the previous works. It is found that the significant anisotropy of the Knight shifts is mainly attributed to the anisotropy of the g factors due to the orbital interactions.Comment: 5 page