title: Bayesian Optimization for Synthetic Gene Design

abstract: We address the problem of synthetic gene design using Bayesian optimization. The main issue when designing a gene is that the design space is defined in terms of long strings of characters of different lengths, which renders the optimization intractable. We propose a three-step approach to deal with this issue. First, we use a Gaussian process model to emulate the behavior of the cell. As inputs of the model, we use a set of biologically meaningful gene features, which allows us to define optimal gene designs rules. Based on the model outputs we define a multi-task acquisition function to optimize simultaneously severals aspects of interest. Finally, we define an evaluation function, which allow us to rank sets of candidate gene sequences that are coherent with the optimal design strategy. We illustrate the performance of this approach in a real gene design experiment with mammalian cells.


title: Suppression of excess oxygen for environmentally stable amorphous In-Si-O thin-film transistors

abstract: We discuss the environmental instability of amorphous indium oxide (InOx)-based thin-film transistors (TFTs) in terms of the excess oxygen in the semiconductor films. A comparison between amorphous InOx doped with low and high concentrations of oxygen binder (SiO2) showed that out-diffusion of oxygen molecules causes drastic changes in the film conductivity and TFT turn-on voltages. Incorporation of sufficient SiO2 could suppress fluctuations in excess oxygen because of the high oxygen bond-dissociation energy and low Gibbs free energy. Consequently, the TFT operation became rather stable. The results would be useful for the design of reliable oxide TFTs with stable electrical properties.


title: LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

abstract: LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically typed {\lambda}-calculus with nameless spine notation, explicit substitutions, and perfect term sharing) with an ambitious multi-agent blackboard architecture (supporting prover parallelism at the term, clause, and search level). Further features of LeoPARD include a parser for all TPTP dialects, a command line interpreter, and generic means for the integration of external reasoners.


title: Location-Quality-aware Policy Optimisation for Relay Selection in Mobile Networks

abstract: Relaying can improve the coverage and performance of wireless access networks. In presence of a localisation system at the mobile nodes, the use of such location estimates for relay node selection can be advantageous as such information can be collected by access points in linear effort with respect to number of mobile nodes (while the number of links grows quadratically). However, the localisation error and the chosen update rate of location information in conjunction with the mobility model affect the performance of such location-based relay schemes; these parameters also need to be taken into account in the design of optimal policies. This paper develops a Markov model that can capture the joint impact of localisation errors and inaccuracies of location information due to forwarding delays and mobility; the Markov model is used to develop algorithms to determine optimal location-based relay policies that take the aforementioned factors into account. The model is subsequently used to analyse the impact of deployment parameter choices on the performance of location-based relaying in WLAN scenarios with free-space propagation conditions and in an measurement-based indoor office scenario.


title: Data Fusion of Objects Using Techniques Such as Laser Scanning, Structured Light and Photogrammetry for Cultural Heritage Applications

abstract: In this paper we present a semi-automatic 2D-3D local registration pipeline capable of coloring 3D models obtained from 3D scanners by using uncalibrated images. The proposed pipeline exploits the Structure from Motion (SfM) technique in order to reconstruct a sparse representation of the 3D object and obtain the camera parameters from image feature matches. We then coarsely register the reconstructed 3D model to the scanned one through the Scale Iterative Closest Point (SICP) algorithm. SICP provides the global scale, rotation and translation parameters, using minimal manual user intervention. In the final processing stage, a local registration refinement algorithm optimizes the color projection of the aligned photos on the 3D object removing the blurring/ghosting artefacts introduced due to small inaccuracies during the registration. The proposed pipeline is capable of handling real world cases with a range of characteristics from objects with low level geometric features to complex ones.


title: Adaptive finite element method for elliptic optimal control problems: convergence and optimality

abstract: In this paper we consider the convergence analysis of adaptive finite element method for elliptic optimal control problems with pointwise control constraints. We use variational discretization concept to discretize the control variable and piecewise linear and continuous finite elements to approximate the state variable. Based on the well-established convergence theory of AFEM for elliptic boundary value problems, we rigorously prove the convergence and quasi-optimality of AFEM for optimal control problems with respect to the state and adjoint state variables, by using the so-called perturbation argument. Numerical experiments confirm our theoretical analysis.


title: Discovery of SiCSi in IRC+10216: A missing link between gas and dust carriers of SiC bonds

abstract: We report the discovery in space of a disilicon species, SiCSi, from observations between 80 and 350 GHz with the IRAM 30m radio telescope. Owing to the close coordination between laboratory experiments and astrophysics, 112 lines have now been detected in the carbon-rich star CWLeo. The derived frequencies yield improved rotational and centrifugal distortion constants up to sixth order. From the line profiles and interferometric maps with the Submillimeter Array, the bulk of the SiCSi emis- sion arises from a region of 6 arcseconds in radius. The derived abundance is comparable to that of SiC2. As expected from chemical equilibrium calculations, SiCSi and SiC2 are the most abundant species harboring a SiC bond in the dust formation zone and certainly both play a key role in the formation of SiC dust grains.


title: Activity Dynamics in Collaboration Networks

abstract: Many online collaboration networks struggle to gain user activity and become self-sustaining due to the ramp-up problem or dwindling activity within the system. Prominent examples include online encyclopedias such as (Semantic) MediaWikis, Question and Answering portals such as StackOverflow, and many others. Only a small fraction of these systems manage to reach self-sustaining activity, a level of activity that prevents the system from reverting to a non-active state. In this paper, we model and analyze activity dynamics in synthetic and empirical collaboration networks. Our approach is based on two opposing and well-studied principles: (i) without incentives, users tend to lose interest to contribute and thus, systems become inactive, and (ii) people are susceptible to actions taken by their peers (social or peer influence). With the activity dynamics model that we introduce in this paper we can represent typical situations of such collaboration networks. For example, activity in a collaborative network, without external impulses or investments, will vanish over time, eventually rendering the system inactive. However, by appropriately manipulating the activity dynamics and/or the underlying collaboration networks, we can jump-start a previously inactive system and advance it towards an active state. To be able to do so, we first describe our model and its underlying mechanisms. We then provide illustrative examples of empirical datasets and characterize the barrier that has to be breached by a system before it can become self-sustaining in terms of critical mass and activity dynamics. Additionally, we expand on this empirical illustration and introduce a new metric p---the Activity Momentum---to assess the activity robustness of collaboration networks.


title: Exceptional knot homology

abstract: The goal of this article is twofold. First, we find a natural home for the double affine Hecke algebras (DAHA) in the physics of BPS states. Second, we introduce new invariants of torus knots and links called "hyperpolynomials" that address the "problem of negative coefficients" often encountered in DAHA-based approaches to homological invariants of torus knots and links. Furthermore, from the physics of BPS states and the spectra of singularities associated with Landau-Ginzburg potentials, we also describe a rich structure of differentials that act on homological knot invariants for exceptional groups and uniquely determine the latter for torus knots.


title: Measurement of observables sensitive to coherence effects in hadronic Z decays with the OPAL detector at LEP

abstract: A study of QCD coherence is presented based on a sample of about 397000 $e^+e^-$ hadronic annihilation events collected at $\sqrt{s}=91$ GeV with the OPAL detector at LEP. The study is based on four recently proposed observables that are sensitive to coherence effects in the perturbative regime. The measurement of these observables is presented, along with a comparison with the predictions of different parton shower models. The models include both conventional parton shower models and dipole antenna models. Different ordering variables are used to investigate their influence on the predictions.


title: Characterizing Key Stakeholders in an Online Black-Hat Marketplace

abstract: Over the past few years, many black-hat marketplaces have emerged that facilitate access to reputation manipulation services such as fake Facebook likes, fraudulent search engine optimization (SEO), or bogus Amazon reviews. In order to deploy effective technical and legal countermeasures, it is important to understand how these black-hat marketplaces operate, shedding light on the services they offer, who is selling, who is buying, what are they buying, who is more successful, why are they successful, etc. Toward this goal, in this paper, we present a detailed micro-economic analysis of a popular online black-hat marketplace, namely, SEOClerks.com. As the site provides non-anonymized transaction information, we set to analyze selling and buying behavior of individual users, propose a strategy to identify key users, and study their tactics as compared to other (non-key) users. We find that key users: (1) are mostly located in Asian countries, (2) are focused more on selling black-hat SEO services, (3) tend to list more lower priced services, and (4) sometimes buy services from other sellers and then sell at higher prices. Finally, we discuss the implications of our analysis with respect to devising effective economic and legal intervention strategies against marketplace operators and key users.


title: Suppressing the non-Gaussian statistics of Renewable Power from Wind and Solar

abstract: The power from wind and solar exhibits a nonlinear flickering variability, which typically occurs at time scales of a few seconds. We show that high-frequency monitoring of such renewable powers enables us to detect a transition, controlled by the field size, where the output power qualitatively changes its behaviour from a flickering type to a diffusive stochastic behaviour. We find that the intermittency and strong non-Gaussian behavior in cumulative power of the total field, even for a country-wide installation still survives for both renewable sources. To overcome the short time intermittency, we introduce a time-delayed feedback method for power output of wind farm and solar field that can change further the underlying stochastic process and suppress their strong non- gaussian fluctuations.


title: Matter-wave interferometry: towards antimatter interferometers

abstract: Starting from an elementary model and refining it to take into account more realistic effects, we discuss the limitations and advantages of matter-wave interferometry in different configurations. We focus on the possibility to apply this approach to scenarios involving antimatter, such as positrons and positronium atoms. In particular, we investigate the Talbot-Lau interferometer with material gratings and discuss in details the results in view of the possible experimental verification.


title: The electronic structure and elastic property of monolayer and bilayer transition metal dichalcogenides MX$_2$ (M=Mo,W;X=O,S,Se,Te): A comparative first-principles study

