Evidence for a family of SO(8) gauged supergravity theories

In this note we discuss the classification of duality orbits of N = 8 gauged supergravity models. Using tensor classifiers, we show that there is a one-parameter family of inequivalent SO(8) gauged supergravity theories. We briefly discuss the couplings of such models and show that, although the maximally symmetric vacuum has the same quadratic spectrum, the supersymmetry transformations, the couplings and the scalar potential are parameter dependent. We also comment on the possible M-theory uplift and on the meaning of the parameter for the dual gauge theories.Comment: 5 pages, 2 figures. v2: improved presentation. References fixe

Old and new vacua of 5D maximal supergravity

We look for critical points with U(2) residual symmetry in 5-dimensional maximally supersymmetric gauged supergravity, by varying the embedding tensor, rather than directly minimizing the scalar potential. We recover all previously known vacua and we find four new vacua, with different gauge groups and cosmological constants. We provide the first example of a maximal supergravity model in $D \geq 4$ having critical points with both positive and vanishing cosmological constant. For each vacuum we also compute the full mass spectrum. All results are analytic.Comment: 29 pages, 1 figure. v2 References adde

Consistent Kaluza-Klein truncations and two-dimensional gauged supergravity

We consider generalized Scherk-Schwarz reductions of E$_9$ exceptional field theory to D=2 space-time dimensions and in particular construct the resulting scalar potential of all gauged supergravities that can be obtained in this way. This provides the first general expression for a multitude of theories with an interesting structure of vacua, covering potentially many new AdS$_2$ cases. As an application, we prove the consistency of the truncation of eleven-dimensional supergravity on $S^8\times S^1$ to SO(9) gauged maximal supergravity. Fluctuations around its supersymmetric SO(9)-invariant vacuum describe holographically the dynamics of interacting D0-branes

E 9 exceptional field theory. Part II. The complete dynamics

We construct the first complete exceptional field theory that is based on an infinite-dimensional symmetry group. E$_9$ exceptional field theory provides a unified description of eleven-dimensional and type IIB supergravity covariant under the affine Kac-Moody symmetry of two-dimensional maximal supergravity. We present two equivalent formulations of the dynamics, which both rely on a pseudo-Lagrangian supplemented by a twisted self-duality equation. One formulation involves a minimal set of fields and gauge symmetries, which uniquely determine the entire dynamics. The other formulation extends $\mathfrak{e}_9$ by half of the Virasoro algebra and makes direct contact with the integrable structure of two-dimensional supergravity. Our results apply directly to other affine Kac-Moody groups, such as the Geroch group of general relativity

Dissipation caused by a vorticity field and generation of singularities in Madelung fluid

n/

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

Tibiotalocalcaneal arthrodesis in a rare case of tuberculosis of the talus

Aim To assess our personal experience of a case of tuberculosis of the talus, and to provide an overview of the literature about this tuberculosis manifestations, including all its aspects: epidemiology, clinical and imaging presentation, and all the treatments available to the current state of knowledge. Methods We present our experience in a case of a 34-year-old patient, who came to our attention with difficulty in walking and pain due to a talar tuberculosis, with consequent bone disruption and reabsorption, and foot deformities. Results A tibiotalocalcaneal arthrodesis with retrograde nail and bone graft was performed after antibiotic therapy. Today, almost two years after treatment, the patient can walk independently with no major limitations in everyday life. Conclusion Tibiotalocalcaneal arthrodesis with bone graft showed good functional results in this case study, with complete graft fusion and good functional and radiological outcomes

Using detergent to enhance detection sensitivity of African trypanosomes in human CSF and blood by Loop-Mediated Isothermal Amplification (LAMP)

<p><b>Background:</b> The loop-mediated isothermal amplification (LAMP) assay, with its advantages of simplicity, rapidity and cost effectiveness, has evolved as one of the most sensitive and specific methods for the detection of a broad range of pathogenic microorganisms including African trypanosomes. While many LAMP-based assays are sufficiently sensitive to detect DNA well below the amount present in a single parasite, the detection limit of the assay is restricted by the number of parasites present in the volume of sample assayed; i.e. 1 per µL or 103 per mL. We hypothesized that clinical sensitivities that mimic analytical limits based on parasite DNA could be approached or even obtained by simply adding detergent to the samples prior to LAMP assay.</p> <p><b>Methodology/Principal Findings:</b> For proof of principle we used two different LAMP assays capable of detecting 0.1 fg genomic DNA (0.001 parasite). The assay was tested on dilution series of intact bloodstream form Trypanosoma brucei rhodesiense in human cerebrospinal fluid (CSF) or blood with or without the addition of the detergent Triton X-100 and 60 min incubation at ambient temperature. With human CSF and in the absence of detergent, the LAMP detection limit for live intact parasites using 1 µL of CSF as the source of template was at best 103 parasites/mL. Remarkably, detergent enhanced LAMP assay reaches sensitivity about 100 to 1000-fold lower; i.e. 10 to 1 parasite/mL. Similar detergent-mediated increases in LAMP assay analytical sensitivity were also found using DNA extracted from filter paper cards containing blood pretreated with detergent before card spotting or blood samples spotted on detergent pretreated cards.</p> <p><b>Conclusions/Significance:</b> This simple procedure for the enhanced detection of live African trypanosomes in biological fluids by LAMP paves the way for the adaptation of LAMP for the economical and sensitive diagnosis of other protozoan parasites and microorganisms that cause diseases that plague the developing world.</p&gt

Nirmatrelvir treatment of SARS-CoV-2-infected mice blunts antiviral adaptive immune responses

Alongside vaccines, antiviral drugs are becoming an integral part of our response to the SARS-CoV-2 pandemic. Nirmatrelvir-an orally available inhibitor of the 3-chymotrypsin-like cysteine protease-has been shown to reduce the risk of progression to severe COVID-19. However, the impact of nirmatrelvir treatment on the development of SARS-CoV-2-specific adaptive immune responses is unknown. Here, by using mouse models of SARS-CoV-2 infection, we show that nirmatrelvir administration blunts the development of SARS-CoV-2-specific antibody and T cell responses. Accordingly, upon secondary challenge, nirmatrelvir-treated mice recruited significantly fewer memory T and B cells to the infected lungs and mediastinal lymph nodes, respectively. Together, the data highlight a potential negative impact of nirmatrelvir treatment with important implications for clinical management and might help explain the virological and/or symptomatic relapse after treatment completion reported in some individuals