Yang-Baxter deformations of Minkowski spacetime

We study Yang-Baxter deformations of 4D Minkowski spacetime. The Yang-Baxter sigma model description was originally developed for principal chiral models based on a modified classical Yang-Baxter equation. It has been extended to coset curved spaces and models based on the usual classical Yang-Baxter equation. On the other hand, for flat space, there is the obvious problem that the standard bilinear form degenerates if we employ the familiar coset Poincaré group/Lorentz group. Instead we consider a slice of AdS5 by embedding the 4D Poincaré group into the 4D conformal group SO(2, 4) . With this procedure we obtain metrics and B-fields as Yang-Baxter deformations which correspond to well-known configurations such as T-duals of Melvin backgrounds, Hashimoto-Sethi and Spradlin-Takayanagi-Volovich backgrounds, the T-dual of Grant space, pp-waves, and T-duals of dS4 and AdS4. Finally we consider a deformation with a classical r-matrix of Drinfeld-Jimbo type and explicitly derive the associated metric and B-field which we conjecture to correspond to a new integrable system.

Coronary artery disease, nitric oxide and oxidative stress: the "Yin-Yang" effect--a Chinese concept for a worldwide pandemic

Prevention of coronary artery disease (CAD) and reduction of its mortality and morbidity remains a major public health challenge throughout the "Western world". Recent evidence supports the concept that the impairment of endothelial function, a hallmark of insulin resistance states, is an upstream event in the pathophysiology of insulin resistance and its main corollaries: atherosclerosis and myocardial infarction. Atherosclerosis is currently thought to be the consequence of a subtle imbalance between pro- and anti-oxidants that produces favourable conditions for lesion progression towards acute thrombotic complications and clinical events. Over the last decade, a remarkable burst of evidence has accumulated, offering the new perspective that bioavailable nitric oxide (NO) plays a pivotal role throughout the CAD-spectrum, from its genesis to the outcome after acute events. Vascular NO is a critical modulator of coronary blood flow by inhibiting smooth muscle contraction and platelet aggregation. It also acts in angiogenesis and cytoprotection. Defective endothelial nitric oxide synthase (eNOS) driven NO synthesis causes development of major cardiovascular risk factors (insulin resistance, arterial hypertension and dyslipidaemia) in mice, and characterises CAD-prone insulin-resistant humans. On the other hand, stimulation of inducible nitric oxide synthase (iNOS) and NO overproduction causes metabolic insulin resistance and characterises atherosclerosis, heart failure and cardiogenic shock in humans, suggesting a "Yin-Yang" effect of NO in the cardiovascular homeostasis. Here, we will present a concise overview of the evidence for this novel concept, providing the conceptual framework for developing a potential therapeutic strategy to prevent and treat CAD.

Computer algebra for x-ray spectral reconstruction between 6 and 25 MV

A previously presented algorithm for the reconstruction of bremsstrahlung spectra from transmission data has been implemented into MATHEMATICA. Spectra vectorial algebra has been used to solve the matrix system A * F = T. The new implementation has been tested by reconstructing photon spectra from transmission data acquired in narrow beam conditions, for nominal energies of 6, 15, and 25 MV. The results were in excellent agreement with the original calculations. Our implementation has the advantage to be based on a well-tested mathematical kernel. Furthermore it offers a comfortable user interface.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Loop formulation of supersymmetric Yang-Mills quantum mechanics

We derive the fermion loop formulation of N=4 supersymmetric SU(N) Yang-Mills quantum mechanics on the lattice. The loop formulation naturally separates the contributions to the partition function into its bosonic and fermionic parts with fixed fermion number and provides a way to control potential fermion sign problems arising in numerical simulations of the theory. Furthermore, we present a reduced fermion matrix determinant which allows the projection into the canonical sectors of the theory and hence constitutes an alternative approach to simulate the theory on the lattice.