Initial value representation for the SU(n) semiclassical propagator

The semiclassical propagator in the representation of SU(n) coherent states is characterized by isolated classical trajectories subjected to boundary conditions in a doubled phase space. In this paper we recast this expression in terms of an integral over a set of initial-valued trajectories. These trajectories are monitored by a filter that collects only the appropriate contributions to the semiclassical approximation. This framework is suitable for the study of bosonic dynamics in n modes with fixed total number of particles. We exemplify the method for a Bose-Einstein condensate trapped in a triple-well potential, providing a detailed discussion on the accuracy and efficiency of the procedure.Comment: 24 pages, 6 figure

An approach to enacting business process models in support of the life cycle of integrated manufacturing systems

The complexity of enterprise engineering processes requires the application of reference architectures as means of guiding the achievement of an adequate level of business integration. This research aims to address important aspects of this requirement by associating the formalism of reference architectures to various life cycle phases of integrating manufacturing systems (IMS) and enabling their use in addressing contemporary system engineering issues. In pursuit of this aim, the following research activities were carried out: (1) to devise a framework which supports key phases of the IMS life cycle and (2) to populate part of this framework with an initial combination of architectures which can be encapsulated into a computer-aided systems engineering environment. This has led to the creation of a workbench capable of providing support for modelling, analysis, simulation, rapid-prototyping, configuration and run-time operation of an IMS, based on a consistent set of models associated with the engineering processes involved. The research effort concentrated on selecting and investigating the use of appropriate formalisms which underpin a selection of architectures and tools (i. e. CIM-OSA, Petrinets, object-oriented methods and CIM-BIOSYS), this by designing, implementing, applying and testing the workbench. The main contribution of this research is to demonstrate that it is possible to retain an adequate level of formalism, via computational structures and models, which extend through the IMS life cycle from a conceptual description of the system through to actions that the system performs when operating. The underlying methodology which supported this contribution is based on enacting models of system behaviour which encode important coordination aspects of manufacturing systems. The strategy for demonstrating the incorporation of formalism to the IMS life cycle was to enable the aggregation into a workbench of knowledge of 'what' the system is expected to achieve (i. e. 'problems' to be addressed) and 'how' the system can achieve it (i. e possible 'solutions'). Within the workbench, such a knowledge is represented through an amalgamation of business process modelling and object-oriented modelling approaches which, when adequately manipulated, can lead to business integration

Hydrodynamics: Fluctuating Initial Conditions and Two-particle Correlations

Event-by-event hydrodynamics (or hydrodynamics with fluctuating initial conditions) has been developed in the past few years. Here we discuss how it may help to understand the various structures observed in two-particle correlations.Comment: 7 pages, 9 figures, presented at the Workshop on Saturation, the Color Glass Condensate and Glasma: What Have we Learned from RHIC

Modelling Holling type II functional response in deterministic and stochastic food chain models with mass conservation

The Rosenzweig-MacArthur predator-prey model is the building block in modeling food chain, food webs and ecosystems. There are a number of hidden assumptions involved in the derivation. For instance the prey population growth is logistic without predation but also with predation. In order to reveal these we will start with modelling a resource-predator-prey system in a closed spatially homogeneous environment. This allows us to keep track of the nutrient flow. With an instantaneous remineralisation of the products excreted in the environment by the populations and dead body mass there is conservation of mass. This allows for a model dimension reduction and yields the mass balance predator-prey model. When furthermore the searching and handling processes are much faster that the population changing rates, the trophic interaction is described by a Holling type II functional response, also assumed in the Rosenzweig-MacArthur model. The derivation uses an extended deterministic model with number of searching and handling predators as model variables where the ratio of the predator/prey body masses is used as a mechanistic time-scale parameter. This extended model is also used as a starting point for the derivation of a stochastic model. We will investigate the stochastic effects of random switching between searching and handling of the predators and predator dying. Prey growth by consumption of ambient resources is still deterministic and therefore the stochastic model is hybrid. The transient dynamics is studied by numerical Monte Carlo simulations and also the quasi-equilibrium distribution for the population quantities is calculated. The body mass of the prey individual is the scaling parameter in the stochastic model formulation. This allows for a quantification of the mean-field approximation criterion for the justification of replacement of the stochastic by a deterministic model.Marie Skłodowska-Curie grant agreement No. 79249

Development of a Hybrid Simulation and Emulation Testbed For VANETs

In the area of Intelligent Transportation System traffic efficiency and safety for users have become very popular topics and have triggered extensive research in Vehicular Ad-Hoc Networks (VANETs). Traditional methods for reaserch and development like field testing and simulation have been used. But field testing is usually very expensive and simulation lacks accuracy in wireless environments. This article aims to introduce a hybrid solution that combines the simulation and emulation methods. The proposed solution is implemented in a testbed for VANETs. The resulting testbed would allow multiple real routing instances to run simultaneously on a simulated environment. And to provide performance measures such as resource consumption and scalability

A matroid-friendly basis for the quasisymmetric functions

A new Z-basis for the space of quasisymmetric functions (QSym, for short) is presented. It is shown to have nonnegative structure constants, and several interesting properties relative to the space of quasisymmetric functions associated to matroids by the Hopf algebra morphism (F) of Billera, Jia, and Reiner. In particular, for loopless matroids, this basis reflects the grading by matroid rank, as well as by the size of the ground set. It is shown that the morphism F is injective on the set of rank two matroids, and that decomposability of the quasisymmetric function of a rank two matroid mirrors the decomposability of its base polytope. An affirmative answer is given to the Hilbert basis question raised by Billera, Jia, and Reiner.Comment: 25 pages; exposition tightened, typos corrected; to appear in the Journal of Combinatorial Theory, Series