title: Quantum Illumination at the Microwave Wavelengths

abstract: Quantum illumination is a quantum-optical sensing technique in which an entangled source is exploited to improve the detection of a low-reflectivity object that is immersed in a bright thermal background. Here we describe and analyze a system for applying this technique at microwave frequencies, a more appropriate spectral region for target detection than the optical, due to the naturally-occurring bright thermal background in the microwave regime. We use an electro-optomechanical converter to entangle microwave signal and optical idler fields, with the former being sent to probe the target region and the latter being retained at the source. The microwave radiation collected from the target region is then phase conjugated and upconverted into an optical field that is combined with the retained idler in a joint-detection quantum measurement. The error probability of this microwave quantum-illumination system, or quantum radar, is shown to be superior to that of any classical microwave radar of equal transmitted energy.


title: Thompson sampling with the online bootstrap

abstract: Thompson sampling provides a solution to bandit problems in which new observations are allocated to arms with the posterior probability that an arm is optimal. While sometimes easy to implement and asymptotically optimal, Thompson sampling can be computationally demanding in large scale bandit problems, and its performance is dependent on the model fit to the observed data. We introduce bootstrap Thompson sampling (BTS), a heuristic method for solving bandit problems which modifies Thompson sampling by replacing the posterior distribution used in Thompson sampling by a bootstrap distribution. We first explain BTS and show that the performance of BTS is competitive to Thompson sampling in the well-studied Bernoulli bandit case. Subsequently, we detail why BTS using the online bootstrap is more scalable than regular Thompson sampling, and we show through simulation that BTS is more robust to a misspecified error distribution. BTS is an appealing modification of Thompson sampling, especially when samples from the posterior are otherwise not available or are costly.


title: Assessing the accuracy of Hartree-Fock-Bogoliubov calculations by use of mass relations

abstract: The accuracy of three different sets of Hartree-Fock-Bogoliubov calculations of nuclear binding energies is systematically evaluated. To emphasize minor fluctuations, a second order, four-point mass relation, which almost completely eliminates smooth aspects of the binding energy, is introduced. Applying this mass relation yields more scattered results for the calculated binding energies. By examining the Gaussian distributions of the non-smooth aspects which remain, structural differences can be detected between measured and calculated binding energies. Substructures in regions of rapidly changing deformation, specifically around $(N,Z)=(60,40)$ and $(90,60)$, are clearly seen for the measured values, but are missing from the calculations. A similar three-point mass relation is used to emphasize odd-even effects. A clear decrease with neutron excess is seen continuing outside the experimentally known region for the calculations.


title: Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate

abstract: We present a new method for inferring complexity properties for a class of programs in the form of flowcharts annotated with loop information. Specifically, our method can (soundly and completely) decide if computed values are polynomially bounded as a function of the input; and similarly for the running time. Such complexity properties are undecidable for a Turing-complete programming language, and a common work-around in program analysis is to settle for sound but incomplete solutions. In contrast, we consider a class of programs that is Turing-incomplete, but strong enough to include several challenges for this kind of analysis. For a related language that has well-structured syntax, similar to Meyer and Ritchie's LOOP programs, the problem has been previously proved to be decidable. The analysis relied on the compositionality of programs, hence the challenge in obtaining similar results for flowchart programs with arbitrary control-flow graphs. Our answer to the challenge is twofold: first, we propose a class of loop-annotated flowcharts, which is more general than the class of flowcharts that directly represent structured programs; secondly, we present a technique to reuse the ideas from the work on tructured programs and apply them to such flowcharts. The technique is inspired by the classic translation of non-deterministic automata to regular expressions, but we obviate the exponential cost of constructing such an expression, obtaining a polynomial-time analysis. These ideas may well be applicable to other analysis problems.


title: Online interpretation of numeric sign language using 2-d skeletal model

abstract: Gesturing is one of the natural modes of human communication. Signs produced by gestures can have a basic meaning coupled with additional information that is layered over the basic meaning of the sign. Sign language is an important example of communicative gestures that are highly structured and well accepted across the world as a communication medium for deaf and dumb. In this paper, an online recognition scheme is proposed to interpret the standard numeric sign language comprising of 10 basic hand symbols. A web camera is used to capture the real time hand movements as input to the system. The basic meaning of the hand gesture is extracted from the input data frame by analysing the shape of the hand, considering its orientation, movement and location to be fixed. The input hand shape is processed to identify the palm structure, fingertips and their relative positions and the presence of the extended thumb. A 2-dimensional skeletal model is generated from the acquired shape information to represent and subsequently interpret the basic meaning of the hand gesture.


title: A two-pass fuzzy-geno approach to pattern classification

abstract: The work presents an extension of the fuzzy approach to 2-D shape recognition [1] through refinement of initial or coarse classification decisions under a two pass approach. In this approach, an unknown pattern is classified by refining possible classification decisions obtained through coarse classification of the same. To build a fuzzy model of a pattern class horizontal and vertical fuzzy partitions on the sample images of the class are optimized using genetic algorithm. To make coarse classification decisions about an unknown pattern, the fuzzy representation of the pattern is compared with models of all pattern classes through a specially designed similarity measure. Coarse classification decisions are refined in the second pass to obtain the final classification decision of the unknown pattern. To do so, optimized horizontal and vertical fuzzy partitions are again created on certain regions of the image frame, specific to each group of similar type of pattern classes. It is observed through experiments that the technique improves the overall recognition rate from 86.2%, in the first pass, to 90.4% after the second pass, with 500 training samples of handwritten digits.


title: Bi-Local Field in Gravitational Shock Wave Background

abstract: The particles with almost light velocity are able to be sources of the shock-wave gravity (SWG). Then, for ultra-high-energy particles, there exist two-body scatterings such that one particle is scattered from the gravitational background produced by another particle. Since the spacetime of SWG is closely related to a pp-wave solution of AdS-type background, this type of interaction is also interesting in AdS dual gauge theories. From those viewpoints, the scattering of point particles or strings by the SWG were studied. In this paper, we study the case of the bi-local models, which are simple relativistic bound systems having a close relation with specific modes of open strings. In particular, we analyze the bound-state effect on the scattering amplitudes, which describe the interaction between this model and SWG.


title: Harmonic generation of noble-gas atoms in the Near-IR regime using ab-initio time-dependent R-matrix theory

abstract: We demonstrate the capability of ab-initio time-dependent R-matrix theory to obtain accurate harmonic generation spectra of noble-gas atoms at Near-IR wavelengths between 1200 and 1800 nm and peak intensities up to 1.8 X 10(14) W/cm(2) . To accommodate the excursion length of the ejected electron, we use an angular-momentum expansion up to Lmax = 279. The harmonic spectra show evidence of atomic structure through the presence of a Cooper minimum in harmonic generation for Kr, and of multielectron interaction through the giant resonance for Xe. The theoretical spectra agree well with those obtained experimentally.


title: Collective Modes in the Cooperative Jahn-Teller Model: Path Integral Approach

abstract: We discuss analytical approximations to the ground-state phase diagram and the elementary excitations of the cooperative Jahn-Teller model describing strongly correlated spin-boson system on a lattice in various quantum optical systems. Based on the mean-field theory approach we show that the system exhibits quantum magnetic structural phase transition which leads to magnetic ordering of the spins and formation of the bosonic condensates. We determine existing of one gapless Goldstone mode and two gapped amplitude modes inside the symmetry-broken phase.


title: Online Tracking of Skin Colour Regions Against a Complex Background

abstract: Online tracking of human activity against a complex background is a challenging task for many applications. In this paper, we have developed a robust technique for localizing skin colour regions from unconstrained image frames. A simple and fast segmentation algorithm is used to train a multiplayer perceptron (MLP) for detection of skin colours. Stepper motors are synchronized with the MLP to track the movement of the skin colour regions.


title: Minimal genus in circle bundles over 3-manifolds

abstract: An estimate for the genus function in circle bundles over irreducible 3-manifolds is proven. This estimate is in many cases an equality and it relates the minimal genus of the surfaces representing a given homology class with the self-intersection of the class and the Thurston norm of the underlying 3-manifold.


title: An Automated Group Key Authentication System Using Secret Image Sharing Scheme

abstract: In an open network environment, privacy of group communication and integrity of the communication data are the two major issues related to secured information exchange. The required level of security may be achieved by authenticating a group key in the communication channel, where contribution from each group member becomes a part of the overall group key. In the current work, we have developed an authentication system through Central Administrative Server (CAS) for automatic integration and validation of the group key. For secured group communication, the CAS generates a secret alphanumeric group key image. Using secret image sharing scheme, this group key image shares are distributed among all the participating group members in the open network. Some or all the secret shares may be merged to reconstruct the group key image at CAS. A k-nearest neighbor classifier with 48 features to represent the images, is used to validate the reconstructed image with the one stored in the CAS. 48 topological features are used to represent the reconstructed group key image. We have achieved 99.1% classification accuracy for 26 printed English uppercase characters and 10 numeric digits.


title: Strong convergence theorems by a new hybrid method for equilibrium problems and relatively nonexpansive mappings in Banach spaces

abstract: In this paper, we introduce a new modified Ishikawa iteration for finding a common element of the set of solutions of an equilibrium problem and the set of fixed points of relatively nonexpansive mappings in a Banach space. Our results generalize, extend and enrich some existing results in the literature.


title: Giant thermopower in superconducting heterostructures with spin-active interfaces

abstract: We predict parametrically strong enhancement of the thermoelectric effect in metallic bilayers consisting of two superconductors separated by a spin-active interface. The physical mechanism for such an enhancement is directly related to electron-hole imbalance generated by spin-sensitive quasiparticle scattering at the interface between superconducting layers. We explicitly evaluate the thermoelectric currents flowing in the system and demonstrate that they can reach maximum values comparable to the critical ones for superconductors under consideration.


title: Repeated output coupling of ultracold Feshbach molecules from a Cs BEC

