Silent MST approximation for tiny memory

In network distributed computing, minimum spanning tree (MST) is one of the key problems, and silent self-stabilization one of the most demanding fault-tolerance properties. For this problem and this model, a polynomial-time algorithm with $O(\log^2\!n)$ memory is known for the state model. This is memory optimal for weights in the classic $[1,\text{poly}(n)]$ range (where $n$ is the size of the network). In this paper, we go below this $O(\log^2\!n)$ memory, using approximation and parametrized complexity. More specifically, our contributions are two-fold. We introduce a second parameter~$s$, which is the space needed to encode a weight, and we design a silent polynomial-time self-stabilizing algorithm, with space $O(\log n \cdot s)$. In turn, this allows us to get an approximation algorithm for the problem, with a trade-off between the approximation ratio of the solution and the space used. For polynomial weights, this trade-off goes smoothly from memory $O(\log n)$ for an $n$-approximation, to memory $O(\log^2\!n)$ for exact solutions, with for example memory $O(\log n\log\log n)$ for a 2-approximation

Space-Time Tradeoffs for Distributed Verification

Verifying that a network configuration satisfies a given boolean predicate is a fundamental problem in distributed computing. Many variations of this problem have been studied, for example, in the context of proof labeling schemes (PLS), locally checkable proofs (LCP), and non-deterministic local decision (NLD). In all of these contexts, verification time is assumed to be constant. Korman, Kutten and Masuzawa [PODC 2011] presented a proof-labeling scheme for MST, with poly-logarithmic verification time, and logarithmic memory at each vertex. In this paper we introduce the notion of a $t$-PLS, which allows the verification procedure to run for super-constant time. Our work analyzes the tradeoffs of $t$-PLS between time, label size, message length, and computation space. We construct a universal $t$-PLS and prove that it uses the same amount of total communication as a known one-round universal PLS, and $t$ factor smaller labels. In addition, we provide a general technique to prove lower bounds for space-time tradeoffs of $t$-PLS. We use this technique to show an optimal tradeoff for testing that a network is acyclic (cycle free). Our optimal $t$-PLS for acyclicity uses label size and computation space $O((\log n)/t)$. We further describe a recursive $O(\log^* n)$ space verifier for acyclicity which does not assume previous knowledge of the run-time $t$.Comment: Pre-proceedings version of paper presented at the 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2017

Time Reversal Invariance Violating and Parity Conserving effects in Neutron Deuteron Scattering

Time reversal invariance violating parity conserving effects for low energy elastic neutron deuteron scattering are calculated for meson exchange and EFT-type of potentials in a Distorted Wave Born Approximation, using realistic hadronic wave functions, obtained by solving three-body Faddeev equations in configuration space.Comment: There was a technical mistake in calculations due to singular behavior of Yukawa functions at short range. We corrected the integration algorithm. There were some typos which are corrected. arXiv admin note: text overlap with arXiv:1104.305

Voltage controlled terahertz transmission through GaN quantum wells

We report measurements of radiation transmission in the 0.220--0.325 THz frequency domain through GaN quantum wells grown on sapphire substrates at room and low temperatures. A significant enhancement of the transmitted beam intensity with the applied voltage on the devices under test is found. For a deeper understanding of the physical phenomena involved, these results are compared with a phenomenological theory of light transmission under electric bias relating the transmission enhancement to changes in the differential mobility of the two-dimensional electron gas

Isoscalar g Factors of Even-Even and Odd-Odd Nuclei

We consider T=0 states in even-even and odd-odd N=Z nuclei. The g factors that emerge are isoscalar. We find that the single j shell model gives simple expressions for these g factors which for even-even nuclei are suprisingly close to the collective values for K=0 bands. The g factors of many 2+ in even-even nuclei and 1+ and 3+ states in odd-odd nuclei have g factors close to 0.5

Nuclear Magnetic Resonance and Hyperfine Structure

Contains reports on five research projects

Magnetic moments of 33^{33}Mg in time-odd relativistic mean field approach

The configuration-fixed deformation constrained relativistic mean field approach with time-odd component has been applied to investigate the ground-state properties of $^{33}$Mg with effective interaction PK1. The ground state of $^{33}$Mg has been found to be prolate deformed, $\beta_2=0.23$, with the odd neutron in $1/2[330]$ orbital and the energy -251.85 MeV which is close to the data -252.06 MeV. The magnetic moment $- 0.9134 \mu_\mathrm{N}$ is obtained with the effective electromagnetic current which well reproduces the data $- 0.7456 \mu_\mathrm{N}$ self-consistently without introducing any parameter. The energy splittings of time reversal conjugate states, the neutron current, the energy contribution from the nuclear magnetic potential, and the effect of core polarization are discussed in detail.Comment: 13 pages, 4 figure

PMF the front end electronic for the ALFA detector

International audienceThe PMF (Photo Multiplier Front end) is the front end electronics designed for the ATLAS luminometer ALFA (Absolute Luminosity For ATLAS) made of 20 staggered U-V scintillating fiber layers inserted in Roman Pots (eight in total). Each of these plans is made of 64 fibers. The PMF consists of a 64 channels photomultiplier (MAPMT) and a very compact stack of three different PCBs (3x3 cm2), mounted directly on the back and in the shadow of the MAPMT: a board which brings the high voltage to the MAPMT, an intermediate board used to send the signals to connectors located on the edge and, finally, a board with the readout chip MAROC (Multi Anode Read Out Chip), directly bonded on the PCB, on one side and a FPGA on the other. The 64 inputs MAROC ASIC allows correcting for the gain spread of MAPMT channels thanks to a 6 bits variable gain preamplifier. For each channel the signal is shaped (fast shaper, 15ns) and discriminated to produce a trigger output. A multiplexed charge output is also produced both in analog and digital thanks to a Wilkinson ADC. The main requirements are the following: 100 % trigger efficiency for a signal greater than 1/3 of a photoelectron, a charge measurement up to 30 photoelectrons with a linearity of 2 % or better and a cross talk of 1 % or less. The performances of the second version of MAROC were checked successfully during the year 2007 at LAL-Orsay. A nice dispersion of the trigger output (± 5 fC) was, in particular, observed. A sample of PMFs was produced during autumn 2007 as a prototype. Laboratory tests were performed both at LAL and CERN respectively on the third PCB (the one with MAROC) and on a full PMF equipped with a MAPMT illuminated by a LED. They were carried out using dedicated test board and acquisition software and have allowed the approval of the design and the green light for the final production and integration with the detector. Beam tests of a complete Roman Pot, equipped with 23 PMFs, will take place during summer 2008 for two periods and will conclude the test phase and mark the beginning of the final production

Hadron beam test of a scintillating fibre tracker system for elastic scattering and luminosity measurement in ATLAS

A scintillating fibre tracker is proposed to measure elastic proton scattering at very small angles in the ATLAS experiment at CERN. The tracker will be located in so-called Roman Pot units at a distance of 240 m on each side of the ATLAS interaction point. An initial validation of the design choices was achieved in a beam test at DESY in a relatively low energy electron beam and using slow off-the-shelf electronics. Here we report on the results from a second beam test experiment carried out at CERN, where new detector prototypes were tested in a high energy hadron beam, using the first version of the custom designed front-end electronics. The results show an adequate tracking performance under conditions which are similar to the situation at the LHC. In addition, the alignment method using so-called overlap detectors was studied and shown to have the expected precision.Comment: 12 pages, 8 figures. Submitted to Journal of Instrumentation (JINST