title: MOA-2012-BLG-505Lb: A super-Earth mass planet probably in the Galactic bulge

abstract: We report the discovery of a super-Earth mass planet in the microlensing event MOA-2012-BLG-505. This event has the second shortest event timescale of $t_{\rm E}=10 \pm 1$ days where the observed data show evidence of planetary companion. Our 15 minute high cadence survey observation schedule revealed the short subtle planetary signature. The system shows the well known close/wide degeneracy. The planet/host-star mass ratio is $q =2.1 \times 10^{-4}$ and the projected separation normalized by the Einstein radius is s = 1.1 or 0.9 for the wide and close solutions, respectively. We estimate the physical parameters of the system by using a Bayesian analysis and find that the lens consists of a super-Earth with a mass of $6.7^{+10.7}_{-3.6}M_{\oplus}$ orbiting around a brown-dwarf or late M-dwarf host with a mass of $0.10^{+0.16}_{-0.05}M_{\odot}$ with a projected star-planet separation of $0.9^{+0.3}_{-0.2}$AU. The system is at a distance of $7.2 \pm 1.1$ kpc, i.e., it is likely to be in the Galactic bulge. The small angular Einstein radius ($\theta_{\rm E}=0.12 \pm 0.02$ mas) and short event timescale are typical for a low-mass lens in the Galactic bulge. Such low-mass planetary systems in the Bulge are rare because the detection efficiency of planets in short microlensing events is relatively low. This discovery may suggest that such low mass planetary systems are abundant in the Bulge and currently on-going high cadence survey programs will detect more such events and may reveal an abundance of such planetary systems.


title: Phase transition for the Maki-Thompson rumour model on a small-world network

abstract: We consider the Maki-Thompson model for the stochastic propagation of a rumour within a population. We extend the original hypothesis of homogenously mixed population by allowing for a small-world network embedding the model. This structure is realized starting from a $k$-regular ring and by inserting, in the average, $c$ additional links in such a way that $k$ and $c$ are tuneable parameter for the population architecture. We prove that this system exhibits a transition between regimes of localization (where the final number of stiflers is at most logarithmic in the population size) and propagation (where the final number of stiflers grows algebraically with the population size) at a finite value of the network parameter $c$. A quantitative estimate for the critical value of $c$ is obtained via extensive numerical simulations.


title: Cooperative Robust Output Regulation Problem for Discrete-Time Linear Time-Delay Multi-Agent Systems

abstract: In this paper, we study the cooperative robust output regulation problem for discrete-time linear multi-agent systems with both communication and input delays by distributed internal model approach. We first introduce the distributed internal model for discrete-time multi-agent systems with both communication and input delays. Then, we define so-called auxiliary system and auxiliary augmented system. Finally, we solve our problem by showing, under some standard assumptions, that if a distributed state feedback control or a distributed output feedback control solves the robust output regulation problem of the auxiliary system, then the same control law solves the cooperative robust output regulation problem of the original multi-agent systems.


title: Joining Hands: Exploiting Monolingual Treebanks for Parsing of Code-mixing Data

abstract: In this paper, we propose efficient and less resource-intensive strategies for parsing of code-mixed data. These strategies are not constrained by in-domain annotations, rather they leverage pre-existing monolingual annotated resources for training. We show that these methods can produce significantly better results as compared to an informed baseline. Besides, we also present a data set of 450 Hindi and English code-mixed tweets of Hindi multilingual speakers for evaluation. The data set is manually annotated with Universal Dependencies.


title: Invariant Measure for Quantum Trajectories

abstract: We study a class of Markov chains that model the evolution of a quantum system subject to repeated measurements. Each Markov chain in this class is defined by a measure on the space of matrices. It is then given by a random product of correlated matrices taken from the support of the defining measure. We give natural conditions on this support that imply that the Markov chain admits a unique invariant probability measure. We moreover prove the geometric convergence towards this invariant measure in the Wasserstein metric. Standard techniques from the theory of products of random matrices cannot be applied under our assumptions, and new techniques are developed, such as maximum likelihood-type estimations.


title: Microscopic and macroscopic models for the onset and progression of Alzheimer's disease

abstract: In the first part of this paper we review a mathematical model for the onset and progression of Alzheimer's disease (AD) that was developed in subsequent steps over several years. The model is meant to describe the evolution of AD in vivo. In [Y. Achdou et al., 2013] we treated the problem at a microscopic scale, where the typical length scale is a multiple of the size of the soma of a single neuron. Subsequently, in [M. Bertsch at al., 2016] we concentrated on the macroscopic scale, where brain neurons are regarded as a continuous medium, structured by their degree of malfunctioning. In the second part of the paper we consider the relation between the microscopic and the macroscopic models. In particular we show under which assumptions the kinetic transport equation, which in the macroscopic model governs the evolution of the probability measure for the degree of malfunctioning of neurons, can be derived from a particle-based setting. In the microscopic model we consider basically mechanism i), modelling it by a system of Smoluchowski equations for the amyloid concentration (describing the agglomeration phenomenon), with the addition of a diffusion term as well as of a source term on the neuronal membrane. At the macroscopic level instead we model processes i) and ii) by a system of Smoluchowski equations for the amyloid concentration, coupled to a kinetic-type transport equation for the distribution function of the degree of malfunctioning of the neurons. The second equation contains an integral term describing the random onset of the disease as a jump process localized in particularly sensitive areas of the brain. Even though we deliberately neglected many aspects of the complexity of the brain and the disease, numerical simulations are in both cases (microscopic and macroscopic) in good qualitative agreement with clinical data.


title: Dark state with counter-rotating dissipative channels

abstract: Dark state as a consequence of interference between different quantum states has great importance in the fields of chip-scale atomic clock and quantum information. For the $\Lambda$-type three-level system, this dark state is generally regarded as being dissipation-free because it is a superposition of two lowest states without dipole transition between them. However, previous studies are based on the rotating-wave approximation (RWA) by neglecting the counter-rotating terms in the system-environment interaction. In this work, we study non-Markovian quantum dynamics of the dark state in a $\Lambda$-type three-level system coupled to two bosonic baths and reveal the effect of counter-rotating terms on the dark state. In contrast to the dark state within the RWA, leakage of the dark state occurs even at zero temperature, as a result of these counter-rotating terms. Also, we present a method to restore the quantum coherence of the dark state by applying a leakage elimination operator to the system.


title: Rational motivic path spaces and Kim's relative unipotent section conjecture

abstract: We initiate a study of path spaces in the nascent context of "motivic dga's", under development in doctoral work by Gabriella Guzman. This enables us to reconstruct the unipotent fundamental group of a pointed scheme from the associated augmented motivic dga, and provides us with a factorization of Kim's relative unipotent section conjecture into several smaller conjectures with a homotopical flavor. Based on a conversation with Joseph Ayoub, we prove that the path spaces of the punctured projective line over a number field are concentrated in degree zero with respect to Levine's t-structure for mixed Tate motives. This constitutes a step in the direction of Kim's conjecture.


title: Non-resonant adiabatic photon trap

abstract: The paper presents and experimentally investigates a concept of an efficient radiation trap based on adiabatic photon confinement between curved mirrors. Such a trap is free of restrictions typical to the Fabry-Perot cells, relating to the confined radiation quality and accuracy and stabilization of optical elements. Experiments have demonstrated high efficiency of confinement, which depends mainly on the reflectivity of the mirrors and defects on their surface.


title: On the number of singular points of factorial terminal Fano threefolds

abstract: We obtain upper bounds on the number of singular points of factorial terminal Fano threefolds.


title: First measeurements in search for keV-sterile neutrino in tritium beta-decay by Troitsk nu-mass experiment

abstract: We present the first measurements of tritium beta-decay spectrum in the electron energy range 16-18.6 keV. The goal is to find distortions which may correspond to the presence of a heavy sterile neutrinos. A possible contribution of this kind would manifest itself as a kink in the spectrum with a similar shape but with end point shifted by the value of a heavy neutrino mass. We set a new upper limits to the neutrino mixing matrix element U^2_{e4} which improve existing limits by a factor from 2 to 5 in the mass range 0.1-2 keV.


title: Quasi-simple finite groups of essential dimension 3

abstract: We classify quasi-simple finite groups of essential dimension 3.


title: A KK-like picture for E-theory of C*-algebras

abstract: Let $A$, $B$ be separable C*-algebras, $B$ stable. Elements of the E-theory group $E(A,B)$ are represented by asymptotic homomorphisms from the second suspension of $A$ to $B$. Our aim is to represent these elements by (families of) maps from $A$ itself to $B$. We have to pay for that by allowing these maps to be even further from $*$-homomorphisms. We prove that $E(A,B)$ can be represented by pairs $(\varphi^+,\varphi^-)$ of maps from $A$ to $B$ that are not necessarily asymptotic homomorphisms, but have the same deficiency from being ones. Not surprisingly, such pairs of maps can be viewed as pairs of asymptotic homomorphisms from some C*-algebra $C$ that surjects onto $A$, and the two maps in a pair should agree on the kernel of this surjection. We give examples of full surjections $C\to A$, i.e. those, for which all classes in $E(A,B)$ can be obtained from pairs of asymptotic homomorphisms from $C$.


title: Do AGN outflows quench or enhance star formation?

abstract: AGN outflows can remove large quantities of gas from their host galaxy spheroids, potentially shutting off star formation. On the other hand, they can compress this gas, potentially enhancing or triggering star formation, at least for short periods. We present a set of idealised simulations of AGN outflows affecting turbulent gas spheres, and investigate the effect of the outflow and the AGN radiation field upon gas fragmentation. We show that AGN outflows of sufficient luminosity shut off fragmentation while the nucleus is active, but gas compression results in a burst of fragmentation after the AGN switches off. Self-shielding of gas against the AGN radiation field allows some fragmentation to occur during outbursts, but too much shielding results in a lower overall fragmentation rate. For our idealised simulation setup, there is a critical AGN luminosity which results in the highest fragmentation rate, with outflows being too efficient at removing gas when $L > L_{\rm crit}$ and not efficient enough to compress the gas to high densities otherwise. These results, although preliminary, suggest that the interaction between AGN and star formation in their host galaxies is particularly complex and requires careful study in order to interpret observations correctly.


