title: Second order density perturbations for dust cosmologies

abstract: We present simple expressions for the relativistic first and second order fractional density perturbations for FL cosmologies with dust, in four different gauges: the Poisson, uniform curvature, total matter and synchronous gauges. We include a cosmological constant and arbitrary spatial curvature in the background. A distinctive feature of our approach is our description of the spatial dependence of the perturbations using a canonical set of quadratic differential expressions involving an arbitrary spatial function that arises as a conserved quantity. This enables us to unify, simplify and extend previous seemingly disparate results. We use the primordial matter and metric perturbations that emerge at the end of the inflationary epoch to determine the additional arbitrary spatial function that arises when integrating the second order perturbation equations. This introduces a non-Gaussianity parameter into the expressions for the second order density perturbation. In the special case of zero spatial curvature we show that the time evolution simplifies significantly, and requires the use of only two non-elementary functions, the so-called growth supression factor at the linear level, and one new function at the second order level. We expect that the results will be useful in applications, for example, studying the effects of primordial non-Gaussianity on the large scale structure of the universe.


title: Simulations of high intensity ions beam RFQ Cooler for DESIR SPIRAL 2

abstract: The cooling simulation of a high intensity ions beam by a new generation of a buffer gas radio-frequency cooler within the SHIRaC (SPIRAL-2 High Intensity Radiofrequency Cooler) project, installed at the SPIRAL 2/DESIR facility, is presented. Two simulation methods for the cooling process in presence of the space charge effect and the buffer gas diffusion will be studied. The beam properties degradation in terms of the transmission efficienty, the longitudinal spread energy and the transversal emittance by these effects will be discussed. Finally, a comparison in term of transmission between simulated and experimental results for Cs+ ions beam of intensity going up to 1{\mu}A, will be outlined.


title: The effect of parallax and cadence on asteroid impact probabilities and warning times

abstract: We study the time evolution of the impact probability for synthetic but realistic impacting and close approaching asteroids detected in a simulated all-sky survey. We use the impact probability to calculate the impact warning time as the time interval between when an object reaches a Palermo Scale value of -2 and when it impacts Earth. A simple argument shows that warning time ~ D^x with the exponent in the range [1.0,1.5] and our derived value was $x=1.3\pm0.1$. The low-precision astrometry from the single simulated all-sky survey could require many days or weeks to establish an imminent impact for asteroids >100m diameter that are discovered far from Earth. Most close approaching asteroids are quickly identified as not being impactors but a size-dependent percentage, even for those >50m diameter, have a persistent impact probability of >10^{-6} on the day of closest approach. Thus, a single all-sky survey can be of tremendous value in identifying Earth impacting and close approaching asteroids in advance of their closest approach but it can not solve the problem on its own: high-precision astrometry from other optical or radar systems is necessary to rapidly establish an object as an impactor or close approacher. We show that the parallax afforded by surveying the sky from two sites is only of benefit for a small fraction of the smallest objects detected within a couple days before impact: probably not enough to justify the increased operating costs of a 2-site survey. Finally, the survey cadence within a fixed time span is relatively unimportant to the impact probability calculation. We tested three different reasonable cadences and found that one provided ~10x higher (better) value for the impact probability on the discovery night for the smallest (10m diameter) objects but the consequences on the overall impact probability calculation is negligible.


title: A model problem for Mean Field Games on networks

abstract: In [14], Gueant, Lasry and Lions considered the model problem ``What time does meeting start?'' as a prototype for a general class of optimization problems with a continuum of players, called Mean Field Games problems. In this paper we consider a similar model, but with the dynamics of the agents defined on a network. We discuss appropriate transition conditions at the vertices which give a well posed problem and we present some numerical results.


title: Sampling Plans for Control-Inspection Schemes Under Independent and Dependent Sampling Designs With Applications to Photovoltaics

abstract: The evaluation of produced items at the time of delivery is, in practice, usually amended by at least one inspection at later time points. We extend the methodology of acceptance sampling for variables for arbitrary unknown distributions when additional sampling infor- mation is available to such settings. Based on appropriate approximations of the operating characteristic, we derive new acceptance sampling plans that control the overall operating characteristic. The results cover the case of independent sampling as well as the case of dependent sampling. In particular, we study a modified panel sampling design and the case of spatial batch sampling. The latter is advisable in photovoltaic field monitoring studies, since it allows to detect and analyze local clusters of degraded or damaged modules. Some finite sample properties are examined by a simulation study, focusing on the accuracy of estimation.


title: The edge ideals of complete multipartite hypergraphs

abstract: We classify all complete uniform multipartite hypergraphs with respect to some algebraic properties, such as being (almost) complete intersection, Gorenstein, level, $l$-Cohen-Macaulay, $l$-Buchsbaum, unmixed, and satisfying Serre's condition $S_r$, via some combinatorial terms. Also, we prove that for a complete $s$-uniform $t$-partite hypergraph $H$, vertex decomposability, shellability, sequentially $S_r$ and sequentially Cohen-Macaulay properties coincide with the condition that $H$ has $t-1$ sides consisting of a single vertex. Moreover, we show that the latter condition occurs if and only if it is a chordal hypergraph.


