title: Transonic Galactic Outflows and Their Influences to the Chemical Evolution of Galaxies and Intergalactic Space

abstract: We have categorized possible transonic solutions of galactic outflows in the gravitational potential of DMH and SMBH using the isothermal, spherically symmetric and steady model. We conclude that the gravitational potential of SMBH generates a new transonic branch while Tsuchiya et al. (2013) concluded that the gravitational potential of DMH forms one transonic solution. Because these two transonic solutions have different mass fluxes and starting points, these solutions will make different influences to the star formation rate, the evolution of galaxies, and the chemical evolution of the intergalactic medium. Therefore, we conclude that the influence of galactic outflows to the intergalactic medium depends not only on the mass distribution but also on the selected transonic solution. In addition, we have estimated range of parameters (KDMH; KBH) for actual galaxies. Moreover, it may be possible to estimate the galactic mass distributions of DMH and SMBH applying the model to the observed profile of the outflow velocity. Although it is difficult to determine the velocity of hot gas in the galactic halos from the current X-ray observations, but the next-generation X-ray observatory will be able to detect the detailed profiles of outflow velocities.


title: A Straightforward Preprocessing Approach for Accelerating Convex Hull Computations on the GPU

abstract: An effective strategy for accelerating the calculation of convex hulls for point sets is to filter the input points by discarding interior points. In this paper, we present such a straightforward and efficient preprocessing approach by exploiting the GPU. The basic idea behind our approach is to discard the points that locate inside a convex polygon formed by 16 extreme points. Due to the fact that the extreme points of a point set do not alter when all points are rotated in the same angle, four groups of extreme points with min or max x or y coordinates can be found in the original point set and three rotated point sets. These 16 extreme points are then used to form a convex polygon. We check all input points and discard the points that locate inside the convex polygon. We use the remaining points to calculate the expected convex hull. Experimental results show that: when employing the proposed preprocessing algorithm, it achieves the speedups of about 4x ~5x on average and 5x ~ 6x in the best cases over the cases where the proposed approach is not used. In addition, more than 99% input points can be discarded in most experimental tests.


title: Constraints on the Higgs boson width from off-shell production and decay to Z-boson pairs

abstract: Constraints are presented on the total width of the recently discovered Higgs boson, Gamma[H], using its relative on-shell and off-shell production and decay rates to a pair of Z bosons, where one Z boson decays to an electron or muon pair, and the other to an electron, muon, or neutrino pair. The analysis is based on the data collected by the CMS experiment at the LHC in 2011 and 2012, corresponding to integrated luminosities of 5.1 inverse femtobarns at a centre-of-mass energy sqrt(s) = 7 TeV and 19.7 inverse femtobarns at sqrt(s) = 8 TeV. A simultaneous maximum likelihood fit to the measured kinematic distributions near the resonance peak and above the Z-boson pair production threshold leads to an upper limit on the Higgs boson width of Gamma[H] < 22 MeV at a 95% confidence level, which is 5.4 times the expected value in the standard model at the measured mass.


title: Conservative formulation for compressible multiphase flows

abstract: Derivation of governing equations for multiphase flow on the base of thermodynamically compatible systems theory is presented. The mixture is considered as a continuum in which the multiphase character of the flow is taken into account. The resulting governing equations of the formulated model belong to the class of hyperbolic systems of conservation laws. In order to examine the reliability of the model, the one-dimensional Riemann problem for the four phase flow is studied numerically with the use of the MUSCL-Hancock method in conjunction with the GFORCE flux.


title: Optical and near-infrared spectroscopy of the black hole GX 339-4 II. The spectrocopic content in the low/hard and high/soft states

abstract: As a complement to our optical and near-infrared study of the continuum properties of GX 339-4 in the two hard and one soft state observations made by the ESO/VLT FORS2 and ISAAC in early 2010, we report here on the results of our spectral line analysis for the same observations. In the soft state, the presence of strong Balmer, Paschen and Brackett emission lines points to the optical and near-infrared spectra stemming from the irradiated chromosphere of the optically thick and geometrically thin accretion disc. Most of these HI features are still detected in emission in both hard states but are veiled by the compact jets continuum. We also confirm the presence of a broad Hbeta absorption feature, prominent in the soft state and shallower in the first hard state, which we argue forms in the deep layers of the optically thick accretion disc. However, this trough is absent in the second hard state, a likely consequence of the formation of a geometrically thick extended envelope that arises above the disc plane and eventually enshrouds the region where the Hbeta absorption feature forms. We detect this envelope through the presence of a broad Pabeta emission line, which is constant during the first hard state but correlates with the underlying continuum during the second hard state, pointing to changing physical properties. We consider that this behaviour may be consistent with the launch of a thermally-driven accretion disc wind during the second hard state.


title: An Overview of Transience Bounds in Max-Plus Algebra

abstract: We survey and discuss upper bounds on the length of the transient phase of max-plus linear systems and sequences of max-plus matrix powers. In particular, we explain how to extend a result by Nachtigall to yield a new approach for proving such bounds and we state an asymptotic tightness result by using an example given by Hartmann and Arguelles.


title: Nonlinear bulk viscosity and the stability of accelerated expansion in FRW spacetime

abstract: In the context of dark energy solutions, we consider a Friedmann-Robertson-Walker spacetime filled with a non-interacting mixture of dust and a viscous fluid, whose bulk viscosity is governed by the nonlinear model proposed in [15]. Through a phase space analysis of the equivalent dynamical system, existence and stability of critical solutions are established and the respective scale factors are computed. The results point towards the possibility of describing the current accelerated expansion of the Universe by means of the abovementioned nonlinear model for viscosity.


title: Satisfaction in societies with opinion leaders and mediators: properties and an axiomatization

abstract: In this paper we propose the opinion leader-follower through mediators systems (OLFM systems) a multiple-action collective choice model for societies. In those societies three kind of actors are considered: opinion leaders that can exert certain influence over the decision of other actors, followers that can be convinced to modify their original decisions, and independent actors that neither are influenced nor can influence; mediators are actors that both are influenced and influence other actors. This is a generalization of the opinion leader-follower systems (OLF systems) proposed by van den Brink R, et al. (2011). The satisfaction score is defined on the set of actors. For each actor it measures the number of society initial decisions in which the final collective decision coincides with the one that the actor initially selected. We generalize in OLFM systems some properties that the satisfaction score meets for OLF systems. By using these properties, we provide an axiomatization of the satisfaction score for the case in which followers maintain their own initial decisions unless all their opinion leaders share an opposite inclination. This new axiomatization generalizes the one given by van den Brink R, et al. (2012) for OLF systems under the same restrictions.


title: Formulating problems for real algebraic geometry

abstract: We discuss issues of problem formulation for algorithms in real algebraic geometry, focussing on quantifier elimination by cylindrical algebraic decomposition. We recall how the variable ordering used can have a profound effect on both performance and output and summarise what may be done to assist with this choice. We then survey other questions of problem formulation and algorithm optimisation that have become pertinent following advances in CAD theory, including both work that is already published and work that is currently underway. With implementations now in reach of real world applications and new theory meaning algorithms are far more sensitive to the input, our thesis is that intelligently formulating problems for algorithms, and indeed choosing the correct algorithm variant for a problem, is key to improving the practical use of both quantifier elimination and symbolic real algebraic geometry in general.


title: Valence modulations in CeRuSn

abstract: CeRuSn exhibits an extraordinary room temperature structure at 300~K with coexistence of two types of Ce ions, namely trivalent Ce$^{3+}$ and intermediate valent Ce$^{(4-\delta)+}$, in a metallic environment. The ordered arrangement of these two Ce types on specific crystallographic sites results in a doubling of the unit cell along the $c$-axis with respect to the basic monoclinic CeCoAl-type structure. Below room temperature, structural modulation transitions with very broad hysteresis have been reported from measurements of various bulk properties. X-ray diffraction revealed that at low temperatures the doubling of the CeCoAl type structure is replaced by a different modulated ground state, approximating a near tripling of the basic CeCoAl cell. The transition is accompanied by a significant contraction of the $c$ axis. We present new x-ray absorption near-edge spectroscopy data at the Ce L$_{3}$ absorption edge, measured on a freshly cleaved surface of a CeRuSn single crystal. In contrast to a previous report, the new data exhibit small but significant variations as function of temperature that are consistent with a transition of a fraction of Ce$^{3+}$ ions to the intermediate valence state, analogous to the $\gamma \rightarrow \alpha$ transition in elemental cerium, when cooling through the structural transitions of CeRuSn. Such results in a valence-modulated state.


title: Dielectric permeability at accounting of electrons contribution into their own screening

abstract: In this paper the experimental fact of presence of ionic - sound oscillations in plasma of tokamak DIII-D is given for plasma with additional heating by means of a neutral hydrogen beam. It contradicts modern theoretical representations about an opportunity of the build-up of such type of oscillations in plasma, when an ionic temperature is biger than an electronic one. Inasmuch as electrons provide the own screening by means of pushing aside forcibly around of itself of electrons and by baring an ionic skeleton their polarizing cloud should be of bigger radius than radius of Debye. Therefore the authors have suggested search of the decision of a kinetic equation, by taking into account the electrons contribution into their own screening, by means of inserting of some multiplier for Debye radius and of appropriate dividing of frequency onto this factor. In result a new expression of dielectric permeability is received which pass into former when the entered multiplier is identically equal to unit. The analysis of this expression has shown, that frequencies characteristics of possible low-frequency and high-frequency fluctuations have remained with former plasma frequencies, ionic - sound fluctuations have received the same phase velocity, but the condition of their excitation became different which for pure deuterium plasmas now has got a view: relation of the ionic temperature to the electronic is smaller than ten, instead of a former condition - relation of the electronic temperature to ionic one is biger than ten.


title: The Swift X-ray Telescope Cluster Survey II. X-ray spectral analysis

