title: Generalized Singular Value Thresholding

abstract: This work studies the Generalized Singular Value Thresholding (GSVT) operator ${\text{Prox}}_{g}^{{\sigma}}(\cdot)$, \begin{equation*} {\text{Prox}}_{g}^{{\sigma}}(B)=\arg\min\limits_{X}\sum_{i=1}^{m}g(\sigma_{i}(X)) + \frac{1}{2}||X-B||_{F}^{2}, \end{equation*} associated with a nonconvex function $g$ defined on the singular values of $X$. We prove that GSVT can be obtained by performing the proximal operator of $g$ (denoted as $\text{Prox}_g(\cdot)$) on the singular values since $\text{Prox}_g(\cdot)$ is monotone when $g$ is lower bounded. If the nonconvex $g$ satisfies some conditions (many popular nonconvex surrogate functions, e.g., $\ell_p$-norm, $0<p<1$, of $\ell_0$-norm are special cases), a general solver to find $\text{Prox}_g(b)$ is proposed for any $b\geq0$. GSVT greatly generalizes the known Singular Value Thresholding (SVT) which is a basic subroutine in many convex low rank minimization methods. We are able to solve the nonconvex low rank minimization problem by using GSVT in place of SVT.


title: The intersection form on moduli spaces of twisted PGL_n-Higgs bundles vanishes

abstract: Hausel and Rodriguez-Villegas conjectured that the intersection form on the moduli space of stable PGL_n-Higgs bundles on a curve vanishes if the degree is coprime to n. In this note we prove this conjecture. Along the way we show that moduli spaces of stable chains are irreducible for stability parameters larger than the stability condition induced form stability of Higgs bundles.


title: Asymptotic derivation of Langevin-like equation with non-Gaussian noise and its analytical solution

abstract: We asymptotically derive a non-linear Langevin-like equation with non-Gaussian white noise for a wide class of stochastic systems associated with multiple stochastic environments, by developing the expansion method in our previous paper [K. Kanazawa et al., arXiv: 1407.5267 (2014)]. We further obtain a full-order asymptotic formula of the steady distribution function in terms of a large friction coefficient for a non-Gaussian Langevin equation with an arbitrary non-linear frictional force. The first-order truncation of our formula leads to the independent-kick model and the higher-order correction terms directly correspond to the multiple-kicks effect during relaxation. We introduce a diagrammatic representation to illustrate the physical meaning of the high-order correction terms. As a demonstration, we apply our formula to a granular motor under Coulombic friction and get good agreement with our numerical simulations.


title: The growth index of matter perturbations using the clustering of dark energy

abstract: We have put forward a new unified framework which provides a consistent and rather complete account of the growth index of matter perturbations in the regime where the dark energy is allowed to have clustering. In particular, we find that the growth index is not only affected by the cosmological parameters but rather it depends on the choice of the considered dark energy (homogeneous or clustered). Using the {\em Planck} priors and performing a standard $\chi^2$-minimization between theoretical expectations and growth data, we statistically quantify the ability of the growth index to represent the observations. Finally, based on the growth index analysis we find that the growth data favour the clustered dark energy scenario.


title: An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions

abstract: Werner's set-theoretical model is one of the most intuitive models of ECC. It combines a functional view of predicative universes with a collapsed view of the impredicative sort Prop. However this model of Prop is so coarse that the principle of excluded middle holds. In this paper, we interpret Prop into a topological space (a special case of Heyting algebra) to make it more intuitionistic without sacrificing simplicity. We prove soundness and show some applications of our model.


title: Monte-Carlo Simulations of Spin-Crossover Phenomena Based on a Vibronic Ising-like Model with Realistic Parameters

abstract: Materials with spin-crossover (SCO) properties hold great potentials in information storage and therefore have received a lot of concerns in the recent decades. The hysteresis phenomena accompanying SCO is attributed to the intermolecular cooperativity whose underlying mechanism may have a vibronic origin. In this work, a new vibronic Ising-like model in which the elastic coupling between SCO centers is included by considering harmonic stretching and bending (SAB) interactions is proposed and solved by Monte Carlo simulations. The key parameters in the new model, $k_1$ and $k_2$, corresponding to the elastic constant of the stretching and bending mode, respectively, can be directly related to the macroscopic bulk and shear modulus of the material in study, which can be readily estimated either based on experimental measurements or first-principles calculations. The convergence issue in the MC simulations of the thermal hysteresis has been carefully checked, and it was found that the stable hysteresis loop can be more readily obtained when using the SAB model compared to that using the Wajnflasz-Pick model. Using realistic parameters estimated based on first-principles calculations of a specific polymeric coordination SCO compound, [Fe(pz)Pt(CN)$_4$]$\cdot$2H$_2$O, temperature-induced hysteresis and pressure effects on SCO phenomena are simulated successfully.


title: Strong orthogonality between the Mobius function and nonlinear exponential functions in short intervals

abstract: Let $\mu(n)$ be the M\"obius function, $e(z) = \exp(2\pi iz)$, $x$ real and $2\leq y \leq x$. This paper proves two sequences $(\mu(n))$ and $(e(n^k \alpha))$ are strongly orthogonal in short intervals. That is, if $k \geq 3$ being fixed and $y\geq x^{1-1/4+\varepsilon}$, then for any $A>0$, we have \[ \sum_{x< n \leq x+y} \mu(n) e\left(n^k \alpha \right) \ll y(\log y)^{-A} \] uniformly for $\alpha \in \mathbb{R}$.


title: How to analyze stochastic time series obeying a 2nd order differential equation

abstract: The stochastic properties of a Langevin-type Markov process can be extracted from a given time series by a Markov analysis. Also processes that obey a stochastically forced second order differential equation can be analyzed this way by employing a particular embedding approach: To obtain a Markovian process in 2N dimensions from a non Markovian signal in N dimensions, the system is described in a phase space that is extended by the temporal derivative of the signal. For a discrete time series, however, this derivative can only be calculated by a differencing scheme, which introduces an error. If the effects of this error are not accounted for, this leads to systematic errors in the estimation of the drift- and diffusion functions of the process. In this paper we will analyze these errors and we will propose an approach that correctly accounts for them. This approach allows an accurate parameter estimation and, additionally, is able to cope with weak measurement noise, which may be superimposed to a given time series.


title: Quasi-pseudometrics on quasi-uniform spaces and quasi-metrization of topological monoids

abstract: We define a notion of a rotund quasi-uniform space and describe a new direct construction of a (right-continuous) quasi-pseudometric on a (rotund) quasi-uniform space. This new construction allows to give alternative proofs of several classical metrizability theorems for (quasi-)uniform spaces and also obtain some new metrizability results. Applying this construction to topological monoids with open shifts, we prove that the topology of any (semiregular) topological monoid with open shifts is generated by a family of (right-continuous) left-subinvariant quasi-pseudometrics, which resolves an open problem posed by Ravsky in 2001. This implies that a topological monoid with open shifts is completely regular if and only if it is semiregular. Since each paratopological group is a topological monoid with open shifts these results apply also to paratopological groups.


title: The $C_p$-stable closure of the class of separable metrizable spaces

abstract: Denote by $\mathbf C_p[\mathfrak M_0]$ the $C_p$-stable closure of the class $\mathfrak M_0$ of all separable metrizable spaces, i.e., $\mathbf C_p[\mathfrak M_0]$ is the smallest class of topological spaces that contains $\mathfrak M_0$ and is closed under taking subspaces, homeomorphic images, countable topological sums, countable Tychonoff products, and function spaces $C_p(X,Y)$. Using a recent deep result of Chernikov and Shelah (2014), we prove that $\mathbf C_p[\mathfrak M_0]$ coincides with the class of all Tychonoff spaces of cardinality strictly less than $\beth_{\omega_1}$. Being motivated by the theory of Generalized Metric Spaces, we characterize also other natural $C_p$-type stable closures of the class $\mathfrak M_0$.


title: Some Isomorphism Theorems for MVD-algebras

abstract: In three recaent papers of G. Dimov, many Stone-type duality theorems for the category of locally compact Hausdorff spaces and continuous maps and some of its subcategories were proved. The dual objects in all these theorems are the local contact algebras. In a paper of D. Vakarelov, G. Dimov, I. Duntsch, and B. Bennett, the notion of an MVD-algebra was introduced and it was shown that it is equivalent to the notion of a local contact algebra. In this paper we express the duality theorems mentioned above in a new form using MVD-algebras and appropriate morphisms between them instead of local contact algebras and the respective morphisms.


title: The study of Lorenz and R\"ossler strange attractors by means of quantum theory

abstract: We have developed a method for complementing an arbitrary classical dynamical system to a quantum system using the Lorenz and R\"ossler systems as examples. The Schr\"odinger equation for the corresponding quantum statistical ensemble is described in terms of the Hamilton-Jacobi formalism. We consider both the original dynamical system in the position space and the conjugate dynamical system corresponding to the momentum space. Such simultaneous consideration of mutually complementary position and momentum frameworks provides a deeper understanding of the nature of chaotic behavior in dynamical systems. We have shown that the new formalism provides a significant simplification of the Lyapunov exponents calculations. From the point of view of quantum optics, the Lorenz and R\"ossler systems correspond to three modes of a quantized electromagnetic field in a medium with cubic nonlinearity. From the computational point of view, the new formalism provides a basis for the analysis of complex dynamical systems using quantum computers.


title: A N\'eron model of the universal jacobian

abstract: The jacobian of the universal curve over $\mathcal{M}_{g,n}$ is an abelian scheme over $\mathcal{M}_{g,n}$. Our main result is the construction of an algebraic space $\beta\colon \tilde{\mathcal{M}}_{g,n} \rightarrow \bar{\mathcal{M}}_{g,n}$ over which this jacobian admits a N\'eron model, and such that $\beta$ is universal with respect to this property. We prove certain basic properties, for example that $\beta$ is separated, locally of finite presentation, and satisfies a certain restricted form of the valuative criterion for properness. In general, $\beta$ is not quasi-compact. We relate our construction to Caporaso's balanced Picard stack $\mathcal{P}_{d,g}$.


