Sudden change in dynamics of genuine multipartite entanglement of cavity-reservoir qubits

We study the dynamics of genuine multipartite entanglement for a system of four qubits. Using a computable entanglement monotone for multipartite systems, we investigate the as yet unexplored aspects of a cavity-reservoir system of qubits. For one specific initial state, we observe a sudden transition in the dynamics of genuine entanglement for the four qubits. This sudden change occurs only during a time window where neither cavity-cavity qubits nor reservoir-reservoir qubits are entangled. We show that this sudden change in dynamics of this specific state is extremely sensitive to white noise.Comment: 18 pages, 11 figure

Ferromagnetic semiconductor single wall carbon nanotube

Possibility of a ferromagnetic semiconductor single wall carbon nanotube (SWCNT), where ferromagnetism is due to coupling between doped magnetic impurity on a zigzag SWCNT and electrons spin, is investigate. We found, in the weak impurity-spin couplings, at low impurity concentrations the spin up electrons density of states remain semiconductor while the spin down electrons density of states shows a metallic behavior. By increasing impurity concentrations the semiconducting gap of spin up electrons in the density of states is closed, hence a semiconductor to metallic phase transition is take place. In contrast, for the case of strong coupling, spin up electrons density of states remain semiconductor and spin down electron has metallic behavior. Also by increasing impurity spin magnitude, the semiconducting gap of spin up electrons is increased.Comment: 10 pages and 9 figure

Anomalous Magnetic Properties in Ni50Mn35In15

We present here a comprehensive investigation of the magnetic ordering in Ni50Mn35In15 composition. A concomitant first order martensitic transition and the magnetic ordering occurring in this off-stoichiometric Heusler compound at room temperature signifies the multifunctional character of this magnetic shape memory alloy. Unusual features are observed in the dependence of the magnetization on temperature that can be ascribed to a frustrated magnetic order. It is compelling to ascribe these features to the cluster type description that may arise due to inhomogeneity in the distribution of magnetic atoms. However, evidences are presented from our ac susceptibility, electrical resistivity and dc magnetization studies that there exists a competing ferromagnetic and antiferromagnetic order within crystal structure of this system. We show that excess Mn atoms that substitute the In atoms have a crucial bearing on the magnetic order of this compound. These excess Mn atoms are antiferromagnetically aligned to the other Mn, which explains the peculiar dependence of magnetization on temperature.Comment: Accepted in J. Phys. D.:Appl. Physic

A Goal-based Framework for Contextual Requirements Modeling and Analysis

Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerging computing paradigms, such as ambient, pervasive and ubiquitous computing, where it is essential to monitor and adapt to an inherently varying context. Besides influencing the software, context may influence stakeholders' goals and their choices to meet them. In this paper, we propose a goal-oriented RE modeling and reasoning framework for systems operating in varying contexts. We introduce contextual goal models to relate goals and contexts; context analysis to refine contexts and identify ways to verify them; reasoning techniques to derive requirements reflecting the context and users priorities at runtime; and finally, design time reasoning techniques to derive requirements for a system to be developed at minimum cost and valid in all considered contexts. We illustrate and evaluate our approach through a case study about a museum-guide mobile information system

A Complete Characterization of the Gap between Convexity and SOS-Convexity

Our first contribution in this paper is to prove that three natural sum of squares (sos) based sufficient conditions for convexity of polynomials, via the definition of convexity, its first order characterization, and its second order characterization, are equivalent. These three equivalent algebraic conditions, henceforth referred to as sos-convexity, can be checked by semidefinite programming whereas deciding convexity is NP-hard. If we denote the set of convex and sos-convex polynomials in $n$ variables of degree $d$ with $\tilde{C}_{n,d}$ and $\tilde{\Sigma C}_{n,d}$ respectively, then our main contribution is to prove that $\tilde{C}_{n,d}=\tilde{\Sigma C}_{n,d}$ if and only if $n=1$ or $d=2$ or $(n,d)=(2,4)$. We also present a complete characterization for forms (homogeneous polynomials) except for the case $(n,d)=(3,4)$ which is joint work with G. Blekherman and is to be published elsewhere. Our result states that the set $C_{n,d}$ of convex forms in $n$ variables of degree $d$ equals the set $\Sigma C_{n,d}$ of sos-convex forms if and only if $n=2$ or $d=2$ or $(n,d)=(3,4)$. To prove these results, we present in particular explicit examples of polynomials in $\tilde{C}_{2,6}\setminus\tilde{\Sigma C}_{2,6}$ and $\tilde{C}_{3,4}\setminus\tilde{\Sigma C}_{3,4}$ and forms in $C_{3,6}\setminus\Sigma C_{3,6}$ and $C_{4,4}\setminus\Sigma C_{4,4}$, and a general procedure for constructing forms in $C_{n,d+2}\setminus\Sigma C_{n,d+2}$ from nonnegative but not sos forms in $n$ variables and degree $d$. Although for disparate reasons, the remarkable outcome is that convex polynomials (resp. forms) are sos-convex exactly in cases where nonnegative polynomials (resp. forms) are sums of squares, as characterized by Hilbert.Comment: 25 pages; minor editorial revisions made; formal certificates for computer assisted proofs of the paper added to arXi