The Ernst equation and ergosurfaces

We show that analytic solutions \mcE of the Ernst equation with non-empty zero-level-set of \Re \mcE lead to smooth ergosurfaces in space-time. In fact, the space-time metric is smooth near a "Ernst ergosurface" $E_f$ if and only if \mcE is smooth near $E_f$ and does not have zeros of infinite order there.Comment: 23 pages, 4 figures; misprints correcte

Invariants of Artinian Gorenstein Algebras and Isolated Hypersurface Singularities

We survey our recently proposed method for constructing biholomorphic invariants of quasihomogeneous isolated hypersurface singularities and, more generally, invariants of graded Artinian Gorenstein algebras. The method utilizes certain polynomials associated to such algebras, called nil-polynomials, and we compare them with two other classes of polynomials that have also been used to produce invariants.Comment: 13 page

A New Method for Finding Vacua in String Phenomenology

One of the central problems of string-phenomenology is to find stable vacua in the four dimensional effective theories which result from compactification. We present an algorithmic method to find all of the vacua of any given string-phenomenological system in a huge class. In particular, this paper reviews and then extends hep-th/0606122 to include various non-perturbative effects. These include gaugino condensation and instantonic contributions to the superpotential.Comment: 27 pages, 5 .eps figures. V2: Minor corrections, reference adde

Deterministically Computing Reduction Numbers of Polynomial Ideals

We discuss the problem of determining reduction number of a polynomial ideal I in n variables. We present two algorithms based on parametric computations. The first one determines the absolute reduction number of I and requires computation in a polynomial ring with (n-dim(I))dim(I) parameters and n-dim(I) variables. The second one computes via a Grobner system the set of all reduction numbers of the ideal I and thus in particular also its big reduction number. However,it requires computations in a ring with n.dim(I) parameters and n variables.Comment: This new version replaces the earlier version arXiv:1404.1721 and it has been accepted for publication in the proceedings of CASC 2014, Warsaw, Polna

Generating Non-Linear Interpolants by Semidefinite Programming

Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose hardest part is how to synthesize interpolants. Various work for discovering interpolants for propositional logic, quantifier-free fragments of first-order theories and their combinations have been proposed. However, little work focuses on discovering polynomial interpolants in the literature. In this paper, we provide an approach for constructing non-linear interpolants based on semidefinite programming, and show how to apply such results to the verification of programs by examples.Comment: 22 pages, 4 figure

Stability Walls in Heterotic Theories

We study the sub-structure of the heterotic Kahler moduli space due to the presence of non-Abelian internal gauge fields from the perspective of the four-dimensional effective theory. Internal gauge fields can be supersymmetric in some regions of the Kahler moduli space but break supersymmetry in others. In the context of the four-dimensional theory, we investigate what happens when the Kahler moduli are changed from the supersymmetric to the non-supersymmetric region. Our results provide a low-energy description of supersymmetry breaking by internal gauge fields as well as a physical picture for the mathematical notion of bundle stability. Specifically, we find that at the transition between the two regions an additional anomalous U(1) symmetry appears under which some of the states in the low-energy theory acquire charges. We compute the associated D-term contribution to the four-dimensional potential which contains a Kahler-moduli dependent Fayet-Iliopoulos term and contributions from the charged states. We show that this D-term correctly reproduces the expected physics. Several mathematical conclusions concerning vector bundle stability are drawn from our arguments. We also discuss possible physical applications of our results to heterotic model building and moduli stabilization.Comment: 37 pages, 4 figure

Four-modulus "Swiss Cheese" chiral models

We study the 'Large Volume Scenario' on explicit, new, compact, four-modulus Calabi-Yau manifolds. We pay special attention to the chirality problem pointed out by Blumenhagen, Moster and Plauschinn. Namely, we thoroughly analyze the possibility of generating neutral, non-perturbative superpotentials from Euclidean D3-branes in the presence of chirally intersecting D7-branes. We find that taking proper account of the Freed-Witten anomaly on non-spin cycles and of the Kaehler cone conditions imposes severe constraints on the models. Nevertheless, we are able to create setups where the constraints are solved, and up to three moduli are stabilized.Comment: 40 pages, 10 figures, clarifying comments added, minor mistakes correcte