abstract: We investigate magnetoassociation of ultracold Feshbach molecules from a Bose- Einstein condensate of Cs atoms and explore the spectrum of weakly bound molecular states close to the atomic threshold. By exploiting the variation of magnetic field experienced by a molecular cloud falling in the presence of a magnetic field gradient, we demonstrate the repeated output coupling of molecules from a single atomic cloud using a Feshbach resonance at 19.89 G. Using this method we are able to produce up to 24 separate pulses of molecules from a single atomic condensate, with a molecular pulse created every 7.2 ms. Furthermore, by careful control of the magnetic bias field and gradient we are able to utilise an avoided crossing in the bound state spectrum at 13.3G to demonstrate exquisite control over the dynamics of the molecular clouds.


title: Replica Fourier Transform: Properties and Applications

abstract: The Replica Fourier Transform is the generalization of the discrete Fourier Transform to quantities defined on an ultrametric tree. It finds use in con- junction of the replica method used to study thermodynamics properties of disordered systems such as spin glasses. Its definition is presented in a system- atic and simple form and its use illustrated with some representative examples. In particular we give a detailed discussion of the diagonalization in the Replica Fourier Space of the Hessian matrix of the Gaussian fluctuations about the mean field saddle point of spin glass theory. The general results are finally discussed for a generic spherical spin glass model, where the Hessian can be computed analytically.


title: Microwave Photodetection with Electro-Opto-Mechanical Systems

abstract: While detection of optical photons is today achieved with very high efficiencies, the detection of microwave fields at the photon level still poses non-trivial experimental challenges. In this Letter we propose a model of microwave photodetector which is based on the use of an electro-opto-mechanical system. Using state of the art technology, we show how single microwave photons can efficiently be converted into optical photons which are then measured by standard optics. The overall quantum efficiency of our microwave detector tends to one for achievable values of the optical and microwave cooperativity parameters. Our scheme could be used for sensing and scanning very faint microwave fields, as they may occur in radio astronomy, satellite and deep space communications.


title: On tangent cones to Schubert varieties in type $D_n$

abstract: Let $G$ be a complex reductive algebraic group, $T$ a maximal torus in $G$, $B$ a Borel subgroup of $G$ containing $T$, $W$ the Weyl group of $G$ with respect to $T$. Let $w$ be an element of $W$. Denote by $X_w$ the Schubert subvariety of the flag variety $G/B$ corresponding to $w$. Let $C_w$ be the tangent cone to $X_w$ at the point $p=eB$ (we consider $C_w$ as a subscheme of the tangent space to $G/B$ at $p$). In 2011, D.Yu. Eliseev and A.N. Panov computed all tangent cones for $G=SL(n)$, $n<6$. Using their computations, A.N. Panov formulated the following Conjecture: if $w$, $w'$ are distinct involutions in $W$, then $C_w$ and $C_{w'}$ do not coincide. In 2013, D.Yu. Eliseev and the first author proved this conjecture in types $A_n$, $F_4$ and $G_2$. Later M.A. Bochkarev and the authors proved this conjecture in types $B_n$ and $C_n$. In this paper we prove the conjecture in type $D_n$ in the case when $w$, $w'$ are basic involutions.


title: Legendre transforms of the fundamental thermodynamic relation and statistical ensembles

abstract: We show how the Legendre transforms of the fundamental thermodynamic relation can be used to introduce different statistical ensembles.


title: Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking

abstract: The application of formal methods to the analysis of stochastic oscillators has been at the focus of several research works in recent times. In this paper we provide insights on the application of an expressive temporal logic formalism, namely the Hybrid Automata Stochastic Logic (HASL), to that issue. We show how one can take advantage of the expressive power of the HASL logic to define and assess relevant characteristics of (stochastic) oscillators.


title: Electro-hydrodynamics near Hydrophobic Surfaces

abstract: We show that an electro-osmotic flow near the slippery hydrophobic surface depends strongly on the mobility of surface charges, which are balanced by counter-ions of the electrostatic diffuse layer. For a hydrophobic surface with immobile charges the fluid transport is considerably amplified by the existence of a hydrodynamic slippage. In contrast, near the hydrophobic surface with mobile adsorbed charges it is also controlled by an additional electric force, which increases the shear stress at the slipping interface. To account for this, we formulate electro-hydrodynamic boundary conditions at the slipping interface, which should be applied to quantify electro-osmotic flows instead of hydrodynamic boundary conditions. Our theoretical predictions are fully supported by dissipative particle dynamics simulations with explicit charges. These results lead to a new interpretation of zeta-potential of hydrophobic surfaces.


title: Cox process functional learning

abstract: This article addresses the problem of functional supervised classification of Cox process trajectories, whose random intensity is driven by some exogenous random covariable. The classification task is achieved through a regularized convex empirical risk minimization procedure, and a nonasymptotic oracle inequality is derived. We show that the algorithm provides a Bayes-risk consistent classifier. Furthermore, it is proved that the classifier converges at a rate which adapts to the unknown regularity of the intensity process. Our results are obtained by taking advantage of martingale and stochastic calculus arguments, which are natural in this context and fully exploit the functional nature of the problem.


title: On the Classical Limit of the Schr\"{o}dinger Equation

abstract: This paper provides an elementary proof of the classical limit of the Schr\"{o}dinger equation with WKB type initial data and over arbitrary long finite time intervals. We use only the stationary phase method and the Laptev-Sigal simple and elegant construction of a parametrix for Schr\"{o}dinger type equations [A. Laptev, I. Sigal, Review of Math. Phys. 12 (2000), 749-766]. We also explain in detail how the phase shifts across caustics obtained when using the Laptev-Sigal parametrix are related to the Maslov index.


title: Search for dark matter in events with heavy quarks and missing transverse momentum in $pp$ collisions with the ATLAS detector

abstract: This article reports on a search for dark matter pair production in association with bottom or top quarks in 20.3 fb$^{-1}$ of $pp$ collisions collected at $\sqrt{s} = 8$ TeV by the ATLAS detector at the LHC. Events with large missing transverse momentum are selected when produced in association with high-momentum jets of which one or more are identified as jets containing $b$-quarks. Final states with top quarks are selected by requiring a high jet multiplicity and in some cases a single lepton. The data are found to be consistent with the Standard Model expectations and limits are set on the mass scale of effective field theories that describe scalar and tensor interactions between dark matter and Standard Model particles. Limits on the dark-matter--nucleon cross-section for spin-independent and spin-dependent interactions are also provided. These limits are particularly strong for low-mass dark matter. Using a simplified model, constraints are set on the mass of dark matter and of a coloured mediator suitable to explain a possible signal of annihilating dark matter.


title: Global analysis of the experimental data on $\chi_c$ meson hadroproduction

abstract: We carry out a global analysis of the experimental data on the $\chi_c$ production cross section and the ratio $\sigma(\chi_{c2})/\sigma(\chi_{c1})$ at the LHC and the Tevatron. The related long-distance matrix elements (LDMEs) at both leading order (LO) and next-to-leading order (NLO) in the QCD coupling constant are renewed. We also present the transverse momentum distribution of the $\chi_c$ production cross section and the ratio $\sigma(\chi_{c2})/\sigma(\chi_{c1})$ for several experimental conditions and find that NLO predictions agree with all sets of experimental data. By contrast, at LO, one cannot explain all the data with a unique value of the color-octet LDME. A brief analysis of the nonrelativistic QCD scale dependence of the cross sections shows that, for the conditions we are concerned with in this paper, the dependence can be almost totally absorbed into the LDME.


title: Radiative decay effects influence the local electromagnetic response of the monolayer graphene with surface corrugations in terahertz range

abstract: We continue the study of surface corrugations influence on the monolayer graphene local electromagnetic response in terahertz range we started earlier. The effects of radiative decay, double-valley structure of charge carriers spectrum in graphene and the breathing surface curvature form induced synthetic electric fields are taken into account. To fulfill this program the generalized nonlinear self-consistent equation is obtained. In case of weak external alternating electric field for the obtained equation in linear approximation on the external electric field the exact solution is found. It shows that in this case we get local dephasing in induced current paths depending on the surface form . This theoretical result qualitatively explains the corresponding experiments with local current patterns in graphene without using fully quantum approach which is necessary for theoretical description of such phenomenon in graphene nanoribbons. Besides the formulae obtained in the present paper could become the basis of the new method of the imaging of surface corrugations form for given picture of local current paths. The obtained results allow to study mechanical behavior of materials at nanoscale deviates from macroscoping established concepts and this is of particular importance for graphene.


title: On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronizing Automata

abstract: Cerny's conjecture is a longstanding open problem in automata theory. We study two different concepts, which allow to approach it from a new angle. The first one is the triple rendezvous time, i.e., the length of the shortest word mapping three states onto a single one. The second one is the synchronizing probability function of an automaton, a recently introduced tool which reinterprets the synchronizing phenomenon as a two-player game, and allows to obtain optimal strategies through a Linear Program. Our contribution is twofold. First, by coupling two different novel approaches based on the synchronizing probability function and properties of linear programming, we obtain a new upper bound on the triple rendezvous time. Second, by exhibiting a family of counterexamples, we disprove a conjecture on the growth of the synchronizing probability function. We then suggest natural follow-ups towards Cernys conjecture.


title: Conditions for supersonic bent Marshak waves

abstract: Supersonic radiation diffusion approximation is a useful way to study the radiation transportation. Considering the bent Marshak wave theory in 2-dimensions, and an invariable source temperature, we get the supersonic radiation diffusion conditions which are about the Mach number $M>8(1+\sqrt{\ep})/3$, and the optical depth $\tau>1$. A large Mach number requires a high temperature, while a large optical depth requires a low temperature. Only when the source temperature is in a proper region these conditions can be satisfied. Assuming the material opacity and the specific internal energy depend on the temperature and the density as a form of power law, for a given density, these conditions correspond to a region about source temperature and the length of the sample. This supersonic diffusion region involves both lower and upper limit of source temperature, while that in 1-dimension only gives a lower limit. Taking $\rm SiO_2$ and the Au for example, we show the supersonic region numerically.


