The cohomology of superspace, pure spinors and invariant integrals

The superform construction of supersymmetric invariants, which consists of integrating the top component of a closed superform over spacetime, is reviewed. The cohomological methods necessary for the analysis of closed superforms are discussed and some further theoretical developments presented. The method is applied to higher-order corrections in heterotic string theory up to \a'^3. Some partial results on $N=2,d=10$ and $N=1,d=11$ are also given.Comment: 24 pages. Minor changes; added reference

D=3, N=8 conformal supergravity and the Dragon window

We give a superspace description of D=3, N=8 supergravity. The formulation is off-shell in the sense that the equations of motion are not implied by the superspace constraints (but an action principle is not given). The multiplet structure is unconventional, which we connect to the existence of a "Dragon window", that is modules occurring in the supercurvature but not in the supertorsion. According to Dragon's theorem this cannot happen above three dimensions. We clarify the relevance of this window for going on the conformal shell, and discuss some aspects of coupling to conformal matter.Comment: plain tex, 24 pp v2: minor change

A Note on Embedding of M-Theory Corrections into Eleven-Dimensional Superspace

By analyzing eleven-dimensional superspace fourth-rank superfield strength F-Bianchi identities, we show that M-theory corrections to eleven-dimensional supergravity can not be embedded into the mass dimension zero constraints, such as the (\g^{a b})_{\a\b} X_{a b}{}^c or i (\g^{a_1... a_5})_{\a\b} X_{a_1... a_5}{}^c -terms in the supertorsion constraint T_{\a\b}{}^c. The only possible modification of superspace constraint at dimension zero is found to be the scaling of F_{\a\b c d} like F_{\a\b c d} = (1/2) \big(\g_{c d}\big)_{\a\b} e^\Phi for some real scalar superfield \Phi, which alone is further shown not enough to embed general M-theory corrections. This conclusion is based on the dimension zero F-Bianchi identity under the two assumptions: (i) There are no negative dimensional constraints on the F-superfield strength: F_{\a\b\g\d} = F_{\a\b\g d} =0; (ii) The supertorsion T-Bianchi identities and F-Bianchi identities are not modified by Chern-Simons terms. Our result can serve as a powerful tool for future exploration of M-theory corrections embedded into eleven-dimensional superspace supergravity.Comment: 14 pages, latex, some minor typos corrected, as well as old section 5 deleted, due to the subtlety about Chern-Simons term in F-Bianchi identitie

International Space Station United States Orbital Segment Oxygen Generation System On-Orbit Operational Experience

The International Space Station (ISS) United States Orbital Segment (USOS) Oxygen Generation System (OGS) was originally intended to be installed in ISS Node 3. The OGS rack delivery was accelerated, and it was launched to ISS in July of 2006 and installed in the US Laboratory Module. Various modification kits were installed to provide its interfaces, and the OGS was first activated in July of 2007 for 15 hours, In October of 2007 it was again activated for 76 hours with varied production rates and day/night cycling. Operational time in each instance was limited by the quantity of feedwater in a Payload Water Reservoir (PWR) bag. Feedwater will be provided by PWR bag until the USOS Water Recovery System (WRS) is delivered to SS in fall of 2008. This paper will discuss operating experience and characteristics of the OGS, as well as operational issues and their resolution

A low-voltage activated, transient calcium current is responsible for the time-dependent depolarizing inward rectification of rat neocortical neurons in vitro

Intracellular recordings were obtained from rat neocortical neurons in vitro. The current-voltage-relationship of the neuronal membrane was investigated using current- and single-electrode-voltage-clamp techniques. Within the potential range up to 25 mV positive to the resting membrane potential (RMP: –75 to –80 mV) the steady state slope resistance increased with depolarization (i.e. steady state inward rectification in depolarizing direction). Replacement of extracellular NaCl with an equimolar amount of choline chloride resulted in the conversion of the steady state inward rectification to an outward rectification, suggesting the presence of a voltage-dependent, persistent sodium current which generated the steady state inward rectification of these neurons. Intracellularly injected outward current pulses with just subthreshold intensities elicited a transient depolarizing potential which invariably triggered the first action potential upon an increase in current strength. Single-electrode-voltage-clamp measurements reveled that this depolarizing potential was produced by a transient calcium current activated at membrane potentials 15–20 mV positive to the RMP and that this current was responsible for the time-dependent increase in the magnitude of the inward rectification in depolarizing direction in rat neocortical neurons. It may be that, together with the persistent sodium current, this calcium current regulates the excitability of these neurons via the adjustment of the action potential threshold