abstract: First-principle calculations with different exchange-correlation functionals, including LDA, PBE and vdW-DF functional in form of optB88-vdW, have been performed to investigate the electronic and elastic properties of two dimensional transition metal dichalcogenides(TMDCs) with the formula of MX$_2$(M=Mo,W; X=O,S,Se,Te) in both monolayer and bilayer structures. The calculated band structures show a direct band gap for monolayer TMDCs at the K point except for MoO$_2$ and WO$_2$. When the monolayers are stacked into bilayer, the reduced indirect band gaps are found except for bilayer WTe$_2$, in which direct gap is still present at the K point. The calculated in-plane Young moduli are comparable to graphene, which promises the possible application of TMDCs in future flexible and stretchable electronic devices. We also evaluated the performance of different functionals including LDA, PBE, and optB88-vdW in describing elastic moduli of TMDCs and found that LDA seems to be the most qualified method. Moreover, our calculations suggest that the Young moduli for bilayers are insensitive to stacking orders and the mechanical coupling between monolayers seems to be negligible.


title: Generalized Baecklund-Darboux transformation: conservation laws, rational extensions and bispectrality

abstract: Baecklund-Darboux transformations are closely related to the integrability and symmetry problems. For the generalized Baecklund-Darboux transformation (GBDT), we consider conservation laws, rational extensions and bispectrality. We use the case of the nonlinear optics equation (and its auxiliary linear system) as an example.


title: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly

abstract: Epithelial spreading is a common and fundamental aspect of various developmental and disease-related processes such as epithelial closure and wound healing. A key challenge for epithelial tissues undergoing spreading is to increase their surface area without disrupting epithelial integrity. Here we show that orienting cell divisions by tension constitutes an efficient mechanism by which the Enveloping Cell Layer (EVL) releases anisotropic tension while undergoing spreading during zebrafish epiboly. The control of EVL cell-division orientation by tension involves cell elongation and requires myosin II activity to align the mitotic spindle with the main tension axis. We also found that in the absence of tension-oriented cell divisions and in the presence of increased tissue tension, EVL cells undergo ectopic fusions, suggesting that the reduction of tension anisotropy by oriented cell divisions is required to prevent EVL cells from fusing. We conclude that cell-division orientation by tension constitutes a key mechanism for limiting tension anisotropy and thus promoting tissue spreading during EVL epiboly.


title: Continuum percolation of polydisperse hyperspheres in infinite dimensions

abstract: We analyze the critical connectivity of systems of penetrable $d$-dimensional spheres having size distributions in terms of weighed random geometrical graphs, in which vertex coordinates correspond to random positions of the sphere centers and edges are formed between any two overlapping spheres. Edge weights naturally arise from the different radii of two overlapping spheres. For the case in which the spheres have bounded size distributions, we show that clusters of connected spheres are tree-like for $d\rightarrow \infty$ and they contain no closed loops. In this case, we find that the mean cluster size diverges at the percolation threshold density $\eta_c\rightarrow 2^{-d}$, independently of the particular size distribution. We also show that the mean number of overlaps for a particle at criticality $z_c$ is smaller than unity, while $z_c\rightarrow 1$ only for spheres with fixed radii. We explain these features by showing that in the large dimensionality limit the critical connectivity is dominated by the spheres with the largest size. Assuming that closed loops can be neglected also for unbounded radii distributions, we find that the asymptotic critical threshold for systems of spheres with radii following a lognormal distribution is no longer universal, and that it can be smaller than $2^{-d}$ for $d\rightarrow\infty$.


title: Critical metrics of the total scalar curvature functional on 4-manifolds

abstract: The purpose of this paper is to investigate the critical points of the total scalar curvature functional restricted to space of metrics with constant scalar curvature of unitary volume, for simplicity CPE metrics. It was conjectured in $1980$'s that every CPE metric must be Einstein. We prove that a $4$-dimensional CPE metric with harmonic tensor $W^+$ must be isometric to a round sphere $\Bbb{S}^4.$


title: Infrared study of the spin reorientation transition and its reversal in the superconducting state in underdoped Ba$ _{1-x} $K$ _{x} $Fe$ _{2} $As$ _{2} $

abstract: With infrared spectroscopy we investigated the spin-reorientation transition from an orthorhombic antiferromagnetic (o-AF) to a tetragonal AF (t-AF) phase and the reentrance of the o-AF phase in the superconducting state of underdoped Ba$ _{1-x} $K$ _{x} $Fe$ _{2} $As$ _{2} $. In agreement with the predicted transition from a single-$\mathbf{Q}$ to a double-$\mathbf{Q}$ AF structure, we found that a distinct spin density wave (SDW) develops in the t-AF phase. The pair breaking peak of this SDW acquires much more low-energy spectral weight than the one in the o-AF state which indicates that it competes more strongly with superconductivity. We also observed additional phonon modes in the t-AF phase which likely arise from a Brillouin-zone folding that is induced by the double-$\mathbf{Q}$ magnetic structure with two Fe sublattices exhibiting different magnitudes of the magnetic moment.


title: A systematic study of carbon-oxygen white dwarf mergers: mass combinations for Type Ia supernovae

abstract: Mergers of two carbon-oxygen (CO) white dwarfs (WDs) have been considered as progenitors of Type Ia supernovae (SNe Ia). Based on smoothed particle hydrodynamics (SPH) simulations, previous studies claimed that mergers of CO WDs lead to an SN Ia explosion either in the dynamical merger phase or stationary rotating merger remnant phase. However, the mass range of CO WDs that lead to an SN Ia has not been clearly identified yet. In the present work, we perform systematic SPH merger simulations for the WD masses ranging from $0.5~M_{\odot}$ to $1.1~M_{\odot}$ with higher resolutions than the previous systematic surveys and examine whether or not carbon burning occurs dynamically or quiescently in each phase. We further study the possibility of SN Ia explosion and estimate the mass range of CO WDs that lead to an SN Ia. We found that when the both WDs are massive, i.e., in the mass range of $0.9~M_{\odot} {\le} M_{1,2} {\le} 1.1~M_{\odot}$, they can explode as an SN Ia in the merger phase. On the other hand, when the more massive WD is in the range of $0.7~M_{\odot} {\le} M_{1} {\le} 0.9~M_{\odot}$ and the total mass exceeds $1.38~M_{\odot}$, they can finally explode in the stationary rotating merger remnant phase. We estimate the contribution of CO WD mergers to the entire SN Ia rate in our galaxy to be of ${\lt} 9\%$. So, it might be difficult to explain all galactic SNe Ia by CO WD mergers.


title: High-energy interactions in Kinetic Inductance Detectors arrays

abstract: The impacts of Cosmic Rays on the detectors are a key problem for space-based missions. We are studying the effects of such interactions on arrays of Kinetic Inductance Detectors (KID), in order to adapt this technology for use on board of satellites. Before proposing a new technology such as the Kinetic Inductance Detectors for a space-based mission, the problem of the Cosmic Rays that hit the detectors during in-flight operation has to be studied in detail. We present here several tests carried out with KID exposed to radioactive sources, which we use to reproduce the physical interactions induced by primary Cosmic Rays, and we report the results obtained adopting different solutions in terms of substrate materials and array geometries. We conclude by outlining the main guidelines to follow for fabricating KID for space-based applications.


title: A study of HFO-1234ze (1,3,3,3-Tetrafluoropropene) as an eco-friendly replacement in RPC detectors

abstract: The operations of Resistive Plate Chambers in LHC experiments require F-based gases for optimal performance. Recent regulations demand the use of environmentally unfriendly F-based gases to be limited or banned. This report shows results of studies on performance of RPCs operated with a potential eco-friendly gas candidate 1,3,3,3-Tetrafluoropropene, commercially known as HFO-1234ze.


title: A Simple Way to Estimate the Soft X-ray Class of Far-Side Solar Flares Observed with STEREO/EUVI

abstract: Around the peaks of substantial flares, bright artifact nearly horizontal saturation streaks (B-streaks) corresponding to the brightest parts of the flare sources appear in the STEREO/EUVI 195 A images. We show that the length of such B-streaks can be used for the solution of an actual problem of evaluating the soft X-ray flux and class of far-side flares registered with double STEREO spacecraft but invisible from Earth. For this purpose from data on about 350 flares observed from January 2007 to July 2014 (mainly exceeding the GOES M1.0 level) both with GOES and STEREO, an empirical relation is established correlating the GOES 1-8 A peak flux and the B-streak length. This allowed us for the same years to estimate the soft X-ray classes for approximately 65 strong far-side flares observed by STEREO. The results of this simple and prompt method are consistent with the estimations of Nitta et al. (Solar Phys., 288, 241, 2013) based on the calculations of the EUVI full-disk digital number output. In addition, we studied some features of the B-streaks in impulsive and long-duration flares and demonstrated that B-streaks in several consecutive EUVI images can be used to reconstruct a probable time history of strong far-side flares.


title: A modified mean curvature flow in Euclidean space and soap bubbles in symmetric spaces

abstract: In this paper, we show that small spherical soap bubbles in irreducible simply connected symmetric spaces of rank greater than one are constructed from the limits of a certain kind of modified mean curvature flows starting from small spheres in the Euclidean space of dimension equal to the rank of the symmetric space, where we note that the small spherical soap bubbles are invariant under the isotropy subgroup action of the isometry group of the symmetric space. Furthermore, we investigate the shape and the mean curvature of the small spherical soap bubbles.


title: Local zeta regularization and the scalar Casimir effect III. The case with a background harmonic potential

abstract: Applying the general framework for local zeta regularization proposed in Part I of this series of papers, we renormalize the vacuum expectation value of the stress-energy tensor (and of the total energy) for a scalar field in presence of an external harmonic potential.


title: Volume-preserving mean curvature flow for tubes in symmetric spaces

abstract: In this paper, we investigate the volume-prserving mean curvature flow starting from a tube (of nonconstant radius) over a compact closed domain of a reflective submanifold in a symmetric space. We prove that the tubeness is preserved along the flow under certain conditions.


title: Potential and Sobolev Spaces Related to Symmetrized Jacobi Expansions

abstract: We apply a symmetrization procedure to the setting of Jacobi expansions and study potential spaces in the resulting situation. We prove that the potential spaces of integer orders are isomorphic to suitably defined Sobolev spaces. Among further results, we obtain a fractional square function characterization, structural theorems and Sobolev type embedding theorems for these potential spaces.


