From Nonstandard Analysis to various flavours of Computability Theory

As suggested by the title, it has recently become clear that theorems of Nonstandard Analysis (NSA) give rise to theorems in computability theory (no longer involving NSA). Now, the aforementioned discipline divides into classical and higher-order computability theory, where the former (resp. the latter) sub-discipline deals with objects of type zero and one (resp. of all types). The aforementioned results regarding NSA deal exclusively with the higher-order case; we show in this paper that theorems of NSA also give rise to theorems in classical computability theory by considering so-called textbook proofs.Comment: To appear in the proceedings of TAMC2017 (http://tamc2017.unibe.ch/

Ferromagnetic Quantum Critical Point in CePd2_2P2_2 with Pd →\rightarrow Ni Substitution

An investigation of the structural, thermodynamic, and electronic transport properties of the isoelectronic chemical substitution series Ce(Pd$_{1-x}$Ni$_x$)$_2$P$_2$ is reported, where a possible ferromagnetic quantum critical point is uncovered in the temperature - concentration ($T-x$) phase diagram. This behavior results from the simultaneous contraction of the unit cell volume, which tunes the relative strengths of the Kondo and RKKY interactions, and the introduction of disorder through alloying. Near the critical region at $x_{\rm{cr}}$ $\approx$ 0.7, the rate of contraction of the unit cell volume strengthens, indicating that the cerium $f$-valence crosses over from trivalent to a non-integer value. Consistent with this picture, x-ray absorption spectroscopy measurements reveal that while CePd$_2$P$_2$ has a purely trivalent cerium $f$-state, CeNi$_2$P$_2$ has a small ($<$ 10 \%) tetravalent contribution. In a broad region around $x_{\rm{cr}}$, there is a breakdown of Fermi liquid temperature dependences, signaling the influence of quantum critical fluctuations and disorder effects. Measurements of clean CePd$_2$P$_2$ furthermore show that applied pressure has a similar initial effect to alloying on the ferromagnetic order. From these results, CePd$_2$P$_2$ emerges as a keystone system to test theories such as the Belitz-Kirkpatrick-Vojta model for ferromagnetic quantum criticality, where distinct behaviors are expected in the dirty and clean limits.Comment: 9 pages, 8 figure

Geometry and Dynamics of a Coupled 4D-2D Quantum Field Theory

Geometric and dynamical aspects of a coupled 4D-2D interacting quantum field theory - the gauged nonAbelian vortex - are investigated. The fluctuations of the internal 2D nonAbelian vortex zeromodes excite the massless 4D Yang-Mills modes and in general give rise to divergent energies. This means that the well-known 2D CP(N-1) zeromodes associated with a nonAbelian vortex become nonnormalizable. Moreover, all sorts of global, topological 4D effects such as the nonAbelian Aharonov-Bohm effect come into play. These topological global features and the dynamical properties associated with the fluctuation of the 2D vortex moduli modes are intimately correlated, as shown concretely here in a U(1) x SU(N) x SU(N) model with scalar fields in a bifundamental representation of the two SU(N) factor gauge groups.Comment: Latex, 39 pages, 5 figure

VE-cadherin and claudin-5: it takes two to tango

Endothelial barrier function requires the adhesive activity of VE-cadherin and claudin-5, which are key components of adherens and tight endothelial junctions, respectively. Emerging evidence suggests that VE-cadherin controls claudin-5 expression by preventing the nuclear accumulation of FoxO1 and -catenin, which repress the claudin-5 promoter. This indicates that a crosstalk mechanism operates between these junctional structures

Restrictions and extensions of semibounded operators

We study restriction and extension theory for semibounded Hermitian operators in the Hardy space of analytic functions on the disk D. Starting with the operator zd/dz, we show that, for every choice of a closed subset F in T=bd(D) of measure zero, there is a densely defined Hermitian restriction of zd/dz corresponding to boundary functions vanishing on F. For every such restriction operator, we classify all its selfadjoint extension, and for each we present a complete spectral picture. We prove that different sets F with the same cardinality can lead to quite different boundary-value problems, inequivalent selfadjoint extension operators, and quite different spectral configurations. As a tool in our analysis, we prove that the von Neumann deficiency spaces, for a fixed set F, have a natural presentation as reproducing kernel Hilbert spaces, with a Hurwitz zeta-function, restricted to FxF, as reproducing kernel.Comment: 63 pages, 11 figure

Steady-state modulation of voltage-gated K+ channels in rat arterial smooth muscle by cyclic AMP-dependent protein kinase and protein phosphatase 2B

Voltage-gated potassium channels (Kv) are important regulators of membrane potential in vascular smooth muscle cells, which is integral to controlling intracellular Ca2+ concentration and regulating vascular tone. Previous work indicates that Kv channels can be modulated by receptor-driven alterations of cyclic AMP-dependent protein kinase (PKA) activity. Here, we demonstrate that Kv channel activity is maintained by tonic activity of PKA. Whole-cell recording was used to assess the effect of manipulating PKA signalling on Kv and ATP-dependent K+ channels of rat mesenteric artery smooth muscle cells. Application of PKA inhibitors, KT5720 or H89, caused a significant inhibition of Kv currents. Tonic PKA-mediated activation of Kv appears maximal as application of isoprenaline (a β-adrenoceptor agonist) or dibutyryl-cAMP failed to enhance Kv currents. We also show that this modulation of Kv by PKA can be reversed by protein phosphatase 2B/calcineurin (PP2B). PKA-dependent inhibition of Kv by KT5720 can be abrogated by pre-treatment with the PP2B inhibitor cyclosporin A, or inclusion of a PP2B auto-inhibitory peptide in the pipette solution. Finally, we demonstrate that tonic PKA-mediated modulation of Kv requires intact caveolae. Pre-treatment of the cells with methyl-β-cyclodextrin to deplete cellular cholesterol, or adding caveolin-scaffolding domain peptide to the pipette solution to disrupt caveolae-dependent signalling each attenuated PKA-mediated modulation of the Kv current. These findings highlight a novel, caveolae-dependent, tonic modulatory role of PKA on Kv channels providing new insight into mechanisms and the potential for pharmacological manipulation of vascular tone

Quality of Life Changes Following Peripheral Blood Stem Cell Transplantation and Participation in a Mixed-Type, Moderate-intensity, Exercise Program

Summary:The purpose of this investigation was to evaluate the impact of undertaking peripheral blood stem cell transplantation (PBST) on quality of life (QoL), and to determine the effect of participating in a mixed-type, moderate-intensity exercise program on QoL. It was also an objective to determine the relationship between peak aerobic capacity and QoL in PBST patients. QoL was assessed via the CARES questionnaire and peak aerobic capacity by a maximal graded treadmill test, pretransplant (PI), post transplant (PII) and following a 12-week intervention period (PIII). At PII, 12 patients were divided equally into a control or exercise intervention group. Undergoing a PBST was associated with a statistically but not clinically significant decline in QoL (P<0.05). Following the intervention, exercising patients demonstrated an improved QoL when compared with pretransplant ratings (P<0.01) and nonexercising transplant patients (P<0.05). Moreover, peak aerobic capacity and QoL were correlated (P<0.05). The findings demonstrated that exercise participation following oncology treatment is associated with a reduction in the number and severity of endorsed problems, which in turn leads to improvements in global, physical and psychosocial QoL. Furthermore, a relationship between fitness and QoL exists, with those experiencing higher levels of fitness also demonstrating higher QoL.Bone Marrow Transplantation (2004) 33, 553-558. doi:10.1038/sj.bmt.1704378 Published online 12 January 200

Evaluating the landscape of fear between apex predatory sharks and mobile sea turtles across a large dynamic seascape

The ‘‘landscape of fear’’ model has been proposed as a unifying concept in ecology, describing, in part, how animals behave and move about in their environment. The basic model predicts that as an animal’s landscape changes from low to high risk of predation, prey species will alter their behavior to risk avoidance. However, studies investigating and evaluating the landscape of fear model across large spatial scales (tens to hundreds of thousands of square kilometers) in dynamic, open, aquatic systems involving apex predators and highly mobile prey are lacking. To address this knowledge gap, we investigated predator–prey relationships between tiger sharks (Galeocerdo cuvier) and loggerhead turtles (Caretta caretta) in the North Atlantic Ocean. This included the use of satellite tracking to examine shark and turtle distributions as well as their surfacing behaviors under varying levels of home range overlap. Our findings revealed patterns that deviated from our a priori predictions based on the landscape of fear model. Specifically, turtles did not alter their surfacing behaviors to risk avoidance when overlap in shark–turtle core home range was high. However, in areas of high overlap with turtles, sharks exhibited modified surfacing behaviors that may enhance predation opportunity. We suggest that turtles may be an important factor in determining shark distribution, whereas for turtles, other life history trade-offs may play a larger role in defining their habitat use. We propose that these findings are a result of both biotic and physically driven factors that independently or synergistically affect predator–prey interactions in this system. These results have implications for evolutionary biology, community ecology, and wildlife conservation. Further, given the difficulty in studying highly migratory marine species, our approach and conclusions may be applied to the study of other predator–prey systems.Bald Head Island ConservancyBritish Chelonia GroupNatural Environmental Research CouncilWAVE Foundation/Newport Aquarium CincinnatiPADI project AWARESEATURTLE.ORGWhitener Foundation (NC); an Endangered Species Act Section 6 Cooperative Agreement with NOAA Fisheries and the Grays Reef National Marine Sanctuary (South Carolina and Georgia)Batchelor FoundationDinsey Conservation Fun

Sexual Size Dimorphism and Body Condition in the Australasian Gannet

Funding: The research was financially supported by the Holsworth Wildlife Research Endowment. Acknowledgments We thank the Victorian Marine Science Consortium, Sea All Dolphin Swim, Parks Victoria, and the Point Danger Management Committee for logistical support. We are grateful for the assistance of the many field volunteers involved in the study.Peer reviewedPublisher PD