title: Dynamics of rotationally fissioned asteroids: Source of observed small asteroid systems

abstract: We present a model of near-Earth asteroid (NEA) rotational fission and ensuing dynamics that describes the creation of synchronous binaries and all other observed NEA systems including: doubly synchronous binaries, high- e binaries, ternary systems, and contact binaries. Our model only presupposes the Yarkovsky-O'Keefe-Radzievskii-Paddack (YORP) effect, "rubble pile" asteroid geophysics, and gravitational interactions. The YORP effect torques a "rubble pile" asteroid until the asteroid reaches its fission spin limit and the components enter orbit about each other (Scheeres, D.J. [2007]. Icarus 189, 370-385). Non-spherical gravitational potentials couple the spin states to the orbit state and chaotically drive the system towards the observed asteroid classes along two evolutionary tracks primarily distinguished by mass ratio. Related to this is a new binary process termed secondary fission - the secondary asteroid of the binary system is rotationally accelerated via gravitational torques until it fissions, thus creating a chaotic ternary system. The initially chaotic binary can be stabilized to create a synchronous binary by components of the fissioned secondary asteroid impacting the primary asteroid, solar gravitational perturbations, and mutual body tides. These results emphasize the importance of the initial component size distribution and configuration within the parent asteroid. NEAs may go through multiple binary cycles and many YORP-induced rotational fissions during their approximately 10 Myr lifetime in the inner Solar System. Rotational fission and the ensuing dynamics are responsible for all NEA systems including the most commonly observed synchronous binaries.


title: Influence of the single-particle structure on the nuclear surface and the neutron skin

abstract: We analyze the influence of the single-particle structure on the neutron density distribution and the neutron skin in Ca, Ni, Zr, Sn, and Pb isotopes. The nucleon density distributions are calculated in the Hartree-Fock+BCS approach with the SLy4 Skyrme force. A close correlation is found between the quantum numbers of the valence neutrons and the changes in the position and the diffuseness of the nuclear surface, which in turn affect the neutron skin thickness. Neutrons in the valence orbitals with low principal quantum number and high angular momentum mainly displace the position of the neutron surface outwards, while neutrons with high principal quantum number and low angular momentum basically increase the diffuseness of the neutron surface. The impact of the valence shell neutrons on the tail of the neutron density distribution is discussed.


title: Global stability analysis of the axisymmetric wake past a spinning bullet-shaped body

abstract: We analyze the global linear stability of the axisymmetric flow around a spinning bullet-shaped body as a function of the Reynolds number, $Re=w_{\infty}D/\nu$, and of the rotation parameter $\Omega=\omega D/(2 w_{\infty})$, in the ranges $Re<450$ and $0\leq\Omega\leq 1$. Here, $w_{\infty}$ and $\omega$ are the free-stream and the body rotation velocities respectively, and $\nu$ is the fluid kinematic viscosity. The spectrum and the eigenfunctions obtained allow us to explain the different bifurcations from the axisymmetric state observed in previous numerical studies. Our results reveal that three global eigenmodes, denoted Low-Frequency (LF), Medium-Frequency (MF) and High-Frequency (HF) modes, become unstable in different regions of the $Re-\Omega$ parameter plane. We provide precise computations of the corresponding neutral curves, that divide the $Re-\Omega$ plane into four different regions: the stable axisymmetric flow prevails for small enough values of $Re$ and $\Omega$, while three different frozen states, where the wake structures co-rotate with the body at different angular velocities, take place as a consequence of the destabilization of the LF, MF and HF modes. Several direct numerical simulations of the nonlinear state associated to the MF mode, identified here for the first time, are also reported to complement the linear stability results. Finally, we point out the important fact that, since the axisymmetric base flow is $SO(2)$-symmetric, the theory of equivariant bifurcations implies that the weakly non-linear regimes that emerge close to criticality must necessarily take the form of rotating-wave states. These states, previously referred to as frozen wakes in the literature, are thus shown to result from the base-flow symmetry.


title: Types modulo $\ell$ pour les formes int\'erieures de $GL_n$ sur un corps local non archim\'edien

abstract: Let F be a non-Archimedean locally compact field of residue characteristic p, let D be a finite dimensional central division F-algebra and let l be a prime number different from p. We develop a theory of l-modular types for the group GL(m,D), m\>1, in preparation of the study of the l-modular smooth representations of this group.


title: Conventional quantum phase transition driven by complex parameter in non-Hermitian PT-symmetric Ising model

abstract: A conventional quantum phase transition (QPT) can be accessed by varying a real parameter at absolute zero temperature. Motivated by the discovery of the pseudo-Hermiticity of non-Hermitian systems, we explore the QPT in non-Hermitian PT-symmetric Ising model, which is driven by a staggered complex transverse field. Exact solution shows that the Laplacian of the groundstate energy density, with respect to real and imaginary components of the transverse field, diverges on the boundary in the complex plane. The phase diagram indicate that the imaginary transverse field has the effect of shrinking the paramagnet phase. In addition, we also investigate the connection between the geometric phase and the QPT.


title: Conformal and non Conformal Dilaton Gravity

abstract: The quantum dynamics of the gravitational field non-minimally coupled to an (also dynamical) scalar field is studied in the {\em broken phase}. For a particular value of the coupling the system is classically conformal, and can actually be understood as the group averaging of Einstein-Hilbert's action under conformal transformations. Conformal invariance implies a simple Ward identity asserting that the trace of the equation of motion for the graviton is the equation of motion of the scalar field. We perform an explicit one-loop computation to show that the DeWitt effective action is not UV divergent {\em on shell} and to find that the Weyl symmetry Ward identity is preserved {\em on shell} at that level. We also discuss the fate of this Ward identity at the two-loop level --under the assumption that the two-loop UV divergent part of the effective action can be retrieved from the Goroff-Sagnotti counterterm-- and show that its preservation in the renormalized theory requires the introduction of counterterms which exhibit a logarithmic dependence on the dilaton field.


title: Maximizing Profit in Green Cellular Networks through Collaborative Games

abstract: In this paper, we deal with the problem of maximizing the profit of Network Operators (NOs) of green cellular networks in situations where Quality-of-Service (QoS) guarantees must be ensured to users, and Base Stations (BSs) can be shared among different operators. We show that if NOs cooperate among them, by mutually sharing their users and BSs, then each one of them can improve its net profit. By using a game-theoretic framework, we study the problem of forming stable coalitions among NOs. Furthermore, we propose a mathematical optimization model to allocate users to a set of BSs, in order to reduce costs and, at the same time, to meet user QoS for NOs inside the same coalition. Based on this, we propose an algorithm, based on cooperative game theory, that enables each operator to decide with whom to cooperate in order to maximize its profit. This algorithms adopts a distributed approach in which each NO autonomously makes its own decisions, and where the best solution arises without the need to synchronize them or to resort to a trusted third party. The effectiveness of the proposed algorithm is demonstrated through a thorough experimental evaluation considering real-world traffic traces, and a set of realistic scenarios. The results we obtain indicate that our algorithm allows a population of NOs to significantly improve their profits thanks to the combination of energy reduction and satisfaction of QoS requirements.


title: A lower bound on the Longitudinal Structure Function at small x from a self-similarity based model of Proton

abstract: Self-similarity based model of proton structure function at small \textit{x} was reported in the literature sometime back. The phenomenological validity of the model is in the kinematical region $ 6.2\, \times \, 10^{-7} \leq x \leq 10^{-2}$ and $ 0.045 \leq Q^{2} \leq 120 \, \mathrm{GeV^{2}} $. We use momentum sum rule to pin down the corresponding self-similarity based gluon distribution function valid in the same kinematical region. The model is then used to compute bound on the longitudinal structure function $F_{L}\left(x,Q^{2} \right)$ for Altarelli-Martinelli equation in QCD and is compared with the recent HERA data.


title: Temperature dependence of clusters with attracting vortices in superconducting Niobium studied by neutron scattering

abstract: We have investigated the intermediate mixed state of a superconducting niobium sample by Very Small Angle Neutron Scattering.We show that this state is stabilized through a sequence where a regular vortex lattice appears, which then coexists with vortex clusters before vanishing at low temperature. Vortices in clusters have a constant periodicity regardless of the applied field, exhibit a temperature dependence close to the one of the penetration depth. The clusters disappear in the high temperature limit. All the results agree with an explanation in terms of vortex attraction due non local effects, and indicate a negligible role of pinning. Phase coexistence between Abrikosov vortex lattice and vortex clusters is reported showing the first order nature of the boundary line.


title: Testing nonlinear-QED at the future linear collider with an intense laser

abstract: The future linear collider will collide dense $e^+e^-$ bunches at high energies up to 1 TeV, generating very intense electromagnetic fields at the interaction point (IP). These fields are strong enough to lead to nonlinear effects which affect all IP processes and which are described by strong field physics theory. In order to test this theory, we propose an experiment that will focus an intense laser on the LC electron beam post-IP. Similar experiments at SLAC E144 have investigated nonlinear Compton scattering, Breit-Wheeler pair production using an electron beam of 46.6 GeV. The higher beam energies available at the future LC would allow more precise studies of these phenomena. Mass-shift and spin-dependent effects could also be investigated.


title: A semi-analytic model comparison: testing cooling models against hydrodynamical simulations

