title: The Tangent Functor Monad and Foliations

abstract: In category theory, monads, which are monoid objects on endofunctors, play a central role closely related to adjunctions. Monads have been studied mostly in algebraic situations. In this dissertation, we study this concept in some categories of smooth manifolds. Namely, the tangent functor in the category of smooth manifolds is the functor part of a unique monad, which is the main character of this dissertation. After its construction and the study of uniqueness properties in related categories, we study its algebras, which are to this monad what representations are to a group. We give some examples of algebras, and general conditions that they should satisfy. We characterize them in the category of affine manifolds. We also study an analog of the tangent functor monad and its algebras in algebraic geometry. We then prove our main theorem: algebras over the tangent functor monad induce foliations on the manifold on which they are defined. This result links the study of these algebras to the study of foliations. A natural question is then to characterize foliations which arise this way. We give some restrictions in terms of the holonomy of such foliations. Finally, we study in greater detail algebras on surfaces, where they take a very simple form, and we nearly characterize them.


title: Formation of the Galactic Millisecond Pulsar Triple System PSR J0337+1715 - a Neutron Star with Two Orbiting White Dwarfs

abstract: The millisecond pulsar in a triple system (PSR J0337+1715, recently discovered by Ransom et al.) is an unusual neutron star with two orbiting white dwarfs. The existence of such a system in the Galactic field poses new challenges to stellar astrophysics for understanding evolution, interactions and mass-transfer in close multiple stellar systems. In addition, this system provides the first precise confirmation for a very wide-orbit system of the white dwarf mass-orbital period relation. Here we present a self-consistent, semi-analytical solution to the formation of PSR J0337+1715. Our model constrains the peculiar velocity of the system to be less than 160 km/s and brings novel insight to, for example, common envelope evolution in a triple system, for which we find evidence for in-spiral of both outer stars. Finally, we briefly discuss our scenario in relation to alternative models.


title: Factorized Point Process Intensities: A Spatial Analysis of Professional Basketball

abstract: We develop a machine learning approach to represent and analyze the underlying spatial structure that governs shot selection among professional basketball players in the NBA. Typically, NBA players are discussed and compared in an heuristic, imprecise manner that relies on unmeasured intuitions about player behavior. This makes it difficult to draw comparisons between players and make accurate player specific predictions. Modeling shot attempt data as a point process, we create a low dimensional representation of offensive player types in the NBA. Using non-negative matrix factorization (NMF), an unsupervised dimensionality reduction technique, we show that a low-rank spatial decomposition summarizes the shooting habits of NBA players. The spatial representations discovered by the algorithm correspond to intuitive descriptions of NBA player types, and can be used to model other spatial effects, such as shooting accuracy.


title: LB2CO: A Semantic Ontology Framework for B2C eCommerce Transaction on the Internet

abstract: Business ontology can enhance the successful development of complex enterprise system; this is being achieved through knowledge sharing and the ease of communication between every entity in the domain. Through human semantic interaction with the web resources, machines to interpret the data published in a machine interpretable form under web. However, the theoretical practice of business ontology in eCommerce domain is quite a few especially in the section of electronic transaction, and the various techniques used to obtain efficient communication across spheres are error prone and are not always guaranteed to be efficient in obtaining desired result due to poor semantic integration between entities. To overcome the poor semantic integration this research focuses on proposed ontology called LB2CO, which combines the framework of IDEF5 & SNAP as an analysis tool, for automated recommendation of product and services and create effective ontological framework for B2C transaction & communication across different business domains that facilitates the interoperability & integration of B2C transactions over the web.


title: Conformal metrics on $R^{2m}$ with constant Q-curvature, prescribed volume and asymptotic behavior

abstract: We study the solutions $u\in C^\infty(R^{2m})$ of the problem $(-\Delta)^m u= Qe^{2mu}$, where $Q=\pm (2m-1)!$, and $V :=\int_{R^{2m}}e^{2mu}dx <\infty$, particularly when $m>1$. This corresponds to finding conformal metrics $g_u:=e^{2u}|dx|^2$ on $R^{2m}$ with constant Q-curvature $Q$ and finite volume $V$. Extending previous works of Chang-Chen, and Wei-Ye, we show that both the value $V$ and the asymptotic behavior of $u(x)$ as $|x|\to \infty$ can be simultaneously prescribed, under certain restrictions. When $Q=(2m-1)!$ we need to assume $V<vol(S^{2m})$, but surprisingly for $Q=-(2m-1)!$ the volume $V$ can be chosen arbitrarily.


title: Penrose inequalities and a positive mass theorem for charged black holes in higher dimension

abstract: We use the inverse mean curvature flow to establish Penrose-type inequalities for time-symmetric Einstein-Maxwell initial data sets which can be suitably embedded as a hypersurface in Euclidean space $\mathbb R^{n+1}$, $n\geq 3$. In particular, we prove a positive mass theorem for this class of charged black holes. As an application we show that the conjectured upper bound for the area in terms of the mass and the charge, which in dimension $n=3$ is relevant in connection with the Cosmic Censorship Conjecture, always holds under the natural assumption that the horizon is stable as a minimal hypersurface.


title: A classical channel model for gravitational decoherence

abstract: We show that, by treating the gravitational interaction between two mechanical resonators as a classical measurement channel, a gravitational decoherence model results that is equivalent to a model first proposed by Diosi. The resulting decoherence model implies that the classically mediated gravitational interaction between two gravitationally coupled resonators cannot create entanglement. The gravitational decoherence rate ( and the complementary heating rate) is of the order of the gravitationally induced normal mode splitting of the two resonators.


title: Characterization of the Benchmark Binary NLTT 33370

abstract: We report the confirmation of the binary nature of the nearby, very low-mass system NLTT 33370 with adaptive optics imaging and present resolved near-infrared photometry and integrated light optical and near-infrared spectroscopy to characterize the system. VLT-NaCo and LBTI-LMIRCam images show significant orbital motion between 2013 February and 2013 April. Optical spectra reveal weak, gravity sensitive alkali lines and strong lithium 6708 Angstrom absorption that indicate the system is younger than field age. VLT-SINFONI near-IR spectra also show weak, gravity sensitive features and spectral morphology that is consistent with other young, very low-mass dwarfs. We combine the constraints from all age diagnostics to estimate a system age of ~30-200 Myr. The 1.2-4.7 micron spectral energy distribution of the components point toward T_eff=3200 +/- 500 K and T_eff=3100 +/- 500 K for NLTT 33370 A and B, respectively. The observed spectra, derived temperatures, and estimated age combine to constrain the component spectral types to the range M6-M8. Evolutionary models predict masses of 113 +/- 8 M_Jup and 106 +/- 7 M_Jup from the estimated luminosities of the components. KPNO-Phoenix spectra allow us to estimate the systemic radial velocity of the binary. The Galactic kinematics of NLTT 33370AB are broadly consistent with other young stars in the Solar neighborhood. However, definitive membership in a young, kinematic group cannot be assigned at this time and further follow-up observations are necessary to fully constrain the system's kinematics. The proximity, age, and late-spectral type of this binary make it very novel and an ideal target for rapid, complete orbit determination. The system is one of only a few model calibration benchmarks at young ages and very low-masses.


title: Photochemistry in Terrestrial Exoplanet Atmospheres III: Photochemistry and Thermochemistry in Thick Atmospheres on Super Earths and Mini Neptunes

abstract: Some super Earths and mini Neptunes will likely have thick atmospheres that are not H2-dominated. We have developed a photochemistry-thermochemistry kinetic-transport model for exploring the compositions of thick atmospheres on super Earths and mini Neptunes, applicable for both H2-dominated atmospheres and non-H2-dominated atmospheres. Using this model to study thick atmospheres for wide ranges of temperatures and elemental abundances, we classify them into hydrogen-rich atmospheres, water-rich atmospheres, oxygen-rich atmospheres, and hydrocarbon-rich atmospheres. We find that carbon has to be in the form of CO2 rather than CH4 or CO in a H2-depleted water-dominated thick atmosphere, and that the preferred loss of light elements from an oxygen-poor carbon-rich atmosphere leads to formation of unsaturated hydrocarbons (C2H2 and C2H4). We apply our self-consistent atmosphere models to compute spectra and diagnostic features for known transiting low-mass exoplanets GJ 1214 b, HD 97658 b, and 55 Cnc e. For GJ 1214 b like planets we find that (1) C2H2 features at 1.0 and 1.5 micron in transmission and C2H2 and C2H4 features at 9-14 micron in thermal emission are diagnostic for hydrocarbon-rich atmospheres; (2) a detection of water-vapor features and a confirmation of nonexistence of methane features would provide sufficient evidence for a water-dominated atmosphere. In general, our simulations show that chemical stability has to be taken into account when interpreting the spectrum of a super Earth/mini Neptune. Water-dominated atmospheres only exist for carbon to oxygen ratios much lower than the solar ratio, suggesting that this kind of atmospheres could be rare.


title: Initial Wave Breaking Dynamics of Peregrine-Type Rogue Waves: A Numerical and Experimental Study

abstract: The Peregrine breather, today widely regarded as a prototype for spatio-temporally localized rogue waves on the ocean caused by nonlinear focusing, is analyzed by direct numerical simulations based on two-phase Navier-Stokes equations. A finite-volume approach with a volume of fluid method is applied to study the Peregrine breather dynamics up to the initial stages of wave breaking. The comparison of the numerical results with laboratory experiments to validate the numerical approach shows very good agreement and suggests that the chosen method is an effective tool to study modulation instability and breather dynamics in water waves with high accuracy even up to the onset of wave breaking. The numerical results also indicate some previously unnoticed characteristics of the flow fields below the water surface of breathers, which might be of significance for short-term prediction of rogue waves. Recurrent wave breaking is also observed.


title: Nonunimodular Lorentzian flat Lie algebras

