Dynamical and radiative properties of astrophysical supersonic jets I. Cocoon morphologies

We present the results of a numerical analysis of the propagation and interaction of a supersonic jet with the external medium. We discuss the motion of the head of the jet into the ambient in different physical conditions, carrying out calculations with different Mach numbers and density ratios of the jet to the exteriors. Performing the calculation in a reference frame in motion with the jet head, we can follow in detail its long term dynamics. This numerical scheme allows us also to study the morphology of the cocoon for different physical parameters. We find that the propagation velocity of the jet head into the ambient medium strongly influences the morphology of the cocoon, and this result can be relevant in connection to the origin and structure of lobes in extragalactic radiosources.Comment: 14 pages, TeX. Accepted for A&

Nielsen Identity and the Renormalization Group Functions in an Abelian Supersymmetric Chern-Simons Model in the Superfield Formalism

In this paper we study the Nielsen identity for the supersymmetric Chern-Simons-matter model in the superfield formalism, in three spacetime dimensions. The Nielsen identity is essential to understand the gauge invariance of the symmetry breaking mechanism, and it is calculated by using the BRST invariance of the model. We discuss the technical difficulties in applying this identity to the complete effective superpotential, but we show how we can study in detail the gauge independence of one part of the effective superpotential, $K_{eff}$. We calculate the renormalization group functions of the model for arbitrary gauge-fixing parameter, finding them to be independent of the gauge choice. This result can be used to argue that $K_{eff}$ also does not depend on the gauge parameter. We discuss the possibility of the extension of these results to the complete effective superpotential.Comment: v2: 23 pages, 4 figures, version accepted for publication in PR

Distributed bounded-error state estimation for partitioned systems based on practical robust positive invariance

We propose a partition-based state estimator for linear discrete-time systems composed by coupled subsystems affected by bounded disturbances. The architecture is distributed in the sense that each subsystem is equipped with a local state estimator that exploits suitable pieces of information from parent subsystems. Moreover, differently from methods based on moving horizon estimation, our approach does not require the on-line solution to optimization problems. Our state-estimation scheme, that is based on the notion of practical robust positive invariance developed in Rakovic 2011, also guarantees satisfaction of constraints on local estimation errors and it can be updated with a limited computational effort when subsystems are added or removed

A Symmetric Approach to the Massive Nonlinear Sigma Model

In the present paper we extend to the massive case the procedure of divergences subtraction, previously introduced for the massless nonlinear sigma model (D=4). Perturbative expansion in the number of loops is successfully constructed. The resulting theory depends on the Spontaneous Symmetry Breaking parameter v, on the mass m and on the radiative correction parameter \Lambda. Fermions are not considered in the present work. SU(2) X SU(2) is the group used.Comment: 20 page

On the asymmetric zero-range in the rarefaction fan

We consider the one-dimensional asymmetric zero-range process starting from a step decreasing profile. In the hydrodynamic limit this initial condition leads to the rarefaction fan of the associated hydrodynamic equation. Under this initial condition and for totally asymmetric jumps, we show that the weighted sum of joint probabilities for second class particles sharing the same site is convergent and we compute its limit. For partially asymmetric jumps we derive the Law of Large Numbers for the position of a second class particle under the initial configuration in which all the positive sites are empty, all the negative sites are occupied with infinitely many first class particles and with a single second class particle at the origin. Moreover, we prove that among the infinite characteristics emanating from the position of the second class particle, this particle chooses randomly one of them. The randomness is given in terms of the weak solution of the hydrodynamic equation through some sort of renormalization function. By coupling the zero-range with the exclusion process we derive some limiting laws for more general initial conditions.Comment: 22 pages, to appear in Journal of Statistical Physic

Model checking usage policies

We study usage automata, a formal model for specifying policies on the usage of resources. Usage automata extend finite state automata with some additional features, parameters and guards, that improve their expressivity. We show that usage automata are expressive enough to model policies of real-world applications. We discuss their expressive power, and we prove that the problem of telling whether a computation complies with a usage policy is decidable. The main contribution of this paper is a model checking technique for usage automata. The model is that of usages, i.e. basic processes that describe the possible patterns of resource access and creation. In spite of the model having infinite states, because of recursion and resource creation, we devise a polynomial-time model checking technique for deciding when a usage complies with a usage policy