Numerical Exploration of the RI/MOM Scheme Gauge Dependence

The gauge dependence of some fermion bilinear RI/MOM renormalization constants is studied by comparing data which have been gauge-fixed in two different realizations of the Landau gauge and in a generic covariant gauge. The very good agreement between the various sets of results and the theory indicates that the numerical uncertainty induced by the lattice gauge-fixing procedure is below the statistical errors of our data sample which is of the order of (1-1.5)%.Comment: 3 pages, 2 figures, Lattice2002(theoretical

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

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

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

Electromagnetic and strong isospin-breaking corrections to the muon g−2g - 2 from Lattice QCD+QED

We present a lattice calculation of the leading-order electromagnetic and strong isospin-breaking corrections to the hadronic vacuum polarization (HVP) contribution to the anomalous magnetic moment of the muon. We employ the gauge configurations generated by the European Twisted Mass Collaboration (ETMC) with $N_f = 2+1+1$ dynamical quarks at three values of the lattice spacing ($a \simeq 0.062, 0.082, 0.089$ fm) with pion masses between $\simeq 210$ and $\simeq 450$ MeV. The results are obtained adopting the RM123 approach in the quenched-QED approximation, which neglects the charges of the sea quarks. Quark disconnected diagrams are not included. After the extrapolations to the physical pion mass and to the continuum and infinite-volume limits the contributions of the light, strange and charm quarks are respectively equal to $\delta a_\mu^{\rm HVP}(ud) = 7.1 ~ (2.5) \cdot 10^{-10}$, $\delta a_\mu^{\rm HVP}(s) = -0.0053 ~ (33) \cdot 10^{-10}$ and $\delta a_\mu^{\rm HVP}(c) = 0.0182 ~ (36) \cdot 10^{-10}$. At leading order in $\alpha_{em}$ and $(m_d - m_u) / \Lambda_{QCD}$ we obtain $\delta a_\mu^{\rm HVP}(udsc) = 7.1 ~ (2.9) \cdot 10^{-10}$, which is currently the most accurate determination of the isospin-breaking corrections to $a_\mu^{\rm HVP}$.Comment: 23 pages, 7 figures, 5 tables. Version to appear in PRD. A bug in the update of the strange and charm contributions is removed and an extended discussion on the identification of the ground-state is included. arXiv admin note: text overlap with arXiv:1808.00887, arXiv:1707.0301

The phase diagrams of iron-based superconductors: theory and experiments

Phase diagrams play a primary role in the understanding of materials properties. For iron-based superconductors (Fe-SC), the correct definition of their phase diagrams is crucial because of the close interplay between their crystallo-chemical and magnetic properties, on one side, and the possible coexistence of magnetism and superconductivity, on the other. The two most difficult issues for understanding the Fe-SC phase diagrams are: 1) the origin of the structural transformation taking place during cooling and its relationship with magnetism; 2) the correct description of the region where a crossover between the magnetic and superconducting electronic ground states takes place. Hence a proper and accurate definition of the structural, magnetic and electronic phase boundaries provides an extremely powerful tool for material scientists. For this reason, an exact definition of the thermodynamic phase fields characterizing the different structural and physical properties involved is needed, although it is not easy to obtain in many cases. Moreover, physical properties can often be strongly dependent on the occurrence of micro-structural and other local-scale features (lattice micro-strain, chemical fluctuations, domain walls, grain boundaries, defects), which, as a rule, are not described in a structural phase diagram. In this review, we critically summarize the results for the most studied 11-, 122- and 1111-type compound systems, providing a correlation between experimental evidence and theory

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