title: Search for the decay $B_s^0 \to \overline{D}^{0} f_{0}(980)$

abstract: A search for $B_s^0 \to \overline{D}^{0} f_{0}(980)$ decays is performed using $3.0\, {\rm fb}^{-1}$ of $pp$ collision data recorded by the LHCb experiment during 2011 and 2012. The $f_{0}(980)$ meson is reconstructed through its decay to the $\pi^{+}\pi^{-}$ final state in the mass window $900\, {\rm MeV}/c^{2} < m(\pi^{+}\pi^{-}) < 1080\, {\rm MeV}/c^{2}$. No significant signal is observed. The first upper limits on the branching fraction of $\mathcal{B}(B_s^0 \to \overline{D}^{0} f_{0}(980)) < 3.1\,(3.4) \times 10^{-6}$ are set at $90\,\%$ ($95\,\%$) confidence level.


title: Coupled SU(3)-structures and Supersymmetry

abstract: We review coupled ${\rm SU}(3)$-structures, also known in the literature as restricted half-flat structures, in relation to supersymmetry. In particular, we study special classes of examples admitting such structures and the behaviour of flows of ${\rm SU}(3)$-structures with respect to the coupled condition.


title: Spin and charge density waves in the Lieb lattice

abstract: We study the mean-field phase diagram of the two-dimensional (2D) Hubbard model in the Lieb lattice allowing for spin and charge density waves. Previous studies of this diagram have shown that the mean-field magnetization surprisingly deviates from the value predicted by Lieb's theorem \cite{Lieb1989} as the on-site repulsive Coulomb interaction ($U$) becomes smaller \cite{Gouveia2015}. Here, we show that in order for Lieb's theorem to be satisfied, a more complex mean-field approach should be followed in the case of bipartite lattices or other lattices whose unit cells contain more than two types of atoms. In the case of the Lieb lattice, we show that, by allowing the system to modulate the magnetization and charge density between sublattices, the difference in the absolute values of the magnetization of the sublattices, $m_{\text{Lieb}}$, at half-filling, saturates at the exact value $1/2$ for any value of $U$, as predicted by Lieb. Additionally, Lieb's relation, $m_{\text{Lieb}}=1/2$, is verified approximately for large $U$, in the $n \in [2/3,4/3]$ range. This range includes not only the ferromagnetic region of the phase diagram of the Lieb lattice (see Ref.~\onlinecite{Gouveia2015}), but also the adjacent spiral regions. In fact, in this lattice, below or at half-filling, $m_{\text{Lieb}}$ is simply the filling of the quasi-flat bands in the mean-field energy dispersion both for large and small $U$.


title: Difference equations for graded characters from quantum cluster algebra

abstract: We introduce a new set of $q$-difference operators acting as raising operators on a family of symmetric polynomials which are characters of graded tensor products of current algebra ${\mathfrak g}[u]$ KR-modules \cite{FL} for ${\mathfrak g}=A_r$. These operators are generalizations of the Kirillov-Noumi \cite{kinoum} Macdonald raising operators, in the dual $q$-Whittaker limit $t\to\infty$. They form a representation of the quantum $Q$-system of type $A$ \cite{qKR}. This system is a subalgebra of a quantum cluster algebra, and is also a discrete integrable system whose conserved quantities, analogous to the Casimirs of $U_q({\mathfrak sl}_{r+1})$, act as difference operators on the above family of symmetric polynomials. The characters in the special case of products of fundamental modules are class I $q$-Whittaker functions, or characters of level-1 Demazure modules or Weyl modules. The action of the conserved quantities on these characters gives the difference quantum Toda equations \cite{Etingof}. We obtain a generalization of the latter for arbitrary tensor products of KR-modules.


title: A Survey of Predictive Modelling under Imbalanced Distributions

abstract: Many real world data mining applications involve obtaining predictive models using data sets with strongly imbalanced distributions of the target variable. Frequently, the least common values of this target variable are associated with events that are highly relevant for end users (e.g. fraud detection, unusual returns on stock markets, anticipation of catastrophes, etc.). Moreover, the events may have different costs and benefits, which when associated with the rarity of some of them on the available training data creates serious problems to predictive modelling techniques. This paper presents a survey of existing techniques for handling these important applications of predictive analytics. Although most of the existing work addresses classification tasks (nominal target variables), we also describe methods designed to handle similar problems within regression tasks (numeric target variables). In this survey we discuss the main challenges raised by imbalanced distributions, describe the main approaches to these problems, propose a taxonomy of these methods and refer to some related problems within predictive modelling.


title: $A_\infty$ structure from the Berkovits formulation of open superstring field theory

abstract: By formulating open superstring field theory based on the small Hilbert space of the superconformal ghost sector, an action for the Neveu-Schwarz sector with an $A_\infty$ structure has recently been constructed. We transform this action to the Wess-Zumino-Witten-like form and show that this theory is related to the Berkovits formulation of open superstring field theory based on the large Hilbert space by partial gauge fixing and field redefinition.


title: Expected Supremum Representation and Optimal Stopping

abstract: We consider the representation of the value of an optimal stopping problem of a linear diffusion as an expected supremum of a known function. We establish an explicit integral representation of this function by utilizing the explicitly known joint probability distribution of the extremal processes. We also delineate circumstances under which the value of a stopping problem induces directly this representation and show how it is connected with the monotonicity of the generator. We compare our findings with existing literature and show, for example, how our representation is linked to the smooth fit principle and how it coincides with the optimal stopping signal representation. The intricacies of the developed integral representation are explicitly illustrated in various examples arising in financial applications of optimal stopping.


title: Computer modelling of hafnium doping in lithium niobate

abstract: Lithium niobate, LiNbO3, is an important technological material with good electro-optic, acousto-optic, elasto-optic, piezoelectric and nonlinear properties. Doping LiNbO3 with hafnium, Hf has been shown to improve the resistance of the material to optical damage. Computer modelling provides a useful means of determining the properties of doped and undoped LiNbO3, including its defect chemistry, and the effect of doping on the structure. In this paper, Hf doped LiNbO3 has been modelled, and the final defect configurations are found to be consistent with experimental results.


title: A Formalisation of Finite Automata using Hereditarily Finite Sets

abstract: Hereditarily finite (HF) set theory provides a standard universe of sets, but with no infinite sets. Its utility is demonstrated through a formalisation of the theory of regular languages and finite automata, including the Myhill-Nerode theorem and Brzozowski's minimisation algorithm. The states of an automaton are HF sets, possibly constructed by product, sum, powerset and similar operations.


title: The Scenery Flow for Self-Affine Measures

abstract: We describe the scaling scenery associated to Bernoulli measures supported on separated self-affine sets under the condition that certain projections of the measure are absolutely continuous.


title: Noise Based Detection and Segmentation of Nebulous Objects

abstract: A noise-based non-parametric technique for detecting nebulous objects, for example, irregular or clumpy galaxies, and their structure in noise is introduced. "Noise-based" and "non-parametric" imply that this technique imposes negligible constraints on the properties of the targets and that it employs no regression analysis or fittings. The sub-sky detection threshold is defined and initial detections are found, independently of the sky value. False detections are then estimated and removed using the ambient noise as a reference. This results in a purity level of 0.89 for the final detections as compared to 0.29 for SExtractor when a completeness of 1 is desired for a sample of extremely faint and diffuse mock galaxy profiles. The difference in the mean of the undetected pixels with the known background of mock images is decreased by 4.6 times depending on the diffuseness of the test profiles, quantifying the success in their detection. A non-parametric approach to defining substructure over a detected region is also introduced. NoiseChisel is our software implementation of this new technique. Contrary to the existing signal-based approach to detection, in its various implementations, signal-related parameters such as the image point spread function or known object shapes and models are irrelevant here. Such features make this technique very useful in astrophysical applications such as detection, photometry, or morphological analysis of nebulous objects buried in noise, for example, galaxies that do not generically have a known shape when imaged.


title: Dirichlet Process Hidden Markov Multiple Change-point Model

abstract: This paper proposes a new Bayesian multiple change-point model which is based on the hidden Markov approach. The Dirichlet process hidden Markov model does not require the specification of the number of change-points a priori. Hence our model is robust to model specification in contrast to the fully parametric Bayesian model. We propose a general Markov chain Monte Carlo algorithm which only needs to sample the states around change-points. Simulations for a normal mean-shift model with known and unknown variance demonstrate advantages of our approach. Two applications, namely the coal-mining disaster data and the real United States Gross Domestic Product growth, are provided. We detect a single change-point for both the disaster data and US GDP growth. All the change-point locations and posterior inferences of the two applications are in line with existing methods.


title: Generic model for tunable colloidal aggregation in multidirectional fields

abstract: Based on Brownian Dynamics computer simulations in two dimensions we investigate aggregation scenarios of colloidal particles with directional interactions induced by multiple external fields. To this end we propose a model which allows continuous change in the particle interactions from point-dipole-like to patchy-like (with four patches). We show that, as a result of this change, the non-equilibrium aggregation occurring at low densities and temperatures transforms from conventional diffusion-limited cluster aggregation (DLCA) to slippery DLCA involving rotating bonds; this is accompanied by a pronounced change of the underlying lattice structure of the aggregates from square-like to hexagonal ordering. Increasing the temperature we find a transformation to a fluid phase, consistent with results of a simple mean-field density functional theory.


title: Instability of Equilibria for the 2D Euler Equations on the torus

abstract: We consider the hydrodynamics of an incompressible fluid on a 2D periodic domain. There exists a family of stationary solutions with vorticity given by $\Omega^*=\alpha\cos (\mathbf{p} \cdot \mathbf{x} )+\beta \sin (\mathbf{p} \cdot \mathbf{x} )$. This situation can be approximated as a structure preserving finite dimensional Hamiltonian system by a truncation introduced by Zeitlin (1990,2005) or by the more standard Galerkin style finite element method. We use these two truncations to analyse the linear stability of these solutions and analytical and numerical results are compared. Following the methods used by Li (2000) the problem is divided into subsystems and we prove that most subsystems are linearly stable. We derive a sufficient condition for a subsystem to be linearly unstable and derive an explicit lower bound for the associated real eigenvalues independent of the truncation size $N$. Then we show that the corresponding eigenvectors are in $\ell^2$. This together with known stability results for the 2D periodic Euler equations allows us to conclude that most of these stationary solutions are nonlinearly unstable. We confirm our results with a numerical computation of the spectrum for a large, finite truncation. Finally we discuss the essential spectrum of the full problem as the limit of the truncated problem.