abstract: We compare predictions of cooled masses and cooling rates from three stripped-down Semi-Analytic Models (SAMs) of galaxy formation with the results of N-body+SPH simulations with gas particle mass of 3.9x10^6 Msun, where radiative cooling of a gas of primordial composition is implemented. We also run a simulation where cooling is switched on at redshift ~2, in order to test cooling models in a regime in which their approximations are expected to be valid. We confirm that cooling models implemented in SAMs are able to predict the amount of cooled mass at z=0 to within ~20 per cent. However, some relevant discrepancies are found. (i) When the contribution from poorly resolved halos is subtracted out, SAMs tend to under-predict by ~30 per cent the mass that cools in the infall-dominated regime. (ii) At large halo masses SAMs tend to over-predict cooling rates, though the numerical result may be affected by the use of SPH. (iii) As found in our previous work, cooling rates are found to be significantly affected by model details: simulations disfavour models with large cores and with quenching of cooling at major mergers. (iv) When cooling is switched on at z~2, cold gas accumulates very quickly in the simulated halos. This accumulation is reproduced by SAMs with varying degrees of accuracy.


title: A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces

abstract: In this paper, we present a method based on Radial Basis Function (RBF)-generated Finite Differences (FD) for numerically solving diffusion and reaction-diffusion equations (PDEs) on closed surfaces embedded in $\mathbb{R}^d$. Our method uses a method-of-lines formulation, in which surface derivatives that appear in the PDEs are approximated locally using RBF interpolation. The method requires only scattered nodes representing the surface and normal vectors at those scattered nodes. All computations use only extrinsic coordinates, thereby avoiding coordinate distortions and singularities. We also present an optimization procedure that allows for the stabilization of the discrete differential operators generated by our RBF-FD method by selecting shape parameters for each stencil that correspond to a global target condition number. We show the convergence of our method on two surfaces for different stencil sizes, and present applications to nonlinear PDEs simulated both on implicit/parametric surfaces and more general surfaces represented by point clouds.


title: Unconventional Superconductivity in Double Quantum Dots

abstract: The formation of electron pairs is a prerequisite of superconductivity. The fermionic nature of electrons yields four classes of superconducting correlations with definite symmetry in spin, space and time. Here, we suggest double quantum dots coupled to conventional s-wave superconductors in the presence of inhomogeneous magnetic fields as a model system exhibiting unconventional pairing. Due to their small number of degrees of freedom, tunable by gate voltages, quantum-dot systems provide an ideal tool to gain fundamental insight in unconventional pairing. We propose two detection schemes for unconventional superconductivity, based on either Josephson or Andreev spectroscopy.


title: Controllability of the 1D Schrodinger equation by the flatness approach

abstract: We derive in a straightforward way the exact controllability of the 1-D Schrodinger equation with a Dirichlet boundary control. We use the so-called flatness approach, which consists in parameterizing the solution and the control by the derivatives of a "flat output". This provides an explicit control input achieving the exact controllability in the energy space. As an application, we derive an explicit pair of control inputs achieving the exact steering to zero for a simply-supported beam.


title: The role of structure and entropy in determining differences in dynamics for glass formers with different interaction potentials

abstract: We present a study of two model liquids with different interaction potentials, exhibiting similar structure but significantly different dynamics at low temperatures. By evaluating the configurational entropy, we show that the differences in the dynamics of these systems can be understood in terms of their thermodynamic differences. Analyzing their structure, we demonstrate that differences in pair correlation functions between the two systems, through their contribution to the entropy, dominate the differences in their dynamics, and indeed overestimate the differences. Including the contribution of higher order structural correlations to the entropy leads to smaller estimates for the relaxation times, as well as smaller differences between the two studied systems.


title: On Pocrims and Hoops

abstract: Pocrims and suitable specialisations thereof are structures that provide the natural algebraic semantics for a minimal affine logic and its extensions. Hoops comprise a special class of pocrims that provide algebraic semantics for what we view as an intuitionistic analogue of the classical multi-valued {\L}ukasiewicz logic. We present some contributions to the theory of these algebraic structures. We give a new proof that the class of hoops is a variety. We use a new indirect method to establish several important identities in the theory of hoops: in particular, we prove that the double negation mapping in a hoop is a homormorphism. This leads to an investigation of algebraic analogues of the various double negation translations that are well-known from proof theory. We give an algebraic framework for studying the semantics of double negation translations and use it to prove new results about the applicability of the double negation translations due to Gentzen and Glivenko.


title: Flux-induced Soft Terms on Type IIB/F-theory Matter Curves and Hypercharge Dependent Scalar Masses

abstract: Closed string fluxes induce generically SUSY-breaking soft terms on supersymmetric type IIB orientifold compactifications with D3/D7 branes. This was studied in the past by inserting those fluxes on the DBI+CS actions for adjoint D3/D7 fields, where D7-branes had no magnetic fluxes. In the present work we generalise those computations to the phenomenologically more relevant case of chiral bi-fundamental fields laying at 7-brane intersections and F-theory local matter curves. We also include the effect of 7-brane magnetic flux as well as more general closed string backgrounds, including the effect of distant (anti-)D3-branes. We discuss several applications of our results. We find that squark/slepton masses become in general flux-dependent in F-theory GUT's. Hypercharge-dependent non-universal scalar masses with a characteristic sfermion hierarchy m_E^2 < m_L^2 < m_Q^2 < m_D^2 < m_U^2 are obtained. There are also flavor-violating soft terms both for matter fields living at intersecting 7-branes or on D3-branes at singularities. They point at a very heavy sfermion spectrum to avoid FCNC constraints. We also discuss the possible microscopic description of the fine-tuning of the EW Higgs boson in compactifications with a MSSM spectrum.


title: Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth

abstract: We give a fixed-parameter tractable algorithm that, given a parameter $k$ and two graphs $G_1,G_2$, either concludes that one of these graphs has treewidth at least $k$, or determines whether $G_1$ and $G_2$ are isomorphic. The running time of the algorithm on an $n$-vertex graph is $2^{O(k^5\log k)}\cdot n^5$, and this is the first fixed-parameter algorithm for Graph Isomorphism parameterized by treewidth. Our algorithm in fact solves the more general canonization problem. We namely design a procedure working in $2^{O(k^5\log k)}\cdot n^5$ time that, for a given graph $G$ on $n$ vertices, either concludes that the treewidth of $G$ is at least $k$, or: * finds in an isomorphic-invariant way a graph $\mathfrak{c}(G)$ that is isomorphic to $G$; * finds an isomorphism-invariant construction term --- an algebraic expression that encodes $G$ together with a tree decomposition of $G$ of width $O(k^4)$. Hence, the isomorphism test reduces to verifying whether the computed isomorphic copies or the construction terms for $G_1$ and $G_2$ are equal.


title: Top quark mass coupling and classification of weakly-coupled heterotic superstring vacua

abstract: The quest for the Standard Model among the huge number of string vacua is usually based on a set of phenomenological criteria related to the massless spectrum of string models. In this work we study criteria associated with interactions in the effective low energy theory and in particular with the presence of the coupling that provides mass to the top quark. Working in the context of the Free Fermionic Formulation of the heterotic superstring, we demonstrate that, in a big class of phenomenologically promising $Z_2\times Z_2$ compactifications, these criteria can be expressed entirely in terms of the generalised GSO projection coefficients entering the definition of the models. They are shown to be very efficient in identifying phenomenologically viable vacua, especially in the framework of computer-based search, as they are met by approximately one every $10^4$ models. We apply our results in the investigation of a class of supersymmetric Pati-Salam vacua, comprising $10^{16}$ configurations, and show that when combined with other phenomenological requirements they lead to a relatively small set of about $10^7$ Standard Model compatible models that can be fully classified.


title: Experimental noise filtering by quantum control

abstract: Instabilities due to extrinsic interference are routinely faced in systems engineering, and a common solution is to rely on a broad class of $\textit{filtering}$ techniques in order to afford stability to intrinsically unstable systems. For instance, electronic systems are frequently designed to incorporate electrical filters composed of, $\textit{e.g.}$ RLC components, in order to suppress the effects of out-of-band fluctuations that interfere with desired performance. Quantum coherent systems are now moving to a level of complexity where challenges associated with realistic time-dependent noise are coming to the fore. Unfortunately, standard control solutions involving feedback are generally impossible due to the strictures of quantum mechanics, and existing error-suppressing gate constructions generally rely on unphysical bang-bang controls or quasi-static error models that do not reflect realistic laboratory environments. In this work we use the theory of quantum control engineering and experiments with trapped $^{171}$Yb$^{+}$ ions to demonstrate the construction of novel $\textit{noise filters}$ which are specifically designed to mitigate the effect of realistic time-dependent fluctuations on qubits \emph{during useful operations}. Starting with desired filter characteristics and the Walsh basis functions, we use a combination of analytic design rules and numeric search to construct time-domain noise filters tailored to a desired state transformation. Our results validate the generalized filter-transfer function framework for arbitrary quantum control operations, and demonstrate that it can be leveraged as an effective and efficient tool for developing novel robust control protocols.


title: Atom-field entanglement in two-atom Jaynes-Cummings model with intensity-dependent coupling

abstract: An exact solution of the problem of two-atom one- and two-mode Jaynes-Cummings model with intensity-dependent coupling is presented. Asymptotic solutions for system state vectors are obtained in the approximation of large initial coherent fields. The atom-field entanglement is investigated on the basis of the reduced atomic entropy dynamics. The possibility of the system being initially in a pure disentangled state to revive into this state during the evolution process for both models is shown. Conditions and times of disentanglement are derived.


title: Homogeneity of infinite dimensional anti-Kaehler isoparametric submanifolds

abstract: In this paper, we prove that, if a full irreducible infinite dimensional anti-Kaehler isoparametric submanifold of codimension greater than one has $J$-diagonalizable shape operators, then it is homogeneous.


title: Gray code orders for $q$-ary words avoiding a given factor

