Search

In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relies heavily on a construction involving Boolean algebras. However, the structures thus proposed lack a clearly prescribed set of basic operations, necessary if we want to see them as a class of algebras (in the sense of Universal Algebra). In this article, by prescribing a suitable set of basic operations on contracts, we manage to describe these algebras as (a generating set of members of) well-known varieties., Comment: Many typos were fixed. A new section comparing our results with those of arXiv:2309.04135v1 was added in this version

Hydrogen-like light muonic ions, in which one negative muon replaces all the electrons, are extremely sensitive probes of nuclear structure, because the large muon mass increases tremendously the wave function overlap with the nucleus. Using pulsed laser spectroscopy we have measured three 2S-2P transitions in the muonic helium-3 ion ($\mu^3$He$^+$), an ion formed by a negative muon and bare helium-3 nucleus. This allowed us to extract the Lamb shift $E(2P_{1/2}-2S_{1/2})= 1258.598(48)^{\rm exp}(3)^{\rm theo}$ meV, the 2P fine structure splitting $E_{\rm FS}^{\rm exp} = 144.958(114)$ meV, and the 2S-hyperfine splitting (HFS) $E_{\rm HFS}^{\rm exp} = -166.495(104)^{\rm exp}(3)^{\rm theo}$ meV in $\mu^3$He$^+$. Comparing these measurements to theory we determine the rms charge radius of the helion ($^3$He nucleus) to be $r_h$ = 1.97007(94) fm. This radius represents a benchmark for few nucleon theories and opens the way for precision tests in $^3$He atoms and $^3$He-ions. This radius is in good agreement with the value from elastic electron scattering, but a factor 15 more accurate. Combining our Lamb shift measurement with our earlier one in $\mu^4$He$^+$ we obtain $r_h^2-r_\alpha^2 = 1.0636(6)^{\rm exp}(30)^{\rm theo}$ fm$^2$ to be compared to results from the isotope shift measurements in regular He atoms, which are however affected by long-standing tensions. By comparing $E_{\rm HFS}^{\rm exp}$ with theory we also obtain the two-photon-exchange contribution (including higher orders) which is another important benchmark for ab-initio few-nucleon theories aiming at understanding the magnetic and current structure of light nuclei., Comment: 8 pages, 5 figures

We study the 1S-3S two-photon transition of hydrogen in a thermal atomic beam, using a homemade cw laser source at 205 nm. The experimental method is described, leading in 2017 to the measurement of the 1S-3S transition frequency in hydrogen atom with a relative uncertainty of $9 \times 10^{-13}$. This result contributes to the "proton puzzle" resolution but is in disagreement with the ones of some others experiments. We have recently improved our setup with the aim of carrying out the same measurement in deuterium. With the improved detection system, we have observed a broadened fluorescence signal, superimposed on the narrow signal studied so far, and due to the stray accumulation of atoms in the vacuum chamber. The possible resulting systematic effect is discussed.

Dedekind stated and proved the well-known fact that a lattice is modular if and only if it does not contain a pentagon as a sublattice. In this paper we consider a similar result in the literature for the case of certain class of modular join semilattices. We both simplify the original proof of the mentioned result and note that if the notion of characterization is understood strictly as a biconditional, then the proof only holds for the complete algebras in the class., Comment: 5 pages, 4 figures

In 1932, G\"odel proved that there is no finite semantics for intuitionistic logic. We consider all fragments of intuitionistic logic and check in each case whether a finite semantics exists. We may fulfill a didactic goal, as little logic and algebra are presupposed.

High resolution spectroscopy of the hydrogen atom takes on particular importance in the new SI, as it allows to accurately determine fundamental constants, such as the Rydberg constant and the proton charge radius. Recently, the second most precisely measured transition frequency in hydrogen, 1S - 3S, was obtained in our group. In the context of the Proton Radius Puzzle, this result calls for further investigation., Comment: 7 pages, 9 figures