title: Multi-Target Tracking in Distributed Sensor Networks using Particle PHD Filters

abstract: Multi-target tracking is an important problem in civilian and military applications. This paper investigates multi-target tracking in distributed sensor networks. Data association, which arises particularly in multi-object scenarios, can be tackled by various solutions. We consider sequential Monte Carlo implementations of the Probability Hypothesis Density (PHD) filter based on random finite sets. This approach circumvents the data association issue by jointly estimating all targets in the region of interest. To this end, we develop the Diffusion Particle PHD Filter (D-PPHDF) as well as a centralized version, called the Multi-Sensor Particle PHD Filter (MS-PPHDF). Their performance is evaluated in terms of the Optimal Subpattern Assignment (OSPA) metric, benchmarked against a distributed extension of the Posterior Cram\'er-Rao Lower Bound (PCRLB), and compared to the performance of an existing distributed PHD Particle Filter. Furthermore, the robustness of the proposed tracking algorithms against outliers and their performance with respect to different amounts of clutter is investigated.


title: When coproducts are biproducts

abstract: Among right-closed monoidal categories with finite coproducts, we characterise those with finite biproducts as being precisely those in which the initial object and the coproduct of the unit with itself admit right duals. This generalises Houston's result that any compact closed category with finite coproducts admits biproducts.


title: On the Radius in Cayley-Dickson Algebras

abstract: In the first two sections of this paper we provide a brief account of the Cayley-Dickson algebras and prove that the radius on these algebras is given by the Euclidean norm. With this observation we resort to three related topics: a variant of the Gelfand formula, stability of subnorms, and the functional power equation.


title: Instanton theory for bosons in disordered speckle potential

abstract: We study the tail of the spectrum for non-interacting bosons in a blue-detuned random speckle potential. Using an instanton approach we derive the asymptotic behavior of the density of states in d dimensions. The leading corrections resulting from fluctuations around the saddle point solution are obtained by means of the Gel'fand-Yaglom method generalized to functional determinants with zero modes. We find a good agreement with the results of numerical simulations in one dimension. The effect of weak repulsive interactions in the Lifshitz tail is also discussed.


title: Currents induced by magnetic impurities in superconductors with spin-orbit coupling

abstract: We show that superconducting currents are generated around magnetic impurities and ferromagnetic islands proximity-coupled to superconductors with finite spin-orbit coupling. Using the Ginzburg-Landau theory, T-matrix calculation, as well as self-consistent numerical simulation on a lattice, we find a strong dependence of the current on the direction and magnitude of the magnetic moment. We establish that in the case of point magnetic impurities, the current is carried by the induced Yu-Shiba-Rusinov (YSR) subgap states. In the vicinity of the phase transition, where the YSR states cross at zero energy, the current increases dramatically. Furthermore, we show that the currents are orthogonal to the local spin polarization and, thus, can be probed by measuring the spin-polarized local density of states.


title: All-optical preparation of coherent dark states of a single rare earth ion spin in a crystal

abstract: All-optical addressing and control of single solid-state based qubits allows for scalable architectures of quantum devices such as quantum networks and quantum simulators. So far, all-optical addressing of qubits was demonstrated only for color centers in diamond and quantum dots. Here, we demonstrate generation of coherent dark state of a single rare earth ion in a solid, namely a cerium ion in yttrium aluminum garnet (YAG). The dark state was formed under the condition of coherent population trapping. Furthermore, high-resolution spectroscopic studies of native and implanted single Ce ions have been performed. They revealed narrow and spectrally stable optical transitions between the spin sublevels of the ground and excited optical states, indicating the feasibility of interfacing single photons with a single electron spin of a cerium ion.


title: Interaction driven phases in the half-filled honeycomb lattice: an infinite density matrix renormalization group study

abstract: The emergence of the Haldane Chern insulator state due to strong short range repulsive interactions in the half-filled fermionic spinless honeycomb lattice model has been proposed and challenged with different methods and yet it still remains controversial. In this work we revisit the problem using the infinite density matrix renormalization group method and report numerical evidence supporting i) the absence of the Chern insulator state, ii) two previously unnoticed charge ordered phases and iii) the existence and stability of all the non-topological competing orders that were found previously within mean field. In addition, we discuss the nature of the corresponding phase transitions based on our numerical data. Our work establishes the phase diagram of the half-filled honeycomb lattice model tilting the balance towards the absence of a Chern insulator phase for this model.


title: How to calculate quantum quench distributions with a weighted Wang-Landau Monte Carlo

abstract: We present here an extension of the Wang-Landau Monte Carlo method which allows us to get very accurate estimates of the full probability distributions of several observables after a quantum quench for large systems, whenever the relevant matrix elements are calculable, but the full exponential complexity of the Hilbert space would make an exhaustive enumeration impossible beyond very limited sizes. We apply this method to quenches of free-fermion models with disorder, further corroborating the fact that a generalized Gibbs ensemble fails to capture the long-time average of many-body operators when disorder is present.


title: Phase diagram of interacting spinless fermions on the honeycomb lattice: A comprehensive exact diagonalization study

abstract: We investigate the phase diagram of spinless fermions with nearest and next-nearest neighbour density-density interactions on the honeycomb lattice at half-filling. Using Exact Diagonalization techniques of the full Hamiltonian and constrained subspaces, combined with a careful choice of finite-size clusters, we determine the different charge orderings that occur for large interactions. In this regime we find a two-sublattice N\'eel-like state, a charge modulated state with a tripling of the unit cell, a zig-zag phase and a novel charge ordered states with a 12 site unit cells we call N\'eel domain wall crystal, as well as a region of phase separation for attractive interactions. A sizeable region of the phase diagram is classically degenerate, but it remains unclear whether an order-by-disorder mechanism will lift the degeneracy. For intermediate repulsion we find evidence for a Kekul\'e or plaquette bond-order wave phase. We also investigate the possibility of a spontaneous Chern insulator phase (dubbed topological Mott insulator), as previously put forward by several mean-field studies. Although we are unable to detect convincing evidence for this phase based on energy spectra and order parameters, we find an enhancement of current-current correlations with the expected spatial structure compared to the non-interacting situation. While for the studied $t{-}V_1{-}V_2$ model the phase transition to the putative topological Mott insulator is preempted by the phase transitions to the various ordered states, our findings might hint at the possibility for a topological Mott insulator in an enlarged Hamiltonian parameter space, where the competing phases are suppressed.


title: Quantitative measurement of density in a shear band of metallic glass monitored along its propagation direction

abstract: Quantitative density measurements from electron scattering show that shear bands in deformed Al_{88}Y_{7}Fe_{5} metallic glass exhibit alternating high and low density regions, ranging from -9 % to +6 % relative to the un-deformed matrix. Small deections of the shear band from the main propagation direction coincide with switches in density from higher to lower than the matrix and vice versa, indicating that faster and slower motion (stick-slip) occurs during the propagation. Nano-beam diffraction analyses provides clear evidence that the density changes are accompanied by structural changes suggesting that shear alters the packing of tightly-bound short- or medium-range atomic clusters. This bears a striking resemblance to the packing behavior in granular shear bands formed upon deformation of granular media.


title: Toric aspects of the first eigenvalue

abstract: In this paper we study the smallest non-zero eigenvalue $\lambda_1$ of the Laplacian on toric K\"ahler manifolds. We find an explicit upper bound for $\lambda_1$ in terms of moment polytope data. We show that this bound can only be attained for $\mathbb{CP}^n$ endowed with the Fubini-Study metric and therefore $\mathbb{CP}^n$ endowed with the Fubini-Study metric is spectrally determined among all toric K\"ahler metrics. We also study the equivariant counterpart of $\lambda_1$ which we denote by $\lambda_1^T$. It is the the smallest non-zero eigenvalue of the Laplacian restricted to torus-invariant functions. We prove that $\lambda_1^T$ is not bounded among toric K\"ahler metrics thus generalizing a result of Abreu-Freitas on $S^2$. In particular, $\lambda_1^T$ and $\lambda_1$ do not coincide in general.


title: Variational problems for Holderian functions with free terminal point

abstract: We develop the new variational calculus introduced in 2011 by J. Cresson and I. Greff, where the classical derivative is substituted by a new complex operator called the scale derivative. In this paper we consider several nondifferentiable variational problems with free terminal point: with and without constraints, of first and higher-order type.


title: Multipolar test body equations of motion in generalized gravity theories

abstract: We give an overview of the derivation of multipolar equations of motion of extended test bodies for a wide set of gravitational theories beyond the standard general relativistic framework. The classes of theories covered range from simple generalizations of General Relativity, e.g. encompassing additional scalar fields, to theories with additional geometrical structures which are needed for the description of microstructured matter. Our unified framework even allows to handle theories with nonminimal coupling to matter, and thereby for a systematic test of a very broad range of gravitational theories.


title: String Formation Beyond Leading Colour

abstract: We present a new model for the hadronisation of multi-parton systems, in which colour correlations beyond leading $N_C$ are allowed to influence the formation of confining potentials (strings). The multiplet structure of $SU(3)$ is combined with a minimisation of the string potential energy, to decide between which partons strings should form, allowing also for "baryonic" configurations (e.g., two colours can combine coherently to form an anticolour). In $e^+e^-$collisions, modifications to the leading-colour picture are small, suppressed by both colour and kinematics factors. But in $pp$ collisions, multi-parton interactions increase the number of possible subleading connections, counteracting their naive $1/N_C^2$ suppression. Moreover, those that reduce the overall string lengths are kinematically favoured. The model, which we have implemented in the PYTHIA 8 generator, is capable of reaching agreement not only with the important $\left<p_\perp\right>(n_\mathrm{charged})$ distribution but also with measured rates (and ratios) of kaons and hyperons, in both $ee$ and $pp$ collisions. Nonetheless, the shape of their $p_\perp$ spectra remains challenging to explain.