abstract: A Lorentzian flat Lie group is a Lie group $G$ with a flat left invariant metric $\mu$ with signature $(1,n-1)=(-,+,\ldots,+)$. The Lie algebra $\mathfrak{g}=T_eG$ of $G$ endowed with $\langle\;,\;\rangle=\mu(e)$ is called flat Lorentzian Lie algebra. It is known that the metric of a flat Lorentzian Lie group is geodesically complete if and only if its Lie algebra is unimodular. In this paper, we characterise nonunimodular Lorentzian flat Lie algebras as double extensions (in the sense of Aubert-Medina \cite{Aub-Med}) of Riemannian flat Lie algebras. As application of this result, we give all nonunimodular Lorentzian flat Lie algebras up to dimension 4.


title: Anomalous segregation dynamics of self-propelled particles

abstract: A number of novel experimental and theoretical results have recently been obtained on active soft matter, demonstrating the various interesting universal and anomalous features of this kind of driven systems. Here we consider a fundamental but still unexplored aspect of the patterns arising in the system of actively moving units, i.e., their segregation taking place when two kinds of them with different adhesive properties are present. The process of segregation is studied by a model made of self-propelled particles such that the particles have a tendency to adhere only to those which are of the same kind. The calculations corresponding to the related differential equations can be made in parallel, thus a powerful GPU card allows large scale simulations. We find that the segregation kinetics is very different from the non-driven counterparts and is described by the new scaling exponents $z\simeq 1$ and $z\simeq 0.8$ for the 1:1 and the non-equal ratio of the two constituents, respectively. Our results are in agreement with a recent observation of segregating tissue cells \emph{in vitro}.

categories: cond-mat.soft cond-mat.stat-mech nlin.AO physics.bio-ph


title: Radio frequency spectroscopy of polarons in ultracold Bose gases

abstract: Recent experimental advances enabled the realization of mobile impurities immersed in a Bose-Einstein condensate (BEC) of ultracold atoms. Here we consider impurities with two or more internal hyperfine states, and study their radio-frequency (RF) absorption spectra, which correspond to transitions between two different hyperfine states. We calculate RF spectra for the case when one of the hyperfine states involved interacts with the BEC, while the other state is non-interacting, by performing a non-perturbative resummation of the probabilities of exciting different numbers of phonon modes. In the presence of interactions the impurity gets dressed by Bogoliubov excitations of the BEC, and forms a polaron. The RF signal contains a delta-function peak centered at the energy of the polaron measured relative to the bare impurity transition frequency with a weight equal to the amount of bare impurity character in the polaron state. The RF spectrum also has a broad incoherent part arising from the background excitations of the BEC, with a characteristic power-law tail that appears as a consequence of the universal physics of contact interactions. We discuss both the direct RF measurement, in which the impurity is initially in an interacting state, and the inverse RF measurement, in which the impurity is initially in a non-interacting state. In the latter case, in order to calculate the RF spectrum, we solve the problem of polaron formation: a mobile impurity dynamically gets dressed by Bogoliubov phonons. Our solution based on a time-dependent variational ansatz of coherent states of Bogoliubov phonons, becomes exact when the impurity is localized. Moreover we show that such an ansatz compares well with a semiclassical estimate of the propagation amplitude of a mobile impurity in the BEC. Our technique can be extended to cases when both initial and final impurity states interact with the BEC.


title: Uniform Electron Gases. II. The Generalized Local Density Approximation in One Dimension

abstract: We introduce a generalization (gLDA) of the traditional Local Density Approximation (LDA) within density functional theory. The gLDA uses both the one-electron Seitz radius $\rs$ and a two-electron hole curvature parameter $\eta$ at each point in space. The gLDA reduces to the LDA when applied to the infinite homogeneous electron gas but, unlike the LDA, is is also exact for finite uniform electron gases on spheres. We present an explicit gLDA functional for the correlation energy of electrons that are confined to a one-dimensional space and compare its accuracy with LDA, second- and third-order M{\o}ller-Plesset perturbation energies and exact calculations for a variety of inhomogeneous systems.


title: An exact smooth Gowdy-symmetric generalized Taub-NUT solution

abstract: In a recent paper (Beyer and Hennig, 2012 [9]), we have introduced a class of inhomogeneous cosmological models: the smooth Gowdy-symmetric generalized Taub-NUT solutions. Here we derive a three-parametric family of exact solutions within this class, which contains the two-parametric Taub solution as a special case. We also study properties of this solution. In particular, we show that for a special choice of the parameters, the spacetime contains a curvature singularity with directional behaviour that can be interpreted as a "true spike" in analogy to previously known Gowdy symmetric solutions with spatial T3-topology. For other parameter choices, the maximal globally hyperbolic region is singularity-free, but may contain "false spikes".


title: Choirs HI Galaxy Groups: The metallicity of dwarf galaxies

abstract: We present a recalibration of the luminosity-metallicity relation for gas-rich, star-forming dwarfs to magnitudes as faint as M$_R$ ~ -13. We use the Dopita et al. (2013) metallicity calibrations to calibrate the relation for all of the data in this analysis. In metallicity-luminosity space we find two sub-populations within a sample of high-confidence SDSS DR8 star-forming galaxies; 52% are metal-rich giants and 48% are metal-medium galaxies. Metal-rich dwarfs classified as tidal dwarf galaxy (TDG) candidates in the literature are typically of metallicity 12 + log(O/H) = 8.70 $\pm$ 0.05, while SDSS dwarfs fainter than M$_R$ = -16 have a mean metallicity of 12 + log(O/H) = 8.28 $\pm$ 0.10, regardless of their luminosity, indicating that there is an approximate floor to the metallicity of low luminosity galaxies. Our hydrodynamical simulations predict that TDGs should have metallicities elevated above the normal luminosity-metallicity relation. Metallicity can therefore be a useful diagnostic for identifying TDG candidate populations in the absence of tidal tails. At magnitudes brighter than M$_R$ ~ -16 our sample of 53 star-forming galaxies in 9 HI gas-rich groups is consistent with the normal relation defined by the SDSS sample. At fainter magnitudes there is an increase in dispersion in metallicity of our sample, suggestive of a wide range of HI content and environment. In our sample we identify three (16% of dwarfs) strong TDG candidates (12 + log(O/H) > 8.6), and four (21%) very metal poor dwarfs (12 + log(O/H) < 8.0), which are likely gas-rich dwarfs with recently ignited star formation.


title: Note on a duality of topological branes

abstract: We show a duality of branes in the topological B-model by inserting two kinds of the non-compact branes simultaneously. We explicitly derive the integral formula for the matrix model partition function describing this situation, which correspondingly includes both of the characteristic polynomial and the external source. We show that these two descriptions are dual to each other through the Fourier transformation, and the brane partition function satisfies integrable equations in one and two dimensions.


title: Correlated-basis description of $\alpha$-cluster and delocalized $0^+$ states in $^{16}$O

abstract: A five-body calculation of $^{12}$C+$n$+$n$+$p$+$p$ is performed to take a step towards solving an outstanding problem in nuclear theory: The simultaneous and accurate description of the ground and first excited 0$^+$ states of $^{16}$O. The interactions between the constituent particles are chosen consistently with the energies of bound subsystems, especially $^{12}$C$+n$, $^{12}$C$+p$, and $\alpha$-particle. The five-body dynamics is solved with the stochastic variational method on correlated Gaussian basis functions. No restriction is imposed on the four-nucleon configurations except the Pauli principle excluding the occupied orbits in $^{12}$C. The energies of both the ground and first excited states of $^{16}$O are obtained in excellent agreement with experiment. Analysis of the wave functions indicates spatially localized $\alpha$-particle-like cluster structure for the excited state and shell-model-like delocalized structure for the ground state.


title: Photon propagation in a one-dimensional optomechanical lattice

abstract: We consider a one-dimensional optomechanical lattice where each site is strongly driven by a control laser to enhance the basic optomechanical interaction. We then study the propagation of photons injected by an additional probe laser beam; this is the lattice-generalization of the well-known optomechanically-induced transparency (OMIT) effect in a single optomechanical cavity. We find an interesting interplay between OMIT-type physics and geometric, Fabry-Perot type resonances. In particular, phonon-like polaritons can give rise to high-amplitude transmission resonances which are much narrower than the scale set by internal photon losses. We also find that the local photon density of states in the lattice exhibits OMIT-style interference features. It is thus far richer than would be expected by just looking at the band structure of the dissipation-free coherent system.


title: Introduction \`a la th\'eorie des sch\'emas

abstract: I have merged the lecture notes (in french) of two 24 hour courses I taught at the university Pierre-et-Marie Curie (Paris 6) during the first semester of the academic year 2013-2014. The first one was devoted to the general material that is needed for doing algebraic geometry (categories, commutative algebra, sheaves, locally ringed spaces), and the second one to the foundations of scheme theory.


title: Quasi-One Dimensional Models for Glassy Dynamics

abstract: We describe numerical simulations and analyses of a quasi-one-dimensional (Q1D) model of glassy dynamics. In this model, hard rods undergo Brownian dynamics through a series of narrow channels connected by $J$ intersections. We do not allow the rods to turn at the intersections, and thus there is a single, continuous route through the system. This Q1D model displays caging behavior, collective particle rearrangements, and rapid growth of the structural relaxation time, which are also found in supercooled liquids and glasses. The mean-square displacement $\Sigma(t)$ for this Q1D model displays several dynamical regimes: 1) short-time diffusion $\Sigma(t) \sim t$, 2) a plateau in the mean-square displacement caused by caging behavior, 3) single-file diffusion characterized by anomalous scaling $\Sigma(t) \sim t^{0.5}$ at intermediate times, and 4) a crossover to long-time diffusion $\Sigma(t) \sim t$ for times $t$ that grow with the complexity of the circuit. We develop a general procedure for determining the structural relaxation time $t_D$, beyond which the system undergoes long-time diffusion, as a function of the packing fraction $\phi$ and system topology. This procedure involves several steps: 1) define a set of distinct microstates in configuration space of the system, 2) construct a directed network of microstates and transitions between them, 3) identify minimal, closed loops in the network that give rise to structural relaxation, 4) determine the frequencies of `bottleneck' microstates that control the slow dynamics and time required to transition out of them, and 5) use the microstate frequencies and lifetimes to deduce $t_D(\phi)$. We find that $t_D$ obeys power-law scaling, $t_D\sim (\phi^* - \phi)^{-\alpha}$, where both $\phi^*$ (signaling complete kinetic arrest) and $\alpha>0$ depend on the system topology.


