Method of studying the Bogoliubov-de Gennes equations for the superconducting vortex lattice state

In this paper, we present a method to construct the eigenspace of the normal-state electrons moving in a 2D square lattice in presence of a perpendicular uniform magnetic field which imposes (quasi)-periodic boundary conditions for the wave functions in the magnetic unit cell. An exact unitary transformations are put forward to correlate the discrete eigenvectors of the 2D electrons with those of the Harper's equation. The cyclic-tridiagonal matrix associated with the Harper's equation is then tridiagonalized by another unitary transformation. The obtained eigenbasis is utilized to expand the Bogoliubov-de Gennes equations for the superconducting vortex lattice state, which showing the merit of our method in studying the large-sized system. To test our method, we have applied our results to study the vortex lattice state of an s-wave superconductor.Comment: 8 pages; 3 figure

Comparing Geothermal Heat Pump Systems to Conventional HVAC Systems in Hot and Humid Climates

Geothermal heat pump (GHP) systems are more concentrated to moderate climate regions, although the potential for GHP systems in hot and humid climates is possible as past research efforts have demonstrated this using simulations and commercial case examples. This research investigates the use of residential GHP systems for the hot and humid climate found in southern Louisiana. The authors collected field performance information, including initial system cost, and electricity consumption and costs from two residential case studies in which each case included one home with a conventional heating and cooling system and one home with a GHP system. Using a comparative analysis and analysis of variance, results illustrate that initial cost of GHP system in the first case was $13,285 more and the second case was$17,588 more than the installation costs of a conventional system. Further, the GHP system payback period depends on the whether the design uses a horizontal or vertical ground loop, and the designer and contractor’s quality and experience in performing the GHP work as the first case resulted in a payback period of 70 years while the second case had a payback period of only seven years. Findings show that when an appropriate installation occurs, GHP system can save consumption and energy costs for residential homes in hot and humid climates

Structure and Composition of Tree Islands and Krummholz within the Forest-Tundra Ecotone in Central and Eastern Canada

The forest-tundra ecotone is expected to experience some of the initial effects of climate change. At the forefront of this transition zone, we find clonal growth forms of stunted and deformed trees with and without taller erect trees, called tree islands and krummholz, respectively. We sought to assess the potential effects of expansion of these clonal growth forms on tundra plant species at two Canadian locations, one in the Mealy Mountains of Labrador and the other near Churchill, Manitoba. Our objectives were 1) to analyze the structure (height distribution and shape) of these clonal growth forms to determine whether they are expanding; 2) to compare tree cover on the leeward and windward sides of clonal growths and 3) to assess patterns in individual plant species across these growth forms. Cover of trees and other plant species was measured at both locations, while tree stems were mapped near Churchill only. The presence of seedlings and symmetric patterns of tree height suggest that half of the tree islands near Churchill may be expanding. The edges of tree islands and krummholz may harbour safe sites for tundra plant species, as shown by peaks in cover of individual species at these edges. Our results suggest that expansion of tree islands and krummholz would affect the abundance of tundra plant species, which could lead to changes in species composition and biodiversity.On s’attend à ce que l’écotone de la toundra forestière subisse dans une certaine mesure les premiers effets du changement climatique. À l’avant-plan de cette zone de transition se trouvent des formes de croissance clonales d’arbres rabougris et difformes parfois assortis ou non assortis de plus grands arbres dressés, ce que l’on appelle des îlots boisés et des krummholz, respectivement. Nous avons cherché à évaluer les effets potentiels de l’expansion de ces formes de croissance clonales sur les espèces végétales de la toundra à deux emplacements situés au Canada, un aux monts Mealy du Labrador et l’autre près de Churchill, au Manitoba. Nos objectifs étaient les suivants : 1) analyser la structure (répartition des hauteurs et formes) de ces formes de croissance clonales afin de déterminer si elles prennent de l’expansion; 2) comparer la couverture arborescente en aval et en amont des croissances clonales; et 3) évaluer les modèles se dessinant chez les diverses espèces végétales individuelles au sein de ces formes de croissance. Les couvertures arborescentes et d’autres espèces végétales ont été mesurées aux deux endroits, tandis que les tiges d’arbres n’ont été relevées qu’à l’emplacement de Churchill. La présence de semis et de modèles symétriques en ce qui a trait à la hauteur des arbres suggère que la moitié des îlots boisés près de Churchill pourraient être en expansion. Le bord des îlots boisés et des krummholz pourrait constituer des lieux sûrs pour les espèces végétales de la toundra, comme l’indiquent les crêtes caractérisant la couverture des espèces individuelles situées en bordure. Nos résultats laissent entendre que l’expansion des îlots boisés et des krummholz aurait des incidences sur l’abondance des espèces végétales de la toundra, ce qui pourrait entraîner des changements sur le plan de la composition et de la biodiversité des espèces