title: A First Class Boolean Sort in First-Order Theorem Proving and TPTP

abstract: To support reasoning about properties of programs operating with boolean values one needs theorem provers to be able to natively deal with the boolean sort. This way, program properties can be translated to first-order logic and theorem provers can be used to prove program properties efficiently. However, in the TPTP language, the input language of automated first-order theorem provers, the use of the boolean sort is limited compared to other sorts, thus hindering the use of first-order theorem provers in program analysis and verification. In this paper, we present an extension FOOL of many-sorted first-order logic, in which the boolean sort is treated as a first-class sort. Boolean terms are indistinguishable from formulas and can appear as arguments to functions. In addition, FOOL contains if-then-else and let-in constructs. We define the syntax and semantics of FOOL and its model-preserving translation to first-order logic. We also introduce a new technique of dealing with boolean sorts in superposition-based theorem provers. Finally, we discuss how the TPTP language can be changed to support FOOL.


title: Master equation based steady-state cluster perturbation theory

abstract: A simple and efficient approximation scheme to study electronic transport characteristics of strongly correlated nano devices, molecular junctions or heterostructures out of equilibrium is provided by steady-state cluster perturbation theory. In this work, we improve the starting point of this perturbative, nonequilibrium Green's function based method. Specifically, we employ an improved unperturbed (so-called reference) state $\hat{\rho}^S$, constructed as the steady-state of a quantum master equation within the Born-Markov approximation. This resulting hybrid method inherits beneficial aspects of both, the quantum master equation as well as the nonequilibrium Green's function technique. We benchmark the new scheme on two experimentally relevant systems in the single-electron transistor regime: An electron-electron interaction based quantum diode and a triple quantum dot ring junction, which both feature negative differential conductance. The results of the new method improve significantly with respect to the plain quantum maste equation treatment at modest additional computational cost.


title: A method for space-variant deblurring with application to adaptive optics imaging in astronomy

abstract: Images from adaptive optics systems are generally affected by significant distortions of the point spread function (PSF) across the field of view, depending on the position of natural and artificial guide stars. Image reduction techniques circumventing or mitigating these effects are important tools to take full advantage of the scientific information encoded in AO images. The aim of this paper is to propose a method for the deblurring of the astronomical image, given a set of samples of the space-variant PSF. The method is based on a partitioning of the image domain into regions of isoplanatism and on applying suitable deconvolution methods with boundary effects correction to each region. The effectiveness of the boundary effects correction is proved. Moreover, the criterion for extending the disjoint sections to partially overlapping sections is validated. The method is applied to simulated images of a stellar system characterized by a spatially variable PSF. We obtain good photometric quality, and therefore good science quality, by performing aperture photometry on the deblurred images. The proposed method is implemented in IDL in the Software Package "Patch", which is available on http://www.airyproject.eu.


title: Flat-band ferromagnetism in a topological Hubbard model

abstract: We study the flat-band ferromagnetic phase of a topological Hubbard model within a bosonization formalism and, in particular, determine the spin-wave excitation spectrum. We consider a square lattice Hubbard model at 1/4-filling whose free-electron term is the \pi-flux model with topologically nontrivial and nearly flat energy bands. The electron spin is introduced such that the model either explicitly breaks time-reversal symmetry (correlated flat-band Chern insulator) or is invariant under time-reversal symmetry (correlated flat-band $Z_2$ topological insulator). We generalize for flat-band Chern and topological insulators the bosonization formalism [Phys. Rev. B 71, 045339 (2005)] previously developed for the two-dimensional electron gas in a uniform and perpendicular magnetic field at filling factor \nu=1. We show that, within the bosonization scheme, the topological Hubbard model is mapped into an effective interacting boson model. We consider the boson model at the harmonic approximation and show that, for the correlated Chern insulator, the spin-wave excitation spectrum is gapless while, for the correlated topological insulator, gapped. We briefly comment on the possible effects of the boson-boson (spin-wave--spin-wave) coupling.


title: Unruh versus Tolman: On the heat of acceleration

abstract: It is shown that the Unruh effect, i.e. the increase in temperature indicated by a uniformly accelerated thermometer in an inertial vacuum state of a quantum field, cannot be interpreted as the result of an exchange of heat with a surrounding gas. Since the vacuum is spatially homogeneous in the accelerated system its temperature must be zero everywhere as a consequence of Tolman's law. In fact, the increase of temperature of accelerated thermometers is due to systematic quantum effects induced by the local coupling between the thermometer and the vacuum. This coupling inevitably creates excitations of the vacuum which transfer energy to the thermometer, gained by the acceleration, and thereby affect its readings. The temperature of the vacuum, however, remains to be zero for arbitrary accelerations.


title: Scaling It Up: Stochastic Search Structure Learning in Graphical Models

abstract: Gaussian concentration graph models and covariance graph models are two classes of graphical models that are useful for uncovering latent dependence structures among multivariate variables. In the Bayesian literature, graphs are often determined through the use of priors over the space of positive definite matrices with fixed zeros, but these methods present daunting computational burdens in large problems. Motivated by the superior computational efficiency of continuous shrinkage priors for regression analysis, we propose a new framework for structure learning that is based on continuous spike and slab priors and uses latent variables to identify graphs. We discuss model specification, computation, and inference for both concentration and covariance graph models. The new approach produces reliable estimates of graphs and efficiently handles problems with hundreds of variables.


title: Two distinct transitions in spatially embedded multiplex networks

abstract: Multilayer infrastructure is often interdependent, with nodes in one layer depending on nearby nodes in another layer to function. The links in each layer are often of limited length, due to the construction cost of longer links. Here, we model such systems as a multiplex network composed of two or more layers, each with links of characteristic geographic length, embedded in 2-dimensional space. This is equivalent to a system of interdependent spatially embedded networks in two dimensions in which the connectivity links are constrained in length but varied while the length of the dependency links is always zero. We find two distinct percolation transition behaviors depending on the characteristic length, $\zeta$, of the links. When $\zeta$ is longer than a certain critical value, $\zeta_c$, abrupt, first-order transitions take place, while for $\zeta<\zeta_c$ the transition is continuous. We show that, though in single-layer networks increasing $\zeta$ decreases the percolation threshold $p_c$, in multiplex networks it has the opposite effect: increasing $p_c$ to a maximum at $\zeta=\zeta_c$. By providing a more realistic topological model for spatially embedded interdependent and multiplex networks and highlighting its similarities to lattice-based models, we provide a new direction for more detailed future studies.


title: InAs nanowire transistors with multiple, independent wrap-gate segments

abstract: We report a method for making horizontal wrap-gate nanowire transistors with up to four independently controllable wrap-gated segments. While the step up to two independent wrap-gates requires a major change in fabrication methodology, a key advantage to this new approach, and the horizontal orientation more generally, is that achieving more than two wrap-gate segments then requires no extra fabrication steps. This is in contrast to the vertical orientation, where a significant subset of the fabrication steps needs to be repeated for each additional gate. We show that cross-talk between adjacent wrap-gate segments is negligible despite separations less than 200 nm. We also demonstrate the ability to make multiple wrap-gate transistors on a single nanowire using the exact same process. The excellent scalability potential of horizontal wrap-gate nanowire transistors makes them highly favourable for the development of advanced nanowire devices and possible integration with vertical wrap-gate nanowire transistors in 3D nanowire network architectures.


title: Casimir-Polder force for a polarizable molecule near a dielectric substrate out of thermal equilibrium

abstract: We demonstrate that the Casimir-Polder force for a molecule near the surface of a real dielectric substrate out of thermal equilibrium displays distinctive behaviors as compared to that at thermal equilibrium. In particular, when the molecule-substrate separation is much less than the molecular transition wave-length, the CP force in the high temperature limit can be dramatically manipulated by varying the relative magnitude of the temperatures of the substrate and the environment so that the attractive-to-repulsive transition can occur beyond certain a threshold temperature of either the substrate or the environment depending on which one is higher for molecules both in the ground and excited states. More remarkably, when the separation is comparable to the wave-length, such transitions which are impossible at thermal equilibrium may happen for longitudinally polarizable molecules with a small permittivity, while for isotropically polarizable ones the transitions can even occur at room temperature for some dielectric substrates such as sapphire and graphite which is much lower than the temperature for the transition to take place in the thermal equilibrium case, thus making the experimental demonstration of such force transitions easier.


title: Derivation of Stokes' Law from Kirkwood's Formula and the Green-Kubo Formula via Large Deviation Theory

abstract: We study the friction coefficient of a macroscopic sphere in a viscous fluid at low Reynolds number. First, Kirkwood's formula for the friction coefficient is reviewed on the basis of the Hamiltonian description of particle systems. According to this formula, the friction coefficient is expressed in terms of the stress correlation on the surface of the macroscopic sphere. Then, with the aid of large deviation theory, we relate the surface stress correlation to the stress correlation in the bulk of the fluid, where the latter is characterized by the viscosity in the Green-Kubo formula. By combining Kirkwood's formula and the Green-Kubo formula in large deviation theory, we derive Stokes' law without explicitly employing the hydrodynamic equations.


title: Rough flows

abstract: We introduce in this work a concept of rough driver that somehow provides a rough path-like analogue of an enriched object associated with time-dependent vector fields. We use the machinery of approximate flows to build the integration theory of rough drivers and prove well-posedness results for rough differential equations on flows and continuity of the solution flow as a function of the generating rough driver. We show that the theory of semi-martingale stochastic flows developed in the 80's and early 90's fits nicely in this framework, and obtain as a consequence some strong approximation results for general semimartingale flows and provide a fresh look at large deviation theorems for 'Gaussian' stochastic flows.


title: Geometry and supersymmetry of heterotic warped flux AdS backgrounds