title: The analysis of FETI-DP preconditioner for full DG discretization of elliptic problems

abstract: In this paper a discretization based on discontinuous Galerkin (DG) method for an elliptic two-dimensional problem with discontinuous coefficients is considered. The problem is posed on a polygonal region $\Omega$ which is a union of $N$ disjoint polygonal subdomains $\Omega_i$ of diameter $O(H_i)$. The discontinuities of the coefficients, possibly very large, are assumed to occur only across the subdomain interfaces $\partial \Omega_i$. In each $\Omega_i$ a conforming quasiuniform triangulation with parameters $h_i$ is constructed. We assume that the resulting triangulation in $\Omega$ is also conforming, i.e., the meshes are assumed to match across the subdomain interfaces. On the fine triangulation the problem is discretized by a DG method. For solving the resulting discrete system, a FETI-DP type method is proposed and analyzed. It is established that the condition number of the preconditioned linear system is estimated by $C(1 + \max_i \log H_i/h_i)^2$ with a constant $C$ independent of $h_i$, $H_i$ and the jumps of coefficients. The method is well suited for parallel computations and it can be extended to three-dimensional problems. This result is an extension, to the case of full fine-grid DG discretization, of the previous result [SIAM J. Numer. Anal., 51 (2013), pp.~400--422] where it was considered a conforming finite element method inside the subdomains and a discontinuous Galerkin method only across the subdomain interfaces. Numerical results are presented to validate the theory.


title: Investigating the significance of zero-point motion in small molecular clusters of sulphuric acid and water

abstract: The nucleation of particles from trace gases in the atmosphere is an important source of cloud condensation nuclei (CCN), and these are vital for the formation of clouds in view of the high supersaturations required for homogeneous water droplet nucleation. The methods of quantum chemistry have increasingly been employed to model nucleation due to their high accuracy and efficiency in calculating configurational energies; and nucleation rates can be obtained from the associated free energies of particle formation. However, even in such advanced approaches, it is typically assumed that the nuclei have a classical nature, which is questionable for some systems. The importance of zero-point motion (also known as quantum nuclear dynamics) in modelling small clusters of sulphuric acid and water is tested here using the path integral molecular dynamics (PIMD) method at the density functional theory (DFT) level of theory. The general effect of zero-point motion is to distort the mean structure slightly, and to promote the extent of proton transfer with respect to classical behaviour. In a particular configuration of one sulphuric acid molecule with three waters, the range of positions explored by a proton between a sulphuric acid and a water molecule at 300 K (a broad range in contrast to the confinement suggested by geometry optimisation at 0 K) is clearly affected by the inclusion of zero point motion, and similar effects are observed for other configurations.


title: Quantum Mechanics and the Principle of Least Radix Economy

abstract: A new variational method, the principle of least radix economy, is formulated. The mathematical and physical relevance of the radix economy, also called digit capacity, is established, showing how physical laws can be derived from this concept in a unified way. The principle reinterprets and generalizes the principle of least action yielding two classes of physical solutions: least action paths and quantum wavefunctions. A new physical foundation of the Hilbert space of quantum mechanics is then accomplished and it is used to derive the Schr\"odinger and Dirac equations and the breaking of the commutativity of spacetime geometry. The formulation provides an explanation of how determinism and random statistical behavior coexist in spacetime and a framework is developed that allows dynamical processes to be formulated in terms of chains of digits. These methods lead to a new (pre-geometrical) foundation for Lorentz transformations and special relativity. The Parker-Rhodes combinatorial hierarchy is encompassed within our approach and this leads to an estimate of the interaction strength of the electromagnetic and gravitational forces that agrees with the experimental values to an error of less than one thousandth. Finally, it is shown how the principle of least-radix economy naturally gives rise to Boltzmann's principle of classical statistical thermodynamics. A new expression for a general (path-dependent) nonequilibrium entropy is proposed satisfying the Second Law of Thermodynamics.


title: Polynomial Values in Small Subgroups of Finite Fields

abstract: For a large prime $p$, and a polynomial $f$ over a finite field $F_p$ of $p$ elements, we obtain a lower bound on the size of the multiplicative subgroup of $F_p^*$ containing $H\ge 1$ consecutive values $f(x)$, $x = u+1, \ldots, u+H$, uniformly over $f\in F_p[X]$ and an $u \in F_p$.


title: Three Identical Fermions with Resonant p-wave Interactions in Two Dimensions

abstract: A new kind of "super-Efimov" states of binding energies scaling as $\ln|E_n|\sim-e^{3n\pi/4}$ were predicted by a field theory calculation for three fermions with resonant $p$-wave interactions in two dimensions [Phys. Rev. Lett. \textbf{110}, 235301 (2013)]. However, the universality of these "super-Efimov" states has not been proved independently. In this Letter, we study the three fermion system through the hyperspherical formalism. Within the adiabatic approximation, we find that at $p$-wave resonances, the low energy physics of states of angular momentum $\ell=\pm1$ crucially depends on the value of an emergent dimensionless parameter $Y$ determined by the detail of the inter-particle potential. Only if $Y$ is exactly zero, the predicted "super-Efimov" states exist. If $Y>0$, the scaling of the bound states changes to $\ln|E_n|\sim-(n\pi)^2/2Y$, while there are no shallow bound states if $Y<0$.


title: Future Experimental Programs

abstract: I was asked to discuss future experimental programs even though I'm a theorist. As a result, I present my own personal views on where the field is, and where it is going, based on what I myself have been working on. In particular, I discuss why we need expeditions into high energies to find clues to where the relevant energy scale is for dark matter, baryon asymmetry, and neutrino mass. I also argue that the next energy frontier machine should be justified on the basis of what we know, namely the mass of the Higgs boson, so that we will learn what energy we should aim at once we nail the Higgs sector. Finally I make remarks on dark energy.


title: Nonparametric Density Estimation Using Partially Rank-Ordered Set Samples With Application in Estimating the Distribution of Wheat Yield

abstract: We study nonparametric estimation of an unknown density function $f$ based on the ranked-based observations obtained from a partially rank-ordered set (PROS) sampling design. PROS sampling design has many applications in environmental, ecological and medical studies where the exact measurement of the variable of interest is costly but a small number of sampling units can be ordered with respect to the variable of interest by any means other than actual measurements and this can be done at low cost. PROS observations involve independent order statistics which are not identically distributed and most of the commonly used nonparametric techniques are not directly applicable to them. We first develop kernel density estimates of $f$ based on an imperfect PROS sampling procedure and study its theoretical properties. Then, we consider the problem when the underlying distribution is assumed to be symmetric and introduce some plug-in kernel density estimators of $f$. We use an EM type algorithm to estimate misplacement probabilities associated with an imperfect PROS design. Finally, we expand on various numerical illustrations of our results via several simulation studies and a case study to estimate the distribution of wheat yield using the total acreage of land which is planted in wheat as an easily obtained auxiliary information. Our results show that the PROS density estimate performs better than its SRS and RSS counterparts.


title: On Verifying Resource Contracts using Code Contracts

abstract: In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both memory consumption and lifetime properties in a modular fashion. We develop a proof-of-concept implementation by extending Code Contracts' specification language. To verify the correctness of these annotations we rely on the Code Contracts static verifier and a points-to analysis. We also briefly discuss possible extensions of our approach to deal with non-linear expressions.


title: Automated Reasoning over Deontic Action Logics with Finite Vocabularies

abstract: In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel execution of actions and action complement, two action operators that may present difficulties in their treatment. One of the restrictions of this logic is that it uses vocabularies with a finite number of actions. In this article we prove that this restriction does not affect the coherence of the deduction system; in other words, we prove that the system is complete with respect to language extension. We also study the computational complexity of this extended deductive framework and we prove that the complexity of this system is in PSPACE, which is an improvement with respect to related systems.


title: Actions and Events in Concurrent Systems Design

abstract: In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and events are made explicit in the description of a component and a system. Our work builds from the ideas set forth by the categorical approach to the construction of software based systems from components advocated by Goguen and Burstall, in the context of institutions, and by Fiadeiro and Maibaum, in the context of temporal logic. In this context, we formalize a notion of a component as an element of an indexed category and we elicit a notion of a morphism between components as morphisms of this category. Moreover, we elaborate on how this formalization captures, in a convenient manner, the underlying structure of a component and the basic interaction mechanisms for putting components together. Further, we advance some ideas on how certain matters related to the openness and the compositionality of a component/system may be described in terms of classes of morphisms, thus potentially supporting a compositional rely/guarantee reasoning.


title: Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties

abstract: In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property description is Fluent Linear Time Temporal Logic. Fluents provide an adequate flexibility for capturing properties of workflows. Both the model and the properties are encoded, in an automated way, as Labelled Transition Systems, and the analysis is reduced to model checking.


title: BEval: A Plug-in to Extend Atelier B with Current Verification Technologies

abstract: This paper presents BEval, an extension of Atelier B to improve automation in the verification activities in the B method or Event-B. It combines a tool for managing and verifying software projects (Atelier B) and a model checker/animator (ProB) so that the verification conditions generated in the former are evaluated with the latter. In our experiments, the two main verification strategies (manual and automatic) showed significant improvement as ProB's evaluator proves complementary to Atelier B built-in provers. We conducted experiments with the B model of a micro-controller instruction set; several verification conditions, that we were not able to discharge automatically or manually with AtelierB's provers, were automatically verified using BEval.