abstract: Based on BRGC inspired order relations we give Gray codes and a generating algorithm for $q$-ary words avoiding a prescribed factor. These generalize an early 2001 result and a very recent one published by some of the present authors, and can be seen as an alternative to those of Squire published in 1996. Among the involved tools, we make use of generalized BRGC order relations, ultimate periodicity of infinite words, and word matching techniques.


title: Chemical abundances of stars with brown-dwarf companions

abstract: It is well-known that stars with giant planets are on average more metal-rich than stars without giant planets, whereas stars with detected low-mass planets do not need to be metal-rich. With the aim of studying the weak boundary that separates giant planets and brown dwarfs (BDs) and their formation mechanism, we analyze the spectra of a sample of stars with already confirmed BD companions both by radial velocity and astrometry. We employ standard and automatic tools to perform an EW-based analysis and to derive chemical abundances from CORALIE spectra of stars with BD companions. We compare these abundances with those of stars without detected planets and with low-mass and giant-mass planets. We find that stars with BDs do not have metallicities and chemical abundances similar to those of giant-planet hosts but they resemble the composition of stars with low-mass planets. The distribution of mean abundances of $\alpha$-elements and iron peak elements of stars with BDs exhibit a peak at about solar abundance whereas for stars with low-mass and high-mass planets the [X$_\alpha$/H] and [X$_{\rm Fe}$/H] peak abundances remain at $\sim -0.1$~dex and $\sim +0.15$~dex, respectively. We display these element abundances for stars with low-mass and high-mass planets, and BDs versus the minimum mass, $m_C \sin i$, of the most-massive substellar companion in each system, and we find a maximum in $\alpha$-element as well as Fe-peak abundances at $m_C \sin i \sim 1.35\pm 0.20$ jupiter masses. We discuss the implication of these results in the context of the formation scenario of BDs in comparison with that of giant planets.


title: Density Functionals in the Presence of Magnetic Field

abstract: In this paper density functionals for Coulomb systems subjected to electric and magnetic fields are developed. The density functionals depend on the particle density, $\rho$, and paramagnetic current density, $j^p$. This approach is motivated by an adapted version of the Vignale and Rasolt formulation of Current Density Functional Theory (CDFT), which establishes a one-to-one correspondence between the non-degenerate ground-state and the particle and paramagnetic current density. Definition of $N$-representable density pairs $(\rho,j^p)$ is given and it is proven that the set of $v$-representable densities constitutes a proper subset of the set of $N$-representable densities. For a Levy-Lieb type functional $Q(\rho,j^p)$, it is demonstrated that (i) it is a proper extension of the universal Hohenberg-Kohn functional, $F_{HK}(\rho,j^p)$, to $N$-representable densities, (ii) there exists a wavefunction $\psi_0$ such that $Q(\rho,j^p)=(\psi_0,H_0\psi_0)_{L^2}$, where $H_0$ is the Hamiltonian without external potential terms, and (iii) it is not convex. Furthermore, a convex and universal functional $F(\rho,j^p)$ is studied and proven to be equal the convex envelope of $Q(\rho,j^p)$. For both $Q$ and $F$, we give upper and lower bounds.

categories: math-ph math.MP physics.chem-ph quant-ph


title: New sufficient conditions of existence, moment estimations and non confluence for SDEs with non-Lipschitzian coefficients

abstract: The object of the present paper is to find new sufficient conditions for the existence of unique strong solutions to a class of (time-inhomogeneous) stochastic differential equations with random, non-Lipschitzian coefficients. We give an example to show that our conditions are indeed weaker than those relevant conditions existing in the literature. We also derive moment estimations for the maximum process of the solution. Finally, we present a sufficient condition to ensure the non confluence property of the solution of time-homogeneous SDE which, in one dimension, is nothing but stochastic monotone property of the solution.


title: Homogeneity of infinite dimensional anti-Kaehler isoparametric submanifolds II

abstract: In this paper, we prove that, if a full irreducible infinite dimensional anti-Kaehler isoparametric submanifold of codimension greater than one has $J$-diagonalizable shape operators, then it is an orbit of the action of a Banach Lie group generated by one-parameter transformation groups induced by holomorphic Killing vector fields defined entirely on the ambient Hilbert space.


title: An order parameter for impurity systems at quantum criticality

abstract: A quantum phase transition may occur in the ground state of a system at zero temperature when a controlling field or interaction is varied. The resulting quantum fluctuations which trigger the transition produce scaling behavior of various observables, governed by universal critical exponents. A particularly interesting class of such transitions appear in systems with quantum impurities where a non-extensive term in the free energy becomes singular at the critical point. Curiously, the notion of a conventional order parameter which exhibits scaling at the critical point is generically missing in these systems. We here explore the possibility to use the Schmidt gap, which is an observable obtained from the entanglement spectrum, as an order parameter. A case study of the two-impurity Kondo model confirms that the Schmidt gap faithfully captures the scaling behavior by correctly predicting the critical exponent of the dynamically generated length scale at the critical point.


title: Integer points on homogeneous varieties with two or more degrees

abstract: We give a revised version of Schmidt's treatment of forms in many variables, which allows us to prove a Hasse principle under more lenient conditions on the number of variables than what had previously been thought possible with these methods. Our results are generally comparable with recent advances in the field and supersede them in a number of cases.


title: Proposal for Monitoring and Heralding Position States of Atoms in a One-Dimensional Waveguide

abstract: We study the single-photon transport in a single-mode waveguide, in which two-level atoms in spatial superpositions are embedded. We find that the transmission of the photon can be used as a non-destructive probe for coherence of the superposition. The protocol proposed is shown to be independent of the distance between the wells in which the atoms are trapped. Furthermore, we show that by looking at the transmission in a suitable regime, a maximally entangled state can be post-selected from an unknown superposition.


title: Direct detection of exoplanets in the 3 -- 10 micron range with E-ELT/METIS

abstract: We quantify the scientific potential for exoplanet imaging with the Mid-infrared E-ELT Imager and Spectrograph (METIS) foreseen as one of the instruments of the European Extremely Large Telescope (E-ELT). We focus on two main science cases: (1) the direct detection of known gas giant planets found by radial velocity (RV) searches; and (2) the direct detection of small (1 - 4 R_earth) planets around the nearest stars. Under the assumptions made in our modeling, in particular on the achievable inner working angle and sensitivity, our analyses reveal that within a reasonable amount of observing time METIS is able to image >20 already known, RV-detected planets in at least one filter. Many more suitable planets with dynamically determined masses are expected to be found in the coming years with the continuation of RV-surveys and the results from the GAIA astrometry mission. In addition, by extrapolating the statistics for close-in planets found by \emph{Kepler}, we expect METIS might detect ~10 small planets with equilibrium temperatures between 200 - 500 K around the nearest stars. This means that (1) METIS will help constrain atmospheric models for gas giant planets by determining for a sizable sample their luminosity, temperature and orbital inclination; and (2) METIS might be the first instrument to image a nearby (super-)Earth-sized planet with an equilibrium temperature near that expected to enable liquid water on a planet surface.


title: Multiple Access Channels with Combined Cooperation and Partial Cribbing

abstract: In this paper we study the multiple access channel (MAC) with combined cooperation and partial cribbing and characterize its capacity region. Cooperation means that the two encoders send a message to one another via a rate-limited link prior to transmission, while partial cribbing means that each of the two encoders obtains a deterministic function of the other encoder's output with or without delay. Prior work in this field dealt separately with cooperation and partial cribbing. However, by combining these two methods we can achieve significantly higher rates. Remarkably, the capacity region does not require an additional auxiliary random variable (RV) since the purpose of both cooperation and partial cribbing is to generate a common message between the encoders. In the proof we combine methods of block Markov coding, backward decoding, double rate-splitting, and joint typicality decoding. Furthermore, we present the Gaussian MAC with combined one-sided cooperation and quantized cribbing. For this model, we give an achievability scheme that shows how many cooperation or quantization bits are required in order to achieve a Gaussian MAC with full cooperation/cribbing capacity region. After establishing our main results, we consider two cases where only one auxiliary RV is needed. The first is a rate distortion dual setting for the MAC with a common message, a private message and combined cooperation and cribbing. The second is a state-dependent MAC with cooperation, where the state is known at a partially cribbing encoder and at the decoder. However, there are cases where more than one auxiliary RV is needed, e.g., when the cooperation and cribbing are not used for the same purposes. We present a MAC with an action-dependent state, where the action is based on the cooperation but not on the cribbing. Therefore, in this case more than one auxiliary RV is needed.


title: A Simple Bayesian Method for Improved Analysis of Quasi-2D Scattering Data

abstract: A new method is presented for the analysis of small angle neutron scattering data from quasi-2D systems such as flux lattices, Skyrmion lattices, and aligned liquid crystals. A significant increase in signal to noise ratio, and a natural application of the Lorentz factor can be achieved by taking advantage of the knowledge that all relevant scattering is centered on a plane in reciprocal space. The Bayesian form ensures that missing information is treated in a controlled way and can be subsequently included in the analysis. A simple algorithm based on Gaussian probability assumptions is provided which provides very satisfactory results. Finally, it is argued that a generalised model-independent Bayesian data analysis method would be highly advantageous for the processing of neutron and x-ray scattering data.


title: Expectations or Guarantees? I Want It All! A crossroad between games and MDPs