title: Boundary regularity for conformally invariant variational problems with Neumann data

abstract: We study boundary regularity of maps from two-dimensional domains into manifolds which are critical with respect to a generic conformally invariant variational functional and which, at the boundary, enter perpendicularly into a support manifold. For example, harmonic maps, or $H$-surfaces, with a partially free boundary condition. In the interior it is known, by the celebrated work of Riviere, that these maps satisfy a system with an antisymmetric potential, from which one can derive regularity of the solution. We show that these maps satisfy along the boundary a system with a nonlocal antisymmetric boundary potential which contains information from the interior potential and the geometric Neumann boundary condition. We then proceed to show boundary regularity for solutions to such systems.


title: Gigantic negative magnetoresistance in a disordered topological insulator

abstract: With the recent discovery of Weyl semimetals, the phenomenon of negative magnetoresistance (MR) is attracting renewed interest. While small negative MR can occur due to the suppression of spin scattering or weak localization, large negative MR is rare in materials, and when it happens, it is usually related to magnetism. The large negative MR in Weyl semimetals is peculiar in that it is unrelated to magnetism and comes from chiral anomaly. Here we report that there is a new mechanism for large negative MR which is not related to magnetism but is related to disorder. In the newly-synthesized bulk-insulating topological insulator TlBi$_{0.15}$Sb$_{0.85}$Te$_2$, we observed gigantic negative MR reaching 98% in 14 T at 10 K, which is unprecedented in a nonmagnetic system. Supported by numerical simulations, we argue that this phenomenon is likely due to the Zeeman effect on a barely percolating current path formed in the disordered bulk. Since disorder can also lead to non-saturating linear MR in Ag$_{2+\delta}$Se, the present finding suggests that disorder engineering in narrow-gap systems is useful for realizing gigantic MR in both positive and negative directions.


title: Covariant geometric characterization of slow invariant manifolds: New concepts and viewpoints

abstract: We point out a new view on slow invariant manifolds (SIM) in dynamical systems which departs from a purely geometric covariant characterization implying coordinate independency. The fundamental idea is to treat the SIM as a well-defined geometric object in phase space and elucidate characterizing geometric properties that can be evaluated as point-wise analytic criteria. For that purpose, we exploit curvature concepts and formulate our recent variational approach in terms of coordinate-independent Hamiltonian mechanics.Finally, we combine both approaches and conjecture a differential geometric definition of slow invariant manifolds. For the Davis-Skodje model the latter can be completely expatiated.


title: Origin of the high energy neutrino flux at IceCube

abstract: We discuss the spectrum of the different components in the astrophysical neutrino flux reaching the Earth and the possible contribution of each component to the high-energy IceCube data. We show that the diffuse flux from cosmic ray interactions with gas in our galaxy implies just 2 events among the 54 event sample. We argue that the neutrino flux from cosmic ray interactions in the intergalactic (intracluster) space depends critically on the transport parameter $\delta$ describing the energy dependence in the diffusion coefficient of galactic cosmic rays. Our analysis motivates a E^{-2.1} neutrino spectrum with a drop at PeV energies that fits well the data, including the non-observation of the Glashow resonance at 6.3 PeV. We also show that a cosmic ray flux described by an unbroken power law may produce a neutrino flux with interesting spectral features (bumps and breaks) related to changes in the cosmic ray composition.


title: Double-Helical Tiled Chain Structure of the Twist-Bend Liquid Crystal phase in CB7CB

abstract: The twist-bend nematic liquid crystal phase is a three-dimensional fluid in which achiral bent molecules spontaneously form an orientationally ordered macroscopically chiral heliconical winding of molecular scale pitch, in absence of positional ordering. Here we characterize the structure of the ground state of the twist-bend phase of the bent dimer CB7CB and its mixtures with 5CB over a wide range of concentrations and temperatures, showing that the contour length along the molecular direction for a single turn of the helix is approximately equal to 2{\pi}Rmol, where Rmol is the radius of bend curvature of a single all-trans CB7CB molecule. This relation emerges from a model which simply relates the macroscopic characteristics of the helical structure, which is mostly biaxial twist and has little bend, to the bent molecular shape. This connection comes about through the presence in the fluid of self-assembled oligomer-like correlations of interlocking molecules, arising from the nanosegregation of rigid and flexible molecular subcomponents, forming a brickwork tiling of pairs of molecular strands into a duplex double-helical chain.


title: Interpolation Methods for Binary and Multivalued Logical Quantum Gate Synthesis

abstract: A method for synthesizing quantum gates is presented based on interpolation methods applied to operators in Hilbert space. Starting from the diagonal forms of specific generating seed operators with non-degenerate eigenvalue spectrum one obtains for arity-one a complete family of logical operators corresponding to all the one-argument logical connectives. Scaling-up to n-arity gates is obtained by using the Kronecker product and unitary transformations. The quantum version of the Fourier transform of Boolean functions is presented and a Reed-Muller decomposition for quantum logical gates is derived. The common control gates can be easily obtained by considering the logical correspondence between the control logic operator and the binary propositional logic operator. A new polynomial and exponential formulation of the Toffoli gate is presented. The method has parallels to quantum gate-T optimization methods using powers of multilinear operator polynomials. The method is then applied naturally to alphabets greater than two for multi-valued logical gates used for quantum Fourier transform, min-max decision circuits and multivalued adders.


title: Measurement Results for Millimeter Wave pure LOS MIMO Channels

abstract: In this paper we present measurement results for pure line-of-sight MIMO links operating in the millimeter wave range. We show that the estimated condition numbers and capacities of the measured channels are in good agreement with the theory for various transmission distances and antenna setups. Furthermore, the results show that orthogonal channel vectors can be observed if the spacing criterion is fulfilled, thus facilitating spatial multiplexing and achieving high spectral efficiencies even over fairly long distances. Spacings generating ill-conditioned channel matrices show on the other hand significantly reduced performance.


title: A note on the generalized heat content for L\'evy processes

abstract: Let $\mathbf{X}=\{X_t\}_{t\geq 0}$ be a L\'{e}vy process in $\mathbb{R}^d$ and $\Omega$ be an open subset of $\mathbb{R}^d$ with finite Lebesgue measure. The quantity $H (t) = \int_{\Omega} \mathbb{P}^{x} (X_t\in \Omega ^c) d x$ is called the heat content. In this article we consider its generalized version $H_g^\mu (t) = \int_{\mathbb{R}^d}\mathbb{E}^{x} g(X_t)\mu( d x )$, where $g$ is a bounded function and $\mu$ a finite Borel measure. We study its asymptotic behaviour at zero for various classes of L\'{e}vy processes.


title: Kerr principal null directions from Bel--Robinson and Kummer surfaces

abstract: In the Kerr geometry, we calculate various surfaces of constant curvature invariants. These extend well beyond the Kerr horizon, and we argue that they might be of observational significance in connection with non-minimally coupled matter fields. Moreover, we demonstrate that the principal null directions of the Kerr geometry can be obtained by projections involving either the Bel--Robinson or the Kummer tensor. We conjecture that this is also possible in more general settings.


title: Collective flow in 2.76 A TeV and 5.02 A TeV Pb+Pb collisions

abstract: In this paper, we study and predict flow observables in 2.76 A TeV and 5.02 A TeV Pb +Pb collisions, using the iEBE-VISHNU hybrid model with TRENto and AMPT initial conditions and with different forms of the QGP transport coefficients. With properly chosen and tuned parameter sets, our model calculations can nicely describe various flow observables in 2.76 A TeV Pb +Pb collisions, as well as the measured flow harmonics of all charged hadrons in 5.02 A TeV Pb +Pb collisions. We also predict other flow observables, including $v_n(p_T)$ of identified particles, event-by-event $v_n$ distributions, event-plane correlations, (Normalized) Symmetric Cumulants, non-linear response coefficients and $p_T$-dependent factorization ratios, in 5.02 A TeV Pb+Pb collisions. We find many of these observables remain approximately the same values as the ones in 2.76 A TeV Pb+Pb collisions. Our theoretical studies and predictions could shed light to the experimental investigations in the near future.


title: Implementing a distance-based classifier with a quantum interference circuit

abstract: Lately, much attention has been given to quantum algorithms that solve pattern recognition tasks in machine learning. Many of these quantum machine learning algorithms try to implement classical models on large-scale universal quantum computers that have access to non-trivial subroutines such as Hamiltonian simulation, amplitude amplification and phase estimation. We approach the problem from the opposite direction and analyse a distance-based classifier that is realised by a simple quantum interference circuit. After state preparation, the circuit only consists of a Hadamard gate as well as two single-qubit measurements, and computes the distance between data points in quantum parallel. We demonstrate the proof-of-principle using the IBM Quantum Experience and analyse the performance of the classifier with numerical simulations, showing that it classifies surprisingly well for simple benchmark tasks.


title: Distributed Edge Caching Scheme Considering the Tradeoff Between the Diversity and Redundancy of Cached Content

abstract: Caching popular contents at the edge of cellular networks has been proposed to reduce the load, and hence the cost of backhaul links. It is significant to decide which files should be cached and where to cache them. In this paper, we propose a distributed caching scheme considering the tradeoff between the diversity and redundancy of base stations' cached contents. Whether it is better to cache the same or different contents in different base stations? To find out this, we formulate an optimal redundancy caching problem. Our goal is to minimize the total transmission cost of the network, including cost within the radio access network (RAN) and cost incurred by transmission to the core network via backhaul links. The optimal redundancy ratio under given system configuration is obtained with adapted particle swarm optimization (PSO) algorithm. We analyze the impact of important system parameters through Monte-Carlo simulation. Results show that the optimal redundancy ratio is mainly influenced by two parameters, which are the backhaul to RAN unit cost ratio and the steepness of file popularity distribution. The total cost can be reduced by up to 54% at given unit cost ratio of backhaul to RAN when the optimal redundancy ratio is selected. Under typical file request pattern, the reduction amount can be up to 57%.