abstract: (Abridged) We present a spectral analysis of a new, flux-limited sample of 72 X-ray selected clusters of galaxies identified with the X-ray Telescope (XRT) on board the Swift satellite down to a flux limit of ~10-14 erg/s/cm2 (SWXCS, Tundo et al. 2012). We carry out a detailed X-ray spectral analysis with the twofold aim of measuring redshifts and characterizing the properties of the Intra-Cluster Medium (ICM). Optical counterparts and spectroscopic or photometric redshifts are obtained with a cross-correlation with NED. Additional photometric redshifts are computed with a dedicated follow-up program with the TNG and a cross-correlation with the SDSS. We also detect the iron emission lines in 35% of the sample, and hence obtain a robust measure of the X-ray redshift zX. We use zX whenever the optical redshift is not available. Finally, for all the sources with measured redshift, background-subtracted spectra are fitted with a mekal model. We perform extensive spectral simulations to derive an empirical formula to account for fitting bias. The bias-corrected values are then used to investigate the scaling properties of the X-ray observables. Overall, we are able to characterize the ICM of 46 sources. The sample is mostly constituted by clusters with temperatures between 3 and 10 keV, plus 14 low-mass clusters and groups with temperatures below 3 keV. The redshift distribution peaks around z~0.25 and extends up to z~1, with 60% of the sample at 0.1<z<0.4. We derive the Luminosity-Temperature relation for these 46 sources, finding good agreement with previous studies. The quality of the SWXCS sample is comparable to other samples available in the literature and obtained with much larger X-ray telescopes. Our results have interesting implications for the design of future X-ray survey telescopes, characterised by good-quality PSF over the entire field of view and low background.


title: Topology induced bifurcations for the NLS on the tadpole graph

abstract: In this paper we give the complete classification of solitons for a cubic NLS equation on the simplest network with a non-trivial topology: the tadpole graph, i.e. a ring with a half-line attached to it and free boundary conditions at the junction. The model, although simple, exhibits a surprisingly rich behavior and in particular we show that it admits: 1) a denumerable family of continuous branches of embedded solitons bifurcating from linear eigenstates and threshold resonances of the system; 2) a continuous branch of edge solitons displaying a pitchfork symmetry breaking bifurcation at the threshold of the continuous spectrum; 3) a finite family of continuous branches of solitons without linear analogue. All the solutions are explicitly constructed in terms of elliptic Jacobian functions. Moreover we show that families of nonlinear bound states of the above kind continue to exist in the presence of a uniform magnetic field orthogonal to the plane of the ring when a well definite flux quantization condition holds true. Finally we highlight the role of resonances in the linearization as a signature of the occurrence of bifurcations of solitons from the continuous spectrum.


title: Stability properties of Hawking radiation in the presence of ultraviolet violation of local Lorentz invariance

