title: MAINT: Localization of Mobile Sensors with Energy Control

abstract: Localization is an important issue for Wireless Sensor Networks (WSN). A mobile sensor may change its position rapidly and thus require localization calls frequently. A localization may require network wide information and increase traffic over the network. It dissipates valuable energy for message communication. Thus localization is very costly. The control of the number of localization calls may save energy consumption, as it is rather expensive. To reduce the frequency of localization calls for a mobile sensor, we propose a technique that involves \textit{Mobility Aware Interpolation} (MAINT) for position estimation. It controls the number of localizations which gives much better result than the existing localization control schemes using mobility aware extrapolation. The proposed method involves very low arithmetic computation overheads. We find analytical expressions for the expected error in position estimation. A parameter, the time interval, has been introduced to externally control the energy dissipation. Simulation studies are carried out to compare the performances of the proposed method with some existing localization control schemes as well as the theoretical results. The simulation results shows that the expected error at any point of time may be computed from this expression. We have seen that constant error limit can be maintained increasing the time period of localization proportional to rate of change of direction of its motion. Increasing time period, the energy may be saved with a stable error limit.


title: St\"uckelberg Formulation of Holography

abstract: We suggest that holography can be formulated in terms of the information capacity of the St\"uckelberg degrees of freedom that maintain gauge invariance of the theory in the presence of an information boundary. These St\"uckelbergs act as qubits that account for a certain fraction of quantum information. Their information capacity is measured by the ratio of the inverse St\"uckelberg energy gap to the size of the system. Systems with the smallest gap are maximally holographic. For massless gauge systems this information measure is universally equal to the inverse coupling evaluated at the systems' length scale. In this language it becomes very transparent why the St\"uckelberg information capacity of black holes saturates the Bekenstein bound and accounts for the entire information of the system. The physical reason is that the strength of quantum interaction is bounded from below by the gravitational coupling, which scales as area. Observing the striking similarity between the scalings of the energy gap of the boundary St\"uckelberg modes and the Bogoliubov modes of critical many-body systems, we establish a connection between holography and quantum criticality through the correspondence between these modes.


title: Local duality in algebra and topology

abstract: The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of compact objects $\mathcal{K} \subset \mathcal{C}$ we construct local cohomology and local homology functors satisfying an abstract version of local duality. When specialized to the derived category of a commutative ring $A$ and a suitable ideal in $A$, we recover the classical local duality due to Grothendieck as well as generalizations by Greenlees and May. More generally, applying our result to the derived category of quasi-coherent sheaves on a quasi-compact and separated scheme $X$ implies the local duality theorem of Alonso Tarr\'io, Jerem\'ias L\'opez, and Lipman. As a second objective, we establish local duality for quasi-coherent sheaves over many algebraic stacks, in particular those arising naturally in stable homotopy theory. After constructing an appropriate model of the derived category in terms of comodules over a Hopf algebroid, we show that, in familiar cases, the resulting local cohomology and local homology theories coincide with functors previously studied by Hovey and Strickland. Furthermore, our framework applies to global and local stable homotopy theory, in a way which is compatible with the algebraic avatars of these theories. In order to aid computability, we provide spectral sequences relating the algebraic and topological local duality contexts.


title: Classification of holomorphic foliations of arbitrary codimension on Hopf manifolds

abstract: We classify nonsingular holomorphic distributions of arbitrary codimension on certain Hopf manifolds. We prove that all holomorphic distribution of codimension k on a generic Hopf manifold is induced by a mononial holomorphic k-form.


title: Software-Based Fault Recovery via Adaptive Diversity for COTS Multi-Core Processors

abstract: The ever growing demands of embedded systems to satisfy high computing performance and cost efficiency lead to the trend of using commercial off-the-shelf hardware. However, due to their highly integrated design they are becoming increasingly susceptible to hardware errors (e.g. caused by radiation-induced soft-errors or wear-out effects). Since such faults cannot be fully prevented, systems have to cope with their effects. At the same time there is the trend of multi-core processors in embedded systems. Approaches to achieve fault tolerance by using the multiple cores to establish redundancy have been presented in literature. However, typically only homogeneous redundancy techniques are considered to tolerate soft errors. However, there is a lack of appropriate reaction mechanisms for restoring the system in case of permanent hardware faults. Here, we propose the basic idea of enhancing multi-core redundancy techniques with a cost-efficient automated introduction of diversity in the executed software replicas. Recently, these automated software diversity techniques have attracted attention in the security domain. We propose to use these techniques to recover from permanent hardware faults. This is achieved by adapting the software execution in such a way that permanent faults are mitigated.


title: Dynamics of Chebyshev polynomials on $\mathbb{Z}_{2}$

abstract: The dynamical structure of Chebyshev polynomials on $\mathbb{Z}_2$, the ring of $2$-adic integers, is fully described by showing all its minimal subsystems and their attracting basins.


title: Primordial cosmic fluctuations for variable gravity

abstract: The observability of primordial cosmic fluctuations does not require a geometric horizon $H^{-1}$, which is exceeded temporarily by the wavelength of fluctuations. The primordial information can be protected against later thermal washout even if all relevant wavelengths remain smaller than $H^{-1}$. This is demonstrated by formulating the equations governing the cosmic fluctuations in a form that is manifestly invariant under conformal field transformations of the metric. Beyond the field equations this holds for the defining equation for the correlation function, as expressed by the inverse of the second functional derivative of the quantum effective action. An observable almost scale invariant spectrum does not need an expanding geometry. For a variable Planck mass it can even arise in flat Minkowski space.


title: Kinetic and Cyber

abstract: We compare and contrast situation awareness in cyber warfare and in conventional, kinetic warfare. Situation awareness (SA) has a far longer history of study and applications in such areas as control of complex enterprises and in conventional warfare, than in cyber warfare. Far more is known about the SA in conventional military conflicts, or adversarial engagements, than in cyber ones. By exploring what is known about SA in conventional, also commonly referred to as kinetic, battles, we may gain insights and research directions relevant to cyber conflicts. We discuss the nature of SA in conventional (often called kinetic) conflict, review what is known about this kinetic SA (KSA), and then offer a comparison with what is currently understood regarding the cyber SA (CSA). We find that challenges and opportunities of KSA and CSA are similar or at least parallel in several important ways. With respect to similarities, in both kinetic and cyber worlds, SA strongly impacts the outcome of the mission. Also similarly, cognitive biases are found in both KSA and CSA. As an example of differences, KSA often relies on commonly accepted, widely used organizing representation - map of the physical terrain of the battlefield. No such common representation has emerged in CSA, yet.


title: IBMMS Decision Support Tool For Management of Bank Telemarketing Campaigns

abstract: Although direct marketing is a good method for banks to utilize in the face of global competition and the financial crisis, it has been shown to exhibit poor performance. However, there are some drawbacks to direct campaigns, such as those related to improving the negative attributes that customers ascribe to banks. To overcome these problems, attractive long-term deposit campaigns should be organized and managed more effectively. The aim of this study is to develop an Intelligent Bank Market Management System (IBMMS) for bank managers who want to manage efficient marketing campaigns. IBMMS is the first system developed by combining the power of data mining with the capabilities of expert systems in this area. Moreover, IBMMS includes important features that enable it to be intelligent: a knowledge base, an inference engine and an advisor. Using this system, a manager can successfully direct marketing campaigns and follow the decision schemas of customers both as individuals and as a group; moreover, a manager can make decisions that lead to the desired response by customers.


title: Generating subtour elimination constraints for the TSP from pure integer solutions

abstract: The traveling salesman problem (TSP) is one of the most prominent combinatorial optimization problems. Given a complete graph G = (V, E) and non-negative distances d for every edge, the TSP asks for a shortest tour through all vertices with respect to the distances d. The method of choice for solving the TSP to optimality is a branch and cut approach. Usually the integrality constraints are relaxed first and all separation processes to identify violated inequalities are done on fractional solutions. In our approach we try to exploit the impressive performance of current ILP-solvers and work only with integer solutions without ever interfering with fractional solutions. We stick to a very simple ILP-model and relax the subtour elimination constraints only. The resulting problem is solved to integer optimality, violated constraints (which are trivial to find) are added and the process is repeated until a feasible solution is found. In order to speed up the algorithm we pursue several attempts to find as many relevant subtours as possible. These attempts are based on the clustering of vertices with additional insights gained from empirical observations and random graph theory. Computational results are performed on test instances taken from the TSPLIB95 and on random Euclidean graphs.


title: Central and medial quasigroups of small order

abstract: We enumerate central and medial quasigroups of order less than $128$ up to isomorphism, with the exception of those quasigroups that are isotopic to $C_4\times C_2^4$, $C_2^6$, $C_3^4$ or $C_5^3$. We give an explicit formula for the number of quasigroups that are affine over a finite cyclic group.


title: Equation of state and critical point behavior of hard-core double-Yukawa fluids

abstract: A theoretical study on the equation of state and the critical point behavior of hard-core double-Yukawa fluids is presented. Thermodynamic perturbation theory, restricted to first order in the inverse temperature and having the hard-sphere fluid as the reference system, is used to derive a relatively simple analytical equation of state of hard-core multi-Yukawa fluids. Using such an equation of state, the compressibility factor and phase behavior of six representative hard-core double-Yukawa fluids is examined and compared with available simulation results. The effect of varying the parameters of the hard-core double-Yukawa intermolecular potential on the location of the critical point is also analyzed using different perspectives. The relevance of this analysis for fluids whose molecules interact with realistic potentials is also pointed out.


title: The sharp maximal function approach to $L^{p}$ estimates for operators structured on H\"{o}rmander's vector fields

abstract: We consider a nonvariational degenerate elliptic operator structured on a system of left invariant, 1-homogeneous, H\"ormander's vector fields on a Carnot group in $R^{n}$, where the matrix of coefficients is symmetric, uniformly positive on a bounded domain of $R^{n}$ and the coefficients are bounded, measurable and locally VMO in the domain. We give a new proof of the interior $L^{p}$ estimates on the second order derivatives with respect to the vector fields, first proved by Bramanti-Brandolini in [Rend. Sem. Mat. dell'Univ. e del Politec. di Torino, Vol. 58, 4 (2000), 389-433], extending to this context Krylov' technique, introduced in [Comm. in P.D.E.s, 32 (2007), 453-475], consisting in estimating the sharp maximal function of the second order derivatives.