title: Operational experience with crab cavities at KEKB

abstract: KEKB was in operation from December 1988 to June 2010. The crab cavities were installed at KEKB in February 2007 and worked very stably until the end of KEKB operation. Operational experience of the crab cavities with beams is described.


title: On a topological characterization of pr\"ufer v-multiplication domains among essential domains

abstract: In this paper we characterize the Pr\"ufer v-multiplication domain as a class of essential domains verifying an additional property on the closure of some families of prime ideals, with respect to the constructible topology.


title: Linking statistical and ecological theory: Hubbell's unified neutral theory of biodiversity as a hierarchical Dirichlet process

abstract: Neutral models which assume ecological equivalence between species provide null models for community assembly. In Hubbell's Unified Neutral Theory of Biodiversity (UNTB), many local communities are connected to a single metacommunity through differing immigration rates. Our ability to fit the full multi-site UNTB has hitherto been limited by the lack of a computationally tractable and accurate algorithm. We show that a large class of neutral models with this mainland-island structure but differing local community dynamics converge in the large population limit to the hierarchical Dirichlet process. Using this approximation we developed an efficient Bayesian fitting strategy for the multi-site UNTB. We can also use this approach to distinguish between neutral local community assembly given a non-neutral metacommunity distribution and the full UNTB where the metacommunity too assembles neutrally. We applied this fitting strategy to both tropical trees and a data set comprising 570,851 sequences from 278 human gut microbiomes. The tropical tree data set was consistent with the UNTB but for the human gut neutrality was rejected at the whole community level. However, when we applied the algorithm to gut microbial species within the same taxon at different levels of taxonomic resolution, we found that species abundances within some genera were almost consistent with local community assembly. This was not true at higher taxonomic ranks. This suggests that the gut microbiota is more strongly niche constrained than macroscopic organisms, with different groups adopting different functional roles, but within those groups diversity may at least partially be maintained by neutrality.We also observed a negative correlation between body mass index and immigration rates within the family Ruminococcaceae.


title: An example of a non-Fourier-Mukai functor between derived categories of coherent sheaves

abstract: Orlov's famous representability theorem asserts that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. In this paper we show that this result is false without the full faithfulness hypothesis.


title: Scanning-free imaging through a single fiber by random spatio-spectral encoding

abstract: We present an approach for two-dimensional (2D) imaging through a single single-mode or multimode fiber without the need for scanners. A random scattering medium placed next to the distal end of the fiber is used to encode the collected light from every imaged pixel with a different random spectral signature. 2D objects illuminated by a white-light source are then imaged from a single measured spectrum at the fiber's proximal end. The technique is insensitive to fiber bending, an advantage for endoscopic applications.


title: A near-IR spectroscopic survey of massive jets towards EGOs

abstract: We aim at deriving the main physical properties of massive jets from near-IR observations, comparing them to those of a large sample of jets from low-mass YSOs, and relating them to the main features of their driving sources. We present a NIR imaging (H2 and Ks) and low-resolution spectroscopic (0.95-2.50 um) survey of 18 massive jets towards GLIMPSE extended green objects, driven by intermediate- and high-mass YSOs, which have Lbol between 4x10^2 and 10^5 Lsun. As in low-mass jets, H2 is the primary NIR coolant, detected in all the analysed flows, whereas the most important ionic tracer is [FeII], detected in half of the sampled jets. Our analysis indicates that the emission lines originate from shocks at high temperatures and densities. No fluorescent emission is detected along the flows, regardless of the source Lbol. On average, the physical parameters of these massive jets (i.e. Av, temperature, column density, mass, and luminosity) have higher values than those measured in their low-mass counterparts. The morphology of the H2 flows is varied, mostly depending on the complex, dynamic, and inhomogeneous environment in which these massive jets form and propagate. All flows and jets in our sample are collimated, showing large precession angles. Additionally, the presence of both knots and jets suggests that the ejection process is continuous with burst episodes, as in low-mass YSOs. We compare the flow H2 luminosity with the source Lbol confirming the tight correlation between these two quantities. Five sources, however, display a lower L(H2)/Lbol efficiency, which might be related to YSO evolution. Most important, the inferred L(H2) vs Lbol relationship agrees well with the correlation between the momentum flux of the CO outflows and the bolometric luminosities of high-mass YSOs indicating that outflows from high-mass YSOs are momentum driven, as are their low-mass counterparts.


title: Existence and uniqueness for a quasilinear elliptic problem with nonlinear Robin conditions

abstract: This paper deals with an existence and uniqueness result of the weak solution for a quasilinear elliptic PDE with nonlinear Robin boundary conditions.This problem is defined on a domain whose boundary is the union of two disjoint surfaces.where a Dirichelet condition is prescribed on the exterior boundary and a nonlinear Robin condition on the interior one.To achieve that, we use the theory of monotone operators


title: Radiating Kerr-like regular black hole

abstract: We derive a radiating regular rotating black hole solution, radiating Kerr-like regular black hole solution. We achieve this by starting from the Hayward regular black hole solution via a complex transformation suggested by Newman-Janis. The radiating Kerr metric, the Kerr-like regular black hole and the standard Kerr metric are regained in the appropriate limits. The structure of the horizon-like surfaces are also determined.


title: Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem

abstract: We present an almost complete classification of the parameterized complexity of all operator fragments of the satisfiability problem in computation tree logic CTL. The investigated parameterization is the sum of temporal depth and structural pathwidth. The classification shows a dichotomy between W[1]-hard and fixed-parameter tractable fragments. The only real operator fragment which is confirmed to be in FPT is the fragment containing solely AX. Also we prove a generalization of Courcelle's theorem to infinite signatures which will be used to proof the FPT-membership case.


title: Group construction in non-trivial geometric $C$-minimal structures

abstract: We show that an infinite group is definable in any non trivial geometric $C$-minimal structure which is definably maximal and does not have any definable bijection between a bounded interval and an unbounded one in its canonical tree. No kind of linearity is assumed.


title: A comparison of weak-turbulence and PIC simulations of weak electron-beam plasma interaction

abstract: Quasilinear theory has long been used to treat the problem of a weak electron beam interacting with plasma and generating Langmuir waves. Its extension to weak-turbulence theory treats resonant interactions of these Langmuir waves with other plasma wave modes, in particular ion-sound waves. These are strongly damped in plasma of equal ion and electron temperatures, as sometimes seen in, for example, the solar corona and wind. Weak turbulence theory is derived in the weak damping limit, with a term describing ion-sound wave damping then added. In this paper we use the EPOCH particle-in-cell code to numerically test weak turbulence theory for a range of electron-ion temperature ratios. We find that in the cold ion limit the results agree well, but increasing ion temperature the three-wave resonance becomes broadened in proportion to the ion-sound wave damping rate. This may be important in, for example, the theory of solar radio bursts, where the spectrum of Langmuir waves is critical. Additionally we establish lower limits on the number of simulation particles needed to accurately reproduce the electron and wave distributions in their saturated states, and to reproduce their intermediate states and time evolution.


title: Novel magneto-electric multiferroics from first-principles

abstract: Interest in first-principles calculations within the multiferroic community has been rapidly on the rise over the last decade. Initially considered as a powerful support to explain experimentally observed behaviours, the trend has evolved and, nowadays, density functional theory calculations has become also an essential predicting tool for identifying original rules to achieve multiferroism and design new magneto-electric compounds. This chapter aims to highlight the key advances in the field of multiferroics for which first-principles methods have contributed significantly. The essential theoretical developments that made this search possible are also briefly presented.


title: Enclosure method for the p-Laplace equation

abstract: We study the enclosure method for the p-Calder\'on problem, which is a nonlinear generalization of the inverse conductivity problem due to Calder\'on that involves the p-Laplace equation. The method allows one to reconstruct the convex hull of an inclusion in the nonlinear model by using exponentially growing solutions introduced by Wolff. We justify this method for the penetrable obstacle case, where the inclusion is modelled as a jump in the conductivity. The result is based on a monotonicity inequality and the properties of the Wolff solutions.


title: Monte Carlo Study of Patchy Nanostructures Self-Assembled from a Single Multiblock Chain

abstract: We present a lattice Monte Carlo simulation for a multiblock copolymer chain of length N=240 and microarchitecture $(10-10)_{12}$.The simulation was performed using the Monte Carlo method with the Metropolis algorithm. We measured average energy, heat capacity, the mean squared radius of gyration, and the histogram of cluster count distribution. Those quantities were investigated as a function of temperature and incompatibility between segments, quantified by parameter {\omega}. We determined the temperature of the coil-globule transition and constructed the phase diagram exhibiting a variety of patchy nanostructures. The presented results yield a qualitative agreement with those of the off-lattice Monte Carlo method reported earlier, with a significant exception for small incompatibilities,{\omega}, and low temperatures, where 3-cluster patchy nanostructures are observed in contrast to the 2-cluster structures observed for the off-lattice $(10-10)_{12}$ chain. We attribute this difference to a considerable stiffness of lattice chains in comparison to that of the off-lattice chains.


title: High-Energy Properties of the Enigmatic Be Star gamma Cassiopeiae

abstract: We present the results of a broad-band X-ray study of the enigmatic Be star Gamma Cassiopeiae (herein gamma Cas) based on observations made with both the Suzaku and INTEGRAL observatories. gamma Cas has long been recognized as the prototypical example of a small subclass of Be stars with moderately strong X-ray emission dominated by a hot thermal component in the 0.5-12 keV energy range Lx ~ 10^32 - 10^33 erg s^-1. This places them at the high end of the known luminosity distribution for stellar emission, but several orders of magnitude below typical accretion powered Be X-ray binaries. The INTEGRAL observations spanned an 8 year baseline and represent the deepest measurement to date at energies above ~50 keV. We find that the INTEGRAL data are consistent within statistics to a constant intensity source above 20 keV, with emission extending up to ~100 keV and that searches for all of the previously reported periodicities of the system at lower energies led to null results. We further find that our combined Suzaku and INTEGRAL spectrum, which we suggest is the most accurate broad-band X-ray measurement of gamma Cas to date, is fitted extremely well with a thermal plasma emission model with a single absorption component. We found no compelling need for an additional non-thermal high-energy component. We discuss these results in the context of a currently favored models for gamma Cas and its analogs.