Discovery of a detached HI gas shell surrounding alpha Orionis

We report the detection of the HI line at 21 cm in the direction of alpha Ori with the Nancay Radiotelescope and with the Very Large Array. The observations confirm the previous detection of HI emission centered on alpha Ori, but additionally reveal for the first time a quasi-stationary detached shell of neutral atomic hydrogen ~4 arcmin. in diameter (0.24 pc at a distance of 200 pc). The detached shell appears elongated in a direction opposite to the star's space motion. A simple model shows that this detached atomic gas shell can result from the collision of the stellar wind from alpha Ori with the local interstellar medium (ISM). It implies that alpha Ori has been losing matter at a rate of ~ 1.2x10^-6 solar masses per year for the past 8x10^4 years. In addition, we report the detection of atomic hydrogen associated with the far-infrared arc located 6 arcmin. north-east of alpha Ori, that has been suggested to trace the bow shock resulting from the motion of the star through the ISM. We report also the detection by the Galaxy Evolution Explorer (GALEX) of a far-UV counterpart to this arc.Comment: Accepted for publication in the Monthly Notices; version with full resolution figures available at http://aramis.obspm.fr/~lebertre/paper-alphaOri_MNRAS.pd

Astronomically paced changes in overturning circulation in the Western North Atlantic during the middle Eocene

North Atlantic Deep Water (NADW) currently redistributes heat and salt between Earth’s ocean basins, and plays a vital role in the ocean-atmosphere CO2 exchange. Despite its crucial role in today’s climate system, vigorous debate remains as to when deep-water formation in the North Atlantic started. Here, we present datasets from carbonate-rich middle Eocene sediments from the Newfoundland Ridge, revealing a unique archive of paleoceanographic change from the progressively cooling climate of the middle Eocene. Well-defined lithologic alternations between calcareous ooze and clay-rich intervals occur at the ∼41-kyr beat of axial obliquity. Hence, we identify obliquity as the driver of middle Eocene (43.5–46 Ma) Northern Component Water (NCW, the predecessor of modern NADW) variability. High-resolution benthic foraminiferal δ18O and δ13C suggest that obliquity minima correspond to cold, nutrient-depleted, western North Atlantic deep waters. We thus link stronger NCW formation with obliquity minima. In contrast, during obliquity maxima, Deep Western Boundary Currents were weaker and warmer, while abyssal nutrients were more abundant. These aspects reflect a more sluggish NCW formation. This obliquity-paced paleoceanographic regime is in excellent agreement with results from an Earth system model, in which obliquity minima configurations enhance NCW formation

Population Genetic Structure is Unrelated to Shell Shape, Thickness and Organic Content in European Populations of the Soft-Shell Clam Mya Arenaria

The soft-shell clam Mya arenaria is one of the most ancient invaders of European coasts and is present in many coastal ecosystems, yet little is known about its genetic structure in Europe. We collected 266 samples spanning a latitudinal cline from the Mediterranean to the North Sea and genotyped them at 12 microsatellite loci. In parallel, geometric morphometric analysis of shell outlines was used to test for associations between shell shape, latitude and genotype, and for a selection of shells we measured the thickness and organic content of the granular prismatic (PR), the crossed-lamellar (CL) and the complex crossed-lamellar (CCL) layers. Strong population structure was detected, with Bayesian cluster analysis identifying four groups located in the Mediterranean, Celtic Sea, along the continental coast of the North Sea and in Scotland. Multivariate analysis of shell shape uncovered a significant effect of collection site but no associations with any other variables. Shell thickness did not vary significantly with either latitude or genotype, although PR thickness and calcification were positively associated with latitude, while CCL thickness showed a negative association. Our study provides new insights into the population structure of this species and sheds light on factors influencing shell shape, thickness and microstructure

Syntax for free: representing syntax with binding using parametricity

We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation. To demonstrate the proof we have constructed a model of parametric polymorphism inside the Coq proof assistant. The proof of the theorem requires parametricity over Kripke relations. We also investigate some variants of this representation