title: Data-driven estimation of neutral pileup particle multiplicity in high-luminosity hadron collider environments

abstract: The upcoming operation regimes of the Large Hadron Collider are going to place stronger requirements on the rejection of particles originating from pileup, i.e. from interactions between other protons. For this reason, particle weighting techniques have recently been proposed in order to subtract pileup at the level of individual particles. We describe a choice of weights that, unlike others that rely on particle proximity, exploits the particle-level kinematic signatures of the high-energy scattering and of the pileup interactions. We illustrate the use of the weights to estimate the number density of neutral pileup particles inside individual events, and we elaborate on the complementarity between ours and other methods. We conclude by suggesting the idea of combining different sets of weights with a view to exploiting different features of the underlying processes for improved pileup subtraction at higher luminosity.


title: The effect of recurrent mutations on genetic diversity in a large population of varying size

abstract: Recurrent mutations are a common phenomenon in population genetics. They may be at the origin of the fixation of a new genotype, if they give a phenotypic advantage to the carriers of the new mutation. In this paper, we are interested in the genetic signature left by a selective sweep induced by recurrent mutations at a given locus from an allele A to an allele a, depending on the mutation frequency. We distinguish three possible scales for the mutation probability per reproductive event, which entail distinct genetic signatures. Besides, we study the hydrodynamic limit of the A- and a-population size dynamics when mutations are frequent, and find non trivial equilibria leading to several possible patterns of polymorphism.


title: High Dynamic Range Pixel Array Detector for Scanning Transmission Electron Microscopy

abstract: We describe a hybrid pixel array detector (EMPAD - electron microscope pixel array detector) adapted for use in electron microscope applications, especially as a universal detector for scanning transmission electron microscopy. The 128 x 128 pixel detector consists of a 500 um thick silicon diode array bump-bonded pixel-by-pixel to an application-specific integrated circuit (ASIC). The in-pixel circuitry provides a 1,000,000:1 dynamic range within a single frame, allowing the direct electron beam to be imaged while still maintaining single electron sensitivity. A 1.1 kHz framing rate enables rapid data collection and minimizes sample drift distortions while scanning. By capturing the entire unsaturated diffraction pattern in scanning mode, one can simultaneously capture bright field, dark field, and phase contrast information, as well as being able to analyze the full scattering distribution, allowing true center of mass imaging. The scattering is recorded on an absolute scale, so that information such as local sample thickness can be directly determined. This paper describes the detector architecture, data acquisition (DAQ) system, and preliminary results from experiments with 80 to 200 keV electron beams.


title: Annihilation type rare radiative $B_{(s)}\to V\gamma$ decays

abstract: We obtain predictions for a number of radiative decays $B_{(s)}\to V\gamma$, $V$ the vector meson, which proceed through the weak-annihilation mechanism. Within the factorization approximation, we take into account the photon emission from the $B$-meson loop and from the vector-meson loop; the latter subprocesses were not considered in the previous analyses but are found to have sizeable impact on the $B_{(s)}\to V\gamma$ decay rate. The highest branching ratios for the weak-annihilation reactions reported here are ${\cal B}(\bar B^0_s\to J/\psi\gamma)=1.5\cdot 10^{-7}$ and ${\cal B}(B^-\to \bar D_s^{*-}\gamma)=1.7\cdot 10^{-7}$, the estimated accuracy of these predictions being at the level of 20\%.


title: FPGA-based Trigger System for the LUX Dark Matter Experiment

abstract: LUX is a two-phase (liquid/gas) xenon time projection chamber designed to detect nuclear recoils resulting from interactions with dark matter particles. Signals from the detector are processed with an FPGA-based digital trigger system that analyzes the incoming data in real-time, with just a few microsecond latency. The system enables first pass selection of events of interest based on their pulse shape characteristics and 3D localization of the interactions. It has been shown to be >99% efficient in triggering on S2 signals induced by only few extracted liquid electrons. It is continuously and reliably operating since its full underground deployment in early 2013. This document is an overview of the systems capabilities, its inner workings, and its performance.


title: Slices for maximal parabolic subalgebras of a semisimple Lie algebra

abstract: Let p be a maximal truncated parabolic subalgebra of a simple Lie Algebra. It was shown in many cases that the Poisson centre Y(p) is a polynomial algebra. We construct a slice for the coadjoint action of p, thus extending a theorem of Kostant. The role of the principal sl_2-triple is played by an adapted pair.


title: On the Formation of a Macroscopically Flat Phospholipid Membrane on a Hydrosol Substrate

abstract: The dependence of the structure of a phospholipid layer (DSPC and SOPC) adsorbed on a hydrosol substrate on the concentration of NaOH in a solution of 5-nm silica particles has been studied by X-ray reflectrometry with the use of synchrotron radiation. Profiles of the electron density (polarizability) have been reconstructed from the experimental data within a model-independent approach. According to these profiles, the thickness of the lipid film can vary from a monolayer (~ 35 Angstrom) to several bilayers (~ 450 Angstrom). At the volume concentration of NaOH of ~ 0.5 mol/L, the film on the hydrosol surface is a macroscopically flat phospholipid membrane (bilayer) with a thickness of ~ 60 Angstrom and with areas of 45 +/- 2 and 49 +/- 3 Angstrom^2 per DSPC and SOPC molecule, respectively.


title: Multi-soliton, multi-breather and higher-order rogue wave solutions to the complex short pulse equation

abstract: In the present paper, we are concerned with the general localized solutions for the complex short pulse equation including soliton, breather and rogue wave solutions. With the aid of a generalized Darboux transformation, we construct the $N$-bright soliton solution in a compact determinant form, then the $N$-breather solution including the Akhmediev breather and a general higher order rogue wave solution. The first- and second-order rogue wave solutions are given explicitly and illustrated by graphs. The asymptotic analysis is performed rigorously for both the $N$-soliton and the $N$-breather solutions. All three forms of the localized solutions admit either smoothed-, cusped- or looped-type ones for the CSP equation depending on the parameters. It is noted that, due to the reciprocal (hodograph) transformation, the rogue wave solution to the CSP equation is different from the one to the nonlinear Schr\"odinger (NLS) equation, which could be a cusponed- or a looped one.


title: Combined first-principles and model Hamiltonian study of the perovskite series RMnO3 (R = La, Pr, Nd, Sm, Eu and Gd)

abstract: We merge advanced ab initio schemes (standard density functional theory, hybrid functionals and the GW approximation) with model Hamiltonian approaches (tight-binding and Heisenberg Hamiltonian) to study the evolution of the electronic, magnetic and dielectric properties of the manganite family RMnO3 (R = La, Pr, Nd, Sm, Eu and Gd). The link between first principles and tight-binding is established by downfolding the physically relevant subset of 3d bands with e_g character by means of maximally localized Wannier functions (MLWFs) using the VASP2WANNIER90 interface. The MLWFs are then used to construct a tight-binding Hamiltonian. The dispersion of the TB e_g bands at all levels are found to match closely the MLWFs. We provide a complete set of TB parameters which can serve as guidance for the interpretation of future studies based on many-body Hamiltonian approaches. In particular, we find that the Hund's rule coupling strength, the Jahn-Teller coupling strength, and the Hubbard interaction parameter U remain nearly constant for all the members of the RMnO3 series, whereas the nearest neighbor hopping amplitudes show a monotonic attenuation as expected from the trend of the tolerance factor. Magnetic exchange interactions, computed by mapping a large set of hybrid functional total energies onto an Heisenberg Hamiltonian, clarify the origin of the A-type magnetic ordering observed in the early rare-earth manganite series as arising from a net negative out-of-plane interaction energy. The obtained exchange parameters are used to estimate the Neel temperature by means of Monte Carlo simulations. The resulting data capture well the monotonic decrease of the ordering temperature down the R series, in agreement with experiments.


title: Hierarchical Latent Semantic Mapping for Automated Topic Generation

abstract: Much of information sits in an unprecedented amount of text data. Managing allocation of these large scale text data is an important problem for many areas. Topic modeling performs well in this problem. The traditional generative models (PLSA,LDA) are the state-of-the-art approaches in topic modeling and most recent research on topic generation has been focusing on improving or extending these models. However, results of traditional generative models are sensitive to the number of topics K, which must be specified manually. The problem of generating topics from corpus resembles community detection in networks. Many effective algorithms can automatically detect communities from networks without a manually specified number of the communities. Inspired by these algorithms, in this paper, we propose a novel method named Hierarchical Latent Semantic Mapping (HLSM), which automatically generates topics from corpus. HLSM calculates the association between each pair of words in the latent topic space, then constructs a unipartite network of words with this association and hierarchically generates topics from this network. We apply HLSM to several document collections and the experimental comparisons against several state-of-the-art approaches demonstrate the promising performance.


title: Computing Quot schemes via marked bases over quasi-stable modules

abstract: Let $ \Bbbk$ be a field of arbitrary characteristic, $A$ a Noetherian $ \Bbbk$-algebra and consider the polynomial ring $A[\mathbf x]=A[x_0,\dots,x_n]$. We consider homogeneous submodules of $A[\mathbf x]^m$ having a special set of generators: a marked basis over a quasi-stable module. Such a marked basis inherits several good properties of a Gr\"obner basis, including a Noetherian reduction relation. The set of submodules of $A[\mathbf x]^m$ having a marked basis over a given quasi-stable module has an affine scheme structure that we are able to exhibit. Furthermore, the syzygies of a module generated by such a marked basis are generated by a marked basis, too (over a suitable quasi-stable module in $\oplus^{m'}_{i=1} A[\mathbf x](-d_i)$). We apply the construction of marked bases and related properties to the investigation of Quot functors (and schemes). More precisely, for a given Hilbert polynomial, we can explicitely construct (up to the action of a general linear group) an open cover of the corresponding Quot functor made up of open functors represented by affine schemes. This gives a new proof that the Quot functor is the functor of points of a scheme. We also exhibit a procedure to obtain the equations defining a given Quot scheme as a subscheme of a suitable Grassmannian. Thanks to the good behaviour of marked bases with respect to Castelnuovo-Mumford regularity, we can adapt our methods in order to study the locus of the Quot scheme given by an upper bound on the regularity of its points.