title: Root approach for estimation of statistical distributions

abstract: Application of root density estimator to problems of statistical data analysis is demonstrated. Four sets of basis functions based on Chebyshev-Hermite, Laguerre, Kravchuk and Charlier polynomials are considered. The sets may be used for numerical analysis in problems of reconstructing statistical distributions by experimental data. Based on the root approach to reconstruction of statistical distributions and quantum states, we study a family of statistical distributions in which the probability density is the product of a Gaussian distribution and an even-degree polynomial. Examples of numerical modeling are given. The results of present paper are of interest for the development of tomography of quantum states and processes.


title: Valence bond supersolid in a bilayer extended Bose Hubbard model

abstract: The hardcore extended Bose Hubbard model on a bilayer square lattice with attractive (repulsive) interplane (intraplane) interactions has been investigated numerically. Focusing on the strong interplane hopping parameter regime, triplet valence bonds of dimers are stabilized to form valence bond checkerboard solid at quarter filling. Increasing the particle number we confirm, for the first time, the presence of the exotic valence bond supersolid phase, where the valence bond solid ordering and the boson superfluidity coexist. Rising further the particle number will lead to a checkerboard solid of dimer pair at half filling for strong intraplane repulsion, or a valence bond Mott insulator for weak repulsive interactions. We analyze the rich ground state phase diagrams of this model, which can be experimentally realized in optical lattices of cold atoms.


title: Invariant manifolds for finite-dimensional non-archimedean dynamical systems

abstract: Let M be an analytic manifold modelled on an ultrametric Banach space over a complete ultrametric field. Let f be an analytic diffeomorphism from M onto itself and p be a fixed point of f. We discuss invariant manifolds around p, like stable manifolds, centre-stable manifolds and centre manifolds, with an emphasis on results specific to the case that M has finite dimension. The results have applications in the theory of Lie groups over totally disconnected local fields.


title: Knowing Your Population: Privacy-Sensitive Mining of Massive Data

abstract: Location and mobility patterns of individuals are important to environmental planning, societal resilience, public health, and a host of commercial applications. Mining telecommunication traffic and transactions data for such purposes is controversial, in particular raising issues of privacy. However, our hypothesis is that privacy-sensitive uses are possible and often beneficial enough to warrant considerable research and development efforts. Our work contends that peoples behavior can yield patterns of both significant commercial, and research, value. For such purposes, methods and algorithms for mining telecommunication data to extract commonly used routes and locations, articulated through time-geographical constructs, are described in a case study within the area of transportation planning and analysis. From the outset, these were designed to balance the privacy of subscribers and the added value of mobility patterns derived from their mobile communication traffic and transactions data. Our work directly contrasts the current, commonly held notion that value can only be added to services by directly monitoring the behavior of individuals, such as in current attempts at location-based services. We position our work within relevant legal frameworks for privacy and data protection, and show that our methods comply with such requirements and also follow best-practices


title: The study of amplitude and phase relaxation impact on the quality of quantum information technologies

abstract: The influence of amplitude and phase relaxation on evolution of quantum states within the formalism of quantum operations is considered. The model of polarizing qubits where noises are determined by the existence of spectral degree of freedom that shows up during the light propagation inside anisotropic mediums with dispersion is studied. Approximate analytic model for calculation of phase plate impact on polarizing state with dispersion influence taken into consideration is suggested.


title: Kantowski-Sachs Universes sourced by a Skyrme fluid

abstract: The Kantowski-Sachs cosmological model sourced by a Skyrme field and a cosmological constant is considered in the framework of General Relativity. Assuming a constant radial profile function for the hedgehog ansatz, the Skyrme contribution to Einstein equations is shown to be equivalent to an anisotropic fluid. Using dynamical system techniques, a qualitative analysis of the cosmological equations is presented. Physically interesting features of the model such as isotropization, bounce and recollapse are discussed.


title: Local and nonlocal observables in quantum optics

abstract: It is pointed out that there exists an unambiguous definition of locality that enables one to distinguish local and nonlocal quantities. Observables of both types coexist in quantum optics but one must be very careful when attempting to measure them. A nonlocal observable which formally depends on the spatial position $\bi r$ cannot be {\em locally} measured without disturbing the measurements of this observable at all other positions.


title: H.E.S.S. detection of TeV emission from the interaction region between the supernova remnant G349.7+0.2 and a molecular cloud

abstract: G349.7+0.2 is a young Galactic supernova remnant (SNR) located at the distance of 11.5 kpc and observed across the entire electromagnetic spectrum from radio to high energy (HE) Gamma-rays. Radio and infrared observations indicate that the remnant is interacting with a molecular cloud. In this paper, the detection of very high energy (VHE) Gamma-ray emission coincident with this SNR with the High Energy Stereoscopic System (H.E.S.S.) is reported. An integral flux F(E>400GeV)=(6.5 +-1.1stat +-1.3syst) x 10^{-13} ph/cm/s corresponding to 0.7% of that of the Crab Nebula and to a luminosity of 10^34 erg/s above the same energy threshold, and a steep photon index Gamma_VHE = 2.8 +-0.27stat +-0.20syst are measured. The analysis of more than 5 yr of Fermi-LAT data towards this source shows a power-law like spectrum with a best-fit photon index Gamma_HE = 2.2 +-0.04stat +0.13-0.31syst. The combined Gamma-ray spectrum of G349.7+0.2 can be described by either a broken power-law (BPL) or a power-law with exponential (or sub-exponential) cutoff (PLC). In the former case, the photon break energy is found at E_br,gamma = 55 +70-30 GeV, slightly higher than what is usually observed in the HE/VHE Gamma-ray emitting middle-aged SNRs known to be interacting with molecular clouds. In the latter case, the exponential (respectively sub-exponential) cutoff energy is measured at E_cut,gamma = 1.4 +1.6-0.55 (respectively 0.35 +0.75-0.21) TeV. A pion-decay process resulting from the interaction of the accelerated protons and nuclei with the dense surrounding medium is clearly the preferred scenario to explain the Gamma-ray emission. The BPL with a spectral steepening of 0.5-1 and the PLC provide equally good fits to the data. The product of the average gas density and the total energy content of accelerated protons and nuclei amounts to nH Wp ~ 5 x 10^51 erg/cm3.


title: Monopoles on 3 dimensional AC manifolds

abstract: We construct monopoles in any asymptotically conical (AC) $3$-manifold $X$ with $b^2(X)=0$. For sufficiently large mass, our construction covers an open set in the moduli space of monopoles. We also give a more general construction of Dirac monopoles in any AC manifold, which may be useful for generalizing our result to the case when $b^2(X) \neq 0$.


title: On pseudo BL-algebras and pseudo hoops with normal maximal filters

abstract: We study the class of pseudo BL-algebras whose every maximal filter is normal. We present an equational base for this class and we extend these results for the class of basic pseudo hoops with fixed strong unit.


title: Turbulent General Magnetic Reconnection

abstract: Plasma flows with an MHD-like turbulent inertial range, such as the solar wind, require a generalization of General Magnetic Reconnection (GMR) theory. We introduce the slip-velocity source vector, which gives the rate of development of slip velocity per unit arc length of field line. The slip source vector is the ratio of the curl of the non ideal electric field in the Generalized Ohm's Law and the magnetic field strength. It diverges at magnetic nulls, unifying GMR with magnetic null-point reconnection. Only under restrictive assumptions is the slip velocity related to the gradient of the quasi potential (integral of parallel electric field along field lines). In a turbulent inertial range the curl becomes extremely large while the parallel component is tiny, so that line slippage occurs even while ideal MHD becomes accurate. The resolution of this paradox is that ideal MHD is valid for a turbulent inertial-range only in a weak sense which does not imply magnetic line freezing. The notion of weak solution is explained in terms of spatial coarse-graining and renormalization group (RG) theory. We give an argument for the weak validity of the ideal Ohm's law in the inertial range, via rigorous estimates of the terms in the Generalized Ohm's Law for an electron-ion plasma. All of the nonideal terms (from collisional resistivity, Hall field, electron pressure anisotropy, and electron inertia) are shown to be irrelevant in the RG sense and large-scale reconnection is thus governed solely by ideal dynamics. We briefly discuss some implications for heliospheric reconnection, in particular for deviations from the Parker spiral model of interplanetary magnetic field. Solar wind observations show that reconnection in a turbulence broadened heliospheric current sheet, consistent with the Lazarian-Vishniac theory, leads to slip velocities that cause field lines to lag relative to the spiral model.


title: Radiometric Measurements of Electron Temperature and Opacity of Ionospheric Perturbations

abstract: Changes in the sky noise spectrum are used to characterize perturbations in the ionosphere. Observations were made at the same sidereal time on multiple days using a calibrated broadband dipole and radio spectrometer covering 80 to 185 MHz. In this frequency range, an ionospheric opacity perturbation changes both the electron thermal emission from the ionosphere and the absorption of the sky noise background. For the first time, these changes are confirmed to have the expected spectral signature and are used to derive the opacity and electron temperature associated with the perturbations as a function of local time. The observations were acquired at the Murchison Radio-astronomy Observatory in Western Australia from 18 April 2014 to 6 May 2014. They show perturbations that increase at sunrise, continue during the day, and decline after sunset. Magnitudes corresponding to an opacity of about 1 percent at 150 MHz with a typical electron temperature of about 800 K, were measured for the strongest perturbations.


title: From Spin Vertex to String Vertex

abstract: In the recent publication arXiv:1410.8860 the spin vertex was introduced as a new approach for computing three-point functions in N = 4 SYM. In this note we consider the BMN limit of the spin vertex for scalar excitations and show that it reproduces the string vertex in the light-cone string field theory which describes the string interactions in the pp-wave background at the leading order of BMN expansion. This is achieved by introducing a polynomial representation for the spin vertex. We derive the Neumann coefficients from the spin vertex at weak coupling and show they match with the Neumann coefficients from the string field theory.


title: HotBox: Testing Temperature Effects in Sensor Networks