title: The DynAlloy Visualizer

abstract: We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the internals of the Alloy intermediate representation in order to debug a flaw in her model.


title: HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

abstract: Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications. HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius.


title: Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

abstract: Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analysis tools, known as the SCR Toolset, but its availability is restricted by the Naval Research Laboratory of the USA. This toolset applies different kinds of analysis considering the whole set of behaviours associated with a requirements specification. In this paper we present a tool for describing and analyzing SCR requirements descriptions, that complements the SCR Toolset in two aspects. First, its use is not limited by any institution, and resorts to a standard model checking tool for analysis; and second, it allows to concentrate the analysis to particular sets of behaviours (subsets of the whole specifications), that correspond to particular scenarios explicitly mentioned in the specification. We take an operational notation that allows the engineer to describe behavioural "scenarios" by means of programs, and provide a translation into Promela to perform the analysis via Spin, an efficient off-the-shelf model checker freely available. In addition, we apply the SCR method to a Pacemaker system and we use its tabular specification as a running example of this article.


title: Progress on Polynomial Identity Testing - II

abstract: We survey the area of algebraic complexity theory; with the focus being on the problem of polynomial identity testing (PIT). We discuss the key ideas that have gone into the results of the last few years.


title: The enriched Crouzeix-Raviart elements are equivalent to the Raviart-Thomas elements

abstract: For both the Poisson model problem and the Stokes problem in any dimension, this paper proves that the enriched Crouzeix-Raviart elements are actually identical to the first order Raviart-Thomas elements in the sense that they produce the same discrete stresses. This result improves the previous result in literature which, for two dimensions, states that the piecewise constant projection of the stress by the first order Raviart-Thomas element is equal to that by the Crouzeix-Raviart element. For the eigenvalue problem of Laplace operator, this paper proves that the error of the enriched Crouzeix-Raviart element is equivalent to that of the Raviart-Thomas element up to higher order terms.


title: A Principled Infotheoretic \phi-like Measure

abstract: Integrated information theory is a mathematical, quantifiable theory of conscious experience. The linchpin of this theory, the $\phi$ measure, quantifies a system's irreducibility to disjoint parts. Purely as a measure of irreducibility, we pinpoint three concerns about $\phi$ and propose a revised measure, $\psi$, which addresses them. Our measure $\psi$ is rigorously grounded in Partial Information Decomposition and is faster to compute than $\phi$.


title: Mixed Lebesgue space norm Strichartz type estimation for solution of inhomogeneous parabolic equation, with constants evaluation

abstract: We give an optimal in mixed (anisotropic) Strichartz type Lebesgue space-time norm estimates for the solution of linear parabolic inhomogeneous initial problem, with are exact or exact up to multiplicative constant coefficient evaluation.


title: Almost additive entropy

abstract: We explore consequences of a hyperbolic metric induced by the composition property of the Harvda-Charvat/Dar\'{o}czy/Cressie-Read/Tsallis entropy. We address the special case of systems described by small deviations of the non-extensive parameter \ $q\approx 1$ \ from the "ordinary" additive case which is described by the Boltzmann/Gibbs/Shannon entropy. By applying the Gromov/Ruh theorem for almost flat manifolds, we show that such systems have a power-law rate of expansion of their configuration/phase space volume. We explore the possible physical significance of some geometric and topological results of this approach.

categories: cond-mat.stat-mech gr-qc hep-th math-ph math.MP nlin.CD


title: Reaction Rate Theory of Radiation Exposure and Scaling Hypothesis in Mutation Frequency

abstract: We develop a kinetic reaction model for cells having irradiated DNA molecules due to ionizing radiation exposure. Our theory simultaneously accounts for the time-dependent reactions of the DNA damage, the DNA mutation, the DNA repair, and the proliferation and apoptosis of cells in a tissue with a minimal set of model parameters. In contrast to existing theories for radiation exposition, we do not assume the relationships between the total dose and the induced mutation frequency. Our theory provides a universal scaling function that reasonably explains the mega-mouse experiments in Ref.[W. L. Russell and E. M. Kelly, Proc. Natl. Acad. Sci. USA. {\bf 79} (1982) 542.] with different dose rates. Furthermore, we have estimated the effective dose rate, which is biologically equivalent to the ionizing effects other than those caused by artificial irradiation. This value is $ 1.11 \times 10^{-3} ~\rm{[Gy/hr]}$, which is significantly larger than the effect caused by natural background radiation.


title: Backlund transformations for Burgers Equation via localization of residual symmetries

abstract: In this paper, we obtained the non-local residual symmetry related to truncated Painlev\'e expansion of Burgers equation. In order to localize the residual symmetry, we introduced new variables to prolong the original Burgers equation into a new system. By using Lie's first theorem, we got the finite transformation for the localized residual symmetry. More importantly, we also localized the linear superposition of multiple residual symmetries to find the corresponding finite transformations. It is interesting to find that the nth Backlund transformation for Burgers equation can be expressed by determinants in a compact way.


title: External Source Method for Kubo-Transformed Quantum Correlation Functions

abstract: We revisit the external source method for Kubo-transformed quantum correlation functions recently proposed by Krishna and Voth. We derive an exact formula and show that the Krishna-Voth formula can be derived as an approximation of our formula. Some properties of this approximation are clarified through a model calculation of the position autocorrelation function for a one-dimensional harmonic oscillator. A key observation is that the Krishna-Voth correlation function has a term which behaves as the secular term in perturbation theory.


title: A uniformly accurate multiscale time integrator pseudospectral method for the Klein-Gordon equation in the nonrelativistic limit regime

abstract: We propose and analyze a multiscale time integrator Fourier pseudospectral (MTI-FP) method for solving the Klein-Gordon (KG) equation with a dimensionless parameter $0<\varepsilon\leq1$ which is inversely proportional to the speed of light. In the nonrelativistic limit regime, i.e. $0<\varepsilon\ll1$, the solution to the KG equation propagates waves with amplitude at $O(1)$ and wavelength at $O(\varepsilon^2)$ in time and $O(1)$ in space, which causes significantly numerical burdens due to the high oscillation in time. The MTI-FP method is designed by adapting a multiscale decomposition by frequency (MDF) to the solution at each time step and applying an exponential wave integrator to the nonlinear Schr\"{o}dinger equation with wave operator under well-prepared initial data for $\varepsilon^2$-frequency and $O(1)$-amplitude waves and a KG-type equation with small initial data for the reminder waves in the MDF. We rigorously establish two independent error bounds in $H^2$-norm to the MTI-FP method at $O(h^{m_0}+\tau^2+\varepsilon^2)$ and $O(h^{m_0}+\tau^2/\varepsilon^2)$ with $h$ mesh size, $\tau$ time step and $m_0\ge2$ an integer depending on the regularity of the solution, which immediately imply that the MTI-FP converges uniformly and optimally in space with exponential convergence rate if the solution is smooth, and uniformly in time with linear convergence rate at $O(\tau)$ for all $\varepsilon\in(0,1]$ and optimally with quadratic convergence rate at $O(\tau^2)$ in the regimes when either $\varepsilon=O(1)$ or $0<\varepsilon\le \tau$. Numerical results are reported to confirm the error bounds and demonstrate the efficiency and accuracy of the MTI-FP method for the KG equation, especially in the nonrelativistic limit regime.


title: A multiwavelength analysis of planetary nebulae in the Large Magellanic Cloud