abstract: When reasoning about the strategic capabilities of an agent, it is important to consider the nature of its adversaries. In the particular context of controller synthesis for quantitative specifications, the usual problem is to devise a strategy for a reactive system which yields some desired performance, taking into account the possible impact of the environment of the system. There are at least two ways to look at this environment. In the classical analysis of two-player quantitative games, the environment is purely antagonistic and the problem is to provide strict performance guarantees. In Markov decision processes, the environment is seen as purely stochastic: the aim is then to optimize the expected payoff, with no guarantee on individual outcomes. In this expository work, we report on recent results introducing the beyond worst-case synthesis problem, which is to construct strategies that guarantee some quantitative requirement in the worst-case while providing an higher expected value against a particular stochastic model of the environment given as input. This problem is relevant to produce system controllers that provide nice expected performance in the everyday situation while ensuring a strict (but relaxed) performance threshold even in the event of very bad (while unlikely) circumstances. It has been studied for both the mean-payoff and the shortest path quantitative measures.


title: Games for the Strategic Influence of Expectations

abstract: We introduce a new class of games where each player's aim is to randomise her strategic choices in order to affect the other players' expectations aside from her own. The way each player intends to exert this influence is expressed through a Boolean combination of polynomial equalities and inequalities with rational coefficients. We offer a logical representation of these games as well as a computational study of the existence of equilibria.


title: On Defendability of Security Properties

abstract: We study the security of interaction protocols when incentives of participants are taken into account. We begin by formally defining correctness of a protocol, given a notion of rationality and utilities of participating agents. Based on that, we propose how to assess security when the precise incentives are unknown. Then, the security level can be defined in terms of defender sets, i.e., sets of participants who can effectively "defend" the security property as long as they are in favor of the property. We present some theoretical characterizations of defendable protocols under Nash equilibrium, first for bijective games (a standard assumption in game theory), and then for games with non-injective outcomes that better correspond to interaction protocols. Finally, we apply our concepts to analyze fairness in the ASW contract-signing protocol.


title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

abstract: In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents' strategies. We provide a semantics to ESL in terms of epistemic concurrent game models, and consider the corresponding model checking problem. We show that the complexity of model checking ESL is not worse than (non-epistemic) Strategy Logic


title: An Epistemic Strategy Logic (Extended Abstract)

abstract: The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by other agents. Some examples are presented to motivate the framework, and relationships to several variants of alternating temporal epistemic logic are discussed. The computational complexity of model checking the logic is also characterized.


title: Nash Equilibria in Symmetric Games with Partial Observation

abstract: We investigate a model for representing large multiplayer games, which satisfy strong symmetry properties. This model is made of multiple copies of an arena; each player plays in his own arena, and can partially observe what the other players do. Therefore, this game has partial information and symmetry constraints, which make the computation of Nash equilibria difficult. We show several undecidability results, and for bounded-memory strategies, we precisely characterize the complexity of computing pure Nash equilibria (for qualitative objectives) in this game model.


title: Refining and Delegating Strategic Ability in ATL

abstract: We propose extending Alternating-time Temporal Logic (ATL) by an operator <i refines-to G> F to express that agent i can distribute its powers to a set of sub-agents G in a way which satisfies ATL condition f on the strategic ability of the coalitions they may form, possibly together with others agents. We prove the decidability of model-checking of formulas whose subformulas with this operator as the main connective have the form <i_1 refines-to G_1>...<i_m refines-to G_m> f, with no further occurrences of this operator in f.


title: A Resolution Prover for Coalition Logic

abstract: We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver.


title: Efficient Decomposition of Bimatrix Games (Extended Abstract)

abstract: Exploiting the algebraic structure of the set of bimatrix games, a divide-and-conquer algorithm for finding Nash equilibria is proposed. The algorithm is fixed-parameter tractable with the size of the largest irreducible component of a game as parameter. An implementation of the algorithm is shown to yield a significant performance increase on inputs with small parameters.


title: First Cycle Games

