1,868 research outputs found
Renormalization group and Ward identities in quantum liquid phases and in unconventional critical phenomena
By reviewing the application of the renormalization group to different
theoretical problems, we emphasize the role played by the general symmetry
properties in identifying the relevant running variables describing the
behavior of a given physical system. In particular, we show how the constraints
due to the Ward identities, which implement the conservation laws associated
with the various symmetries, help to minimize the number of independent running
variables. This use of the Ward identities is examined both in the case of a
stable phase and of a critical phenomenon. In the first case we consider the
problems of interacting fermions and bosons. In one dimension general and
specific Ward identities are sufficient to show the non-Fermi-liquid character
of the interacting fermion system, and also allow to describe the crossover to
a Fermi liquid above one dimension. This crossover is examined both in the
absence and presence of singular interaction. On the other hand, in the case of
interacting bosons in the superfluid phase, the implementation of the Ward
identities provides the asymptotically exact description of the acoustic
low-energy excitation spectrum, and clarifies the subtle mechanism of how this
is realized below and above three dimensions. As a critical phenomenon, we
discuss the disorder-driven metal-insulator transition in a disordered
interacting Fermi system. In this case, through the use of Ward identities, one
is able to associate all the disorder effects to renormalizations of the Landau
parameters. As a consequence, the occurrence of a metal-insulator transition is
described as a critical breakdown of a Fermi liquid.Comment: 47 pages, 11 figure
Reasoning about strategies under partial observability and fairness constraints
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constraints. In this paper we propose AT LK^F_po, a logic mixing strategies under partial observability and epistemic properties of agents in a system with fairness constraints on states, and we provide a model checking algorithm for i
Improving the model checking of strategies under partial observability and fairness constraints
Reasoning about strategies has been a concern for several
years, and many extensions of Alternating-time Temporal Logic have been proposed. One extension, ATLKirF , allows the user to reason about the strategies of the agents of a system under partial observability and unconditional fairness constraints. However, the existing model-checking algorithm for ATLKirF is inefficient when the user is only interested in the satisfaction of a formula in a small subset of states, such as the set of
initial states of the system. We propose to generate fewer strategies by only focusing on partial strategies reachable from this subset of states, reducing the time needed to perform the verification. We also describe several practical improvements to further reduce the verification time and present experiments showing the practical impact of the approach
Comparing approaches for model-checking strategies under imperfect information and fairness constraints
Starting from Alternating-time Temporal Logic, many logics for reasoning about strategies in a system of agents have been proposed. Some of them consider the strategies that agents can play when they have partial information about the state of the system. ATLKirF is such a logic to reason about uniform strategies under unconditional fairness constraints. While this kind of logics has been extensively studied, practical approaches for solving their model- checking problem appeared only recently.
This paper considers three approaches for model checking strategies under partial observability of the agents, applied to ATLKirF . These three approaches have been implemented in PyNuSMV, a Python library based on the state-of- the-art model checker NuSMV. Thanks to the experimental results obtained with this library and thanks to the comparison of the relative performance of the approaches, this paper provides indications and guidelines for the use of these verification techniques, showing that different approaches are needed in different situations
Homogenization of a nonlinear elliptic problem with imperfect rough interface
This paper deals with an elliptic problem with a nonlinear lower order term
set in an open bounded cylinder of , , divided into two connected
components by an imperfect rough interface. More precisely, we assume that at
the interface the flux is continuous and proportional, via a nonlinear rule, to
the jump of the solution. According to the amplitude of the interface
oscillations and the proportionality coefficient, we derive different
homogenized problems
Gender-Dependent Specificities in Cutaneous Melanoma Predisposition, Risk Factors, Somatic Mutations, Prognostic and Predictive Factors: A Systematic Review.
Over the last decades, the incidence of melanoma has been steadily growing, with 4.2% of the population worldwide affected by cutaneous melanoma (CM) in 2020 and with a higher incidence and mortality in men than in women. We investigated both the risk factors for CM development and the prognostic and predictive factors for survival, stratifying for both sex and gender.
We conducted a systematic review of studies indexed in PUB-MED, EMBASE, and Scopus until 4 February 2021. We included reviews, meta-analyses, and pooled analyses investigating differences between women and men in CM risk factors and in prognostic and predictive factors for CM survival.
Twenty-four studies were included, and relevant data extracted. Of these, 13 studies concerned potential risk factors, six concerned predictive factors, and five addressed prognostic factors of melanoma.
The systematic review revealed no significant differences in genetic predisposition to CM between males and females, while there appear to be several gender disparities regarding CM risk factors, partly attributable to different lifestyles and behavioral habits between men and women. There is currently no clear evidence of whether the mutational landscapes of CM differ by sex/gender. Prognosis is justified by a complex combination of phenotypes and immune functions, while reported differences between genders in predicting the effectiveness of new treatments are inconsistent. Overall, the results emerging from the literature reveal the importance of considering the sex/gender variable in all studies and pave the way for including it towards precision medicine.
Men and women differ genetically, biologically, and by social construct. Our systematic review shows that, although fundamental, the variable sex/gender is not among the ones collected and analyzed
Vaginal and anal microbiome during chlamydia trachomatis infections
Background. Chlamydia trachomatis (CT) is the agent of the most common bacterial sexually transmitted infection worldwide, with a significant impact on women’s health. Despite the increasing number of studies about the vaginal microbiome in women with CT infections, information about the composition of the anal microbiome is still lacking. Here, we assessed the bacterial community profiles of vaginal and anal ecosystems associated or not with CT infection in a cohort of Caucasian young women. Methods. A total of 26 women, including 10 with a contemporary vaginal and anorectal CT infection, were enrolled. Composition of vaginal and anal microbiome was studied by 16S rRNA gene profiling. Co-occurrence networks of bacterial communities and metagenome metabolic functions were determined. Results. In case of CT infection, both vaginal and anal environments were characterized by a degree of dysbiosis. Indeed, the vaginal microbiome of CT-positive women were depleted in lactobacilli, with a significant increase in dysbiosis-associated bacteria (e.g., Sneathia, Parvimonas, Megasphaera), whereas the anal microbiota of CT-infected women was characterized by higher levels of Parvimonas and Pseudomonas and lower levels of Escherichia. Interestingly, the microbiome of anus and vagina had numerous bacterial taxa in common, reflecting a significant microbial ‘sharing’ between the two sites. In the vaginal environment, CT positively correlated with Ezakiella spp. while Gardnerella vaginalis co-occurred with several dysbiosis-related microbes, regardless of CT vaginal infection. The vaginal microbiome of CT-positive females exhibited a higher involvement of chorismate and aromatic amino acid biosynthesis, as well as an increase in mixed acid fermentation. Conclusions. These data could be useful to set up new diagnostic/prognostic tools, offering new perspectives for the control of chlamydial infections
Charge and spin inhomogeneity as a key to the physics of the high Tc cuprates
We present a coherent scenario for the physics of cuprate superconductors,
which is based on a charge-driven inhomogeneity, i.e. the ``stripe phase''. We
show that spin and charge critical fluctuations near the stripe instability of
strongly correlated electron systems provide an effective interaction between
the quasiparticles, which is strongly momentum, frequency, temperature and
doping dependent. This accounts for the various phenomena occurring in the
overdoped, optimally and underdoped regimes both for the normal and the
superconductive phase.Comment: 6 pages, 1 enclosed figure, proceedings of LT2
Sour Beer as Bioreservoir of Novel Craft Ale Yeast Cultures
: The increasing demand for craft beer is driving the search for novel ale yeast cultures from brewing-related wild environments. The focus of bioprospecting for craft cultures is to identify feral yeasts suitable to imprint unique sensorial attributes onto the final product. Here, we integrated phylogenetic, genotypic, genetic, and metabolomic techniques to demonstrate that sour beer during aging in wooden barrels is a source of suitable craft ale yeast candidates. In contrast to the traditional lambic beer maturation phase, during the aging of sour-matured production-style beer, different biotypes of Saccharomyces cerevisiae dominated the cultivable in-house mycobiota, which were followed by Pichia membranifaciens, Brettanomyces bruxellensis, and Brettanomyces anomalus. In addition, three putative S. cerevisiae × Saccharomyces uvarum hybrids were identified. S. cerevisiae feral strains sporulated, produced viable monosporic progenies, and had the STA1 gene downstream as a full-length promoter. During hopped wort fermentation, four S. cerevisiae strains and the S. cerevisiae × S. uvarum hybrid WY213 exceeded non-Saccharomyces strains in fermentative rate and ethanol production except for P. membranifaciens WY122. This strain consumed maltose after a long lag phase, in contrast to the phenotypic profile described for the species. According to the STA1+ genotype, S. cerevisiae partially consumed dextrin. Among the volatile organic compounds (VOCs) produced by S. cerevisiae and the S. cerevisiae × S. uvarum hybrid, phenylethyl alcohol, which has a fruit-like aroma, was the most prevalent. In conclusion, the strains characterized here have relevant brewing properties and are exploitable as indigenous craft beer starters
- …