title: A Monte Carlo study of double logarithms in the small x region

abstract: We investigate the effect of the resummation of collinear double logarithms in the BFKL gluon Green function using the Monte Carlo event generator BFKLex. The resummed collinear terms in transverse momentum space were calculated in Ref. [1] and correspond to the addition to the NLO BFKL kernel of a Bessel function of the first kind whose argument contains the strong coupling and a double logarithm of the ratio of the squared transverse momenta of the reggeized gluons. We discuss how these additional terms improve the collinear convergence of the whole approach and reduce the asymptotic growth with energy of cross sections. Taking advantage of the Monte Carlo implementation, we show how the new results reduce the diffusion of the gluon ladder into infrared and ultraviolet transverse momentum scales, while strongly affecting final state configurations by reducing the mini-jet multiplicity.


title: Deforming D-brane models on $T^6/(\mathbb{Z}_2 \times \mathbb{Z}_{2M})$ orbifolds

abstract: We review the stabilisation of complex structure moduli in Type IIA orientifolds, especially on $T^6 / (\mathbb{Z}_2 \times \mathbb{Z}_6^\prime \times \Omega \mathcal{R})$ with discrete torsion, via deformations of $\mathbb{Z}_2 \times \mathbb{Z}_2$ orbifold singularities. While D6-branes in SO(2N) and USp(2N) models always preserve supersymmetry and thus give rise to flat directions, in an exemplary Pati-Salam model with only U(N) gauge groups ten out of the 15 deformation moduli can be stabilised at the orbifold point.


title: A rocky planet transiting a nearby low-mass star

abstract: M-dwarf stars -- hydrogen-burning stars that are smaller than 60 per cent of the size of the Sun -- are the most common class of star in our Galaxy and outnumber Sun-like stars by a ratio of 12:1. Recent results have shown that M dwarfs host Earth-sized planets in great numbers: the average number of M-dwarf planets that are between 0.5 to 1.5 times the size of Earth is at least 1.4 per star. The nearest such planets known to transit their star are 39 parsecs away, too distant for detailed follow-up observations to measure the planetary masses or to study their atmospheres. Here we report observations of GJ 1132b, a planet with a size of 1.2 Earth radii that is transiting a small star 12 parsecs away. Our Doppler mass measurement of GJ 1132b yields a density consistent with an Earth-like bulk composition, similar to the compositions of the six known exoplanets with masses less than six times that of the Earth and precisely measured densities. Receiving 19 times more stellar radiation than the Earth, the planet is too hot to be habitable but is cool enough to support a substantial atmosphere, one that has probably been considerably depleted of hydrogen. Because the host star is nearby and only 21 per cent the radius of the Sun, existing and upcoming telescopes will be able to observe the composition and dynamics of the planetary atmosphere.


title: Exchangeability, the 'Histogram Theorem', and population inference

abstract: Some practical results are derived for population inference based on a sample, under the two qualitative conditions of 'ignorability' and exchangeability. These are the 'Histogram Theorem', for predicting the outcome of a non-sampled member of the population, and its application to inference about the population, both without and with groups. There are discussions of parametric versus non-parametric models, and different approaches to marginalisation. An Appendix gives a self-contained proof of the Representation Theorem for finite exchangeable sequences.


title: Drawing from hats by noise-based logic

abstract: We utilize the asymmetric random telegraph wave-based instantaneous noise-base logic scheme to represent the problem of drawing numbers from a hat, and we consider two identical hats with the first 2^N integer numbers. In the first problem, Alice secretly draws an arbitrary number from one of the hats, and Bob must find out which hat is missing a number. In the second problem, Alice removes a known number from one of the hats and another known number from the other hat, and Bob must identify these hats. We show that, when the preparation of the hats with the numbers is accounted for, the noise-based logic scheme always provides an exponential speed-up and/or it requires exponentially smaller computational complexity than deterministic alternatives. Both the stochasticity and the ability to superpose numbers are essential components of the exponential improvement.


title: Parsing Squeezed Light into Polarization Manifolds

abstract: We investigate polarization squeezing in squeezed coherent states with varying coherent amplitudes. In contrast to the traditional characterization based on the full Stokes parameters, we experimentally determine the Stokes vector of each excitation manifold separately. Only for states with a fixed photon number do the methods coincide; when the photon number is indefinite, our approach gives a richer and deeper description. By capitalising on the properties of the Husimi Q function, we map this notion onto the Poincare space, providing a full account of the measured squeezing.


title: Polynomial diffusions on compact quadric sets

abstract: Polynomial processes are defined by the property that conditional expectations of polynomial functions of the process are again polynomials of the same or lower degree. Many fundamental stochastic processes, including affine processes, are polynomial, and their tractable structure makes them important in applications. In this paper we study polynomial diffusions whose state space is a compact quadric set. Necessary and sufficient conditions for existence, uniqueness, and boundary attainment are given. The existence of a convenient parameterization of the generator is shown to be closely related to the classical problem of expressing nonnegative polynomials---specifically, biquadratic forms vanishing on the diagonal---as a sum of squares. We prove that in dimension $d\le 4$ every such biquadratic form is a sum of squares, while for $d\ge6$ there are counterexamples. The case $d=5$ remains open. An equivalent probabilistic description of the sum of squares property is provided, and we show how it can be used to obtain results on pathwise uniqueness and existence of smooth densities.


title: A Location-Based Privacy Preserving Framework for M-Learning Adoption to Enhance Distance Education in Kenya: Literature Review

abstract: The aim of this paper is to study m-learning literature in order to propose and develop a privacy-preserving framework which can be used to foster sustainable deployment of mobile learning within open and distance education in Kenya. Location-based privacy in mobile learning is essential to retain users trust, key to influencing usage intention. Any risk on privacy can negatively affect users perceptions of a systems reliability and trustworthiness. While extant studies have proposed frameworks for mobile technologies adoption into learning, few have integrated privacy aspects and their influence on m-learning implementation. The framework would provide University management with informed approach to consider privacy preserving aspects in m-learning implementation. Also, it could provide enlightened guidance to mobile learning application developers on the need to cater for learners privacy aspects.


title: The dimension of projections of self-affine sets and measures

abstract: Let E be a plane self-affine set defined by affine transformations with linear parts given by matrices with positive entries. We show that if mu is a Bernoulli measure on E with dim_H mu = dim_L mu, where dim_H and dim_L denote Hausdorff and Lyapunov dimensions, then the projection of mu in all but at most one direction has Hausdorff dimension min{dim_H mu,1}. We transfer this result to sets and show that many self-affine sets have projections of dimension min{dim_H E,1} in all but at most one direction.


title: Nonradiative and radiative F\"orster energy transfer between quantum dots

abstract: We study theoretically nonradiative and radiative energy transfer between two localized quantum emitters, donor one (i.e. initially excited) and acceptor one (i.e. receiving the excitation). The rates of nonradiative and radiative processes are calculated depending on the spatial and spectral separation between donor and acceptor states and for different donor and acceptor lifetimes for typical parameters of semiconductor quantum dots. We find that the donor lifetime can be significantly modified only due to the nonradiative F\"orster energy transfer process at donor-acceptor separations $\sim 10~$nm (depending on the acceptor radiative lifetime) and for the energy detuning not larger than 1$\div$2 meV. The efficiency of the nonradiative F\"orster energy transfer process under these conditions is close to unity and decreases rapidly with the increase of donor-acceptor distance or energy detuning. At large donor-acceptor separations $>40~$nm the radiative corrections to the donor lifetime are comparable with nonradiative ones but are relatively weak.


title: A statistical study of decaying kink oscillations detected using SDO/AIA

abstract: Despite intensive studies of kink oscillations of coronal loops in the last decade, a large scale statistically significant investigation of the oscillation parameters has not been made using data from the Solar Dynamics Observatory (SDO). We carry out a statistical study of kink oscillations using Extreme Ultra-Violet (EUV) imaging data from a previously compiled catalogue. We analysed 58 kink oscillation events observed by the Atmospheric Imaging Assembly (AIA) onboard SDO during its first four years of operation (2010-2014). Parameters of the oscillations, including the initial apparent amplitude, period, length of the oscillating loop, and damping are studied for 120 individual loop oscillations. Analysis of the initial loop displacement and oscillation amplitude leads to the conclusion that the initial loop displacement prescribes the initial amplitude of oscillation in general. The period is found to scale with the loop length, and a linear fit of the data cloud gives a kink speed of Ck =(1330+/-50) km s-1 . The main body of the data corresponds to kink speeds in the range Ck =(800-3300) km s-1. Measurements of 52 exponential damping times were made, and it was noted that at least 22 of the damping profiles may be better approximated by a combination of non-exponential and exponential profiles, rather than a purely exponential damping envelope. There are an additional 10 cases where the profile appears to be purely non-exponential, and no damping time was measured. A scaling of the exponential damping time with the period is found, following the previously established linear scaling between these two parameters.


title: Environmental unpredictability and inbreeding depression select for mixed dispersal syndromes