title: A spacetime discretization and black holes properties in a holographic representation

abstract: We investigate the black holes properties with a very simple and semi-classical model of spacetime discretization. In this context, we apply the Heisenberg's uncertainty principle and the equipartition energy theorem to thereto, obtaining the same thermodynamical relation of general relativity, without resorting to the Einstein field equations. This fact, show us a possible clue of convergence between general relativity and quantum physics, which we believe becomes manifest in this class of compact objects. Finally, we apply the holographic principle to thereto, introducing the concept of surface information density and advancing the idea that black holes can be considered as very simple objects, which maximize the energy and the information content for unit of spacetime.


title: A linear Uzawa-type solver for nonlinear transmission problems

abstract: We propose an Uzawa-type iteration for the Johnson-N\'ed\'elec formulation of a Laplace-type transmission problem with possible (strongly monotone) nonlinearity in the interior domain. In each step, we sequentially solve one BEM for the weakly-singular integral equation associated with the Laplace-operator and one FEM for the linear Yukawa equation. In particular, the nonlinearity is only evaluated to build the right-hand side of the Yukawa equation. We prove that the proposed method leads to linear convergence with respect to the number of Uzawa iterations. Moreover, while the current analysis of a direct FEM-BEM discretization of the Johnson-N\'ed\'elec formulation requires some restrictions on the ellipticity (resp. strong monotonicity constant) in the interior domain, our Uzawa-type solver avoids such assumptions.


title: Tunneling estimates and approximate controllability for hypoelliptic equations

abstract: This article is concerned with quantitative unique continuation estimates for equations involving a "sum of squares" operator $\mathcal{L}$ on a compact manifold $\mathcal{M}$ assuming: $(i)$ the Chow-Rashevski-H\"ormander condition ensuring the hypoellipticity of $\mathcal{L}$, and $(ii)$ the analyticity of $\mathcal{M}$ and the coefficients of $\mathcal{L}$. The first result is the tunneling estimate $\|\varphi\|_{L^2(\omega)} \geq Ce^{- \lambda^{\frac{k}{2}}}$ for normalized eigenfunctions $\varphi$ of $\mathcal{L}$ from a nonempty open set $\omega\subset \mathcal{M}$, where $k$ is the hypoellipticity index of $\mathcal{L}$ and $\lambda$ the eigenvalue. The main result is a stability estimate for solutions to the hypoelliptic wave equation $(\partial_t^2+\mathcal{L})u=0$: for $T>2 \sup_{x \in \mathcal{M}}(dist(x,\omega))$ (here, $dist$ is the sub-Riemannian distance), the observation of the solution on $(0,T)\times \omega$ determines the data. The constant involved in the estimate is $Ce^{c\Lambda^k}$ where $\Lambda$ is the typical frequency of the data. We then prove the approximate controllability of the hypoelliptic heat equation $(\partial_t+\mathcal{L})v=1_\omega f$ in any time, with appropriate (exponential) cost, depending on $k$. In case $k=2$ (Grushin, Heisenberg...), we further show approximate controllability to trajectories with polynomial cost in large time. We also explain how the analyticity assumption can be relaxed, and a boundary $\partial \mathcal{M}$ can be added in some situations. Most results turn out to be optimal on a family of Grushin-type operators. The main proof relies on the general strategy developed by the authors in arxiv:1506.04254.


title: Semantic-driven Generation of Hyperlapse from $360^\circ$ Video

abstract: We present a system for converting a fully panoramic ($360^\circ$) video into a normal field-of-view (NFOV) hyperlapse for an optimal viewing experience. Our system exploits visual saliency and semantics to non-uniformly sample in space and time for generating hyperlapses. In addition, users can optionally choose objects of interest for customizing the hyperlapses. We first stabilize an input $360^\circ$ video by smoothing the rotation between adjacent frames and then compute regions of interest and saliency scores. An initial hyperlapse is generated by optimizing the saliency and motion smoothness followed by the saliency-aware frame selection. We further smooth the result using an efficient 2D video stabilization approach that adaptively selects the motion model to generate the final hyperlapse. We validate the design of our system by showing results for a variety of scenes and comparing against the state-of-the-art method through a user study.


title: Trace radioactive impurities in final construction materials for EXO-200

abstract: We report results from a systematic measurement campaign conducted to identify low radioactivity materials for the construction of the EXO-200 double beta decay experiment. Partial results from this campaign have already been reported in a 2008 paper by the EXO collaboration. Here we release the remaining data, collected since 2007, to the public. The data reported were obtained using a variety of analytic techniques. The measurement sensitivities are among the best in the field. Construction of the EXO-200 detector has been concluded, and Phase-I data was taken from 2011 to 2014. The detector's extremely low background implicitly verifies the measurements and the analysis assumptions made during construction and reported in this paper.


title: A generalization of Tanaka's formula

abstract: We prove some new results related to Tanaka's formula.


title: Sparse Control of Kinetic Cooperative Systems to Approximate Alignment

abstract: Cooperative systems are systems in which the forces among agents are non-repulsive. The free evolution of such systems can tend to the formation of patterns, such as consensus or clustering, depending on the properties and intensity of the interaction forces between agents. The kinetic cooperative systems are obtained as the mean field limits of these systems when the number of agents goes to infinity. These limit dynamics are described by transport partial differential equations involving non-local terms. In this article, we design a simple and robust control strategy steering any kinetic cooperative system to approximate alignment. The computation of the control at each instant will only require knowledge of the size of the support of the crowd in the phase space and of the Lipschitz constant of the interaction forces. Besides, the control we apply to our system is sparse, in the sense that it acts only on a small portion of the total population at each time. It also presents the features of being obtained through a constructive procedure and to be independent on the number of agents, making it convenient for applications.


title: On the nature of the (de)coupling of the magnetostructural transition in Er$_5$Si$_4$

abstract: In this report, a successful thermodynamical model was employed to understand the structural transition in Er$_5$Si$_4$, able to explain the decoupling of the magnetic and structural transition. This was achieved by the DFT calculations which were used to determine the energy differences at 0 K, using a LSDA+U approximation. It was found that the M structure as the stable phase at low temperatures as verified experimentally with a $\Delta F_0 = -$0.262 eV. Finally, it was achieved a variation of Seebeck coefficient ($\sim$ 6 $\mu$V) at the structural transition which allow to conclude that the electronic entropy variation is negligible in the transition.


title: A revolution is brewing: observations of TRAPPIST-1 exoplanetary system fosters a new biomarker

abstract: The recent discovery of seven potentially habitable Earth-size planets around the ultra-cool star TRAPPIST-1 has further fueled the hunt for extraterrestrial life. Current methods focus on closely monitoring the host star to look for biomarkers in the transmission signature of exoplanet's atmosphere. However, the outcome of these methods remain uncertain and difficult to disentangle with abiotic alternatives. Recent exoplanet direct imaging observations by THIRSTY, an ultra-high contrast coronagraph located in La Trappe (France), lead us to propose a universal and unambiguous habitability criterion which we directly demonstrate for the TRAPPIST-1 system. Within this new framework, we find that TRAPPIST-1g possesses the first unambiguously habitable environment in our galaxy, with a liquid water percentage that could be as large as $\sim~90~\%$. Our calculations hinge on a new set of biomarkers, CO$_2$ and C$_{x}$H$_{2(x+1)}$O (liquid and gaseous), that could cover up to $\sim~10~\%$ of the planetary surface and atmosphere. THIRSTY and TRAPPIST recent observations accompanied by our new, unbiased habitability criterion may quench our thirst for the search for extraterrestrial life. However, the search for intelligence must continue within and beyond our Solar System.


title: An Approach for Spatial-temporal Traffic Modeling in Mobile Cellular Networks

abstract: The volume and types of traffic data in mobile cellular networks have been increasing continuously. Meanwhile, traffic data change dynamically in several dimensions such as time and space. Thus, traffic modeling is essential for theoretical analysis and energy efficient design of future ultra-dense cellular networks. In this paper, the authors try to build a tractable and accurate model to describe the traffic variation pattern for a single base station in real cellular networks. Firstly a sinusoid superposition model is proposed for describing the temporal traffic variation of multiple base stations based on real data in a current cellular network. It shows that the mean traffic volume of many base stations in an area changes periodically and has three main frequency components. Then, lognormal distribution is verified for spatial modeling of real traffic data. The spatial traffic distributions at both spare time and busy time are analyzed. Moreover, the parameters of the model are presented in three typical regions: park, campus and central business district. Finally, an approach for combined spatial-temporal traffic modeling of single base station is proposed based on the temporal and spatial traffic distribution of multiple base stations. All the three models are evaluated through comparison with real data in current cellular networks. The results show that these models can accurately describe the variation pattern of real traffic data in cellular networks.


title: Localization of Gravitino Field on $f(R)$ Thick Branes

abstract: In this paper, we consider the localization of a five-dimensional gravitino field on $f(R)$-thick branes. We obtain the coupled chiral equations of the Kaluza-Klein (KK) modes of gravitinos with the gauge condition $\Psi_z=0$. The chiral equations of a gravitino's KK modes are found to be almost identical to those of the Dirac fermion. However, their chiralities are exactly opposite. The chiral KK modes of gravitinos could be localized in some types of $f(R)$-thick branes on introducing a coupling term. We investigate the localization of a gravitino on three types of $f(R)$-thick branes through a Yukawa-like coupling term with background scalar fields. It has been shown that all the KK modes of gravitinos cannot be localized in the pure geometric $f(R)$-thick branes by adding a five-dimensional gravitino mass term. However, for the $f(R)$-thick branes generated by one or two background scalar fields, only the left- or right-handed zero mode could be localized in the branes, and the massive KK resonant modes are the same for both left- and right-handed gravitinos despite their opposing chiralities. All these results are consistent with those of the five-dimensional Dirac fermion except their chiralities, which may be an important sign to distinguish the gravitino field and the Dirac fermion field.