abstract: First cycle games (FCG) are played on a finite graph by two players who push a token along the edges until a vertex is repeated, and a simple cycle is formed. The winner is determined by some fixed property Y of the sequence of labels of the edges (or nodes) forming this cycle. These games are traditionally of interest because of their connection with infinite-duration games such as parity and mean-payoff games. We study the memory requirements for winning strategies of FCGs and certain associated infinite duration games. We exhibit a simple FCG that is not memoryless determined (this corrects a mistake in \it Memoryless determinacy of parity and mean payoff games: a simple proof by Bj\"orklund, Sandberg, Vorobyov (2004) that claims that FCGs for which Y is closed under cyclic permutations are memoryless determined). We show that /Theta(n)! memory (where n is the number of nodes in the graph), which is always sufficient, may be necessary to win some FCGs. On the other hand, we identify easy to check conditions on Y (i.e., Y is closed under cyclic permutations, and both Y and its complement are closed under concatenation) that are sufficient to ensure that the corresponding FCGs and their associated infinite duration games are memoryless determined. We demonstrate that many games considered in the literature, such as mean-payoff, parity, energy, etc., satisfy these conditions. On the complexity side, we show (for efficiently computable Y) that while solving FCGs is in PSPACE, solving some families of FCGs is PSPACE-hard.


title: Automata Techniques for Epistemic Protocol Synthesis

abstract: In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model yields a relational structure that can be finitely represented with automata. This correspondence, together with recent results on uniform strategies, allows us to give an alternative decidability proof of the epistemic planning problem for propositional events, with as by-products accurate upper-bounds on its time complexity, and the possibility to synthesize a finite word automaton that describes the set of all solution plans. In fact, using automata techniques enables us to solve a much more general problem, that we introduce and call epistemic protocol synthesis.


title: Partial Preferences for Mediated Bargaining

abstract: In this work we generalize standard Decision Theory by assuming that two outcomes can also be incomparable. Two motivating scenarios show how incomparability may be helpful to represent those situations where, due to lack of information, the decision maker would like to maintain different options alive and defer the final decision. In particular, a new axiomatization is given which turns out to be a weakening of the classical set of axioms used in Decision Theory. Preliminary results show how preferences involving complex distributions are related to judgments on single alternatives.


title: Towards Verifying Safety Properties of Real-Time Probabilistic Systems

abstract: Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven engineering method for reactive systems SPACE and its tool-set Reactive Blocks that provide an extension to support the modeling and verification of real-time behaviors. The approach facilitates the composition of system models from reusable building blocks as well as the verification of functional and real-time properties and the automatic generation of Java code. In this paper, we describe the extension of the tool-set to enable the modeling and verification of probabilistic real-time system behavior with the focus on spatial properties that ensure system safety. In particular, we incorporate descriptions of probabilistic behavior into our Reactive Blocks models and integrate the model checker PRISM which allows to verify that a real-time system satisfies certain safety properties with a given probability. Moreover, we consider the spatial implication of probabilistic system specifications by integrating the spatial verification tool BeSpaceD and give an automatic approach to translate system specifications to the input languages of PRISM and BeSpaceD. The approach is highlighted by an example.


title: Execution Time Analysis for Industrial Control Applications

abstract: Estimating the execution time of software components is often mandatory when evaluating the non-functional properties of software-intensive systems. This particularly holds for real-time embedded systems, e.g., in the context of industrial automation. In practice it is however very hard to obtain reliable execution time estimates which are accurate, but not overly pessimistic with respect to the typical behavior of the software. This article proposes two new concepts to ease the use of execution time analysis for industrial control applications: (1) a method based on recurring occurrences of code sequences for automatically creating a timing model of a given processor and (2) an interactive way to integrate execution time analysis into the development environment, thus making timing analysis results easily accessible for software developers. The proposed methods are validated by an industrial case study, which shows that a significant amount of code reuse is present in a set of representative industrial control applications.


title: Component Substitution through Dynamic Reconfigurations

abstract: Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework--a model with dynamic reconfigurations making the system evolve--with a new reconfiguration operation which "substitutes" components by other components, and to study its impact on sequences of dynamic reconfigurations. Firstly, we define substitutability constraints which ensure the component encapsulation while performing reconfigurations by component substitutions. Then, we integrate them into a substitutability-based simulation to take these substituting reconfigurations into account on sequences of dynamic reconfigurations. Thirdly, as this new relation being in general undecidable for infinite-state systems, we propose a semi-algorithm to check it on the fly. Finally, we report on experimentations using the B tools to show the feasibility of the developed approach, and to illustrate the paper's proposals on an example of the HTTP server.


title: Comprehensive Monitor-Oriented Compensation Programming

abstract: Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activities such as financial transactions. While traditional exception handling depends on the state of the system at the moment of failure, compensation programming is significantly more challenging and dynamic because it is dependent on the runtime execution flow - with the history of behaviour of the system at the moment of failure affecting how to apply compensation. To address this dynamic element, we propose the use of runtime monitors to facilitate compensation programming, with monitors enabling the modeller to be able to implicitly reason in terms of the runtime control flow, thus separating the concerns of system building and compensation modelling. Our approach is instantiated into an architecture and shown to be applicable to a case study.


title: Application of Ontologies in Identifying Requirements Patterns in Use Cases

abstract: Use case specifications have successfully been used for requirements description. They allow joining, in the same modeling space, the expectations of the stakeholders as well as the needs of the software engineer and analyst involved in the process. While use cases are not meant to describe a system's implementation, by formalizing their description we are able to extract implementation relevant information from them. More specifically, we are interested in identifying requirements patterns (common requirements with typical implementation solutions) in support for a requirements based software development approach. In the paper we propose the transformation of Use Case descriptions expressed in a Controlled Natural Language into an ontology expressed in the Web Ontology Language (OWL). OWL's query engines can then be used to identify requirements patterns expressed as queries over the ontology. We describe a tool that we have developed to support the approach and provide an example of usage.


title: A model-driven approach to broaden the detection of software performance antipatterns at runtime

abstract: Performance antipatterns document bad design patterns that have negative influence on system performance. In our previous work we formalized such antipatterns as logical predicates that predicate on four views: (i) the static view that captures the software elements (e.g. classes, components) and the static relationships among them; (ii) the dynamic view that represents the interaction (e.g. messages) that occurs between the software entities elements to provide the system functionalities; (iii) the deployment view that describes the hardware elements (e.g. processing nodes) and the mapping of the software entities onto the hardware platform; (iv) the performance view that collects specific performance indices. In this paper we present a lightweight infrastructure that is able to detect performance antipatterns at runtime through monitoring. The proposed approach precalculates such predicates and identifies antipatterns whose static, dynamic and deployment sub-predicates are validated by the current system configuration and brings at runtime the verification of performance sub-predicates. The proposed infrastructure leverages model-driven techniques to generate probes for monitoring the performance sub-predicates and detecting antipatterns at runtime.


title: Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

abstract: Business analysts and domain experts are often sketching the behaviors of a software system using high-level models that are technology- and platform-independent. The developers will refine and enrich these high-level models with technical details. As a consequence, the refined models can deviate from the original models over time, especially when the two kinds of models evolve independently. In this context, we focus on behavior models; that is, we aim to ensure that the refined, low-level behavior models conform to the corresponding high-level behavior models. Based on existing formal verification techniques, we propose containment checking as a means to assess whether the system's behaviors described by the low-level models satisfy what has been specified in the high-level counterparts. One of the major obstacles is how to lessen the burden of creating formal specifications of the behavior models as well as consistency constraints, which is a tedious and error-prone task when done manually. Our approach presented in this paper aims at alleviating the aforementioned challenges by considering the behavior models as verification inputs and devising automated mappings of behavior models onto formal properties and descriptions that can be directly used by model checkers. We discuss various challenges in our approach and show the applicability of our approach in illustrative scenarios.


title: Correct-by-construction model composition: Application to the Invasive Software Composition method

abstract: Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These activities should be compositional in order to reduce the amount of residual verification activities that must be conducted on the composite in addition to the ones conducted on each components. In order to ensure the correctness of compositional verification and assess the minimality of the residual verification, the contribution proposes to use formal specification and verification at the composition operator level. A first experiment was conducted in [15] using proof assistants to formalize the generic composition technology ISC and prove that type checking was compositional. This contribution extends our early work to handle full model conformance and study the mandatory residual verification. It shows that ISC operators are not fully compositional with respect to conformance and provides the minimal preconditions on the operators mandatory to ensure compositional conformance. The appropriate operators from ISC (especially bind) have been implemented in the COQ4MDE framework that provides a full implementation of MOF in the COQ proof assistant. Expected properties, respectively residual verification, are expressed as post, respectfully pre, conditions for the composition operators. The correctness of the compositional verification is proven in COQ.


title: Enabling Automatic Certification of Online Auctions

abstract: We consider the problem of building up trust in a network of online auctions by software agents. This requires agents to have a deeper understanding of auction mechanisms and be able to verify desirable properties of a given mechanism. We have shown how these mechanisms can be formalised as semantic web services in OWL-S, a good enough expressive machine-readable formalism enabling software agents, to discover, invoke, and execute a web service. We have also used abstract interpretation to translate the auction's specifications from OWL-S, based on description logic, to COQ, based on typed lambda calculus, in order to enable automatic verification of desirable properties of the auction by the software agents. For this language translation, we have discussed the syntactic transformation as well as the semantics connections between both concrete and abstract domains. This work contributes to the implementation of the vision of agent-mediated e-commerce systems.


title: Transformation of UML Behavioral Diagrams to Support Software Model Checking

abstract: Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and the several different UML models/diagrams that can be used to model behavior and structure of the software. This paper presents an approach to transform up to three different UML behavioral diagrams (sequence, behavioral state machines, and activity) into a single Transition System to support Model Checking of software developed in accordance with UML. In our approach, properties are formalized based on use case descriptions. The transformation is done for the NuSMV model checker, but we see the possibility in using other model checkers, such as SPIN. The main contribution of our work is the transformation of a non-formal language (UML) to a formal language (language of the NuSMV model checker) towards a greater adoption in practice of formal methods in software development.


title: Continuous transition from the extensive to the non-extensive statistics in an agent-based herding model

abstract: Systems with long-range interactions often exhibit power-law distributions and can by described by the non-extensive statistical mechanics framework proposed by Tsallis. In this contribution we consider a simple model reproducing continuous transition from the extensive to the non-extensive statistics. The considered model is composed of agents interacting among themselves on a certain network topology. To generate the underlying network we propose a new network formation algorithm, in which the mean degree scales sub-linearly with a number of nodes in the network (the scaling depends on a single parameter). By changing this parameter we are able to continuously transition from short-range to long-range interactions in the agent-based model.


title: Reconstruction of Band Structure Induced by Electronic Nematicity in an FeSe Superconductor

abstract: We have performed high-resolution angle-resolved photoemission spectroscopy on FeSe superconductor (Tc ~ 8 K), which exhibits a tetragonal-to-orthorhombic structural transition at Ts ~ 90 K. At low temperature we found splitting of the energy bands as large as 50 meV at the M point in the Brillouin zone, likely caused by the formation of electronically driven nematic states. This band splitting persists up to T ~ 110 K, slightly above Ts, suggesting that the structural transition is triggered by the electronic nematicity. We have also revealed that at low temperature the band splitting gives rise to a van Hove singularity within 5 meV of the Fermi energy. The present result strongly suggests that this unusual electronic state is responsible for the unconventional superconductivity in FeSe.


title: Comment on ' Computational method for the quantum Hamilton-Jacobi equation: Bound states in one dimension' [J. Chem. Phys. 125, 174103 (2006)]

abstract: Some difficulties, both numerical and conceptual, of the method to compute one dimensional wave functions by numerically integrating the quantum Hamilton-Jacobi equation, presented in the paper mentioned in the title, are analyzed. The origin of these difficulties is discussed, and it is shown how they can be avoided by means of another approach, based on different solutions of the same equation. Results for the same potentials, obtained by this latter method are presented and a comparison is made.


title: Charge Transfer Kinetics at the Solid-Solid Interface in Porous Electrodes

abstract: Interfacial charge transfer is widely assumed to obey Butler-Volmer kinetics. For certain liquid-solid interfaces, Marcus-Hush-Chidsey theory is more accurate and predictive, but it has not been applied to porous electrodes. Here we report a simple method to extract the charge transfer rates in carbon-coated LiFePO4 porous electrodes from chronoamperometry experiments, obtaining curved Tafel plots that contradict the Butler-Volmer equation but fit the Marcus-Hush-Chidsey prediction over a range of temperatures. The fitted reorganization energy matches the Born solvation energy for electron transfer from carbon to the iron redox site. The kinetics are thus limited by electron transfer at the solid-solid (carbon-LixFePO4) interface, rather than by ion transfer at the liquid-solid interface, as previously assumed. The proposed experimental method generalizes Chidsey's method for phase-transforming particles and porous electrodes, and the results show the need to incorporate Marcus kinetics in modeling batteries and other electrochemical systems.


title: A cautionary note on robust covariance plug-in methods

abstract: Many multivariate statistical methods rely heavily on the sample covariance matrix. It is well known though that the sample covariance matrix is highly non-robust. One popular alternative approach for "robustifying" the multivariate method is to simply replace the role of the covariance matrix with some robust scatter matrix. The aim of this paper is to point out that in some situations certain properties of the covariance matrix are needed for the corresponding robust "plug-in" method to be a valid approach, and that not all scatter matrices necessarily possess these important properties. In particular, the following three multivariate methods are discussed in this paper: independent components analysis, observational regression and graphical modeling. For each case, it is shown that using a symmetrized robust scatter matrix in place of the covariance matrix results in a proper robust multivariate method.


title: Notes on representations of finite groups of Lie type

abstract: These are the notes of some lectures given by the author for a workshop held at TIFR, Mumbai in December, 2011, giving an exposition of the Deligne-Lusztig theory.


title: Gauge Vectors-Tensor Gravity

abstract: We review and extend the Gauge Vectors-Tensor gravity: a covariant theory of gravity composed of a metric and gauge fields, leading to simple second order partial differential equations of motion, whose Newtonian and strong limits coincide to those of the Einsten-Hilbert action but the physics of its very weak fields should be identified through observation. We show that GVT is at least as dynamically stable as the Einstein-Hilbert gravity. It accommodates the MOND paradigm. We study its gravitational light deflection. We show that the post Newtonian parameter of $\gamma$ vanishes in the MOND regime of GVT gravity. Since $\Lambda$CDM assumes that $\gamma=1$, this suggests to observationally measure the $\gamma$ parameter in the weak regime of gravity as either a test for $\Lambda$CDM or GVT models


title: Two-loop evolution equations for light-ray operators

abstract: QCD in non-integer d=4-2 epsilon space-time dimensions possesses a nontrivial critical point and enjoys exact scale and conformal invariance. This symmetry imposes nontrivial restrictions on the form of the renormalization group equations for composite operators in physical (integer) dimensions and allows to reconstruct full kernels from their eigenvalues (anomalous dimensions). We use this technique to derive two-loop evolution equations for flavor-nonsinglet quark-antiquark light-ray operators that encode the scale dependence of generalized hadron parton distributions and light-cone distribution amplitudes in the most compact form.


title: Generalized Signal Alignment For Arbitrary MIMO Two-Way Relay Channels

abstract: In this paper, we consider the arbitrary MIMO two-way relay channels, where there are $K$ source nodes, each equipped with $M_i$ antennas, for $i=1,2,\cdots,K$, and one relay node, equipped with $N$ antennas. Each source node can exchange independent messages with arbitrary other source nodes assisted by the relay. We extend our newly-proposed transmission scheme, generalized signal alignment (GSA) in [1], to arbitrary MIMO two-way relay channels when $N>M_i+M_j$, $\forall i \neq j$. The key idea of GSA is to cancel the interference for each data pair in its specific subspace by two steps. This is realized by jointly designing the precoding matrices at all source nodes and the processing matrix at the relay node. Moreover, the aligned subspaces are orthogonal to each other. By applying the GSA, we show that a necessary condition on the antenna configuration to achieve the DoF upper bound $\min \{\sum_{i=1}^K M_i, 2\sum_{i=2}^K M_i,2N\}$ is $N \geq \max\{\sum_{i=1}^K M_i-M_s-M_t+d_{s,t}\mid \forall s,t\}$. Here, $d_{s,t}$ denotes the DoF of the message exchanged between source node $s$ and $t$. In the special case when the arbitrary MIMO two-way relay channel reduces to the $K$-user MIMO Y channel, we show that our achievable region of DoF upper bound is larger than the previous work.


title: Special point on the mass radius diagram of hybrid stars

abstract: An analytical study that explains the existence of a very small region on the mass radius diagram of hybrid stars where all of the lines representing the sequences of models with different constant values of the bag constant B intersect is presented. This circumstance is shown to be a consequence of the linear dependence of pressure on energy density in the quark cores of hybrid stars.


title: Quantum dephasing of interacting quantum dot induced by the superconducting proximity effect

abstract: The proximity effect (PE) between superconductor and confined electrons can induce the effective pairing phenomena of electrons in nanowire or quantum dot (QD). Through interpreting the PE as an exchange of virtually quasi-excitation in a largely gapped superconductor, we found that there exists another induced dynamic process. Unlike the effective pairing that mixes the QD electron states coherently, this extra process leads to dephasing of the QD. In a case study, the dephasing time is inversely proportional to the Coulomb interaction strength between two electrons in the QD. Further theoretical investigations imply that this dephasing effect can decrease the quality of the zero temperature mesoscopic electron transportation measurements by lowering and broadening the corresponding differential conductance peaks.


title: Loss-tolerant hybrid measurement test of CHSH inequality with weakly amplified N00N states

abstract: Although our understanding of Bell's theorem and experimental techniques to test it have improved over the last 40 years, thus far all Bell tests have suffered at least from the detection or the locality loophole. Most photonic Bell tests rely on inefficient discrete-outcome measurements, often provided by photon counting detection. One possible way to close the detection loophole in photonic Bell tests is to involve efficient continuous-variable measurements instead, such as homodyne detection. Here, we propose a test of the Clauser-Horne-Shimony-Holt (CHSH) inequality that applies photon counting and homodyne detection on weakly amplified two-photon N00N states. The scheme suggested is remarkably robust against experimental imperfections and suits the limits of current technology. As amplified quantum states are considered, our work also contributes to the exploration of entangled macroscopic quantum systems. Further, it may constitute an alternative platform for a loophole-free Bell test, which is also important for quantum-technological applications.


title: A Novel Genetic Algorithm using Helper Objectives for the 0-1 Knapsack Problem

abstract: The 0-1 knapsack problem is a well-known combinatorial optimisation problem. Approximation algorithms have been designed for solving it and they return provably good solutions within polynomial time. On the other hand, genetic algorithms are well suited for solving the knapsack problem and they find reasonably good solutions quickly. A naturally arising question is whether genetic algorithms are able to find solutions as good as approximation algorithms do. This paper presents a novel multi-objective optimisation genetic algorithm for solving the 0-1 knapsack problem. Experiment results show that the new algorithm outperforms its rivals, the greedy algorithm, mixed strategy genetic algorithm, and greedy algorithm + mixed strategy genetic algorithm.


title: Synchronization of nearly-identical dynamical systems. II Optimized networks

abstract: In this paper we use the master stability function (MSF) for nearly identical dynamical systems obtained in the previous paper to construct optimized networks (ONs) which show better synchronizability. Nearly identical nature is the result of having some node dependent parameters (NDPs) in the dynamics. We study the correlation between various network properties and the values of NDPs on different nodes for the optimized networks and compare them with random networks using the example of coupled R\"ossler systems. In an ON, the nodes with NDP values at one extreme, e.g. nodes with higher frequencies in coupled R\"ossler systems, have higher degrees and are chosen as hubs. These nodes also show higher betweenness centrality. The links in ON are preferably between nodes with large differences in NDP values. The ONs have in general higher clustering coefficient. We also study other network properties such as average shortest path, degree mixing etc. and their relation to the NDP in ON. We consider cases of both one and two NDPs and also directed networks.


title: Cosmological and Astrophysical Implications of the Sunyaev-Zel'dovich Effect

abstract: The Sunyaev-Zel'dovich effect provides a useful probe of cosmology and structure formation in the Universe. Recent years have seen rapid progress in both quality and quantity of its measurements. In this review, we overview cosmological and astrophysical implications of recent and near future observations of the effect. They include measuring the evolution of the cosmic microwave background radiation temperature, the distance-redshift relation out to high redshifts, number counts and power spectra of galaxy clusters, distributions and dynamics of intracluster plasma, and large-scale motions of the Universe.


title: Bang's problem and symplectic invariants

abstract: We consider the Tarski--Bang problem about covering of convex bodies by planks. The results of this kind give a lower bound on the sum of widths of planks (regions between a pair of parallel hyperplanes) covering a given convex body. Previously we have applied some notions of symplectic geometry to study convex bodies, and here we show that the symplectic techniques may be useful in this problem as well. We are able to handle some particular cases with the symplectic techniques, and show that the general cases would follow from a certain ``subadditivity conjecture'' in symplectic geometry, motivated by the results of K.~Ball. We also prove several related results by more elementary methods.


title: Structural investigations of CeIrIn${_5}$ and CeCoIn${_5}$ on macroscopic and atomic length scales

abstract: For any thorough investigation of complex physical properties, as encountered in strongly correlated electron systems, not only single crystals of highest quality but also a detailed knowledge of the structural properties of the material are pivotal prerequisites. Here, we combine physical and chemical investigations on the prototypical heavy fermion superconductors CeIrIn${_5}$ and CeCoIn${_5}$ on atomic and macroscopic length scale to gain insight into their precise structural properties. Our approach spans from enhanced resolution X-ray diffraction experiments to atomic resolution by means of Scanning Tunneling Microscopy (STM) and reveal a certain type of local features (coexistence of minority and majority structural patterns) in the tetragonal HoCoGa$_5$-type structure of both compounds.


title: On the Exponent of the Schur multiplier of a Pair of Finite $p$-Groups

abstract: In this paper, we find an upper bound for the exponent of the Schur multiplier of a pair $(G,N)$ of finite $p$-groups, when $N$ admits a complement in $G$. As a consequence, we show that the exponent of the Schur multiplier of a pair $(G,N)$ divides $\exp(N)$ if $(G,N)$ is a pair of finite $p$-groups of class at most $p-1$. We also prove that if $N$ is powerfully embedded in $G$, then the exponent of the Schur multiplier of a pair $(G,N)$ divides $\exp(N)$.


title: On Varietal Capability of Direct Products of Groups and Pair of Groups

abstract: In this paper we give some conditions in which a direct product of groups is $\mathcal{V}-$capable if and only if each of its factors is $\mathcal{V}-$capable for some varieties $\mathcal{V}$. Moreover, we give some conditions in which a direct product of a finite family of pairs of groups is capable if and only if each of its factors is a capable pair of groups.


title: Some quantitative results in $C^0$ symplectic geometry

abstract: This paper studies the action of symplectic homeomorphisms on smooth submanifolds, with a main focus on the behaviour of symplectic homeomorphisms with respect to numerical invariants like capacities. Our main result is that a symplectic homeomorphism may preserve and squeeze codimension $4$ symplectic submanifolds ($C^0$-flexibility), while this is impossible for codimension $2$ symplectic submanifolds ($C^0$-rigidity). We also discuss $C^0$-invariants of coistropic and Lagrangian submanifolds, proving some rigidity results and formulating some conjectures. We finally formulate an Eliashberg-Gromov $C^0$-rigidity type question for submanifolds, which we solve in many cases. Our main technical tool is a quantitative $h$-principle result in symplectic geometry.


title: The Generic Superintegrable System on the 3-Sphere and the $9j$ Symbols of $\mathfrak{su}(1,1)$

abstract: The $9j$ symbols of $\mathfrak{su}(1,1)$ are studied within the framework of the generic superintegrable system on the 3-sphere. The canonical bases corresponding to the binary coupling schemes of four $\mathfrak{su}(1,1)$ representations are constructed explicitly in terms of Jacobi polynomials and are seen to correspond to the separation of variables in different cylindrical coordinate systems. A triple integral expression for the $9j$ coefficients exhibiting their symmetries is derived. A double integral formula is obtained by extending the model to the complex three-sphere and taking the complex radius to zero. The explicit expression for the vacuum coefficients is given. Raising and lowering operators are constructed and are used to recover the relations between contiguous coefficients. It is seen that the $9j$ symbols can be expressed as the product of the vacuum coefficients and a rational function. The recurrence relations and the difference equations satisfied by the $9j$ coefficients are derived.


title: On locally 1-connectedness of quotient spaces and its applications to fundamental groups

abstract: Let $X$ be a locally 1-connected metric space and $A_1,A_2,...,A_n$ be connected, locally path connected and compact pairwise disjoint subspaces of $X$. In this paper, we show that the quotient space $X/(A_1,A_2,...,A_n)$ obtained from $X$ by collapsing each of the sets $A_i$'s to a point, is also locally 1-connected. Moreover, we prove that the induced continuous homomorphism of quasitopological fundamental groups is surjective. Finally, we give some applications to find out some properties of the fundamental group of the quotient space $X/(A_1,A_2,...,A_n)$.


title: Stable foliations with respect to Fuglede modulus and level sets of $p$--harmonic functions

abstract: We continue the study of the variation of the $p$--modulus of a foliation initiated by the first author. We derive the formula for the second variation which allows to study $p$--stable foliations. We obtain some results concerning codimension one $p$--stable foliations. Moreover, we derive the equation for the critical point of the $p$--modulus functional of a foliation given by the level sets of smooth function. We show the correlation with the $q$--harmonicity. We give some examples. In particular, we show that foliations given by the distance function are critical points of $p$--modulus functional.


title: Utility indifference pricing of derivatives written on industrial loss indexes

abstract: We consider the problem of pricing derivatives written on some industrial loss index via utility indifference pricing. The industrial loss index is modelled by a compound Poisson process and the insurer can adjust her portfolio by choosing the risk loading, which in turn determines the demand. We compute the price of a CAT(spread) option written on that index using utility indifference pricing.


title: On the use of Markov chain Monte Carlo methods for the sampling of mixture models

abstract: In this paper we study asymptotic properties of different data-augmentation-type Markov chain Monte Carlo algorithms sampling from mixture models comprising discrete as well as continuous random variables. Of particular interest to us is the situation where sampling from the conditional distribution of the continuous component given the discrete component is infeasible. In this context, we cast Carlin & Chib's pseudo-prior method into the framework of mixture models and discuss and compare different variants of this scheme. We propose a novel algorithm, the FCC sampler, which is less computationally demanding than any Metropolised Carlin & Chib-type algorithm. The significant gain of computational efficiency is however obtained at the cost of some asymptotic variance. The performance of the algorithm vis-\`a-vis alternative schemes is investigated theoretically, using some recent results obtained in [3] for inhomogeneous Markov chains evolving alternatingly according to two different reversible Markov transition kernels, as well as numerically.


title: The host of the SN-less GRB 060505 in high resolution

abstract: The spiral host galaxy of GRB 060505 at z=0.089 was the site of a puzzling long duration burst without an accompanying supernova. Studies of the burst environment by Th\"one et al. (2008) suggested that this GRB came from the collapse of a massive star and that the GRB site was a region with properties different from the rest of the galaxy. We reobserved the galaxy in high spatial resolution using the VIMOS integral-field unit (IFU) at the VLT with a spaxel size of 0.67 arcsec. Furthermore, we use long slit high resolution data from HIRES/Keck at two different slit positions covering the GRB site, the center of the galaxy and an HII region next to the GRB region. We compare the properties of different HII regions in the galaxy with the GRB site and study the global and local kinematic properties of this galaxy. The resolved data show that the GRB site has the lowest metallicity in the galaxy with around 1/3 Z_solar, but its specific SFR (SSFR) of 7.4 M_solar/yr/L/L* and age (determined by the Halpha EW) are similar to other HII regions in the host. The galaxy shows a gradient in metallicity and SSFR from the bulge to the outskirts as it is common for spiral galaxies. This gives further support to the theory that GRBs prefer regions of higher star-formation and lower metallicity, which, in S-type galaxies, are more easily found in the spiral arms than in the centre. Kinematic measurements of the galaxy do not show evidence for large perturbations but a minor merger in the past cannot be excluded. This study confirms the collapsar origin of GRB060505 but reveals that the properties of the HII region surrounding the GRB were not unique to that galaxy. Spatially resolved observations are key to know the implications and interpretations of unresolved GRB hosts observations at higher redshifts.


title: Functional renormalization group approach to neutron matter

abstract: The chiral nucleon-meson model, previously applied to systems with equal number of neutrons and protons, is extended to asymmetric nuclear matter. Fluctuations are included in the framework of the functional renormalization group. The equation of state for pure neutron matter is studied and compared to recent advanced many-body calculations. The chiral condensate in neutron matter is computed as a function of baryon density. It is found that, once fluctuations are incorporated, the chiral restoration transition for pure neutron matter is shifted to high densities, much beyond three times the density of normal nuclear matter.


title: Disorder induces explosive synchronization

abstract: We study explosive synchronization, a phenomenon characterized by first-order phase transitions between incoherent and synchronized states in networks of coupled oscillators. While explosive synchronization has been the subject of many recent studies, in each case strong conditions on either the heterogeneity of the network, its link weights, or its initial construction are imposed to engineer a first-order phase transition. This raises the question of how robust explosive synchronization is in view of more realistic structural and dynamical properties. Here we show that explosive synchronization can be induced in mildly heterogeneous networks by the addition of quenched disorder to the oscillators' frequencies, demonstrating that it is not only robust to, but moreover promoted by, this natural mechanism. We support these findings with numerical and analytical results, presenting simulations of a real neural network as well as a self-consistency theory used to study synthetic networks.


title: Magnetic Field Tunable Small-scale Mechanical Properties of Nickel Single Crystals Measured by Nanoindentation Technique

abstract: Nano- and micromagnetic materials have been extensively employed in micro-functional devices. However, measuring small-scale mechanical and magnetomechanical properties is challenging, which restricts the design of new products and the performance of smart devices. A new magnetomechanical nanoindentation technique is developed and tested on a nickel single crystal in the absence and presence of a saturated magnetic field. Small-scale parameters such as Young's modulus, indentation hardness, and plastic index are dependent on the applied magnetic field, which differ greatly from their macroscale counterparts. Possible mechanisms that induced 31% increase in modulus and 7% reduction in hardness (i.e., the flexomagnetic effect and the interaction between dislocations andmagnetic field, respectively) are analyzed and discussed. Results could be useful in the microminiaturization of applications, such as tunable mechanical resonators and magnetic field sensors.


title: Quench dynamics of one-dimensional interacting bosons in a disordered potential: Elastic dephasing and critical speeding-up of thermalization

abstract: The dynamics of interacting bosons in one dimension following the sudden switching on of a weak disordered potential is investigated. On time scales before quasiparticles scatter (prethermalized regime), the dephasing from random elastic forward scattering causes all correlations to decay exponentially fast, but the system remains far from thermal equilibrium. For longer times, the combined effect of disorder and interactions gives rise to inelastic scattering and to thermalization. A novel quantum kinetic equation accounting for both disorder and interactions is employed to study the dynamics. Thermalization turns out to be most effective close to the superfluid-Bose glass critical point where nonlinearities become more and more important. The numerically obtained thermalization times are found to agree well with analytic estimates.


title: $(\alpha,\beta,\lambda,\delta,m,\Omega)_p$-Neighborhood for some families of analytic and multivalent functions

abstract: In the present investigation, we give some interesting results related with neighborhoods of p-valent functions. Relevant connections with some other recent works are also pointed out.


title: Foreground Model and Antenna Calibration Errors in the Measurement of the Sky-Averaged \lambda 21 cm Signal at z~20

abstract: The most promising near-term observable of the cosmic dark age prior to widespread reionization (z~15-200) is the sky-averaged \lambda 21 cm background arising from hydrogen in the intergalactic medium. Though an individual antenna could in principle detect the line signature, data analysis must separate foregrounds that are orders of magnitude brighter than the \lambda 21 cm background (but that are anticipated to vary monotonically and gradually with frequency). Using more physically motivated models for foregrounds than in previous studies, we show that the intrinsic "spectral smoothness" of the foregrounds is likely not a concern, and that data analysis for an ideal antenna should be able to detect the \lambda 21 cm signal after deprojecting a ~5th order polynomial in log(\nu). However, we find that the foreground signal is corrupted by the frequency-dependent response of a real antenna. The frequency dependence complicates modeling of foregrounds commonly based on the assumption of spectral smoothness. Much of our study focuses on the Large-aperture Experiment to detect the Dark Age (LEDA), which combines both radiometric and interferometric measurements. We show that statistical uncertainty remaining after fitting antenna gain patterns to interferometric measurements does not compromise extraction of the \lambda 21 cm signal for a range of cosmological models after fitting a 7th order polynomial to radiometric data. Our results generalize to most efforts to measure the sky-averaged spectrum.


title: Magnetic and Thermodynamic properties of face-centered cubic Fe-Ni alloys

abstract: A model lattice ab initio parameterised Hamiltonian spanning a broad range of alloy compositions and a large variety of chemical and magnetic configurations has been developed for face-centered cubic Fe-Ni alloys. Thermodynamic and magnetic properties of the alloys are explored using configuration and magnetic Monte Carlo simulations in a temperature range extending well over 1000 K.


title: The environment of the unidentified gamma-ray source HESS J1507-622

abstract: The nature of the gamma-ray source HESS J1507-622 that is located significantly off-set from the Galactic plane is not ascertained to date. Identifying the environment of an enigmatic object may help to constrain its nature. The path of the line of sight of HESS J1507-622 through the Galaxy is compared to the characteristic length scales of stellar populations of different ages. Furthermore, for this object, the energy density in particles is contrasted to the magnetic field energy density and constraints on the distance based on equipartition between these two components are calculated. The line of sight of HESS J1507-622 reaches a minimum distance to the Galactic center at around a galactocentric distance of 5.3 kpc at about 300 pc off the Galactic disc. This location coincides with the scale length and width of stars with an age of 1.2 Gyr which could in principle be an indication that HESS J1507-622 is connected to a stellar population of similar age. For such a case the source appears to be strongly particle dominated. In a leptonic scenario, if a magnetic field in the source of 1 $\mu$G is assumed, equipartition between magnetic field and particles would be realized at a distance of >1 Mpc. This could indicate an extragalactic origin of this object. However, an extragalactic origin is challenged by the extension of the source. The environment of HESS J1507-622 still remains elusive. For the case where this source belongs to a new class of gamma-ray emitters, the distribution of related objects (if existing) may help to settle the respective environment and distance scale.


title: A flow-based approach to rough differential equations

abstract: These are lecture notes for a Master 2 course on rough differential equations driven by weak geometric Holder p-rough paths, for any p>2. They provide a short, self-contained and pedagogical account of the theory, with an emphasis on flows. The theory is illustrated by some now classical applications to stochastic analysis, such as the basics of Freidlin-Wentzel theory of large deviations for diffusions, or Stroock and Varadhan support theorem.


title: Charm meson production and double parton interactions at the LHC

abstract: We discuss production of open charm mesons in proton-proton collisions at the LHC. The cross section for inclusive production of $c \bar c$ pairs is calculated within the $k_{\perp}$-factorization approach in which a major part of higher-order corrections is belived to be effectively included. We use and test the applicability of several unintegrated gluon distributions. Numerical results of the $k_{\perp}$-factorization approach are compared to NLO pQCD collinear predictions. Inclusive differential distributions in transverse momentum and (pseudo)rapidity of several charmed mesons are presented and compared to recent results of the ALICE, ATLAS and LHCb collaborations. We also examine production of neutral charmed meson-antimeson pairs ($D^0 {\overline D^0}$) in unique kinematics of forward rapidities of the LHCb experiment. Kinematical correlations in azimuthal angle $\varphi_{D^0 {\overline D^0}}$, invariant mass $M_{D^0 {\overline D^0}}$ and rapidity difference $Y_{D^0 {\overline D^0}}$ distributions are calculated. Moreover, we also discuss production of two pairs of $c \bar c$ within a simple formalism of double-parton scattering (DPS). We compare results of calculations of single-parton scattering (SPS) and double-parton scattering (DPS) for production of $c \bar c c \bar c$ and for $D^0-D^0$ meson-meson correlations. We compare our predictions for double charm production with recent results of the LHCb collaboration for azimuthal angle $\varphi_{D^0 D^0}$ distribution, dimeson invariant mass $M_{D^0 D^0}$ and rapidity distance between mesons $Y_{D^0 D^0}$. The obtained results clearly certify the dominance of DPS in the production of events with double charm.


title: Accelerated expansion of the Universe a la the Stueckelberg mechanism

abstract: We investigate a cosmological model in which the Stueckelberg fields are non-minimally coupled to the scalar curvature in a gauge invariant manner. We present not only a solution that can be considered in the context of the late time acceleration of the universe but also a solution compatible with the inflationary cosmology. Distinct behaviors of the scalar and vector fields together with the real valued mass gained by the Stueckelberg mechanism lead the universe to go through the two different accelerated expansion phases with a decelerated expansion phase between them. On the other hand, in the solutions we present, if the mass is null then the universe is either static or exhibits a simple power law expansion due to the vector field potential.


title: On the one-loop curvature function in the $sl(2)$ sector of $\mathcal N=4$ SYM

abstract: We consider twist $J$ operators with spin $S$ in the $sl(2)$ sector of $\mathcal N=4$ SYM. The small spin expansion of their anomalous dimension defines the so-called slope functions. Much is known about the linear term, but the study of the quadratic correction, the curvature function, started only very recently. At any fixed $J$, the curvature function can be extracted at all loops from the $\mathbf{P}\mu$-system formulation of the Thermodynamical Bethe Ansatz. Here, we work at the one-loop level and follow a different approach. We present a systematic double expansion of the Bethe Ansatz equations at large $J$ and small winding number. We succeed in fully resumming this expansion and obtain a closed explicit simple formula for the one-loop curvature function. The formula is parametric in $J$ and can be evaluated with minor effort for any fixed $J$. The result is an explicit series in odd-index $\zeta$ values. Our approach provides a complete reconciliation between the $\mathbf{P}\mu$-system predictions and the large $J$ approach.


title: Radiolysis of Amino Acids by Heavy and Energetic Cosmic Ray Analogs in Simulated Space Environments: $\alpha$-Glycine Zwitterion Form

abstract: In this work, we studied the stability of the glycine molecule in the crystalline zwitterion form, known as {\alpha}-glycine ($^{+}$NH$_{3}$CH$_{2}$COO$^{-}$) under action of heavy cosmic ray analogs. The experiments were conducted in a high vacuum chamber at heavy ions accelerator GANIL, in Caen, France. The samples were bombarded at two temperatures (14 K and 300 K) by $^{58}$Ni$^{11+}$ ions of 46 MeV until the final fluence of $10^{13}$ ions cm$^{-2}$. The chemical evolution of the sample was evaluated in-situ using Fourrier Transformed Infrared (FTIR) spectrometer. The bombardment at 14 K produced several daughter species such as OCN$^-$, CO, CO$_2$, and CN$^-$. The results also suggest the appearing of peptide bonds during irradiation but this must be confirmed by further experiments. The halflives of glycine in Interstellar Medium were estimated to be 7.8 $\times 10^3$ years (300 K) and 2.8 $\times 10^3$ years (14 K). In the Solar System the values were 8.4 $\times 10^2$ years (300 K) and 3.6 $\times 10^3$ years (14 K). It is believed that glycine could be present in space environments that suffered aqueous changes such as the interior of comets, meteorites and planetesimals. This molecule is present in proteins of all alive beings. So, studying its stability in these environments provides further understanding about the role of this specie in the prebiotic chemistry on Earth.


title: Fekete-Szeg\"o problem for certain classes of Ma-Minda bi-univalent functions

abstract: In the present work, we propose to investigate the Fekete-Szeg\"o inequalities certain classes of analytic and bi-univalent functions defined by subordination. The results in the bounds of the third coefficient which improve many known results concerning different classes of bi-univalent functions. Some interesting applications of the results presented here are also discussed.


title: Peripheral, ultrarelativistic production of particles in heavy ion collisions

abstract: The cross sections for the production of two-pions in ultraperipheral ultrarelativistic heavy ion collisions, calculated in the impact parameter Equivalent Photon Approximation (EPA), are presented. Differential distributions in impact parameter, dipion invariant mass, single pion and dipion rapidity, pion transverse momentum and pion pseudorapidity are shown. The $\gamma \gamma \to \pi^+ \pi^-$ subprocess constitutes a background to the $A A \to A \rho^0 (\to \pi^+ \pi^-) A$ process, initiated by emission of a photon by one of colliding nuclei. Only a part of the dipion invariant mass distribution associated with the $\gamma\gamma$-collisions can be visible as the cross section for the $A A \to A \rho^0 A$ reaction is very large. Differential distributions for two $\rho^0$ meson production in exclusive ultraperipheral, ultrarelativistic collisions via a double scattering mechanism are presented. The cross section for $\gamma A \to \rho^0 A$ is parametrized based on a calculation from the literature. Smearing of $\rho^0$ masses is taken into account. The results of calculations are compared to experimental data obtained at RHIC and to the contribution of the two-photon mechanism. The double scattering mechanism populates larger $\rho^0 \rho^0$ invariant masses and larger rapidity distances between the two $\rho^0$ mesons compared to the $\gamma \gamma$ fusion. It gives a significant contribution to the $A A \to A A \pi^+ \pi^- \pi^+ \pi^-$ reaction. Some observables related to charged pions are presented. The results of our calculation are compared with the STAR collaboration results for four charged pion production. While the shape in invariant mass of the four-pion system is very similar to the measured one, the predicted cross section constitutes only 20 \% of the measured one. \end{abstract}


title: Majorana Qubits

abstract: Contribution to the 44th IFF Spring School held at the Forschungszentrum J\"ulich in 2013 on "Quantum Information Processing". The notes include a pedagogic (but incomplete) introduction to Majorana fermions; especially paying attention to the usefulness for quantum information purposes. It contains an introduction to topological aspects of superconductors, braiding, physical implementations, and measurement of the quantum information using superconducting qubits.


title: Gauge Natural Formulation of Conformal Theory of Gravity

abstract: We consider conformal gravity as a gauge natural theory. We study its conservation laws and superpotentials. We also consider the Mannheim and Kazanas spherically symmetric vacuum solution and discuss conserved quantities associated to conformal and diffeomorphism symmetries.


title: Warm absorbers in X-rays (WAX), a comprehensive high resolution grating spectral study of a sample of Seyfert galaxies: I. A global view and frequency of occurrence of warm absorbers

abstract: We present results from a homogeneous analysis of the broadband 0.3-10 keV CCD resolution as well as of soft X-ray high-resolution grating spectra of a hard X-ray flux-limited sample of 26 Seyfert galaxies observed with XMM-Newton. Our goal is to characterise the warm absorber (WA) properties along the line-of-sight to the active nucleus. We significantly detect WAs in $65\%$ of the sample sources. Our results are consistent with WAs being present in at least half of the Seyfert galaxies in the nearby Universe, in agreement with previous estimates . We find a gap in the distribution of the ionisation parameter in the range $0.5<\log\xi<1.5$ which we interpret as a thermally unstable region for WA clouds. This may indicate that the warm absorber flow is probably constituted by a clumpy distribution of discrete clouds rather than a continuous medium. The distribution of the WA column densities for the sources with broad Fe K$\alpha$ lines are similar to those sources which do not have broadened emission lines. Therefore the detected broad Fe K$\alpha$ emission lines are bonafide and not artifacts of ionised absorption in the soft X-rays. The WA parameters show no correlation among themselves, with the exception of the ionisation parameter versus column density. The shallow slope of the $\log\xi$ versus $\log v_{\rm out}$ linear regression ($0.12\pm 0.03$) is inconsistent with the scaling laws predicted by radiation or magneto-hydrodynamic-driven winds. Our results suggest also that WA and Ultra Fast Outflows (UFOs) do not represent extreme manifestation of the same astrophysical system.