abstract: This paper examines, compares and plots optical, near- and mid-infrared (MIR) photometric data for 605 planetary nebulae (PNe) in the Large Magellanic Cloud (LMC). With the aid of multi-wavelength surveys such as the Spitzer legacy programme Surveying the Agents of a Galaxy's Evolution, the Two Micron All Sky Survey and the Magellanic Cloud Photometric Survey, plots have been constructed to expose the relative contributions from molecular hydrogen, polycyclic aromatic hydrocarbons, forbidden emission lines, warm dust continuum and stellar emission at various bands. Besides identifying trends, these plots have helped to reveal PN mimics including six previously known PNe in the outer LMC which are re-classied as other object types. Together with continuing follow-up optical observations, the data have enabled a substantial reduction in the number of PNe previously tagged as `likely' and `possible'. The total number of LMC PNe is adjusted to 715 but with a greater degree of confidence in regard to classification. In each colour-colour plot, the more highly evolved LMC PNe are highlighted for comparison with younger, brighter PNe. The faintest and most evolved PNe typically cluster in areas of colour-colour space occupied by ordinary stars. Possible reasons for the wide disparity in infrared colour-colour ratios, such as evolution and dust composition, are presented for evaluation. A correlation is found between the optical luminosity of PNe, emission-line ratios and the MIR dust luminosity at various bands. Luminosity functions using the four Infrared Array Camera and Multiband Imaging Photometer of Spitzer (MIPS) [24] bands are directly compared, revealing an increasing accumulation of PNe within the brightest two magnitudes at longer wavelengths. A correlation is also found between the MIPS [24] band and the [O III] 5007 and H-beta fluxes.


title: Herschel-ATLAS/GAMA:How does the far-IR luminosity function depend on galaxy group properties?

abstract: We use the Herschel ATLAS (H-ATLAS) Phase I data to study the conditional luminosity function of far-IR (250 um) selected galaxies in optically-selected galaxy groups from the GAMA spectroscopic survey, as well as environmental effects on the far-IR-to-optical colour. We applied two methods, which gave consistent results for the far-IR conditional luminosity functions. The direct matching method matches H-ATLAS sources to GAMA/SDSS galaxies, then links the optical counterparts to GAMA groups. The stacking method counts the number of far-IR sources within the projected radii of GAMA groups, subtracting the local background. We investigated the dependence of the far-IR (250 um) luminosity function on group mass in the range 10d12 < M_h < 10d14Msun/h and on redshift in the range 0 < z < 0.4, using a sample of 3000 groups containing H-ATLAS sources with GAMA redshifts over an area of 126 sq. deg. We find that the characteristic 250 um luminosity, L^*(250), increases with group mass up to M_h ~ 10d13Msun/h, but is roughly constant above this, while it increases with redshift at high group masses, but less so at low masses. We also find that the group far-IR luminosity-to-mass ratio L(250)/M_h increases with redshift and is higher in low-mass groups. We estimate that around 70% of the 250 um luminosity density in the local universe is contributed by groups with M_h > 10d12Msun/h. We also find that the far-IR-to-optical colours of H-ATLAS galaxies are independent of group mass over the range 10d12 < M_h <10d14Msun/h in the local universe. We also compare our observational results with recent semi-analytical models, and find that none of these galaxy formation model can reproduce the conditional far-IR luminosity functions of galaxy groups.


title: Differentially Private Data Releasing for Smooth Queries with Synthetic Database Output

abstract: We consider accurately answering smooth queries while preserving differential privacy. A query is said to be $K$-smooth if it is specified by a function defined on $[-1,1]^d$ whose partial derivatives up to order $K$ are all bounded. We develop an $\epsilon$-differentially private mechanism for the class of $K$-smooth queries. The major advantage of the algorithm is that it outputs a synthetic database. In real applications, a synthetic database output is appealing. Our mechanism achieves an accuracy of $O (n^{-\frac{K}{2d+K}}/\epsilon )$, and runs in polynomial time. We also generalize the mechanism to preserve $(\epsilon, \delta)$-differential privacy with slightly improved accuracy. Extensive experiments on benchmark datasets demonstrate that the mechanisms have good accuracy and are efficient.


title: Log del Pezzo surfaces with not small fractional indices

abstract: For a log del Pezzo surface $S$, the fractional index $r(S)\in\mathbb{Q}_{>0}$ is the maximum of $r$ with which $-K_S$ can be written as $r$ times some Cartier divisor. We classify all the log del Pezzo surfaces $S$ with $r(S)\geq 1/2$, after the technique of Nakayama.


title: Role of parity transformation for the fluctuation theorem: Limit cycle and symmetry breaking

abstract: The fluctuation theorem of the Crooks type is studied for thermodynamic nonlinear- multivariate systems. In particular, a bivariate system having a limit cycle is discussed in detail. It is explicitly shown how the time reversal operation has to be combined with the parity transformation in order to derive the fluctuation theorem for the change of the renormalized entropy. Furthermore, breakdown of the symmetry in a limit-cycle model due to the effect of fluctuations is also discussed.


title: Maximal tree size of few-qubit states

abstract: Tree size ($\rm{TS}$) is an interesting measure of complexity for multiqubit states: not only is it in principle computable, but one can obtain lower bounds for it. In this way, it has been possible to identify families of states whose complexity scales superpolynomially in the number of qubits. With the goal of progressing in the systematic study of the mathematical property of $\rm{TS}$, in this work we characterize the tree size of pure states for the case where the number of qubits is small, namely, 3 or 4. The study of three qubits does not hold great surprises, insofar as the structure of entanglement is rather simple; the maximal $\rm{TS}$ is found to be 8, reached for instance by the $|\rm{W}\rangle$ state. The study of four qubits yields several insights: in particular, the most economic description of a state is found not to be recursive. The maximal $\rm{TS}$ is found to be 16, reached for instance by a state called $|\Psi^{(4)}\rangle$ which was already discussed in the context of four-photon down-conversion experiments. We also find that the states with maximal tree size form a set of zero measure: a smoothed version of tree size over a neighborhood of a state ($\epsilon-\rm{TS}$) reduces the maximal values to 6 and 14, respectively. Finally, we introduce a notion of tree size for mixed states and discuss it for a one-parameter family of states.


title: Conservation properties of the trapezoidal rule in linear time domain analysis of acoustics and structures

abstract: The trapezoidal rule, which is a special case of the Newmark family of algorithms, is one of the most widely used methods for transient hyperbolic problems. In this work, we show that this rule conserves linear and angular momenta and energy in the case of undamped linear elastodynamics problems, and an `energy-like measure' in the case of undamped acoustic problems. These conservation properties, thus, provide a rational basis for using this algorithm. In linear elastodynamics problems, variants of the trapezoidal rule that incorporate `high-frequency' dissipation are often used, since the higher frequencies, which are not approximated properly by the standard displacement-based approach, often result in unphysical behavior. Instead of modifying the trapezoidal algorithm, we propose using a hybrid finite element framework for constructing the stiffness matrix. Hybrid finite elements, which are based on a two-field variational formulation involving displacement and stresses, are known to approximate the eigenvalues much more accurately than the standard displacement-based approach, thereby either bypassing or reducing the need for high-frequency dissipation. We show this by means of several examples, where we compare the numerical solutions obtained using the displacement-based and hybrid approaches against analytical solutions.


title: Badly approximable vectors, $C^{1}$ curves and number fields

abstract: We show that points on $C^{1}$ curves which are badly approximable by rationals in a number field form a winning set in the sense of W. M. Schmidt. As a consequence, we obtain a number field version of Schmidt's conjecture.


title: Covariance and precision matrix estimation for high-dimensional time series

abstract: We consider estimation of covariance matrices and their inverses (a.k.a. precision matrices) for high-dimensional stationary and locally stationary time series. In the latter case the covariance matrices evolve smoothly in time, thus forming a covariance matrix function. Using the functional dependence measure of Wu [Proc. Natl. Acad. Sci. USA 102 (2005) 14150-14154 (electronic)], we obtain the rate of convergence for the thresholded estimate and illustrate how the dependence affects the rate of convergence. Asymptotic properties are also obtained for the precision matrix estimate which is based on the graphical Lasso principle. Our theory substantially generalizes earlier ones by allowing dependence, by allowing nonstationarity and by relaxing the associated moment conditions.


title: When Does Relay Transmission Give a More Secure Connection in Wireless Ad Hoc Networks?

abstract: Relay transmission can enhance coverage and throughput, while it can be vulnerable to eavesdropping attacks due to the additional transmission of the source message at the relay. Thus, whether or not one should use relay transmission for secure communication is an interesting and important problem. In this paper, we consider the transmission of a confidential message from a source to a destination in a decentralized wireless network in the presence of randomly distributed eavesdroppers. The source-destination pair can be potentially assisted by randomly distributed relays. For an arbitrary relay, we derive exact expressions of secure connection probability for both colluding and non-colluding eavesdroppers. We further obtain lower bound expressions on the secure connection probability, which are accurate when the eavesdropper density is small. By utilizing these lower bound expressions, we propose a relay selection strategy to improve the secure connection probability. By analytically comparing the secure connection probability for direct transmission and relay transmission, we address the important problem of whether or not to relay and discuss the condition for relay transmission in terms of the relay density and source-destination distance. These analytical results are accurate in the small eavesdropper density regime.


title: Disorder induced power-law response of a superconducting vortex on a plane

abstract: We report drive-response experiments on individual superconducting vortices on a plane, a realization for a 1+1-dimensional directed polymer in random media. For this we use magnetic force microscopy (MFM) to image and manipulate individual vortices trapped on a twin boundary in YBCO near optimal doping. We find that when we drag a vortex with the magnetic tip it moves in a series of jumps. As theory suggests the jump-size distribution does not depend on the applied force and is consistent with power-law behavior. The measured power is much larger than widely accepted theoretical calculations.

categories: cond-mat.supr-con cond-mat.dis-nn cond-mat.mes-hall cond-mat.soft cond-mat.stat-mech


title: Gauged Q-balls in the Affleck-Dine mechanism

abstract: We consider gauged Q-balls in the gravity-mediation-type model in the Affleck-Dine mechanism, which is described by the potential $V_{\rm grav.}(\phi):=(m_{\rm grav.}^2/2)\phi^2\left[1+K\ln(\phi/M)^2\right]$ with $K<0$. In many models of gauged Q-balls, which were studied in the literature, there are upper limits for charge and size of Q-balls due to repulsive Coulomb force. In the present model, by contrast, our numerical calculation strongly suggests that stable solutions with any amount of charge and size exist. As the electric charge $Q$ increases, the field configuration of the scalar field becomes shell-like; because the charge is concentrated on the surface, the Coulomb force does not destroy the Q-ball configuration. These properties are analogous to those in the V-shaped model, which was studied by Arod\'z and Lis. We also find that for each $K$ there is another sequence of unstable solutions, which is separated from the other sequence of the stable solutions. As $|K|$ increases, the two sequences approach; eventually at some point in $-1.07<K<-1.06$, the "recombination" of the two sequences takes place.


title: Performance Comparison of the RPL and LOADng Routing Protocols in a Home Automation Scenario

abstract: RPL, the routing protocol proposed by IETF for IPv6/6LoWPAN Low Power and Lossy Networks has significant complexity. Another protocol called LOADng, a lightweight variant of AODV, emerges as an alternative solution. In this paper, we compare the performance of the two protocols in a Home Automation scenario with heterogenous traffic patterns including a mix of multipoint-to-point and point-to-multipoint routes in realistic dense non-uniform network topologies. We use Contiki OS and Cooja simulator to evaluate the behavior of the ContikiRPL implementation and a basic non-optimized implementation of LOADng. Unlike previous studies, our results show that RPL provides shorter delays, less control overhead, and requires less memory than LOADng. Nevertheless, enhancing LOADng with more efficient flooding and a better route storage algorithm may improve its performance.


title: Semantic A-translation and Super-consistency entail Classical Cut Elimination