title: Doping Influence on Sm$_{1-x}$Th$_x$OFeAs Superconducting Properties: Observation of Intrinsic Multiple Andreev Reflections Effect and Superconducting Parameters Determination

abstract: We studied SNS- and S-N-S-N-...-S contacts (where S - superconductor, N - normal metal) formed by "break-junction" technique in polycrystalline Sm$_{1-x}$Th$_x$OFeAs superconductor samples with critical temperatures $T_C = (34 \div 45)$ K. In such contacts (intrinsic) multiple Andreev reflections effects were observed. Using spectroscopies based on these effects, we detected two independent bulk order parameters and determined their magnitudes. Theoretical analysis of the large and the small gap temperature dependences revealed superconducting properties of Sm$_{1-x}$Th$_x$OFeAs to be driven by intraband coupling, and $\sqrt{V_{11}V_{22}}/V_{12} \approx 14$ (where $V_{ij}$ - electron-boson interaction matrix elements), whereas the ratio between density of states for the bands with the small and the large gap, $N_2/N_1$, correspondingly, was roughly of an order. We estimated "solo" BCS-ratio values in a hypothetic case of zero interband coupling ($V_{i \ne j} = 0$) for each condensate as $2\Delta_{L,S}/k_BT_C^{L,S} \le 4.5$. The values are constant within the range of critical temperatures studied, and correspond to a case of strong intraband electron-phonon coupling.


title: $K_{s,t}$-saturated bipartite graphs

abstract: An $n$-by-$n$ bipartite graph is $H$-saturated if the addition of any missing edge between its two parts creates a new copy of $H$. In 1964, Erd\H{o}s, Hajnal and Moon made a conjecture on the minimum number of edges in a $K_{s,s}$-saturated bipartite graph. This conjecture was proved independently by Wessel and Bollob\'as in a more general, but ordered, setting: they showed that the minimum number of edges in a $K_{(s,t)}$-saturated bipartite graph is $n^2-(n-s+1)(n-t+1)$, where $K_{(s,t)}$ is the "ordered" complete bipartite graph with $s$ vertices in the first color class and $t$ vertices in the second. However, the very natural question of determining the minimum number of edges in the unordered $K_{s,t}$-saturated case remained unsolved. This problem was considered recently by Moshkovitz and Shapira who also conjectured what its answer should be. In this short paper we give an asymptotically tight bound on the minimum number of edges in a $K_{s,t}$-saturated bipartite graph, which is only smaller by an additive constant than the conjecture of Moshkovitz and Shapira. We also prove their conjecture for $K_{2,3}$-saturation, which was the first open case.


title: The ODINUS Mission Concept - The Scientific Case for a Mission to the Ice Giant Planets with Twin Spacecraft to Unveil the History of our Solar System

abstract: The purpose of this document is to discuss the scientific case of a space mission to the ice giants Uranus and Neptune and their satellite systems and its relevance to advance our understanding of the ancient past of the Solar System and, more generally, of how planetary systems form and evolve. As a consequence, the leading theme of this proposal will be the first scientific theme of the Cosmic Vision 2015-2025 program: What are the conditions for planetary formation and the emergence of life? In pursuing its goals, the present proposal will also address the second and third scientific theme of the Cosmic Vision 2015-2025 program, i.e.: How does the Solar System work? What are the fundamental physical laws of the Universe? The mission concept we will illustrate in the following will be referred to through the acronym ODINUS, this acronym being derived from its main fields of scientific investigation: Origins, Dynamics and Interiors of Neptunian and Uranian Systems. As the name suggests, the ODINUS mission is based on the use of two twin spacecraft to perform the exploration of the ice giants and their regular and irregular satellites with the same set of instruments. This will allow to perform a comparative study of these two systems so similar and yet so different and to unveil their histories and that of the Solar System.


title: The simplified topological $\varepsilon$--algorithms for accelerating sequences in a vector space

abstract: When a sequence of numbers is slowly converging, it can be transformed into a new sequence which, under some assumptions, could converge faster to the same limit. One of the most well--known sequence transformation is Shanks transformation which can be recursively implemented by the $\varepsilon$--algorithm of Wynn. This transformation and this algorithm have been extended (in two different ways) to sequence of elements of a topological vector space $E$. In this paper, we present new algorithms of implementing these topological Shanks transformations. They no longer require the manipulation of elements of the algebraic dual space $E^*$ of $E$, nor using the duality product into the rules of the algorithms, they need the storage of less elements of $E$, and the stability is improved. They also allow us to prove convergence and acceleration results for some types of sequences. Various applications involving sequences of vectors or matrices show the interest of the new algorithms.


title: Introducing Quantified Cuts in Logic with Equality

abstract: Cut-introduction is a technique for structuring and compressing formal proofs. In this paper we generalize our cut-introduction method for the introduction of quantified lemmas of the form $\forall x.A$ (for quantifier-free $A$) to a method generating lemmas of the form $\forall x_1\ldots\forall x_n.A$. Moreover, we extend the original method to predicate logic with equality. The new method was implemented and applied to the TSTP proof database. It is shown that the extension of the method to handle equality and quantifier-blocks leads to a substantial improvement of the old algorithm.