Reachability problems for PAMs

Piecewise affine maps (PAMs) are frequently used as a reference model to show the openness of the reachability questions in other systems. The reachability problem for one-dimentional PAM is still open even if we define it with only two intervals. As the main contribution of this paper we introduce new techniques for solving reachability problems based on p-adic norms and weights as well as showing decidability for two classes of maps. Then we show the connections between topological properties for PAM's orbits, reachability problems and representation of numbers in a rational base system. Finally we show a particular instance where the uniform distribution of the original orbit may not remain uniform or even dense after making regular shifts and taking a fractional part in that sequence.Comment: 16 page

ORIGAMIX, a CdTe-based spectro-imager development for nuclear applications

The Astrophysics Division of CEA Saclay has a long history in the development of CdTe based pixelated detection planes for X and gamma-ray astronomy, with time-resolved imaging and spectrometric capabilities. The last generation, named Caliste HD, is an all-in-one modular instrument that fulfills requirements for space applications. Its full-custom front-end electronics is designed to work over a large energy range from 2 keV to 1 MeV with excellent spectroscopic performances, in particular between 10 and 100 keV (0.56 keV FWHM and 0.67 keV FWHM at 13.9 and 59.5 keV). In the frame of the ORIGAMIX project, a consortium based on research laboratories and industrials has been settled in order to develop a new generation of gamma camera. The aim is to develop a system based on the Caliste architecture for post-accidental interventions or homeland security, but integrating new properties (advanced spectrometry, hybrid working mode) and suitable for industry. A first prototype was designed and tested to acquire feedback for further developments. In this study, we particularly focused on spectrometric performances with high energies and high fluxes. Therefore, our device was exposed to energies up to 700 keV (133Ba, 137Cs) and we measured the evolution of energy resolution (0.96 keV at 80 keV, 2.18 keV at 356 keV, 3.33 keV at 662 keV). Detection efficiency decreases after 150 keV, as Compton effect becomes dominant. However, CALISTE is also designed to handle multiple events, enabling Compton scattering reconstruction, which can drastically improve detection efficiencies and dynamic range for higher energies up to 1408 keV (22Na, 60Co, 152Eu) within a 1-mm thick detector. In particular, such spectrometric performances obtained with 152Eu and 60Co were never measured before with this kind of detector.Comment: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. Available online 9 January 2015, ISSN 0168-9002 (http://www.sciencedirect.com/science/article/pii/S0168900215000133). Keywords: CdTe; X-ray; Gamma-ray; Spectrometry; Charge-sharing; Astrophysics Instrumentation; Nuclear Instrumentation; Gamma-ray camera

On the improvement of the low energy neutrino factory

The low energy neutrino factory has been proposed as a very sensitive setup for future searches for CP violation and matter effects. Here we study how its performance is affected when the experimental specifications of the setup are varied. Most notably, we have considered the addition of the 'platinum' nu_{mu} -> nu_{e} channel. We find that, whilst theoretically the extra channel provides very useful complementary information and helps to lift degeneracies, its practical usefulness is lost when considering realistic background levels. Conversely, an increase in statistics in the 'golden' nu_{e} -> nu_{mu} channel and, to some extent, an improvement in the energy resolution, lead to an important increase in the performance of the facility, given the rich energy dependence of the 'golden' channel at these energies. We show that a low energy neutrino factory with a baseline of 1300 km, muon energy of 4.5 GeV, and either a 20 kton totally active scintillating detector or 100 kton liquid argon detector, can have outstanding sensitivity to the neutrino oscillation parameters theta13, delta and the mass hierarchy. For our estimated exposure of 2.8 x 10^{23} kton x decays per muon polarity, the low energy neutrino factory has sensitivity to theta13 and delta for sin^{2}(2theta13) > 10^{-4} and to the mass hierarchy for sin^{2}(2theta13) > 10^{-3}.Comment: 13 pages, 8 eps figures. Version published in PRD - experimental section with preliminary results removed, abstract and conclusions re-written accordingly, title changed, author list amended

Beam test results of 3D fine-grained scintillator detector prototype for a T2K ND280 neutrino active target

An upgrade of the long baseline neutrino experiment T2K near detector ND280 is currently being developed with the goal to reduce systematic uncertainties in the prediction of number of events at the far detector Super-Kamiokande. The upgrade program includes the design and construction of a new highly granular fully active scintillator detector with 3D WLS fiber readout as a neutrino target. The detector of about $200\times 180\times 60~cm^3$ in size and a mass of $\sim$2.2~tons will be assembled from about $2\times10^6$ plastic scintillator cubes of $1\times1\times1~cm^3$. Each cube is read out by three orthogonal Kuraray Y11 Wave Length Shifting (WLS) fibers threaded through the detector. A detector prototype made of 125 cubes was assembled and tested in a charged particle test beam at CERN in the fall of 2017. This paper presents the results obtained on the light yield and timing as well as on the optical cross-talk between the cubes.Comment: 5 pages, 8 figure

Turing machines can be efficiently simulated by the General Purpose Analog Computer

The Church-Turing thesis states that any sufficiently powerful computational model which captures the notion of algorithm is computationally equivalent to the Turing machine. This equivalence usually holds both at a computability level and at a computational complexity level modulo polynomial reductions. However, the situation is less clear in what concerns models of computation using real numbers, and no analog of the Church-Turing thesis exists for this case. Recently it was shown that some models of computation with real numbers were equivalent from a computability perspective. In particular it was shown that Shannon's General Purpose Analog Computer (GPAC) is equivalent to Computable Analysis. However, little is known about what happens at a computational complexity level. In this paper we shed some light on the connections between this two models, from a computational complexity level, by showing that, modulo polynomial reductions, computations of Turing machines can be simulated by GPACs, without the need of using more (space) resources than those used in the original Turing computation, as long as we are talking about bounded computations. In other words, computations done by the GPAC are as space-efficient as computations done in the context of Computable Analysis

TLEP: A High-Performance Circular e+e- Collider to Study the Higgs Boson

The recent discovery of a light Higgs boson has opened up considerable interest in circular e+e- Higgs factories around the world. We report on the progress of the TLEP concept since last year. TLEP is an e+e- circular collider capable of very high luminosities in a wide centre-of-mass (ECM) spectrum from 90 to 350 GeV. TLEP could be housed in a new 80 to 100 km tunnel in the Geneva region. The design can be adapted to different ring circumference (e.g. LEP3 in the 27 km LHC tunnel). TLEP is an ideal complementary machine to the LHC thanks to high luminosity, exquisite determination of ECM and the possibility of four interaction points, both for precision measurements of the Higgs boson properties and for precision tests of the closure of the Standard Model from the Z pole to the top threshold.Comment: Contribution to IPAC13, 12-17 May 2013, Shanghai, Chin

The Stellar Composition of the Star Formation Region CMa R1. II. Spectroscopic and Photometric Observations of 9 Young Stars

We present new high and low resolution spectroscopic and photometric data of nine members of the young association CMa R1. All the stars have circumstellar dust at some distance as could be expected from their association with reflection nebulosity. Four stars (HD 52721, HD 53367, LkHalpha 220 and LkHalpha 218) show Halpha emission and we argue that they are Herbig Be stars with discs. Our photometric and spectroscopic observations on these stars reveal new characteristics of their variability. We present first interpretations of the variability of HD 52721, HD 53367 and the two LkHalpha stars in terms of a partially eclipsing binary, a magnetic activity cycle and circumstellar dust variations, respectively. The remaining five stars show no clear indications of Halpha emission in their spectra, although their spectral types and ages are comparable with those of HD 52721 and HD 53367. This indicates that the presence of a disc around a star in CMa R1 may depend on the environment of the star. In particular we find that all Halpha emission stars are located at or outside the arc-shaped border of the H II region, which suggests that the stars inside the arc have lost their discs through evaporation by UV photons from nearby O stars, or from the nearby (< 25 pc) supernova, about 1 Myr ago.Comment: 17 pages, 13 figures, accepted by MNRA

Exploiting Resolution-based Representations for MaxSAT Solving

Most recent MaxSAT algorithms rely on a succession of calls to a SAT solver in order to find an optimal solution. In particular, several algorithms take advantage of the ability of SAT solvers to identify unsatisfiable subformulas. Usually, these MaxSAT algorithms perform better when small unsatisfiable subformulas are found early. However, this is not the case in many problem instances, since the whole formula is given to the SAT solver in each call. In this paper, we propose to partition the MaxSAT formula using a resolution-based graph representation. Partitions are then iteratively joined by using a proximity measure extracted from the graph representation of the formula. The algorithm ends when only one partition remains and the optimal solution is found. Experimental results show that this new approach further enhances a state of the art MaxSAT solver to optimally solve a larger set of industrial problem instances