Atmospheric extinction coefficients in the Ic\mathrm{I_c} band for several major international observatories: Results from the BiSON telescopes, 1984 to 2016

Over 30 years of solar data have been acquired by the Birmingham Solar Oscillations Network (BiSON), an international network of telescopes used to study oscillations of the Sun. Five of the six BiSON telescopes are located at major observatories. The observational sites are, in order of increasing longitude: Mount Wilson (Hale) Observatory (MWO), California, USA; Las Campanas Observatory (LCO), Chile; Observatorio del Teide, Iza\~{n}a, Tenerife, Canary Islands; the South African Astronomical Observatory (SAAO), Sutherland, South Africa; Carnarvon, Western Australia; and the Paul Wild Observatory, Narrabri, New South Wales, Australia. The BiSON data may be used to measure atmospheric extinction coefficients in the $\mathrm{I_c}$ band (approximately 700-900 nm), and presented here are the derived atmospheric extinction coefficients from each site over the years 1984 to 2016.Comment: 15 pages, 10 figures, 4 tables. Accepted by Astronomical Journal: 2017 July 2

Automatic Abstraction for Congruences

One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d \mod m$, (unknown variable m)$is a power of two,$\vec{c}$is a vector of integer coefficients, and$\vec{x}$ is a vector of propositional variables (bits). Because of the low-level nature of these invariants and the large number of bits that are involved, it is important that the transfer functions can be derived automatically. We address this problem, showing how an analysis for bit-level congruence relationships can be decoupled into two parts: (1) a SAT-based abstraction (compilation) step which can be automated, and (2) an interpretation step that requires no SAT-solving. We exploit triangular matrix forms to derive transfer functions efficiently, even in the presence of large numbers of bits. Finally we propose program transformations that improve the analysis results

Global analysis by hidden symmetry

Hidden symmetry of a G'-space X is defined by an extension of the G'-action on X to that of a group G containing G' as a subgroup. In this setting, we study the relationship between the three objects: (A) global analysis on X by using representations of G (hidden symmetry); (B) global analysis on X by using representations of G'; (C) branching laws of representations of G when restricted to the subgroup G'. We explain a trick which transfers results for finite-dimensional representations in the compact setting to those for infinite-dimensional representations in the noncompact setting when $X_C$ is $G_C$-spherical. Applications to branching problems of unitary representations, and to spectral analysis on pseudo-Riemannian locally symmetric spaces are also discussed.Comment: Special volume in honor of Roger Howe on the occasion of his 70th birthda

(4,4) superfield supergravity

We present the N=4 superspace constraints for the two-dimensional (2d) off-shell (4,4) supergravity with the superfield strengths expressed in terms of a (4,4) twisted (scalar) multiplet TM-I, as well as the corresponding component results, in a form suitable for applications. The constraints are shown to be invariant under the N=4 super-Weyl transformations, whose N=4 superfield parameters form another twisted (scalar) multiplet TM-II. To solve the constraints, we propose the Ansatz which makes the N=4 superconformal flatness of the N=4 supergravity curved superspace manifest. The locally (4,4) supersymmetric TM-I matter couplings, with the potential terms resulting from spontaneous supersymmetry breaking, are constructed. We also find the full (4,4) superconformally invariant (improved) TM-II matter action. The latter can be extended to the (4,4) locally supersymmetric Liouville action which is suitable for describing (4,4) supersymmetric non-critical strings.Comment: 32 pages, LaTeX, revised version (one reference added, and one Appendix is reduced