title: Russian doll spectrum in a non-Abelian string-net ladder

abstract: We study a string-net ladder in the presence of a string tension. Focusing on the simplest non-Abelian anyon theory with a quantum dimension larger than two, we determine the phase diagram and find a Russian doll spectrum featuring size-independent energy levels as well as highly degenerate zero-energy eigenstates. At the self-dual points, we compute the gap exactly by using a mapping onto the Temperley-Lieb chain. These results are in stark constrast with the ones obtained for Fibonacci or Ising theories.


title: On the Ambartzumian-Pleijel identity in hyperbolic geometry

abstract: We describe a hyperbolic version of the Ambartzumian-Pleijel identity. We use this identity to prove the hyperbolic Crofton formula and the hyperbolic isoperimetric inequality. This identity also provides a way to compute the chord length distribution for an ideal polygon in the hyperbolic plane. The analogous results for a maximally symmetric, simply connected, $2$-dimensional Riemannian manifold with constant sectional curvature are given at the end.


title: AdS Bubbles, E$p$-branes and Entanglement

abstract: The AdS-bubble solutions interestingly mimic Schr\"odinger-like geometries when expressed in light-cone coordinates. These D$p$ bubble vacuas exhibit asymmetric scaling property with a negative dynamical exponent of time $a<0$, but are smooth geometries. Through a time-like T-duality we map these vacua to E$p$-brane bubbles with $a>0$ in type II* super-strings. We obtain an expression for the entanglement entropy for `bubble E3-branes'. It is argued that the entropy from E3-bubbles has to be the lowest.


title: Pipelined Iterative Solvers with Kernel Fusion for Graphics Processing Units

abstract: We revisit the implementation of iterative solvers on discrete graphics processing units and demonstrate the benefit of implementations using extensive kernel fusion for pipelined formulations over conventional implementations of classical formulations. The proposed implementations with both CUDA and OpenCL are freely available in ViennaCL and are shown to be competitive with or even superior to other solver packages for graphics processing units. Highest performance gains are obtained for small to medium-sized systems, while our implementations are on par with vendor-tuned implementations for very large systems. Our results are especially beneficial for transient problems, where many small to medium-sized systems instead of a single big system need to be solved.


title: SIMLA: Simulating laser-particle interactions via classical and quantum electrodynamics

abstract: We present the Fortran code SIMLA, which is designed for the study of charged particle dynamics in laser and other background fields. This can be done classically via the Landau-Lifshitz equation, or alternatively, via the simulation of photon emission events determined by strong-field quantum-electrodynamics amplitudes and implemented using Monte-Carlo type routines. Multiple laser fields can be included in the simulation and the propagation direction, beam shape (plane wave, focussed paraxial, constant crossed, or constant magnetic), and time envelope of each can be independently specified.


title: Errata and comments for "Numerical and analytical modeling of busbar systems"

abstract: This note covers two parts. The first one provides an errata to the paper "Numerical and analytical modeling of busbar systems". We mainly give the correction for three equations affected by a typographical mistake. Despite the corrections that we are providing with this note, we think that the implementation of these equations can be quite onerous. Hence, in the second part of this document we provide the download link to our implementation of the equations (developed in MATLAB environment). Moreover, to help in using these functions, we explain their behavior by means of some examples.


title: Beam-beam effects in BEPCII

abstract: We first introduce the design parameters of the Beijing Electron-Positron Collider II (BEPCII) and the simulation study of beam-beam effects during the design process of the machine. The main advances since 2007 are briefly introduced and reviewed. The longitudinal feedback system was installed to suppress the coupled bunch instability in January 2010. The horizontal tune decreased from 6.53 to 6.508 during the course of data taken in December, 2010. The saturation of the beam-beam parameter was found in 2011, and the vacuum chambers and magnets near the north crossing point were moved 15 cm in order to mitigate the long range beam-beam interaction. At the beginning of 2013, the beam-beam parameter achieved 0.04 with the new lower $\alpha_{p}$ lattice and the peak luminosity achieved 7 x 10$^{32}$ cm$^{-2}$ s$^{-1}$.


title: Calculations for Extended Thermodynamics of dense gases up to whatever order and with only some symmetries

abstract: The 14 moments model for dense gases, introduced in the last years by Ruggeri, Sugiyama and collaborators, is here considered. They have found the closure of the balance equations up to second order with respect to equilibrium; subsequently, Carrisi has found the closure up to whatever order with respect to equilibrium, but for a more constrained system where more symmetry conditions are imposed. Here the closure is obtained up to whatever order and without imposing the supplementary conditions. It comes out that the first non symmetric parts appear only at third order with respect to equilibrium, even if Ruggeri and Sugiyama found a non symmetric part proportional to an arbitrary constant also at first order with respect to equilibrium. Consequently, this constant must be zero, as Ruggeri, Sugiyama assumed in the applications and on an intuitive ground.


title: Real mutually unbiased bases and representations of groups of odd order by real scaled Hadamard matrices of 2-power size

abstract: We prove the following two results relating real mutually unbiased bases and representations of finite groups of odd order. Let $q$ be a power of 2 and $r$ a positive integer. Then we can find a $q^{2r}\times q^{2r}$ real orthogonal matrix $D$, say, of multiplicative order $q^{2r-1}+1$, whose $q^{2r-1}+1$ powers $D$, \dots, $D^{q^{2r-1}+1}=I$ define $q^{2r-1}+1$ mutually unbiased bases in $\mathbb{R}^{q^{2r}}$. Thus the scaled matrices $q^rD$, \dots, $q^rD^{q^{2r-1}}$ are $q^{2r-1}$ different Hadamard matrices. When we take $q=2$, we achieve the maximum number of real mutually unbiased bases in dimension $2^{2r}$ using the elements of a cyclic group. We also prove the following. Let $G$ be an arbitrary finite group of odd order $2k+1$, where $k\geq 3$. Then $G$ has a real representation $R$, say, of degree $2^{2^{k-1}}$ such that the elements $R(\sigma)$, $\sigma\in G$, define $|G|$ mutually unbiased bases in $\mathbb{R}^{d}$, where $d= 2^{2^{k-1}}$. In addition, a group of order 5 defines five real mutually unbiased bases in $\mathbb{R}^{16}$ and a group of order 3 defines three real mutually unbiased bases in $\mathbb{R}^{4}$. Thus, an arbitrary group of odd order has a faithful representation by real scaled Hadamard matrices of 2-power size.


title: Decoupling Multivariate Polynomials Using First-Order Information

abstract: We present a method to decompose a set of multivariate real polynomials into linear combinations of univariate polynomials in linear forms of the input variables. The method proceeds by collecting the first-order information of the polynomials in a set of operating points, which is captured by the Jacobian matrix evaluated at the operating points. The polyadic canonical decomposition of the three-way tensor of Jacobian matrices directly returns the unknown linear relations, as well as the necessary information to reconstruct the univariate polynomials. The conditions under which this decoupling procedure works are discussed, and the method is illustrated on several numerical examples.


title: The origin of spin in galaxies: clues from simulations of atomic cooling halos

abstract: In order to elucidate the origin of spin in both dark matter and baryons in galaxies, we have performed hydrodynamical simulations from cosmological initial conditions. We study atomic cooling haloes in the redshift range $100 > z > 9$ with masses of order $10^9{\rm M_{\odot}}$ at redshift $z=10$. We assume that the gas has primordial composition and that ${\rm H_2}$-cooling and prior star-formation in the haloes have been suppressed. We present a comprehensive analysis of the gas and dark matter properties of four halos with very low ($\lambda \approx 0.01$), low ($\lambda \approx 0.04$), high ($\lambda \approx 0.06$) and very high ($\lambda \approx 0.1$) spin parameter. Our main conclusion is that the spin orientation and magnitude is initially well described by tidal torque linear theory, but later on is determined by the merging and accretion history of each halo. We provide evidence that the topology of the merging region, i.e. the number of colliding filaments, gives an accurate prediction for the spin of dark matter and gas: halos at the center of knots will have low spin while those in the center of filaments will have high spin. The spin of a halo is given by $\lambda \approx 0.05 \times \left(\frac{7.6}{\rm number\,\,\, of \,\,\, filaments}\right)^{5.1}$.


title: Complexity Issues and Randomization Strategies in Frank-Wolfe Algorithms for Machine Learning

abstract: Frank-Wolfe algorithms for convex minimization have recently gained considerable attention from the Optimization and Machine Learning communities, as their properties make them a suitable choice in a variety of applications. However, as each iteration requires to optimize a linear model, a clever implementation is crucial to make such algorithms viable on large-scale datasets. For this purpose, approximation strategies based on a random sampling have been proposed by several researchers. In this work, we perform an experimental study on the effectiveness of these techniques, analyze possible alternatives and provide some guidelines based on our results.


title: The origin of Cosmic-Rays from SNRs: confirmations and challenges after the first direct proof

abstract: Until now, providing an experimental unambiguous proof of Cosmic Ray (CR) origin has been elusive. The SuperNova Remnant (SNR) study showed an increasingly complex scenario with a continuous elaboration of theoretical models. The middle-aged supernova remnant (SNR) W44 has recently attracted attention because of its relevance regarding the origin of Galactic cosmic-rays. The gamma-ray missions AGILE and Fermi have established, for the first time for a SNR, the spectral continuum below 200 MeV which can be attributed to neutral pion emission. Our work is focused on a global re-assessment of all available data and models of particle acceleration in W44 and our analysis strengthens previous studies and observations of the W44 complex environment, providing new information for a more detailed modeling. However, having determined the hadronic nature of the gamma-ray emission on firm ground, a number of theoretical challenges remains to be addressed in the context of CR acceleration in SNRs.