abstract: In this thesis, we study several features of Hawking radiation in the presence of ultraviolet Lorentz violations. These violations are implemented by a modified dispersion relation that becomes nonlinear at short wavelengths. The motivations of this work arise on the one hand from the developing field of analog gravity, where we aim at measuring the Hawking effect in fluid flows that mimic black hole space-times, and on the other hand from the possibility that quantum gravity effects might be approximately modeled by a modified dispersion relation. We develop several studies on various aspects of the problem. First we obtain precise characterizations about the deviations from the Hawking result of black hole radiation, which are induced by dispersion. Second, we study the emergence, both in white hole flows or for massive fields, of a macroscopic standing wave, spontaneously produced from the Hawking effect, and known as `undulation'. Third, we describe in detail an instability named black hole laser, which arises in the presence of two horizons, where Hawking radiation is self-amplified and induces an exponentially growing in time emitted flux.


title: Intermittency in an Optomechanical Cavity Near a Subcritical Hopf Bifurcation

abstract: We experimentally study an optomechanical cavity consisting of an oscillating mechanical resonator embedded in a superconducting microwave transmission line cavity. Tunable optomechanical coupling between the mechanical resonator and the microwave cavity is introduced by positioning a niobium-coated single mode optical fiber above the mechanical resonator. The capacitance between the mechanical resonator and the coated fiber gives rise to optomechanical coupling, which can be controlled by varying the fiber-resonator distance. We study radiation pressure induced self-excited oscillations as a function of microwave driving parameters (frequency and power). Intermittency between limit cycle and steady state behaviors is observed with blue-detuned driving frequency. The experimental results are accounted for by a model that takes into account the Duffing-like nonlinearity of the microwave cavity. A stability analysis reveals a subcritical Hopf bifurcation near the region where intermittency is observed.


title: An error estimate of Gaussian Recursive Filter in 3Dvar problem

abstract: Computational kernel of the three-dimensional variational data assimilation (3D-Var) problem is a linear system, generally solved by means of an iterative method. The most costly part of each iterative step is a matrix-vector product with a very large covariance matrix having Gaussian correlation structure. This operation may be interpreted as a Gaussian convolution, that is a very expensive numerical kernel. Recursive Filters (RFs) are a well known way to approximate the Gaussian convolution and are intensively applied in the meteorology, in the oceanography and in forecast models. In this paper, we deal with an oceanographic 3D-Var data assimilation scheme, named OceanVar, where the linear system is solved by using the Conjugate Gradient (GC) method by replacing, at each step, the Gaussian convolution with RFs. Here we give theoretical issues on the discrete convolution approximation with a first order (1st-RF) and a third order (3rd-RF) recursive filters. Numerical experiments confirm given error bounds and show the benefits, in terms of accuracy and performance, of the 3-rd RF.


title: Steady Euler flows and the Faddeev-Skyrme model with mass term

abstract: We point out a duality between steady incompressible Euler flows and solutions of the strongly coupled Faddeev-Skyrme sigma model with potential (mass) term. We supplement this result with various applications and several explicit examples.


title: Generation of magnonic spin wave traps

abstract: Spatially resolved measurements of the magnetization dynamics induced by an intense laser pump-pulse reveal that the frequencies of resulting spin wave modes depend strongly on the distance to the pump center. This can be attributed to a laser generated temperature profile. On a CoFeB thin film magnonic crystal, Damon-Eshbach modes are expected to propagate away from the point of excitation. The experiments show that this propagation is frustrated by the strong temperature gradient


title: Sur le th\'eor\`eme KAM

abstract: In this short note, I explain how the non-degeneracy condition of the KAM can be bypassed. The first version of the note has been submitted for publication back in 2010 and this version in 2012.


title: Boundary Values of Functions of Dirichlet Spaces $L^1_2$ on Capacitary Boundaries

abstract: We prove that any weakly differentiable function with square integrable gradient can be extended to a capacitary boundary of any simply connected plane domain $\Omega\ne\mathbb R^2$ except a set of a conformal capacity zero. For locally connected at boundary points domains the capacitary boundary coincides with the Euclidean one. A concept of a capacitary boundary was proposed by V.~Gol'dshtein and S.~K.~Vodop'yanov in 1978 for a study of boundary behavior of quasi-conformal homeomorphisms. We prove in details the main properties of the capacitary boundary. An abstract version of the extension property for more general classes of plane domains is discussed also.


title: Coherent polariton dynamics in coupled highly-dissipative cavity quantum electrodynamics

abstract: Coherent light-matter interaction at the single photon and electronic qubit level promises the remarkable potential for nonclassical information processing. Against the efforts of improving the figure of merit of the cavities, here we demonstrate strong anharmonicity in the polariton dressed states via dark state resonances in a highly dissipative cavity. It is shown that vacuum Rabi oscillation occurs for a single quantum emitter inside a cavity even with bosonic decay-to-interaction rate ratio exceeding $10^{2}$, when the photon field is coupled to an auxiliary high-$Q$ cavity. Moreover, photon blockade is observable in such a highly-dissipative cavity quantum electrodynamics system. This study provides a promising platform for overcoming decoherence and advancing the coherent manipulation of polariton qubits.


title: The Interstellar H Flow: Updated Analysis of SOHO/SWAN Data

abstract: We update two kinds of results obtained with the SWAN instrument on board SOHO. First, we use H cell data recorded in 2001 and derive the H flow direction in the same way we performed the study at solar minimum. We compare with the Helium flow and doing so we correct for the coordinate system change between the Ulysses and SOHO mission. The deflection plane we obtain is compatible with the previous result within error bars, confirming the predominant role of the interstellar magnetic field. Secondly, we extend the derivation of solar wind ionization temporal evolution as a function of heliolatitude. The pattern for the present solar minimum is strikingly different from the previous minimum, with a much wider slow solar wind equatorial belt which persists until at least 2008. Comparing with synoptic LASCO/C2 electron densities we infer from a preliminary study that the acceleration of the high speed solar wind occurs at a higher altitude during this minimum, a change expansion models should be able to explain.


title: On the smallest eigenvalues of the line graphs of some trees

abstract: In this paper, we study the characteristic polynomials of the line graphs of generalized Bethe trees. We give an infinite family of such graphs sharing the same smallest eigenvalue. Our family generalizes the family of coronas of complete graphs discovered by Cvetkovi\'c and Stevanovi\'c.


title: A framework for the calculation of the $\Delta N\gamma^*$ transition form factors on the lattice

abstract: Using the non-relativistic effective field theory framework in a finite volume, we discuss the extraction of the $\Delta N\gamma^*$ transition form factors from lattice data. A counterpart of the L\"uscher approach for the matrix elements of unstable states is formulated. In particular, we thoroughly discuss various kinematic settings, which are used in the calculation of the above matrix element on the lattice. The emerging L\"uscher-Lellouch factor and the analytic continuation of the matrix elements into the complex plane are also considered in detail. A full group-theoretical analysis of the problem is made, including the partial-wave mixing and projecting out the invariant form factors from data.


title: Cache-enabled Small Cell Networks: Modeling and Tradeoffs

abstract: We consider a network model where small base stations (SBSs) have caching capabilities as a means to alleviate the backhaul load and satisfy users' demand. The SBSs are stochastically distributed over the plane according to a Poisson point process (PPP), and serve their users either (i) by bringing the content from the Internet through a finite rate backhaul or (ii) by serving them from the local caches. We derive closed-form expressions for the outage probability and the average delivery rate as a function of the signal-to-interference-plus-noise ratio (SINR), SBS density, target file bitrate, storage size, file length and file popularity. We then analyze the impact of key operating parameters on the system performance. It is shown that a certain outage probability can be achieved either by increasing the number of base stations or the total storage size. Our results and analysis provide key insights into the deployment of cache-enabled small cell networks (SCNs), which are seen as a promising solution for future heterogeneous cellular networks.


title: A high resolution synchrotron x-ray powder diffraction study of the incommensurate modulation in the martensite phase of Ni2MnGa: Evidence for nearly 7M modulation and phason broadening

abstract: The modulated structure of the martensite phase of Ni2MnGa is revisited using high resolution synchrotron x-ray powder diffraction (SXRPD) measurements, which reveals higher order satellite reflections up to the 3rd order and phason broadening of the satellite peaks. The structure refinement, using the (3+1) dimensional superspace group approach, shows that the modulated structure of Ni2MnGa can be described by orthorhombic superspace group Immm(00$\gamma$)s00 with lattice parameters a= 4.21861(2) {\AA}, b= 5.54696(3) {\AA}, and c= 4.18763(2) {\AA} and an incommensurate modulation wave vector q= 0.43160(3)c*= (3/7+$\delta$)c*, where $\delta$=0.00303(3) is the degree of incommensuration of the modulated structure. Additional satellite peak broadening, which could not be accounted for in terms of the anisotropic strain broadening based on a lattice parameter distribution , has been modeled in terms of phasons using fourth rank covariant strain tensor representation for incommensurate structures. The simulation of single crystal diffraction patterns from the refined structural parameters unambiguously reveals a rational approximant structure with 7M modulation. The inhomogeneous displacement of different atomic sites on account of incommensurate modulation and the presence of phason broadening clearly rule out the adaptive phase model proposed recently by Kaufmann et al.[1] and suggests that the modulation in Ni2MnGa originates from soft-mode phonons.


title: A reducible characteristic variety in type A

abstract: We show that simple highest weight modules for sl_12 may have reducible characteristic variety. This answers a question of Borho-Brylinski and Joseph from 1984. The relevant singularity under Beilinson-Bernstein localization is the (in)famous Kashiwara-Saito singularity. We sketch the rather indirect route via the p-canonical basis, W-graphs and decomposition numbers for perverse sheaves that led us to examine this singularity.


title: Numerical approximation of phase field based shape and topology optimization for fluids

abstract: We consider the problem of finding optimal shapes of fluid domains. The fluid obeys the Navier--Stokes equations. Inside a holdall container we use a phase field approach using diffuse interfaces to describe the domain of free flow. We formulate a corresponding optimization problem where flow outside the fluid domain is penalized. The resulting formulation of the shape optimization problem is shown to be well-posed, hence there exists a minimizer, and first order optimality conditions are derived. For the numerical realization we introduce a mass conserving gradient flow and obtain a Cahn--Hilliard type system, which is integrated numerically using the finite element method. An adaptive concept using reliable, residual based error estimation is exploited for the resolution of the spatial mesh. The overall concept is numerically investigated and comparison values are provided.


title: A Life of Fun Playing With Solar Magnetic Fields (Special Historical Review)

abstract: This invited memoire describes my fortunate life, which has been enriched by meeting many wonderful people. The story starts at home and university, and continues with accounts of St Andrews and trips to the USA, together with musings on the book "Solar MHD". The nature and results of collaborations with key people from abroad and with students is mentioned at length. Finally, other important aspects of my life are mentioned briefly before wrapping up.


title: Dynamics of the bouncing ball

abstract: We describe an experiment dedicated to the study of the trajectories of a ball bouncing randomly on a vibrating plate. The system was originally used, considering a sinusoidal vibration, to illustrate period doubling and the route to chaos. Our experimental device makes it possible to impose, to the plate, arbitrary trajectories and not only sinusoidal or random, as is generally the case. We show that the entire trajectory of the ball can still be reconstructed from the measurement of the collisions times. First, we make use of the experimental system to introduce the notion of dissipative collisions and to propose three different ways to measure the associated restitution coefficient. Then, we report on correlations in the chaotic regime and discuss theoretically the complex pattern which they exhibit in the case of a sinusoidal vibration. At last, we show that the use of an aperiodic motion makes it possible to get rid of part of the correlations and to discuss theoretically the average energy of the ball in the chaotic regime.


title: Quantum Mechanics Without State Vectors

abstract: It is proposed to give up the description of physical states in terms of ensembles of state vectors with various probabilities, relying instead solely on the density matrix as the description of reality. With this definition of a physical state, even in entangled states nothing that is done in one isolated system can instantaneously effect the physical state of a distant isolated system. This change in the description of physical states opens up a large variety of new ways that the density matrix may transform under various symmetries, different from the unitary transformations of ordinary quantum mechanics. Such new transformation properties have been explored before, but so far only for the symmetry of time translations into the future, treated as a semi-group. Here new transformation properties are studied for general symmetry transformations forming groups, rather than semi-groups. Arguments are given that such symmetries should act on the density matrix as in ordinary quantum mechanics, but loopholes are found for all of these arguments.


title: Mass-scaling replica-exchange molecular dynamics optimizes computational resources with simpler algorithm

abstract: We develop a novel method of replica-exchange molecular dynamics (REMD) simulation, mass-scaling REMD (MSREMD) method, which improves trajectory accuracy at high temperatures, and thereby contributes to numerical stability. In addition, the MSREMD method can also simplify a replica-exchange routine by eliminating velocity scaling. As a pilot system, a Lennard-Jones fluid is simulated with the new method. The results show that the MSREMD method improves the trajectory accuracy at high temperatures compared with the conventional REMD method. We analytically demonstrate that the MSREMD simulations can reproduce completely the same trajectories of the conventional REMD ones with shorter time steps at high temperatures in case of the Nos\'e-Hoover thermostats. Accordingly, we can easily compare the computational costs of the REMD and MSREMD simulations. We conclude that the MSREMD method decreases the instability and optimizes the computational resources with simpler algorithm under the constant trajectory accuracy at all temperatures.


title: Suppression of single-molecule conductance fluctuations using extended anchor groups on graphene and carbon-nanotube electrodes

abstract: Devices formed from single molecules attached to noble-metal electrodes exhibit large conductance fluctuations, which inhibit their development as reproducible functional units. We demonstrate that single molecules with planar anchor groups attached to carbon-based electrodes are more resilient to atomic-scale variation in the contacts and exhibit significantly lower conductance fluctuations. We examine the conductance of a 2,6-dibenzylamino core-substituted naphthalenediimide chromophore attached to carbon electrodes by either phenanthrene anchors or more extended anchor groups, which include oligophenylene ethynylene spacers. We demonstrate that for the more spatially extended anchor groups conductance fluctuations are significantly reduced. The current-voltage characteristic arising from long-range tunneling is found to be strongly nonlinear with pronounced conductance suppression below a threshold voltage of approximately 2.5 V.


title: ESmodels: An Epistemic Specification Solver

abstract: (To appear in Theory and Practice of Logic Programming (TPLP)) ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic specifications.We first give the epistemic specification language of ESmodels and its semantics. The language employs only one modal operator K but we prove that it is able to represent luxuriant modal operators by presenting transformation rules. Then, we describe basic algorithms and optimization approaches used in ESmodels. After that, we discuss possible applications of ESmodels in conformant planning and constraint satisfaction. Finally, we conclude with perspectives.


title: COCOpf: An Algorithm Portfolio Framework

abstract: Algorithm portfolios represent a strategy of composing multiple heuristic algorithms, each suited to a different class of problems, within a single general solver that will choose the best suited algorithm for each input. This approach recently gained popularity especially for solving combinatoric problems, but optimization applications are still emerging. The COCO platform of the BBOB workshop series is the current standard way to measure performance of continuous black-box optimization algorithms. As an extension to the COCO platform, we present the Python-based COCOpf framework that allows composing portfolios of optimization algorithms and running experiments with different selection strategies. In our framework, we focus on black-box algorithm portfolio and online adaptive selection. As a demonstration, we measure the performance of stock SciPy optimization algorithms and the popular CMA algorithm alone and in a portfolio with two simple selection strategies. We confirm that even a naive selection strategy can provide improved performance across problem classes.


title: An energy-stable convex splitting for the phase-field crystal equation

abstract: The phase-field crystal equation, a parabolic, sixth-order and nonlinear partial differential equation, has generated considerable interest as a possible solution to problems arising in molecular dynamics. This is because the phase-field crystal model can capture atomic-scale effects at time-scales that are orders of magnitude larger than what molecular dynamics simulations can afford presently. Nonetheless, solving this equation is not a trivial task, as a non-increasing free energy and mass conservation need to be verified for the numerical solution to be valid. This work focuses on these issues, and proposes a novel algorithm that guarantees mass conservation, unconditional energy stability and is second-order accurate in time. This is achieved through a convex-concave splitting of the nonlinearity present in the equation, along with the use of a stabilization term that bounds possible increases in free energy. We present numerical results that validate our mathematical proofs, and show two and three dimensional simulations involving crystal growth that showcase the robustness of the method.


title: Adiabatic Monte Carlo

abstract: A common strategy for inference in complex models is the relaxation of a simple model into the more complex target model, for example the prior into the posterior in Bayesian inference. Existing approaches that attempt to generate such transformations, however, are sensitive to the pathologies of complex distributions and can be difficult to implement in practice. Leveraging the geometry of thermodynamic processes I introduce a principled and robust approach to deforming measures that presents a powerful new tool for inference.


title: Non semi-simple sl(2) quantum invariants, spin case

abstract: Invariants of 3-manifolds from a non semi-simple category of modules over a version of quantum sl(2) were obtained by the last three authors in [arXiv:1404.7289]. In their construction the quantum parameter $q$ is a root of unity of order $2r$ where $r>1$ is odd or congruent to $2$ modulo $4$. In this paper we consider the remaining cases where $r$ is congruent to zero modulo $4$ and produce invariants of $3$-manifolds with colored links, equipped with generalized spin structure. For a given $3$-manifold $M$, the relevant generalized spin structures are (non canonically) parametrized by $H^1(M;\mathbb C/2\mathbb Z)$.


title: Energy-efficiency in Decentralized Wireless Networks: A Game-theoretic Approach inspired by Evolutionary Biology

abstract: Energy efficiency is gaining importance in wireless communication networks which have nodes with limited energy supply and signal processing capabilities. We present a numerical study of cooperative communication scenarios based on simple local rules. This is in contrast to most of the approaches in the literature which enforce cooperation by using complex algorithms and require strategic complexity of the network nodes. The approach is motivated by recent results in evolutionary biology which suggest that, if certain mechanism is at work, cooperation can be favoured by natural selection, i. e. even selfish actions of the individual nodes can lead to emergence of cooperative behaviour in the network. The results of the simulations in the context of wireless communication networks verify these observations and indicate that uncomplicated local rules, followed by simple fitness evaluation, can generate network behaviour which yields global energy efficiency.


title: The birth of spacetime atoms as the passage of time

abstract: The view that the passage of time is physical finds expression in the classical sequential growth models of Rideout and Sorkin in which a discrete spacetime grows by the partially ordered accretion of new spacetime atoms.


title: Band gaps in the relaxed linear micromorphic continuum

abstract: In this note we show that the relaxed linear micromorphic model recently proposed by the authors can be suitably used to describe the presence of band-gaps in metamaterials with microstructures in which strong contrasts of the mechanical properties are present (e.g. phononic crystals and lattice structures). This relaxed micromorphic model only has 6 constitutive parameters instead of 18 parameters needed in Mindlin- and Eringen-type classical micromorphic models. We show that the onset of band-gaps is related to a unique constitutive parameter, the Cosserat couple modulus $\mu_{c}$ which starts to account for band-gaps when reaching a suitable threshold value. The limited number of parameters of our model, as well as the specific effect of some of them on wave propagation can be seen as an important step towards indirect measurement campaigns.


title: Additive average Schwarz method for a Crouzeix-Raviart Finite Volume Element Discretization of Elliptic Problems with Heterogeneous Coefficients

abstract: In this paper we introduce an additive Schwarz method for a Crouzeix-Raviart Finite Volume Element (CRFVE) discretization of a second order elliptic problem with discontinuous coefficients, where the discontinuities are both inside the subdomains and across and along the subdomain boundaries. We show that, depending on the distribution of the coefficient in the model problem, the parameters describing the GMRES convergence rate of the proposed method depend linearly or quadratically on the mesh parameters $H/h$. Also, under certain restrictions on the distribution of the coefficient, the convergence of the GMRES method is independent of jumps in the coefficient.


title: XMM-Newton observation of the interacting galaxies NGC1512 and NGC1510

abstract: The galaxy NGC1512 is interacting with the smaller galaxy NGC1510 and shows a peculiar morphology, characterised by two extended arms immersed in an HI disc whose size is about four times larger than the optical diameter of NGC1512. For the first time we performed a deep X-ray observation of the galaxies NGC1512 and NGC1510 with XMM-Newton to gain information on the population of X-ray sources and diffuse emission in a system of interacting galaxies. We identified and classified the sources detected in the XMM-Newton field of view by means of spectral analysis, hardness-ratios calculated with a Bayesian method, X-ray variability, and cross-correlations with catalogues in optical, infrared, and radio wavelengths. We also made use of archival Swift (X-ray) and Australia Telescope Compact Array (radio) data to better constrain the nature of the sources detected with XMM-Newton. We detected 106 sources in the energy range of 0.2-12 keV, out of which 15 are located within the D_25 regions of NGC1512 and NGC1510 and at least six sources coincide with the extended arms. We identified and classified six background objects and six foreground stars. We discussed the nature of a source within the D_25 ellipse of NGC1512, whose properties indicate a quasi-stellar object or an intermediate ultra-luminous X-ray source. Taking into account the contribution of low-mass X-ray binaries and active galactic nuclei, the number of high-mass X-ray binaries detected within the D_25 region of NGC1512 is consistent with the star formation rate obtained in previous works based on radio, infrared optical, and UV wavelengths. We detected diffuse X-ray emission from the interior region of NGC1512 with a plasma temperature of kT=0.68(0.31-0.87) keV and a 0.3-10 keV X-ray luminosity of 1.3E38 erg/s, after correcting for unresolved discrete sources.


title: Current Concepts in Version Control Systems

abstract: We give the reader a comprehensive overview of the state of the Version Control software engineering field, describing and analysing the concepts, architectural approaches and methods researched and included in the currently widely used version control systems and propose some possible future research directions.


title: Adaptive timestep control for nonstationary solutions of the Euler equations

abstract: In this paper we continue our work on adaptive timestep control for weakly non- stationary problems. The core of the method is a space-time splitting of adjoint error representations for target functionals due to S\"uli and Hartmann. The main new ingredients are (i) the extension from scalar, 1D, conservation laws to the 2D Euler equations of gas dynamics, (ii) the derivation of boundary conditions for a new formulation of the adjoint problem and (iii) the coupling of the adaptive time-stepping with spatial adaptation. For the spatial adaptation, we use a multiresolution-based strategy developed by M\"uller, and we combine this with an implicit time discretization. The combined space-time adaptive method provides an efficient choice of timesteps for implicit computations of weakly nonstationary flows. The timestep will be very large in time intervalls of stationary flow, and becomes small when a perturbation enters the flow field. The efficiency of the solver is investigated by means of an unsteady inviscid 2D flow over a bump.


title: Vortex stretching and anisotropic diffusion in the 3D Navier-Stokes equations

abstract: The goal of this article is to present -- in a cohesive, and somewhat self-contained fashion -- several recent results revealing an experimentally, numerically, and mathematical analysis-supported \emph{geometric scenario} manifesting \emph{large data} logarithmic \emph{sub-criticality} of the 3D Navier-Stokes regularity problem. Shortly -- in this scenario -- the \emph{transversal small scales} produced by the mechanism of vortex stretching (coupled with the decay of the volume of the regions of intense vorticity) reach the threshold sufficient for the \emph{locally anisotropic diffusion} to engage and control the sup-norm of the vorticity, preventing the (possible) formation of finite time singularities.


title: Quantitative norm convergence of double ergodic averages associated with two commuting group actions

abstract: We study double averages along orbits for measure preserving actions of $\mathbb{A}^\omega$, the direct sum of countably many copies of a finite abelian group $\mathbb{A}$. In this article we show an $L^p$ norm-variation estimate for these averages, which in particular reproves their convergence in $L^p$ for any finite $p$ and for any choice of two $L^\infty$ functions. The result is motivated by recent questions on quantifying convergence of multiple ergodic averages.


title: Initial Value Problems for Integrable Systems on a Semi-Strip

abstract: Two important cases, where boundary conditions and solutions of the well-known integrable equations on a semi-strip are uniquely determined by the initial conditions, are rigorously studied in detail. First, the case of rectangular matrix solutions of the defocusing nonlinear Schr\"odinger equation with quasi-analytic boundary conditions is dealt with. (The result is new even for a scalar nonlinear Schr\"odinger equation.) Next, a special case of the nonlinear optics ($N$-wave) equation is considered.

categories: math.AP math-ph math.CA math.MP math.SP nlin.SI


title: Re-publication of the data from the BILL magnetic spectrometer: The cumulative $\beta$ spectra of the fission products of $^{235}$U, $^{239}$Pu, and $^{241}$Pu

abstract: In the 1980s, measurements of the cumulative $\beta$ spectra of the fission products following the thermal neutron induced fission of $^{235}$U, $^{239}$Pu, and $^{241}$Pu were performed at the magnetic spectrometer BILL at the ILL in Grenoble. This data was published in bins of 250 keV. In this paper, we re-publish the original data in a binning of 50 keV for $^{235}$U and 100 keV for $^{239}$Pu and $^{241}$Pu.


title: Global solutions to the homogeneous and inhomogeneous Navier-Stokes equations

abstract: In this paper we take a new approach to a proof of existence and uniqueness of solutions for the 3D-Navier-Stokes equations, which leads to essentially the same proof for both bounded and unbounded domains and for homogeneous or inhomogeneous incompressible fluids. Our approach is to construct the largest separable Hilbert space ${\bf{SD}}^2[\R^3]$, for which the Leray-Hopf (type) solutions in $L^2[{\mathbb R}^3]$ are strong solutions in ${\bf{SD}}^2[\R^3]$. We say Leray-Hopf type because our solutions are weak in the spatial sense but not in time.


title: Dipole Polarizability of Alkali-Metal (Na, K, Rb) - Alkaline-Earth-Metal (Ca,Sr) Polar molecules - Prospects of Alignment

abstract: Electronic open-shell ground-state properties of selected alkali-metal (AM) - alkaline-earth-metal (AEM) polar molecules are investigated. We determine potential energy curves of the 2{\Sigma}+ ground state at the coupled-cluster singles and doubles with partial triples (CCSD(T)) level of electron correlation. Calculated spectroscopic constants for the isotopes (23Na, 39K, 85Rb) - (40Ca, 88Sr) are compared with available theoretical and experimental results. The variation of the permanent dipole moment (PDM), average dipole polarizability, and polarizability anisotropy with internuclear distance is determined using finite-field perturbation theory at the CCSD(T) level. Owing to moderate PDM (KCa: 1.67 D, RbCa: 1.75 D, KSr: 1.27 D, RbSr: 1.41 D) and large polarizability anisotropy (KCa: 566 a.u., RbCa: 604 a.u., KSr: 574 a.u., RbSr: 615 a.u.), KCa, RbCa, KSr, and RbSr are potential candidates for alignment and orientation in combined intense laser and external static electric fields.


title: Properties of selected mutations and genotypic landscapes under Fisher's Geometric Model

abstract: The fitness landscape - the mapping between genotypes and fitness - determines properties of the process of adaptation. Several small genetic fitness landscapes have recently been built by selecting a handful of beneficial mutations and measuring fitness of all combinations of these mutations. Here we generate several testable predictions for the properties of these landscapes under Fisher's geometric model of adaptation (FGMA). When far from the fitness optimum, we analytically compute the fitness effect of beneficial mutations and their epistatic interactions. We show that epistasis may be negative or positive on average depending on the distance of the ancestral genotype to the optimum and whether mutations were independently selected or co-selected in an adaptive walk. Using simulations, we show that genetic landscapes built from FGMA are very close to an additive landscape when the ancestral strain is far from the optimum. However, when close to the optimum, a large diversity of landscape with substantial ruggedness and sign epistasis emerged. Strikingly, landscapes built from different realizations of stochastic adaptive walks in the same exact conditions were highly variable, suggesting that several realizations of small genetic landscapes are needed to gain information about the underlying architecture of the global adaptive landscape.


title: Probability of Inconsistencies in Theory Revision: A multi-agent model for updating logically interconnected beliefs under bounded confidence

abstract: We present a model for studying communities of epistemically interacting agents who update their belief states by averaging (in a specified way) the belief states of other agents in the community. The agents in our model have a rich belief state, involving multiple independent issues which are interrelated in such a way that they form a theory of the world. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating (in the given way). To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. It is shown that, under the assumptions of our model, an agent always has a probability of less than 2% of ending up in an inconsistent belief state. Moreover, this probability can be made arbitrarily small by increasing the number of independent issues the agents have to judge or by increasing the group size. A real-world situation to which this model applies is a group of experts participating in a Delphi-study.


title: A new method for determining the quark-gluon vertex

abstract: We present a novel nonperturbative approach for calculating the form factors of the quark-gluon vertex, in a general covariant gauge. The key ingredient of this method is the exact all-order relation connecting the conventional quark-gluon vertex with the corresponding vertex of the background field method, which is Abelian-like. When this latter relation is combined with the standard gauge technique, supplemented by a crucial set of transverse Ward identities, it allows the approximate determination of the nonperturbative behavior of all twelve form factors comprising the quark-gluon vertex, for arbitrary values of the momenta. The actual implementation of this procedure is carried out in the Landau gauge, in order to make contact with the results of lattice simulations performed in this particular gauge. The most demanding technical aspect involves the calculation of certain (fully-dressed) auxiliary three-point functions, using lattice data as input for the gluon propagators appearing in their diagrammatic expansion. The numerical evaluation of the relevant form factors in three special kinematical configurations (soft gluon and quark symmetric limit, zero quark momentum) is carried out in detail, finding rather good agreement with the available lattice data. Most notably, a concrete mechanism is proposed for explaining the puzzling divergence of one of these form factors observed in lattice simulations.


title: Secure Data Transmission in Cooperative Modes: Relay and MAC

abstract: Cooperation in clouds provides a promising technique for 5G wireless networks, supporting higher data rates. Security of data transmission over wireless clouds could put constraints on devices; whether to cooperate or not. Therefore, our aim is to provide analytical framework for the security on the physical layer of such setup and to define the constraints embodied with cooperation in small size wireless clouds. In this paper, two legitimate transmitters Alice and John cooperate to increase the reliable transmission rate received by their common legitimate receiver Bob, where one eavesdropper, Eve exists. We provide the achievable secure data transmission rates with cooperative relaying and when no cooperation exists creating a Multiple Access Channel (MAC). The paper considers the analysis of different cooperative scenarios: a cooperative scenario with two relaying devices, a cooperative scenario without relaying, a non-cooperative scenario, and cooperation from one side. We derive analytical expressions for the optimal power allocation that maximizes the achievable secrecy rates for the different set of scenarios where the implication of cooperation on the achievable secrecy rates was analyzed. We propose a distributed algorithm that allows the devices to select whether to cooperate or not and to choose their optimal power allocation based on the cooperation framework selected. Moreover, we defined distance constraints to enforce the benefits of cooperation between devices in a wireless cloud.


title: Light vector meson masses in strange hadronic matter -- a QCD sum rule approach

abstract: We study the properties of the light vector mesons ($\rho$, $\omega$ and $\phi$) in strange hadronic matter using the QCD sum rule approach. The in-medium masses of the vector mesons are calculated from the modifications of the light quark condensates and the gluon condensates in the hadronic medium. The light quark condensates in the hadronic matter are obtained from the values of the non strange and strange scalar fields of the explicit chiral symmetry breaking term in a chiral SU(3) model. The in-medium gluon condensate is calculated through the medium modification of a scalar dilaton field, which is introduced into the chiral SU(3) model to simulate the scale symmetry breaking of QCD. The mass of the $\omega$ meson is observed to have initially a drop with increase in density and then a rise due to the scattering with the baryons. The mass of the $\rho$ meson is seen to drop with density due to decrease of the light quark condensates in the medium. The effects of isospin asymmetry and strangeness of the medium on the masses of the vector mesons are also studied in the present work. The $\phi$ meson is observed to have marginal drop in its mass in the nuclear medium. However, the strangeness of the medium is seen to lead to an appreciable increase in its mass arising due to scattering with the hyperons.


title: Operational risk of a wind farm energy production by Extreme Value Theory and Copulas

abstract: In this paper we use risk management techniques to evaluate the potential effects of those operational risks that affect the energy production of a wind farm. We concentrate our attention on three major risk factors: wind speed uncertainty, wind turbine reliability and interactions of wind turbines due mainly to their placement. As a first contribution, we show that the Weibull distribution, commonly used to fit recorded wind speed data, underestimates rare events. Therefore, in order to achieve a better estimation of the tail of the wind speed distribution, we advance a Generalized Pareto distribution. The wind turbines reliability is considered by modeling the failures events as a compound Poisson process. Finally, the use of Copula able us to consider the correlation between wind turbines that compose the wind farm. Once this procedure is set up, we show a sensitivity analysis and we also compare the results from the proposed procedure with those obtained by ignoring the aforementioned risk factors.


title: The Benford law behavior of the religious activity data

abstract: An important aspect of religious association is that adherents, as part of their religious duty, carry out various activities. One religious group known for keeping the elaborate records of day-to-day activities of its members is the Jehovah's Witnesses (JWs)-a worldwide Christian religious group. We analyze the historical records of the country-wide data associated with twelve different religious activities of JWs to see if there are any patterns in the distribution of the first digits as predicted by Benford's law. This law states that the first digits of numbers in data sets are not uniformly distributed but often, not always, follow a logarithmic distribution such that the numbers beginning with smaller digits appear more frequently than those with larger ones. We find that the data on religious activities like peak publishers, pioneer publishers, baptizations, public meetings, congregations, bible studies, time spent in door-to-door contacts, attendances at the memorial services, total literature and individual magazines distributed, new subscriptions and back-calls received excellently conforms to Benford's law.


title: On entanglement entropy functionals in higher derivative gravity theories

abstract: In arXiv:1310.5713 and arXiv:1310.6659 a formula was proposed as the entanglement entropy functional for a general higher-derivative theory of gravity, whose lagrangian consists of terms containing contractions of the Riemann tensor. In this paper, we carry out some tests of this proposal. First, we find the surface equation of motion for general four-derivative gravity theory by minimizing the holographic entanglement entropy functional resulting from this proposed formula. Then we calculate the surface equation for the same theory using the generalized gravitational entropy method of arXiv:1304.4926. We find that the two do not match in their entirety. We also construct the holographic entropy functional for quasi-topological gravity, which is a six-derivative gravity theory. We find that this functional gives the correct universal terms. However, as in the four-derivative case, the generalized gravitational entropy method applied to this theory does not give exactly the surface equation of motion coming from minimizing the entropy functional.


title: Quantum Brownian motion model for the stock market

abstract: It is believed by the majority today that the efficient market hypothesis is imperfect because of market irrationality. Using the physical concepts and mathematical structures of quantum mechanics, we construct an econophysics framework for the stock market, based on which we analogously map massive numbers of single stocks into a reservoir consisting of many quantum harmonic oscillators and their stock index into a typical quantum open system--a quantum Brownian particle. In particular, the irrationality of stock transactions is quantitatively considered as the Planck constant within Heisenberg's uncertainty relationship of quantum mechanics in an analogous manner. We analyze real stock data of Shanghai Stock Exchange of China and investigate fat-tail phenomena and non-Markovian behaviors of the stock index with the assistance of the quantum Brownian motion model, thereby interpreting and studying the limitations of the classical Brownian motion model for the efficient market hypothesis from a new perspective of quantum open system dynamics.


title: Nonlinear Electrodynamics in $f(T)$ Gravity and Generalized Second Law of Thermodynamics

abstract: In this paper, we study the nonlinear electrodynamics in the framework of $f(T)$ gravity for FRW universe along with dust matter, magnetic and torsion contributions. We evaluate the equation of state and deceleration parameters to explore the accelerated expansion of the universe. The validity of generalized second law of thermodynamics for Hubble and event horizons is also investigated in this scenario. For this purpose, we assume pole-like and power-law forms of scale factor and construct $f(T)$ models. The graphical behavior of the cosmological parameters versus smaller values of redshift $z$ represent the accelerated expansion of the universe. It turns out that the generalized second law of thermodynamics holds for all values of $z$ with event horizon for power-law scale factor whereas it holds in a specific range of $z$ with Hubble horizon for power-law and both horizons in pole-like scale factors.


title: Excited-state quantum phase transitions and periodic dynamics

abstract: We investigate signatures of the excited-state quantum phase transition in the periodic dynamics of the Lipkin-Meshkov-Glick model and the Tavis-Cummings model. In the thermodynamic limit, expectation values of observables in eigenstates of the system can be calculated using classical trajectories. Motivated by this, we suggest a method based on the time evolution of the finite-size system, to find singularities in observables, which arise due to the excited-state quantum phase transition.


title: Temporal Analysis of Language through Neural Language Models

abstract: We provide a method for automatically detecting change in language across time through a chronologically trained neural language model. We train the model on the Google Books Ngram corpus to obtain word vector representations specific to each year, and identify words that have changed significantly from 1900 to 2009. The model identifies words such as "cell" and "gay" as having changed during that time period. The model simultaneously identifies the specific years during which such words underwent change.


title: Wideband Dynamic Radio Spectra of Two Ultra-cool dwarfs

abstract: A number of radio-loud ultra cool dwarf stars (UCD) exhibit both continuous broadband and highly polarized pulsed radio emission. In order to determine the nature of the emission and the physical characteristics in the source region, we have made multi-epoch, wideband spectral observations of TVLM 0513-46 and 2M 0746+20. We combine these observations with archival radio data to fully characterize both the temporal and spectral properties of the radio emission. The continuum spectral energy distribution can be well modeled using gyrosynchrotron emission from mildly relativistic electrons in a dipolar field. The pulsed emission exhibits a variety of time-variable characteristics, including frequency drifts, frequency cutoffs, and multiple pulses per period. For 2M 0746+20 we determine a pulse period consistent with previously determined values. We modeled locations of pulsed emission using an oblique rotating magnetospheric model with beamed electron cyclotron maser (ECM) sources. The best-fit models have narrow ECM beaming angles aligned with the local source magnetic field direction, except for one isolated burst from 2M 0746+20. For TVLM 0513-46, the best-fit rotation axis inclination is nearly orthogonal to the line of sight. For 2M 0746+20 we found a good fit using a fixed inclination i=36 deg, determined from optical observations. For both stars the ECM sources are located near feet of magnetic loops with radial extents 1.2Rs-2.7 Rs and surface fields 2.2 - 2.5 kG. These results support recent suggestions that radio over-luminous UCDs have a global `weak field' non-axisymmetric magnetic topologies.