abstract: Mixed dispersal syndromes have historically been regarded as bet-hedging mechanisms that enhance survival in unpredictable environments, ensuring that some propagules stay in the maternal environment while others can potentially colonize new sites. However, this entails paying the costs of both dispersal and non-dispersal. Propagules that disperse are likely to encounter unfavorable conditions for establishment, while non-dispersing propagules might form populations of close relatives burdened with inbreeding. Here, we investigate the conditions under which mixed dispersal syndromes emerge and are evolutionarily stable, taking into account the risks of both environmental unpredictability and inbreeding. Using mathematical and computational modeling we show that high dispersal propensity is favored whenever temporal environmental unpredictability is low and inbreeding depression high, whereas mixed dispersal syndromes are adaptive under conditions of high environmental unpredictability, but more particularly if also inbreeding depression is small. Although pure dispersers can be selected for under some circumstances, mixed dispersal provides the optimal strategy under most parameterizations of our models, indicating that this strategy is likely to be favored under a wide variety of conditions. Furthermore, populations exhibiting any single phenotype go inevitably extinct when environmental and genetic costs are high, whilst mixed strategies can maintain viable populations even under such conditions. Our models support the hypothesis that the interplay between inbreeding depression and environmental unpredictability shapes dispersal syndromes, often resulting in mixed strategies. Moreover, mixed dispersal seems to facilitate persistence whenever conditions are critical or nearly critical for survival.


title: Static Thin Disks with Haloes as Sources of Conformastatic Spacetimes

abstract: Two new families of exact solutions to the Einstein equations for a conformastatic spacetime with axial symmetry are presented which describe thin disks of dust immersed in a spheroidal halo. The solutions are obtained by expressing the metric function in terms of an auxiliary function which satisfies the Laplace equation, a characteristic property of the conformastatic spacetimes. The first family of solutions is obtained from the displacement, cut and reflexion method, which introduces a discontinuity in the first $z$-derivate of the metric tensor across the plane of the disk. The second family of solutions is obtained by using the oblate spheroidal coordinates because they adapt to the shape of the source and introduce naturally a cutting radius for the disk. The energy densities of the disk and the halo are everywhere positive and well behaved and their energy-momentum tensor agrees with all the energy conditions. Some particular solutions for the energy density of the disk and the halo are presented and the rotational curves are obtained by solving the geodesic equation for a particle that moves in circular orbits in the plane of the disk.


title: Distributed Coordinated Beamforming for Multi-cell Multigroup Multicast Systems

abstract: This paper considers coordinated multicast beamforming in a multi-cell wireless network. Each multiantenna base station (BS) serves multiple groups of single antenna users by generating a single beam with common data per group. The aim is to minimize the sum power of BSs while satisfying user-specific SINR targets. We propose centralized and distributed multicast beamforming algorithms for multi-cell multigroup systems. The NP-hard multicast problem is tackled by approximating it as a convex problem using the standard semidefinite relaxation method. The resulting semidefinite program (SDP) can be solved via centralized processing if global channel knowledge is available. To allow a distributed implementation, the primal decomposition method is used to turn the SDP into two optimization levels. The higher level is in charge of optimizing inter-cell interference while the lower level optimizes beamformers for given inter-cell interference constraints. The distributed algorithm requires local channel knowledge at each BS and scalar information exchange between BSs. If the solution has unit rank, it is optimal for the original problem. Otherwise, the Gaussian randomization method is used to find a feasible solution. The superiority of the proposed algorithms over conventional schemes is demonstrated via numerical evaluation.


title: Considerations on the radio emission from extended air showers

abstract: The process of radio emission from extended air showers produced by high energy cosmic rays has reached a good level of comprehension and prediction. It has a coherent nature, so the emitted power scales quadratically with the energy of the primary particle. Recently, a laboratory measurement has revealed that an incoherent radiation mechanism exists, namely, the bremsstrahlung emission. In this paper we expound why bremsstrahlung radiation, that should be present in showers produced by ultra high energy cosmic rays, has escaped detection so far, and why, on the other side, it could be exploited, in the 1--10~GHz frequency range, to detect astronomical $\gamma$-rays. We propose an experimental scheme to verify such hypothesis, which, if correct, would deeply impact on the observational $\gamma$-ray astronomy.


title: Gradient flow and IR fixed point in SU(2) with Nf=8 flavors

abstract: We study the running of the coupling in SU(2) gauge theory with 8 massless fundamental representation fermion flavours, using the gradient flow method with the Schr\"odinger functional boundary conditions. Gradient flow allows us to measure robust continuum limit for the step scaling function. The results show a clear indication of infrared fixed point consistent with perturbation theory.


title: Algebraic structure of the $L_2$ analytic Fourier-Feynman transform associated with Gaussian processes on Wiener space

abstract: In this paper we study algebraic structures of the classes of the $L_2$ analytic Fourier-Feynman transforms on Wiener space. To do this we first develop several rotation properties of the generalized Wiener integral associated with Gaussian processes. We then proceed to analyze the $L_2$ analytic Fourier-Feynman transforms associated with Gaussian processes. Our results show that these $L_2$ analytic Fourier--Feynman transforms are actually linear operator isomorphisms from a Hilbert space into itself. We finally investigate the algebraic structures of these classes of the transforms on Wiener space, and show that they indeed are group isomorphic.


title: A conditionally exactly solvable generalization of the inverse square root potential

abstract: We present a conditionally exactly solvable singular potential for the one-dimensional Schr\"odinger equation which involves the exactly solvable inverse square root potential. Each of the two fundamental solutions that compose the general solution of the problem is given by a linear combination with non-constant coefficients of two confluent hypergeometric functions. Discussing the bound-state wave functions vanishing both at infinity and in the origin, we derive the exact equation for the energy spectrum which is written using two Hermite functions of non-integer order. In specific auxiliary variables this equation becomes a mathematical equation that does not refer to a specific physical context discussed. In the two-dimensional space of these auxiliary variables the roots of this equation draw a countable infinite set of open curves with hyperbolic asymptotes. We present an analytic description of these curves by a transcendental algebraic equation for the involved variables. The intersections of the curves thus constructed with a certain cubic curve provide a highly accurate description of the energy spectrum.


title: Micro- and Nanoscale Heat Transfer in Femtosecond Laser Processing of Metals

abstract: Ultrafast laser material processing has received significant attention due to a growing need for the fabrication of miniaturized devices at micro- and nanoscales. The traditional phenomenological laws, such as Fourier's law of heat conduction, are challenged in the microscale regime and a hyperbolic or dual phase lag model should be employed. During ultrafast laser interaction with metal, the electrons and lattices are not in equilibrium. Various two-temperature models that can be used to describe the nonequilibrium heat transfer are presented. A semi-classical two-step heating model to investigate thermal transport in metals caused by ultrashort laser heating is also presented. The main difference between the semiclassical and the phenomenological two-temperature models is that the former includes the effects of electron drifting, which could result in significantly different electron and lattice temperature response from the latter for higher-intensity and shorter-pulse laser heating. Under higher laser fluence and/or short pulse, the lattice temperature can exceed the melting point and melting takes place. The liquid phase will be resolidified when the lattice is cooled by conducting heat away. Ultrafast melting and resolidification of the thin gold film and microparticles were investigated. At even shorter pulse width, femtosecond laser heating on metals produces a blasting force from hot electrons in the sub-picosecond domain, which exerts on the metal lattices along with the non-equilibrium heat flow. Our work that employs the parabolic two-step heating model to study the effect of the hot-electron blast in multi-layered thin metal films is also presented.


title: Analytical development of the lunisolar disturbing function and the critical inclination secular resonance

abstract: We provide a detailed derivation of the analytical expansion of the lunar and solar disturbing functions. Although there exist several papers on this topic, many derivations contain mistakes in the final expansion or rather (just) in the proof, thereby necessitating a recasting and correction of the original derivation. In this work, we provide a self-consistent and definite form of the lunisolar expansion. We start with Kaula's expansion of the disturbing function in terms of the equatorial elements of both the perturbed and perturbing bodies. Then we give a detailed proof of Lane's expansion, in which the elements of the Moon are referred to the ecliptic plane. Using this approach the inclination of the Moon becomes nearly constant, while the argument of perihelion, the longitude of the ascending node, and the mean anomaly vary linearly with time. We make a comparison between the different expansions and we profit from such discussion to point out some mistakes in the existing literature, which might compromise the correctness of the results. As an application, we analyze the long--term motion of the highly elliptical and critically--inclined Molniya orbits subject to quadrupolar gravitational interactions. The analytical expansions presented herein are very powerful with respect to dynamical studies based on Cartesian equations, because they quickly allow for a more holistic and intuitively understandable picture of the dynamics.


title: Chip-firing based methods in the Riemann--Roch theory of directed graphs

abstract: Baker and Norine proved a Riemann--Roch theorem for divisors on undirected graphs. The notions of graph divisor theory are in duality with the notions of the chip-firing game of Bj\"orner, Lov\'asz and Shor. We use this connection to prove Riemann--Roch-type results on directed graphs. We give a simple proof for a Riemann--Roch inequality on Eulerian directed graphs, improving a result of Amini and Manjunath. We also study possibilities and impossibilities of Riemann--Roch-type equalities in strongly connected digraphs and give examples. We intend to make the connections of this theory to graph theoretic notions more explicit via using the chip-firing framework.


title: Quantum Walks With Neutral Atoms: Quantum Interference Effects of One and Two Particles

abstract: We report on the state of the art of quantum walk experiments with neutral atoms in state-dependent optical lattices. We demonstrate a novel state-dependent transport technique enabling the control of two spin-selective sublattices in a fully independent fashion. This transport technique allowed us to carry out a test of single-particle quantum interference based on the violation of the Leggett-Garg inequality and, more recently, to probe two-particle quantum interference effects with neutral atoms cooled into the motional ground state. These experiments lay the groundwork for the study of discrete-time quantum walks of strongly interacting, indistinguishable particles to demonstrate quantum cellular automata of neutral atoms.


title: Dimension of Marginals of Kronecker Product Models

abstract: A Kronecker product model is the set of visible marginal probability distributions of an exponential family whose sufficient statistics matrix factorizes as a Kronecker product of two matrices, one for the visible variables and one for the hidden variables. We estimate the dimension of these models by the maximum rank of the Jacobian in the limit of large parameters. The limit is described by the tropical morphism; a piecewise linear map with pieces corresponding to slicings of the visible matrix by the normal fan of the hidden matrix. We obtain combinatorial conditions under which the model has the expected dimension, equal to the minimum of the number of natural parameters and the dimension of the ambient probability simplex. Additionally, we prove that the binary restricted Boltzmann machine always has the expected dimension.