abstract: Low-power wireless networks, especially in outside deployments, are exposed to a wide range of temperatures. The detrimental effect of high temperatures on communication quality is well known. To investigate these influences under controlled conditions, we present HotBox, a solution with the following properties: (1) It allows exposition of sensor motes to a wide range of temperatures with a high degree of accuracy. (2) It supports specifying exact spatial orientation of motes which, if not ensured, interferes with repeatable experiment setups. (3) It is reasonably easy to assemble by following the information (code, PCB schematics, hardware list and crafting instructions) available online, facilitating further use of the platforms by other researchers. After presenting HotBox, we will show its performance and prove its feasibility as evaluation platform by conducting several experiments. These experiments additionally provide further insight into the influence of temperature effects on communication performance in low-power wireless networks.


title: Impact of Gravitational Slingshot of Dark Matter on Galactic Halo Profiles

abstract: We study the impact of gravitational slingshot on the distribution of cold dark matter in early and modern era galaxies. Multiple gravitational encounters of a lower mass dark matter particle with massive baryonic astrophysical bodies would lead to an average energy gain for the dark matter, similar to second order Fermi acceleration. We calculate the average energy gain and model the integrated effect on the dark matter profile. We find that such slingshot effect was most effective in the early history of galaxies where first generation stars were massive, which smeared the dark matter distribution at the galactic center and flattened it from an initial cusp profile. On the other hand, slingshot is less effective after the high mass first generation stars and stellar remnants are no longer present. Our finding may help to resolve the cusp-core problem, and we discuss implications for the existing observation-simulation discrepancies and phenomena related to galaxy mergers.


title: A note on homological dimension of a family of coherent sheaves

abstract: We prove a theorem on how a conclusion on homological dimension of a family of coherent sheaves over a scheme can be done from homological dimension of the restriction of this family to the reduction of the base.


title: Simultaneous measurements of super-radiance at multiple wavelengths from helium excited states: (I) Experiment

abstract: In this paper, we report the results of measurements of the intensities and delays of super-radiance decays from excited helium atoms at multiple wavelengths. The experiment was performed using extreme ultraviolet radiation produced by the free electron laser at the SPring-8 Compact SASE Source test accelerator facility as an excitation source. We observed super-radiant transitions on the $1s3p \to 1s2s$ ($\lambda=$502 nm), $1s3d \to 1s2p$ ($\lambda=$668 nm), and $1s3s \to 1s2p$ ($\lambda=$728 nm) transitions. The pulse energy of each transition and its delay time were measured as a function of the target helium gas density. Several interesting features of the data, some of which appear to contradict with the predictions of the simple two-level super-radiance theory, are pointed out.