title: Probabilistic Mid- and Long-Term Electricity Price Forecasting

abstract: The liberalization of electricity markets and the development of renewable energy sources has led to new challenges for decision makers. These challenges are accompanied by an increasing uncertainty about future electricity price movements. The increasing amount of papers, which aim to model and predict electricity prices for a short period of time provided new opportunities for market participants. However, the electricity price literature seem to be very scarce on the issue of medium- to long-term price forecasting, which is mandatory for investment and political decisions. Our paper closes this gap by introducing a new approach to simulate electricity prices with hourly resolution for several months up to three years. Considering the uncertainty of future events we are able to provide probabilistic forecasts which are able to detect probabilities for price spikes even in the long-run. As market we decided to use the EPEX day-ahead electricity market for Germany and Austria. Our model extends the X-Model which mainly utilizes the sale and purchase curve for electricity day-ahead auctions. By applying our procedure we are able to give probabilities for the due to the EEG practical relevant event of six consecutive hours of negative prices. We find that using the supply and demand curve based model in the long-run yields realistic patterns for the time series of electricity prices and leads to promising results considering common error measures.


title: Final state multiplicity and particle correlation in small systems

abstract: Final state variables and particle correlation will be discussed under a Multiple Parton Interaction (MPI) interpretation. The state of the art about the latest results on such variables will be provided. Furthermore the role played by event multiplicity in the deep understanding of particle correlation, in particular concerning the new results on the Long-Range Near-Side two particle correlations by the CMS Collaboration, will be discussed.


title: Soft Interactions in Herwig

abstract: We introduce a new model for soft interactions in the Monte Carlo event generator Herwig. We add a new model for the simulation of diffractive final states, based on the cluster hadronization model in Herwig. The soft component of the Multiple partonic interaction model is replaced by a refined model for soft gluon production. With these two components we are for the first time able to give a full simulation of minimum-bias events at hadron colliders. We briefly describe the models and present a few results obtained with it.


title: Subwavelength focusing of all-dielectric surface waves

abstract: Micro-sized spheres can focus light into subwavelength spatial domains: a phenomena called photonic nanojet. Even though well studied in three-dimensional (3D) configurations, only a few attempts have been reported to observe similar phenomena in two-dimensional (2D) systems. This, however, is important to take advantage of photonic nanojets in integrated optical systems. Usually, surface plasmon polaritons are suggested for this purpose, but they suffer notoriously from the rather low propagation lengths due to intrinsic absorption. Here, we solve this problem and explore, theoretically, numerically, and experimentally, the use of Bloch surface waves sustained by a suitably structured all-dielectric media to enable subwavelength focusing in an integrated planar optical system. Since only a low index contrast can be achieved while relying on Bloch surface waves, we perceive a new functional element that allows a tight focusing and the observation of a photonic nanojet on top of the surface. We experimentally demonstrate a spot size of 0.66{\lambda} in the effective medium. Our approach paves the way to 2D all-dielectric photonic chips for nano-particle manipulation in fluidic devices and sensing applications.


title: Optical manipulation for studies of collisional dynamics of micron-sized droplets under gravity

abstract: A new experimental technique for creating and imaging collisions of micron-sized droplets settling under gravity is presented. A pair of glycerol droplets is suspended in air by means of two optical traps. The droplet relative velocities are determined by the droplet sizes. The impact parameter is precisely controlled by positioning the droplets using the two optical traps. The droplets are released by turning off the trapping light using electro-optical modulators. The motion of the sedimenting droplets is then captured by two synchronized high-speed cameras, at a frame rate of up to 63 kHz. The method allows the direct imaging of the collision of droplets without the influence of the optical confinement imposed by the trapping force. The method will facilitate efficient studies of the microphysics of neutral, as well as charged, liquid droplets and their interactions with light, electric field and thermodynamic environment, such as temperature or vapor concentration.


title: Mathematical Characterization of Thermo-reversible Phase Transitions of Agarose Gels

abstract: Thermal phase transition temperatures of high and low melting point agarose gels were investigated by using the UV-vis spectroscopy techniques. Transmitted light intensities from the gel samples with different agarose concentrations were monitored during the heating (gel-sol) and cooling (sol-gel) processes. It was observed that the transition temperatures Tm, defined as the location of the maximum of the first derivative of the sigmoidal transition paths obtained from UV-vis technique, slightly increased with the agarose type and concentration. Here, we express the phase transitions of agar-water system, as a representative of reversible physical gels, in terms of a modified Susceptible-Infected-Susceptible epidemic model whose solutions are the well-known 5-point sigmoidal curves. The gel point is hard to determine experimentally and various computational techniques are used for its characterization. Based on previous work, we locate the gel point T0 of sol-gel and gel-sol transitions in terms of the horizontal shift in the sigmoidal transition curve. For the gel-sol transition (heating), T0 is greater than Tm, i.e. later in time, and the difference between T0 and Tm is reduced as agarose content increases. For the sol-gel transition (cooling), T0 is again greater than Tm, but it is earlier in time for all agarose contents and moves forward in time and gets closer to Tm as the agarose content increases.


title: Effective loop quantum cosmology as a higher-derivative scalar-tensor theory

abstract: Recently, Chamseddine and Mukhanov introduced a higher-derivative scalar-tensor theory which leads to a modified Friedmann equation allowing for bouncing solutions. As we note in the present work, this Friedmann equation turns out to reproduce exactly the loop quantum cosmology effective dynamics for a flat isotropic and homogeneous space-time. We generalize this result to obtain a class of scalar-tensor theories, belonging to the family of mimetic gravity, which all reproduce the loop quantum cosmology effective dynamics for flat, closed and open isotropic and homogeneous space-times.


title: Improving Communication in Scrum Teams

abstract: Communication in teams is an important but difficult issue. In a Scrum development process, we use the Daily Scrum meetings to inform others about important problems, news and events in the project. When persons are absent due to holiday, illness or travel, they miss relevant information because there is no document that protocols the content of these meetings. We present a concept and a Twitter-like tool that improves communication in a Scrum development process. We take advantage out of the observation that many people do not like to create documentation but they do like to share what they did. We used the tool in industrial practice and observed an improvement in communication.


title: Interface-Driven Two-Dimensional Superconductivity in Bilayers of BaBiO$_3$ and BaPbO$_3$

abstract: Besides the cuprate superconductors lead-doped barium bismuthate still attracts intense interest concerning its relatively high critical temperature and the nature of its superconductivity in vicinity to a charge density wave ordered topological insulator. Here we present bilayers of barium bismuthate and barium leadate and find two-dimensional superconductivity at their interfaces well described by current-voltage characteristics compatible with a Berezinskii-Kosterlitz-Thouless transition. Magneto-transport studies independently prove the two-dimensional character of the superconducting properties in these bilayers. The particular dependence of the superconducting transition temperature on the thickness of the barium leadate top layer suggests the formation of the superconducting state to be strain-induced through the interface.


title: A Two-Step Distribution System State Estimator with Grid Constraints and Mixed Measurements

abstract: In this work we study the problem of State Estimation(SE) in large-scale, 3-phase coupled, unbalanced distribution systems. More specifically, we address the problem of including mixed real-time measurements, synchronized and unsynchronized, from phasor measurement units and smart meters, into existing solutions. We propose a computationally efficient two-step method to update a prior solution using the measurements, while taking into account physical constraint caused by buses with no loads. We test the method on a benchmark test feeder to illustrate the effectiveness of the approach.


title: Recurrence on Affine Grassmannians

abstract: We study the action of the affine group $G$ of $\mathbb{R}^d$ on the space $X_{k,\,d}$ of $k$-dimensional affine subspaces. Given a compactly-supported Zariski dense probability measure $\mu$ on $G$, we show that $X_{k,\,d}$ supports a $\mu$-stationary measure $\nu$ if and only if the $(k\!+\!1)^{\rm th}$-Lyapunov exponent of $\mu$ is strictly negative. In particular, when $\mu$ is symmetric, $\nu$ exists if and only if $2k\geq d$.


title: Probabilistic properties of the elliptic motion

abstract: In this paper we consider the plane elliptic motion which occurs if the moving centrode is a circle of radius $r$ and the fixed centrode a circle of radius $2r$. Every point of the moving plane generates an ellipse in the fixed plane. Let a disk of radius $R$, $0 \le R < \infty$, concentric to the moving centrode be attached to the moving plane. If a point $P$ is chosen at random from this disk, then the area and the perimeter of the ellipse generated by $P$ are random variables. We determine the moments and the distributions of these random variables for the case that $P$ is uniformly distributed over the area of the disk.


title: End-To-End Face Detection and Recognition

abstract: Plenty of face detection and recognition methods have been proposed and got delightful results in decades. Common face recognition pipeline consists of: 1) face detection, 2) face alignment, 3) feature extraction, 4) similarity calculation, which are separated and independent from each other. The separated face analyzing stages lead the model redundant calculation and are hard for end-to-end training. In this paper, we proposed a novel end-to-end trainable convolutional network framework for face detection and recognition, in which a geometric transformation matrix was directly learned to align the faces, instead of predicting the facial landmarks. In training stage, our single CNN model is supervised only by face bounding boxes and personal identities, which are publicly available from WIDER FACE \cite{Yang2016} dataset and CASIA-WebFace \cite{Yi2014} dataset. Tested on Face Detection Dataset and Benchmark (FDDB) \cite{Jain2010} dataset and Labeled Face in the Wild (LFW) \cite{Huang2007} dataset, we have achieved 89.24\% recall for face detection task and 98.63\% verification accuracy for face recognition task simultaneously, which are comparable to state-of-the-art results.


title: A note on graphs with disjoint maximal cliques ans a link with evasiveness

