A necessary flexibility condition of a nondegenerate suspension in Lobachevsky 3-space

We show that some combination of the lengths of all edges of the equator of a flexible suspension in Lobachevsky 3-space is equal to zero (each length is taken either positive or negative in this combination).Comment: 20 pages, 13 figure

Looking backward: From Euler to Riemann

We survey the main ideas in the early history of the subjects on which Riemann worked and that led to some of his most important discoveries. The subjects discussed include the theory of functions of a complex variable, elliptic and Abelian integrals, the hypergeometric series, the zeta function, topology, differential geometry, integration, and the notion of space. We shall see that among Riemann's predecessors in all these fields, one name occupies a prominent place, this is Leonhard Euler. The final version of this paper will appear in the book \emph{From Riemann to differential geometry and relativity} (L. Ji, A. Papadopoulos and S. Yamada, ed.) Berlin: Springer, 2017

On the loss of continuity for super-critical drift-diffusion equations

We show that there exist solutions of drift-diffusion equations in two dimensions with divergence-free super-critical drifts, that become discontinuous in finite time. We consider classical as well as fractional diffusion. However, in the case of classical diffusion and time-independent drifts we prove that solutions satisfy a modulus of continuity depending only on the local $L^1$ norm of the drift, which is a super-critical quantity.Comment: Minor edit

Towards concolic testing for hybrid systems

Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate whether we can combine random sampling and symbolic execution in order to effectively verify hybrid systems. We identify a sufficient condition under which such a combination is more effective than random sampling. Furthermore, we analyze different strategies of combining random sampling and symbolic execution and propose an algorithm which allows us to dynamically switch between them so as to reduce the overall cost. Our method has been implemented as a web-based checker named HYCHECKER. HYCHECKER has been evaluated with benchmark hybrid systems and a water treatment system in order to test its effectiveness.CPCI-S(ISTP)[email protected]; [email protected]

Regularity Properties and Pathologies of Position-Space Renormalization-Group Transformations

We reconsider the conceptual foundations of the renormalization-group (RG) formalism, and prove some rigorous theorems on the regularity properties and possible pathologies of the RG map. Regarding regularity, we show that the RG map, defined on a suitable space of interactions (= formal Hamiltonians), is always single-valued and Lipschitz continuous on its domain of definition. This rules out a recently proposed scenario for the RG description of first-order phase transitions. On the pathological side, we make rigorous some arguments of Griffiths, Pearce and Israel, and prove in several cases that the renormalized measure is not a Gibbs measure for any reasonable interaction. This means that the RG map is ill-defined, and that the conventional RG description of first-order phase transitions is not universally valid. For decimation or Kadanoff transformations applied to the Ising model in dimension $d \ge 3$, these pathologies occur in a full neighborhood $\{ \beta > \beta_0 ,\, |h| < \epsilon(\beta) \}$ of the low-temperature part of the first-order phase-transition surface. For block-averaging transformations applied to the Ising model in dimension $d \ge 2$, the pathologies occur at low temperatures for arbitrary magnetic-field strength. Pathologies may also occur in the critical region for Ising models in dimension $d \ge 4$. We discuss in detail the distinction between Gibbsian and non-Gibbsian measures, and give a rather complete catalogue of the known examples. Finally, we discuss the heuristic and numerical evidence on RG pathologies in the light of our rigorous theorems.Comment: 273 pages including 14 figures, Postscript, See also ftp.scri.fsu.edu:hep-lat/papers/9210/9210032.ps.

Effective-Range Expansion of the Neutron-Deuteron Scattering Studied by a Quark-Model Nonlocal Gaussian Potential

The S-wave effective range parameters of the neutron-deuteron (nd) scattering are derived in the Faddeev formalism, using a nonlocal Gaussian potential based on the quark-model baryon-baryon interaction fss2. The spin-doublet low-energy eigenphase shift is sufficiently attractive to reproduce predictions by the AV18 plus Urbana three-nucleon force, yielding the observed value of the doublet scattering length and the correct differential cross sections below the deuteron breakup threshold. This conclusion is consistent with the previous result for the triton binding energy, which is nearly reproduced by fss2 without reinforcing it with the three-nucleon force.Comment: 21 pages, 6 figures and 6 tables, submitted to Prog. Theor. Phy

Mild Hypothermia Attenuates Mitochondrial Oxidative Stress by Protecting Respiratory Enzymes and Upregulating MnSOD in a Pig Model of Cardiac Arrest

Mild hypothermia is the only effective treatment confirmed clinically to improve neurological outcomes for comatose patients with cardiac arrest. However, the underlying mechanism is not fully elucidated. In this study, our aim was to determine the effect of mild hypothermia on mitochondrial oxidative stress in the cerebral cortex. We intravascularly induced mild hypothermia (33°C), maintained this temperature for 12 h, and actively rewarmed in the inbred Chinese Wuzhishan minipigs successfully resuscitated after 8 min of untreated ventricular fibrillation. Cerebral samples were collected at 24 and 72 h following return of spontaneous circulation (ROSC). We found that mitochondrial malondialdehyde and protein carbonyl levels were significantly increased in the cerebral cortex in normothermic pigs even at 24 h after ROSC, whereas mild hypothermia attenuated this increase. Moreover, mild hypothermia attenuated the decrease in Complex I and Complex III (i.e., major sites of reactive oxygen species production) activities of the mitochondrial respiratory chain and increased antioxidant enzyme manganese superoxide dismutase (MnSOD) activity. This increase in MnSOD activity was consistent with the upregulation of nuclear factor erythroid 2-related factor 2 (Nrf2) mRNA and protein expressions, and with the increase of Nrf2 nuclear translocation in normothermic pigs at 24 and 72 h following ROSC, whereas mild hypothermia enhanced these tendencies. Thus, our findings indicate that mild hypothermia attenuates mitochondrial oxidative stress in the cerebral cortex, which may be associated with reduced impairment of mitochondrial respiratory chain enzymes, and enhancement of MnSOD activity and expression via Nrf2 activation

Insulinotropic Effect of the Non-Steroidal Compound STX in Pancreatic β-Cells

The non-steroidal compound STX modulates the hypothalamic control of core body temperature and energy homeostasis. The aim of this work was to study the potential effects of STX on pancreatic β-cell function. 1–10 nM STX produced an increase in glucose-induced insulin secretion in isolated islets from male mice, whereas it had no effect in islets from female mice. This insulinotropic effect of STX was abolished by the anti-estrogen ICI 182,780. STX increased intracellular calcium entry in both whole islets and isolated β-cells, and closed the KATP channel, suggesting a direct effect on β-cells. When intraperitoneal glucose tolerance test was performed, a single dose of 100 µg/kg body weight STX improved glucose sensitivity in males, yet it had a slight effect on females. In agreement with the effect on isolated islets, 100 µg/kg dose of STX enhanced the plasma insulin increase in response to a glucose load, while it did not in females. Long-term treatment (100 µg/kg, 6 days) of male mice with STX did not alter body weight, fasting glucose, glucose sensitivity or islet insulin content. Ovariectomized females were insensitive to STX (100 µg/kg), after either an acute administration or a 6-day treatment. This long-term treatment was also ineffective in a mouse model of mild diabetes. Therefore, STX appears to have a gender-specific effect on blood glucose homeostasis, which is only manifested after an acute administration. The insulinotropic effect of STX in pancreatic β-cells is mediated by the closure of the KATP channel and the increase in intracellular calcium concentration. The in vivo improvement in glucose tolerance appears to be mostly due to the enhancement of insulin secretion from β-cells