title: Higher Divergence Functions for Heisenberg Groups

abstract: We prove a Filling Theorem for the Heisenberg Groups $H^{2n+1}$: For a given $k$-cycle $a$ we construct a $(k+1)$-chain $b$ (the filling) with boundary $\partial b=a$ and controlled volume. For this filling $b$ we prove a uniform bound on the distance of points in $b$ to its boundary $a$. Using this we compute the higher divergence functions for the Heisenberg Groups $H^{2n+1}$. Further we generalise these results to the Jet-Groups $J^m(\mathbb R^n)$ for dimension less or equal $n$ .


title: Unified Analysis of Collapsible and Ordered Pushdown Automata via Term Rewriting

abstract: We model collapsible and ordered pushdown systems with term rewriting, by encoding higher-order stacks and multiple stacks into trees. We show a uniform inverse preservation of recognizability result for the resulting class of term rewriting systems, which is obtained by extending the classic saturation-based approach. This result subsumes and unifies similar analyses on collapsible and ordered pushdown systems. Despite the rich literature on inverse preservation of recognizability for term rewrite systems, our result does not seem to follow from any previous study.


title: Iteration Bounds for Finding the $\epsilon$-Stationary Points for Structured Nonconvex Optimization

abstract: In this paper we study proximal conditional-gradient (CG) and proximal gradient-projection type algorithms for a block-structured constrained nonconvex optimization model, which arises naturally from tensor data analysis. First, we introduce a new notion of $\epsilon$-stationarity, which is suitable for the structured problem under consideration. %, compared with other similar solution concepts. We then propose two types of first-order algorithms for the model based on the proximal conditional-gradient (CG) method and the proximal gradient-projection method respectively. If the nonconvex objective function is in the form of mathematical expectation, we then discuss how to incorporate randomized sampling to avoid computing the expectations exactly. For the general block optimization model, the proximal subroutines are performed for each block according to either the block-coordinate-descent (BCD) or the maximum-block-improvement (MBI) updating rule. If the gradient of the nonconvex part of the objective $f$ satisfies $\| \nabla f(x) - \nabla f(y)\|_q \le M \|x-y\|_p^\delta$ where $\delta=p/q$ with $1/p+1/q=1$, then we prove that the new algorithms have an overall iteration complexity bound of $O(1/\epsilon^q)$ in finding an $\epsilon$-stationary solution. If $f$ is concave then the iteration complexity reduces to $O(1/\epsilon)$. Our numerical experiments for tensor approximation problems show promising performances of the new solution algorithms.


title: Ground state properties of sub-Ohmic spin-boson model with simultaneous diagonal and off-diagonal coupling

abstract: By employing the variational approach, density matrix renormalization group (DMRG), exact diagonalization as well as symmetry and mean-field analyses, the ground state properties of the two-bath spin boson model with simultaneous diagonal and off-diagonal coupling are systematically studied in the sub-Ohmic regime. A novel quantum phase transition from a doubly degenerate "localized phase" to the other doubly degenerate "delocalized phase" is uncovered. Via the multi-D1 ansatz as the variational wave function, transition points are determined accurately, consistent with the results from DMRG and exact diagonalization. An effective spatial dimension $d_{eff} = 2.37(6)$ is then estimated, which is found to be compatible with the mean-field prediction. Furthermore, the quantum phase transition is inferred to be of first order for the baths described by a continuous spectral density function. In the case of single mode, however, the transition is softened.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el quant-ph


title: Separating Principles Below WKL0

abstract: In this paper, we study Ramsey-type Konig's Lemma, written RWKL, using a technique introduced by Lerman, Solomon, and the second author. This technique uses iterated forcing to construct an omega-model satisfying one principle T_1 but not another T_2. The technique often allows one to translate a "one step" construction (building an instance of T_2 along with a collection of solutions to each computable instance of T_1) into an omega-model separation (building a computable instance of T_2 together with a Turing ideal where T_1 holds). We illustrate this translation by separating d-DNR from DNR (reproving a result of Ambos-Spies, Kjos-Hanssen, Lempp, and Slaman), and then apply this technique to separate RWKL$ from DNR (which has been shown separately by Bienvenu, Patey, and Schafer).


title: Stability diagram of colliding beams

abstract: The effect of the beam-beam interactions on the stability of impedance mode is discussed. The detuning is evaluated by the means of single particle tracking in arbitrarily complex collision configurations, including lattice non-linearities, and used to numerically evaluate the dispersion integral. This approach also allows the effect of non-Gaussian distributions to be considered. Distributions modified by the action of external noise are discussed.


title: Modulational instability in wind-forced waves

abstract: We consider the wind-forced nonlinear Schroedinger (NLS) equation obtained in the potential flow framework when the Miles growth rate is of the order of the wave steepness. In this case, the form of the wind-forcing terms gives rise to the enhancement of the modulational instability and to a band of positive gain with infinite width. This regime is characterised by the fact that the ratio between wave momentum and norm is not a constant of motion, in contrast to what happens in the standard case where the Miles growth rate is of the order of the steepness squared.


title: Quasiparticle Damping of Surface Waves in Superfluid $^3$He and $^4$He

abstract: Oscillations on free surface of superfluids at the inviscid limit are damped by quasiparticle scattering. We have studied this effect in both superfluids $^3$He and $^4$He deep below the respective critical temperatures. Surface oscillators offer several benefits over immersed mechanical oscillators traditionally used for similar purposes. Damping is modeled as specular scattering of ballistic quasiparticles from the moving free surface. The model is in reasonable agreement with our measurements for superfluid $^4$He but significant deviation is found for $^3$He.


title: On the dynamics of random neuronal networks

abstract: We study the mean-field limit and stationary distributions of a pulse-coupled network modeling the dynamics of a large neuronal assemblies. Our model takes into account explicitly the intrinsic randomness of firing times, contrasting with the classical integrate-and-fire model. The ergodicity properties of the Markov process associated to finite networks are investigated. We derive the limit in distribution of the sample path of the state of a neuron of the network when its size gets large. The invariant distributions of this limiting stochastic process are analyzed as well as their stability properties. We show that the system undergoes transitions as a function of the averaged connectivity parameter, and can support trivial states (where the network activity dies out, which is also the unique stationary state of finite networks in some cases) and self-sustained activity when connectivity level is sufficiently large, both being possibly stable.


title: Thermodynamic calculation of the B-C system at pressures to 24 GPa

abstract: The evolution of topology of the B-C phase diagram has been studied at pressures up to 24 GPa using models of phenomenological thermodynamics with interaction parameters derived from experimental data on phase equilibria at high pressures and high temperatures.


title: Distributed Nonparametric Sequential Spectrum Sensing under Electromagnetic Interference

abstract: A nonparametric distributed sequential algorithm for quick detection of spectral holes in a Cognitive Radio set up is proposed. Two or more local nodes make decisions and inform the fusion centre (FC) over a reporting Multiple Access Channel (MAC), which then makes the final decision. The local nodes use energy detection and the FC uses mean detection in the presence of fading, heavy-tailed electromagnetic interference (EMI) and outliers. The statistics of the primary signal, channel gain or the EMI is not known. Different nonparametric sequential algorithms are compared to choose appropriate algorithms to be used at the local nodes and the FC. Modification of a recently developed random walk test is selected for the local nodes for energy detection as well as at the fusion centre for mean detection. It is shown via simulations and analysis that the nonparametric distributed algorithm developed performs well in the presence of fading, EMI and is robust to outliers. The algorithm is iterative in nature making the computation and storage requirements minimal.


title: Nonlocal effects: relevance for the spontaneous emission rates of quantum emitters coupled to plasmonic structures

abstract: The spontaneous emission rate of dipole emitters close to plasmonic dimers are theoretically studied within a nonlocal hydrodynamic model. A nonlocal model has to be used since quantum emitters in the immediate environment of a metallic nanoparticle probe its electronic structure. Compared to local calculations, the emission rate is significantly reduced. The influence is mostly pronounced if the emitter is located close to sharp edges. We suggest to use quantum emitters to test nonlocal effects in experimentally feasible configurations.


title: Beam-beam effects in space charge dominated ion beams

abstract: During low-energy operations below the regular injection energy in the Relativistic Heavy Ion Collider (RHIC), significant beam lifetime reductions due to the beam-beam interaction in conjunction with large space charge tune shifts have been observed. We report on dedicated experiments aimed at understanding this phenomenon as well as preliminary simulation results, and propose alternative working points to improve the beam lifetime in future lowenergy RHIC runs.


title: Graphyne on metallic surfaces: an improved graphene

abstract: We showed how a structural modification of graphene, which gives a carbon allotrope graphyne, can induce an energy gap at the K point of the Brillouin zone. Upon adsorption on metallic surfaces, the same mechanism is responsible for the further modification of the energy gap which occurs via the charge transfer mechanism. We performed the calculation based on the density functional theory with the novel non-local vdW-DF correlation of the adsorption of graphyne on Cu(111), Ni(111) and Co(0001) surfaces and showed the dependence of the gap change on the charge transfer in the system. The binding of graphyne appears to be stronger than of graphene on the same surfaces.


title: Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug

abstract: "This article describes software engineering techniques to be used in order to ensure the necessary quality of intelligent and therefore massive software-based systems in vehicles. Quality assurance for intelligent software is achieved through a bundle of modern software engineering methods. Architecture and design patterns for securing the software components are supplemented by test concepts and frameworks for validation and checks of robustness of the implementation. These patterns describe established and therefore consolidated solutions for certain problems as for instance reliability or efficient execution. -- Dieser Artikel skizziert, welche Software-Entwurfstechniken heute zum Einsatz kommen k\"onnen, um intelligente, Software-lastige Systeme im Fahrzeug abzusichern. Dabei spielt zun\"achst das Qualit\"atsmanagement durch Software-technische Ma{\ss}nahmen eine zentrale Rolle. Architektur- und Entwurfmuster f\"ur die Software-technische Absicherung von Komponenten werden erg\"anzt um Test-Konzepte zur Validierung von Spezifikationen und der Robustheit der Implementierung. Architekturen und Entwurfs-Muster beschreiben erprobte und damit konsolidierte L\"osungen f\"ur bestimmte Problemklassen wie etwa Zuverl\"assigkeit oder effiziente Ausf\"uhrung.