abstract: We classify the geometries of the most general warped, flux AdS backgrounds of heterotic supergravity up to two loop order in sigma model perturbation theory. We show under some mild assumptions that there are no $AdS_n$ backgrounds with $n\not=3$. Moreover the warp factor of AdS$_3$ backgrounds is constant, the geometry is a product $AdS_3\times M^7$ and such solutions preserve, 2, 4, 6 and 8 supersymmetries. The geometry of $M^7$ has been specified in all cases. For 2 supersymmetries, it has been found that $M^7$ admits a suitably restricted $G_2$ structure. For 4 supersymmetries, $M^7$ has an $SU(3)$ structure and can be described locally as a circle fibration over a 6-dimensional KT manifold. For 6 and 8 supersymmetries, $M^7$ has an $SU(2)$ structure and can be described locally as a $S^3$ fibration over a 4-dimensional manifold which either has an anti-self dual Weyl tensor or a hyper-K\"ahler structure, respectively. We also demonstrate a new Lichnerowicz type theorem in the presence of $\alpha'$ corrections.


title: Divisibility patterns of natural numbers on a complex network

abstract: Investigation of divisibility properties of natural numbers is one of the most important themes in the theory of numbers. Various tools have been developed over the centuries to discover and study the various patterns in the sequence of natural numbers in the context of divisibility. In the present paper, we study the divisibility of natural numbers using the framework of a growing complex network. In particular, using tools from the field of statistical inference, we show that the network is scale-free but has a non-stationary degree distribution. Along with this, we report a new kind of similarity pattern for the local clustering, which we call "stretching similarity", in this network. We also show that the various characteristics like average degree, global clustering coefficient and assortativity coefficient of the network vary smoothly with the size of the network. Using analytical arguments we estimate the asymptotic behavior of global clustering and average degree which is validated using numerical analysis.


title: Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings

abstract: We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a framework which is inspired by the tropical and arctic type graphs of [5] and introduces a new variant of arithmetic type graphs. These type graphs can be used to assign weights to graphs and to show that these weights decrease in every rewriting step in order to prove termination. We present an example involving counters and discuss the implementation in the tool Grez.


title: Lowering-Raising triples and $U_q(\mathfrak{sl}_2)$

abstract: We introduce the notion of a lowering-raising (or LR) triple of linear transformations on a nonzero finite-dimensional vector space. We show how to normalize an LR triple, and classify up to isomorphism the normalized LR triples. We describe the LR triples using various maps, such as the reflectors, the inverters, the unipotent maps, and the rotators. We relate the LR triples to the equitable presentation of the quantum algebra $U_q(\mathfrak{sl}_2)$ and Lie algebra $\mathfrak{sl}_2$.


title: Finite type invariants of nullhomologous knots in 3-manifolds fibered over $S^1$ by counting graphs

abstract: We study finite type invariants of nullhomologous knots in a closed 3-manifold $M$ defined in terms of certain descending filtration $\{\mathscr{K}_n(M)\}_{n\geq 0}$ of the vector space $\mathscr{K}(M)$ spanned by isotopy classes of nullhomologous knots in $M$. The filtration $\{\mathscr{K}_n(M)\}_{n \geq 0}$ is defined by surgeries on special kinds of claspers in $M$ having one special leaf. More precisely, when $M$ is fibered over $S^1$ and $H_1(M)=\mathbb{Z}$, we study how far the natural surgery map from the space of $\mathbb{Q}[t^{\pm 1}]$-colored Jacobi diagrams on $S^1$ of degree $n$ to the graded quotient $\mathscr{K}_n(M)/\mathscr{K}_{n+1}(M)$ can be injective for $n\leq 2$. To do this, we construct a finite type invariant of nullhomologous knots in $M$ up to degree 2 that is an analogue of the invariant given in our previous paper arXiv:1503.08735, which is based on Lescop's construction of $\mathbb{Z}$-equivariant perturbative invariant of 3-manifolds.


title: On global existence and trend to the equilibrium for the Vlasov-Poisson-Fokker-Planck system with exterior confining potential

abstract: We prove a global existence result with initial data of low regularity, and prove the trend to the equilibrium for the Vlasov-Poisson-Fokker-Planck system with small non linear term but with a possibly large exterior confining potential in dimension $d=2$ and $d=3$. The proof relies on a fixed point argument using sharp estimates (at short and long time scales) of the semi-group associated to the Fokker-Planck operator, which were obtained by the first author.


title: Pekar's Ansatz and the Strong Coupling Problem in Polaron Theory

abstract: A detailed consideration is given to the translation-invariant theory of Tulub polaron constructed without the use of Pekar ansatz. A fundamental result of the theory is that the value of the polaron energy is lower than that obtained on the basis of Pekar ansatz which was considered as an asymptotically exact solution in the strong coupling limit. In the case of bipolarons the theory yields the best values of the coupling energy and critical parameters of their stability. Numerous physical consequences of the existence of translation-invariant polarons and bipolarons are discussed.


title: An Improvement on the Hasse-Weil Bound and applications to Character Sums, Cryptography and Coding

abstract: The Hasse-Weil bound is a deep result in mathematics and has found wide applications in mathematics, theoretical computer science, information theory etc. In general, the bound is tight and cannot be improved. However, for some special families of curves the bound could be improved substantially. In this paper, we focus on the Hasse-Weil bound for the curve defined by $y^p-y=f(x)$ over the finite field $\F_q$, where $p$ is the characteristic of $\F_q$. Recently, Kaufman and Lovett \cite[FOCS2011]{KL11} showed that the Hasse-Weil bound can be improved for this family of curves with $f(x)=g(x)+h(x)$, where $g(x)$ is a polynomial of degree $\ll \sqrt{q}$ and $h(x)$ is a sparse polynomial of arbitrary degree but bounded weight degree. The other recent improvement by Rojas-Leon and Wan \cite[Math. Ann. 2011]{RW11} shows that an extra $\sqrt{p}$ can be removed for this family of curves if $p$ is very large compared with polynomial degree of $f(x)$ and $\log_pq$. In this paper, we show that the Hasse-Weil bound for this special family of curves can be improved if $q=p^n$ with odd $n$ which is the same case where Serre \cite{Se85} improved the Hasse-Weil bound. However, our improvement is greater than Serre's one for this special family of curves. Furthermore, our improvement works for small $p$ as well compared with the requirement of large $p$ by Rojas-Leon and Wan. In addition, our improvement finds interesting applications to character sums, cryptography and coding theory. The key idea behind is that this curve has the Hasse-Witt invariant $0$ and we show that the Hasse-Weil bound can be improved for any curves with the Hasse-Witt invariant $0$. The main tool used in our proof involves Newton polygon and some results in algebraic geometry.


title: Cochain sequences and the Quillen category of a coclass family

abstract: We introduce the concept of an infinite cochain sequence and initiate a theory of homological algebra for them. We show how these sequences simplify and improve the construction of infinite coclass families (as introduced by Eick and Leedham-Green) and how they apply in proving that almost all groups in such a family have equivalent Quillen categories. We also include some examples of infinite families of p-groups from different coclass families that have equivalent Quillen categories.


title: Quantum ergodicity and quantum limits for sub-Riemannian Laplacians

abstract: This paper is a proceedings version of \cite{CHT-I}, in which we state a Quantum Ergodicity (QE) theorem on a 3D contact manifold, and in which we establish some properties of the Quantum Limits (QL). We consider a sub-Riemannian (sR) metric on a compact 3D manifold with an oriented contact distribution. There exists a privileged choice of the contact form, with an associated Reeb vector field and a canonical volume form that coincides with the Popp measure. We state a QE theorem for the eigenfunctions of any associated sR Laplacian, under the assumption that the Reeb flow is ergodic. The limit measure is given by the normalized canonical contact measure. To our knowledge, this is the first extension of the usual Schnirelman theorem to a hypoelliptic operator. We provide as well a decomposition result of QL's, which is valid without any ergodicity assumption. We explain the main steps of the proof, and we discuss possible extensions to other sR geometries.


title: Effective Field Theory of Emergent Symmetry Breaking in Deformed Atomic Nuclei

abstract: Spontaneous symmetry breaking in non-relativistic quantum systems has previously been addressed in the framework of effective field theory. Low-lying excitations are constructed from Nambu-Goldstone modes using symmetry arguments only. We extend that approach to finite systems. The approach is very general. To be specific, however, we consider atomic nuclei with intrinsically deformed ground states. The emergent symmetry breaking in such systems requires the introduction of additional degrees of freedom on top of the Nambu-Goldstone modes. Symmetry arguments suffice to construct the low-lying states of the system. In deformed nuclei these are vibrational modes each of which serves as band head of a rotational band.


title: Variations of Hodge structures for hypergeometric differential operators and parabolic Higgs bundles

abstract: Consider the holomorphic bundle with connection on $\mathbb P^1-\{0,1,\infty\}$ corresponding to the regular hypergeometric differential operator \[ \prod_{j=1}^h(D-\alpha_j)-z\prod_{j=1}^h(D-\beta_j), \qquad D=z\frac{d}{dz}. \] If the numbers $\alpha_i$ and $\beta_j$ are real and for all $i$ and $j$ the number $\alpha_i-\beta_j$ is not integer, then the bundle with connection is known to underlie a complex polarizable variation of Hodge structures. We calculate some Hodge invariants for this variation, in particular, the Hodge numbers. From this we derive a conjecture of Corti and Golyshev. We also use non-abelian Hodge theory to interpret our theorem as a statement about parabolic Higgs bundles.


title: Stratified wake of an accelerating hydrofoil

abstract: Wakes of towed and self-propelled bodies in stratified fluids are significantly different from non-stratified wakes. Long time effects of stratification on the development of the wakes of bluff bodies moving at constant speed are well known. In this experimental study we demonstrate how buoyancy affects the initial growth of vortices developing in the wake of a hydrofoil accelerating from rest. Particle image velocimetry measurements were applied to characterize the wake evolution behind a NACA 0015 hydrofoil accelerating in water and for low Reynolds number and relatively strong and stably stratified fluid (Re=5,000, Fr~O(1)). The analysis of velocity and vorticity fields, following vortex identification and an estimate of the circulation, reveal that the vortices in the stratified fluid case are stretched along the streamwise direction in the near wake. The momentum thickness profiles show lower momentum thickness values for the stratified late wake compared to the non-stratified wake, implying that the drag on an accelerating hydrofoil in a stratified medium is reduced at the acceleration stage. The findings may improve our ability to predict drag due to maneuvering of micro-air/watervehicles in stratified conditions.


