Non-perturbative renormalization of lattice four-fermion operators without power subtractions

A general nonperturbative analysis of the renormalization properties of Delta I = 3/2 four-fermion operators in the framework of lattice regularization with Wilson fermions is presented. We discuss the nonperturbative determination of the operator renormalization constants in the lattice regularization independent (RI or MOM) scheme. We also discuss the determination of the finite lattice subtraction coefficients from Ward identities. We prove that, at large external virtualities, the determination of the lattice mixing coefficients, obtained using the RI renormalization scheme, is equivalent to that based on Ward identities, in the continuum and chiral limits. As a feasibility study of our method, we compute the mixing matrix at several renormalization scales, for three Values of the lattice coupling beta, using the Wilson and tree-level improved SW-Clover actions

On the Thermodynamic Limit in Random Resistors Networks

We study a random resistors network model on a euclidean geometry \bt{Z}^d. We formulate the model in terms of a variational principle and show that, under appropriate boundary conditions, the thermodynamic limit of the dissipation per unit volume is finite almost surely and in the mean. Moreover, we show that for a particular thermodynamic limit the result is also independent of the boundary conditions.Comment: 14 pages, LaTeX IOP journal preprint style file `ioplppt.sty', revised version to appear in Journal of Physics

A Formal Approach to Microservice Architecture Deployment *

International audienceFollowing previous work on the automated deployment of componentbased applications, we present a formal model specifically tailored for reasoning on the deployment of microservice architectures. The first result that we present is a formal proof of decidability of the problem of synthesizing optimal deployment plans for microservice architectures, a problem which was proved to be undecidable for generic component-based applications. Then, given that such proof translates the deployment problem into a constraint satisfaction problem, we present the implementation of a tool that, by exploiting state-of-the-art constraint solvers, can be used to actually synthesize optimal deployment plans. We evaluate the applicability of our tool on a realistic microservice architecture taken from the literature

Microservice Dynamic Architecture-Level Deployment Orchestration

International audienceWe develop a novel approach for run-time global adaptation of microservice applications, based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we devise an algorithm for automatic reconfiguration that reaches a target system Maximum Computational Load by performing optimal deployment orchestrations. To conceive and simulate our approach, we introduce a novel integrated timed architectural modeling/execution language based on an extension of the actor-based object-oriented Abstract Behavioral Specification (ABS) language. In particular, we realize a timed extension of SmartDeployer, whose ABS code annotations make it possible to express architectural properties. Our Timed SmartDeployer tool fully integrates time features of ABS and architectural annotations by generating timed deployment orchestrations. We evaluate the applicability of our approach on a realistic microservice application taken from the literature: an Email Pipeline Processing System. We prove its effectiveness by simulating such an application and by comparing architecture-level reconfiguration with traditional local scaling techniques (which detect scaling needs and enact replications at the level of single microservices). Our comparison results show that our approach avoids cascading slowdowns and consequent increased message loss and latency, which affect traditional local scaling

Microservice Dynamic Architecture-Level Deployment Orchestration

We develop a novel approach for run-time global adaptation of microservice applications, based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we devise an algorithm for automatic reconfiguration that reaches a target system Maximum Computational Load by performing optimal deployment orchestrations. To conceive and simulate our approach, we introduce a novel integrated timed architectural modeling/execution language based on an extension of the actor-based object-oriented Abstract Behavioral Specification (ABS) language. In particular, we realize a timed extension of SmartDeployer, whose ABS code annotations make it possible to express architectural properties. Our Timed SmartDeployer tool fully integrates time features of ABS and architectural annotations by generating timed deployment orchestrations. We evaluate the applicability of our approach on a realistic microservice application taken from the literature: an Email Pipeline Processing System. We prove its effectiveness by simulating such an application and by comparing architecture-level reconfiguration with traditional local scaling techniques (which detect scaling needs and enact replications at the level of single microservices). Our comparison results show that our approach avoids cascading slowdowns and consequent increased message loss and latency, which affect traditional local scaling

Factors Associated With Real-Life Functioning in Persons With Schizophrenia in a 4-Year Follow-up Study of the Italian Network for Research on Psychoses

IMPORTANCE The goal of schizophrenia treatment has shifted from symptom reduction and relapse prevention to functional recovery; however, recovery rates remain low. Prospective identification of variables associated with real-life functioning domains is essential for personalized and integrated treatment programs.OBJECTIVE To assess whether baseline illness-related variables, personal resources, and context-related factors are associated with work skills, interpersonal relationships, and everyday life skills at 4-year follow-up.DESIGN, SETTING, AND PARTICIPANTS This multicenter prospective cohort study was conducted across 24 Italian university psychiatric clinics or mental health departments in which 921 patients enrolled in a cross-sectional study were contacted after 4 years for reassessment. Recruitment of community-dwelling, clinically stable persons with schizophrenia was conducted from March 2016 to December 2017, and data were analyzed from January to May 2020.MAIN OUTCOMES AND MEASURES Psychopathology, social and nonsocial cognition, functional capacity, personal resources, and context-related factors were assessed, with real-life functioning as the main outcome. Structural equation modeling, multiple regression analyses, and latent change score modeling were used to identify variables that were associated with real-life functioning domains at follow-up and with changes from baseline in these domains.RESULTS In total, 618 participants (427 male [69.1%]; mean [SD] age, 45.1 [10.5] years) were included. Five baseline variables were directly associated with real-life functioning at follow-up: neurocognition with everyday life (beta, 0.274; 95% CI, 0.207-0.341; P < .001) and work (beta, 0.101; 95% CI, 0.005-0.196; P = .04) skills; avolition with interpersonal relationships (beta, -0.126; 95% CI, -0.190 to -0.062; P < .001); positive symptoms with work skills (beta, -0.059; 95% CI, -0.112 to -0.006; P = .03); and social cognition with work skills (beta, 0.185; 95% CI, 0.088-0.283; P < .001) and interpersonal functioning (beta, 0.194; 95% CI, 0.121-0.268; P < .001). Multiple regression analyses indicated that these variables accounted for the variability of functioning at follow-up after controlling for baseline functioning. In the latent change score model, higher neurocognitive abilities were associated with improvement of everyday life (beta, 0.370; 95% CI, 0.253-0.486; P < .001) and work (beta, 0.102; 95% CI, 0.016-0.188; P = .02) skills, social cognition (beta, 0.133; 95% CI, 0.015-0.250; P = .03), and functional capacity (beta, 1.138; 95% CI, 0.807-1.469; P < .001); better baseline social cognition with improvement of work skills (beta, 0.168; 95% CI, 0.075-0.261; P < .001) and interpersonal functioning (beta, 0.140; 95% CI, 0.069-0.212; P < .001); and better baseline everyday life skills with improvement of work skills (beta, 0.121; 95% CI, 0.077-0.166; P < .001).CONCLUSIONS AND RELEVANCE Findings of this large prospective study suggested that baseline variables associated with functional outcome at follow-up included domains not routinely assessed and targeted by intervention programs in community mental health services. The key roles of social and nonsocial cognition and of baseline everyday life skills support the adoption in routine mental health care of cognitive training programs combined with personalized psychosocial interventions aimed to promote independent living