MICROSCOPE Mission scenario, ground segment and data processing

Testing the Weak Equivalence Principle (WEP) to a precision of 10-15 requires a quantity of data that give enough confidence on the final result: ideally, the longer the measurement the better the rejection of the statistical noise. The science sessions had a duration of 120 orbits maximum and were regularly repeated and spaced out to accommodate operational constraints but also in order to repeat the experiment in different conditions and to allow time to calibrate the instrument. Several science sessions were performed over the 2.5 year duration of the experiment. This paper aims to describe how the data have been produced on the basis of a mission scenario and a data flow process, driven by a tradeoff between the science objectives and the operational constraints. The mission was led by the Centre National d’Etudes Spatiales (CNES) which provided the satellite, the launch and the ground operations. The ground segment was distributed between CNES and Office National d’Etudes et de Recherches Aerospatiales (ONERA). CNES provided the raw data through the Centre d’Expertise de Compensation de Trainee (CECT: Drag-free expertise centre). The science was led by the Observatoire de la Coote d’Azur (OCA) and ONERA was in charge of the data process. The latter also provided the instrument and the Science Mission Centre of MICROSCOPE (CMSM).

Development of a cold atomic muonium beam for next generation atomic physics and gravity experiments

A high-intensity, low-emittance atomic muonium (M =\mu^+ + e^-=μ++e−) beam is being developed, which would enable improving the precision of M spectroscopy measurements, and may allow a direct observation of the M gravitational interaction. Measuring the free fall of M atoms would be the first test of the weak equivalence principle using elementary antimatter (\mu^+μ+) and a purely leptonic system. Such an experiment relies on the high intensity, continuous muon beams available at the Paul Scherrer Institute (PSI, Switzerland), and a proposed novel M source. In this paper, the theoretical motivation and principles of this experiment are described.

Equivalence of Semantics in Argumentation

A large number of evaluation methods, called semantics, have been proposed in the literature for assessing strength of arguments. This paper investigates their equivalence. It argues that for being equivalent, two semantics should have compatible evaluations of both individual arguments and pairs of arguments. The first requirement ensures that the two semantics judge an argument in the same way, while the second states that they provide the same ranking of arguments. We show that the two requirements are completely independent. The paper introduces three novel relations between semantics based on their rankings of arguments: weak equivalence, strong equivalence and refinement. They state respectively that two semantics do not disagree on their strict rankings; the rankings of the semantics coincide; one semantics agrees with the strict comparisons of the second and it may break some of its ties. We investigate the properties of the three relations and their links with existing principles of semantics, and study the nature of relations between most of the existing semantics. The results show that the main extensions semantics are pairwise weakly equivalent. The gradual semantics we considered are pairwise incompatible, however some pairs are strongly equivalent in case of flat graphs including Max-based (Mbs) and Euler-based (Ebs), for which we provide full characterizations in terms respectively of Fibonacci numbers and the numbers of an exponential series. Furthermore, we show that both semantics (Mbs, EMbs) refine the grounded semantics, and are weakly equivalent with the other extension semantics. We show also that in case of flat graphs, the two gradual semantics Trust-based and Iterative Schema characterize the grounded semantics, making thus bridges between gradual semantics and extension semantics. Finally, the other gradual semantics are incompatible with extension semantics.

Lie Symmetries and Solutions of Reaction Diffusion Systems Arising in Biomathematics

In this paper, a special subclass of reaction diffusion systems with two arbitrary constitutive functions Γ(v) and H(u,v) is considered in the framework of transformation groups. These systems arise, quite often, as mathematical models, in several biological problems and in population dynamics. By using weak equivalence transformation the principal Lie algebra, LP, is written and the classifying equations obtained. Then the extensions of LP are derived and classified with respect to Γ(v) and H(u,v). Some wide special classes of special solutions are carried out.

Weak equivalence of higher-dimensional automata

This paper introduces a notion of equivalence for higher-dimensional automata, called weak equivalence. Weak equivalence focuses mainly on a traditional trace language and a new homology language, which captures the overall independence structure of an HDA. It is shown that weak equivalence is compatible with both the tensor product and the coproduct of HDAs and that, under certain conditions, HDAs may be reduced to weakly equivalent smaller ones by merging and collapsing cubes.

Explicit computation of some families of Hurwitz numbers, II

We continue our computation, using a combinatorial method based on Gronthendieck’s dessins d’enfant, of the number of (weak) equivalence classes of surface branched covers matching certain specific branch data. In this note we concentrate on data with the surface of genus g as source surface, the sphere as target surface, 3 branching points, degree 2k, and local degrees over the branching points of the form [2, …, 2], [2h + 1, 3, 2, …, 2], $\begin{array}{} \displaystyle \pi=[d_i]_{i=1}^\ell. \end{array}$ We compute the corresponding (weak) Hurwitz numbers for several values of g and h, getting explicit arithmetic formulae in terms of the di’s.