Motivated by Gentzen disjunction elimination rule in his Natural Deduction calculus and reading inequalities with meet in a natural way, we conceive a notion of distributivity for join-semilattices. We prove that it is equivalent to a notion present in the literature. In the way, we prove that those notions are linearly ordered. We finally consider the notion of distributivity in join-semilattices with arrow, that is, the algebraic structure corresponding to the disjunction-conditional fragment of intuitionistic logic.

The fine structure constant $\alpha$ and the ratio $h/m_{\mathrm{u}}$ between the Planck constant and the unified atomic mass are keystone constants for the determination of other fundamental physical constants, especially the ones involved in the framework of the future International System of units. This paper presents how these two constants, which can be deduced from one another, are measured. We will present in detail the measurement of $h/m_\mathrm{Rb}$ performed by atomic interferometry at the Laboratoire Kastler Brossel in Paris. This type of measurement also allows a test of the standard model to be carried out with unparalleled accuracy., Comment: arXiv admin note: text overlap with arXiv:1309.3393

Precision spectroscopy of light muonic atoms provides unique information about the atomic and nuclear structure of these systems and thus represents a way to access fundamental interactions, properties and constants. One application comprises the determination of absolute nuclear charge radii with unprecedented accuracy from measurements of the 2S$\,$-$\,$2P Lamb shift. Here, we review recent results of nuclear charge radii extracted from muonic hydrogen and helium spectroscopy and present experiment proposals to access light muonic atoms with $Z \geq 3$. In addition, our approaches towards a precise measurement of the Zemach radii in muonic hydrogen ($\mu$p) and helium ($\mu$$^{3}$He$^{+}$) are discussed. These results will provide new tests of bound-state quantum-electrodynamics in hydrogen-like systems and can be used as benchmarks for nuclear structure theories., Comment: 17 pages, 8 figures

We present a new measurement of the $1S-3S$ two-photon transition frequency of hydrogen, realized with a continuous-wave excitation laser at 205 nm on a room-temperature atomic beam, with a relative uncertainty of $9\times10^{-13}$. The proton charge radius deduced from this measurement, $r_\text{p}=0.877(13)$ fm, is in very good agreement with the current CODATA-recommended value. This result contributes to the ongoing search to solve the proton charge radius puzzle, which arose from a discrepancy between the CODATA value and a more precise determination of $r_\text{p}$ from muonic hydrogen spectroscopy., Comment: 5 pages, 4 figures, accepted for publication by Phys. Rev. Lett

High-precision measurements of the proton radius from laser spectroscopy of muonic hydrogen demonstrated up to six standard deviations smaller values than obtained from electron-proton scattering and hydrogen spectroscopy. The status of this discrepancy, which is known as the proton radius puzzle will be discussed in this paper, complemented with the new insights obtained from spectroscopy of muonic deuterium., Comment: Moriond 2017 conference, 8 pages, 4 figures

We calculate the cross-damping frequency shift of a laser-induced two-photon transition monitored through decay fluorescence, by adapting the analogy with Raman scattering developed by Amaro et al. [P. Amaro et al., PRA 92, 022514 (2015)]. We apply this method to estimate the frequency shift of the 1S-3S transition in hydrogen and deuterium. Taking into account our experimental conditions, we find a frequency shift of less than 1 kHz, that is smaller than our current statistical uncertainty., Comment: 7 pages, 5 figures

We expand FLew with a unary connective whose algebraic counterpart is the operation that gives the greatest complemented element below a given argument. We prove that the expanded logic is conservative and has the Finite Model Property. We also prove that the corresponding expansion of the class of residuated lattices is an equational class., Comment: 15 pages, 4 figures in Soft Computing, published online 23 July 2016