title: Usage of Liquid Metals in the Positron Production System of Linear Collider

abstract: In this publication we collected descriptions of some installations with liquid metals which could be used for high-energy colliders, ILC particularly, for the purposes of targeting, collimation, cooling, collection of secondary particles etc. Some important components of the system with liquid metals, such as pumps, nozzles, windows, and the fluid dynamics in the Lithium lens are described also.


title: Quantum Jump from Singularity to Outside of Black Hole

abstract: Considering the role of black hole singularity in quantum evolution, a resolution to the firewall paradox is presented. It is emphasized that if an observer has the singularity as a part of his spacetime, then the semi-classical evolution would be non-unitary as viewed by him. Specifically, a free-falling observer inside the black hole would have a Hilbert space with non-unitary evolution; a quantum jump for particles encountering the singularity to outside of the horizon as late Hawking radiations. The non-unitariness in the jump resembles the one in collapse of wave function, but preserves entanglements. Accordingly, we elaborate the first postulate of black hole complementarity: freely falling observers who pass through the event horizon would have non-unitary evolution, while it does not have physically measurable effects for them. Besides, no information would be lost in the singularity. Taking the modified picture into account, the firewall paradox can be resolved, respecting No Drama. A by-product of our modification is that roughly half of the entropy of the black hole is released close to the end of evaporation in the shape of very hot Hawking radiation.


title: Point-to-set lengths, local structure, and glassiness

abstract: The growing sluggishness of glass-forming liquids is thought to be accompanied by growing structural order. The nature of such order, however, remains hotly debated. A decade ago, point-to-set (PTS) correlation lengths were proposed as measures of amorphous order in glass formers, but recent results raise doubts as to their generality. Here, we extend the definition of PTS correlations to agnostically capture any type of growing order in liquids, be it local or amorphous. This advance enables the formulation of a clear distinction between slowing down due to conventional critical ordering and that due to glassiness, and provides a unified framework to assess the relative importance of specific local order and generic amorphous order in glass formation.


title: Scattering amplitudes abandoning virtual particles

abstract: We emphasize that scattering amplitudes of a wide class of models to any order in the coupling are constructible by on-shell tree subamplitudes. This follows from the Feynman-tree theorem combined with BCFW on-shell recursion relations. In contrast to the usual Feynman diagrams, no virtual particles appear.


title: Federated Optimization:Distributed Optimization Beyond the Datacenter

abstract: We introduce a new and increasingly relevant setting for distributed optimization in machine learning, where the data defining the optimization are distributed (unevenly) over an extremely large number of \nodes, but the goal remains to train a high-quality centralized model. We refer to this setting as Federated Optimization. In this setting, communication efficiency is of utmost importance. A motivating example for federated optimization arises when we keep the training data locally on users' mobile devices rather than logging it to a data center for training. Instead, the mobile devices are used as nodes performing computation on their local data in order to update a global model. We suppose that we have an extremely large number of devices in our network, each of which has only a tiny fraction of data available totally; in particular, we expect the number of data points available locally to be much smaller than the number of devices. Additionally, since different users generate data with different patterns, we assume that no device has a representative sample of the overall distribution. We show that existing algorithms are not suitable for this setting, and propose a new algorithm which shows encouraging experimental results. This work also sets a path for future research needed in the context of federated optimization.


title: DataGrinder: Fast, Accurate, Fully non-Parametric Classification Approach Using 2D Convex Hulls

abstract: It has been a long time, since data mining technologies have made their ways to the field of data management. Classification is one of the most important data mining tasks for label prediction, categorization of objects into groups, advertisement and data management. In this paper, we focus on the standard classification problem which is predicting unknown labels in Euclidean space. Most efforts in Machine Learning communities are devoted to methods that use probabilistic algorithms which are heavy on Calculus and Linear Algebra. Most of these techniques have scalability issues for big data, and are hardly parallelizable if they are to maintain their high accuracies in their standard form. Sampling is a new direction for improving scalability, using many small parallel classifiers. In this paper, rather than conventional sampling methods, we focus on a discrete classification algorithm with O(n) expected running time. Our approach performs a similar task as sampling methods. However, we use column-wise sampling of data, rather than the row-wise sampling used in the literature. In either case, our algorithm is completely deterministic. Our algorithm, proposes a way of combining 2D convex hulls in order to achieve high classification accuracy as well as scalability in the same time. First, we thoroughly describe and prove our O(n) algorithm for finding the convex hull of a point set in 2D. Then, we show with experiments our classifier model built based on this idea is very competitive compared with existing sophisticated classification algorithms included in commercial statistical applications such as MATLAB.


title: Demonstration of KVN phase referencing capability

abstract: We present the results of Very Long Baseline Interferometry (VLBI) observations using the phase reference technique to detect weak Active Galactic Nuclei (AGN) cores in the Virgo cluster. Our observations were carried out using the Korean VLBI Network (KVN). We have selected eight representative radio galaxies, seven Virgo cluster members and one galaxy (NGC 4261) that is likely to be in the background. The selected galaxies are located in a range of density regions showing various morphology in 1.4 GHz continuum. Since half of our targets are too weak to be detected at K-band we applied a phase referencing technique to extend the source integration time by calibrating atmospheric phase fluctuations. We discuss the results of the phase referencing method at high frequency observations and we compare them with self-calibration on the relatively bright AGNs, such as M87, M84 and NGC 4261. In this manuscript we present the radio intensity maps at 22 GHz of the Virgo cluster sample while we demonstrate for first time the capability of KVN phase referencing technique.


title: Palatini formulation of non-local gravity

abstract: We derive the dynamical equations for a non-local gravity model in the Palatini formalism and we discuss some of the properties of this model. We have shown that, in some specific cases, the vacuum solutions of general relativity are also vacuum solutions of the non-local model, so we conclude that, at least in this case, the singularities of Einstein's gravity are not removed.


title: Critical growth fractional systems with exponential nonlinearity

abstract: We study the existence of positive solutions for the system of fractional elliptic equations of the type, \begin{equation*} \begin{array}{rl} (-\Delta)^{\frac{1}{2}} u &=\frac{p}{p+q}\lambda f(x)|u|^{p-2}u|v|^q + h_1(u,v) e^{u^2+v^2},\;\textrm{in}\; (-1, 1),\\ (-\Delta)^{\frac{1}{2}} v &=\frac{q}{p+q}\lambda f(x)|u|^p|v|^{q-2}v + h_2(u,v) e^{u^2+v^2},\;\textrm{in}\; (-1, 1), u,v&>0 \;\textrm{in } \; (-1,1), u&=v=0 \; \text{in} \; \mathbb R\setminus (-1,1). \end{array} \end{equation*} where {$1<p+q<2$}, $h_1(u,v)=(\alpha{+}2u^2)|u|^{\alpha-2}u|v|^\beta, h_2(u,v)=(\beta{+}2v^2) |u|^\alpha |v|^{\beta-2}v$ and ${\alpha+\beta>2}$. Here $(-\Delta)^{\frac{1}{2}}$ is the fractional Laplacian operator. We show the existence of multiple solutions for suitable range of $\lambda$ by analyzing the fibering maps and the corresponding Nehari manifold. We also study the existence of positive solutions for a superlinear system with critical growth exponential nonlinearity.


title: Contact Stiffness and Damping of Liquid Films in Dynamic Atomic Force Microscopy

abstract: Small-amplitude dynamic atomic force microscopy (dynamic-AFM) in a simple nonpolar liquid was studied through molecular dynamics simulations. We find that within linear dynamics regime, the contact stiffness and damping of the confined film exhibit the similar solvation force oscillations, and they are generally out-of-phase. For the solidified film with integer monolayer thickness, further compression of the film before layering transition leads to higher stiffness and lower damping. We find that molecular diffusion in the solidified film was nevertheless enhanced due to the mechanical excitation of AFM tip.


title: Evolution of Global Relativistic Jets: Collimations and Expansion with kKHI and the Weibel Instability

abstract: One of the key open questions in the study of relativistic jets is their interaction with the environment. Here, we study the initial evolution of both electron-proton and electron-positron relativistic jets, focusing on their lateral interaction with the ambient plasma. We trace the generation and evolution of the toroidal magnetic field generated by both kinetic Kelvin-Helmholtz (kKH) and Mushroom instabilities (MI). This magnetic field collimates the jet. We show that in electron-proton jet, electrons are perpendicularly accelerated with jet collimation. The magnetic polarity switches from the clockwise to anti-clockwise in the middle of jet, as the instabilities weaken. For the electron-positron jet, we find strong mixture of electron-positron with the ambient plasma, that results in the creation of a bow shock. Merger of magnetic field current filaments generate density bumps which initiate a forward shock. The strong mixing between jet and ambient particles prevents full development of the jet on the studied scale. Our results therefore provide a direct evidence for both jet collimation and particle acceleration in the created bow shock. Differences in the magnetic field structures generated by electron-proton and electron-positron jets may contribute to observable differences in the polarized properties of emission by electrons.


title: Computable Absolutely Normal Numbers and Discrepancies

abstract: We analyze algorithms that output absolutely normal numbers digit-by-digit with respect to quality of convergence to normality of the output, measured by the discrepancy. We consider explicit variants of algorithms by Sierpinski, by Turing and an adaption of constructive work on normal numbers by Schmidt. There seems to be a trade-off between the complexity of the algorithm and the speed of convergence to normality of the output.


title: The motion of two identical masses connected by an ideal string symmetrically placed over a corner

abstract: We introduce a novel, two-mass system that slides up an inclined plane while its center of mass moves down. The system consists of two identical masses connected by an ideal string symmetrically placed over a corner-shaped support. This system is similar to a double-cone that rolls up an inclined set of V-shaped rails. We find the double-cone's motion easy to demonstrate but difficult to analyze. Our example here is more straightforward to follow, and the experimental observations are in good agreement with the theoretical predictions.


title: Positive solutions to indefinite Neumann problems when the weight has positive average