abstract: We show that if a theory R defined by a rewrite system is super-consistent, the classical sequent calculus modulo R enjoys the cut elimination property, which was an open question. For such theories it was already known that proofs strongly normalize in natural deduction modulo R, and that cut elimination holds in the intuitionistic sequent calculus modulo R. We first define a syntactic and a semantic version of Friedman's A-translation, showing that it preserves the structure of pseudo-Heyting algebra, our semantic framework. Then we relate the interpretation of a theory in the A-translated algebra and its A-translation in the original algebra. This allows to show the stability of the super-consistency criterion and the cut elimination theorem.


title: Localization of gauge fields in a tachyonic de Sitter thick braneworld

abstract: In this work we show that universal gauge vector fields can be localized on the recently proposed 5D thick tachyonic braneworld which involves a de Sitter cosmological background induced on the 3-brane. Namely, by performing a suitable decomposition of the vector field, the resulting 4D effective action corresponds to a massive gauge field, while the profile along the extra dimension obeys a Schroedinger-like equation with a Poeschl-Teller potential. It turns out that the massless zero mode of the gauge field is bound to the expanding 3-brane and allows us to recover the standard 4D electromagnetic phenomena of our world. Moreover, this zero mode is separated from the continuum of Kaluza-Klein (KK) modes by a mass gap determined by the scale of the expansion parameter. We also were able to analytically solve the corresponding Schroedinger-like equation for arbitrary mass, showing that KK massive modes asymptotically behave like plane waves as expected.


title: Projective atlas of trajectories of differential systems

abstract: Topological bases of behaviour of trajectories for autonomous differential systems of the second order on the projective phase plane are stated. By means of Poincare's circles the projective atlas of trajectories is constructed. Differential connections between trajectories of projectively conjugated differential systems are established. The behaviour of trajectories in an neighbourhood of infinitely remote straight line of the projective phase plane and property of closed trajectories on the projective phase plane is investigated. Examples of full qualitative research of trajectories of differential systems on the projective phase plane are given.


title: Archimedean solid-like superconducting framework in phase-separated K0.8Fe1.6+xSe2 (0<=x<=0.15)

abstract: The superconducting (SC) phase in the phase-separated (PS) K0.8Fe1.6+xSe2 (0<=x<=0.15) materials is found to crystallize on Archimedean solid-like frameworks, this structural feature originate from a spinodal phase separation (SPS) at around Ts~540K depending slightly on the Fe concentration. Two stable phases in K0.8Fe1.6+xSe2 are demonstrated to be the SC K0.5Fe2Se2 and antiferromagnetic (AFM) K0.8Fe1.6Se2. The spinodal waves go along the systematic [113] direction and result in notable lamellar structure as illustrated by using the strain-field theoretical simulation. The 3-dimentional SC framework is constructed by hollow truncated octahedra similar with what discussed for Archimedean solids. Based on this structural model, we can efficiently calculate the volume fraction of SC phase in this type of PS SC materials.


title: Differentiability of Hausdorff dimension of the non-wandering set in a planar open billiard

abstract: We consider open billiards in the plane satisfying the no-eclipse condition. We show that the points in the non-wandering set depend differentiably on deformations to the boundary of the billiard. We use Bowen's equation to estimate the Hausdorff dimension of the non-wandering set of the billiard. Finally we show that the Hausdorff dimension depends differentiably on sufficiently smooth deformations to the boundary of the billiard, and estimate the derivative with respect to such deformations.


title: On the likelihood of multiple bit upsets in logic circuits

abstract: Soft errors have a significant impact on the circuit reliability at nanoscale technologies. At the architectural level, soft errors are commonly modeled by a probabilistic bit-flip model. In developing such abstract fault models, an important issue to consider is the likelihood of multiple bit errors caused by particle strikes. This likelihood has been studied to a great extent in memories, but has not been understood to the same extent in logic circuits. In this paper, we attempt to quantify the likelihood that a single transient event can cause multiple bit errors in logic circuits consisting of combinational gates and flip-flops. In particular, we calculate the conditional probability of multiple bit-flips given that a single bit flips as a result of the transient. To calculate this conditional probability, we use a Monte Carlo technique in which samples are generated using detailed post-layout circuit simulations. Our experiments on the ISCAS'85 benchmarks and a few other circuits indicate that, this conditional probability is quite significant and can be as high as 0.31. Thus we conclude that multiple bit-flips must necessarily be considered in order to obtain a realistic architectural fault model for soft errors.


title: Letter of intent; Precise measurements of very forward particle production at RHIC

abstract: In this paper, we propose an experiment for the precise measurements of very forward particle production at RHIC. The proposal is to install a LHCf-like calorimeter in the ZDC installation slot at one of the RHIC interaction points. By installing a high-resolution electromagnetic calorimeter at this location we measure the spectra of photons, neutrons and pi0 at pseudo rapidity eta above 6. The new measurements at 500 GeV p-p collisions contribute to improve the hadronic interaction models used in the cosmic-ray air shower simulations. Using a similar kinematic coverage at RHIC to that of the measurements at LHC, we can test the Feynman scaling with a wide energy range and make the extrapolation of models into cosmic-ray energy more reliable. Combination of a high position resolution of the LHCf detector and a high energy resolution of the ZDC makes it possible to determine pT of forward neutrons with the ever best resolution. This enables us to study the forward neutron spin asymmetry discovered at RHIC in more detail. Another new experiment expected at RHIC is world-first light-ion collisions. Cosmic-ray interaction models have been so far tested with accelerator data, but colliders have provided only p-p and heavy-ion collisions. To simulate the interaction between cosmic-ray particles and atmosphere, collision of light ions like nitrogen is a ultimate goal for the cosmic-ray physics. We propose 200 GeV p-N collisions together with 200 GeV p-p collisions to study the nuclear effects in the forward particle production. The experiment can be performed by using the existing LHCf detector. Considering the geometry and response of one of the LHCf detectors, we propose some short dedicated operations. Ideal beam conditions are summarized in this paper. Our basic idea is to bring one of the LHCf detectors to RHIC and then operate from 2016 season at RHIC.


title: Hausdorff Dimension of Average Conformal Hyperbolic Sets

abstract: The Hausdorff dimension of a conformal repeller or conformal hyperbolic set is well understood. For non-conformal maps, the Hausdorff dimension is only known in some special cases. Ban, Cao and Hu defined the concept of an average conformal repeller which generalises conformal, quasi-conformal and weakly conformal repellers, and they found an equation for the Hausdorff dimension for an average conformal repeller. In this paper we generalise this concept to average conformal hyperbolic sets, and obtain a similar equation for the Hausdorff dimension.


title: Habitable Zones with Stable Orbits for Planets around Binary Systems

abstract: A general formulation to compute habitable zones (HZ) around binary stars is presented. A HZ in this context must satisfy two separate conditions: a radiative one and one of dynamical stability. For the case of single stars, the usual concept of circumstellar habitable zone is based on the radiative condition only, as the dynamical stability condition is taken for granted. For the radiative condition, we extend the simple formulation of the circumstellar habitable zone for single stars, to the case of eccentric stellar binary systems, where two sources of luminosity at different orbital phases contribute to the irradiance of their planetary circumstellar and circumbinary regions. Our approach considers binaries with eccentric orbits and guarantees that orbits in the computed habitable zone remain within it at all orbital phases. For the dynamical stability condition, we use the approach of invariant loops developed by Pichardo et al. 2005 to find regions of stable, non-intersecting orbits, which is a robust method to find stable regions in binary stars, as it is based in the existence of integrals of motion. We apply the combined criteria to calculate HZ for 64 binary stars in the solar neighborhood with known orbital parameters, including some with discovered planets. Formulae and interpolating tables are provided, so the reader can compute the boundaries of the HZ for an arbitrary binary system, using the stellar flux limits they prefer. Together with the formulae provided for stable zones, these allow the computation of both regions of stability and habitability around any binary stellar system. We found 56% of the cases we consider can satisfy both restrictions, this is a very important constriction to binary systems. Nevertheless, we conclude that these systems where a dynamical and radiative safe zone exists, must be considered strong candidates in the search for habitable planets


title: On Cox-Kemperman moment inequalities for independent centered random variables

abstract: In 1983 Cox and Kemperman proved that $\E f(\xi)+ \E f(\eta) \le \E f(\xi+\eta)$ for all functions $f$, such that $f(0)=0$ and the second derivative $f''(y)$ is convex, and all independent centered random variables $\xi$ and $\eta$ satisfying certain moment restrictions. We show that the minimal moment restrictions are sufficient for the inequality to be valid, and write out a less restrictive condition on $f$ for the inequality to hold. Besides, Cox and Kemperman (1983) found out the optimal constants $A_\rho$ and $B_\rho$ for the inequalities $A_\rho (\E |\xi|^\rho + \E |\eta|^\rho) \le \E |\xi + \eta|^\rho \le B_\rho (\E |\xi|^\rho + \E |\eta|^\rho) $, where $\rho\ge1$, $\xi$ and $\eta$ are independent centered random variables. We write out similar sharp inequalities for symmetric random variables.


title: Spectroscopy and frequency measurement of the $^{87}$Sr clock transition by laser linewidth transfer using an optical frequency comb

abstract: We perform spectroscopic observations of the 698-nm clock transition in $^{87}$Sr confined in an optical lattice using a laser linewidth transfer technique. A narrow-linewidth laser interrogating the clock transition is prepared by transferring the linewidth of a master laser (1064 nm) to that of a slave laser (698 nm) with a high-speed controllable fiber-based frequency comb. The Fourier-limited spectrum is observed for an 80-ms interrogating pulse. We determine that the absolute frequency of the 5s$^{2}$ $^{1}$S$_{0}$ - 5s5p $^{3}$P$_{0}$ clock transition in $^{87}$Sr is 429 228 004 229 872.0 (1.6) Hz referenced to the SI second.