title: Focusing by blocking: repeatedly generating central density peaks in self-propelled particle systems by exploiting diffusive processes

abstract: Over the past few years the displacement statistics of self-propelled particles has been intensely studied, revealing their long-time diffusive behavior. Here, we demonstrate that a concerted combination of boundary conditions and switching on and off the self-propelling drive can generate and afterwards arbitrarily often restore a non-stationary centered peak in their spatial distribution. This corresponds to a partial reversibility of their statistical behavior, in opposition to the above-mentioned long-time diffusive nature. Interestingly, it is a diffusive process that mediates and makes possible this procedure. It should be straightforward to verify our predictions in a real experimental system.


title: Coarse Reducibility and Algorithmic Randomness

abstract: A coarse description of a subset A of omega is a subset D of omega such that the symmetric difference of A and D has asymptotic density 0. We study the extent to which noncomputable information can be effectively recovered from all coarse descriptions of a given set A, especially when A is effectively random in some sense. We show that if A is 1-random and B is computable from every coarse description D of A, then B is K-trivial, which implies that if A is in fact weakly 2-random then B is computable. Our main tool is a kind of compactness theorem for cone-avoiding descriptions, which also allows us to prove the same result for 1-genericity in place of weak 2-randomness. In the other direction, we show that if A is a 1-random set which Turing-reduces to 0', then there is a noncomputable c.e. set computable from every coarse description of A, but that not all K-trivial sets are computable from every coarse description of some 1-random set. We study both uniform and nonuniform notions of coarse reducibility. A set Y is uniformly coarsely reducible to X if there is a Turing functional Phi such that if D is a coarse description of X, then Phi^D is a coarse description of Y. A set B is nonuniformly coarsely reducible to A if every coarse description of A computes a coarse description of B. We show that a certain natural embedding of the Turing degrees into the coarse degrees (both uniform and nonuniform) is not surjective. We also show that if two sets are mutually weakly 3-random, then their coarse degrees form a minimal pair, in both the uniform and nonuniform cases, but that the same is not true of every pair of relatively 2-random sets, at least in the nonuniform coarse degrees.


title: Non-intersecting Brownian bridges and the Laguerre Orthogonal Ensemble

abstract: We show that the squared maximal height of the top path among $N$ non-intersecting Brownian bridges starting and ending at the origin is distributed as the top eigenvalue of a random matrix drawn from the Laguerre Orthogonal Ensemble. This result can be thought of as a discrete version of K. Johansson's result that the supremum of the Airy$_2$ process minus a parabola has the Tracy-Widom GOE distribution, and as such it provides an explanation for how this distribution arises in models belonging to the KPZ universality class with flat initial data. The result can be recast in terms of the probability that the top curve of the stationary Dyson Brownian motion hits an hyperbolic cosine barrier.


title: Predicting Community Evolution in Social Networks

abstract: Nowadays, sustained development of different social media can be observed worldwide. One of the relevant research domains intensively explored recently is analysis of social communities existing in social media as well as prediction of their future evolution taking into account collected historical evolution chains. These evolution chains proposed in the paper contain group states in the previous time frames and its historical transitions that were identified using one out of two methods: Stable Group Changes Identification (SGCI) and Group Evolution Discovery (GED). Based on the observed evolution chains of various length, structural network features are extracted, validated and selected as well as used to learn classification models. The experimental studies were performed on three real datasets with different profile: DBLP, Facebook and Polish blogosphere. The process of group prediction was analysed with respect to different classifiers as well as various descriptive feature sets extracted from evolution chains of different length. The results revealed that, in general, the longer evolution chains the better predictive abilities of the classification models. However, chains of length 3 to 7 enabled the GED-based method to almost reach its maximum possible prediction quality. For SGCI, this value was at the level of 3 to 5 last periods.


title: Dalitz plot analysis of $B^0 \to \overline{D}^0 \pi^+\pi^-$ decays

abstract: The resonant substructures of $B^0 \to \overline{D}^0 \pi^+\pi^-$ decays are studied with the Dalitz plot technique. In this study a data sample corresponding to an integrated luminosity of 3.0 fb$^{-1}$ of $pp$ collisions collected by the LHCb detector is used. The branching fraction of the $B^0 \to \overline{D}^0 \pi^+\pi^-$ decay in the region $m(\overline{D}^0\pi^{\pm})>2.1$ GeV$/c^2$ is measured to be $(8.46 \pm 0.14 \pm 0.29 \pm 0.40) \times 10^{-4}$, where the first uncertainty is statistical, the second is systematic and the last arises from the normalisation channel $B^0 \to D^*(2010)^-\pi^+$. The $\pi^+\pi^-$ S-wave components are modelled with the Isobar and K-matrix formalisms. Results of the Dalitz plot analyses using both models are presented. A resonant structure at $m(\overline{D}^0\pi^-) \approx 2.8$ GeV$/c^{2}$ is confirmed and its spin-parity is determined for the first time as $J^P = 3^-$. The branching fraction, mass and width of this structure are determined together with those of the $D^*_0(2400)^-$ and $D^*_2(2460)^-$ resonances. The branching fractions of other $B^0 \to \overline{D}^0 h^0$ decay components with $h^0 \to \pi^+\pi^-$ are also reported. Many of these branching fraction measurements are the most precise to date. The first observation of the decays $B^0 \to \overline{D}^0 f_0(500)$, $B^0 \to \overline{D}^0 f_0(980)$, $B^0 \to \overline{D}^0 \rho(1450)$, $B^0 \to D_3^*(2760)^- \pi^+$ and the first evidence of $B^0 \to \overline{D}^0 f_0(2020)$ are presented.


title: Software as a Service: Analyzing Security Issues

abstract: Software-as-a-service (SaaS) is a type of software service delivery model which encompasses a broad range of business opportunities and challenges. Users and service providers are reluctant to integrate their business into SaaS due to its security concerns while at the same time they are attracted by its benefits. This article highlights SaaS utility and applicability in different environments like cloud computing, mobile cloud computing, software defined networking and Internet of things. It then embarks on the analysis of SaaS security challenges spanning across data security, application security and SaaS deployment security. A detailed review of the existing mainstream solutions to tackle the respective security issues mapping into different SaaS security challenges is presented. Finally, possible solutions or techniques which can be applied in tandem are presented for a secure SaaS platform.


title: Mass-loading of bow shock pulsar wind nebulae

abstract: We investigate the dynamics of bow shock nebulae created by pulsars moving supersonically through a partially ionized interstellar medium. A fraction of interstellar neutral hydrogen atoms penetrating into the tail region of a pulsar wind will undergo photo-ionization due to the UV light emitted by the nebula, with the resulting mass loading dramatically changing the flow dynamics of the light leptonic pulsar wind. Using a quasi 1-D hydrodynamic model of both non-relativistic and relativistic flow, and focusing on scales much larger than the stand-off distance, we find that if a relatively small density of neutral hydrogen, as low as $10^{-4}\,\text{cm}^{-3}$, penetrate inside the pulsar wind, this is sufficient to strongly affect the tail flow. Mass loading leads to the fast expansion of the pulsar wind tail, making the tail flow intrinsically non-stationary. The shapes predicted for the bow shock nebulae compare well with observations, both in H$\alpha$ and X-rays.


title: A Tractable Model of the LTE Access Reservation Procedure for Machine-Type Communications

abstract: A canonical scenario in Machine-Type Communications (MTC) is the one featuring a large number of devices, each of them with sporadic traffic. Hence, the number of served devices in a single LTE cell is not determined by the available aggregate rate, but rather by the limitations of the LTE access reservation protocol. Specifically, the limited number of contention preambles and the limited amount of uplink grants per random access response are crucial to consider when dimensioning LTE networks for MTC. We propose a low-complexity model of LTE's access reservation protocol that encompasses these two limitations and allows us to evaluate the outage probability at click-speed. The model is based chiefly on closed-form expressions, except for the part with the feedback impact of retransmissions, which is determined by solving a fixed point equation. Our model overcomes the incompleteness of the existing models that are focusing solely on the preamble collisions. A comparison with the simulated LTE access reservation procedure that follows the 3GPP specifications, confirms that our model provides an accurate estimation of the system outage event and the number of supported MTC devices.


title: Wave mediated angular momentum transport in astrophysical boundary layers

abstract: Context. Disk accretion onto weakly magnetized stars leads to the formation of a boundary layer (BL) where the gas loses its excess kinetic energy and settles onto the star. There are still many open questions concerning the BL, for instance the transport of angular momentum (AM) or the vertical structure. Aims. It is the aim of this work to investigate the AM transport in the BL where the magneto-rotational instability (MRI) is not operating owing to the increasing angular velocity $\Omega(r)$ with radius. We will therefore search for an appropriate mechanism and examine its efficiency and implications. Methods. We perform 2D numerical hydrodynamical simulations in a cylindrical coordinate system $(r, \varphi)$ for a thin, vertically inte- grated accretion disk around a young star. We employ a realistic equation of state and include both cooling from the disk surfaces and radiation transport in radial and azimuthal direction. The viscosity in the disk is treated by the {\alpha}-model; in the BL there is no viscosity term included. Results. We find that our setup is unstable to the sonic instability which sets in shortly after the simulations have been started. Acoustic waves are generated and traverse the domain, developing weak shocks in the vicinity of the BL. Furthermore, the system undergoes recurrent outbursts where the activity in the disk increases strongly. The instability and the waves do not die out for over 2000 orbits. Conclusions. There is indeed a purely hydrodynamical mechanism that enables AM transport in the BL. It is efficient and wave mediated; however, this renders it a non-local transport method, which means that models of a effective local viscosity like the {\alpha}-viscosity are probably not applicable in the BL. A variety of further implications of the non-local AM transport are discussed.


title: Three-body Final State Interaction in $\eta \to 3 \pi$

