Power spectrum analysis of staggered quadriphase-shift-keyed signals

Mathematical analysis of power spectrum of outputs from high-reliability communication system is used to determine system bandwidth. Analysis provides mathematical relationships of signal power spectrum at output of hard limiter for any type of baseband pulse input subjected only to output parameter constraints

Study of symmetry in F(R) theory of gravity

An action in which the Ricci scalar is nonminimally coupled with a scalar field and contains higher order curvature invariant terms carries a conserved current under certain conditions that decouples geometric part from the scalar field. The conserved current relates the pair of arbitrary coupling parameters $f(\phi)$ and $\omega(\phi)$ with the gravitational field variable, where $\omega(\phi)$ is the Brans-Dicke coupling parameter. The existence of such conserved current may be helpful to sketch the cosmological evolution from its early age till date in a single frame.Comment: 6 page

Evaluating kernels on Xeon Phi to accelerate Gysela application

This work describes the challenges presented by porting parts ofthe Gysela code to the Intel Xeon Phi coprocessor, as well as techniques used for optimization, vectorization and tuning that can be applied to other applications. We evaluate the performance of somegeneric micro-benchmark on Phi versus Intel Sandy Bridge. Several interpolation kernels useful for the Gysela application are analyzed and the performance are shown. Some memory-bound and compute-bound kernels are accelerated by a factor 2 on the Phi device compared to Sandy architecture. Nevertheless, it is hard, if not impossible, to reach a large fraction of the peek performance on the Phi device,especially for real-life applications as Gysela. A collateral benefit of this optimization and tuning work is that the execution time of Gysela (using 4D advections) has decreased on a standard architecture such as Intel Sandy Bridge.Comment: submitted to ESAIM proceedings for CEMRACS 2014 summer school version reviewe

Univalent Foundations and the UniMath Library

We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander

A Solution to the Graceful Exit Problem in Pre-Big Bang Cosmology

We examine the string cosmology equations with a dilaton potential in the context of the Pre-Big Bang Scenario with the desired scale factor duality, and give a generic algorithm for obtaining solutions with appropriate evolutionary properties. This enables us to find pre-big bang type solutions with suitable dilaton behaviour that are regular at $t=0$, thereby solving the graceful exit problem. However to avoid fine tuning of initial data, an `exotic' equation of state is needed that relates the fluid properties to the dilaton field. We discuss why such an equation of state should be required for reliable dilaton behaviour at late times.Comment: 16 pages LaTeX, 5 figures. To appear in Physical Review