Does Diabetes Accelerate the Progression of Aortic Stenosis through Enhanced Inflammatory Response within Aortic valves?

Diabetes predisposes to aortic stenosis (AS). We aimed to investigate if diabetes affects the expression of selected coagulation proteins and inflammatory markers in AS valves. Twenty patients with severe AS and concomitant type 2 diabetes mellitus (DM) and 40 well-matched patients without DM scheduled for valve replacement were recruited. Valvular tissue factor (TF), TF pathway inhibitor (TFPI), prothrombin, C-reactive protein (CRP) expression were evaluated by immunostaining and TF, prothrombin, and CRP transcripts were analyzed by real-time PCR. DM patients had elevated plasma CRP (9.2 [0.74–51.9] mg/l vs. 4.7 [0.59–23.14] mg/l, p = 0.009) and TF (293.06 [192.32–386.12] pg/ml vs. 140 [104.17–177.76] pg/ml, p = 0.003) compared to non-DM patients. In DM group, TF−, TFPI−, and prothrombin expression within valves was not related to demographics, body mass index, and concomitant diseases, whereas increased expression related to DM was found for CRP on both protein (2.87 [0.5–9]% vs. 0.94 [0–4]%, p = 0.01) and transcript levels (1.3 ± 0.61 vs. 0.22 ± 0.43, p = 0.009). CRP-positive areas were positively correlated with mRNA TF (r = 0.84, p = 0.036). Diabetes mellitus is associated with enhanced inflammation within AS valves, measured by CRP expression, which may contribute to faster AS progression

The combinatorics of plane curve singularities. How Newton polygons blossom into lotuses

This survey may be seen as an introduction to the use of toric and tropical geometry in the analysis of plane curve singularities, which are germs $(C,o)$ of complex analytic curves contained in a smooth complex analytic surface $S$. The embedded topological type of such a pair $(S, C)$ is usually defined to be that of the oriented link obtained by intersecting $C$ with a sufficiently small oriented Euclidean sphere centered at the point $o$, defined once a system of local coordinates $(x,y)$ was chosen on the germ $(S,o)$. If one works more generally over an arbitrary algebraically closed field of characteristic zero, one speaks instead of the combinatorial type of $(S, C)$. One may define it by looking either at the Newton-Puiseux series associated to $C$ relative to a generic local coordinate system $(x,y)$, or at the set of infinitely near points which have to be blown up in order to get the minimal embedded resolution of the germ $(C,o)$ or, thirdly, at the preimage of this germ by the resolution. Each point of view leads to a different encoding of the combinatorial type by a decorated tree: an Eggers-Wall tree, an Enriques diagram, or a weighted dual graph. The three trees contain the same information, which in the complex setting is equivalent to the knowledge of the embedded topological type. There are known algorithms for transforming one tree into another. In this paper we explain how a special type of two-dimensional simplicial complex called a lotus allows to think geometrically about the relations between the three types of trees. Namely, all of them embed in a natural lotus, their numerical decorations appearing as invariants of it. This lotus is constructed from the finite set of Newton polygons created during any process of resolution of $(C,o)$ by successive toric modifications.Comment: 104 pages, 58 figures. Compared to the previous version, section 2 is new. The historical information, contained before in subsection 6.2, is distributed now throughout the paper in the subsections called "Historical comments''. More details are also added at various places of the paper. To appear in the Handbook of Geometry and Topology of Singularities I, Springer, 202

Long-term modification of cortical synapses improves sensory perception

Synapses and receptive fields of the cerebral cortex are plastic. However, changes to specific inputs must be coordinated within neural networks to ensure that excitability and feature selectivity are appropriately configured for perception of the sensory environment. Long-lasting enhancements and decrements to rat primary auditory cortical excitatory synaptic strength were induced by pairing acoustic stimuli with activation of the nucleus basalis neuromodulatory system. Here we report that these synaptic modifications were approximately balanced across individual receptive fields, conserving mean excitation while reducing overall response variability. Decreased response variability should increase detection and recognition of near-threshold or previously imperceptible stimuli, as we found in behaving animals. Thus, modification of cortical inputs leads to wide-scale synaptic changes, which are related to improved sensory perception and enhanced behavioral performance