abstract: We present an unitary dispersive model for the $\eta \to 3 \pi$ decay process based upon the Khuri-Treiman equations which are solved by means of the Pasquier inversion method. The description of the hadronic final-state interactions for the $\eta \to 3\pi$ decay is essential to reproduce the available data and to understand the existing discrepancies between Dalitz plot parameters from experiment and chiral perturbation theory. Our approach incorporates substraction constants that are fixed by fitting the recent high-statistics WASA-at-COSY data for $\eta \to \pi^+ \pi^- \pi^0$. Based on the parameters obtained we predict the slope parameter for the neutral channel to be $\alpha=-0.022\pm 0.004$. Through matching to next-to-leading order chiral perturbation theory we estimate the quark mass double ratio to be $Q=21.4 \pm 0.4$.


title: Spacetimes with Semantics (II), Scaling of agency, semantics, and tenancy

abstract: Using Promise Theory as a calculus, I review how to define agency in a scalable way, for the purpose of understanding semantic spacetimes. By following simple scaling rules, replacing individual agents with `super-agents' (sub-spaces), it is shown how agency can be scaled both dynamically and semantically. The notion of occupancy and tenancy, or how space is used and filled in different ways, is also defined, showing how spacetime can be shared between independent parties, both by remote association and local encapsulation. I describe how to build up dynamic and semantic continuity, by joining discrete individual atoms and molecules of space into quasi-continuous lattices.


title: Magnetization relaxation, critical current density and vortex dynamics in a Ba$_{0.66}$K$_{0.32}$BiO$_{3+\delta}$ single crystal

abstract: We have conducted extensive investigations on the magnetization and its dynamical relaxation on a Ba$_{0.66}$K$_{0.32}$BiO$_{3+\delta}$ single crystal. It is found that the magnetization relaxation rate is rather weak compared with that in the cuprate superconductors, indicating a higher collective vortex pinning potential (or activation energy), although the intrinsic pinning potential $U_\mathrm{c}$ is weaker. Detailed analysis leads to the following discoveries: (1) A second-peak effect on the magnetization-hysteresis-loop was observed in a very wide temperature region, ranging from 2K to 24K. Its general behavior looks like that in YBa$_2$Cu$_3$O$_7$; (2) Associated with the second peak effect, the magnetization relaxation rate is inversely related to the transient superconducting current density $J_\mathrm{s}$ revealing a quite general and similar mechanism for the second peak effect in many high temperature superconductors; (3) A detailed analysis based on the collective creep model reveals a large glassy exponent $\mu$ and a small intrinsic pinning potential $U_\mathrm{c}$; (4) Investigation on the volume pinning force density shows that the data can be scaled to the formula $F_{p}\propto b^p(1-b)^q$ with $p=2.79$ and $q=3.14$, here $b$ is the reduced magnetic field to the irreversible magnetic field. The maximum normalized pinning force density appears near $b\approx0.47$. Finally, a vortex phase diagram is drawn for showing the phase transitions or crossovers between different vortex phases.


title: Diphoton production at Tevatron and the LHC in the NLO* approximation of the Parton Reggeization Approach

abstract: The hadroproduction of prompt isolated photon pairs at high energies is studied in the NLO* framework of the Parton Reggeization Approach. The real part of the NLO corrections is computed, and the procedure for the subtraction of double counting between real parton emissions in the hard-scattering matrix element and unintegrated PDF is constructed for the amplitudes with Reggeized quarks in the initial state. The matrix element of the important NNLO subprocess RR->2gamma with full dependence on the transverse momenta of the initial-state Reggeized gluons is obtained. We compare obtained numerical results with diphoton spectra measured at Tevatron and the LHC, and find a good agreement of our predictions with experimental data at the high values of diphoton transverse momentum, pT, and especially at the pT larger than the diphoton invariant mass, M. In this multi-Regge kinematics region, the NLO correction is strongly suppressed, demonstrating the self-consistency of the Parton Reggeization Approach.


title: Faraday Filtering on the Cs-D$_1$-Line for Quantum Hybrid Systems

abstract: Narrow-band filtering of light is widely used in optical spectroscopy. Atomic filters, which rely on the Faraday effect, allow for GHz-wide transmission spectra, which are intrinsically matched to an atomic transition. We present an experimental realization and a theoretical study of a Faraday anomalous dispersion optical filter (FADOF) based on cesium and its D$_1$-line-transition ($6^2S_{1/2}\rightarrow6^2P_{1/2}$) around 894nm. We also present the prospects and visions for combining this filter with the single photon emission of a single quantum dot (QD), which matches with the atomic transition.


title: A chopper system for shortening the duration of pulsed supersonic beams seeded with NO or Br2 down to 13 microseconds

abstract: A chopper wheel construct is used to shorten the duration of a molecular beam to 13 microseconds. Molecular beams seeded with NO or with Br2 and an initial pulse width of greater or equal to 200 microseconds were passed through a spinning chopper wheel, which was driven by a brushless DC in vacuo motor at a range of speeds, from 3,000 rpm to 80,000 rpm. The resulting duration of the molecular-beam pulses measured at the laser detection volume ranged from 80 microseconds to 13 microseconds, and was the same for both NO and Br2. The duration is consistent with a simple analytical model, and the minimum pulse width measured is limited by the spreading of the beam between the chopper and the detection point as a consequence of the longitudinal velocity distribution of the beam. The setup adopted here effectively eliminates buildup of background gas without the use of a differential pumping stage, and a clean narrow pulse is obtained with low rotational temperature.


title: Landau pole in the Standard Model with weakly interacting scalar fields

abstract: We consider the Standard Model with a new scalar field $X$ which is a $n_X^{}$ representation of the $SU(2)_L$ with a hypercharge $Y_X$. The renormalization group running effects on the new scalar quartic coupling constants are evaluated. Even if we set the scalar quartic coupling constants to be zero at the scale of the new scalar field, the coupling constants are induced by the one-loop effect of the weak gauge bosons. Once non-vanishing couplings are generated, the couplings rapidly increase by renormalization group effect of the quartic coupling constant itself. As a result, the Landau pole appears below Planck scale if $n_X^{}\geq 4$. We find that the scale of the obtained Landau pole is much lower than that evaluated by solving the one-loop beta function of the gauge coupling constants.


title: Investigation into the role of the Laurent property in integrability

abstract: We study the Laurent property for autonomous and nonautonomous discrete equations. First we show, without relying on the caterpillar lemma, the Laurent property for the Hirota-Miwa and the discrete BKP equations. Next we introduce the notion of reductions and gauge transformations for discrete bilinear equations and we prove that these preserve the Laurent property. Using these two techniques, we obtain the explicit condition on the coefficients of a nonautonomous discrete bilinear equation for it to possess the Laurent property. Finally we study the denominators of the iterates of an equation with the Laurent property and we show that any reduction to a mapping on a one-dimensional lattice of a nonautonomous Hirota-Miwa equation or discrete BKP equation, with the Laurent property, has zero algebraic entropy.


title: Emoticon-based Ambivalent Expression: A Hidden Indicator for Unusual Behaviors in Weibo

abstract: Recent decades have witnessed online social media being a big-data window for quantificationally testifying conventional social theories and exploring much detailed human behavioral patterns. In this paper, by tracing the emoticon use in Weibo, a group of hidden "ambivalent users" are disclosed for frequently posting ambivalent tweets containing both positive and negative emotions. Further investigation reveals that this ambivalent expression could be a novel indicator of many unusual social behaviors. For instance, ambivalent users with the female as the majority like to make a sound in midnights or at weekends. They mention their close friends frequently in ambivalent tweets, which attract more replies and thus serve as a more private communication way. Ambivalent users also respond differently to public affairs from others and demonstrate more interests in entertainment and sports events. Moreover, the sentiment shift of words adopted in ambivalent tweets is more evident than usual and exhibits a clear "negative to positive" pattern. The above observations, though being promiscuous seemingly, actually point to the self regulation of negative mood in Weibo, which could find its base from the emotion management theories in sociology but makes an interesting extension to the online environment. Finally, as an interesting corollary, ambivalent users are found connected with compulsive buyers and turn out to be perfect targets for online marketing.


title: Methylammonium fragmentation in amines as source of localized trap levels and the healing role of Cl in Hybrid Lead-Iodide Perovskites

abstract: The resilience to deep traps and localized defect formation is one of the important aspects that qualify a material as suited photo-absorber in solar cell devices. Here we investigate by ab-initio calculations the fundamental physics and chemistry of a number of possible localized defects in hybrid methylammonium lead-iodide perovskites. Our analysis encompasses a number of possible molecular fragments deriving from the dissociation of methylammonium. In particular, we found that in stoichiometric conditions both ammonia and methylamine molecules present lone-pair localized levels well within the perovskite band gap, while the radical cation CH$_2$NH$_3$$^+$ observed by EPR after irradiation injects partially-occupied levels into the band gap but only in $p$-type conditions. These defects are thus potentially capable to significantly alter absorption and recombination properties. Amazingly, we found that additional interstitial Cl is capable to remove these localized states from the band gap. These results are consistent with the observed improvement of photoabsorption properties due to the Cl inclusion in the solution processing.


title: Electronic spin susceptibilities and superconductivity in HgBa$_{2}$CuO$_{4+\delta}$ from nuclear magnetic resonance

abstract: Nuclear magnetic resonance (NMR) experiments on single crystals of HgBa$_{2}$CuO$_{4+\delta}$ are presented that identify two distinct temperature-dependent spin susceptibilities: one is due to a spin component that is temperature-dependent above the critical temperature for superconductivity ($T_{\rm c}$) and reflects pseudogap behavior; the other is Fermi-liquid-like in that it is temperature independent above $T_{\rm c}$ and vanishes rapidly below $T_{\rm c}$. In addition, we demonstrate the existence of a third, hitherto undetected spin susceptibility: it is temperature independent at higher temperatures, vanishes at lower temperatures (below $T_0\neq T_{\rm c}$), and changes sign near optimal doping. This susceptibility either arises from the coupling between the two spin components, or it could be given by a distinct third spin component.