The ratio of the Zeeman splitting to the cyclotron energy ($M=Delta E_{rm Z}/hbar omega_{rm c}$) for hole-like carriers in bismuth has been quantified with a great precision by many experiments performed during the past five decades. It exceeds 2 whe
n the magnetic field is along the trigonal axis and vanishes in the perpendicular configuration. Theoretically, however, $M$ is expected to be isotropic and equal to unity in a two-band Dirac model. We argue that a solution to this half-a-century-old puzzle can be found by extending the $kcdot p$ theory to multiple bands. Our model not only gives a quantitative account of magnitude and anisotropy of $M$ for hole-like carriers in bismuth, but also explains its contrasting evolution with antimony doping pressure, both probed by new experiments reported here. The present results have important implications for the magnitude and anisotropy of $M$ in other systems with strong spin-orbit coupling.
Accurate molecular spectroscopy in the mid-infrared region allows precision measurements of fundamental constants. For instance, measuring the linewidth of an isolated Doppler-broadened absorption line of ammonia around 10 $mu$m enables a determinati
on of the Boltzmann constant k B. We report on our latest measurements. By fitting this lineshape to several models which include Dicke narrowing or speed-dependent collisional effects, we find that a determination of k B with an uncertainty of a few ppm is reachable. This is comparable to the best current uncertainty obtained using acoustic methods and would make a significant contribution to any new value of k B determined by the CODATA. Furthermore, having multiple independent measurements at these accuracies opens the possibility of defining the kelvin by fixing k B, an exciting prospect considering the upcoming redefinition of the International System of Units.
We study cut elimination for a multifocused variant of full linear logic in the sequent calculus. The multifocused normal form of proofs yields problems that do not appear in a standard focused system, related to the constraints in grouping rule inst
ances in focusing phases. We show that cut elimination can be performed in a sensible way even though the proof requires some specific lemmas to deal with multifocusing phases, and discuss the difficulties arising with cut elimination when considering normal forms of proofs in linear logic.
This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful too
lsets coming from the formal verification area. At the high level, we use UPDM, the system model provided by the british army as well as a new type of contract based on behavioral patterns. At low level, we rely on a powerful simulation toolset combined with recent advances from the area of statistical model checking. The approach has been applied to a case study developed at EADS Innovation Works.
Programming languages with countable nondeterministic choice are computationally interesting since countable nondeterminism arises when modeling fairness for concurrent systems. Because countable choice introduces non-continuous behaviour, it is well
-known that developing semantic models for programming languages with countable nondeterminism is challenging. We present a step-indexed logical relations model of a higher-order functional programming language with countable nondeterminism and demonstrate how it can be used to reason about contextually defined may- and must-equivalence. In earlier step-indexed models, the indices have been drawn from {omega}. Here the step-indexed relations for must-equivalence are indexed over an ordinal greater than {omega}.
Gamma rays and neutrons, emitted following spontaneous fission of 252Cf, were measured in an AGATA experiment performed at INFN Laboratori Nazionali di Legnaro in Italy. The setup consisted of four AGATA triple cluster detectors (12 36-fold segmented
high-purity germanium crystals), placed at a distance of 50 cm from the source, and 16 HELENA BaF2 detectors. The aim of the experiment was to study the interaction of neutrons in the segmented high-purity germanium detectors of AGATA and to investigate the possibility to discriminate neutrons and gamma rays with the gamma-ray tracking technique. The BaF2 detectors were used for a time-of-flight measurement, which gave an independent discrimination of neutrons and gamma rays and which was used to optimise the gamma-ray tracking-based neutron rejection methods. It was found that standard gamma-ray tracking, without any additional neutron rejection features, eliminates effectively most of the interaction points due to recoiling Ge nuclei after elastic scattering of neutrons. Standard tracking rejects also a significant amount of the events due to inelastic scattering of neutrons in the germanium crystals. Further enhancements of the neutron rejection was obtained by setting conditions on the following quantities, which were evaluated for each event by the tracking algorithm: energy of the first and second interaction point, difference in the calculated incoming direction of the gamma ray, figure-of-merit value. The experimental results of tracking with neutron rejection agree rather well with Geant4 simulations.
Different instabilities have been speculated for a three-dimensional electron gas confined to its lowest Landau level. The phase transition induced in graphite by a strong magnetic field, and believed to be a Charge Density Wave (CDW), is the only ex
perimentally established case of such instabilities. Studying the magnetoresistance in graphite for the first time up to 80 T, we find that the magnetic field induces two successive phase transitions, consisting of two distinct ordered states each restricted to a finite field window. In both states, an energy gap opens up in the out-of-plane conductivity and coexists with an unexpected in-plane metallicity for a fully gap bulk system. Such peculiar metallicity may arise as a consequence of edge-state transport expected to develop in presence of a bulk gap.
The generalized Cartan-Hadamard conjecture says that if $Omega$ is a domain with fixed volume in a complete, simply connected Riemannian $n$-manifold $M$ with sectional curvature $K le kappa le 0$, then the boundary of $Omega$ has the least possible
boundary volume when $Omega$ is a round $n$-ball with constant curvature $K=kappa$. The case $n=2$ and $kappa=0$ is an old result of Weil. We give a unified proof of this conjecture in dimensions $n=2$ and $n=4$ when $kappa=0$, and a special case of the conjecture for $kappa textless{} 0$ and a version for $kappa textgreater{} 0$. Our argument uses a new interpretation, based on optical transport, optimal transport, and linear programming, of Crokes proof for $n=4$ and $kappa=0$. The generalization to $n=4$ and $kappa e 0$ is a new result. As Croke implicitly did, we relax the curvature condition $K le kappa$ to a weaker candle condition $Candle(kappa)$ or $LCD(kappa)$.We also find counterexamples to a naive version of the Cartan-Hadamard conjecture: For every $varepsilon textgreater{} 0$, there is a Riemannian 3-ball $Omega$ with $(1-varepsilon)$-pinched negative curvature, and with boundary volume bounded by a function of $varepsilon$ and with arbitrarily large volume.We begin with a pointwise isoperimetric problem called the problem of the Little Prince. Its proof becomes part of the more general method.
This work introduces a general multi-level model for self-adaptive systems. A self-adaptive system is seen as composed by two levels: the lower level describing the actual behaviour of the system and the upper level accounting for the dynamically cha
nging environmental constraints on the system. In order to keep our description as general as possible, the lower level is modelled as a state machine and the upper level as a second-order state machine whose states have associated formulas over observable variables of the lower level. Thus, each state of the second-order machine identifies the set of lower-level states satisfying the constraints. Adaptation is triggered when a second-order transition is performed; this means that the current system no longer can satisfy the current high-level constraints and, thus, it has to adapt its behaviour by reaching a state that meets the new constraints. The semantics of the multi-level system is given by a flattened transition system that can be statically checked in order to prove the correctness of the adaptation model. To this aim we formalize two concepts of weak and strong adaptability providing both a relational and a logical characterization. We report that this work gives a formal computational characterization of multi-level self-adaptive systems, evidencing the important role that (theoretical) computer science could play in the emerging science of complex systems.
We present the effects of cosmic rays on the detectors onboard the Herschel satellite. We describe in particular the glitches observed on the two types of cryogenic far- infrared bolometer inside the two instruments PACS and SPIRE. The glitch rates a
re also reported since the launch together with the SREM radiation monitors aboard Herschel and Planck spacecrafts. Both have been injected around the Lagrangian point L2 on May 2009. This allows probing the radiation environment around this orbit. The impacts on the observation are finally summarized.
