A Time-Periodic Lyapunov Approach for Motion Planning of Controllable Driftless Systems on SU(n)

For a right-invariant and controllable driftless system on SU(n), we consider a time-periodic reference trajectory along which the linearized control system generates su(n): such trajectories always exist and constitute the basic ingredient of Coron's Return Method. The open-loop controls that we propose, which rely on a left-invariant tracking error dynamics and on a fidelity-like Lyapunov function, are determined from a finite number of left-translations of the tracking error and they assure global asymptotic convergence towards the periodic reference trajectory. The role of these translations is to avoid being trapped in the critical region of this Lyapunov-like function. The convergence proof relies on a periodic version of LaSalle's invariance principle and the control values are determined by numerical integration of the dynamics of the system. Simulations illustrate the obtained controls for $n=4$ and the generation of the C--NOT quantum gate.Comment: Submitte

Supporting the planning of a community fisheries monitoring and evaluation database: a collaborative project undertaken by CFDO, FLD, STREAM, VSO and AYAD

Cambodia is one of the poorest countries in the world; much of its population live in rural areas and many live below the local poverty line. The management of common property aquatic resources is of over-riding importance to food security and sustainable rural development in Cambodia. Aquatic resources are utilized principally by subsistence fishers and the landless, for whom aquatic resource use is an important livelihood activity. Subsistence fishers access mainly the rivers, lakes and inundated forests in Tonle Sap provinces, the lower Mekong and Bassac regions and the upper part of the Mekong. Freshwater capture fisheries probably contribute more to national food security and the national economy in Cambodia than in any other country in the world. (PDF contains 52 pages

Color symmetrical superconductivity in a schematic nuclear quark model

In this note, a novel BCS-type formalism is constructed in the framework of a schematic QCD inspired quark model, having in mind the description of color symmetrical superconducting states. The physical properties of the BCS vacuum (average numbers of quarks of different colors) remain unchanged under an arbitrary color rotation. In the usual approach to color superconductivity, the pairing correlations affect only the quasi-particle states of two colors, the single particle states of the third color remaining unaffected by the pairing correlations. In the theory of color symmetrical superconductivity here proposed, the pairing correlations affect symmetrically the quasi-particle states of the three colors and vanishing net color-charge is automatically insured. It is found that the groundstate energy of the color symmetrical sector of the Bonn model is well approximated by the average energy of the color symmetrical superconducting state proposed here

False Vacuum Transitions - Analytical Solutions and Decay Rate Values

In this work we show a class of oscillating configurations for the evolution of the domain walls in Euclidean space. The solutions are obtained analytically. Phase transitions are achieved from the associated fluctuation determinant, by the decay rates of the false vacuum.Comment: 6 pages, improved to match the final version to appear in EP

Long-Time Behaviour and Self-Similarity in a Coagulation Equation with Input of Monomers

For a coagulation equation with Becker-Doring type interactions and time-independent monomer input we study the detailed long-time behaviour of nonnegative solutions and prove the convergence to a self-similar function.Comment: 30 pages, 5 Figures, now published in Markov Processes and Related Fields 12, 367-398, (2006

Topology and Dynamics in Complex Networks: The Role of Edge Reciprocity

A key issue in complex systems regards the relationship between topology and dynamics. In this work, we use a recently introduced network property known as steering coefficient as a means to approach this issue with respect to different directed complex network systems under varying dynamics. Theoretical and real-world networks are considered, and the influences of reciprocity and average degree on the steering coefficient are quantified. A number of interesting results are reported that can assist the design of complex systems exhibiting larger or smaller relationships between topology and dynamics

2D pattern evolution constrained by complex network dynamics

Complex networks have established themselves along the last years as being particularly suitable and flexible for representing and modeling several complex natural and human-made systems. At the same time in which the structural intricacies of such networks are being revealed and understood, efforts have also been directed at investigating how such connectivity properties define and constrain the dynamics of systems unfolding on such structures. However, lesser attention has been focused on hybrid systems, \textit{i.e.} involving more than one type of network and/or dynamics. Because several real systems present such an organization (\textit{e.g.} the dynamics of a disease coexisting with the dynamics of the immune system), it becomes important to address such hybrid systems. The current paper investigates a specific system involving a diffusive (linear and non-linear) dynamics taking place in a regular network while interacting with a complex network of defensive agents following Erd\"os-R\'enyi and Barab\'asi-Albert graph models, whose nodes can be displaced spatially. More specifically, the complex network is expected to control, and if possible to extinguish, the diffusion of some given unwanted process (\textit{e.g.} fire, oil spilling, pest dissemination, and virus or bacteria reproduction during an infection). Two types of pattern evolution are considered: Fick and Gray-Scott. The nodes of the defensive network then interact with the diffusing patterns and communicate between themselves in order to control the spreading. The main findings include the identification of higher efficiency for the Barab\'asi-Albert control networks.Comment: 18 pages, 32 figures. A working manuscript, comments are welcome

Quark matter revisited with non extensive MIT bag model

In this work we revisit the MIT bag model to describe quark matter within both the usual Fermi-Dirac and the Tsallis statistics. We verify the effects of the non-additivity of the latter by analysing two different pictures: the first order phase transition of the QCD phase diagram and stellar matter properties. While, the QCD phase diagram is visually affected by the Tsallis statistics, the resulting effects on quark star macroscopic properties are barely noticed.Comment: 10 pagens, 5 figure

Modular termination verification for non-blocking concurrency

© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other