abstract: In this note, we prove that a finite vertex-transitive graph which has a clique which intersects all maximal cliques is a complete graph. This gives a positive answer in the case of vertex-transitive graphs to a question raised by Berge and Payan. It also gives a positive answer to a special case of the evasiveness conjecture.


title: Resonances for 1d Stark operators

abstract: We consider the Stark operator perturbed by a compactly supported potential (of a certain class) on the real line. We prove the following results: (a) upper and lower bounds on the number of resonances in complex discs with large radii, (b) the trace formula in terms of resonances only, (c) all resonances determine the potential uniquely.


title: A Note on the Polytope of Bipartite TSP

abstract: The main result of this paper is that the polytope of the bipartite TSP is significantly different from that of the general TSP. Comb inequalities are known as facet defining ones in the general case. In the bipartite case, however, many of them are satisfied whenever all degree and subtour elimination constraints are satisfied, {\em i.e.}\ these comb inequalities are not facet defining. The inequalities in question belong to the cases where vertices of one of the two classes occur in less than the half of the intersections of the teeth and the hand. Such side conditions are necessary, as simple example shows that the comb inequality can be violated when each class has vertices in more than the half of the intersections.


title: Remarks on Liouville Type Theorems for Steady-State Navier-Stokes Equations

abstract: Liouville type theorems for the stationary Navier-Stokes equations are proven under certain assumptions. These assumptions are motivated by conditions that appear in Liouvile type theorems for the heat equations with a given divergence free drift.


title: Space-Time Modulation Induced Non-reciprocity in Electromagnetic Metasurfaces

abstract: Space-time modulation induced non-reciprocity in EM metasurfaces is proposed and numerically demonstrated using rigorous Generalized Sheet Transitions Conditions (GSTCs) under oblique plane-wave incidence. It is phenomenologically shown that the space-time modulation of surface susceptibilities create an inherent asymmetry with respect to the directional perturbation on the metasurface and the transverse wave momentum of the input wave, between forward and backward propagations, resulting in non-reciprocal wave transmission. Exploiting the periodicity of the surface susceptibilities in both time and space, Floquet mode expansion method is used to rigorously compute the scattered fields from, inherently dispersive metasurfaces, by solving GSTCs in combination with causal Lorentzian surface susceptibilities. Various harmonic solutions are shown and the non-reciprocal wave transmission has been confirmed under oblique plane-wave incidence.


title: The magnetic strip(s) in the advanced phases of stellar evolution - Theoretical convective turnover timescale and Rossby number for low- and intermediate-mass stars up to the AGB at various metallicities

abstract: Recent spectropolarimetric observations of otherwise ordinary G, K, and M giants revealed localized magnetic strips in the HRD coincident with the regions where the first dredge-up and core He-burning occur. We seek to understand the origin of magnetic fields in such late-type giant stars. In analogy with late-type dwarf stars, we focus primarily on parameters known to influence the generation of magnetic fields in the outer convective envelope. We compute the classical dynamo parameters along the evolutionary tracks of low- and intermediate-mass stars at various metallicities using stellar models that have been extensively tested by spectroscopic and asteroseismic observations. These include convective turnover timescales and convective Rossby numbers, computed from the PMS to the tip of the RGB or the early AGB. To investigate the effects of the very extended outer convective envelope, we compute these parameters both for the entire convective envelope and locally, that is, at different depths within the envelope. We also compute the turnover timescales and corresponding Rossby numbers for the convective cores of intermediate-mass stars on the main sequence. Our models show that the Rossby number of the convective envelope becomes lower than unity in the well-delimited locations of the Hertzsprung-Russell diagram where magnetic fields have indeed been detected. We show that alpha-omega dynamo processes might not be continuously operating, but that they are favored in the stellar convective envelope at two specific moments along the evolution tracks, that is, during the first dredge-up at the base of the RGB and during central helium burning in the helium-burning phase and early-AGB. This general behavior can explain the so-called magnetic strips recently discovered by dedicated spectropolarimetric surveys of evolved stars.


title: Quadratic approximation of slow factor of volatility in a Multi-factor Stochastic volatility Model

abstract: In the present work, we propose a new multifactor stochastic volatility model in which slow factor of volatility is approximated by a parabolic arc. We retain ourselves to the perturbation technique to obtain approximate expression for European option prices. We introduce the notion of modified Black-Scholes price. We obtain a simplified expression for European option price which is perturbed around the modified Black-Scholes price and have also obtained the expression of modified price in terms of Black-Scholes price.


title: Probing the eigenstates thermalization hypothesis with many-particle quantum walks on lattices

abstract: We simulate dynamics of many-particle systems of bosons and fermions using discrete time quantum walks on lattices. We present a computational proof of a behavior of the simulated systems similar to the one observed in Hamiltonian dynamics during quantum thermalization. We record the time evolution of the entropy and the temperature of a specific particle configuration during the entire dynamics and observe how they relax to a state we call quantum walks thermal state. This observation is made on two types of lattices while simulating different numbers of particles walking on two grid graphs with 25 vertices. In each case, we observe that the vertices counting statistics, the temperature of the indexed configuration and the dimension of the effective configuration Hilbert space relax simultaneously and remain relaxed for the rest of the many-particle quantum walks.


title: Intraoperative margin assessment of human breast tissue in optical coherence tomography images using deep neural networks

abstract: Objective: In this work, we perform margin assessment of human breast tissue from optical coherence tomography (OCT) images using deep neural networks (DNNs). This work simulates an intraoperative setting for breast cancer lumpectomy. Methods: To train the DNNs, we use both the state-of-the-art methods (Weight Decay and DropOut) and a newly introduced regularization method based on function norms. Commonly used methods can fail when only a small database is available. The use of a function norm introduces a direct control over the complexity of the function with the aim of diminishing the risk of overfitting. Results: As neither the code nor the data of previous results are publicly available, the obtained results are compared with reported results in the literature for a conservative comparison. Moreover, our method is applied to locally collected data on several data configurations. The reported results are the average over the different trials. Conclusion: The experimental results show that the use of DNNs yields significantly better results than other techniques when evaluated in terms of sensitivity, specificity, F1 score, G-mean and Matthews correlation coefficient. Function norm regularization yielded higher and more robust results than competing methods. Significance: We have demonstrated a system that shows high promise for (partially) automated margin assessment of human breast tissue, Equal error rate (EER) is reduced from approximately 12\% (the lowest reported in the literature) to 5\%\,--\,a 58\% reduction. The method is computationally feasible for intraoperative application (less than 2 seconds per image).


title: On a $(p,q)$-Laplacian problem with parametric concave term and asymmetric perturbation

abstract: A Dirichlet problem driven by the $(p,q)$-Laplace operator and an asymmetric concave reaction with positive parameter is investigated. Four nontrivial smooth solutions (two positive, one negative, and the remaining nodal) are obtained once the parameter turns out to be sufficiently small. Under a oddness condition near the origin for the perturbation, a whole sequence of sign-changing solutions, which converges to zero, is produced.


title: Cosmological constraints on the neutrino mass including systematic uncertainties

abstract: When combining cosmological and oscillations results to constrain the neutrino sector, the question of the propagation of systematic uncertainties is often raised. We address this issue in the context of the derivation of an upper bound on the sum of the neutrino masses ($\Sigma m_\nu$) with recent cosmological data. This work is performed within the ${{\mathrm{\Lambda{CDM}}}}$ model extended to $\Sigma m_\nu$, for which we advocate the use of three mass-degenerate neutrinos. We focus on the study of systematic uncertainties linked to the foregrounds modelling in CMB data analysis, and on the impact of the present knowledge of the reionisation optical depth. This is done through the use of different likelihoods built from Planck data. Limits on $\Sigma m_\nu$ are derived with various combinations of data, including the latest Baryon Acoustic Oscillations (BAO) and Type Ia Supernovae (SN) results. We also discuss the impact of the preference for current CMB data for amplitudes of the gravitational lensing distortions higher than expected within the ${{\mathrm{\Lambda{CDM}}}}$ model, and add the Planck CMB lensing. We then derive a robust upper limit: $\Sigma m_\nu< 0.17\hbox{ eV at }95\% \hbox{CL}$, including 0.01 eV of foreground systematics. We also discuss the neutrino mass repartition and show that today's data do not allow one to disentangle normal from inverted hierarchy. The impact on the other cosmological parameters is also reported, for different assumptions on the neutrino mass repartition, and different high and low multipole CMB likelihoods.


title: Time-dependent N-electron valence perturbation theory with matrix product state reference wavefunctions for large active spaces and basis sets: Applications to the chromium dimer and all-trans polyenes

abstract: In earlier work [J. Chem. Phys. 144, 064102 (2016)], we introduced a time-dependent formulation of the second-order N-electron valence perturbation theory (t-NEVPT2) which (i) had a lower computational scaling than the usual internally-contracted perturbation formulation, and (ii) yielded the fully uncontracted NEVPT2 energy. Here, we present a combination of t-NEVPT2 with a matrix product state (MPS) reference wavefunction (t-MPS-NEVPT2) that allows to compute uncontracted dynamic correlation energies for large active spaces and basis sets, using the time-dependent density matrix renormalization group (td-DMRG) algorithm. In addition, we report a low-scaling MPS-based implementation of strongly-contracted NEVPT2 (sc-MPS-NEVPT2) that avoids computation of the four-particle reduced density matrix. We use these new methods to compute the dissociation energy of the chromium dimer and to study the low-lying excited states in all-trans polyenes (C$_4$H$_6$ to C$_{24}$H$_{26}$), incorporating dynamic correlation for reference wavefunctions with up to 24 active electrons and orbitals.


title: Some recent results on the Dirichlet problem for (p,q)-Laplace equations

abstract: A short account of recent existence and multiplicity theorems on the Dirichlet problem for an elliptic equation with $(p,q)$-Laplacian in a bounded domain is performed. Both eigenvalue problems and different types of perturbation terms are briefly discussed. Special attention is paid to possibly coercive, resonant, subcritical, critical, or asymmetric right-hand sides.