title: Random transverse-field Ising chain with long-range interactions

abstract: We study the low-energy properties of the long-range random transverse-field Ising chain with ferromagnetic interactions decaying as a power alpha of the distance. Using variants of the strong-disorder renormalization group method, the critical behavior is found to be controlled by a strong-disorder fixed point with a finite dynamical exponent z_c=alpha. Approaching the critical point, the correlation length diverges exponentially. In the critical point, the magnetization shows an alpha-independent logarithmic finite-size scaling and the entanglement entropy satisfies the area law. These observations are argued to hold for other systems with long-range interactions, even in higher dimensions.


title: Credibility Adjusted Term Frequency: A Supervised Term Weighting Scheme for Sentiment Analysis and Text Classification

abstract: We provide a simple but novel supervised weighting scheme for adjusting term frequency in tf-idf for sentiment analysis and text classification. We compare our method to baseline weighting schemes and find that it outperforms them on multiple benchmarks. The method is robust and works well on both snippets and longer documents.


title: Possible Topological Superconducting Phases of MoS$_{2}$

abstract: Molybdenum disulphide (MoS$_2$) has attracted much interest in recent years due to its potential applications in a new generation of electronic devices. Recently, it was shown that thin films of MoS$_2$ can become superconducting with a highest $T_{c}$ of 10K when the material is heavily gated to the conducting regime. In this work, using the group theoretical approach, we determine the possible pairing symmetries of heavily gated MoS$_2$. Depending on the electron-electron interactions, the material can support an exotic spin-singlet $p +ip $-wave-like, an exotic spin-triplet s-wave-like and an conventional spin-triplet $p$-wave pairing phases. Importantly, the exotic spin-singlet $p+ip$-wave phase is a topological superconducting phase which breaks time-reversal symmetry spontaneously and possesses chiral Majorana edge states.