title: Protection de la vie priv\'ee \`a base d'agents dans un syst\`eme d'e-learning

abstract: The e-learning systems are designed to provide an easy and constant access to educational resources online. Indeed, E-learning systems have capacity to adapt content and learning process according to the learner profile. Adaptation techniques using advanced behavioral analysis mechanisms, called "Learner Modeling" or "Profiling". The latter require continuous tracking of the activities of the learner to identify gaps and strengths in order to tailor content to their specific needs or advise and accompany him during his apprenticeship. However, the disadvantage of these systems is that they cause learners' discouragement, for learners, alone with his screen loses its motivation to improve. Adding social extension to learning, to avoid isolation of learners and boost support and interaction between members of the learning community, was able to increase learner's motivation. However, the tools to facilitate social interactions integrated to E-learning platforms can be used for purposes other than learning. These needs, which can be educational, professional or personal, create a mixture of data from the private life and public life of learners. With the integration of these tools for e-learning systems and the growth of the amount of personal data stored in the databases of these latter, protecting the privacy of students becomes a major concern. Indeed, the exchange of profiles between e-learning systems is done without the permission of their owners. Furthermore, the profiling behavior analysis currently represents a very cost-effective way to generate profits by selling these profiles advertising companies. Today, the right to privacy is threatened from all sides. In addition to the threat from pirates, the source of the most dangerous threats is that from service providers online that users devote a blind trust. Control and centralized data storage and access privileges that have suppliers are responsible for the threat. Our work is limited to the protection of personal data in e-learning systems. We try to answer the question: How can we design a system that protects the privacy of users against threats from the provider while benefiting from all the services, including analysis of behavior? In the absence of solutions that take into account the protection and respect of privacy in e-learning systems that integrate social learning tools, we designed our own solution. Our "ApprAide" system uses a set of protocols based on security techniques to protect users' privacy. In addition, our system incorporates tools that promote social interactions as a social learning network, a chat tool and a virtual table. Our solution allows the use of adaptation techniques and profiling to assist learners. Keywords: Social learning, privacy, security, e-learning, agents


title: Purchasing Term Life Insurance to Reach a Bequest Goal while Consuming

abstract: We determine the optimal strategies for purchasing term life insurance and for investing in a risky financial market in order to maximize the probability of reaching a bequest goal while consuming from an investment account. We extend Bayraktar and Young (2015) by allowing the individual to purchase term life insurance to reach her bequest goal. The premium rate for life insurance, $h$, serves as a parameter to connect two seemingly unrelated problems. As the premium rate approaches $0$, covering the bequest goal becomes costless, so the individual simply wants to avoid ruin that might result from her consumption. Thus, as $h$ approaches $0$, the problem in this paper becomes equivalent to minimizing the probability of lifetime ruin, which is solved in Young (2004). On the other hand, as the premium rate becomes arbitrarily large, the individual will not buy life insurance to reach her bequest goal. Thus, as $h$ approaches infinity, the problem in this paper becomes equivalent to maximizing the probability of reaching the bequest goal when life insurance is not available in the market, which is solved in Bayraktar and Young (2015).


title: Realizing All Free Homotopy Classes for the Newtonian Three-Body Problem

abstract: The configuration space of the planar three-body problem when collisions are excluded has a rich topology which supports a large set of free homotopy classes. Most classes survive modding out by rotations. Those that survive are called the reduced free homotopy classes and have a simple description when projected onto the shape sphere. They are coded by syzygy sequences. We prove that every reduced free homotopy class, and thus every reduced syzygy sequence, is realized by a reduced periodic solution to the Newtonian planar three-body problem. The realizing solutions have nonzero angular momentum, repeatedly come very close to triple collision, and have lots of "stutters"--repeated syzygies of the same type. The heart of the proof is contained in the work by one of us on symbolic dynamics arising out of the central configurations after the triple collision is blown up using McGehee's method.


title: Dynamical Pion Collapse and the Coherence of Conventional Neutrino Beams

abstract: In this paper we consider the coherence properties of neutrinos produced by the decays of pions in conventional neutrino beams. Using a multi-particle density matrix formalism we derive the oscillation probability for neutrinos emitted by a decaying pion in an arbitrary quantum state. Then, using methods from decoherence theory we calculate the pion state which evolves through interaction with decay-pipe gases in a typical accelerator neutrino experiment. These two ingredients are used to obtain the distance scales for neutrino beam coherence loss. We find that for the known neutrino mass splittings, no non-standard oscillation effects are expected on terrestrial baselines. Heavy sterile neutrinos may experience terrestrial loss of coherence, and we calculate both the distance over which this occurs and the energy resolution required to observe the effect. By treating the pion-muon-neutrino-environment system quantum mechanically, neutrino beam coherence properties are obtained without assuming arbitrary spatial or temporal scales at the neutrino production vertex.


title: Roles of intrinsic anisotropy and pi-band pairbreaking effects on critical currents in tilted c-axis MgB2 films probed by magneto-optical and transport measurements

abstract: Investigations of MgB2 and Fe-based superconductors in recent years have revealed many unusual effects of multiband superconductivity but manifestations of anisotropic multiband effects in the critical current density Jc have not been addressed experimentally, mostly because of the difficulties to measure Jc along the c-axis. To investigate the effect of very different intrinsic anisotropies of sigma and pi electron bands in MgB2 on current transport, we grew epitaxial films with tilted c-axis (THETA ~ 19.5{\deg}), which enabled us to measure the components of Jc both along the ab-plane and the c-axis using magneto-optical and transport techniques. These measurements were combined with scanning and transmission electron microscopy, which revealed terraced steps on the surface of the c-axis tilted films. The measured field and temperature dependencies of the anisotropic Jc(H) show that Jc,L parallel to the terraced steps is higher than Jc,T perpendicular to the terraced steps, and Jc of thinner films (50 nm) obtained from transport experiments at 0.1 T reaches ~10% of the depairing current density Jd in the ab plane, while magneto-optical imaging revealed much higher Jc at lower fields. To analyze the experimental data we developed a model of anisotropic vortex pinning which accounts for the observed behavior of Jc in the c-axis tilted films and suggests that the apparent anisotropy of Jc is affected by current pairbreaking effects in the weaker {\pi} band. Our results indicate that the out-of-plane current transport mediated by the {\pi} band could set the ultimate limit of Jc in MgB2 polycrystals.


title: Littlewood--Paley--Rubio de Francia inequality for the Walsh system

abstract: Rubio de Francia proved the one-sided Littlewood--Paley inequality for arbitrary intervals in $L^p$, $2 \le p < \infty$. In this article, such an inequality is proved for the Walsh system.


title: Rectangular Diagrams of Legendrian Graphs

abstract: In this paper Legendrian graphs in $(\mathbb{R}^3,\xi_{\mathrm{st}})$ are considered modulo Legendrian isotopy and edge contraction. To a Legendrian graph we associate a (generalized) rectangular diagram --- a purely combinatorial object. Moves of rectangular diagrams are introduced so that equivalence classes of Legendrian graphs and rectangular diagrams coincide. Using this result we prove that the classes of Legendrian graphs are in one-to-one correspondence with fence diagrams modulo fence moves introduced by Rudolph.


title: Energy-Efficient Resource Allocation for Device-to-Device Underlay Communication

abstract: Device-to-device (D2D) communication underlaying cellular networks is expected to bring significant benefits for utilizing resources, improving user throughput and extending battery life of user equipments. However, the allocation of radio and power resources to D2D communication needs elaborate coordination, as D2D communication can cause interference to cellular communication. In this paper, we study joint channel and power allocation to improve the energy efficiency of user equipments. To solve the problem efficiently, we introduce an iterative combinatorial auction algorithm, where the D2D users are considered as bidders that compete for channel resources, and the cellular network is treated as the auctioneer. We also analyze important properties of D2D underlay communication, and present numerical simulations to verify the proposed algorithm.


title: Predicting Node Degree Centrality with the Node Prominence Profile

abstract: Centrality of a node measures its relative importance within a network. There are a number of applications of centrality, including inferring the influence or success of an individual in a social network, and the resulting social network dynamics. While we can compute the centrality of any node in a given network snapshot, a number of applications are also interested in knowing the potential importance of an individual in the future. However, current centrality is not necessarily an effective predictor of future centrality. While there are different measures of centrality, we focus on degree centrality in this paper. We develop a method that reconciles preferential attachment and triadic closure to capture a node's prominence profile. We show that the proposed node prominence profile method is an effective predictor of degree centrality. Notably, our analysis reveals that individuals in the early stage of evolution display a distinctive and robust signature in degree centrality trend, adequately predicted by their prominence profile. We evaluate our work across four real-world social networks. Our findings have important implications for the applications that require prediction of a node's future degree centrality, as well as the study of social network dynamics.


title: Multipliers of Hilbert pro-C*-bimodules and crossed products by Hilbert pro-C*-bimodules

abstract: In this paper we introduce the notion of multiplier of a Hilbert pro-$C^{\ast }$-bimodule and we investigate the structure of the multiplier bimodule of a Hilbert pro-$C^{\ast}$-bimodule. We also investigate the relationship between the crossed product $A\times _{X}\mathbb{Z}$ of a pro-$% C^{\ast }$-algebra $A$ by a Hilbert pro-$C^{\ast }$-bimodule $X$ over $A$, the crossed product $M(A)\times _{M(X)}\mathbb{Z}$ of the multiplier algebra $M(A)$ of $A$ by the multiplier bimodule $M(X)$ of $X$ and the multiplier algebra $M(A\times _{X}\mathbb{Z})$ of $A\times _{X}\mathbb{Z}$.


title: Automorphisms of Higher Rank Lamplighter Groups

abstract: Let $\Gamma_d(q)$ denote the group whose Cayley graph with respect to a particular generating set is the Diestel-Leader graph $DL_d(q)$, as described by Bartholdi, Neuhauser and Woess. We compute both $Aut(\Gamma_d(q))$ and $Out(\Gamma_d(q))$ for $d \geq 2$, and apply our results to count twisted conjugacy classes in these groups when $d \geq 3$. Specifically, we show that when $d \geq 3$, the groups $\Gamma_d(q)$ have property $R_{\infty}$, that is, every automorphism has an infinite number of twisted conjugacy classes. In contrast, when $d=2$ the lamplighter groups $\Gamma_2(q)=L_q = {\mathbb Z}_q \wr {\mathbb Z}$ have property $R_{\infty}$ if and only if $(q,6) \neq 1$.


title: Kepler photometry of RRc stars: peculiar double-mode pulsations and period doubling

abstract: We present the analysis of four first overtone RR Lyrae stars observed with the Kepler space telescope, based on data obtained over nearly 2.5yr. All four stars are found to be multiperiodic. The strongest secondary mode with frequency f_2 has an amplitude of a few mmag, 20 - 45 times lower than the main radial mode with frequency f_1. The two oscillations have a period ratio of P_2/P_1 = 0.612 - 0.632 that cannot be reproduced by any two radial modes. Thus, the secondary mode is nonradial. Modes yielding similar period ratios have also recently been discovered in other variables of the RRc and RRd types. These objects form a homogenous group and constitute a new class of multimode RR Lyrae pulsators, analogous to a similar class of multimode classical Cepheids in the Magellanic Clouds. Because a secondary mode with P_2/P_1 ~ 0.61 is found in almost every RRc and RRd star observed from space, this form of multiperiodicity must be common. In all four Kepler RRc stars studied, we find subharmonics of f_2 at ~1/2 f_2 and at ~3/2 f_2. This is a signature of period doubling of the secondary oscillation, and is the first detection of period doubling in RRc stars. The amplitudes and phases of f_2 and its subharmonics are variable on a timescale of 10 - 200d. The dominant radial mode also shows variations on the same timescale, but with much smaller amplitude. In three Kepler RRc stars we detect additional periodicities, with amplitudes below 1mmag, that must correspond to nonradial g-modes. Such modes never before have been observed in RR Lyrae variables.


title: A degeneration of two-phase solutions of focusing NLS via Riemann-Hilbert problems

abstract: Two-phase solutions of focusing NLS equation are classically constructed out of an appropriate Riemann surface of genus two, and expressed in terms of the corresponding theta-function. We show here that in a certain limiting regime such solutions reduce to some elementary ones called "Solitons on unstable condensate". This degeneration turns out to be conveniently studied by means of basic tools from the theory of Riemann-Hilbert problems. In particular no acquaintance with Riemann surfaces and theta-function is required for such analysis.


title: Morava k(s)^* -rings of the extensions of C_p by the products of good groups under diagonal action

abstract: This note provides a theorem on good groups in the sense of Hopkins-Kuhn-Ravenel and some relevant examples.


title: The Signless Laplacian Estrada Index of Unicyclic Graphs

abstract: For a graph $G$, the signless Laplacian Estrada index is defined as $SLEE(G)=\sum^{n}_{i=1}e^{q^{}_i}$,where $q_1, q_2, \dots, q_n$are the eigenvalues of the signless Laplacian matrix of $G$. In this paper, we first characterize the unicyclic graphs with the first two largest and smallest $SLEE$ and then determine the unique unicyclic graph with maximum $SLEE$ among the unicyclic graphs on $n$ vertices with given diameter.


title: Short note on the mass matrix for Gauss-Lobatto grid points

abstract: The mass matrix for Gauss-Lobatto grid points is usually approximated by Gauss-Lobatto quadrature because this leads to a diagonal matrix that is easy to invert. The exact mass matrix and its inverse are full. We show that the exact mass matrix \emph{and} its inverse differ from the approximate diagonal ones by a simple rank-1 update (outer product). They can thus be applied to an arbitrary vector in $O(N)$ operations instead of $O(N^2)$.


title: Linear conic optimization for inverse optimal control

abstract: We address the inverse problem of Lagrangian identification based on trajecto-ries in the context of nonlinear optimal control. We propose a general formulation of the inverse problem based on occupation measures and complementarity in linear programming. The use of occupation measures in this context offers several advan-tages from the theoretical, numerical and statistical points of view. We propose an approximation procedure for which strong theoretical guarantees are available. Finally, the relevance of the method is illustrated on academic examples.


title: Semi-definite relaxations for optimal control problems with oscillation and concentration effects

abstract: Converging hierarchies of finite-dimensional semi-definite relaxations have been proposed for state-constrained optimal control problems featuring oscillation phe-nomena, by relaxing controls as Young measures. These semi-definite relaxations were later on extended to optimal control problems depending linearly on the con-trol input and typically featuring concentration phenomena, interpreting the control as a measure of time with a discrete singular component modeling discontinuities or jumps of the state trajectories. In this contribution, we use measures intro-duced originally by DiPerna and Majda in the partial differential equations litera-ture to model simultaneously, and in a unified framework, possible oscillation and concentration effects of the optimal control policy. We show that hierarchies of semi-definite relaxations can also be constructed to deal numerically with noncon-vex optimal control problems with polynomial vector field and semialgebraic state constraints.


title: The Streaming Limit of Solar Energetic-Particle Intensities

abstract: As solar energetic particles (SEPs) stream outward along the interplanetary magnetic field after acceleration by shock waves near the Sun, their intensities are limited by scattering against self-generated Alfv\'en waves, trapping the particles near their source. This streaming limit varies with the magnetic rigidity of the particle and with distance from the source. Pitch-angle coupling can cause higher-energy protons to suppress the intensities of lower-energy ions causing flattened low-energy spectra on the early SEP intensity plateau. At sufficiently high energies, particle flow and wave trapping of particles weakens and the SEP spectra steepen, forming spectral "knees".


title: The signless Laplacian Estrada index of tricyclic graphs

abstract: The signless Laplacian Estrada index of a graph $G$ is defined as $SLEE(G)=\sum^{n}_{i=1}e^{q_i}$ where $q_1, q_2, \ldots, q_n$ are the eigenvalues of the signless Laplacian matrix of $G$. In this paper, we show that there are exactly two tricyclic graphs with the maximal signless Laplacian Estrada index.


title: Syntactic Complexity of Suffix-Free Languages

abstract: We solve an open problem concerning syntactic complexity: We prove that the cardinality of the syntactic semigroup of a suffix-free language with $n$ left quotients (that is, with state complexity $n$) is at most $(n-1)^{n-2}+n-2$ for $n\ge 6$. Since this bound is known to be reachable, this settles the problem. We also reduce the alphabet of the witness languages reaching this bound to five letters instead of $n+2$, and show that it cannot be any smaller. Finally, we prove that the transition semigroup of a minimal deterministic automaton accepting a witness language is unique for each $n$.


title: Dirichlet Process Mixture Models for Modeling and Generating Synthetic Versions of Nested Categorical Data

abstract: We present a Bayesian model for estimating the joint distribution of multivariate categorical data when units are nested within groups. Such data arise frequently in social science settings, for example, people living in households. The model assumes that (i) each group is a member of a group-level latent class, and (ii) each unit is a member of a unit-level latent class nested within its group-level latent class. This structure allows the model to capture dependence among units in the same group. It also facilitates simultaneous modeling of variables at both group and unit levels. We develop a version of the model that assigns zero probability to groups and units with physically impossible combinations of variables. We apply the model to estimate multivariate relationships in a subset of the American Community Survey. Using the estimated model, we generate synthetic household data that could be disseminated as redacted public use files with high analytic validity and low disclosure risks. Supplementary materials for this article are available online.


title: On groups whose subnormal subgroups are inert

abstract: A subgroup H of a group G is called inert if for each $g\in G$ the index of $H\cap H^g$ in $H$ is finite. We give a classification of soluble-by-finite groups $G$ in which subnormal subgroups are inert in the cases where $G$ has no nontrivial torsion normal subgroups or $G$ is finitely generated.


title: Noncommutative Differentials on Poisson-Lie groups and pre-Lie algebras

abstract: We show that the quantisation of a connected simply-connected Poisson-Lie group admits a left-covariant noncommutative differential structure at lowest deformation order if and only if the dual of its Lie algebra admits a pre-Lie algebra structure. As an example, we find a pre-Lie algebra structure underlying the standard 3D differential structure on $\C_q[SU_2]$. At the noncommutative geometry level we show that the enveloping algebra $U(\cm)$ of a Lie algebra $\cm$, viewed as quantisation of $\cm^*$, admits a connected differential exterior algebra of classical dimension if and only if $\cm$ admits a pre-Lie algebra. We give an example where $\cm$ is solvable and we extend the construction to the quantisation of tangent and cotangent spaces of Poisson-Lie groups by using bicross-sum and bosonization of Lie bialgebras. As an example, we obtain natural 6D left-covariant differential structures on the bicrossproduct $\C[SU_2]\lrbicross U_\lambda(su_2^*)$.


title: Cosmological constant from quantum spacetime

abstract: We show that a hypothesis that spacetime is quantum with coordinate algebra $[x^i,t]=\lambda_P x^i$, and spherical symmetry under rotations of the $x^i$, essentially requires in the classical limit that the spacetime metric is the Bertotti-Robinson metric, i.e. a solution of Einstein's equations with cosmological constant and a non-null electromagnetic field. Our arguments do not give the value of the cosmological constant or the Maxwell field strength but they cannot both be zero. We also describe the quantum geometry and the full moduli space of metrics that can emerge as classical limits from this algebra.


title: Trapping reaction in a symmetric double well potential

abstract: We study the trapping reaction-diffusion problem in a symmetric double well potential in one dimension with a static trap located at the middle of the central barrier of the double well. The effect of competition between the confinement and the trapping process on the time evolution of the survival probability is considered. The solution for the survival probability of a particle is obtained by the method of Green's function. Furthermore, we study trapping in the presence of a growth term. We show that for a given growth rate there exist a threshold trapping rate beyond which the population can become extinct asymptotically. Numerical simulations for a symmetric quartic potential are done and results are discussed. This model can be applied to study the dynamics of a population in habitats with a localized predation.


title: Search of Complex Binary Cellular Automata Using Behavioral Metrics

abstract: We propose the characterization of binary cellular automata using a set of behavioral metrics that are applied to the minimal Boolean form of a cellular automaton's transition function. These behavioral metrics are formulated to satisfy heuristic criteria derived from elementary cellular automata. Behaviors characterized through these metrics are growth, decrease, chaoticity, and stability. From these metrics, two measures of global behavior are calculated: 1) a static measure that considers all possible input patterns and counts the occurrence of the proposed metrics in the truth table of the minimal Boolean form of the automaton; 2) a dynamic measure, corresponding to the mean of the behavioral metrics in $n$ executions of the automaton, starting from $n$ random initial states. We use these measures to characterize a cellular automaton and guide a genetic search algorithm, which selects cellular automata similar to the Game of Life. Using this method, we found an extensive set of complex binary cellular automata with interesting properties, including self-replication.


title: A note on the computable categoricity of l^p spaces

abstract: Suppose $p$ is a computable real so that $p \geq 1$. We show that in both the real and complex case $l^p$ is computably categorical if and only if $p \neq 2$.


title: Twist expansion of differential cross-sections of forward Drell-Yan process

abstract: Forward Drell-Yan process at the LHC is a sensitive tool for investigating higher twist effects in QCD. The expansion of all Drell-Yan structure functions is performed assuming GBW saturation model and the saturation scale plays the role of the hadronic scale of OPE. We show that the Lam-Tung relation is broken at twist 4. The results open the way for a forthcoming analysis of multiple scattering and higher twist effects.


title: Tuning the average path length of complex networks and its influence to the emergent dynamics of the majority-rule model

abstract: We show how appropriate rewiring with the aid of Metropolis Monte Carlo computational experiments can be exploited to create network topologies possessing prescribed values of the average path length (APL) while keeping the same connectivity degree and clustering coefficient distributions. Using the proposed rewiring rules we illustrate how the emergent dynamics of the celebrated majority-rule model are shaped by the distinct impact of the APL attesting the need for developing efficient algorithms for tuning such network characteristics.


title: Adjusted least squares fitting of algebraic hypersurfaces

abstract: We consider the problem of fitting a set of points in Euclidean space by an algebraic hypersurface. We assume that points on a true hypersurface, described by a polynomial equation, are corrupted by zero mean independent Gaussian noise, and we estimate the coefficients of the true polynomial equation. The adjusted least squares estimator accounts for the bias present in the ordinary least squares estimator. The adjusted least squares estimator is based on constructing a quasi-Hankel matrix, which is a bias-corrected matrix of moments. For the case of unknown noise variance, the estimator is defined as a solution of a polynomial eigenvalue problem. In this paper, we present new results on invariance properties of the adjusted least squares estimator and an improved algorithm for computing the estimator for an arbitrary set of monomials in the polynomial equation.


title: All pairs suffice

abstract: A P-set of a symmetric matrix $A$ is a set $\alpha$ of indices such that the nullity of the matrix obtained from $A$ by removing rows and columns indexed by $\alpha$ is $|\alpha|$ more than that of $A$. It is known that each subset of a P-set is a P-set. It is also known that a set of indices such that each singleton subset is a P-set need not be a P-set. This note shows that if all pairs of vertices of a set with at least two elements are P-sets, then the set is a P-set.


title: Numerical and analytical research of the impact of decoherence on quantum circuits

abstract: Three different levels of noisy quantum schemes modeling are considered: vectors, density matrices and Choi-Jamiolkowski related states. The implementations for personal computers and supercomputers are described, and the corresponding results are shown. For the level of density matrices, we present the technique of the fixed rank approximation and show some analytical estimates of the fidelity level.


title: Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras

abstract: We start by developing a theory of noncommutative (=NC) mixed motives with coefficients in any commutative ring. In particular, we construct a symmetric monoidal triangulated category of NC mixed motives, over a base field k, and a full subcategory of NC mixed Artin motives. Making use of Hochschild homology, we then apply Ayoub's weak Tannakian formalism to these motivic categories. In the case of NC mixed motives, we obtain a motivic Hopf dg algebra, which we describe explicitly in terms of Hochschild homology and complexes of exact cubes. In the case of NC mixed Artin motives, we compute the associated Hopf dg algebra using solely the classical category of mixed Artin-Tate motives. Finally, we establish a short exact sequence relating the Hopf algebra of continuous functions on the absolute Galois group with the motivic Hopf dg algebras of the base field k and of its algebraic closure. Along the way, we describe the behavior of Ayoub's weak Tannakian formalism with respect to orbit categories and relate the category of NC mixed motives with Voevodsky's category of mixed motives.


title: A Likelihood Ratio Framework for High Dimensional Semiparametric Regression

abstract: We propose a likelihood ratio based inferential framework for high dimensional semiparametric generalized linear models. This framework addresses a variety of challenging problems in high dimensional data analysis, including incomplete data, selection bias, and heterogeneous multitask learning. Our work has three main contributions. (i) We develop a regularized statistical chromatography approach to infer the parameter of interest under the proposed semiparametric generalized linear model without the need of estimating the unknown base measure function. (ii) We propose a new framework to construct post-regularization confidence regions and tests for the low dimensional components of high dimensional parameters. Unlike existing post-regularization inferential methods, our approach is based on a novel directional likelihood. In particular, the framework naturally handles generic regularized estimators with nonconvex penalty functions and it can be used to infer least false parameters under misspecified models. (iii) We develop new concentration inequalities and normal approximation results for U-statistics with unbounded kernels, which are of independent interest. We demonstrate the consequences of the general theory by using an example of missing data problem. Extensive simulation studies and real data analysis are provided to illustrate our proposed approach.


title: Lectures on differential equations for Feynman integrals

abstract: Over the last year significant progress was made in the understanding of the computation of Feynman integrals using differential equations. These lectures give a review of these developments, while not assuming any prior knowledge of the subject. After an introduction to differential equations for Feynman integrals, we point out how they can be simplified using algorithms available in the mathematical literature. We discuss how this is related to a recent conjecture for a canonical form of the equations. We also discuss a complementary approach that allows based on properties of the space-time loop integrands, and explain how the ideas of leading singularities and d-log representations can be used to find an optimal basis for the differential equations. Finally, as an application of the differential equations method we show how single-scale integrals can be bootstrapped using the Drinfeld associator of a differential equation.


title: Panaches horizontaux non-Boussinesq en milieu homog\`ene

abstract: The environmental impact of pollutants and effluents discharged into the atmosphere or the oceans has led researchers to conduct studies related to this issue. Several works have been carried out in this context in order to reduce the effect on the local environment. These types of ejections in nature are modeled as jets in the presence of a density gradient. In this study we treated the problem of inclined round turbulent buoyant jets and plumes ejected in a homogeneous or stratified fluid, at rest or in motion. The prediction of the flow behavior, i.e. the evolution of its variables, is first treated theoretically from a model whose formalism is valid in both the Boussinesq case as well as in the non-Boussinesq general case. Solving the equations governing the plumes is performed numerically using a Runge-Kutta 4th order. To validate the model, laboratory experiments are performed with round jets of air and helium for a wide range of densities. The confrontation theory-experience aims here to fix the limits of validity of the theoretical model. Keywords: Buoyant jet, plume, non-Boussinesq, laser tomography, image processing, perturbation method.


title: Aqueous Solutions of Amino Acid Based Ionic Liquids. Dispersion and Structure

abstract: New ionic liquids (ILs) are continuously introduced involving an increasing number of organic and inorganic ions. Amino acid based ILs (AAILs) represent a specific interest due to their natural origin and, allegedly, low cost. We apply our recently developed force field for imidazolium-based AAILs to investigate structure properties in their aqueous solutions via molecular dynamics (MD) simulations. By reporting cluster analysis, radial distribution functions and spatial distribution functions, we argue that AAIL ions are well dispersed in the aqueous media, irrespective of the AAIL content. Aqueous solutions of AAILs exhibit desirable properties as solvents for chemical engineering. The AAILs in relatively dilute aqueous solutions (10 mol% AAIL) exist as ion pairs, while more concentrated solutions feature certain amount of larger ionic aggregates.


title: Standard logarithmic mean velocity distribution in a band-limited restricted nonlinear model of turbulent flow in a half-channel

abstract: Numerical simulations of wall-turbulence using the restricted nonlinear (RNL) model generate realistic mean velocity profiles in plane Couette and channel flow at low Reynolds numbers. The results are less accurate at higher Re, and while a logarithmic region is observed, its von-K\'arm\'an constant is not consistent with the standard logarithmic law. In half-channel flow we show that limiting the streamwise-varying wavenumber support of RNL turbulence to one or few empirically determined modes improves its predictions considerably. In particular, the mean velocity profiles obtained with the band-limited RNL model follow standard logarithmic behavior for the higher Reynolds numbers in this study.


title: Minimizing the Aggregate Movements for Interval Coverage

abstract: We consider an interval coverage problem. Given $n$ intervals of the same length on a line $L$ and a line segment $B$ on $L$, we want to move the intervals along $L$ such that every point of $B$ is covered by at least one interval and the sum of the moving distances of all intervals is minimized. As a basic geometry problem, it has applications in mobile sensor barrier coverage in wireless sensor networks. The previous work solved the problem in $O(n^2)$ time. In this paper, by discovering many interesting observations and developing new algorithmic techniques, we present an $O(n\log n)$ time algorithm. We also show an $\Omega(n\log n)$ time lower bound for this problem, which implies the optimality of our algorithm.


title: Simple Cubic Carbon Phase C21-sc: A Promising Superhard Carbon Conductor

abstract: Traditionally, all superhard carbon phases including diamond are electric insulators and all conductive carbon phases including graphite are mechanically soft. Based on first-principles calculation results, we report a superhard but conductive carbon phase C21-sc which can be obtained through increasing the sp3 bonds in the previously proposed soft and conductive phase C20-sc (Phys. Rev. B 74, 172101 2006). We also show that further increase of sp3 bonds in C21-sc results in a superhard and insulating phase C22-sc with sp3 bonds only. With C20-sc, C21-sc, C22-sc and graphite, the X-ray diffraction peaks from the unidentified carbon material synthesized by compressing the mixture of tetracyanoethylene and carbon black (Carbon, 41, 1309, 2003) can be understood. In view of its positive stability, superhard and conductive features, and the strong possibility of existence in previous experiments, C21-sc is a promising multi-functional material with potential applications in extreme conditions.


title: Theano-based Large-Scale Visual Recognition with Multiple GPUs

abstract: In this report, we describe a Theano-based AlexNet (Krizhevsky et al., 2012) implementation and its naive data parallelism on multiple GPUs. Our performance on 2 GPUs is comparable with the state-of-art Caffe library (Jia et al., 2014) run on 1 GPU. To the best of our knowledge, this is the first open-source Python-based AlexNet implementation to-date.


title: Simulation of Carbon Nanotube Welding through Ar bombardment

abstract: Single-walled carbon nanotubes show promise as nanoscale transistors, for nanocomputing applications. This use will require appropriate methods for creating electrical connections between distinct nanotubes, analogous to welding of metallic wires at larger length scales, but methods for performing nanoscale chemical welding are not yet sufficiently understood. This study examined the effect of Ar bombardment on the junction of two crossed single-walled carbon nanotubes, to understand the value and limitations of this method for generating connections between nanotubes. A geometric criterion was used to assess the quality of the junctions formed, with the goal of identifying the most productive conditions for experimental ion bombardment. In particular, the effects of nanotube chirality, Ar impact kinetic energy, impact particle flux and fluence, and annealing temperature were considered. The most productive bombardment conditions, leading to the most crosslinking of the tubes with the smallest loss of graphitic (i.e. conductive) character, were found to be at relatively mild impact energies (100 eV), with low flux and high temperature (3000 K) annealing. Particularly noteworthy for experimental application, a high junction quality is maintained for a relatively broad range of fluences, from 3E19 m^-2 to at least 1.0E20 m^-2.


title: Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system

abstract: In this paper we demonstrate several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with the Prolog-based ECLiPSe system using declarative techniques like constraint logic programming and linear (integer) programming. These problems were designed to be solved by inventing clever algorithms and efficiently implementing them in a conventional imperative programming language, but we present relatively simple declarative programs in ECLiPSe that are fast enough to find answers within the time limit imposed by the contest rules. We claim that declarative programming with ECLiPSe is better suited for solving certain common kinds of programming problems offered in Google Code Jam than imperative programming. We show this by comparing the mental steps required to come up with both kinds of solutions.


title: Elastic breakup cross sections of well-bound nucleons

abstract: The 9Be(28Mg,27Na) one-proton removal reaction with a large proton separation energy of Sp(28Mg)=16.79 MeV is studied at intermediate beam energy. Coincidences of the bound 27Na residues with protons and other light charged particles are measured. These data are analyzed to determine the percentage contributions to the proton removal cross section from the elastic and inelastic nucleon removal mechanisms. These deduced contributions are compared with the eikonal reaction model predictions and with the previously measured data for reactions involving the re- moval of more weakly-bound protons from lighter nuclei. The role of transitions of the proton between different bound single-particle configurations upon the elastic breakup cross section is also quantified in this well-bound case. The measured and calculated elastic breakup fractions are found to be in good agreement.


title: Deep Visual-Semantic Alignments for Generating Image Descriptions

abstract: We present a model that generates natural language descriptions of images and their regions. Our approach leverages datasets of images and their sentence descriptions to learn about the inter-modal correspondences between language and visual data. Our alignment model is based on a novel combination of Convolutional Neural Networks over image regions, bidirectional Recurrent Neural Networks over sentences, and a structured objective that aligns the two modalities through a multimodal embedding. We then describe a Multimodal Recurrent Neural Network architecture that uses the inferred alignments to learn to generate novel descriptions of image regions. We demonstrate that our alignment model produces state of the art results in retrieval experiments on Flickr8K, Flickr30K and MSCOCO datasets. We then show that the generated descriptions significantly outperform retrieval baselines on both full images and on a new dataset of region-level annotations.


title: The Role of Turbulence in Coronal Heating and Solar Wind Expansion

abstract: Plasma in the Sun's hot corona expands into the heliosphere as a supersonic and highly magnetized solar wind. This paper provides an overview of our current understanding of how the corona is heated and how the solar wind is accelerated. Recent models of magnetohydrodynamic turbulence have progressed to the point of successfully predicting many observed properties of this complex, multi-scale system. However, it is not clear whether the heating in open-field regions comes mainly from the dissipation of turbulent fluctuations that are launched from the solar surface, or whether the chaotic "magnetic carpet" in the low corona energizes the system via magnetic reconnection. To help pin down the physics, we also review some key observational results from ultraviolet spectroscopy of the collisionless outer corona.


title: Two-photon Interference with Non-identical Photons

abstract: The indistinguishability of non-identical photons is dependent on detection system in quantum physics. If two photons with different wavelengths are indistinguishable for a detection system, there can be two-photon interference when these two photons are incident to two input ports of a Hong-Ou-Mandel interferometer, respectively. The reason why two-photon interference phenomena are different for classical and nonclassical light is not due to interference, but due to the properties of light and detection system. These conclusions are helpful to understand the physics and applications of two-photon interference.


title: Visual Causal Feature Learning

abstract: We provide a rigorous definition of the visual cause of a behavior that is broadly applicable to the visually driven behavior in humans, animals, neurons, robots and other perceiving systems. Our framework generalizes standard accounts of causal learning to settings in which the causal variables need to be constructed from micro-variables. We prove the Causal Coarsening Theorem, which allows us to gain causal knowledge from observational data with minimal experimental effort. The theorem provides a connection to standard inference techniques in machine learning that identify features of an image that correlate with, but may not cause, the target behavior. Finally, we propose an active learning scheme to learn a manipulator function that performs optimal manipulations on the image to automatically identify the visual cause of a target behavior. We illustrate our inference and learning algorithms in experiments based on both synthetic and real data.


title: Walks on Primes in Imaginary Quadratic Fields

abstract: We generalize the Gaussian moat problem to the finitely many imaginary quadratic fields exhibiting unique factorization in their integers. We map this problem to the Euclidean minimum spanning tree problem and use Delaunay triangulation and Kruskal's algorithm to find moats in these fields in $O(|\mathbf{P}| \log |\mathbf{P}|)$ time, where $\mathbf{P}$ denotes the set of primes we are searching through. Our algorithm uses symmetry and boundaries to correctly and efficiently identify all moats, in order of increasing length, along with the farthest prime reached for each moat, in an underlying unbounded graph of infinite primes. We also derive asymptotic estimates on the density of primes in certain imaginary quadratic fields. Based on this and symmetry arguments, we conjecture that for a given step bound $k$, we can travel farther away from the origin in $\mathbb{Z}[i]$ and $\mathbb{Z}\left[\frac{-1+\sqrt{-3}}{2}\right]$ than in $\mathbb{Z}[\sqrt{-2}]$. This conjecture is corroborated by our computational results.


title: Invasion of cooperation in scale-free networks: Accumulated vs. average payoffs

abstract: It is well known that cooperation cannot be an evolutionary stable strategy for a non-iterative game in a well-mixed population. In contrast, structured populations favor cooperation since cooperators can benefit each other by forming local clusters. Previous studies have shown that scale-free networks strongly promote cooperation. However, little is known about the invasion mechanism of cooperation in scale-free networks. To study microscopic and macroscopic behaviors of cooperators' invasion, we conducted computational experiments of the evolution of cooperation in scale-free networks where, starting from all defectors, cooperators can spontaneously emerge by mutation. Since the evolutionary dynamics are influenced by the definition of fitness, we tested two commonly adopted fitness functions: accumulated payoff and average payoff. Simulation results show that cooperation is strongly enhanced with the accumulated payoff fitness compared to the average payoff fitness. However, the difference between the two functions decreases as the average degree increases. As the average degree increases, cooperation decreases with the accumulated payoff fitness, while it increases with the average payoff fitness. Moreover, with the average payoff fitness, low-degree nodes play a more important role in spreading cooperative strategies compared to the case of the accumulated payoff fitness.


title: Potential and limits of numerical modelling for supporting the development of HTS devices

abstract: In this paper, we present a general review of the status of numerical modelling applied to the design of high temperature superconductor (HTS) devices. The importance of this tool is emphasized at the beginning of the paper, followed by formal definitions of the notions of models, numerical methods and numerical models. The state-of-the-art models are listed, and the main limitations of existing numerical models are reported. Those limitations are shown to concern two aspects: one the one hand, the numerical performance (i.e. speed) of the methods themselves is not good enough yet; on the other hand, the availability of model file templates, material data and benchmark problems is clearly insufficient. Paths for improving those elements are provided in the paper. Besides the technical aspects of the research to be further pursued, for instance in adaptive numerical methods, most recommendations command for an increased collective effort for sharing files, data, codes and their documentation.


title: Microstructural Evolution of Charged Defects in the Fatigue Process of Polycrystalline BiFeO3 Thin Films

abstract: Fatigue failure in ferroelectrics has been intensively investigated in the past few decades. Most of the mechanisms discussed for ferroelectric fatigue have been built on the "hypothesis of variation in charged defects", which however are rarely evidenced by experimental observation. Here, using a combination of complex impedance spectra techniques, piezoresponse force microscopy and first-principles theory, we examine the microscopic evolution and redistribution of charged defects during the electrical cycling in BiFeO3 thin films. The dynamic formation and melting behaviors of oxygen vacancy (VO) order are identified during the fatigue process. It reveals that the isolated VO tend to self-order along grain boundaries to form a planar-aligned structure, which blocks the domain reversals. Upon further electrical cycling, migration of VO within vacancy clusters is accommodated with a lower energy barrier (~0.2 eV) and facilitates the formation of nearby-electrode layer incorporated with highly concentrated VO. The interplay between the macroscopic fatigue and microscopic evolution of charged defects clearly demonstrates the role of ordered VO cluster in the fatigue failure of BiFeO3 thin films.


title: $\ell_p$ Testing and Learning of Discrete Distributions

abstract: The classic problems of testing uniformity of and learning a discrete distribution, given access to independent samples from it, are examined under general $\ell_p$ metrics. The intuitions and results often contrast with the classic $\ell_1$ case. For $p > 1$, we can learn and test with a number of samples that is independent of the support size of the distribution: With an $\ell_p$ tolerance $\epsilon$, $O(\max\{ \sqrt{1/\epsilon^q}, 1/\epsilon^2 \})$ samples suffice for testing uniformity and $O(\max\{ 1/\epsilon^q, 1/\epsilon^2\})$ samples suffice for learning, where $q=p/(p-1)$ is the conjugate of $p$. As this parallels the intuition that $O(\sqrt{n})$ and $O(n)$ samples suffice for the $\ell_1$ case, it seems that $1/\epsilon^q$ acts as an upper bound on the "apparent" support size. For some $\ell_p$ metrics, uniformity testing becomes easier over larger supports: a 6-sided die requires fewer trials to test for fairness than a 2-sided coin, and a card-shuffler requires fewer trials than the die. In fact, this inverse dependence on support size holds if and only if $p > \frac{4}{3}$. The uniformity testing algorithm simply thresholds the number of "collisions" or "coincidences" and has an optimal sample complexity up to constant factors for all $1 \leq p \leq 2$. Another algorithm gives order-optimal sample complexity for $\ell_{\infty}$ uniformity testing. Meanwhile, the most natural learning algorithm is shown to have order-optimal sample complexity for all $\ell_p$ metrics. The author thanks Cl\'{e}ment Canonne for discussions and contributions to this work.


title: Nonparametric Estimation of Trend in Directional Data

abstract: Consider measured positions of the paleomagnetic north pole over time. Each measured position may be viewed as a direction, expressed as a unit vector in three dimensions and incorporating some error. In this sequence, the true directions are expected to be close to one another at nearby times. A simple trend estimator that respects the geometry of the sphere is to compute a running average over the time-ordered observed direction vectors, then normalize these average vectors to unit length. This paper treats a considerably richer class of competing directional trend estimators that respect spherical geometry. The analysis relies on a nonparametric error model for directional data in $R^q$ that imposes no symmetry or other shape restrictions on the error distributions. Good trend estimators are selected by comparing estimated risks of competing estimators under the error model. Uniform laws of large numbers, from empirical process theory, establish when these estimated risks are trustworthy surrogates for the corresponding unknown risks.


title: Iterative Bayesian Reconstruction of Non-IID Block-Sparse Signals

abstract: This paper presents a novel Block Iterative Bayesian Algorithm (Block-IBA) for reconstructing block-sparse signals with unknown block structures. Unlike the existing algorithms for block sparse signal recovery which assume the cluster structure of the nonzero elements of the unknown signal to be independent and identically distributed (i.i.d.), we use a more realistic Bernoulli-Gaussian hidden Markov model (BGHMM) to characterize the non-i.i.d. block-sparse signals commonly encountered in practice. The Block-IBA iteratively estimates the amplitudes and positions of the block-sparse signal using the steepest-ascent based Expectation-Maximization (EM), and optimally selects the nonzero elements of the block-sparse signal by adaptive thresholding. The global convergence of Block-IBA is analyzed and proved, and the effectiveness of Block-IBA is demonstrated by numerical experiments and simulations on synthetic and real-life data.


title: Suppression of superconductivity and structural phase transition against pressure in Ca$_{10}$(Ir$_{4}$As$_{8}$)(Fe$_{2-x}$Ir$_{x}$As$_{2}$)$_{5}$

abstract: We measured the pressure dependence of in-plane resistivity $\rho_{ab}$ in the recently-discovered iron-based superconductor Ca$_{10}$(Ir$_{4}$As$_{8}$)(Fe$_{2-x}$Ir$_{x}$As$_{2}$)$_{5}$, which shows a unique structural phase transition in the absence of magnetic ordering, with a superconducting transition temperature $T_{\rm c}$ = 16 K and structural phase transition temperature $T_{\rm s}$ $\simeq$ 100 K at ambient pressure. $T_{\rm c}$ and $T_{\rm s}$ are suppressed on applying pressure and disappear at approximately 0.5 GPa, suggesting a relationship between superconductivity and structure. Ca$_{10}$(Ir$_{4}$As$_{8}$)(Fe$_{2-x}$Ir$_{x}$As$_{2}$)$_{5}$ is a rather rare example in which the superconductivity appears only in a low-temperature ordered phase. The fact that the change in the crystal structure is directly linked with superconductivity suggests that the crystal structure as well as magnetism are important factors governing superconductivity in iron pnictides.


title: Pressure-Induced Enhancement of the Magnetic Anisotropy in Mn(N(CN)$_{2}$)$_{2}$

abstract: Using dc and ac magnetometry, the pressure dependence of the magnetization of the three-dimensional antiferromagnetic coordination polymer Mn(N(CN)$_{2}$)$_{2}$ was studied up to 12 kbar and down to 8K. The magnetic transition temperature, $T_c$, increases dramatically with applied pressure $(P)$, where a change from $T_c(P=\text{ambient}) = 16.0$ K to $T_c(P=12.1$~kbar$) = 23.5$ K was observed. In addition, a marked difference in the magnetic behavior is observed above and below 7.1 kbar. Specifically, for $P<7.1$ kbar, the differences between the field-cooled and zero-field-cooled (fc-zfc) magnetizations, the coercive field, and the remanent magnetization decrease with increasing pressure. However, for $P>7.1$ kbar, the behavior is inverted. Additionally, for $P>8.6$ kbar, minor hysteresis loops are observed. All of these effects are evidence of the increase of the superexchange interaction and the appearance of an enhanced exchange anisotropy with applied pressure.


title: Coupled spin-charge order in frustrated itinerant triangular magnets

abstract: We uncover four new spin-charge ordered ground states in the strong coupling limit of the Kondo lattice model on triangular geometry. Two of the states at one-third electronic filling ($n=1/3$) consist of decorated ferromagnetic chains coupled antiferromagnetically with the neighboring chains. The third magnetic ground state is noncollinear, consisting of antiferromagnetic chains separated by a pair of canted ferromagnetic chains. An even more unusual magnetic ground state, a variant of the $120^{\circ}$ Yafet-Kittel phase, is discovered at $n=2/3$. These magnetic orders are stabilized by opening a gap in the electronic spectrum: a "band effect". All the phases support modulations in the electronic charge density due to the presence of magnetically inequivalent sites. In particular, the charge ordering pattern found at $n=2/3$ is observed in various triangular lattice systems, such as, 2H-AgNiO$_2$, 3R-AgNiO$_2$ and Na$_x$CoO$_2$.


title: New pulsar limit on local Lorentz invariance violation of gravity in the standard-model extension

abstract: In the pure-gravity sector of the minimal standard-model extension, nine Lorentz-violating coefficients of a vacuum-condensed tensor field describe dominant observable deviations from general relativity, out of which eight were already severely constrained by precision experiments with lunar laser ranging, atom interferometry, and pulsars. However, the time-time component of the tensor field, $\bar s^{\rm TT}$, dose not enter into these experiments, and was only very recently constrained by Gravity Probe B. Here we propose a novel idea of using the Lorentz boost between different frames to mix different components of the tensor field, and thereby obtain a stringent limit of $\bar s^{\rm TT}$ from binary pulsars. We perform various tests with the state-of-the-art white dwarf optical spectroscopy and pulsar radio timing observations, in order to get new robust limits of $\bar s^{\rm TT}$. With the isotropic cosmic microwave background as a preferred frame, we get $|\bar s^{\rm TT}| < 1.6 \times 10^{-5}$ (95\% CL), and without assuming the existence of a preferred frame, we get $|\bar s^{\rm TT}| < 2.8 \times 10^{-4}$ (95\% CL). These two limits are respectively about 500 times and 30 times better than the current best limit.


title: On Transitory Queueing

abstract: We introduce a framework and develop a theory of transitory queueing models. These are models that are not only non-stationary and time-varying but also have other features such as the queueing system operates over finite time, or only a finite population arrives. Such models are relevant in many real-world settings, from queues at post-offces, DMV, concert halls and stadia to out-patient departments at hospitals. We develop fluid and diffusion limits for a large class of transitory queueing models. We then introduce three specific models that fit within this framework, namely, the Delta(i)/GI/1 model, the conditioned G/GI/1 model, and an arrival model of scheduled traffic with epoch uncertainty. We show that asymptotically these models are distributionally equivalent, i.e., they have the same fluid and diffusion limits. We note that our framework provides the first ever way of analyzing the standard G/GI/1 model when we condition on the number of arrivals. In obtaining these results, we provide generalizations and extensions of the Glivenko-Cantelli and Donskers Theorem for empirical processes with triangular arrays. Our analysis uses the population acceleration technique that we introduce and develop. This may be useful in analysis of other non-stationary and non-ergodic queuing models.


title: Partial restoration of chiral symmetry inside hadrons

abstract: By using the overlap-Dirac operator eigenmodes, we investigate spatial distribution of the chiral condensate around static color sources for both quark-antiquark and three quark systems. In the presence of color sources, a characteristic flux-tube structure appears among them, suggesting a linear confining potential. We show that the magnitude of the condensate is reduced inside the color flux, which indicates the partial restoration of chiral symmetry inside the "hadrons." Considering a periodic box containing a static baryon source, which mimics the "nuclear matter," we estimate the chiral symmetry restoration in the presence of finite baryon number density.


title: Characterization theorem for best polynomial spline approximation with free knots

abstract: In this paper, we derive a necessary condition for a best approximation by piecewise polynomial functions. We apply nonsmooth nonconvex analysis to obtain this result, which is also a necessary and sufficient condition for inf-stationarity in the sense of Demyanov-Rubinov. We start from identifying a special property of the knots. Then, using this property, we construct a characterization theorem for best free knots polynomial spline approximation, which is stronger than the existing characterisation results when only continuity is required.


title: Rethinking serializable multiversion concurrency control

abstract: Multi-versioned database systems have the potential to significantly increase the amount of concurrency in transaction processing because they can avoid read-write conflicts. Unfortunately, the increase in concurrency usually comes at the cost of transaction serializability. If a database user requests full serializability, modern multi-versioned systems significantly constrain read-write concurrency among conflicting transactions and employ expensive synchronization patterns in their design. In main-memory multi-core settings, these additional constraints are so burdensome that multi-versioned systems are often significantly outperformed by single-version systems. We propose Bohm, a new concurrency control protocol for main-memory multi-versioned database systems. Bohm guarantees serializable execution while ensuring that reads never block writes. In addition, Bohm does not require reads to perform any book-keeping whatsoever, thereby avoiding the overhead of tracking reads via contended writes to shared memory. This leads to excellent scalability and performance in multi-core settings. Bohm has all the above characteristics without performing validation based concurrency control. Instead, it is pessimistic, and is therefore not prone to excessive aborts in the presence of contention. An experimental evaluation shows that Bohm performs well in both high contention and low contention settings, and is able to dramatically outperform state-of-the-art multi-versioned systems despite maintaining the full set of serializability guarantees.


title: Could the Earth's surface Ultraviolet irradiance be blamed for the global warming? (II) ----Ozone layer depth reconstruction via HEWV effect

abstract: It is suggested by Chen {\it et al.} that the Earth's surface Ultraviolet irradiance ($280-400$ nm) could influence the Earth's surface temperature variation by "Highly Excited Water Vapor" (HEWV) effect. In this manuscript, we reconstruct the developing history of the ozone layer depth variation from 1860 to 2011 based on the HEWV effect. It is shown that the reconstructed ozone layer depth variation correlates with the observational variation from 1958 to 2005 very well ($R=0.8422$, $P>99.9\%$). From this reconstruction, we may limit the spectra band of the surface Ultraviolet irradiance referred in HEWV effect to Ultraviolet B ($280-320$ nm).


title: Modeling Dynamics of Online Video Popularity

abstract: Large Internet video delivery systems serve millions of videos to tens of millions of users on daily basis, via Video-on-Demand and live streaming. Video popularity evolves over time. It represents the workload, as welll as business value, of the video to the overall system. The ability to predict video popularity is very helpful for improving service quality and operating efficiency. Previous studies adopted simple models for video popularity, or directly adopted patterns from measurement studies. In this paper, we develop a stochastic fluid model that tries to capture two hidden processes that give rise to different patterns of a given video's popularity evolution: the information spreading process, and the user reaction process. Specifically, these processes model how the video is recommended to the user, the videos inherent attractiveness, and users reaction rate, and yield specific popularity evolution patterns. We then validate our model by matching the predictions of the model with observed patterns from our collaborator, a large content provider in China. This model thus gives us the insight to explain the common and different video popularity evolution patterns and why.


title: The first "water fountain" collimated outflow in a planetary nebula

abstract: "Water fountains" (WFs) are evolved objects showing high-velocity, collimated jets traced by water maser emission. Most of them are in the post-Asymptotic Giant Branch and they may represent one of the first manifestations of collimated mass loss in evolved stars. We present water maser, carbon monoxide, and mid-infrared spectroscopic data (obtained with the Australia Telescope Compact Array, Herschel Space Observatory, and the Very Large Telescope, respectively) toward IRAS 15103--5754, a possible planetary nebula (PN) with WF characteristics. Carbon monoxide observations show that IRAS 15103-5754 is an evolved object, while the mid-IR spectrum displays unambiguous [NeII] emission, indicating that photoionization has started and thus, its nature as a PN is confirmed. Water maser spectra show several components spreading over a large velocity range ~75 km/s and tracing a collimated jet. This indicates that the object is a WF, the first WF known that has already entered the PN phase. However, the spatial and kinematical distribution of the maser emission in this object are significantly different from those in other WFs. Moreover, the velocity distribution of the maser emission shows a "Hubble-like" flow (higher velocities at larger distances from the central star), consistent with a short-lived, explosive mass-loss event. This velocity pattern is not seen in other WFs (presumably in earlier evolutionary stages). We therefore suggest that we are witnessing a fundamental change of mass-loss processes in WFs, with water masers being pumped by steady jets in post-AGB stars, but tracing explosive/ballistic events as the object enters the PN phase.


title: On the Behavioural Formalization of the Cognitive Middleware AWDRAT

abstract: We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT. Since, the (provable) behavioral correctness of a software system is a fundamental pre-requisite of the system's security. Therefore, the goal of the work is to first formalize the behavioral semantics of the middleware as a pre-requisite for our proof of the behavioral correctness. However, in this paper, we focus only on the core and critical component of the middleware, i.e. Execution Monitor which is a part of the module "Architectural Differencer" of AWDRAT. The role of the execution monitor is to identify inconsistencies between runtime observations of the target system and predictions of the specification System Architectural Model of the system. As a starting point we have defined the formal (denotational) semantics of the observations (runtime events) and predictions (executable specifications as of System Architectural Model); then based on the aforementioned formal semantices, we have formalized the behavior of the "Execution Monitor" of the middleware.


title: Active-Region Tilt Angles: Magnetic Versus White-Light Determinations of Joy's Law

abstract: The axes of solar active regions are inclined relative to the east--west direction, with the tilt angle tending to increase with latitude ("Joy's law"). Observational determinations of Joy's law have been based either on white-light images of sunspot groups or on magnetograms, where the latter have the advantage of measuring directly the physically relevant quantity (the photospheric field), but the disadvantage of having been recorded routinely only since the mid-1960s. White-light studies employing the historical Mount Wilson (MW) database have yielded tilt angles that are smaller and that increase less steeply with latitude than those obtained from magnetic data. We confirm this effect by comparing sunspot-group tilt angles from the Debrecen Photoheliographic Database with measurements made by Li and Ulrich using MW magnetograms taken during cycles 21--23. Whether white-light or magnetic data are employed, the median tilt angles significantly exceed the mean values, and provide a better characterization of the observed distributions. The discrepancy between the white-light and magnetic results is found to have two main sources. First, a substantial fraction of the white-light "tilt angles" refer to sunspots of the same polarity. Of greater physical significance is that the magnetograph measurements include the contribution of plage areas, which are invisible in white-light images but tend to have greater axial inclinations than the adjacent sunspots. Given the large uncertainties inherent in both the white-light and the magnetic measurements, it remains unclear whether any systematic relationship exists between tilt angle and cycle amplitude during cycles 16--23.


title: New approach to study the response of portable gamma detector for in-situ measurement of terrestrial gamma ray field

abstract: A new approach to study the response of portable gamma detector to terrestrial gamma ray is proposed. This approach is based on two-stage Monte Carlo simulation. First, the probability distributions of the phase space coordinates of the events that are most likely to be detected are reconstructed at the phase space shell level. The phase space shell is a closed surface enclosing the detector. The detector response to events originating from the phase space shell is then studied. The full absorption spectra as well as the partial absorption spectra are obtained for natural radionuclides uniformly distributed in the ground. For validation, this method is applied to a HpGe portable detector previously studied. The previous study is based on a semi-empirical model. Good agreement is achieved when we compare the full energy peak efficiencies and the total in-situ spectra obtained by the two methods. As an application, the effective depth of the activity of the 137Cs artificial radionuclide in the soil is determined from the low-energy part of the total in-situ spectrum.


title: Center Of the Goldman algebra

abstract: We show that the center of the Goldman algebra associated to a closed oriented hyperbolic surface is trivial. For a hyperbolic surface of finite type with nonempty boundary, the center consists of closed curves which are homotopic to boundary components or punctures.