Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system's behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.Comment: 17 pages, published at ISOLA 201

Off-diagonal geometric phase for mixed states

We extend the off-diagonal geometric phase [Phys. Rev. Lett. {\bf 85}, 3067 (2000)] to mixed quantal states. The nodal structure of this phase in the qubit (two-level) case is compared with that of the diagonal mixed state geometric phase [Phys. Rev. Lett. {\bf 85}, 2845 (2000)]. Extension to higher dimensional Hilbert spaces is delineated. A physical scenario for the off-diagonal mixed state geometric phase in polarization-entangled two-photon interferometry is proposed.Comment: small corrections; journal reference adde

Lower and upper bounds on the fidelity susceptibility

We derive upper and lower bounds on the fidelity susceptibility in terms of macroscopic thermodynamical quantities, like susceptibilities and thermal average values. The quality of the bounds is checked by the exact expressions for a single spin in an external magnetic field. Their usefulness is illustrated by two examples of many-particle models which are exactly solved in the thermodynamic limit: the Dicke superradiance model and the single impurity Kondo model. It is shown that as far as divergent behavior is considered, the fidelity susceptibility and the thermodynamic susceptibility are equivalent for a large class of models exhibiting critical behavior.Comment: 19 page

Prolonged membrane potential depolarization in cingulate pyramidal cells after digit amputation in adult rats

The anterior cingulate cortex (ACC) plays an important role in higher brain functions including learning, memory, and persistent pain. Long-term potentiation of excitatory synaptic transmission has been observed in the ACC after digit amputation, which might contribute to plastic changes associated with the phantom pain. Here we report a long-lasting membrane potential depolarization in ACC neurons of adult rats after digit amputation in vivo. Shortly after digit amputation of the hind paw, the membrane potential of intracellularly recorded ACC neurons quickly depolarized from ~-70 mV to ~-15 mV and then slowly repolarized. The duration of this amputation-induced depolarization was about 40 min. Intracellular staining revealed that these neurons were pyramidal neurons in the ACC. The depolarization is activity-dependent, since peripheral application of lidocaine significantly reduced it. Furthermore, the depolarization was significantly reduced by a NMDA receptor antagonist MK-801. Our results provide direct in vivo electrophysiological evidence that ACC pyramidal cells undergo rapid and prolonged depolarization after digit amputation, and the amputation-induced depolarization in ACC neurons might be associated with the synaptic mechanisms for phantom pain

Berry phase and fidelity susceptibility of the three-qubit Lipkin-Meshkov-Glick ground state

Berry phases and quantum fidelities for interacting spins have attracted considerable attention, in particular in relation to entanglement properties of spin systems and quantum phase transitions. These efforts mainly focus either on spin pairs or the thermodynamic infinite spin limit, while studies of the multipartite case of a finite number of spins are rare. Here, we analyze Berry phases and quantum fidelities of the energetic ground state of a Lipkin-Meshkov-Glick (LMG) model consisting of three spin-1/2 particles (qubits). We find explicit expressions for the Berry phase and fidelity susceptibility of the full system as well as the mixed state Berry phase and partial-state fidelity susceptibility of its one- and two-qubit subsystems. We demonstrate a realization of a nontrivial magnetic monopole structure associated with local, coordinated rotations of the three-qubit system around the external magnetic field.Comment: The title of the paper has been changed in this versio

Integrability of Lie systems and some of its applications in physics

The geometric theory of Lie systems will be used to establish integrability conditions for several systems of differential equations, in particular Riccati equations and Ermakov systems. Many different integrability criteria in the literature will be analyzed from this new perspective and some applications in physics will be given.Comment: 16 page

Generating random density matrices

We study various methods to generate ensembles of random density matrices of a fixed size N, obtained by partial trace of pure states on composite systems. Structured ensembles of random pure states, invariant with respect to local unitary transformations are introduced. To analyze statistical properties of quantum entanglement in bi-partite systems we analyze the distribution of Schmidt coefficients of random pure states. Such a distribution is derived in the case of a superposition of k random maximally entangled states. For another ensemble, obtained by performing selective measurements in a maximally entangled basis on a multi--partite system, we show that this distribution is given by the Fuss-Catalan law and find the average entanglement entropy. A more general class of structured ensembles proposed, containing also the case of Bures, forms an extension of the standard ensemble of structureless random pure states, described asymptotically, as N \to \infty, by the Marchenko-Pastur distribution.Comment: 13 pages in latex with 8 figures include

Fidelity approach to quantum phase transitions

We review briefly the quantum fidelity approach to quantum phase transitions in a pedagogical manner. We try to relate all established but scattered results on the leading term of the fidelity into a systematic theoretical framework, which might provide an alternative paradigm for understanding quantum critical phenomena. The definition of the fidelity and the scaling behavior of its leading term, as well as their explicit applications to the one-dimensional transverse-field Ising model and the Lipkin-Meshkov-Glick model, are introduced at the graduate-student level. In addition, we survey also other types of fidelity approach, such as the fidelity per site, reduced fidelity, thermal-state fidelity, operator fidelity, etc; as well as relevant works on the fidelity approach to quantum phase transitions occurring in various many-body systems.Comment: 41 pages, 31 figures. We apologize if we omit acknowledging your relevant works. Do tell. An updated version with clearer figures can be found at: http://www.phy.cuhk.edu.hk/~sjgu/fidelitynote.pd