title: Stopping electrons with radio-frequency pulses in the quantum Hall regime

abstract: Most functionalities of modern electronic circuits rely on the possibility to modify the path fol- lowed by the electrons using, e.g. field effect transistors. Here we discuss the interplay between the modification of this path and the quantum dynamics of the electronic flow. Specifically, we study the propagation of charge pulses through the edge states of a two-dimensional electron gas in the quantum Hall regime. By sending radio-frequency (RF) excitations on a top gate capacitively coupled to the electron gas, we manipulate these edge state dynamically. We find that a fast RF change of the gate voltage can stop the propagation of the charge pulse inside the sample. This effect is intimately linked to the vanishing velocity of bulk states in the quantum Hall regime and the peculiar connection between momentum and transverse confinement of Landau levels. Our findings suggest new possibilities for stopping, releasing and switching the trajectory of charge pulses in quantum Hall systems.


title: Reconstruction of Independent Sub-domains for a class of Hamilton Jacobi Equations and its Application to Parallel Computing

abstract: A previous knowledge of the domains of dependence of an Hamilton Jacobi equation can be useful in its study and approximation. Information of this nature are, in general, difficult to obtain directly from the data of the problem. In this paper we introduce formally the concept of independent sub-domains discussing their main properties and we provide a constructive implicit representation formula. Using such results we propose an algorithm for the approximation of these sets that will be shown to be relevant in parallel computing of the solution.