title: Measurement of the electron drift velocity for directional dark matter detectors

abstract: Three-dimensional track reconstruction is a key issue for directional Dark Matter detection. It requires a precise knowledge of the electron drift velocity. Magboltz simulations are known to give a good evaluation of this parameter. However, large TPC operated underground on long time scale may be characterized by an effective electron drift velocity that may differ from the value evaluated by simulation. In situ measurement of this key parameter is hence a way to avoid bias in the 3D track reconstruction. We present a dedicated method for the measurement of the electron drift velocity with the MIMAC detector. It is tested on two gas mixtures : $\rm CF_4$ and $\rm CF_4+CHF_3$. We also show that adding $\rm CHF_3$ allows us to lower the electron drift velocity while keeping almost the same Fluorine content of the gas mixture.


title: Quadrupole shape dynamics in view from a theory of large amplitude collective motion

abstract: Low-lying quadrupole shape dynamics is a typical manifestation of large amplitude collective motion in finite nuclei. To describe the dynamics on a microscopic foundation, we have formulated a consistent scheme in which the Bohr collective Hamiltonian for the five dimensional quadrupole shape variables is derived on the basis of the time-dependent Hartree-Fock-Bogoliubov theory. It enables us to incorporates the Thouless-Valatin effect on the shape inertial functions, which has been neglected in previous microscopic Bohr Hamiltonian approaches. Quantitative successes are illustrated for the low-lying spectra in $^{68}$Se, $^{30-34}$Mg and $^{58-64}$Cr, which display shape-coexistence, -mixing and -transitional behaviors.


title: Outage Probability of Dual-Hop Multiple Antenna AF Systems with Linear Processing in the Presence of Co-Channel Interference

abstract: This paper considers a dual-hop amplify-and-forward (AF) relaying system where the relay is equipped with multiple antennas, while the source and the destination are equipped with a single antenna. Assuming that the relay is subjected to co-channel interference (CCI) and additive white Gaussian noise (AWGN) while the destination is corrupted by AWGN only, we propose three heuristic relay precoding schemes to combat the CCI, namely, 1) Maximum ratio combining/maximal ratio transmission (MRC/MRT), 2) Zero-forcing/MRT (ZF/MRT), 3) Minimum mean-square error/MRT (MMSE/MRT). We derive new exact outage expressions as well as simple high signal-to-noise ratio (SNR) outage approximations for all three schemes. Our findings suggest that both the MRC/MRT and the MMSE/MRT schemes achieve a full diversity of N, while the ZF/MRT scheme achieves a diversity order of N-M, where N is the number of relay antennas and M is the number of interferers. In addition, we show that the MMSE/MRT scheme always achieves the best outage performance, and the ZF/MRT scheme outperforms the MRC/MRT scheme in the low SNR regime, while becomes inferior to the MRC/MRT scheme in the high SNR regime. Finally, in the large N regime, we show that both the ZF/MRT and MMSE/MRT schemes are capable of completely eliminating the CCI, while perfect interference cancelation is not possible with the MRC/MRT scheme.


title: Consistent theory for causal non-locality beyond Born's rule

