A possible theoretical explanation of metallicity gradients in elliptical galaxies

Models of chemical evolution of elliptical galaxies taking into account different escape velocities at different galactocentric radii are presented. As a consequence of this, the chemical evolution develops differently in different galactic regions; in particular, we find that the galactic wind, powered by supernovae (of type II and I) starts, under suitable conditions, in the outer regions and successively develops in the central ones. The rate of star formation (SFR) is assumed to stop after the onset of the galactic wind in each region. The main result found in the present work is that this mechanism is able to reproduce metallicity gradients, namely the gradients in the $Mg_2$ index, in good agreement with observational data. We also find that in order to honor the constant [Mg/Fe] ratio with galactocentric distance, as inferred from metallicity indices, a variable initial mass function as a function of galactocentric distance is required. This is only a suggestion since trends on abundances inferred just from metallicity indices are still uncertain.Comment: 18 pages, LaTeX file with 4 figures using mn.sty, submitted to MNRA

Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking

This paper presents a framework for a logical characterisation of fault tolerance and its formal analysis based on partial model checking techniques. The framework requires a fault tolerant system to be modelled using a formal calculus, here the CCS process algebra. To this aim we propose a uniform modelling scheme in which to specify a formal model of the system, its failing behaviour and possibly its fault-recovering procedures. Once a formal model is provided into our scheme, fault tolerance - with respect to a given property - can be formalized as an equational µ-calculus formula. This formula expresses in a logic formalism, all the fault scenarios satisfying that fault tolerance property. Such a characterisation understands the analysis of fault tolerance as a form of analysis of open systems and thank to partial model checking strategies, it can be made independent on any particular fault assumption. Moreover this logical characterisation makes possible the fault-tolerance verification problem be expressed as a general µ-calculus validation problem, for solving which many theorem proof techniques and tools are available. We present several analysis methods showing the flexibility of our approach

Linear feedback control of transient energy growth and control performance limitations in subcritical plane Poiseuille flow

Suppression of the transient energy growth in subcritical plane Poiseuille flow via feedback control is addressed. It is assumed that the time derivative of any of the velocity components can be imposed at the walls as control input, and that full-state information is available. We show that it is impossible to design a linear state-feedback controller that leads to a closed-loop flow system without transient energy growth. In a subsequent step, full-state feedback controllers -- directly targeting the transient growth mechanism -- are designed, using a procedure based on a Linear Matrix Inequalities approach. The performance of such controllers is analyzed first in the linear case, where comparison to previously proposed linear-quadratic optimal controllers is made; further, transition thresholds are evaluated via Direct Numerical Simulations of the controlled three-dimensional Poiseuille flow against different initial conditions of physical interest, employing different velocity components as wall actuation. The present controllers are effective in increasing the transition thresholds in closed loop, with varying degree of performance depending on the initial condition and the actuation component employed

Non-Perturbative Renormalisation of Composite Operators

It is shown that the renormalisation constants of two quark operators can be accurately determined (to a precision of a few per-cent using 18 gluon configurations) using Chiral Ward identities. A method for computing renormalisation constants of generic composite operators without the use of lattice perturbation theory is proposed.Comment: 3 pages, uuencoded compressed postscript file, to appear in the Proceedings of the International Symposium on Lattice Field Theory, Dallas, Texas, 12-17 October 1993, Southampton Preprint 93/94-0

Non-perturbative quark mass renormalization

We show that the renormalization factor relating the renormalization group invariant quark masses to the bare quark masses computed in lattice QCD can be determined non-perturbatively. The calculation is based on an extension of a finite-size technique previously employed to compute the running coupling in quenched QCD. As a by-product we obtain the $\Lambda$--parameter in this theory with completely controlled errors.Comment: Talk given at LATTICE '97, 6 pages, Latex source, 7 eps figures, needs epsfi

Non-perturbative improvement of composite operators with Wilson fermions

We propose a method to improve lattice operators composed of Wilson fermions which allows the removal of all corrections of $O(a)$, including those proportional to the quark mass, leaving only errors of $O(a^2)$. The method exploits the fact that chiral symmetry is restored at short distances. By imposing this requirement on correlation functions of improved lattice operators at short distances, the coefficients which appear in these operators can be determined. The method is an extension of the improvement program of the ALPHA collaboration, which, up to now, has only been applicable in the chiral limit. The extension to quarks with non-zero masses is particularly important for applications in heavy quark physics.Comment: 15 pages, Late

Non perturbative renormalization in coordinate space

We present an exploratory study of a gauge-invariant non-perturbative renormalization technique. The renormalization conditions are imposed on correlation functions of composite operators in coordinate space on the lattice. Numerical results for bilinears obtained with overlap and O(a)-improved Wilson fermions are presented. The measurement of the quark condensate is also discussed.Comment: Lattice2003(improve), 3 page

The quest for three-color entanglement: experimental investigation of new multipartite quantum correlations

We experimentally investigate quadrature correlations between pump, signal, and idler fields in an above-threshold optical parametric oscillator. We observe new quantum correlations among the pump and signal or idler beams, as well as among the pump and a combined quadrature of signal and idler beams. A further investigation of unforeseen classical noise observed in this system is presented, which hinders the observation of the recently predicted tripartite entanglement. In spite of this noise, current results approach the limit required to demonstrate three-color entanglement.Comment: 10 pages, 5 figures, submitted to Opt. Expres

Direct Production of Tripartite Pump-Signal-Idler Entanglement in the Above-Threshold Optical Parametric Oscillator

We calculate the quantum correlations existing among the three output fields (pump, signal, and idler) of a triply resonant non-degenerate Optical Parametric Oscillator operating above threshold. By applying the standard criteria [P. van Loock and A. Furusawa, Phys. Rev. A 67, 052315 (2003)], we show that strong tripartite continuous-variable entanglement is present in this well-known and simple system. Furthermore, since the entanglement is generated directly from a nonlinear process, the three entangled fields can have very different frequencies, opening the way for multicolored quantum information networks.Comment: 4 pages, 3 figure