The bulk transition of many-flavour QCD and the search for a UVFP at strong coupling

We explore the nature of the bulk transition observed at strong coupling in the SU(3) gauge theory with Nf=12 fermions in the fundamental representation. The transition separates a weak coupling chirally symmetric phase from a strong coupling chirally broken phase and is compatible with the scenario where conformality is restored by increasing the flavour content of a non abelian gauge theory. We explore the intriguing possibility that the observed bulk transition is associated with the occurrence of an ultraviolet fixed point (UVFP) at strong coupling, where a new theory emerges in the continuum.

A Note on the Use of Sum in the Logic of Proofs

The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present in the language. In particular, Artemov showed that three operations on proofs (application~$\cdot$, positive introspection~!, and sum~+) are sufficient to mimic provability concealed in S4~modality. While the first two operations go back to G{\"o}del, the exact role of~+ remained somewhat unclear. In particular, it was not known whether the other two operations are sufficient by themselves. We provide a positive answer to this question under a very weak restriction on the axiomatization of LP.

Phases of many flavors QCD: Lattice results

This note is based on our recent results on QCD with varying number of flavors of fundamental fermions. Topics include unusual, strong dynamics in the preconformal, confining phase, the physics of the conformal window and the role of ab-initio lattice simulations in establishing our current knowledge of the phases of many flavor QCD.

Reconsidering the logic of World Federation of Neurosurgical Societies grading in patients with severe subarachnoid hemorrhage.

OBJECT Current data show a favorable outcome in up to 50% of patients with World Federation of Neurosurgical Societies (WFNS) Grade V subarachnoid hemorrhage (SAH) and a rather poor prediction of worst cases. Thus, the usefulness of the current WFNS grading system for identifying the worst scenarios for clinical studies and for making treatment decisions is limited. One reason for this lack of differentiation is the use of "negative" or "silent" diagnostic signs as part of the WFNS Grade V definition. The authors therefore reevaluated the WFNS scale by using "positive" clinical signs and the logic of the Glasgow Coma Scale as a progressive herniation score. METHODS The authors performed a retrospective analysis of 182 patients with SAH who had poor grades on the WFNS scale. Patients were graded according to the original WFNS scale and additionally according to a modified classification, the WFNS herniation (hWFNS) scale (Grade IV, no clinical signs of herniation; Grade V, clinical signs of herniation). The prediction of poor outcome was compared between these two grading systems. RESULTS The positive predictive values of Grade V for poor outcome were 74.3% (OR 3.79, 95% CI 1.94-7.54) for WFNS Grade V and 85.7% (OR 8.27, 95% CI 3.78-19.47) for hWFNS Grade V. With respect to mortality, the positive predictive values were 68.3% (OR 3.9, 95% CI 2.01-7.69) for WFNS Grade V and 77.9% (OR 6.22, 95% CI 3.07-13.14) for hWFNS Grade V. CONCLUSIONS Limiting WFNS Grade V to the positive clinical signs of the Glasgow Coma Scale such as flexion, extension, and pupillary abnormalities instead of including "no motor response" increases the prediction of mortality and poor outcome in patients with severe SAH.

Beyond a logic of effectiveness: Horizontal coordination, democratic legitimacy and accountability

Horizontal coordination, where actors join together to accomplish a common task, has been applauded for its output legitimacy. However, such processes often face challenges due to opposition from local actors who raise concerns about democratic legitimacy and accountability. Moving beyond a logic of effectiveness, we aim to show how and why other forms of legitimacy such as input and throughput dimensions also affect horizontal coordination, in addition to output criteria. Beyond the assumed positive relationship between coordination and effectiveness, we additionally expect horizontal coordination to be (a) impeded by local actors' fear of losing democratic legitimacy; and (b) fostered by accountability in terms of the steering capacity of the state. A comparative case study analysis of water supply structures at the regional level in Switzerland shows, in contrast to our expectation, that effectiveness has mixed impacts on horizontal coordination. Rather than being solely a positive factor for horizontal coordination, certain output criteria such as financial redistribution are found to be a key hindrance. We also find that democratic legitimacy may, indeed, impede horizontal coordination whereas increased accountability positively affects such coordination.

A Hennessy-Milner Property for Many-Valued Modal Logics

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.

Encouragement to Increase the Use of Psychosocial Skills in the Diagnosis and Therapy of Patients With Functional Dysphonia.

Clinicians believe that psychosocial factors play a causal role in the etiology of many forms of functional dysphonia (FD). But for decades, all attempts to confirm such causation have failed. This paper aims to show the logic of this failure, to discuss the possibilities of employing psychology in therapy nonetheless, and to encourage clinicians to use their psychosocial knowledge and skills. The failure to confirm psychic and social factors as causal in the etiology of FD is basically a consequence of a principal shortcoming of evidence-based medicine (EBM). As the gold standard for validity, reliability, and objectivity in medical research, EBM is based on calculability and hence the processing of quantitative data. But life paths and life situations are best or sometimes only expressible in qualitative, experiential, and idiographic terms. Thus EBM-guided evaluation undervalues most psychosocial studies. This report of an experienced multidisciplinary voice team proposes alternative pathways for integrating psychosocial knowledge into the diagnosis and the treatment of FD. The difference between the fields of activity of psychotherapists and speech-language pathologists is discussed, and the latter group is shown the potential benefits of using more of their psychosocial knowledge and skills.