Laser spectroscopy of the Lamb shift (2S-2P energy difference) in light muonic atoms or ions, in which one negative muon $\mu^-$ is bound to a nucleus, has been performed. The measurements yield significantly improved values of the root-mean-square charge radii of the nuclei, owing to the large muon mass, which results in a vastly increased muon wave function overlap with the nucleus. The values of the proton and deuteron radii are 10 and 3 times more accurate than the respective CODATA values, but 7 standard deviations smaller. Data on muonic helium-3 and -4 ions is being analyzed and will give new insights. In future, the (magnetic) Zemach radii of the proton and the helium-3 nuclei will be determined from laser spectroscopy of the 1S hyperfine splittings, and the Lamb shifts of muonic Li, Be and B can be used to improve the respective charge radii., Comment: Contribution to LEAP 2016 in Kanazawa, Japan

Epilepsy is a network disease. The epileptic network usually involves spatially distributed brain regions. In this context, noninvasive M/EEG source connectivity is an emerging technique to identify functional brain networks at cortical level from noninvasive recordings. In this paper, we analyze the effect of the two key factors involved in EEG source connectivity processing: i) the algorithm used in the solution of the EEG inverse problem and ii) the method used in the estimation of the functional connectivity. We evaluate four inverse solutions algorithms and four connectivity measures on data simulated from a combined biophysical/physiological model to generate realistic interictal epileptic spikes reflected in scalp EEG. We use a new network-based similarity index (SI) to compare between the network identified by each of the inverse/connectivity combination and the original network generated in the model. The method will be also applied on real data recorded from one epileptic patient who underwent a full presurgical evaluation for drug-resistant focal epilepsy. In simulated data, results revealed that the selection of the inverse/connectivity combination has a significant impact on the identified networks. Results suggested that nonlinear methods for measuring the connectivity are more efficient than the linear one. The wMNE inverse solution showed higher performance than dSPM, cMEM and sLORETA. In real data, the combination (wMNE/PLV) led to a very good matching between the interictal epileptic network identified from noninvasive EEG recordings and the network obtained from connectivity analysis of intracerebral EEG recordings. These results suggest that source connectivity method, when appropriately configured, is able to extract highly relevant diagnostic information about networks involved in interictal epileptic spikes from non-invasive dense-EEG data., Comment: 30 pages, 5 figures

We give a pedagogical description of the method to extract the charge radii and Rydberg constant from laser spectroscopy in regular hydrogen (H) and deuterium (D) atoms, that is part of the CODATA least-squares adjustment (LSA) of the fundamental physical constants. We give a deuteron charge radius Rd from D spectroscopy alone of 2.1415(45) fm. This value is independent of the measurements that lead to the proton charge radius, and five times more accurate than the value found in the CODATA Adjustment 10. The improvement is due to the use of a value for the 1S->2S transition in atomic deuterium which can be inferred from published data or found in a PhD thesis., Comment: 9 pages, 7 Tables and 3 Figures. Values of the Rydberg constant and discussion of the deuteron structure radius added

We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.

We review the status of the proton charge radius puzzle. Emphasis is given to the various experiments initiated to resolve the conflict between the muonic hydrogen results and the results from scattering and regular hydrogen spectroscopy., Comment: 9 pages, Few Body Systems FB21 conference

Avalanche photodiodes are commonly used as detectors for low energy x-rays. In this work we report on a fitting technique used to account for different detector responses resulting from photo absorption in the various APD layers. The use of this technique results in an improvement of the energy resolution at 8.2 keV by up to a factor of 2, and corrects the timing information by up to 25 ns to account for space dependent electron drift time. In addition, this waveform analysis is used for particle identification, e.g. to distinguish between x-rays and MeV electrons in our experiment., Comment: 6 pages, 6 figures