title: Social dynamics of financial networks

abstract: The global financial crisis in 2007-2009 demonstrated that systemic risk can spread all over the world through a complex web of financial linkages, yet we still lack fundamental knowledge about the evolution of the financial web. In particular, interbank credit networks shape the core of the financial system, in which a time-varying interconnected risk emerges from a massive number of temporal transactions between banks. The current lack of understanding of the mechanics of interbank networks makes it difficult to evaluate and control systemic risk. Here, we uncover fundamental dynamics of interbank networks by seeking the patterns of daily transactions between individual banks. We find stable interaction patterns between banks from which distinctive network-scale dynamics emerge. In fact, the dynamical patterns discovered at the local and network scales share common characteristics with social communication patterns of humans. To explain the origin of "social" dynamics in interbank networks, we provide a simple model that allows us to generate a sequence of synthetic daily networks characterized by the observed dynamical properties. The discovery of dynamical principles at the daily resolution will enhance our ability to assess systemic risk and could contribute to the real-time management of financial stability.


title: BPS black holes from massive IIA on S$^6$

abstract: We present BPS black hole solutions in a four-dimensional $\mathcal{N}=2$ supergravity with an abelian dyonic gauging of the universal hypermultiplet moduli space. This supergravity arises as the SU(3)-invariant subsector in the reduction of massive IIA supergravity on a six-sphere. The solutions are supported by non-constant scalar, vector and tensor fields and interpolate between a unique $\textrm{AdS}_{2} \,\times\, \textrm{H}^2$ geometry in the near-horizon region and the domain-wall DW$_{4}$ (four-dimensional) description of the D2-brane at the boundary. Some special solutions with charged AdS$_{4}$ or non-relativistic scaling behaviours in the ultraviolet are also presented.


title: New solar metallicity measurements

abstract: In the past years, a systematic downward revision of the metallicity of the Sun has led to the "solar modeling problem", namely the disagreement between predictions of standard solar models and inferences from helioseismology. Recent solar wind measurements of the metallicity of the Sun, however, provide once more an indication of a high-metallicity Sun. Because of the effects of possible residual fractionation, the derived value of the metallicity $Z_{\odot} = 0.0196 \pm 0.0014$ actually represents a lower limit to the true metallicity of the Sun. However, when compared with helioseismological measurements, solar models computed using these new abundances fail to restore agreement, owing to the implausibly high abundance of refractory (Mg, Si, S, Fe) elements, which correlates with a higher core temperature and hence an overproduction of solar neutrinos. Moreover, the robustness of these measurements is challenged by possible first ionization potential fractionation processes. I will discuss these solar wind measurements, which leave the "solar modeling problem" unsolved.


title: VEGAS: A VST Early-type GAlaxy Survey. II. Photometric study of giant ellipticals and their stellar halos

abstract: Observations of diffuse starlight in the outskirts of galaxies are thought to be a fundamental source of constraints on the cosmological context of galaxy assembly in the $\Lambda$CDM model. Such observations are not trivial because of the extreme faintness of such regions. In this work, we investigate the photometric properties of six massive early type galaxies (ETGs) in the VEGAS sample (NGC 1399, NGC 3923, NGC 4365, NGC 4472, NGC 5044, and NGC 5846) out to extremely low surface brightness levels, with the goal of characterizing the global structure of their light profiles for comparison to state-of-the-art galaxy formation models. We carry out deep and detailed photometric mapping of our ETG sample taking advantage of deep imaging with VST/OmegaCAM in the g and i bands. By fitting the light profiles, and comparing the results to simulations of elliptical galaxy assembly, we identify signatures of a transition between "relaxed" and "unrelaxed" accreted components and can constrain the balance between in situ and accreted stars. The very good agreement of our results with predictions from theoretical simulations demonstrates that the full VEGAS sample of $\sim 100$ ETGs will allow us to use the distribution of diffuse light as a robust statistical probe of the hierarchical assembly of massive galaxies.


title: Study of open-charm $0^+$ states in unitarized chiral effective theory with one-loop potentials

abstract: Chiral potentials are derived for the interactions between Goldstone bosons and pseudoscalar charmed mesons up to next-to-next-to-leading order in a covariant chiral effective field theory with explicit vector charmed-meson degrees of freedom. Using the extended-on-mass-shell scheme, we demonstrate that the ultraviolet divergences and the so-called power counting breaking terms can be properly absorbed by the low-energy constants of the chiral Lagrangians. We calculate the scattering lengths by unitarizing the one-loop potentials and fit them to the data extracted from lattice QCD. The obtained results are compared to the ones without an explicit contribution of vector charmed mesons given previously. It is found that the difference is negligible for $S$-wave scattering in the threshold region. This validates the use of $D^\ast$-less one-loop potentials in the study of the pertinent scattering lengths. We search for dynamically generated open-charm states with $J^P=0^+$ as poles of the $S$-matrix on various Riemann sheets. The trajectories of those poles for varying pion masses are presented as well.


title: On-disc Observations of Flux Rope Formation Prior to its Eruption

abstract: Coronal mass ejections (CMEs) are one of the primary manifestations of solar activity and can drive severe space weather effects. Therefore, it is vital to work towards being able to predict their occurrence. However, many aspects of CME formation and eruption remain unclear, including whether magnetic flux ropes are present before the onset of eruption and the key mechanisms that cause CMEs to occur. In this work, the pre-eruptive coronal configuration of an active region that produced an interplanetary CME with a clear magnetic flux rope structure at 1 AU is studied. A forward-S sigmoid appears in extreme-ultraviolet (EUV) data two hours before the onset of the eruption (SOL2012-06-14), which is interpreted as a signature of a right-handed flux rope that formed prior to the eruption. Flare ribbons and EUV dimmings are used to infer the locations of the flux rope footpoints. These locations, together with observations of the global magnetic flux distribution, indicate that an interaction between newly emerged magnetic flux and pre-existing sunspot field in the days prior to the eruption may have enabled the coronal flux rope to form via tether-cutting-like reconnection. Composition analysis suggests that the flux rope had a coronal plasma composition, supporting our interpretation that the flux rope formed via magnetic reconnection in the corona. Once formed, the flux rope remained stable for 2 hours before erupting as a CME.


title: 1.064-um-band up-conversion single-photon detector

abstract: Based on the technique of periodically poled lithium niobate (PPLN) waveguide, up-conversion single-photon detection at 1.064-{\mu}m is demonstrated. We have achieved a system photon detection efficiency (DE) of 32.5% with a very low noise count rate (NCR) of 45 counts per second (cps) by pumping with a 1.55-{\mu}m-band single frequency laser using the long-wavelength pumping technique and exploiting volume Bragg grating (VBG) as a narrow band filter. Replacing the VBG with a combination of adequate dielectric filters, a DE of up to 38% with a NCR of 700 cps is achieved, making the overall system more stable and practical. The up-conversion single-photon detector (SPD) operating at 1.064 {\mu}m can be a promising robust counter and find usage in many fields.


title: Stability conditions on Kuznetsov components

abstract: We introduce a general method to induce Bridgeland stability conditions on semiorthogonal components of triangulated categories. In particular, we prove the existence of Bridgeland stability conditions on the Kuznetsov component of the derived category of Fano threefolds and of cubic fourfolds. As an application, in the appendix, written jointly with Xiaolei Zhao, we give a variant of the proof of the Torelli theorem for cubic fourfolds by Huybrechts and Rennemo.


title: Treewidth distance on phylogenetic trees

abstract: In this article we study the treewidth of the \emph{display graph}, an auxiliary graph structure obtained from the fusion of phylogenetic (i.e., evolutionary) trees at their leaves. Earlier work has shown that the treewidth of the display graph is bounded if the trees are in some formal sense topologically similar. Here we further expand upon this relationship. We analyse a number of reduction rules which are commonly used in the phylogenetics literature to obtain fixed parameter tractable algorithms. In some cases (the \emph{subtree} reduction) the reduction rules behave similarly with respect to treewidth, while others (the \emph{cluster} reduction) behave very differently, and the behaviour of the \emph{chain reduction} is particularly intriguing because of its link with graph separators and forbidden minors. We also show that the gap between treewidth and Tree Bisection and Reconnect (TBR) distance can be infinitely large, and that unlike, for example, planar graphs the treewidth of the display graph can be as much as linear in its number of vertices. On a slightly different note we show that if a display graph is formed from the fusion of a phylogenetic network and a tree, rather than from two trees, the treewidth of the display graph is bounded whenever the tree can be topologically embedded ("displayed") within the network. This opens the door to the formulation of the display problem in Monadic Second Order Logic (MSOL). A number of other auxiliary results are given. We conclude with a discussion and list a number of open problems.


title: Folding and cytoplasm viscoelasticity contribute jointly to chromosome dynamics

abstract: The chromosome is a key player of cell physiology, and its dynamics provides valuable information about its physical organization. In both prokaryotes and eukaryotes, the short-time motion of chromosomal loci has been described as a Rouse model in a simple or viscoelastic medium. However, little emphasis has been put on the role played by the folded organization of chromosomes on the local dynamics. Clearly, stress-propagation, and thus dynamics, must be affected by such organization, but a theory allowing to extract such information from data, e.g.\ of two-point correlations, is lacking. Here, we describe a theoretical framework able to answer this general polymer dynamics question, and we provide a general scaling analysis of the stress-propagation time between two loci at a given arclength distance along the chromosomal coordinate. The results suggest a precise way to detect folding information from the dynamical coupling of chromosome segments. Additionally, we realize this framework in a specific theoretical model of a polymer with variable-range interactions in a viscoelastic medium characterized by a tunable scaling exponent, where we derive analytical estimates of the correlation functions.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech q-bio.SC


title: Boundary Perimeter Bethe Ansatz

abstract: We study the partition function of the six-vertex model in the rational limit on arbitrary Baxter lattices with reflecting boundary. Every such lattice is interpreted as an invariant of the twisted Yangian. This identification allows us to relate the partition function of the vertex model to the Bethe wave function of an open spin chain. We obtain the partition function in terms of creation operators on a reference state from the algebraic Bethe ansatz and as a sum of permutations and reflections from the coordinate Bethe ansatz.