title: On Reflection Orders Compatible with a Coxeter Element

abstract: In this article we give a simple, almost uniform proof that the lattice of noncrossing partitions associated with a well-generated complex reflection group is lexicographically shellable. So far a uniform proof is available only for Coxeter groups. In particular we show that, for any complex reflection group $W$ and any element $x\in W$, every $x$-compatible reflection order is a recursive atom order of the corresponding interval in absolute order. Since any Coxeter element $\gamma$ in any well-generated complex reflection group admits a $\gamma$-compatible reflection order, the lexicographic shellability follows from a well-known result due to Bj\"orner and Wachs.


title: Hinode 7: Conference Summary and Future Suggestions

abstract: This conclusion to the meeting attempts to summarise what we have learnt during the conference (mainly from the review talks) about new observations from Hinode and about theories stimulated by them. Suggestions for future study are also offered.


title: On infinitely divisible distributions with polynomially decaying characteristic functions

abstract: We provide necessary and sufficient conditions on the characteristics of an infinitely divisible distribution under which its characteristic function $\phi$ decays polynomially. Under a mild regularity condition this polynomial decay is equivalent to $1/\phi$ being a Fourier multiplier on Besov spaces.


title: Running coupling effects in the evolution of jet quenching

abstract: We study the consequences of including the running of the QCD coupling in the equation describing the evolution of the jet quenching parameter $\hat q$ in the double logarithmic approximation. To start with, we revisit the case of a fixed coupling, for which we obtain exact solutions valid for generic values of the transverse momentum (above the medium saturation scale) and corresponding to various initial conditions. In the case of a running coupling, we construct approximate solutions in the form of truncated series obtained via successive iterations, whose convergence is well under control. We thus deduce the dominant asymptotic behavior of the renormalized $\hat q$ in the limit of a large evolution time $Y\equiv\ln(L/\lambda)$, with $L$ the size of the medium and $\lambda$ the typical wavelength of a medium constituent. We show that the asymptotic expansion is universal with respect to the choice of the initial condition at $Y=0$ and, moreover, it is remarkably similar to the corresponding expansion for the saturation momentum of a shockwave (a large nucleus). As expected, the running of the coupling significantly slows down the increase of $\hat q$ with $Y$ in the asymptotic regime at $Y\gg 1$. For the phenomenologically interesting value $Y\simeq 3$, we find an enhancement factor close to 3, independently of the initial condition and for both fixed and running coupling.


title: Superconducting inductive displacement detection of a microcantilever

abstract: We demonstrate a superconducting inductive technique to measure the displacement of a micromechanical resonator. In our scheme, a type I superconducting microsphere is attached to the free end of a microcantilever and approached to the loop of a dc Superconducting Quantum Interference Device (SQUID) microsusceptometer. A local magnetic field as low as 100 $\mu$T, generated by a field coil concentric to the SQUID, enables detection of the cantilever thermomechanical noise at $4.2$ K. The magnetomechanical coupling and the magnetic spring are in good agreement with image method calculations assuming pure Meissner effect. These measurements are relevant to recent proposals of quantum magnetomechanics experiments based on levitating superconducting microparticles.


title: On word-representability of polyomino triangulations

abstract: A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $(x,y)$ is an edge in $E$. Some graphs are word-representable, others are not. It is known that a graph is word-representable if and only if it accepts a so-called semi-transitive orientation. The main result of this paper is showing that a triangulation of any convex polyomino is word-representable if and only if it is 3-colorable. We demonstrate that this statement is not true for an arbitrary polyomino. We also show that the graph obtained by replacing each $4$-cycle in a polyomino by the complete graph $K_4$ is word-representable. We employ semi-transitive orientations to obtain our results.


title: Fermi-Pasta-Ulam model with long-range interactions: Dynamics and thermostatistics