title: Blow-up results for a strongly perturbed semilinear heat equation: Theoretical analysis and numerical method

abstract: We consider a blow-up solution for a strongly perturbed semilinear heat equation with Sobolev subcritical power nonlinearity. Working in the framework of similarity variables, we find a Lyapunov functional for the problem. Using this Lyapunov functional, we derive the blow-up rate and the blow-up limit of the solution. We also classify all asymptotic behaviors of the solution at the singularity and give precisely blow-up profiles corresponding to these behaviors. Finally, we attain the blow-up profile numerically, thanks to a new mesh-refinement algorithm inspired by the rescaling method of Berger and Kohn in 1988. Note that our method is applicable to more general equations, in particular those with no scaling invariance.


title: Generalized Fibonacci and Lucas cubes arising from powers of paths and cycles

abstract: The paper deals with some generalizations of Fibonacci and Lucas sequences, arising from powers of paths and cycles, respectively. In the first part of the work we provide a formula for the number of edges of the Hasse diagram of the independent sets of the h-th power of a path ordered by inclusion. For h=1 such a diagram is called a Fibonacci cube, and for h>1 we obtain a generalization of the Fibonacci cube. Consequently, we derive a generalized notion of Fibonacci sequence, called h-Fibonacci sequence. Then, we show that the number of edges of a generalized Fibonacci cube is obtained by convolution of an h-Fibonacci sequence with itself. In the second part we consider the case of cycles. We evaluate the number of edges of the Hasse diagram of the independent sets of the hth power of a cycle ordered by inclusion. For h=1 such a diagram is called Lucas cube, and for h>1 we obtain a generalization of the Lucas cube. We derive then a generalized version of the Lucas sequence, called h-Lucas sequence. Finally, we show that the number of edges of a generalized Lucas cube is obtained by an appropriate convolution of an h-Fibonacci sequence with an h-Lucas sequence.


title: New PVLAS model independent limit for the axion coupling to $\gamma\gamma$ for axion masses above 1meV

abstract: During 2014 the PVLAS experiment has started data taking with a new apparatus installed at the INFN Section of Ferrara, Italy. The main target of the experiment is the observation of magnetic birefringence of vacuum. According to QED, the ellipticity generated by the magnetic birefringence of vacuum in the experimental apparatus is expected to be $\psi^{\rm(QED)} \approx 5\times10^{-11}$. No ellipticity signal is present so far with a noise floor $\psi^{\rm(noise)} \approx 2.5\times10^{-9}$ after 210 hours of data taking. The resulting ellipticity limit provides the best model independent upper limit on the coupling of axions to $\gamma\gamma$ for axion masses above $10^{-3}$eV.


title: Product Line Annotations with UML-F

abstract: The Unified Modeling Language (UML) community has started to define so-called profiles in order to better suit the needs of specific domains or settings. Product lines1 represent a special breed of systems they are extensible semi-finished pieces of software. Completing the semi-finished software leads to various software pieces, typically specific applications, which share the same core. Though product lines have been developed for a wide range of domains, they apply common construction principles. The intention of the UML-F profile (for framework architectures) is the definition of a UML subset, enriched with a few UML-compliant extensions, which allows the annotation of such artifacts. This paper presents aspects of the profile with a focus on patterns and exemplifies the profile's usage.


title: Locomotion in complex fluids: Integral theorems

abstract: The biological fluids encountered by self-propelled cells display complex microstructures and rheology. We consider here the general problem of low-Reynolds number locomotion in a complex fluid. {Building on classical work on the transport of particles in viscoelastic fluids,} we demonstrate how to mathematically derive three integral theorems relating the arbitrary motion of an isolated organism to its swimming kinematics {in a non-Newtonian fluid}. These theorems correspond to three situations of interest, namely (1) squirming motion in a linear viscoelastic fluid, (2) arbitrary surface deformation in a weakly non-Newtonian fluid, and (3) small-amplitude deformation in an arbitrarily non-Newtonian fluid. Our final results, valid for a wide-class of {swimmer geometry,} surface kinematics and constitutive models, at most require mathematical knowledge of a series of Newtonian flow problems, and will be useful to quantity the locomotion of biological and synthetic swimmers in complex environments.


title: Implicit Representations and Factorial Properties of Graphs