title: Relativistic Tidal Acceleration of Astrophysical Jets

abstract: Within the framework of general relativity, we investigate the tidal acceleration of astrophysical jets relative to the central collapsed configuration ("Kerr source"). We neglect electromagnetic forces throughout. The rest frame of the Kerr source is locally defined via the set of hypothetical static observers in the spacetime exterior to the source. Relative to such a fiducial observer fixed on the rotation axis of the Kerr source, jet particles are tidally accelerated to almost the speed of light if their outflow speed is above a certain threshold, given roughly by one half of the Newtonian escape velocity at the location of the reference observer; otherwise, the particles reach a certain height, reverse direction and fall back toward the gravitational source.


title: Voevodsky's conjecture for cubic fourfolds and Gushel-Mukai fourfolds via noncommutative K3 surfaces

abstract: In the first part of this paper we will prove the Voevodsky's nilpotence conjecture for smooth cubic fourfolds and ordinary generic Gushel-Mukai fourfolds. Then, making use of noncommutative motives, we will prove the Voevodsky's nilpotence conjecture for generic Gushel-Mukai fourfolds containing a $\tau$-plane $\G(2,3)$ and for ordinary Gushel-Mukai fourfolds containing a quintic del Pezzo surface.


title: Constraints on Two Higgs Doublet Model Parameters in the light of rare $B$-Decays

abstract: We established the allowed parameters of two-Higgs doublet model(2HDM) from flavor physics observables, precisely from rare $B$ meson decays. In our analysis most formidable constraints on the 2HDM parameters arise from the branching ratio of rare radiative $B$ meson decay i.e., $B\to X_{s}\gamma$. However, the constraints arising from the branching ratio of $B_{s}\to\mu^{+}\mu^{-}$ decay in $m_{H^{\pm}}-\tan\beta$ plane give $m_{H^{\pm}} >$ 80 GeV for the value of $\tan\beta\sim 2$, that is in agreement with large electron-positron collider (LEP) data. Furthermore, we also investigate the bounds on the $CP$-even $m_{H}$ and $CP$-odd $m_{A^{0}}$ Higgs boson not only from above mentioned physical observables, but also from the zero crossing of the forward-backward asymmetry of $B\to K^{\ast}\mu^{+}\mu^{-}$ decay. Therefore, these bounds on parameters of the 2HDM will provides a fertile ground to test the 2HDM at current and future $B$-physics experiments.


title: A computational algebraic geometry approach to classify partial Latin rectangles

abstract: This paper provides an in-depth analysis of how computational algebraic geometry can be used to deal with the problem of counting and classifying $r\times s$ partial Latin rectangles based on $n$ symbols of a given size, shape, type or structure. The computation of Hilbert functions and triangular systems of radical ideals enables us to solve this problem for all $r,s,n\leq 6$. As a by-product, explicit formulas are determined for the number of partial Latin rectangles of size up to six. We focus then on the study of non-compressible regular partial Latin squares and their equivalent incidence structure called seminet, whose distribution into main classes is explicitly determined for point rank up to eight. We prove in particular the existence of two new configurations of point rank eight.


title: MidiNet: A Convolutional Generative Adversarial Network for Symbolic-domain Music Generation

abstract: Most existing neural network models for music generation use recurrent neural networks. However, the recent WaveNet model proposed by DeepMind shows that convolutional neural networks (CNNs) can also generate realistic musical waveforms in the audio domain. Following this light, we investigate using CNNs for generating melody (a series of MIDI notes) one bar after another in the symbolic domain. In addition to the generator, we use a discriminator to learn the distributions of melodies, making it a generative adversarial network (GAN). Moreover, we propose a novel conditional mechanism to exploit available prior knowledge, so that the model can generate melodies either from scratch, by following a chord sequence, or by conditioning on the melody of previous bars (e.g. a priming melody), among other possibilities. The resulting model, named MidiNet, can be expanded to generate music with multiple MIDI channels (i.e. tracks). We conduct a user study to compare the melody of eight-bar long generated by MidiNet and by Google's MelodyRNN models, each time using the same priming melody. Result shows that MidiNet performs comparably with MelodyRNN models in being realistic and pleasant to listen to, yet MidiNet's melodies are reported to be much more interesting.


title: Observation of Coulomb blockade in nanostructured epitaxial bilayer graphene on SiC

abstract: We study electron transport in nanostructures patterned in bilayer graphene patches grown epitaxially on SiC as a function of doping, magnetic field, and temperature. Away from charge neutrality transport is only weakly modulated by changes in carrier concentration induced by a local side-gate. At low n-type doping close to charge neutrality, electron transport resembles that in exfoliated graphene nanoribbons and is well described by tunnelling of single electrons through a network of Coulomb-blockaded islands. Under the influence of an external magnetic field, Coulomb blockade resonances fluctuate around an average energy and the gap shrinks as a function of magnetic field. At charge neutrality, however, conduction is less insensitive to external magnetic fields. In this regime we also observe a stronger suppression of the conductance below $T^*$, which we interpret as a sign of broken interlayer symmetry or strong fluctuations in the edge/potential disorder.


title: Temperature-induced increase of spin spiral periods

abstract: Spin-polarized scanning tunneling microscopy investigations reveal a significant increase of the magnetic period of spin spirals in three-atomic-layer-thick Fe films on Ir(111), from about 4nm at 8K to about 65nm at room temperature. We attribute this considerable influence of temperature on the magnetic length scale of noncollinear spin states to different exchange interaction coefficients in the different Fe layers. We thus propose a classical spin model which reproduces the experimental observations and in which the crucial feature is the presence of magnetically coupled atomic layers with different interaction strengths. This model might also apply for many other systems, especially magnetic multilayers.


title: Constructibilit\'e et mod\'eration uniformes en cohomologie \'etale

abstract: Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible: there is a stratification of S on whose strata these sheaves are locally constant constructible. After previous work of N. Katz and G. Laumon, or L. Illusie, on the special case in which S is generically of characteristic zero or the sheaves F are constant (with invertible torsion on S), here we study the dependency of the stratification on F. We show that a natural "uniform" tameness and constructibility condition satisfied by constant sheaves, which was introduced by O. Gabber, is stable under the functors R^if_*. If f is not proper, this result still holds assuming tameness at infinity, relatively to S. We also prove the existence of uniform bounds on Betti numbers, in particular for the stalks of the sheaves R^if_*Z/lZ, where l ranges through all prime numbers invertible on S.


title: Nonassociative Snyder phi4 Quantum Field Theory

abstract: In this article we define and quantize a truncated form of the nonassociative and noncommutative Snyder phi^4 field theory using the functional method in momentum space. More precisely, the action is approximated by expanding up to the linear order in the Snyder deformation parameter beta, producing an effective model on commutative spacetime for the computation of the two-, four- and six-point functions. The two- and four-point functions at one loop have the same structure as at the tree level, with UV divergences faster than in the commutative theory. The same behavior appears in the six-point function, with a logarithmic UV divergence and renders the theory unrenormalizable at beta^1 order except for the special choice of free parameters s_1=-s_2. We expect effects from nonassociativity on the correlation functions at beta^1 order, but these are cancelled due to the average over permutations.


title: Quenching of Hadron Spectra in Heavy Ion Collisions at the LHC

abstract: The $p_\perp$ dependence of the nuclear modification factor $R_{\rm AA}$ measured in PbPb collisions at the LHC exhibits a universal shape, which can be very well reproduced in a simple energy loss model based on the BDMPS medium-induced gluon spectrum. The scaling is observed for various hadron species ($h^\pm$, $D$, $J/\psi$) in different centrality classes and at both colliding energies, $\sqrt{s}=2.76$ TeV and $\sqrt{s}=5.02$ TeV. Results indicate an 10-20% increase of the transport coefficient from $\sqrt{s}=2.76$ TeV to $\sqrt{s}=5.02$ TeV, consistent with that of particle multiplicity. Based on this model, a data-driven procedure is suggested, which allows for the determination of the first and second moments of the quenching weight without any prior knowledge of the latter.


title: Giant Ferrimagnetism and Polarization in a Mixed Metal Perovskite Metal-Organic Framework

abstract: Perovskite metal-organic frameworks (MOFs) have recently emerged as potential candidates for multiferroicity. However, the compounds synthesized so far possess only weak ferromagnetism and low polarization. Additionally, the very low magnetic transition temperatures ($T_c$) also pose a challenge to the application of the materials. We have computationally designed a mixed metal perovskite MOF -[C(NH2)3][(Cu0.5Mn0.5)(HCOO)3]- that is predicted to have magnetization two orders of magnitude larger than its parent ([C(NH2)3][Cu(HCOO)3]), a significantly larger polarization (9.9 {\mu}C/cm2), and an enhanced $T_c$ of up to 56 K, unprecedented in perovskite MOFs. A detailed study of the magnetic interactions revealed a novel mechanism leading to the large moments as well as the increase in the $T_c$. Mixing a non-Jahn-Teller ion (Mn$^{2+}$) into a Jahn-Teller host (Cu$^{2+}$) leads to competing lattice distortions which are possibly responsible for the enhanced polarization. The MOF is thermodynamically stable as evidenced by the computed enthalpy of formation, and can likely be synthesized. Our work represents a first step towards rational design of multiferroic perovskite MOFs through the largely unexlpored mixed metal approach.


title: Asymptotics of the bound state induced by $\delta$-interaction supported on a weakly deformed plane