abstract: We introduce and numerically study a long-range-interaction generalization of the one-dimensional Fermi-Pasta-Ulam (FPU) $\beta-$ model. The standard quartic interaction is generalized through a coupling constant that decays as $1/r^\alpha$ ($\alpha \ge 0$)(with strength characterized by $b>0$). In the $\alpha \to\infty$ limit we recover the original FPU model. Through classical molecular dynamics computations we show that (i) For $\alpha \geq 1$ the maximal Lyapunov exponent remains finite and positive for increasing number of oscillators $N$ (thus yielding ergodicity), whereas, for $0 \le \alpha <1$, it asymptotically decreases as $N^{- \kappa(\alpha)}$ (consistent with violation of ergodicity); (ii) The distribution of time-averaged velocities is Maxwellian for $\alpha$ large enough, whereas it is well approached by a $q$-Gaussian, with the index $q(\alpha)$ monotonically decreasing from about 1.5 to 1 (Gaussian) when $\alpha$ increases from zero to close to one. For $\alpha$ small enough, the whole picture is consistent with a crossover at time $t_c$ from $q$-statistics to Boltzmann-Gibbs (BG) thermostatistics. More precisely, we construct a "phase diagram" for the system in which this crossover occurs through a frontier of the form $1/N \propto b^\delta /t_c^\gamma$ with $\gamma >0$ and $\delta >0$, in such a way that the $q=1$ ($q>1$) behavior dominates in the $\lim_{N \to\infty} \lim_{t \to\infty}$ ordering ($\lim_{t \to\infty} \lim_{N \to\infty}$ ordering).


title: Return words of linear involutions and fundamental groups

abstract: We investigate the natural codings of linear involutions. We deduce from the geometric representation of linear involutions as Poincar\'e maps of measured foliations a suitable definition of return words which yields that the set of first return words to a given word is a symmetric basis of the free group on the underlying alphabet $A$. The set of first return words with respect to a subgroup of finite index $G$ of the free group on $A$ is also proved to be a symmetric basis of $G$.


title: Invisible Higgs Decay Width vs. Dark Matter Direct Detection Cross Section in Higgs Portal Dark Matter Models

abstract: The correlation between the invisible Higgs branching ratio ($B_h^{\rm inv} $) vs. dark matter (DM) direct detection ($\sigma_p^{\rm SI}$) in Higgs portal DM models is usually presented in the effective field theory (EFT) framework. This is fine for singlet scalar DM, but not in the singlet fermion DM (SFDM) or vector DM (VDM) models. In this paper, we derive the explicit expressions for this correlation within UV completions of SFDM and VDM models with Higgs portals, and discuss the limitation of the EFT approach. We show that there are at least two additional hidden parameter in $\sigma_p^{\rm SI}$ in the UV completions: the singlet-like scalar mass $m_2$ and its mixing angle $\alpha$ with the SM Higgs boson ($h$). In particular, if the singlet-like scalar is lighter than the SM Higgs boson ($m_2 < m_h \cos \alpha / \sqrt{1 + \cos^2 \alpha}$), the collider bound becomes weaker than the one based on EFT.


title: Return of the Devil in the Details: Delving Deep into Convolutional Nets

abstract: The latest generation of Convolutional Neural Networks (CNN) have achieved impressive results in challenging benchmarks on image recognition and object detection, significantly raising the interest of the community in these methods. Nevertheless, it is still unclear how different CNN methods compare with each other and with previous state-of-the-art shallow representations such as the Bag-of-Visual-Words and the Improved Fisher Vector. This paper conducts a rigorous evaluation of these new techniques, exploring different deep architectures and comparing them on a common ground, identifying and disclosing important implementation details. We identify several useful properties of CNN-based representations, including the fact that the dimensionality of the CNN output layer can be reduced significantly without having an adverse effect on performance. We also identify aspects of deep and shallow methods that can be successfully shared. In particular, we show that the data augmentation techniques commonly applied to CNN-based methods can also be applied to shallow methods, and result in an analogous performance boost. Source code and models to reproduce the experiments in the paper is made publicly available.


title: A new approach to the $2$-regularity of the $\ell$-abelian complexity of $2$-automatic sequences

abstract: We prove that a sequence satisfying a certain symmetry property is $2$-regular in the sense of Allouche and Shallit, i.e., the $\mathbb{Z}$-module generated by its $2$-kernel is finitely generated. We apply this theorem to develop a general approach for studying the $\ell$-abelian complexity of $2$-automatic sequences. In particular, we prove that the period-doubling word and the Thue--Morse word have $2$-abelian complexity sequences that are $2$-regular. Along the way, we also prove that the $2$-block codings of these two words have $1$-abelian complexity sequences that are $2$-regular.


title: Soft Graviton Theorem in Arbitrary Dimensions

abstract: In this note we show that the recent conjecture proposed by Cachazo and Strominger holds at tree level in arbitrary dimensions. The proof makes crucial use of the fact that the sub-leading operator is defined using the total angular momentum operator. A key ingredient that makes the proof possible is the CHY formula for graviton amplitudes in arbitrary number of dimensions.


title: Dimension Detection with Local Homology

abstract: Detecting the dimension of a hidden manifold from a point sample has become an important problem in the current data-driven era. Indeed, estimating the shape dimension is often the first step in studying the processes or phenomena associated to the data. Among the many dimension detection algorithms proposed in various fields, a few can provide theoretical guarantee on the correctness of the estimated dimension. However, the correctness usually requires certain regularity of the input: the input points are either uniformly randomly sampled in a statistical setting, or they form the so-called $(\varepsilon,\delta)$-sample which can be neither too dense nor too sparse. Here, we propose a purely topological technique to detect dimensions. Our algorithm is provably correct and works under a more relaxed sampling condition: we do not require uniformity, and we also allow Hausdorff noise. Our approach detects dimension by determining local homology. The computation of this topological structure is much less sensitive to the local distribution of points, which leads to the relaxation of the sampling conditions. Furthermore, by leveraging various developments in computational topology, we show that this local homology at a point $z$ can be computed \emph{exactly} for manifolds using Vietoris-Rips complexes whose vertices are confined within a local neighborhood of $z$. We implement our algorithm and demonstrate the accuracy and robustness of our method using both synthetic and real data sets.


title: The Neumann eigenvalue problem for the $\infty$-Laplacian

abstract: The first nontrivial eigenfunction of the Neumann eigenvalue problem for the $p$-Laplacian, suitable normalized, converges as $p$ goes to $\infty$ to a viscosity solution of an eigenvalue problem for the $\infty$-Laplacian. We show among other things that the limit of the eigenvalue, at least for convex sets, is in fact the first nonzero eigenvalue of the limiting problem. We then derive a number of consequences, which are nonlinear analogues of well-known inequalities for the linear (2-)Laplacian.


title: Improving offline evaluation of contextual bandit algorithms via bootstrapping techniques

abstract: In many recommendation applications such as news recommendation, the items that can be rec- ommended come and go at a very fast pace. This is a challenge for recommender systems (RS) to face this setting. Online learning algorithms seem to be the most straight forward solution. The contextual bandit framework was introduced for that very purpose. In general the evaluation of a RS is a critical issue. Live evaluation is of- ten avoided due to the potential loss of revenue, hence the need for offline evaluation methods. Two options are available. Model based meth- ods are biased by nature and are thus difficult to trust when used alone. Data driven methods are therefore what we consider here. Evaluat- ing online learning algorithms with past data is not simple but some methods exist in the litera- ture. Nonetheless their accuracy is not satisfac- tory mainly due to their mechanism of data re- jection that only allow the exploitation of a small fraction of the data. We precisely address this issue in this paper. After highlighting the limita- tions of the previous methods, we present a new method, based on bootstrapping techniques. This new method comes with two important improve- ments: it is much more accurate and it provides a measure of quality of its estimation. The latter is a highly desirable property in order to minimize the risks entailed by putting online a RS for the first time. We provide both theoretical and ex- perimental proofs of its superiority compared to state-of-the-art methods, as well as an analysis of the convergence of the measure of quality.


title: An optimized Method to Identify RR Lyrae stars in the SDSS X Pan-STARRS1 Overlapping Area Using a Bayesian Generative Technique

abstract: We present a method for selecting RR Lyrae (RRL) stars (or other type of variable stars) in the absence of a large number of multi-epoch data and light curve analyses. Our method uses color and variability selection cuts that are defined by applying a Gaussian Mixture Bayesian Generative Method (GMM) on 636 pre-identified RRL stars instead of applying the commonly used rectangular cuts. Specifically, our method selects 8,115 RRL candidates (heliocentric distances < 70 kpc) using GMM color cuts from the Sloan Digital Sky Survey (SDSS) and GMM variability cuts from the Panoramic Survey Telescope and Rapid Response System 1 3pi survey (PS1). Comparing our method with the Stripe 82 catalog of RRL stars shows that the efficiency and completeness levels of our method are ~77% and ~52%, respectively. Most contaminants are either non-variable main-sequence stars or stars in eclipsing systems. The method described here efficiently recovers known stellar halo substructures. It is expected that the current completeness and efficiency levels will further improve with the additional PS1 epochs (~3 epochs per filter) that will be observed before the conclusion of the survey. A comparison between our efficiency and completeness levels using the GMM method to the efficiency and completeness levels using rectangular cuts that are commonly used yielded a significant increase in the efficiency level from ~13% to ~77% and an insignificant change in the completeness levels. Hence, we favor using the GMM technique in future studies. Although we develop it over the SDSS X PS1 footprint, the technique presented here would work well on any multi-band, multi-epoch survey for which the number of epochs is limited.


title: Optimal Switching in Finite Horizon under State Constraints

abstract: We study an optimal switching problem with a state constraint: the controller is only allowed to choose strategies that keep the controlled diffusion in a closed domain. We prove that the value function associated with this problem is the limit of value functions associated with unconstrained switching problems with penalized coefficients, as the penalization parameter goes to infinity. This convergence allows to set a dynamic programming principle for the constrained switching problem. We then prove that the value function is a solution to a system of variational inequalities (SVI for short) in the constrained viscosity sense. We finally prove that uniqueness for our SVI cannot hold and we give a weaker characterization of the value function as the maximal solution to this SVI. All our results are obtained without any regularity assumption on the constraint domain.