abstract: We deal with positive solutions for the Neumann boundary value problem associated with the scalar second order ODE $$ u" + q(t)g(u) = 0, \quad t \in [0, T], $$ where $g: [0, +\infty[\, \to \mathbb{R}$ is positive on $\,]0, +\infty[\,$ and $q(t)$ is an indefinite weight. Complementary to previous investigations in the case $\int_0^T q(t) < 0$, we provide existence results for a suitable class of weights having (small) positive mean, when $g'(x) < 0$ at infinity. Our proof relies on a shooting argument for a suitable equivalent planar system of the type $$ x' = y, \qquad y' = h(x)y^2 + q(t), $$ with $h(x)$ a continuous function defined on the whole real line.


title: Quantum interference shifts in laser spectroscopy with elliptical polarization

abstract: We investigate the quantum interference shifts between energetically close states, where the state structure is observed by laser spectroscopy. We report a compact and analytical expression that models the quantum interference induced shift for any admixture of circular polarization of the incident laser and angle of observation. An experimental scenario free of quantum interference can thus be predicted with this formula. Although, this study is exemplified here for muonic deuterium, it can be applied to any other laser spectroscopy measurement of $ns-n'p$ frequencies of a nonrelativistic atomic system, via a $ns\rightarrow n'p \rightarrow n"s $ scheme.


title: K\"ahlerian Effective Potentials for Chern-Simons-Matter Theories

abstract: In this paper, we will calculate the effective potential for a theory of multiple M2-branes. As the theory of multiple M2-branes can be described by a Chern-Simons-matter theory, this will be done by calculating the K\"ahlerian effective potential for a Chern-Simons-matter theory. This calculation will be performed in $\mathcal{N} = 1$ superspace formalism. We will initially study an Abelian Chern-Simons-matter theory, and then generalize those results to the full non-Abelian Chern-Simons-matter theory. We will obtain explicit expressions for the superpropagators for this theory. These superpropagators will be used to calculate the one-loop effective potential.


title: The Omega-Infinity Limit of Single Spikes

abstract: A new infinite-size limit of strings in RxS2 is presented. The limit is obtained from single spike strings by letting by letting the angular velocity parameter omega become infinite. We derive the energy-momenta relation of omega-infinity single spikes as their linear velocity v-->1 and their angular momentum J-->1. Generally, the v-->1, J-->1 limit of single spikes is singular and has to be excluded from the spectrum and be studied separately. We discover that the dispersion relation of omega-infinity single spikes contains logarithms in the limit J-->1. This result is somewhat surprising, since the logarithmic behavior in the string spectra is typically associated with their motion in non-compact spaces such as AdS. Omega-infinity single spikes seem to completely cover the surface of the 2-sphere they occupy, so that they may essentially be viewed as some sort of "brany strings". A proof of the sphere-filling property of omega-infinity single spikes is given in the appendix.


title: On the number of ordinary conics

abstract: We prove a lower bound on the number of ordinary conics determined by a finite point set in $\mathbb{R}^2$. An ordinary conic for a subset $S$ of $\mathbb{R}^2$ is a conic that is determined by five points of $S$, and contains no other points of $S$. Wiseman and Wilson proved the Sylvester-Gallai-type statement that if a finite point set is not contained in a conic, then it determines at least one ordinary conic. We give a simpler proof of their result and then combine it with a result of Green and Tao to prove our main result: If $S$ is not contained in a conic and has at most $c|S|$ points on a line, then $S$ determines $\Omega_c(|S|^4)$ ordinary conics. We also give a construction, based on the group structure of elliptic curves, that shows that the exponent in our bound is best possible.


title: Higher traces, noncommutative motives, and the categorified Chern character

abstract: We propose a categorification of the Chern character that refines earlier work of To\"en and Vezzosi and of Ganter and Kapranov. If X is an algebraic stack, our categorified Chern character is a symmetric monoidal functor from a category of mixed noncommutative motives over X, which we introduce, to S1-equivariant perfect complexes on the derived free loop stack LX. As an application of the theory, we show that To\"en and Vezzosi's secondary Chern character factors through secondary K-theory. Our techniques depend on a careful investigation of the functoriality of traces in symmetric monoidal (infinity,n)-categories, which is of independent interest.


title: The effect of the fifth-order nonlinearity on the existence of bright solitons below the modulation instability threshold

abstract: We analyze three different high-order nonlinear Schr\"{o}dinger equation (HONLSE) models that have been used in the literature to describe the evolution of slowly modulated gravity waves on the surface of ideal finite-depth fluid. We demonstrate that the inclusion of the fifth-order nonlinear term to the HONLSE model introduces only a small correction to the amplitude of the bright HONLSE soliton solutions obtained without this term. Such soliton slutions behave as quasi-solitons in this more general case.


title: (Stable) rationality is not deformation invariant

abstract: We prove the existence of a family $\mathcal{X}\rightarrow B$ of smooth projective fourfolds, such that the very general fiber $\mathcal{X}_t$ is not stably rational (a fortiori not rational), but some special fibers $\mathcal{X}_t$ are rational (a fortiori stably rational).


title: The Fourier Transform of Poisson Multinomial Distributions and its Algorithmic Applications

abstract: An $(n, k)$-Poisson Multinomial Distribution (PMD) is a random variable of the form $X = \sum_{i=1}^n X_i$, where the $X_i$'s are independent random vectors supported on the set of standard basis vectors in $\mathbb{R}^k.$ In this paper, we obtain a refined structural understanding of PMDs by analyzing their Fourier transform. As our core structural result, we prove that the Fourier transform of PMDs is {\em approximately sparse}, i.e., roughly speaking, its $L_1$-norm is small outside a small set. By building on this result, we obtain the following applications: {\bf Learning Theory.} We design the first computationally efficient learning algorithm for PMDs with respect to the total variation distance. Our algorithm learns an arbitrary $(n, k)$-PMD within variation distance $\epsilon$ using a near-optimal sample size of $\widetilde{O}_k(1/\epsilon^2),$ and runs in time $\widetilde{O}_k(1/\epsilon^2) \cdot \log n.$ Previously, no algorithm with a $\mathrm{poly}(1/\epsilon)$ runtime was known, even for $k=3.$ {\bf Game Theory.} We give the first efficient polynomial-time approximation scheme (EPTAS) for computing Nash equilibria in anonymous games. For normalized anonymous games with $n$ players and $k$ strategies, our algorithm computes a well-supported $\epsilon$-Nash equilibrium in time $n^{O(k^3)} \cdot (k/\epsilon)^{O(k^3\log(k/\epsilon)/\log\log(k/\epsilon))^{k-1}}.$ The best previous algorithm for this problem had running time $n^{(f(k)/\epsilon)^k},$ where $f(k) = \Omega(k^{k^2})$, for any $k>2.$ {\bf Statistics.} We prove a multivariate central limit theorem (CLT) that relates an arbitrary PMD to a discretized multivariate Gaussian with the same mean and covariance, in total variation distance. Our new CLT strengthens the CLT of Valiant and Valiant by completely removing the dependence on $n$ in the error bound.

categories: cs.DS cs.GT cs.LG math.PR math.ST stat.TH


title: Non-local polarization feedback in a fractional quantum Hall ferromagnet

abstract: In a quantum Hall ferromagnet, the spin polarization of the two-dimensional electron system can be dynamically transferred to nuclear spins in its vicinity through the hyperfine interaction. The resulting nuclear field typically acts back locally, modifying the local electronic Zeeman energy. Here we report a non-local effect arising from the interplay between nuclear polarization and the spatial structure of electronic domains in a $\nu=2/3$ fractional quantum Hall state. In our experiments, we use a quantum point contact to locally control and probe the domain structure of different spin configurations emerging at the spin phase transition. Feedback between nuclear and electronic degrees of freedom gives rise to memristive behavior, where electronic transport through the quantum point contact depends on the history of current flow. We propose a model for this effect which suggests a novel route to studying edge states in fractional quantum Hall systems and may account for so-far unexplained oscillatory electronic-transport features observed in previous studies.


title: The Gini Coefficient as a Tool for Image Family Idenitification in Strong Lensing Systems with Multiple Images

abstract: The sample of cosmological strong lensing systems has been steadily growing in recent years and with the advent of the next generation of space-based survey telescopes, the sample will reach into the thousands. The accuracy of strong lens models relies on robust identification of multiple image families of lensed galaxies. For the most massive lenses, often more than one background galaxy is magnified and multiply-imaged, and even in the cases of only a single lensed source, identification of counter images is not always robust. Recently, we have shown that the Gini coefficient in space-telescope-quality imaging is a measurement of galaxy morphology that is relatively well-preserved by strong gravitational lensing. Here, we investigate its usefulness as a diagnostic for the purposes of image family identification and show that it can remove some of the degeneracies encountered when using color as the sole diagnostic, and can do so without the need for additional observations since whenever a color is available, two Gini coefficients are as well.


title: Optimised determinisation and completion of finite tree automata

abstract: Determinisation and completion of finite tree automata are important operations with applications in program analysis and verification. However, the complexity of the classical procedures for determinisation and completion is high. They are not practical procedures for manipulating tree automata beyond very small ones. In this paper we develop an algorithm for determinisation and completion of finite tree automata, whose worst-case complexity remains unchanged, but which performs far better than existing algorithms in practice. The critical aspect of the algorithm is that the transitions of the determinised (and possibly completed) automaton are generated in a potentially very compact form called product form, which can reduce the size of the representation dramatically. Furthermore, the representation can often be used directly when manipulating the determinised automaton. The paper contains an experimental evaluation of the algorithm on a large set of tree automata examples.


title: Optimizing the first eigenvalue of some quasilinear operators with respect to the boundary conditions

abstract: We consider a class of quasilinear operators on a bounded domain $\Omega\subset \mathbb R^n$ and address the question of optimizing the first eigenvalue with respect to the boundary conditions, which are of the Robin-type. We describe the optimizing boundary conditions and establish upper and lower bounds on the respective maximal and minimal eigenvalue.