abstract: According to the theory of relativity and causality, a special type of correlation beyond quantum mechanics is possible in principle under the name of {\it non-local box}. The concept has been introduced from the principle of non-locality which satisfies relativistic causality. In this paper, we show that a correlation leading to the non-local box is possible to be derived consistently if we release the one of major axioms in quantum mechanics, {\it Born's rule}. This allows us to obtain a theory which in one end of the spectrum agrees with the classical probability and in the other end, agrees with the theory of non-local causality. At the same time, we argue that the correlation lies in a space with special mathematical constraints such that a physical realization of the correlation through a probability measure is not possible in one direction of its limit and is possible in the other limit.


title: Optimized entropic uncertainty relation for successive measurement

abstract: In the history of quantum mechanics, various types of uncertainty relationships have been introduced to accommodate different operational meanings of Heisenberg uncertainty principle. We derive an optimized entropic uncertainty relation (EUR) that quantifies an amount of quantum uncertainty in the scenario of successive measurements. The EUR characterizes the limitation in the measurability of two different quantities of a quantum state when they are measured through successive measurements. We find that the bound quantifies the information between the two measurements and imposes a condition that is consistent with the recently-derived error-disturbance relationship.


title: Comparison of Analytical and Numerical Resolution Functions in Sputter Depth Profiling

abstract: Quantification of sputter depth profiles is frequently done by fitting the convolution integral over concentration and depth resolution function. For a thin delta layer, there exist analytical solutions. The analytical depth resolution functions of two popular approaches, that of the MRI model and that of Dowsett and coworkers are compared. It is concluded that the analytical depth resolution function of the MRI model gives the correct location of a buried delta layer with respect to the measured profile, and a clear description of the information depth in AES, XPS and SIMS. Both analytical solutions can be extended to larger layer thickness. But they are less flexible with respect to physical parameters which are not constant with concentration or sputtered depth, such as detection sensitivity, atomic mixing, roughness or preferential sputtering. For these cases, numerical solutions have to be used.


title: Topological analysis of integrable problems in the dynamics of a rigid body

abstract: The book contains the results obtained by the author in 1975-1982 and presents new constructive methods of the topological analysis of integrable systems having non-linear integrals in involution. The phase topology of the classical integrable cases of the rigid body dynamics is investigated including the cases of Euler-Zhukovsky, Goryachev-Chaplygin-Sretenski and Kovalevskaya. All types of bifurcations of two-dimensional tori in these problems are revealed.


title: Factor Graph Based LMMSE Filtering for Colored Gaussian Processes

abstract: We propose a low complexity, graph based linear minimum mean square error (LMMSE) filter in which the non-white characteristics of a random process are taken into account. Our method corresponds to block LMMSE filtering, and has the advantage of complexity linearly increasing with the block length and the ease of incorporating the a priori information of the input signals whenever possible. The proposed method can be used with any random process with a known autocorrelation function with the help of an approximation to an autoregressive (AR) process. We show through extensive simulations that our method performs very close to the optimal block LMMSE filtering for Gaussian input signals.


title: The Herschel Virgo Cluster Survey. XV. Planck submillimetre sources in the Virgo Cluster

abstract: We cross-correlate the Planck Catalogue of Compact Sources (PCCS) with the fully sampled 84 deg2 Herschel Virgo Cluster Survey (HeViCS) fields. We search for and identify the 857 and 545 GHz PCCS sources in the HeViCS fields by studying their FIR/submm and optical counterparts. We find 84 and 48 compact Planck sources in the HeViCS fields at 857 and 545 GHz, respectively. Almost all sources correspond to individual bright Virgo Cluster galaxies. The vast majority of the Planck detected galaxies are late-type spirals, with the Sc class dominating the numbers, while early-type galaxies are virtually absent from the sample, especially at 545 GHz. We compare the HeViCS SPIRE flux densities for the detected galaxies with the four different PCCS flux density estimators and find an excellent correlation with the aperture photometry flux densities, even at the highest flux density levels. We find only seven PCCS sources in the HeViCS fields without a nearby galaxy as obvious counterpart, and conclude that all of these are dominated by Galactic cirrus features or are spurious detections. No Planck sources in the HeViCS fields seem to be associated to high-redshift proto-clusters of dusty galaxies or strongly lensed submm sources. Finally, our study is the first empirical confirmation of the simulation-based estimated completeness of the PCCS, and provides a strong support of the internal PCCS validation procedure.


title: A novel protocol for linearization of the Poisson-Boltzmann equation

abstract: A new protocol for linearization of the Poisson-Boltzmann equation is proposed and the resultant electrostatic equation coincides formally with the Debye-Huckel equation, the solution of which is well known for many electrostatic problems. The protocol is examined on the example of electrostatically stabilized nano-bubbles and it is shown that stable nano-bubbles could be present in aqueous solutions of anionic surfactants near the critical temperature, if the surface potential is constant. At constant surface charge non nano-bubble could exist.


title: Stability for the lens rigidity problem

abstract: Let $g$ be a Riemannian metric for $\mathbf{R}^d$ ($d\geq 3$) which differs from the Euclidean metric only in a smooth and strictly convex bounded domain $M$. The lens rigidity problem is concerned with recovering the metric $g$ inside $M$ from the corresponding lens relation on the boundary $\partial M$. In this paper, the stability of the lens rigidity problem is investigated for metrics which are a priori close to a given non-trapping metric satisfying "strong fold-regular" condition. A metric $g$ is called strong fold-regular if for each point $x\in M$, there exists a set of geodesics passing through $x$ whose conormal bundle covers $T^*_{x}M$. Moreover, these geodesics contain either no conjugate points or only fold conjugate points with a non-degeneracy condition. Examples of strong fold-regular metrics are constructed and are expected to be generic. Our main result gives the first stability result for the lens rigidity problem in the case of anisotropic metrics which allow conjugate points. The approach is based on the study of the linearized inverse problem of recovering a metric from its induced geodesic flow, which is a weighted geodesic X-ray transform problem for symmetric 2-tensor fields. A key ingredient is to show that the kernel of the X-ray transform on symmetric solenoidal 2-tensor fields is of finite dimension. It remains open whether the kernel space is trivial or not.


title: Gradient entropy estimate and convergence of a semi-explicit scheme for diagonal hyperbolic systems

abstract: In this paper, we consider diagonal hyperbolic systems with monotone continuous initial data. We propose a natural semi-explicit and upwind first order scheme. Under a certain non-negativity condition on the Jacobian matrix of the velocities of the system, there is a gradient entropy estimate for the hyperbolic system. We show that our scheme enjoys a similar gradient entropy estimate at the discrete level. This property allows us to prove the convergence of the scheme.


title: Mean-field approximation for the chiral soliton in a chiral phase transition

abstract: In the mean-field approximation we study the chiral soliton within the linear sigma model in a thermal vacuum. The chiral soliton equations with different boundary conditions are solved at finite temperatures and densities. The solitons are discussed before and after the chiral restoration. We find that the system has soliton solutions even after the chiral restoration and they are very different from those before the chiral restoration, which indicates that the quarks are still bounded after the chiral restoration.


title: On Using Control Variates with Stochastic Approximation for Variational Bayes and its Connection to Stochastic Linear Regression

abstract: Recently, we and several other authors have written about the possibilities of using stochastic approximation techniques for fitting variational approximations to intractable Bayesian posterior distributions. Naive implementations of stochastic approximation suffer from high variance in this setting. Several authors have therefore suggested using control variates to reduce this variance, while we have taken a different but analogous approach to reducing the variance which we call stochastic linear regression. In this note we take the former perspective and derive the ideal set of control variates for stochastic approximation variational Bayes under a certain set of assumptions. We then show that using these control variates is closely related to using the stochastic linear regression approximation technique we proposed earlier. A simple example shows that our method for constructing control variates leads to stochastic estimators with much lower variance compared to other approaches.


title: Constraint on reheating after f(R) inflation from gravitational waves

abstract: Recently, a combined model of the primordial inflation and the present cosmic acceleration has been proposed in the context of f(R) gravity. This model is composed of the late-time acceleration term and an R2 term, which enables the model to avoid high curvature singularity and describe a quasi-de Sitter inflationary phase in the early Universe. An interesting feature of this model is that the reheating dynamics after the inflation is significantly modified, in contrast to the original R2 model, and affects the shape of a gravitational wave background (GWB) spectrum. Here we investigate the production of a GWB during the inflation and reheating eras in the R2-corrected f(R) model and compute a GWB spectrum. We found that interesting region of the model parameters has already been excluded by the cosmological limit on abundance of GWs.


title: Solver Scheduling via Answer Set Programming

abstract: Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances and is known to depend strongly on algorithm parameters. This problem was addressed by means of a simple, yet effective approach using handmade, uniform and unordered schedules of multiple solvers in ppfolio, which showed very impressive performance in the 2011 SAT Competition. Inspired by this, we take advantage of the modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that is, non-uniform and ordered solver schedules from existing benchmarking data. We begin by formulating the determination of such schedules as multi-criteria optimization problems and provide corresponding ASP encodings. The resulting encodings are easily customizable for different settings and the computation of optimum schedules can mostly be done in the blink of an eye, even when dealing with large runtime data sets stemming from many solvers on hundreds to thousands of instances. Also, the fact that our approach can be customized easily enabled us to swiftly adapt it to generate parallel schedules for multi-processor machines.


title: Amplitude `Higgs' mode in 2H-NbSe2 Superconductor

abstract: We report experimental evidences for the observation of the superconducting amplitude mode, so-called `Higgs' mode in the charge density wave superconductor 2H-NbSe2 using Raman scattering. By comparing 2H-NbSe2 and its iso-structural partner 2H-NbS2 which shows superconductivity but lacks the charge density wave order, we demonstrate that the superconducting mode in 2H-NbSe2 owes its spectral weight to the presence of the coexisting charge density wave order. In addition, temperature dependent measurements in 2H-NbSe2 show a full spectral weight transfer from the charge density wave mode to the superconducting mode upon entering the superconducting phase. Both observations are fully consistent with a superconducting amplitude mode or Higgs mode.


title: A nonstandard empirical likelihood for time series

abstract: Standard blockwise empirical likelihood (BEL) for stationary, weakly dependent time series requires specifying a fixed block length as a tuning parameter for setting confidence regions. This aspect can be difficult and impacts coverage accuracy. As an alternative, this paper proposes a new version of BEL based on a simple, though nonstandard, data-blocking rule which uses a data block of every possible length. Consequently, the method does not involve the usual block selection issues and is also anticipated to exhibit better coverage performance. Its nonstandard blocking scheme, however, induces nonstandard asymptotics and requires a significantly different development compared to standard BEL. We establish the large-sample distribution of log-ratio statistics from the new BEL method for calibrating confidence regions for mean or smooth function parameters of time series. This limit law is not the usual chi-square one, but is distribution-free and can be reproduced through straightforward simulations. Numerical studies indicate that the proposed method generally exhibits better coverage accuracy than standard BEL.


title: Edge states of a three-dimensional topological insulator

abstract: We use the bulk Hamiltonian for a three-dimensional topological insulator such as $\rm Bi_2 Se_3$ to study the states which appear on its various surfaces and along the edge between two surfaces. We use both analytical methods based on the surface Hamiltonians (which are derived from the bulk Hamiltonian) and numerical methods based on a lattice discretization of the bulk Hamiltonian. We find that the application of a potential along an edge can give rise to states localized at that edge. These states have an unusual energy-momentum dispersion which can be controlled by applying a potential along the edge; in particular, the velocity of these states can be tuned to zero. The scattering across the edge is studied as a function of the edge potential. We show that a magnetic field in a particular direction can also give rise to zero energy states on certain edges. We point out possible experimental ways of looking for the various edge states.


title: Perturbative QCD study of $B_s$ decays to a pseudoscalar meson and a tensor meson

abstract: We study two-body hadronic $B_s\to PT$ decays, with $P (T)$ being a light pseudoscalar (tensor) meson, in the perturbative QCD approach. The CP-averaged branching ratios and the direct CP asymmetries of the $\Delta S=0$ modes are predicted, where $\Delta S$ is the difference between the strange numbers of final and initial states. We also define and calculate experimental observables for the $\Delta S=1$ modes under the $B_s^0-\bar{B}_s^0$ mixing, including CP averaged branching ratios, time-integrated CP asymmetries, and the CP observables $C_{f}$, $D_{f}$ and $S_{f}$. Results are compared to the $B_s\to PV$ ones in the literature, and to the $B\to PT$ ones, which indicate considerable U-spin symmetry breaking. Our work provides theoretical predictions for the $B_s\to PT$ decays for the first time, some of which will be potentially measurable at future experiments.


title: Relative (generalized) differential cohomology

abstract: Let h be a rationally even cohomology theory and h^ the natural differential refinement, as defined by Hopkins and Singer. We consider the possible definitions of the relative differential cohomology groups, generalizing the analogous picture for the Deligne cohomology, and we show the corresponding long exact sequence in each case.


title: Polarimetry-based analysis of dipolar transitions of single colloidal CdSe/CdS dot-in-rods

abstract: We prove experimentally, upon polarization analysis performed on a large statistic of single nanoemitters, that high quality core/shell CdSe/CdS dot-in-rods behave as linear dipoles. Moreover, the dipole in-plane and out-of-plane orientations could be assessed. We demonstrate in particular that, contrary to expectations, the emitting dipole is not aligned with the elongated axis of the dot-in-rod. Besides, the polarimetric measurements prove that the excitation transition cannot be approximated by a single linear dipole, contrary to the emission transition. Finally, we highlight that non-radiative channels of charge carrier recombination do not affect the dipolar nature of the radiative transitions.


title: Constraint Solvers for User Interface Layout

abstract: Constraints have played an important role in the construction of GUIs, where they are mainly used to define the layout of the widgets. Resizing behavior is very important in GUIs because areas have domain specific parameters such as form the resizing of windows. If linear objective function is used and window is resized then error is not distributed equally. To distribute the error equally, a quadratic objective function is introduced. Different algorithms are widely used for solving linear constraints and quadratic problems in a variety of different scientific areas. The linear relxation, Kaczmarz, direct and linear programming methods are common methods for solving linear constraints for GUI layout. The interior point and active set methods are most commonly used techniques to solve quadratic programming problems. Current constraint solvers designed for GUI layout do not use interior point methods for solving a quadratic objective function subject to linear equality and inequality constraints. In this paper, performance aspects and the convergence speed of interior point and active set methods are compared along with one most commonly used linear programming method when they are implemented for graphical user interface layout. The performance and convergence of the proposed algorithms are evaluated empirically using randomly generated UI layout specifications of various sizes. The results show that the interior point algorithms perform significantly better than the Simplex method and QOCA-solver, which uses the active set method implementation for solving quadratic optimization.


title: Opinion Formation and the Collective Dynamics of Risk Perception

abstract: The formation of collective opinion is a complex phenomenon that results from the combined effects of mass media exposure and social influence between individuals. The present work introduces a model of opinion formation specifically designed to address risk judgments, such as attitudes towards climate change, terrorist threats, or children vaccination. The model assumes that people collect risk information from the media environment and exchange them locally with other individuals. Even though individuals are initially exposed to the same sample of information, the model predicts the emergence of opinion polarization and clustering. In particular, numerical simulations highlight two crucial factors that determine the collective outcome: the propensity of individuals to search for independent information, and the strength of social influence. This work provides a quantitative framework to anticipate and manage how the public responds to a given risk, and could help understanding the systemic amplification of fears and worries, or the underestimation of real dangers.


title: Ising anyons with a string tension

abstract: We consider the string-net model on the honeycomb lattice for Ising anyons in the presence of a string tension. This competing term induces a nontrivial dynamics of the non-Abelian anyonic quasiparticles and may lead to a breakdown of the topological phase. Using high-order series expansions and exact diagonalizations, we determine the robustness of this doubled Ising phase which is found to be separated from two gapped phases. An effective quantum dimer model emerges in the large tension limit giving rise to two different translation symmetry-broken phases. Consequently, we obtain four transition points, two of which are associated with first-order transitions whereas the two others are found to be continuous and provide examples of recently proposed Bose condensation for anyons.


title: Recurrence for vertex-reinforced random walks on Z with weak reinforcements

abstract: We prove that any vertex-reinforced random walk on the integer lattice with non-decreasing reinforcement sequence $w$ satisfying $w(k) = o(k^{\alpha})$ for some $\alpha < 1/2$ is recurrent. This improves on previous results of Volkov (2006) and Schapira (2012).