Quark-Gluon Plasma/Black Hole duality from Gauge/Gravity Correspondence

The Quark-Gluon Plasma (QGP) is the QCD phase of matter expected to be formed at small proper-times in the collision of heavy-ions at high energy. Experimental observations seem to favor a strongly coupled QCD plasma with the hydrodynamic properties of a quasi-perfect fluid, i.e. rapid thermalization (or isotropization) and small viscosity. The theoretical investigation of such properties is not obvious, due to the the strong coupling. The Gauge/Gravity correspondence provides a stimulating framework to explore the strong coupling regime of gauge theories using the dual string description. After a brief introduction to Gauge/Gravity duality, and among various existing studies, we focus on challenging problems of QGP hydrodynamics, such as viscosity and thermalization, in terms of gravitational duals of both the static and relativistically evolving plasma. We show how a Black Hole geometry arises naturally from the dual properties of a nearly perfect fluid and explore the lessons and prospects one may draw for actual heavy ion collisions from the Gauge/Gravity duality approach.Comment: 6 pages, 4 figures, invited talk at the EPS HEP 2007 Conference, Manchester (UK), and at the ``Deuxiemes rencontres PQG-France'', Etretat (2007); reference adde

Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs

Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel debugging techniques have concentrated on finding race conditions due to wrong usage of synchronization constructs. A widely unexplored issue, however, is that a wrong usage of non-parallel programming constructs may also cause wrong parallel application behavior. This paper presents a novel defect-localization technique for multithreaded shared-memory programs that is based on analyzing execution anomalies. Compared to race detectors that report just on wrong synchronization, this method can detect a wider range of defects affecting parallel execution. It works on a condensed representation of the call graphs of multithreaded applications and employs data-mining techniques to locate a method containing a defect. Our results from controlled application experiments show that we found race conditions, but also other programming errors leading to incorrect parallel program behavior. On average, our approach reduced in our benchmark the amount of code to be inspected to just 7.1% of all methods

Death receptor-based enrichment of Cas9-expressing cells

Background: The CRISPR/Cas9 genome editing system has greatly facilitated and expanded our capacity to engineer mammalian genomes, including targeted gene knock-outs. However, the phenotyping of the knock-out effect requires a high DNA editing efficiency. Results: Here, we report a user-friendly strategy based on the extrinsic apoptosis pathway that allows enrichment of a polyclonal gene-edited cell population, by selecting Cas9-transfected cells that co-express dominant-negative mutants of death receptors. The extrinsic apoptosis pathway can be triggered in many mammalian cell types, and ligands are easy to produce, do not require purification and kill much faster than the state-of-the-art selection drug puromycin. Stringent assessment of our advanced selection strategy via Sanger sequencing, T7 endonuclease I (T7E1) assay and direct phenotyping confirmed a strong and rapid enrichment of Cas9-expressing cell populations, in some cases reaching up to 100 % within one hour. Notably, the efficiency of target DNA cleavage in these enriched cells reached high levels that exceeded the reliable range of the T7E1 assay, a conclusion that can be generalized for editing efficiencies above 30 %. Moreover, our data emphasize that the insertion and deletion pattern induced by a specific gRNA is reproducible across different cell lines. Conclusions: The workflow and the findings reported here should streamline a wide array of future low- or high-throughput gene knock-out screens, and should largely improve data interpretation from CRISPR experiments

Tackling the Root Cause of Surface-Induced Coagulation: Inhibition of FXII Activation to Mitigate Coagulation Propagation and Prevent Clotting

Factor XII (FXII) is a zymogen present in blood that tends to adsorb onto the surfaces of blood-contacting medical devices. Once adsorbed, it becomes activated, initiating a cascade of enzymatic reactions that lead to surface-induced coagulation. This process is characterized by multiple redundancies, making it extremely challenging to prevent clot formation and preserve the properties of the surface. In this study, a novel modulatory coating system based on C1-esterase inhibitor (C1INH) functionalized polymer brushes, which effectively regulates the activation of FXII is proposed. Using surface plasmon resonance it is demonstrated that this coating system effectively repels blood plasma proteins, including FXII, while exhibiting high activity against activated FXII and plasma kallikrein under physiological conditions. This unique property enables the modulation of FXII activation without interfering with the overall hemostasis process. Furthermore, through dynamic Chandler loop studies, it is shown that this coating significantly improves the hemocompatibility of polymeric surfaces commonly used in medical devices. By addressing the root cause of contact activation, the synergistic interplay between the antifouling polymer brushes and the modulatory C1INH is expected to lay the foundation to enhance the hemocompatibility of medical device surfaces.© 2023 The Authors. Macromolecular Bioscience published by Wiley-VCH GmbH

The wilms tumor gene wt1a contributes to blood-cerebrospinal fluid barrier function in zebrafish

The Wilms tumor suppressor gene Wt1 encodes a zinc finger transcription factor, which is highly conserved among vertebrates. It is a key regulator of urogenital development and homeostasis but also plays a role in other organs including the spleen and the heart. More recently additional functions for Wt1 in the mammalian central nervous system have been described. In contrast to mammals, bony fish possess two paralogous Wt1 genes, namely wt1a and wt1b. By performing detailed in situ hybridization analyses during zebrafish development, we discovered new expression domains for wt1a in the dorsal hindbrain, the caudal medulla and the spinal cord. Marker analysis identified wt1a expressing cells of the dorsal hindbrain as ependymal cells of the choroid plexus in the myelencephalic ventricle. The choroid plexus acts as a blood-cerebrospinal fluid barrier and thus is crucial for brain homeostasis. By employing wt1a mutant larvae and a dye accumulation assay with fluorescent tracers we demonstrate that Wt1a is required for proper choroid plexus formation and function. Thus, Wt1a contributes to the barrier properties of the choroid plexus in zebrafish, revealing an unexpected role for Wt1 in the zebrafish brain

Deductive synthesis of recursive plans in linear logic

Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction. We introduce a recursively defined datatype and a corresponding induction rule, thereby allowing recursive plans to be synthesised. In order to make explicit the relationship between proofs and plans, we enhance the linear logic deduction rules to handle plans as a form of proof term

Spectral Flow on the Higgs Branch and AdS/CFT Duality

We use AdS/CFT duality to study the large N_c limit of the meson spectrum on the Higgs branch of a strongly coupled, N=2 supersymmetric SU(N_c) gauge theory with N_f =2 fundamental hypermultiplets. In the dual supergravity description, the Higgs branch is described by SU(2) instanton configurations on D7-branes in an AdS background. We compute the spectral flow parameterized by the size of a single instanton. In the large N_c limit, there is a sense in which the flow from zero to infinite instanton size, or Higgs VEV, can be viewed as a closed loop. We show that this flow leads to a non-trivial rearrangement of the spectrum.Comment: v2; 16 pages, 3 figures, LaTeX + JHEP class, 3 refs added, accepted for publication by JHE