Procyon-A and Eta-Bootis: Observational Frequencies Analyzed by the Local-Wave Formalism

In the present analysis of Procyon-A and Eta-Bootis, we use the local-wave formalism which, despite its lack of precision inherent to any semi-analytical method, uses directly the model profile without any modification when calculating the acoustic mode eigenfrequencies. These two solar-like stars present steep variations toward the center due to the convective core stratification, and toward the surface due to the very thin convective zone. Based on different boundary conditions, the frequencies obtained with this formalism are different from that of the classical numerical calculation. We point out that (1) the frequencies calculated with the local-wave formalism seem to agree better with observational ones. All the frequencies detected with a good confident level including those classified as 'noise' find an identification, (2) some frequencies can be clearly identified here as indications of the core limit.Comment: SOHO 18 / GONG 2006 / HELAS I Meetin

Seismic diagnostics for transport of angular momentum in stars 1. Rotational splittings from the PMS to the RGB

Rotational splittings are currently measured for several main sequence stars and a large number of red giants with the space mission Kepler. This will provide stringent constraints on rotation profiles. Our aim is to obtain seismic constraints on the internal transport and surface loss of angular momentum of oscillating solar-like stars. To this end, we study the evolution of rotational splittings from the pre-main sequence to the red-giant branch for stochastically excited oscillation modes. We modified the evolutionary code CESAM2K to take rotationally induced transport in radiative zones into account. Linear rotational splittings were computed for a sequence of $1.3 M_{\odot}$ models. Rotation profiles were derived from our evolutionary models and eigenfunctions from linear adiabatic oscillation calculations. We find that transport by meridional circulation and shear turbulence yields far too high a core rotation rate for red-giant models compared with recent seismic observations. We discuss several uncertainties in the physical description of stars that could have an impact on the rotation profiles. For instance, we find that the Goldreich-Schubert-Fricke instability does not extract enough angular momentum from the core to account for the discrepancy. In contrast, an increase of the horizontal turbulent viscosity by 2 orders of magnitude is able to significantly decrease the central rotation rate on the red-giant branch. Our results indicate that it is possible that the prescription for the horizontal turbulent viscosity largely underestimates its actual value or else a mechanism not included in current stellar models of low mass stars is needed to slow down the rotation in the radiative core of red-giant stars.Comment: 15 pages, 13 figures, accepted for publication in A&

Energy Level Statistics of Quantum Dots

We investigate the charging energy level statistics of disordered interacting electrons in quantum dots by numerical calculations using the Hartree approximation. The aim is to obtain a global picture of the statistics as a function of disorder and interaction strengths. We find Poisson statistics at very strong disorder, Wigner- Dyson statistics for weak disorder and interactions, and a Gaussian intermediate regime. These regimes are as expected from previous studies and fundamental considerations, but we also find interesting and rather broad crossover regimes. In particular, intermediate between the Gaussian and Poisson regimes we find a two-sided exponential distribution for the energy level spacings. In comparing with experiment, we find that this distribution may be realized in some quantum dots.Comment: 21 pages 10 figure

Advanced concepts and methods for very high intensity accelerators

AbstractFor very high intensity accelerators, not only beam power but also space charge is a concern. Both aspects should be taken into consideration for any analysis of accelerators aiming at comparing their performances and pointing out the challenging sections. As high beam power is an issue from the lowest energy, careful and exhaustive beam loss predictions have to be done. High space charge implies lattice compactness making the implementation of beam diagnostics very problematic, so a clear strategy for beam diagnostic has to be defined. Beam halo is no longer negligible. Its dynamics is different from that of the core and plays a significant role in the particle loss process. Therefore, beam optimization must take the halo into account and beam characterization must be able to describe the halo part in addition to the core one. This paper presents the advanced concepts and methods for beam analysis, beam loss prediction, beam optimization, beam diagnostic, and beam characterization especially dedicated to very high intensity accelerators. Examples of application of these concepts are given in the case of the IFMIF accelerators

Dynamics of the IFMIF very high-intensity beam

AbstractFor the purpose of material studies for future nuclear fusion reactors, the IFMIF deuteron beams present a simultaneous combination of unprecedentedly high intensity (2 × 125 mA CW), power (2 × 5 MW) and space charge. Special considerations and new concepts have been developed in order to overcome these challenges. The global strategy for beam dynamics design of the 40 MeV IFMIF accelerators is presented, stressing on the control of micro-losses, and the possibility of online fine tuning. Start-to-end simulations without and with errors are presented for the prototype accelerator. Considerations about conflicts between halo and emittance minimization are then discussed in this very high space charge context

Eupraxia, a step toward a plasma-wakefield based accelerator with high beam quality

The EuPRAXIA project aims at designing the world's first accelerator based on advanced plasma-wakefield techniques to deliver 5 GeV electron beams that simultaneously have high charge, low emittance and low energy spread, which are required for applications by future user communities. Meeting this challenging objective will only be possible through dedicated effort. Many injection/acceleration schemes and techniques have been explored by means of thorough simulations in more than ten European research institutes. This enables selection of the most appropriate methods for solving each particular problem. The specific challenge of generating, extracting and transporting high charge beams, while maintaining the high quality needed for user applications, are being tackled using innovative approaches. This article highlights preliminary results obtained by the EuPRAXIA collaboration, which also exhibit the required laser and plasma parameters

A Survey on Retrieval of Mathematical Knowledge

We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.Comment: CICM 2015, 20 page

Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context

Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial to communicate information, e.g., in scientific papers, and to perform computations using computer algebra systems. Enabling computers to access the information encoded in mathematical formulae requires machine-readable formats that can represent both the presentation and content, i.e., the semantics, of formulae. Exchanging such information between systems additionally requires conversion methods for mathematical representation formats. We analyze how the semantic enrichment of formulae improves the format conversion process and show that considering the textual context of formulae reduces the error rate of such conversions. Our main contributions are: (1) providing an openly available benchmark dataset for the mathematical format conversion task consisting of a newly created test collection, an extensive, manually curated gold standard and task-specific evaluation metrics; (2) performing a quantitative evaluation of state-of-the-art tools for mathematical format conversions; (3) presenting a new approach that considers the textual context of formulae to reduce the error rate for mathematical format conversions. Our benchmark dataset facilitates future research on mathematical format conversions as well as research on many problems in mathematical information retrieval. Because we annotated and linked all components of formulae, e.g., identifiers, operators and other entities, to Wikidata entries, the gold standard can, for instance, be used to train methods for formula concept discovery and recognition. Such methods can then be applied to improve mathematical information retrieval systems, e.g., for semantic formula search, recommendation of mathematical content, or detection of mathematical plagiarism.Comment: 10 pages, 4 figure