title: Pattern Recognition in Narrative: Tracking Emotional Expression in Context

abstract: Using geometric data analysis, our objective is the analysis of narrative, with narrative of emotion being the focus in this work. The following two principles for analysis of emotion inform our work. Firstly, emotion is revealed not as a quality in its own right but rather through interaction. We study the 2-way relationship of Ilsa and Rick in the movie Casablanca, and the 3-way relationship of Emma, Charles and Rodolphe in the novel {\em Madame Bovary}. Secondly, emotion, that is expression of states of mind of subjects, is formed and evolves within the narrative that expresses external events and (personal, social, physical) context. In addition to the analysis methodology with key aspects that are innovative, the input data used is crucial. We use, firstly, dialogue, and secondly, broad and general description that incorporates dialogue. In a follow-on study, we apply our unsupervised narrative mapping to data streams with very low emotional expression. We map the narrative of Twitter streams. Thus we demonstrate map analysis of general narratives.


title: Backward SDE Representation for Stochastic Control Problems with Non Dominated Controlled Intensity

abstract: We are interested in stochastic control problems coming from mathematical finance and, in particular, related to model uncertainty, where the uncertainty affects both volatility and intensity. This kind of stochastic control problems is associated to a fully nonlinear integro-partial differential equation, which has the peculiarity that the measure $(\lambda(a,\cdot))_a$ characterizing the jump part is not fixed but depends on a parameter $a$ which lives in a compact set $A$ of some Euclidean space $\R^q$. We do not assume that the family $(\lambda(a,\cdot))_a$ is dominated. Moreover, the diffusive part can be degenerate. Our aim is to give a BSDE representation, known as nonlinear Feynman-Kac formula, for the value function associated to these control problems. For this reason, we introduce a class of backward stochastic differential equations with jumps and partially constrained diffusive part. We look for the minimal solution to this family of BSDEs, for which we prove uniqueness and existence by means of a penalization argument. We then show that the minimal solution to our BSDE provides the unique viscosity solution to our fully nonlinear integro-partial differential equation.


title: Carbon Synthesis in Steady-State Hydrogen and Helium Burning On Accreting Neutron Stars

abstract: Superbursts from accreting neutron stars probe nuclear reactions at extreme densities ($\rho \approx 10^{9}~g\,cm^{-3}$) and temperatures ($T>10^9~K$). These bursts ($\sim$1000 times more energetic than type I X-ray bursts) are most likely triggered by unstable ignition of carbon in a sea of heavy nuclei made during the rp-process of regular type I X-ray bursts (where the accumulated hydrogen and helium are burned). An open question is the origin of sufficient amounts of carbon, which is largely destroyed during the rp-process in X-ray bursts. We explore carbon production in steady-state burning via the rp-process, which might occur together with unstable burning in systems showing superbursts. We find that for a wide range of accretion rates and accreted helium mass fractions large amounts of carbon are produced, even for systems that accrete solar composition. This makes stable hydrogen and helium burning a viable source of carbon to trigger superbursts. We also investigate the sensitivity of the results to nuclear reactions. We find that the $^{14}$O($\alpha$,p)$^{17}$F reaction rate introduces by far the largest uncertainties in the $^{12}$C yield.


title: Equilibria of a charged artificial satellite subject to gravitational and Lorentz torques

abstract: Attitude Dynamics of a rigid artificial satellite subject to gravity gradient and Lorentz torques in a circular orbit is considered. Lorentz torque is developed on the basis of the electrodynamic effects of the Lorentz force acting on the charged satellite's surface. We assume that the satellite is moving in Low Earth Orbit (LEO) in the geomagnetic field which is considered as a dipole model. Our model of the torque due to the Lorentz force is developed for a general shape of artificial satellite, and the nonlinear differential equations of Euler are used to describe its attitude orientation. All equilibrium positions are determined and {their} existence conditions are obtained. The numerical results show that the charge $q$ and radius $\rho_0$ of the charged center of satellite provide a certain type of semi passive control for the attitude of satellite. The technique for such kind of control would be to increase or decrease the electrostatic radiation screening of the satellite. The results {obtained} confirm that the change in charge can effect the magnitude of the Lorentz torque, which may affect the satellite's control. Moreover, the relation between the magnitude of the Lorentz torque and inclination of the orbits is investigated.


title: Superconductivity in FeTe0.8S0.2 induced by battery-like reaction

abstract: Superconductivity is successfully induced by utilizing a battery-like reaction found in a typical Li-ion battery. Excess Fe in FeTe0.8S0.2 is electrochemically de-intercalated by applying a voltage in a citric acid solution. The superconducting properties improve with an increase in the applied voltage up to 1.5 V. This result suggests that an electrochemical reaction can be used as a novel method to develop new superconducting materials.


title: Relabeling symmetry in relativistic fluids and plasmas

abstract: The conservation of the recently formulated relativistic canonical helicity [Yoshida Z, Kawazura Y, and Yokoyama T 2014 J. Math. Phys. 55 043101] is derived from Noether's theorem by constructing an action principle on the relativistic Lagrangian coordinates (we obtain general cross helicities that include the helicity of the canonical vorticity). The conservation law is, then, explained by the relabeling symmetry pertinent to the Lagrangian label of fluid elements. Upon Eulerianizing the Noether current, the purely spatial volume integral on the Lagrangian coordinates is mapped to a space-time mixed three-dimensional integral on the four-dimensional Eulerian coordinates. The relativistic conservation law in the Eulerian coordinates is no longer represented by any divergence-free current; hence, it is not adequate to regard the relativistic helicity (represented by the Eulerian variables) as a Noether charge, and this stands the reason why the "conventional helicity" is no longer a constant of motion. We have also formulated a relativistic action principle of magnetohydrodynamics (MHD) on the Lagrangian coordinates, and have derived the relativistic MHD cross helicity.


title: Rainbows in homogeneous and radially inhomogeneous spheres: connections with ray, wave and potential scattering theory

abstract: This chapter represents an attempt to summarize some of the direct and indirect connections that exist between ray theory, wave theory and potential scattering theory. Such connections have been noted in the past, and have been exploited to some degree, but in the opinion of this author, there is much more yet to be pursued in this regard. This article provides the framework for more detailed analysis in the future. In order to gain a better appreciation for a topic, it is frequently of value to examine it from as many complementary levels of description as possible, and that is the objective here. Drawing in part on the work of Nussenzveig, Lock, Debye and others, the mathematical nature of the rainbow is discussed from several perspectives. The primary bow is the lowest-order bow that can occur by scattering from a spherical drop with constant refractive index n, but zero-order (or direct transmission) bows can exist when the sphere is radially inhomogeneous. The refractive index profile automatically defines a scattering potential, but with a significant difference compared to the standard quantum mechanical form: the potential is k-dependent. A consequence of this is that there are no bound states for this system. The correspondences between the resonant modes in scattering by a potential of the well-barrier type and the behavior of electromagnetic rays in a transparent (or dielectric) sphere are discussed. The poles and saddle points of the associated scattering matrix have quite profound connections to electromagnetic tunneling, resonances and bows arising within and from the sphere. The links between the various mathematical and physical viewpoints are most easily appreciated in the case of constant n, thus providing insight into possible extensions to these descriptions for bows of arbitrary order in radially inhomogeneous spheres (and cylinders).


title: Anytime Computation of Cautious Consequences in Answer Set Programming

abstract: Query answering in Answer Set Programming (ASP) is usually solved by computing (a subset of) the cautious consequences of a logic program. This task is computationally very hard, and there are programs for which computing cautious consequences is not viable in reasonable time. However, current ASP solvers produce the (whole) set of cautious consequences only at the end of their computation. This paper reports on strategies for computing cautious consequences, also introducing anytime algorithms able to produce sound answers during the computation.


title: Incremental Tabling in Support of Knowledge Representation and Reasoning

abstract: Resolution-based Knowledge Representation and Reasoning (KRR) systems, such as Flora-2, Silk or Ergo, can scale to tens or hundreds of millions of facts, while supporting reasoning that includes Hilog, inheritance, defeasibility theories, and equality theories. These systems handle the termination and complexity issues that arise from the use of these features by a heavy use of tabled resolution. In fact, such systems table by default all rules defined by users, unless they are simple facts. Performing dynamic updates within such systems is nearly impossible unless the tables themselves can be made to react to changes. Incremental tabling as first implemented in XSB (Saha 2006) partially addressed this problem, but the implementation was limited in scope and not always easy to use. In this paper, we introduce transparent incremental tabling which at the semantic level supports updates in the 3-valued well-founded semantics, while guaranteeing full consistency of all tabled queries. Transparent incremental tabling also has significant performance improvements over previous implementations, including lazy recomputation, and control over the dependency structures used to determine how tables are updated.


title: Offloading Cellular Traffic through Opportunistic Communications: Analysis and Optimization

abstract: Offloading traffic through opportunistic communications has been recently proposed as a way to relieve the current overload of cellular networks. Opportunistic communication can occur when mobile device users are (temporarily) in each other's proximity, such that the devices can establish a local peer-to-peer connection (e.g., via Bluetooth). Since opportunistic communication is based on the spontaneous mobility of the participants, it is inherently unreliable. This poses a serious challenge to the design of any cellular offloading solutions, that must meet the applications' requirements. In this paper, we address this challenge from an optimization analysis perspective, in contrast to the existing heuristic solutions. We first model the dissemination of content (injected through the cellular interface) in an opportunistic network with heterogeneous node mobility. Then, based on this model, we derive the optimal content injection strategy, which minimizes the load of the cellular network while meeting the applications' constraints. Finally, we propose an adaptive algorithm based on control theory that implements this optimal strategy without requiring any data on the mobility patterns or the mobile nodes' contact rates. The proposed approach is extensively evaluated with both a heterogeneous mobility model as well as real-world contact traces, showing that it substantially outperforms previous approaches proposed in the literature.