title: Information exchange on an academic social networking site: A multidiscipline comparison on researchgate Q&A

abstract: The increasing popularity of academic social networking sites (ASNSs) requires studies on the usage of ASNSs among scholars and evaluations of the effectiveness of these ASNSs. However, it is unclear whether current ASNSs have fulfilled their design goal, as scholars' actual online interactions on these platforms remain unexplored. To fill the gap, this article presents a study based on data collected from ResearchGate. Adopting a mixed-method design by conducting qualitative content analysis and statistical analysis on 1,128 posts collected from ResearchGate Q&A, we examine how scholars exchange information and resources, and how their practices vary across three distinct disciplines: library and information services, history of art, and astrophysics. Our results show that the effect of a questioner's intention (i.e., seeking information or discussion) is greater than disciplinary factors in some circumstances. Across the three disciplines, responses to questions provide various resources, including experts' contact details, citations, links to Wikipedia, images, and so on. We further discuss several implications of the understanding of scholarly information exchange and the design of better academic social networking interfaces, which should stimulate scholarly interactions by minimizing confusion, improving the clarity of questions, and promoting scholarly content management.


title: Ab Initio Quantum Monte Carlo Simulations of the Uniform Electron Gas without Fixed Nodes

abstract: The uniform electron gas (UEG) at finite temperature is of key relevance for many applications in the warm dense matter regime, e.g. dense plasmas and laser excited solids. Also, the quality of density functional theory calculations crucially relies on the availability of accurate data for the exchange-correlation energy. Recently, new benchmark results for the N = 33 spin-polarized electrons at high density, r_s = r/a_B <= 4 and low temperature, have been obtained with the configuration path integral Monte Carlo (CPIMC) method [T. Schoof et al., Phys. Rev. Lett. 115, 130402 (2015)]. To achieve these results, the original CPIMC algorithm [T. Schoof et al., Contrib. Plasma Phys. 51, 687 (2011)] had to be further optimized to cope with the fermion sign problem (FSP). It is the purpose of this paper to give detailed information on the manifestation of the FSP in CPIMC simulations of the UEG and to demonstrate how it can be turned into a controllable convergence problem. In addition, we present new thermodynamic results for higher temperatures. Finally, to overcome the limitations of CPIMC towards strong coupling, we invoke an independent method|the recently developed permutation blocking path integral Monte Carlo approach [T. Dornheim et al., accepted for publication in J. Chem Phys., arXiv:1508.03221]. The combination of both approaches is able to yield ab initio data for the UEG over the entire density range, above a temperature of about one half of the Fermi temperature. Comparison with restricted path integral Monte Carlo data [E. W. Brown et al., Phys. Rev. Lett. 110, 146405 (2013)] allows us to quantify the systematic error arising from the free particle nodes.


title: A polyphase filter for many-core architectures

abstract: In this article we discuss our implementation of a polyphase filter for real-time data processing in radio astronomy. We describe in detail our implementation of the polyphase filter algorithm and its behaviour on three generations of NVIDIA GPU cards, on dual Intel Xeon CPUs and the Intel Xeon Phi (Knights Corner) platforms. All of our implementations aim to exploit the potential for data reuse that the algorithm offers. Our GPU implementations explore two different methods for achieving this, the first makes use of L1/Texture cache, the second uses shared memory. We discuss the usability of each of our implementations along with their behaviours. We measure performance in execution time, which is a critical factor for real-time systems, we also present results in terms of bandwidth (GB/s), compute (GFlop/s) and type conversions (GTc/s). We include a presentation of our results in terms of the sample rate which can be processed in real-time by a chosen platform, which more intuitively describes the expected performance in a signal processing setting. Our findings show that, for the GPUs considered, the performance of our polyphase filter when using lower precision input data is limited by type conversions rather than device bandwidth. We compare these results to an implementation on the Xeon Phi. We show that our Xeon Phi implementation has a performance that is 1.47x to 1.95x greater than our CPU implementation, however is not insufficient to compete with the performance of GPUs. We conclude with a comparison of our best performing code to two other implementations of the polyphase filter, showing that our implementation is faster in nearly all cases. This work forms part of the Astro-Accelerate project, a many-core accelerated real-time data processing library for digital signal processing of time-domain radio astronomy data.


title: Boundedness of single layer potentials associated to divergence form parabolic equations with complex coefficients

abstract: We consider parabolic operators of the form $$\partial_t+\mathcal{L},\ \mathcal{L}:=-\mbox{div}\, A(X,t)\nabla,$$ in $\mathbb R_+^{n+2}:=\{(X,t)=(x,x_{n+1},t)\in \mathbb R^{n}\times \mathbb R\times \mathbb R:\ x_{n+1}>0\}$, $n\geq 1$. We assume that $A$ is a $(n+1)\times (n+1)$-dimensional matrix which is bounded, measurable, uniformly elliptic and complex, and we assume, in addition, that the entries of A are independent of the spatial coordinate $x_{n+1}$ as well as of the time coordinate $t$. We prove that the boundedness of associated single layer potentials, with data in $L^2$, can be reduced to two crucial estimates, one being a square function estimate involving the single layer potential. By establishing a local parabolic Tb-theorem for square functions we are then able to verify the two crucial estimates in the case of real, symmetric operators. As part of this argument we establish a scale-invariant reverse H{\"o}lder inequality for the parabolic Poisson kernel. Our results are important when addressing the solvability of the classical Dirichlet, Neumann and Regularity problems for the operator $\partial_t+\mathcal{L}$ in $\mathbb R_+^{n+2}$, with $L^2$-data on $\mathbb R^{n+1}=\partial\mathbb R_+^{n+2}$, and by way of layer potentials.


title: The impulse observations of random process generate information binding reversible micro and irreversible macro processes in Observer: regularities, limitations, and conditions of self-creation

abstract: What is information originating in observation? Until now it has no scientifically conclusive definition. Information is memorized entropy cutting in random observations which processing interactions. Randomness of various interactive observations is source of entropy as uncertainty. Observation under random 1-0 impulses probabilities reveals hidden correlation which connects Bayesian probabilities increasing each posterior correlation. That sequentially reduces relational entropy conveying probabilistic casualty with temporal memory of correlations which interactive impulse innately cuts. Within hidden correlation emerges reversible time space microprocess with conjugated entangled entropy which probing impulse intentionally cuts and memorizes information as certainty. Sequential interactive cuts integrates cutting information in information macroprocess with irreversible time course. Memorized information binds reversible microprocess within impulse with irreversible information macroprocess. Observer probes collect cutting information data bits of observing frequencies impulses. Each impulse cuts maximum of impulse minimal information performing dual max-min principle of converting process entropy to information through uncertain gap. Multiple naturally encoding bits moving in macroprocess join triplet macrounits which logically organize information networks encoding macrounits in structures enclosing triplet code. Network time space distributed structure self renews and cooperates information decreasing its complexity. Integrating process entropy functional and bits information in information path integral embraces variation minimax law which determines processes regularities. Solving problem mathematically describes micro macro processes, network, and invariant conditions of observer network self replication.


title: Kolmogorov complexity version of Slepian-Wolf coding

abstract: Alice and Bob are given two correlated n-bit strings x_1 and, respectively, x_2, which they want to losslessly compress and send to Zack. They can either collaborate by sharing their strings, or work separately. We show that there is no disadvantage in the second scenario: Alice and Bob, without knowing the other party's string, can achieve almost optimal compression in the sense of Kolmogorov complexity. Furthermore, compression takes polynomial time and can be made at any combination of lengths that satisfy some necessary conditions (modulo additive polylog terms). More precisely, there exist probabilistic algorithms E_1, E_2, and deterministic algorithm D, with E_1 and E_2 running in polynomial time, having the following behavior: if n_1, n_2 are two integers satisfying n_1 + n_2 \geq C(x_1,x_2), n_1 \geq C(x_1 | x_2), n_2 \geq C(x_2 | x_1), then for i \in {1,2}, E_i on input x_i and n_i outputs a string of length n_i + \polylog n such that D on input E_1(x_1), E_2(x_2) reconstructs (x_1,x_2) with high probability (where C(x) denotes the plain Kolmogorov complexity of x, and C(x \mid y) is the complexity of x conditioned by y). Our main result is more general, as it deals with the compression of any constant number of correlated strings. It is an analog in the framework of algorithmic information theory of the classic Slepian-Wolf Theorem, a fundamental result in network information theory, in which x_1 and x_2 are realizations of two discrete random variables formed by drawing independently n times from a joint distribution. Also, in the classical result, the decompressor needs to know the joint distribution of the sources. In our result no type of independence is assumed and the decompressor does not have any apriori information about the sources that are compressed, and it still is the case that distributed compression is on a par with centralized compression.


title: Automatic Measurement of Physical Mobility in Get-Up-and-Go Test Using Kinect Sensor

abstract: Get-Up-and-Go Test is commonly used for assessing the physical mobility of the elderly by physicians. This paper presents a method for automatic analysis and classification of human gait in the Get-Up-and-Go Test using a Microsoft Kinect sensor. Two types of features are automatically extracted from the human skeleton data provided by the Kinect sensor. The first type of feature is related to the human gait (e.g., number of steps, step duration, and turning duration); whereas the other one describes the anatomical configuration (e.g., knee angles, leg angle, and distance between elbows). These features characterize the degree of human physical mobility. State-of-the-art machine learning algorithms (i.e. Bag of Words and Support Vector Machines) are used to classify the severity of gaits in 12 subjects with ages ranging between 65 and 90 enrolled in a pilot study. Our experimental results show that these features can discriminate between patients who have a high risk for falling and patients with a lower fall risk.


title: Active and reactive behaviour in human mobility: the influence of attraction points on pedestrians

abstract: Human mobility is becoming an accessible field of study thanks to the progress and availability of tracking technologies as a common feature of smart phones. We describe an example of a scalable experiment exploiting these circumstances at a public, outdoor fair in Barcelona (Spain). Participants were tracked while wandering through an open space with activity stands attracting their attention. We develop a general modeling framework based on Langevin Dynamics, which allows us to test the influence of two distinct types of ingredients on mobility: reactive or context-dependent factors, modelled by means of a force field generated by attraction points in a given spatial configuration, and active or inherent factors, modelled from intrinsic movement patterns of the subjects. The additive and constructive framework model accounts for the observed features. Starting with the simplest model (purely random walkers) as a reference, we progressively introduce different ingredients such as persistence, memory, and perceptual landscape, aiming to untangle active and reactive contributions and quantify their respective relevance. The proposed approach may help in anticipating the spatial distribution of citizens in alternative scenarios and in improving the design of public events based on a facts-based approach.


title: Compact affine manifolds with precompact holonomy are geodesically complete

abstract: This note proves the geodesic completeness of any compact manifold endowed with a linear connection such that the closure of its holonomy group is compact.


title: Globular and Open Clusters Observed by SDSS/SEGUE: the Giant Stars

abstract: We present griz observations for the clusters M92, M13 and NGC 6791 and gr photometry for M71, Be 29 and NGC 7789. In addition we present new membership identifications for all these clusters, which have been observed spectroscopically as calibrators for the SDSS/SEGUE survey; this paper focuses in particular on the red giant branch stars in the clusters. In a number of cases, these giants were too bright to be observed in the normal SDSS survey operations, and we describe the procedure used to obtain spectra for these stars. For M71, also present a new variable reddening map and a new fiducial for the gr giant branch. For NGC 7789, we derived a transformation from Teff to g-r for giants of near solar abundance, using IRFM Teff measures of stars with good ugriz and 2MASS photometry and SEGUE spectra. The result of our analysis is a robust list of known cluster members with correctly dereddened and (if needed) transformed gr photometry for crucial calibration efforts for SDSS and SEGUE.


title: Complete Dictionary Recovery over the Sphere I: Overview and the Geometric Picture

abstract: We consider the problem of recovering a complete (i.e., square and invertible) matrix $\mathbf A_0$, from $\mathbf Y \in \mathbb{R}^{n \times p}$ with $\mathbf Y = \mathbf A_0 \mathbf X_0$, provided $\mathbf X_0$ is sufficiently sparse. This recovery problem is central to theoretical understanding of dictionary learning, which seeks a sparse representation for a collection of input signals and finds numerous applications in modern signal processing and machine learning. We give the first efficient algorithm that provably recovers $\mathbf A_0$ when $\mathbf X_0$ has $O(n)$ nonzeros per column, under suitable probability model for $\mathbf X_0$. In contrast, prior results based on efficient algorithms either only guarantee recovery when $\mathbf X_0$ has $O(\sqrt{n})$ zeros per column, or require multiple rounds of SDP relaxation to work when $\mathbf X_0$ has $O(n^{1-\delta})$ nonzeros per column (for any constant $\delta \in (0, 1)$). } Our algorithmic pipeline centers around solving a certain nonconvex optimization problem with a spherical constraint. In this paper, we provide a geometric characterization of the objective landscape. In particular, we show that the problem is highly structured: with high probability, (1) there are no "spurious" local minimizers; and (2) around all saddle points the objective has a negative directional curvature. This distinctive structure makes the problem amenable to efficient optimization algorithms. In a companion paper (arXiv:1511.04777), we design a second-order trust-region algorithm over the sphere that provably converges to a local minimizer from arbitrary initializations, despite the presence of saddle points.