The fine structure constant $\alpha$ has a particular status in physics. Its precise determination is required to test the quantum electrodynamics (QED) theory. The constant $\alpha$ is also a keystone for the determination of other fundamental physical constants, especially the ones involved in the framework of the future International System of units. This paper presents Paris experiment, where the fine structure constant is determined by measuring the recoil velocity of a rubidium atom when it absorbs a photon. The impact of the recent improvement of QED calculations of the electron moment anomaly and the recent measurement of the cesium atom recoil at Berkeley will be discussed. The opportunity to provide a precise value of the ratio $h/m_{\mathrm{u}}$ between the Planck constant and the atomic mass constant will be investigated.

We present a new scheme of compact atomic gravimeter based on atom interferometry. Atoms are maintained against gravity using a sequence of coherent accelerations performed by the Bloch oscillations technique. We demonstrate a sensitivity of 4.8$\times 10^{-8}$ with an integration time of 4 min. Combining this method with an atomic elevator allows to measure the local gravity at different positions in the vacuum chamber. This method can be of relevance to improve the measurement of the Newtonian gravitational constant $G$.

Radiative deexcitation (RD) of the metastable 2S state of muonic protium and deuterium atoms has been observed. In muonic protium, we improve the precision on lifetime and population (formation probability) values for the short-lived {\mu}p(2S) component, and give an upper limit for RD of long-lived {\mu}p(2S) atoms. In muonic deuterium at 1 hPa, 3.1 +-0.3 % of all stopped muons form {\mu}d(2S) atoms. The short-lived 2S component has a population of 1.35 +0.57 -0.33 % and a lifetime of {\tau}_short({\mu}d) = 138 +32 -34 ns. We see evidence for RD of long-lived {\mu}d(2S) with a lifetime of {\tau}_long({\mu}d) = 1.15 +0.75 -0.53 {\mu}s. This is interpreted as formation and decay of excited muonic molecules., Comment: 5 pages, 2 figures

The 7 standard deviations between the proton rms charge radius from muonic hydrogen and the CODATA-10 value from hydrogen spectroscopy and electron-scattering has caused considerable discussions. Here, we review the theory of the 2S-2P Lamb shift and 2S hyperfine splitting in muonic hydrogen combining the published contributions and theoretical approaches. The prediction of these quantities is necessary for the determination of both proton charge and Zemach radii from the two 2S-2P transition frequencies measured in muonic hydrogen., Comment: 20 pages with 3 Tables summarising the contributions to the muonic hydrogen Lamb shift and hyperfine splitting

We report a new measurement of the ratio $h/m_{\mathrm{Rb}}$ between the Planck constant and the mass of $^{87}\mathrm{Rb}$ atom. A new value of the fine structure constant is deduced, $\alpha^{-1}=137.035\,999\,037\,(91)$ with a relative uncertainty of $6.6\times 10^{-10}$. Using this determination, we obtain a theoretical value of the electron anomaly $a_\mathrm{e}=0.001~159~652~181~13(84)$ which is in agreement with the experimental measurement of Gabrielse ($a_\mathrm{e}=0.001~159~652~180~73(28)$). The comparison of these values provides the most stringent test of the QED. Moreover, the precision is large enough to verify for the first time the muonic and hadronic contributions to this anomaly.

This article reports the first optical frequency measurement of the $1\mathrm{S}-3\mathrm{S}$ transition in hydrogen. The excitation of this transition occurs at a wavelength of 205 nm which is obtained with two frequency doubling stages of a titanium sapphire laser at 820 nm. Its frequency is measured with an optical frequency comb. The second-order Doppler effect is evaluated from the observation of the motional Stark effect due to a transverse magnetic field perpendicular to the atomic beam. The measured value of the $1\mathrm{S}_{1/2}(F=1)-3\mathrm{S}_{1/2}(F=1)$ frequency splitting is $2 922 742 936.729 (13) \mathrm{MHz}$ with a relative uncertainty of $4.5\times10^{-12}$. After the measurement of the $1\mathrm{S}-2\mathrm{S}$ frequency, this result is the most precise of the optical frequencies in hydrogen.