abstract: In this paper we consider the three-dimensional Schr\"{o}dinger operator with a $\delta$-interaction of strength $\alpha > 0$ supported on an unbounded surface parametrized by the mapping $\mathbb{R}^2\ni x\mapsto (x,\beta f(x))$, where $\beta \in [0,\infty)$ and $f\colon \mathbb{R}^2\rightarrow\mathbb{R}$, $f\not\equiv 0$, is a $C^2$-smooth, compactly supported function. The surface supporting the interaction can be viewed as a local deformation of the plane. It is known that the essential spectrum of this Schr\"odinger operator coincides with $[-\frac14\alpha^2,+\infty)$. We prove that for all sufficiently small $\beta > 0$ its discrete spectrum is non-empty and consists of a unique simple eigenvalue. Moreover, we obtain an asymptotic expansion of this eigenvalue in the limit $\beta \rightarrow 0+$. In particular, this eigenvalue tends to $-\frac14\alpha^2$ exponentially fast as $\beta\rightarrow 0+$.


title: Semigroup Well-posedness of A Linearized, Compressible Fluid with An Elastic Boundary

abstract: We address semigroup well-posedness of the fluid-structure interaction of a linearized compressible, viscous fluid and an elastic plate (in the absence of rotational inertia). Unlike existing work in the literature, we linearize the compressible Navier-Stokes equations about an arbitrary state (assuming the fluid is barotropic), and so the fluid PDE component of the interaction will generally include a nontrivial ambient flow profile $ \mathbf{U}$. The appearance of this term introduces new challenges at the level of the stationary problem. In addition, the boundary of the fluid domain is unavoidably Lipschitz, and so the well-posedness argument takes into account the technical issues associated with obtaining necessary boundary trace and elliptic regularity estimates. Much of the previous work on flow-plate models was done via Galerkin-type constructions after obtaining good a priori estimates on solutions (specifically \cite {Chu2013-comp}---the work most pertinent to ours here); in contrast, we adopt here a Lumer-Phillips approach, with a view of associating solutions of the fluid-structure dynamics with a $C_{0}$-semigroup $\left\{ e^{ \mathcal{A}t}\right\} _{t\geq 0}$ on the natural finite energy space of initial data. So, given this approach, the major challenge in our work becomes establishing of the maximality of the operator $\mathcal{A}$ which models the fluid-structure dynamics. In sum: our main result is semigroup well-posedness for the fully coupled fluid-structure dynamics, under the assumption that the ambient flow field $ \mathbf{U}\in \mathbf{H}^{3}(\mathcal{O})$ has zero normal component trace on the boundary (a standard assumption with respect to the literature). In the final sections we address well-posedness of the system in the presence of the von Karman plate nonlinearity, as well as the stationary problem associated with the dynamics.


title: A Suzaku, NuSTAR, and XMM-Newton view on variable absorption and relativistic reflection in NGC 4151

abstract: We disentangle X-ray disk reflection from complex line-of-sight absorption in the nearby Seyfert NGC 4151, using a suite of Suzaku, NuSTAR, and XMM-Newton observations. Extending upon earlier published work, we pursue a physically motivated model using the latest angle-resolved version of the lamp-post geometry reflection model relxillCp_lp together with a Comptonization continuum. We use the long-look simultaneous Suzaku/NuSTAR observation to develop a baseline model wherein we model reflected emission as a combination of lamp-post components at the heights of 1.2 and 15.0 gravitational radii. We argue for a vertically extended corona as opposed to two compact and distinct primary sources. We find two neutral absorbers (one full-covering and one partial-covering), an ionized absorber ($\log \xi = 2.8$), and a highly-ionized ultra-fast outflow, which have all been reported previously. All analyzed spectra are well described by this baseline model. The bulk of the spectral variability between 1 keV and 6 keV can be accounted for by changes in the column density of both neutral absorbers, which appear to be degenerate and inversely correlated with the variable hard continuum component flux. We track variability in absorption on both short (2 d) and long ($\sim$1 yr) timescales; the observed evolution is either consistent with changes in the absorber structure (clumpy absorber at distances ranging from the broad line region (BLR) to the inner torus or a dusty radiatively driven wind) or a geometrically stable neutral absorber that becomes increasingly ionized at a rising flux level. The soft X-rays below 1 keV are dominated by photoionized emission from extended gas that may act as a warm mirror for the nuclear radiation.


title: Profunctor Optics: Modular Data Accessors

abstract: CONTEXT: Data accessors allow one to read and write components of a data structure, such as the fields of a record, the variants of a union, or the elements of a container. These data accessors are collectively known as optics; they are fundamental to programs that manipulate complex data. INQUIRY: Individual data accessors for simple data structures are easy to write, for example as pairs of "getter" and "setter" methods. However, it is not obvious how to combine data accessors, in such a way that data accessors for a compound data structure are composed out of smaller data accessors for the parts of that structure. Generally, one has to write a sequence of statements or declarations that navigate step by step through the data structure, accessing one level at a time - which is to say, data accessors are traditionally not first-class citizens, combinable in their own right. APPROACH: We present a framework for modular data access, in which individual data accessors for simple data structures may be freely combined to obtain more complex data accessors for compound data structures. Data accessors become first-class citizens. The framework is based around the notion of profunctors, a flexible generalization of functions. KNOWLEDGE: The language features required are higher-order functions ("lambdas" or "closures"), parametrized types ("generics" or "abstract types"), and some mechanism for separating interfaces from implementations ("abstract classes" or "modules"). We use Haskell as a vehicle in which to present our constructions, but languages such as Java, C#, or Scala that provide the necessary features should work just as well. GROUNDING: We provide implementations of all our constructions, in the form of a literate program: the manuscript file for the paper is also the source code for the program, and the extracted code is available separately for evaluation. We also prove the essential properties demonstrating that our profunctor-based representations are precisely equivalent to the more familiar concrete representations. IMPORTANCE: Our results should pave the way to simpler ways of writing programs that access the components of compound data structures.


title: Language Oriented Modularity: From Theory to Practice

abstract: Language-oriented modularity (LOM) is a methodology that complements language-oriented programming (LOP) in providing on-demand language abstraction solutions during software development. It involves the implementation and immediate utilization of domain-specific languages (DSLs) that are also aspect-oriented (DSALs). However, while DSL development is affordable thanks to modern language workbenches, DSAL development lacks similar tool support. Consequently, LOM is often impractical and underutilized. The challenge we address is making the complexity of DSAL implementation comparable to that of DSLs and the effectiveness of programming with DSALs comparable to that of general-purpose aspect languages (GPALs). Today, despite being essentially both domain-specific and aspect-oriented, DSALs seem to be second-class. Aspect development tools (e.g., AJDT) do not work on DSAL code. DSL development tools like language workbenches (e.g., Spoofax) neither deal with the backend weaving nor handle the composition of DSALs. DSAL composition frameworks (e.g., Awesome) do not provide frontend development tools. DSAL code transformation approaches (e.g., XAspects) do not preserve the semantics of DSAL programs in the presence of other aspect languages. We extend AspectJ with a small set of annotations and interfaces that allows DSAL designers to define a semantic-preserving transformation to AspectJ and interface with AspectJ tools. Our transformation approach enables the use of standard language workbench to implement DSALs and use of standard aspect development tools to program with those DSALs. As a result, DSALs regain first-class status with respect to both DSLs and aspect languages. This, on the one hand, lowers the cost of developing DSALs to the level of DSLs and, on the other hand, raises the effectiveness of using a DSAL to the level of a GPAL. Consequently, LOM becomes cost-effective compared to the LOP baseline. We modified the ajc compiler to support our approach. Using two different language workbenches (Spoofax and Xtext) we then implemented several DSALs. AspectJ was supported out-of-the-box. We implemented Cool to demonstrate that the non-trivial composition of AspectJ and Cool can be accommodated using our approach. We applied LOM to crosscutting concerns in two open source projects (oVirt and muCommander), implementing in the process application-specific DSALs, thus providing a sense of the decrease in the cost of developing composable DSALs and the increase in the effectiveness of programming with them. Crosscutting concerns remain a problem in modern real-world projects (e.g., as observed in oVirt). DSALs are often the right tool for addressing these concerns. Our work makes LOM practical, thus facilitating use of DSAL solutions in the software development process.


title: Active Expressions: Basic Building Blocks for Reactive Programming

abstract: Modern software development without reactive programming is hard to imagine. Reactive programming favors a wide class of contemporary software systems that respond to user input, network messages, and other events. While reactive programming is an active field of research, the implementation of reactive concepts remains challenging. In particular, change detection represents a hard but inevitable necessity when implementing reactive concepts. Typically, change detection mechanisms are not intended for reuse but are tightly coupled to the particular change resolution mechanism. As a result, developers often have to re-implement similar abstractions. A reusable primitive for change detection is still missing. To find a suitable primitive, we identify commonalities in existing reactive concepts. We discover a class of reactive concepts, state-based reactive concepts. All state-based reactive concepts share a common change detection mechanism: they detect changes in the evaluation result of an expression. On the basis of the identified common change detection mechanism, we propose active expressions as a reusable primitive. By abstracting the tedious implementation details of change detection, active expressions can ease the implementation of reactive programming concepts. We evaluate the design of active expressions by re-implementing a number of existing state-based reactive concepts using them. The resulting implementations highlight the expressiveness of active expressions. Active expressions enable the separation of essential from non-essential parts when reasoning about reactive programming concepts. By using active expressions as a primitive for change detection, developers of reactive language constructs and runtime support can now focus on the design of how application programmers should be able to react to change. Ultimately, we would like active expressions to encourage experiments with novel reactive programming concepts and with that to yield a wider variety of them to explore.


title: The pragmatics of clone detection and elimination

abstract: The occurrence of similar code, or `code clones', can make program code difficult to read, modify and maintain. This paper describes industrial case studies of clone detection and elimination using a refactoring and clone detection tool. We discuss how the studies have informed the design of the tool; more importantly, we use the studies to illustrate the complex set of decisions that have to be taken when performing clone elimination in practice. The case studies were performed in collaboration with engineers from Ericsson AB, and used the refactoring tool Wrangler for Erlang. However, the conclusions we draw are largely language-independent, and set out the pragmatics of clone detection and elimination in real-world projects as well as design principles for clone detection decision-support tools.