title: Photon mass as a probe to extra dimensions

abstract: In this manuscript we show that the geometrical localization mechanism implies a four dimensional mass for the photon. The consistence of the model provides a mass given exactly by $m_{\gamma}=\sqrt{R}/4$ where $R$ is the Ricci scalar. As a consequence, the cosmological photon has a mass related to the vacuum solution of the Einstein equation. At the present age of the universe we have a dS vacuum with $R=4\Lambda$, where Lambda is a positive cosmological constant. With this we find that $m_{\gamma}\approx 2\times 10^{-69}$ kg, which is below the present experimental upper bounds, and such correction may be observed in the next years with more precise measurements. By considering the value of $R$ inside some astrophysical sources and environments we find that the bound is also satisfied. The experimental verification of this mass, beyond pointing to the existence of extra dimensions, would imply in a fundamental change in cosmology, astrophysics and in particle physics since the same mechanism is valid for non-abelian gauge fields.


title: Automated Dynamic Firmware Analysis at Scale: A Case Study on Embedded Web Interfaces

abstract: Embedded devices are becoming more widespread, interconnected, and web-enabled than ever. However, recent studies showed that these devices are far from being secure. Moreover, many embedded systems rely on web interfaces for user interaction or administration. Unfortunately, web security is known to be difficult, and therefore the web interfaces of embedded systems represent a considerable attack surface. In this paper, we present the first fully automated framework that applies dynamic firmware analysis techniques to achieve, in a scalable manner, automated vulnerability discovery within embedded firmware images. We apply our framework to study the security of embedded web interfaces running in Commercial Off-The-Shelf (COTS) embedded devices, such as routers, DSL/cable modems, VoIP phones, IP/CCTV cameras. We introduce a methodology and implement a scalable framework for discovery of vulnerabilities in embedded web interfaces regardless of the vendor, device, or architecture. To achieve this goal, our framework performs full system emulation to achieve the execution of firmware images in a software-only environment, i.e., without involving any physical embedded devices. Then, we analyze the web interfaces within the firmware using both static and dynamic tools. We also present some interesting case-studies, and discuss the main challenges associated with the dynamic analysis of firmware images and their web interfaces and network services. The observations we make in this paper shed light on an important aspect of embedded devices which was not previously studied at a large scale. We validate our framework by testing it on 1925 firmware images from 54 different vendors. We discover important vulnerabilities in 185 firmware images, affecting nearly a quarter of vendors in our dataset. These experimental results demonstrate the effectiveness of our approach.


title: Search for a low-mass pseudoscalar Higgs boson produced in association with a b b-bar pair in pp collisions at sqrt(s) = 8 TeV

abstract: A search is reported for a light pseudoscalar Higgs boson decaying to a pair of tau leptons, produced in association with a b b-bar pair, in the context of two-Higgs-doublet models. The results are based on pp collision data at a centre-of-mass energy of 8 TeV collected by the CMS experiment at the LHC and corresponding to an integrated luminosity of 19.7 inverse femtobarns. Pseudoscalar boson masses between 25 and 80 GeV are probed. No evidence for a pseudoscalar boson is found and upper limits are set on the production cross section times branching fraction to tau pairs between 7 and 39 pb at the 95% confidence level. This excludes pseudoscalar A bosons with masses between 25 and 80 GeV, with standard model-like Higgs boson negative couplings to down-type fermions, produced in association with b b-bar pairs, in Type-II, two-Higgs-doublet models.


title: Optimal Pricing to Manage Electric Vehicles in Coupled Power and Transportation Networks

abstract: We study the system-level effects of the introduction of large populations of Electric Vehicles on the power and transportation networks. We assume that each EV owner solves a decision problem to pick a cost-minimizing charge and travel plan. This individual decision takes into account traffic congestion in the transportation network, affecting travel times, as well as as congestion in the power grid, resulting in spatial variations in electricity prices for battery charging. We show that this decision problem is equivalent to finding the shortest path on an "extended" transportation graph, with virtual arcs that represent charging options. Using this extended graph, we study the collective effects of a large number of EV owners individually solving this path planning problem. We propose a scheme in which independent power and transportation system operators can collaborate to manage each network towards a socially optimum operating point while keeping the operational data of each system private. We further study the optimal reserve capacity requirements for pricing in the absence of such collaboration. We showcase numerically that a lack of attention to interdependencies between the two infrastructures can have adverse operational effects.


title: A sharp interface method for compressible liquid-vapor flow with phase transition and surface tension

abstract: The numerical approximation of non-isothermal liquid-vapor flow within the compressible regime is a difficult task because complex physical effects at the phase interfaces can govern the global flow behavior. We present a sharp interface approach which treats the interface as a shock-wave like discontinuity. Any mixing of fluid phases is avoided by using the flow solver in the bulk regions only, and a ghost-fluid approach close to the interface. The coupling states for the numerical solution in the bulk regions are determined by the solution of local multi-phase Riemann problems across the interface. The Riemann solution accounts for the relevant physics by enforcing appropriate jump conditions at the phase boundary. A wide variety of interface effects can be handled in a thermodynamically consistent way. This includes surface tension or mass/energy transfer by phase transition. Moreover, the local normal speed of the interface, which is needed to calculate the time evolution of the interface, is given by the Riemann solution. The interface tracking itself is based on a level-set method. The focus in this paper is the description of the multi-phase Riemann solver and its usage within the sharp interface approach. One-dimensional problems are selected to validate the approach. Finally, the three-dimensional simulation of a wobbling droplet and a shock droplet interaction in two dimensions are shown. In both problems phase transition and surface tension determine the global bulk behavior.


title: A Three-Dimensional Babcock-Leighton Solar Dynamo Model: Initial Results with Axisymmetric Flows

abstract: The main objective of this paper is to introduce the STABLE (Surface flux Transport And Babcock-LEighton) solar dynamo model. STABLE is a 3D Babcock-Leighton/Flux Transport dynamo model in which the source of poloidal field is the explicit emergence, distortion, and dispersal of bipolar magnetic regions (BMRs). Here we describe the STABLE model in more detail than we have previously and we verify it by reproducing a 2D mean-field benchmark. We also present some representative dynamo simulations, focusing on the special case of kinematic magnetic induction and axisymmetric flow fields. Not all solutions are supercritical; it can be a challenge for the BL mechanism to sustain the dynamo when the turbulent diffusion near the surface is $\geq 10^{12}$ cm$^2$ s$^{-1}$. However, if BMRs are sufficiently large, deep, and numerous, then sustained, cyclic, dynamo solutions can be found that exhibit solar-like features. Furthermore, we find that the shearing of radial magnetic flux by the surface differential rotation can account for most of the net toroidal flux generation in each hemisphere, as has been recently argued for the Sun by Cameron & Schussler (2015).