abstract: The idea of implicit representation of graphs was introduced in [S. Kannan, M. Naor, S. Rudich, Implicit representation of graphs, SIAM J. Discrete Mathematics, 5 (1992) 596--603] and can be defined as follows. A representation of an $n$-vertex graph $G$ is said to be implicit if it assigns to each vertex of $G$ a binary code of length $O(\log n)$ so that the adjacency of two vertices is a function of their codes. Since an implicit representation of an $n$-vertex graph uses $O(n\log n)$ bits, any class of graphs admitting such a representation contains $2^{O(n\log n)}$ labelled graphs with $n$ vertices. In the terminology of [J. Balogh, B. Bollob\'{a}s, D. Weinreich, The speed of hereditary properties of graphs, J. Combin. Theory B 79 (2000) 131--156] such classes have at most factorial speed of growth. In this terminology, the implicit graph conjecture can be stated as follows: every class with at most factorial speed of growth which is hereditary admits an implicit representation. The question of deciding whether a given hereditary class has at most factorial speed of growth is far from being trivial. In the present paper, we introduce a number of tools simplifying this question. Some of them can be used to obtain a stronger conclusion on the existence of an implicit representation. We apply our tools to reveal new hereditary classes with the factorial speed of growth. For many of them we show the existence of an implicit representation.


title: Sturmian words and the Stern sequence

abstract: Central, standard, and Christoffel words are three strongly interrelated classes of binary finite words which represent a finite counterpart of characteristic Sturmian words. A natural arithmetization of the theory is obtained by representing central and Christoffel words by irreducible fractions labeling respectively two binary trees, the Raney (or Calkin-Wilf) tree and the Stern-Brocot tree. The sequence of denominators of the fractions in Raney's tree is the famous Stern diatomic numerical sequence. An interpretation of the terms $s(n)$ of Stern's sequence as lengths of Christoffel words when $n$ is odd, and as minimal periods of central words when $n$ is even, allows one to interpret several results on Christoffel and central words in terms of Stern's sequence and, conversely, to obtain a new insight in the combinatorics of Christoffel and central words by using properties of Stern's sequence. One of our main results is a non-commutative version of the "alternating bit sets theorem" by Calkin and Wilf. We also study the length distribution of Christoffel words corresponding to nodes of equal height in the tree, obtaining some interesting bounds and inequalities.


title: Design of LDPC Code Ensembles with Fast Convergence Properties

abstract: The design of low-density parity-check (LDPC) code ensembles optimized for a finite number of decoder iterations is investigated. Our approach employs EXIT chart analysis and differential evolution to design such ensembles for the binary erasure channel and additive white Gaussian noise channel. The error rates of codes optimized for various numbers of decoder iterations are compared and it is seen that in the cases considered, the best performance for a given number of decoder iterations is achieved by codes which are optimized for this particular number. The design of generalized LDPC (GLDPC) codes is also considered, showing that these structures can offer better performance than LDPC codes for low-iteration-number designs. Finally, it is illustrated that LDPC codes which are optimized for a small number of iterations exhibit significant deviations in terms of degree distribution and weight enumerators with respect to LDPC codes returned by more conventional design tools.


title: Charge-impurity-induced Majorana fermions in topological superconductors

abstract: We study numerically Majorana fermions (MFs) induced by a charged impurity in topological superconductors. It is revealed from the relevant Bogoliubov-de Gennes equations that (i) for quasi-one dimensional systems, a pair of MFs are bounded at the two sides of one charge impurity and well separated; and (ii) for a two dimensional square lattice, the charged-impurity-induced MFs are similar to the known pair of vortex-induced MFs, in which one MF is bounded by the impurity while the other appears at the boundary. Moreover, the corresponding local density of states is explored, demonstrating that the presence of MF states may be tested experimentally.


title: On the Structure of the Initiation and Elongation Rates that Maximize Protein Production in the Ribosome Flow Model

abstract: Translation is a crucial step in gene expression. During translation, macromolecules called ribosomes "read" the mRNA strand in a sequential manner and produce a corresponding protein. Translation is known to consume most of the cell's energy. Maximizing the protein production rate in mRNA translation, subject to the bounded biomolecullar budget, is thus an important problem in both biology and biotechnology. We consider this problem using a mathematical model for mRNA translation called the ribosome flow model (RFM). For an mRNA strand with $n$ sites the RFM includes $n$ state-variables that encode the normalized ribosomal density at each site, and $n+1$ positive parameters: the initiation rate and elongation rates along the chain. An affine constraint on these rates is used to model the bounded cellular budget. We show that for a homogeneous constraint the rates that maximize the steady-state protein production rate have a special structure. They are symmetric with respect to the middle of the chain, and monotonically increase as we move towards the center of the chain. The ribosomal densities corresponding to the optimal rates monotonically decrease along the chain. We discuss some of the biological implications of these results.


title: Entanglement entropy in Galilean conformal field theories and flat holography

abstract: We present the analytical calculation of entanglement entropy for a class of two dimensional field theories governed by the symmetries of the Galilean conformal algebra, thus providing a rare example of such an exact computation. These field theories are the putative holographic duals to theories of gravity in three-dimensional asymptotically flat spacetimes. We provide a check of our field theory answers by an analysis of geodesics. We also exploit the Chern-Simons formulation of three-dimensional gravity and adapt recent proposals of calculating entanglement entropy by Wilson lines in this context to find an independent confirmation of our results from holography.


title: Functionally-fitted explicit pseudo two-step Runge-Kutta-Nystr\"om methods

abstract: A general class of functionally-fitted explicit pseudo two-step Runge-Kutta-Nystr\"{o}m (FEPTRKN) methods for solving second-order initial value problems has been studied. These methods can be considered generalized explicit pseudo two-step Runge-Kutta-Nystr\"{o}m (EPTRKN) methods. We proved that an $s$-stage FEPTRKN method has step order $p = s$ and stage order $r = s$ for any set of distinct collocation parameters $(c_i)_{i=1}^s$. Supperconvergence for the accuracy orders of these methods can be obtained if the collocation parameters $(c_i)_{i=1}^s$ satisfy some orthogonality conditions. We proved that an $s$-stage FEPTRKN method can attain accuracy order $p = s + 3$. Numerical experiments have shown that the new FEPTRKN methods work better than do EPTRKN methods on problems whose solutions can be well approximated by the functions in bases on which these FEPTRKN methods are developed.


title: A novel approach to the study of conformality in the SU(3) theory with multiple flavors

abstract: We investigate the transition between spontaneous chiral symmetry breaking and conformal behavior in the SU(3) theory with multiple fermion flavors. We propose a new strategy for studying this transition. Instead of changing the number of flavors, we lift the mass of a subset of the fermions, keeping the rest of the fermions near to the massless chiral limit in order to probe the transition. Dedicated to the 60th birthday of Academician Valery Rubakov.


title: Beam-beam effects under the influence of external noise

abstract: Fast external noise, which gives fluctuation into the beam orbit, is discussed in connection with beam-beam effects. Phase noise from crab cavities and detection devices (position monitor) and kicker noise from the bunch by bunch feedback system are the sources. Beam-beam collisions with fast orbit fluctuations with turn by turn or multi-turn correlations, cause emittance growth and luminosity degradation. We discuss the tolerance of the noise amplitude for LHC and HL-LHC.


title: An estimation procedure for the Linnik distribution

abstract: We propose estimators for the parameters of the Linnik L$(\alpha,\gamma)$ distribution. The estimators are derived from the moments of the log-transformed Linnik distributed random variable, and are shown to be asymptotically unbiased. The estimation algorithm is computationally simple and less restrictive. Our procedure is also tested using simulated data.


title: Towards Development of Correct Software using Views

abstract: This paper aims at integrating heterogeneous documents used in pragmatic software develpoment methods to describe views with a formal refinement based software development process. Therefore we propose an integrated semantics of heterogeneous documents based on a common system model and a set of syntactic development steps with a well-defined semantics for document evolution. The use of the development steps is demonstrated in a small example.


title: Higher Order Differentiation over Finite Fields with Applications to Generalising the Cube Attack

abstract: Higher order differentiation was introduced in a cryptographic context by Lai. Several attacks can be viewed in the context of higher order differentiations, amongst them the cube attack and the AIDA attack. All of the above have been developed for the binary case. We examine differentiation in larger fields, starting with the field $GF(p)$ of integers modulo a prime $p$. We prove a number of results on differentiating polynomials over such fields and then apply these techniques to generalising the cube attack to $GF(p)$. The crucial difference is that now the degree in each variable can be higher than one, and our proposed attack will differentiate several times with respect to each variable (unlike the classical cube attack and its larger field version described by Dinur and Shamir, both of which differentiate at most once with respect to each variable). Finally we describe differentiation over finite fields $GF(p^m)$ with $p^m$ elements and prove that it can be reduced to differentiation over $GF(p)$, so a cube attack over $GF(p^m)$ would be equivalent to cube attacks over $GF(p)$.


title: Gaia's potential for the discovery of circumbinary planets

abstract: The abundance and properties of planets orbiting binary stars - circumbinary planets - are largely unknown because they are difficult to detect with currently available techniques. Results from the Kepler satellite and other studies indicate a minimum occurrence rate of circumbinary giant planets of ~10 %, yet only a handful are presently known. Here, we study the potential of ESA's Gaia mission to discover and characterise extrasolar planets orbiting nearby binary stars by detecting the binary's periodic astrometric motion caused by the orbiting planet. We expect that Gaia will discover hundreds of giant planets around binaries with FGK dwarf primaries within 200 pc of the Sun, if we assume that the giant planet mass distribution and abundance are similar around binaries and single stars. If on the other hand all circumbinary gas giants have masses lower than two Jupiter masses, we expect only four detections. Gaia is critically sensitive to the properties of giant circumbinary planets and will therefore make the detailed study of their population possible. Gaia's precision is such that the distribution in mutual inclination between the binary and planetary orbital planes will be obtained. It also possesses the capacity to establish the frequency of planets across the H-R diagram, both as a function of mass and of stellar evolutionary state from pre-main sequence to stellar remnants. Gaia's discoveries can reveal whether a second epoch of planetary formation occurs after the red-giant phase.


title: Extreme value statistics for truncated Pareto-type distributions

abstract: Recently attention has been drawn to practical problems with the use of unbounded Pareto distributions, for instance when there are natural upper bounds that truncate the probability tail. Aban, Meerschaert and Panorska (2006) derived the maximum likelihood estimator for the Pareto tail index of a truncated Pareto distribution with a right truncation point $T$. The Hill (1975) estimator is then obtained by letting $T \to \infty$. The problem of extreme value estimation under right truncation was also introduced in Nuyts (2010) who proposed a similar estimator for the tail index and considered trimming of the number of extreme order statistics. Given that in practice one does not always know whether the distribution is truncated or not, we discuss estimators for the Pareto index and extreme quantiles both under truncated and non-truncated Pareto-type distributions. We also propose a truncated Pareto QQ-plot in order to help deciding between a truncated and a non-truncated case. In this way we extend the classical extreme value methodology adding the truncated Pareto-type model with truncation point $T \to \infty$ as the sample size $n \to \infty$. Finally we present some practical examples, asymptotics and simulation results.


title: Dirac Fermions in condensed matter and beyond

abstract: This review aims at a theoretical discussion of Dirac points in two-dimensional systems. Whereas Dirac points and Dirac fermions are prominent low-energy electrons in graphene (two-dimensional graphite), research on Dirac fermions in low-energy physics has spread beyond condensed-matter systems. In these alternative systems, a large versatility in the manipulation of the relevant band parameters can be achieved. This allows for a systematic study of the motion and different possible fusions of Dirac points, which are beyond the physical limits of graphene. We introduce the basic properties of Dirac fermions and the motion of Dirac points here and aim at a topological classification of these motions. The theoretical concepts are illustrated in particular model systems.


title: An upper bound on the k-modem illumination problem

abstract: A variation on the classical polygon illumination problem was introduced in [Aichholzer et. al. EuroCG'09]. In this variant light sources are replaced by wireless devices called k-modems, which can penetrate a fixed number k, of "walls". A point in the interior of a polygon is "illuminated" by a k-modem if the line segment joining them intersects at most k edges of the polygon. It is easy to construct polygons of n vertices where the number of k-modems required to illuminate all interior points is Omega(n/k). However, no non-trivial upper bound is known. In this paper we prove that the number of k-modems required to illuminate any polygon of n vertices is at most O(n/k). For the cases of illuminating an orthogonal polygon or a set of disjoint orthogonal segments, we give a tighter bound of 6n/k + 1. Moreover, we present an O(n log n) time algorithm to achieve this bound.


title: Polaronic high-temperature superconductivity in optimally doped bismuthate Ba0:63K0:37BiO3

abstract: Magnetic measurements have been carried out in the superconducting and normal states of the optimally doped nonmagnetic bismuthate superconductor Ba0.63K0.37BiO3. The magnetic data along with previous muSR, resistivity, and tunneling data consistently show that there is a large polaronic enhancement in the density of states and effective electron-phonon coupling constant. The first-principle calculation within the density-functional theory indicates a small electron-phonon coupling constant of about 0.3-0.4, which can only lead to about 1 K superconductivity within the conventional phonon-mediated mechanism. Remarkably, the polaronic effect increases the electron-phonon coupling constant to about 1.4, which is large enough to leads to 32 K superconductivity. The present work thus uncovers the mystery of high-temperature superconductivity in bismuthate superconductors, which will also provide important insight into the pairing mechanism of other high-temperature superconductors.


title: On a family of self-affine sets: topology, uniqueness, simultaneous expansions

abstract: Let $\beta_1,\beta_2>1$ and $T_i(x,y) = \bigl(\frac{x+i}{\beta_1}, \frac{y+i}{\beta_2}\bigr),\ i\in\{\pm1\}$. Let $A := A_{\beta_1, \beta_2}$ be the unique compact set satisfying $A = T_{1}(A) \cup T_{-1}(A)$. In this paper we give a detailed analysis of $A$, and the parameters $(\beta_1, \beta_2)$ where$A$ satisfies various topological properties. In particular, we show that if $\beta_1<\beta_2<1.202$,then $A$ has a non-empty interior, thus significantly improving the bound from [1]. In the opposite direction,we prove that the connectedness locus for this family studied in [16] is not simply connected.We prove that the set of points of $A$ which have a unique address has positive Hausdorff dimension for all $(\beta_1,\beta_2)$.Finally, we investigate simultaneous $(\beta_1,\beta_2)$-expansions of reals, which were the initial motivation for studying this family in [5].


title: Asymptotic formulae for the Lommel and Bessel functions and their derivatives

abstract: We derive new approximate representations of the Lommel functions in terms of the Scorer function and approximate representations of the first derivative of the Lommel functions in terms of the derivative of the Scorer function. Using the same method we obtain previously known approximate representations of the Nicholson type for Bessel functions and their first derivatives. We study also for what values of the parameters our representations have reasonable accuracy.


title: Search for $W' \to t\bar{b}$ in the lepton plus jets final state in proton-proton collisions at a centre-of-mass energy of $\sqrt{s}$ = 8 TeV with the ATLAS detector

abstract: A search for new charged massive gauge bosons, called $W'$, is performed with the ATLAS detector at the LHC, in proton-proton collisions at a centre-of-mass energy of $\sqrt{s}$ = 8 TeV, using a dataset corresponding to an integrated luminosity of 20.3 fb$^{-1}$. This analysis searches for $W'$ bosons in the $W' \to t\bar{b}$ decay channel in final states with electrons or muons, using a multivariate method based on boosted decision trees. The search covers masses between 0.5 and 3.0 TeV, for right-handed or left-handed $W'$ bosons. No significant deviation from the Standard Model expectation is observed and limits are set on the $W' \to t\bar{b}$ cross-section times branching ratio and on the $W'$-boson effective couplings as a function of the $W'$-boson mass using the CL$_s$ procedure. For a left-handed (right-handed) $W'$ boson, masses below 1.70 (1.92) TeV are excluded at 95% confidence level.


title: Geometric characterization of the Arjuna orbital domain

abstract: Arjuna-type orbits are characterized by being Earth-like, having both low-eccentricity and low-inclination. Objects following these trajectories experience repeated trappings in the 1:1 commensurability with the Earth and can become temporary Trojans, horseshoe librators, quasi-satellites, and even transient natural satellites. Here, we review what we know about this peculiar dynamical group and use a Monte Carlo simulation to characterize geometrically the Arjuna orbital domain, studying its visibility both from the ground and with the European Space Agency Gaia spacecraft. The visibility analysis from the ground together with the discovery circumstances of known objects are used as proxies to estimate the current size of this population. The impact cross-section of the Earth for minor bodies in this resonant group is also investigated. We find that, for ground-based observations, the solar elongation at perigee of nearly half of these objects is less than 90 degrees. They are best observed by space-borne telescopes, but Gaia is not going to improve significantly the current discovery rate for members of this class. Our results suggest that the size of this population may have been underestimated by current models. On the other hand, their intrinsically low encounter velocities with the Earth induce a 10-1000-fold increase in the impact cross-section with respect to what is typical for objects in the Apollo or Aten asteroid populations. We estimate that their probability of capture as transient natural satellites of our planet is about 8%.


title: Estimating with kernel smoothers the mean of functional data in a finite population setting. A note on variance estimation in presence of partially observed trajectories

abstract: In the near future, millions of load curves measuring the electricity consumption of French households in small time grids (probably half hours) will be available. All these collected load curves represent a huge amount of information which could be exploited using survey sampling techniques. In particular, the total consumption of a specific cus- tomer group (for example all the customers of an electricity supplier) could be estimated using unequal probability random sampling methods. Unfortunately, data collection may undergo technical problems resulting in missing values. In this paper we study a new estimation method for the mean curve in the presence of missing values which consists in extending kernel estimation techniques developed for longitudinal data analysis to sampled curves. Three nonparametric estimators that take account of the missing pieces of trajectories are suggested. We also study pointwise variance estimators which are based on linearization techniques. The particular but very important case of stratified sampling is then specifically studied. Finally, we discuss some more practical aspects such as choosing the bandwidth values for the kernel and estimating the probabilities of observation of the trajectories.


title: Low-|t| structures in elastic scattering at the LHC

abstract: Possible low-$|t|$ structures in the differential cross section of $pp$ elastic scattering at the LHC are predicted. It is argued that the change of the slope of the elastic cross section near $t=-0.1$ GeV$^2$ has the same origin as that observed in 1972 at the ISR, both related to the $4m_{\pi}^2$ branch point in the $|t|$-channel of the scattering amplitude. Apart from that structure, tiny oscillations at small $|t|$ may be present on the cone at low $|t|$.


title: Characterising cosmic inhomogeneity with anomalous diffusion

abstract: Dark matter (DM) clustering at the present epoch is investigated from a fractal viewpoint in order to determine the scale where the self-similar scaling property of the DM halo distribution transits to homogeneity. Methods based on well-established `counts-in-cells' as well as new methods based on anomalous diffusion and random walks are investigated. Both are applied to DM halos of the biggest N-Body simulation in the `Dark Sky Simulations' (DS) catalogue and an equivalent randomly distributed catalogue. Results based on the smaller `Millennium Run' (MR) simulation are revisited and improved. It is found that the MR simulation volume is too small and prone to bias to reliably identify the onset of homogeneity. Transition to homogeneity is defined when the fractal dimension of the clustered and random distributions cannot be distinguished within the associated uncertainties. The `counts-in-cells' method applied to the DS simulation then yields a homogeneity scale roughly consistent with previous work ($\sim 150$$h^{-1}$Mpc). The characteristic length-scale for anomalous diffusion to behave homogeneously is found to be at about 250$h^{-1}$Mpc. The behaviour of the fractal dimensions for a halo catalogue with the same two-point function as the original but with shuffled Fourier phases is investigated. The methods based on anomalous diffusion are shown to be sensitive to the phase information, whereas the `counts-in-cells' methods are not.


title: Parent Stars of Extrasolar Planets - XIV. Strong Evidence of Li Abundance Deficit

abstract: We report the results of our analysis of new high resolution spectra of 30 late-F to early-G dwarf field stars for the purpose of deriving their Li abundances. They were selected from the subsample of stars in the Valenti and Fischer compilation that are lacking detected planets. These new data serve to expand our comparison sample used to test whether stars with Doppler-detected giant planets display Li abundance anomalies. Our results continue to show that Li is deficient among stars with planets when compared to very similar stars that lack such planets. This conclusion is strengthened when we add literature data to ours in a consistent way. We present a table of stars with planets paired with very similar stars lacking planets, extending the recent similar results of Delgado Mena et al.


title: Recurrence relations in counting the pattern 13-2 in flattened permutations

abstract: We prove that the generating function for the number of flattened permutations having a given number of occurrences of the pattern 13-2 is rational, by using the recurrence relations and the kernel method.


title: The dynamics of general relativistic isotropic stellar cluster models -- Do relativistic extensions of the Plummer model exist?

abstract: We show that the general relativistic theory of the dynamics of isotropic stellar clusters can be developed essentially along the same lines as the Newtonian theory. We prove that the distribution function can be derived from any isotropic momentum moment and that every higher-order moment of the distribution can be written as an integral over a zeroth-order moment. We propose a mathematically simple expression for the distribution function of a family of isotropic general relativistic cluster models and investigate their dynamical properties. In the Newtonian limit, these models obtain a distribution function of the form F(E) ~ (E-E_0)^alpha, with E binding energy and E_0 a constant that determines the model's outer radius. The slope alpha sets the steepness of the distribution function and the corresponding radial density and pressure profiles. We show that the field equations only yield solutions with finite mass for alpha<3.5. Moreover, in the limit alpha->3.5, only Newtonian models exist. In other words: within the context of this family of models, no general relativistic version of the Plummer model exists. The most strongly bound model within the family is characterized by alpha=2.75 and a central redshift z_c~0.55.


title: How do galaxies build up their spin in the cosmic web?

abstract: Using the Horizon-AGN simulation we find a mass dependent spin orientation trend for galaxies: the spin of low-mass, rotation-dominated, blue, star-forming galaxies are preferentially aligned with their closest filament, whereas high-mass, velocity dispersion- supported, red quiescent galaxies tend to possess a spin perpendicular to these filaments. We explore the physical mechanisms driving galactic spin swings and quantify how much mergers and smooth accretion re-orient them relative to their host filaments and impact their shape. In particular, we analyze the effect of dispersion and morphology of galaxies and discuss potential tracers for prospective surveys.


title: Gegenbauer-Chebyshev Integrals and Radon Transforms

abstract: We suggest new modifications of Helgason's support theorems and descriptions of the kernels for several projectively equivalent transforms of integral geometry. The paper deals with the hyperplane Radon transform and its dual, the totally geodesic transforms on the sphere and the hyperbolic space, the spherical slice transform, and the spherical mean transform for spheres through the origin. The assumptions for functions are formulated in integral terms. The proofs rely on the properties of the Gegenbauer-Chebyshev integrals which generalize Abel type fractional integrals on the positive half-line.


title: A Direct Algorithm to Compute the Topological Euler Characteristic and Chern-Schwartz-MacPherson Class of Projective Complete Intersection Varieties

abstract: Let $V$ be a possibly singular scheme-theoretic complete intersection subscheme of $\mathbb{P}^n$ over an algebraically closed field of characteristic zero. Using a recent result of Fullwood ("On Milnor classes via invariants of singular subschemes", Journal of Singularities) we develop an algorithm to compute the Chern-Schwartz-MacPherson class and Euler characteristic of $V$. This algorithm complements existing algorithms by providing performance improvements in the computation of the Chern-Schwartz-MacPherson class and Euler characteristic for certain types of complete intersection subschemes of $\mathbb{P}^n$.


title: Fluctuation statistics in the scrape-off layer of Alcator C-Mod

abstract: We study long time series of the ion saturation current and floating potential, sampled by Langmuir probes dwelled in the outboard mid-plane scrape off layer and embedded in the lower divertor baffle of Alcator C-Mod. A series of ohmically heated L-mode plasma discharges is investigated with line-averaged plasma density ranging from n_e/n_G = 0.15 to 0.42, where n_G is the Greenwald density. All ion saturation current time series that are sampled in the far scrape-off layer are characterized by large-amplitude burst events. Coefficients of skewness and excess kurtosis of the time series obey a quadratic relationship and their histograms coincide partially upon proper normalization. Histograms of the ion saturation current time series are found to agree well with a prediction of a stochastic model for the particle density fluctuations in scrape-off layer plasmas. The distribution of the waiting times between successive large-amplitude burst events and of the burst amplitudes are approximately described by exponential distributions. The average waiting time and burst amplitude are found to vary weakly with the line-averaged plasma density. Conditional averaging reveals that the radial blob velocity, estimated from floating potential measurements, increases with the normalized burst amplitude in the outboard mid-plane scrape-off layer. For low density discharges, the conditionally averaged waveform of the floating potential associated with large amplitude bursts at the divertor probes has a dipolar shape. In detached divertor conditions the average waveform is random, indicating electrical disconnection of blobs from the sheaths at the divertor targets.