title: Formation of an active region filament driven by a series of jets

abstract: We present a formation process of a filament in active region NOAA 12574 during the period from 2016 August 11 to 12. Combining the observations of GONG H$\alpha$, Hida spectrum and SDO/AIA 304 A, the formation process of the filament is studied. It is found that cool material ($T\sim10^4$ K) is ejected by a series of jets originating from the western foot-point of the filament. Simultaneously, the magnetic flux emerged from the photosphere in the vicinity of the western foot-point of the filament. These observations suggest that cool material in the low atmosphere can be directly injected into the upper atmosphere and the jets are triggered by the magnetic reconnection between pre-existing magnetic fields and new emerging magnetic fields. Detailed study of a jet at 18:02 UT on August 11 with GST/BBSO TiO observations reveals that some dark threads appeared in the vicinity of the western foot-point after the jet and the projection velocity of plasma along the filament axis was about 162.6$\pm$5.4 km/s. Using with DST/Hida observations, we find that the injected plasma by a jet at 00:42 UT on August 12 was rotating. Therefore, we conclude that the jets not only supplied the material for the filament, but also injected the helicity into the filament simultaneously. Comparing the quantity of mass injection by the jets with the mass of the filament, we conclude that the estimated mass loading by the jets is sufficient to account for the mass in the filament.


title: Improved training of neural trans-dimensional random field language models with dynamic noise-contrastive estimation

abstract: A new whole-sentence language model - neural trans-dimensional random field language model (neural TRF LM), where sentences are modeled as a collection of random fields, and the potential function is defined by a neural network, has been introduced and successfully trained by noise-contrastive estimation (NCE). In this paper, we extend NCE and propose dynamic noise-contrastive estimation (DNCE) to solve the two problems observed in NCE training. First, a dynamic noise distribution is introduced and trained simultaneously to converge to the data distribution. This helps to significantly cut down the noise sample number used in NCE and reduce the training cost. Second, DNCE discriminates between sentences generated from the noise distribution and sentences generated from the interpolation of the data distribution and the noise distribution. This alleviates the overfitting problem caused by the sparseness of the training set. With DNCE, we can successfully and efficiently train neural TRF LMs on large corpus (about 0.8 billion words) with large vocabulary (about 568 K words). Neural TRF LMs perform as good as LSTM LMs with less parameters and being 5x~114x faster in rescoring sentences. Interpolating neural TRF LMs with LSTM LMs and n-gram LMs can further reduce the error rates.


title: Conformal and CR mappings on Carnot groups

abstract: We consider a class of stratified groups with a CR structure and a compatible control distance. For these Lie groups we show that the space of conformal maps coincide with the space of CR and anti-CR diffeomorphisms. Furthermore, we prove that on products of such groups, all CR and anti-CR maps are product maps, up to a permutation isomorphism, and affine in each component.


title: A note on $G_{\delta}$ ideals of compact sets

abstract: Solecki has shown that a broad natural class of $G_{\delta}$ ideals of compact sets can be represented through the ideal of nowhere dense subsets of a closed subset of the hyperspace of compact sets. In this note we show that the closed subset in this representation can be taken to be closed upwards.


title: UAVs as Mobile Infrastructure: Addressing Battery Lifetime

abstract: Unmanned aerial vehicles (UAVs) are expected to play an important role in next generation cellular networks, acting as flying infrastructure which can serve ground users when regular infrastructure is overloaded or unavailable. As these devices are expected to operate wirelessly they will rely on an internal battery for their power supply, which will limit the amount of time they can operate over an area of interest before having to recharge. In this article, we outline three battery charging options that may be considered by a network operator and use simulations to demonstrate the performance impact of incorporating those options into a cellular network where UAV infrastructure provides wireless service.


title: Hadronic molecular assignment for the newly observed $\Omega^*$ state

abstract: Very recently, a new $\Omega^{*}$ state was reported by the Belle Collaboration, with its mass of $2012.4 \pm 0.7\ \text{(stat)}\pm 0.6\ \text{(syst)}\ \mathrm{MeV}$, which locates just below the $K\Xi^*$ threshold and hence hints to be a possible $K\Xi^*$ hadronic molecule. Using the effective Lagrangian approach as the same as our previous works for other possible hadronic molecular states, we investigate the decay behavior of this new $\Omega^*$ state within the hadronic molecular picture. The results show that the measured decay width can be reproduced well and its dominant decay channel is predicted to be the $K\pi\Xi$ three-body decay. This suggests that the newly observed $\Omega^*$ may be ascribed as the $J^P={3/2}^-$ $K\Xi^*$ hadronic molecular state and can be further checked through its $K\pi\Xi$ decay channel.


title: Searching for g modes: Part I. A new calibration of the GOLF instrument

abstract: The recent claims of g-mode detection have restarted the search for these potentially extremely important modes. These claims can be reassessed in view of the different data sets available from the SoHO instruments and ground-based instruments. We produce a new calibration of the GOLF data with a more consistent p-mode amplitude and a more consistent time shift correction compared to the time series used in the past. The calibration of 22 years of GOLF data is done with a simpler approach that uses only the predictive radial velocity of the SoHO spacecraft as a reference. Using p modes, we measure and correct the time shift between ground- and space-based instruments and the GOLF instrument. The p-mode velocity calibration is now consistent to within a few percent with other instruments. The remaining time shifts are within $\pm$ 5 s for 99.8% of the time series. Accepted by A&A on June 29, 2018


title: Dissociation of quarkonium in a strong electric field

abstract: The probability of tunnel decay of quarkonium (bond state of a heavy quark and a heavy antiquark) into free quarks in a strong electric field is estimated.


title: Building a Controlled Vocabulary for Standardizing Precision Medicine Terms

abstract: Rapid advances of technology and development of research in precision medicine domain have led to the production of different types of biomedical data. Standard medical vocabularies were shown to be limited in dealing with such heterogeneous data and consequently, new controlled vocabulary for data integration and normalization has been proposed. In this study, the precision medicine vocabulary (PMV), which is a controlled vocabulary for terms used in precision medicine, is built based on the method of data integration in Unified Medical Language System (UMLS). It now covers ten top semantic types of disease, drug, gene, gene variation and so on. In total of 1,372,967 concepts and 4,567,208 terms have been integrated from widely used databases related with precision medicine.


title: Modular Vehicle Control for Transferring Semantic Information Between Weather Conditions Using GANs

abstract: Even though end-to-end supervised learning has shown promising results for sensorimotor control of self-driving cars, its performance is greatly affected by the weather conditions under which it was trained, showing poor generalization to unseen conditions. In this paper, we show how knowledge can be transferred using semantic maps to new weather conditions without the need to obtain new ground truth data. To this end, we propose to divide the task of vehicle control into two independent modules: a control module which is only trained on one weather condition for which labeled steering data is available, and a perception module which is used as an interface between new weather conditions and the fixed control module. To generate the semantic data needed to train the perception module, we propose to use a generative adversarial network (GAN)-based model to retrieve the semantic information for the new conditions in an unsupervised manner. We introduce a master-servant architecture, where the master model (semantic labels available) trains the servant model (semantic labels not available). We show that our proposed method trained with ground truth data for a single weather condition is capable of achieving similar results on the task of steering angle prediction as an end-to-end model trained with ground truth data of 15 different weather conditions.


title: Independent Black Hole Mass Estimation for the \gamma-ray Detected Archetypal Narrow-Line Seyfert 1 Galaxy 1H 0323+342 from X-ray Variability

abstract: As a newly discovered class of radio-loud active galactic nuclei (AGNs), the \gamma-ray detected narrow-line Seyfert 1 galaxies (NLS1s) launch powerful jets which are generally found only in blazars and radio galaxies. However, their black hole (BH) masses as estimated from the broad emission lines are one order of magnitude or more lower than those in blazars. This brings new challenges for explaining the radio loudness triggering in AGNs. It is still under debate whether their BH masses from the commonly used virial method are underestimated. Here we present an estimate of the BH mass for the \gamma-ray detected NLS1 1H 0323+342, an archetype of this class, from the X-ray variability which is inclination independent. Our results independently confirm that this \gamma-ray detected NLS1 harbors a $(2.8-7.9)\times10^6\,M_{\odot}$ BH similar to those in normal NLS1s rather than those in blazars.


title: A short note on band projections in partially ordered vector spaces

abstract: Consider an Archimedean partially ordered vector space $X$ with generating cone (or, more generally, a pre-Riesz space $X$). Let $P$ be a linear projection on $X$ such that both $P$ and its complementary projection $I - P$ are positive; we prove that the range of $P$ is a band. This shows that the well-known concept of band projections on vector lattices can, to a certain extent, be transferred to the framework of ordered vector spaces.


title: On Runtime Enforcement via Suppressions

abstract: Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the behaviour specified by some correctness property on an executing system. The enforceability of a logic captures the extent to which the properties expressible via the logic can be enforced at runtime. We study the enforceability of Hennessy-Milner Logic with Recursion (muHML) with respect to suppression enforcement. We develop an operational framework for enforcement which we then use to formalise when a monitor enforces a muHML property. We also show that the safety syntactic fragment of the logic, sHML, is enforceable by providing an automated synthesis function that generates correct suppression monitors from sHML formulas.


title: Different versions of the nerve theorem and rainbow simplices

abstract: Given a simplicial complex and a collection of subcomplexes covering it, the nerve theorem, a fundamental tool in topological combinatorics, guarantees a certain connectivity of the simplicial complex when connectivity conditions on the intersection of the subcomplexes are satisfied. We show that it is possible to extend this theorem by replacing some of these connectivity conditions on the intersection of the subcomplexes by connectivity conditions on their union. While this is interesting for its own sake, we use this extension to generalize in various ways the Meshulam lemma, a powerful homological version of the Sperner lemma. We also prove a generalization of the Meshulam lemma that is somehow reminiscent of the polytopal generalization of the Sperner lemma by De Loera, Peterson, and Su. For this latter result, we use a different approach and we do not know whether there is a way to get it via a nerve theorem of some kind.


title: Local-in-time Physical Solutions of the Incompressible Semi-Geostrophic Equations in Eulerian Coordinates

abstract: We prove the existence of local-in-time smooth solutions of the incompressible semi-geostrophic equations expressed in Eulerian co-ordinates in 3-dimensional smooth bounded simply-connected domains. Our solutions adhere to Cullen's Stability Principle in that the geopotential is guaranteed to be a convex map for all times of its existence. We achieve our results by appealing to the theory of so-called div-curl systems (or Hodge systems), making use of recent results of Wang, which yield useful estimates on the ageostrophic velocity field. To our knowledge, this work constitutes the first time that any notion of bounded solution of the semi-geostrophic equations in Eulerian co-ordinates has been constructed on a bounded domain. Indeed, our work solves an open problem as highlighted by, among others, A. Figalli in his CIME lectures on the semi-geostrophic equations. Our methods are largely elementary. We discuss the application of the novel ideas in this work to the case of variable Coriolis force in the final section of the article.


title: On a class of Feynman integrals evaluating to iterated integrals of modular forms

abstract: In this talk we discuss a class of Feynman integrals, which can be expressed to all orders in the dimensional regularisation parameter as iterated integrals of modular forms. We review the mathematical prerequisites related to elliptic curves and modular forms. Feynman integrals, which evaluate to iterated integrals of modular forms go beyond the class of multiple polylogarithms. Nevertheless, we may bring for all examples considered the associated system of differential equations by a non-algebraic transformation to an $\varepsilon$-form, which makes a solution in terms of iterated integrals immediate.


title: Tuning oxygen vacancy diffusion through strain in SrTiO$_3$ thin films

abstract: Understanding the diffusion of oxygen vacancies in oxides under different external stimuli is crucial for the design of ion-based electronic devices, improve catalytic performance, etc. In this manuscript, using an external electric field produced by an AFM tip, we obtain the room-temperature diffusion coefficient of oxygen-vacancies in thin-films of SrTiO$_3$ under compressive/tensile epitaxial strain. Tensile strain produces a substantial increase of the diffusion coefficient, facilitating the mobility of vacancies through the film. Additionally, the effect of tip bias, pulse time, and temperature on the local concentration of vacancies is investigated. These are important parameters of control in the production and stabilization of non-volatile states in ion-based memresistive devices. Our findings show the key role played by strain for the control of oxygen vacancy migration in thin-film oxides.


title: Representations of Affine Group Schemes Over General Rings

abstract: Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base ring, pure group schemes have a classifying space satisfying the resolution property, an embedding into some GLn, a tensor generator for their category of finite type representations, and can be reconstructed from their category of projective finite type representations. In the case of an Artinian base ring, the same is true for all affine, flat, finitely presented group schemes, this answers a question of Conrad. We also prove that quotients of pure groups by closed pure subgroups over an arbitrary base scheme are Zariski-locally quasi-projective. This answers a question of Raynaud, in the case of affine groups. We give various applications.


title: Electron-Light Interactions beyond the Adiabatic Approximation: Recoil Engineering and Spectral Interferometry

abstract: The adiabatic approximation has formed the basis for much of our understandings of the interaction of light and electrons. The classical non-recoil approximation or quantum mechanical Wolkow states of free electron waves have been routinely employed to interpret the outcomes of low-loss EELS or electron holography. Despite the enormous success of semianalytical approximations, there are certainly ranges of electron-photon coupling strengths where more demanding self consistent analyses are to be exploited to thoroughly grasp our experimental results. Slow electron point projection microscopes and many of the photoemission experiments are employed within such ranges. Here we aim to classify those regimes and propose numerical solutions for an accurate simulation model. A survey of the works carried out within self-consistent Maxwell-Lorentz and Maxwell Schrodinger frameworks are outlined. Several applications of the proposed frameworks are discussed, and an outlook for further investigations is also delivered.


title: A First Analysis of Kernels for Kriging-based Optimization in Hierarchical Search Spaces

abstract: Many real-world optimization problems require significant resources for objective function evaluations. This is a challenge to evolutionary algorithms, as it limits the number of available evaluations. One solution are surrogate models, which replace the expensive objective. A particular issue in this context are hierarchical variables. Hierarchical variables only influence the objective function if other variables satisfy some condition. We study how this kind of hierarchical structure can be integrated into the model based optimization framework. We discuss an existing kernel and propose alternatives. An artificial test function is used to investigate how different kernels and assumptions affect model quality and search performance.


title: Submap-based Pose-graph Visual SLAM: A Robust Visual Exploration and Localization System

abstract: For VSLAM (Visual Simultaneous Localization and Mapping), localization is a challenging task, especially for some challenging situations: textureless frames, motion blur, etc.. To build a robust exploration and localization system in a given space or environment, a submap-based VSLAM system is proposed in this paper. Our system uses a submap back-end and a visual front-end. The main advantage of our system is its robustness with respect to tracking failure, a common problem in current VSLAM algorithms. The robustness of our system is compared with the state-of-the-art in terms of average tracking percentage. The precision of our system is also evaluated in terms of ATE (absolute trajectory error) RMSE (root mean square error) comparing the state-of-the-art. The ability of our system in solving the `kidnapped' problem is demonstrated. Our system can improve the robustness of visual localization in challenging situations.


title: Is Neuromorphic MNIST neuromorphic? Analyzing the discriminative power of neuromorphic datasets in the time domain

abstract: The advantage of spiking neural networks (SNNs) over their predecessors is their ability to spike, enabling them to use spike timing for coding and efficient computing. A neuromorphic dataset should allow a neuromorphic algorithm to clearly show that a SNN is able to perform better on the dataset than an ANN. We have analyzed both N-MNIST and N-Caltech101 along these lines, but focus our study on N-MNIST. First we evaluate if additional information is encoded in the time domain in a neuromoprhic dataset. We show that an ANN trained with backpropagation on frame based versions of N-MNIST and N-Caltech101 images achieve 99.23% and 78.01% accuracy. These are the best classification accuracies obtained on these datasets to date. Second we present the first unsupervised SNN to be trained on N-MNIST and demonstrate results of 91.78%. We also use this SNN for further experiments on N-MNIST to show that rate based SNNs perform better, and precise spike timings are not important in N-MNIST. N-MNIST does not, therefore, highlight the unique ability of SNNs. The conclusion of this study opens an important question in neuromorphic engineering - what, then, constitutes a good neuromorphic dataset?


title: A Survey on Agent-based Simulation using Hardware Accelerators

abstract: Due to decelerating gains in single-core CPU performance, computationally expensive simulations are increasingly executed on highly parallel hardware platforms. Agent-based simulations, where simulated entities act with a certain degree of autonomy, frequently provide ample opportunities for parallelisation. Thus, a vast variety of approaches proposed in the literature demonstrated considerable performance gains using hardware platforms such as many-core CPUs and GPUs, merged CPU-GPU chips as well as FPGAs. Typically, a combination of techniques is required to achieve high performance for a given simulation model, putting substantial burden on modellers. To the best of our knowledge, no systematic overview of techniques for agent-based simulations on hardware accelerators has been given in the literature. To close this gap, we provide an overview and categorisation of the literature according to the applied techniques. Since at the current state of research, challenges such as the partitioning of a model for execution on heterogeneous hardware are still a largely manual process, we sketch directions for future research towards automating the hardware mapping and execution. This survey targets modellers seeking an overview of suitable hardware platforms and execution techniques for a specific simulation model, as well as methodology researchers interested in potential research gaps requiring further exploration.


title: Design Considerations for High-purity Heralded Single Photon Sources

abstract: When building a parametric downconversion photon-pair source with spectrally separable photons, e.g. for making high-purity heralded single photons, two practical issues must be accounted for: the design of the experiment, and its characterization. To address experiment design, we study the impact on spectral separability of realistic (sech shaped and chirped) pump fields, realistic nonlinear crystals with fabrication imperfections, and undesirable PDC generation far from the central PMF peak coming from nonlinearity shaping methods. To address experiment characterization, we study the effect of discretization and spectral range of the measured bi-photon joint spectrum, the difference between inferring separability from the joint spectral amplitude vs. the joint spectral intensity, and advantages of interference experiments for purity characterization over methods based on the joint spectral intensity. This study will be of practical interest to researchers building the next generation of nonlinear sources of separable photon pairs.


title: Industrial Big Data Analytics: Challenges, Methodologies, and Applications

abstract: While manufacturers have been generating highly distributed data from various systems, devices and applications, a number of challenges in both data management and data analysis require new approaches to support the big data era. These challenges for industrial big data analytics is real-time analysis and decision-making from massive heterogeneous data sources in manufacturing space. This survey presents new concepts, methodologies, and applications scenarios of industrial big data analytics, which can provide dramatic improvements in velocity and veracity problem solving. We focus on five important methodologies of industrial big data analytics: 1) Highly distributed industrial data ingestion: access and integrate to highly distributed data sources from various systems, devices and applications; 2) Industrial big data repository: cope with sampling biases and heterogeneity, and store different data formats and structures; 3) Large-scale industrial data management: organizes massive heterogeneous data and share large-scale data; 4) Industrial data analytics: track data provenance, from data generation through data preparation; 5) Industrial data governance: ensures data trust, integrity and security. For each phase, we introduce to current research in industries and academia, and discusses challenges and potential solutions. We also examine the typical applications of industrial big data, including smart factory visibility, machine fleet, energy management, proactive maintenance, and just in time supply chain. These discussions aim to understand the value of industrial big data. Lastly, this survey is concluded with a discussion of open problems and future directions.


title: On Global-in-time Chaotic Weak Solutions of the Liouville Equation for Hard Spheres

abstract: We outline a new method of construction of global-in-time weak solutions of the Liouville equation - and also of the associated BBGKY hierarchy - corresponding to the hard sphere singular Hamiltonian. Our method makes use only of geometric reflection arguments on phase space. As a consequence of our method, in the case of $N=2$ hard spheres, we show for any chaotic initial data, the unique global-in-time weak solution $F$ of the Liouville equation is realised as $F=\mathsf{R}(f\otimes f)$ in the sense of tempered distributions on $T\mathbb{R}^{6}\times (-\infty, \infty)$, where $\mathsf{R}$ is a 'reflection-type' operator on Schwartz space, and $f$ is a global-in-time classical solution of the 1-particle free transport Liouville equation on $T\mathbb{R}^{3}$.


title: Stein-Weiss inequality on product spaces

abstract: We give a classification between weighted norm inequalities of strong fractional integral operators, and their associated multi-parameter Muckenhoupt characteristics, bu considering the weights to be power functions. As a result, we extend the classical Stein-Weiss theorem to product spaces.


title: Linear Combination of Distance Measures for Surrogate Models in Genetic Programming

abstract: Surrogate models are a well established approach to reduce the number of expensive function evaluations in continuous optimization. In the context of genetic programming, surrogate modeling still poses a challenge, due to the complex genotype-phenotype relationships. We investigate how different genotypic and phenotypic distance measures can be used to learn Kriging models as surrogates. We compare the measures and suggest to use their linear combination in a kernel. We test the resulting model in an optimization framework, using symbolic regression problem instances as a benchmark. Our experiments show that the model provides valuable information. Firstly, the model enables an improved optimization performance compared to a model-free algorithm. Furthermore, the model provides information on the contribution of different distance measures. The data indicates that a phenotypic distance measure is important during the early stages of an optimization run when less data is available. In contrast, genotypic measures, such as the tree edit distance, contribute more during the later stages.


title: Coopetitive Soft Gating Ensemble

abstract: In this article, we propose the Coopetititve Soft Gating Ensemble or CSGE for general machine learning tasks and interwoven systems. The goal of machine learning is to create models that generalize well for unknown datasets. Often, however, the problems are too complex to be solved with a single model, so several models are combined. Similar, Autonomic Computing requires the integration of different systems. Here, especially, the local, temporal online evaluation and the resulting (re-)weighting scheme of the CSGE makes the approach highly applicable for self-improving system integrations. To achieve the best potential performance the CSGE can be optimized according to arbitrary loss functions making it accessible for a broader range of problems. We introduce a novel training procedure including a hyper-parameter initialisation at its heart. We show that the CSGE approach reaches state-of-the-art performance for both classification and regression tasks. Further on, the CSGE provides a human-readable quantification on the influence of all base estimators employing the three weighting aspects. Moreover, we provide a scikit-learn compatible implementation.


title: More on limited packings in graphs

abstract: A set $B$ of vertices in a graph $G$ is called a \emph{$k$-limited packing} if for each vertex $v$ of $G$, its closed neighbourhood has at most $k$ vertices in $B$. The \emph{$k$-limited packing number} of a graph $G$, denoted by $L_k(G)$, is the largest number of vertices in a $k$-limited packing in $G$. The concept of the $k$-limited packing of a graph was introduced by Gallant et al., which is a generalization of the well-known packing of a graph. In this paper, we present some tight bounds for the $k$-limited packing number of a graph in terms of its order, diameter, girth, and maximum degree, respectively. As a result, we obtain the tight Nordhaus-Gaddum-type result of this parameter for general $k$. At last, we investigate the relationship among the open packing number, the packing number and $2$-limited packing number of trees.


title: On the number of coloured triangulations of $d$-manifolds

abstract: We give superexponential lower and upper bounds on the number of coloured $d$-dimensional triangulations whose underlying space is an oriented manifold, when the number of simplices goes to infinity and $d\geq 3$ is fixed. In the special case of dimension $3$, the lower and upper bounds match up to exponential factors, and we show that there are $2^{O(n)} n^{\frac{n}{6}}$ coloured triangulations of $3$-manifolds with $n$ tetrahedra. Our results also imply that random coloured triangulations of $3$-manifolds have a sublinear number of vertices. Our upper bounds apply in particular to coloured $d$-spheres for which they seem to be the best known bounds in any dimension $d\geq 3$, even though it is often conjectured that exponential bounds hold in this case. We also ask a related question on regular edge-coloured graphs having the property that each $3$-coloured component is planar, which is of independent interest.


title: Rethinking Misalignment to Raise the Bar for Heap Pointer Corruption

abstract: Heap layout randomization renders a good portion of heap vulnerabilities unexploitable. However, some remnants of the vulnerabilities are still exploitable even under the randomized layout. According to our analysis, such heap exploits often abuse pointer-width allocation granularity to spray crafted pointers. To address this problem, we explore the efficacy of byte-granularity (the most fine-grained) heap randomization. Heap randomization, in general, has been a well-trodden area; however, the efficacy of byte-granularity randomization has never been fully explored as \emph{misalignment} raises various concerns. This paper unravels the pros and cons of byte-granularity heap randomization by conducting comprehensive analysis in three folds: (i) security effectiveness, (ii) performance impact, and (iii) compatibility analysis to measure deployment cost. Security discussion based on 20 CVE case studies suggests that byte-granularity heap randomization raises the bar against heap exploits more than we initially expected; as pointer spraying approach is becoming prevalent in modern heap exploits. Afterward, to demystify the skeptical concerns regarding misalignment, we conduct cycle-level microbenchmarks and report that the performance cost is highly concentrated to edge cases depending on L1-cache line. Based on such observations, we design and implement an allocator suited to optimize the performance cost of byte-granularity heap randomization; then evaluate the performance with the memory-intensive benchmark (SPEC2006). Finally, we discuss compatibility issues using Coreutils, Nginx, and ChakraCore.


title: Spatial Distribution of Phase Singularities in Optical Random Vector Waves

abstract: Phase singularities are dislocations widely studied in optical fields as well as in other areas of physics. With experiment and theory we show that the vectorial nature of light affects the spatial distribution of phase singularities in random light fields. While in scalar random waves phase singularities exhibit spatial distributions reminiscent of particles in isotropic liquids, in vector fields their distribution for the different vector components becomes anisotropic due to the direct relation between propagation and field direction. By incorporating this relation in the theory for scalar fields by Berry and Dennis [Proc. R. Soc. A 456, 2059 (2000)], we quantitatively describe our experiments.


title: Oscillate Boiling from Electrical Microheaters

abstract: Oscillate boiling offers excellent heat transfer at temperatures above the Leidenfrost temperature. Here we realize an electrical microheater with an integrated thermal probe and resolve the thermal cycle during the high-frequency bubble oscillations. Thermal rates of $10^8\,$K/s were found indicating its applicability for compact and rapid heat transfer from micro electrical devices.


title: Deep Architectures and Ensembles for Semantic Video Classification

abstract: This work addresses the problem of accurate semantic labelling of short videos. To this end, a multitude of different deep nets, ranging from traditional recurrent neural networks (LSTM, GRU), temporal agnostic networks (FV,VLAD,BoW), fully connected neural networks mid-stage AV fusion and others. Additionally, we also propose a residual architecture-based DNN for video classification, with state-of-the art classification performance at significantly reduced complexity. Furthermore, we propose four new approaches to diversity-driven multi-net ensembling, one based on fast correlation measure and three incorporating a DNN-based combiner. We show that significant performance gains can be achieved by ensembling diverse nets and we investigate factors contributing to high diversity. Based on the extensive YouTube8M dataset, we provide an in-depth evaluation and analysis of their behaviour. We show that the performance of the ensemble is state-of-the-art achieving the highest accuracy on the YouTube-8M Kaggle test data. The performance of the ensemble of classifiers was also evaluated on the HMDB51 and UCF101 datasets, and show that the resulting method achieves comparable accuracy with state-of-the-art methods using similar input features.


title: Persistence and Lifelong Fidelity of Phase Singularities in Optical Random Waves

abstract: Phase singularities are locations where light is twisted like a corkscrew, with positive or negative topological charge depending on the twisting direction. Among the multitude of singularities arising in random wave fields, some can be found at the same location, but only when they exhibit opposite topological charge, which results in their mutual annihilation. New pairs can be created as well. With near-field experiments supported by theory and numerical simulations, we study the persistence and pairing statistics of phase singularities in random optical fields as a function of the excitation wavelength. We demonstrate how such entities can encrypt fundamental properties of the random fields in which they arise.


title: Kitting in the Wild through Online Domain Adaptation

abstract: Technological developments call for increasing perception and action capabilities of robots. Among other skills, vision systems that can adapt to any possible change in the working conditions are needed. Since these conditions are unpredictable, we need benchmarks which allow to assess the generalization and robustness capabilities of our visual recognition algorithms. In this work we focus on robotic kitting in unconstrained scenarios. As a first contribution, we present a new visual dataset for the kitting task. Differently from standard object recognition datasets, we provide images of the same objects acquired under various conditions where camera, illumination and background are changed. This novel dataset allows for testing the robustness of robot visual recognition algorithms to a series of different domain shifts both in isolation and unified. Our second contribution is a novel online adaptation algorithm for deep models, based on batch-normalization layers, which allows to continuously adapt a model to the current working conditions. Differently from standard domain adaptation algorithms, it does not require any image from the target domain at training time. We benchmark the performance of the algorithm on the proposed dataset, showing its capability to fill the gap between the performances of a standard architecture and its counterpart adapted offline to the given target domain.


title: Metamagnetic jump in the spin-1/2 antiferromagnetic Heisenberg model on the square-kagome lattice

abstract: The magnetization process of the spin-1/2 antiferromagnetic Heisenberg model on two-dimensional square-kagome lattice is studied theoretically. The metamagnetic jumps exist in the magnetization process at the higher edge of the 1/3 and 2/3 plateaus. The parameter-dependencies of the critical field and the magnitude of the magnetization jump at the higher edge of the 1/3 plateau are obtained by using the approximated state in the unit cell and compared with the nu- merical results of the exact diagonalization of 42 sites.


title: Calculation of a complete set of spin observables for proton elastic scattering from stable and unstable nuclei

abstract: A microscopic study of proton elastic scattering from unstable nuclei at intermediate energies using a relativistic formalism is presented. We have employed both the original relativistic impulse approximation (IA1) and the generalised impulse approximation (IA2) formalisms to calculate the relativistic optical potentials, with target densities derived from relativistic mean field (RMF) theory using the NL3 and FSUGold parameter sets. Comparisons between the optical potentials computed using both IA1 and IA2 formalisms, and the different RMF Lagrangians are presented for both stable and unstable targets. The comparisons are required to study the effect of using IA1 versus IA2 optical potentials, with different RMF parameter sets, on elastic scattering observables for unstable targets at intermediate energies. We also study the effect of full-folding versus the factorized form of the optical potentials on elastic scattering observables. As with the case for stable nuclei, we found that the use of the full-folding optical potential improves the scattering observables (especially spin observables) at low intermediate energy (e.g. 200MeV). No discernible difference is found at a projectile incident energy of 500 MeV. To check the validity of using localized optical potential, we calculate the scattering observables using non-local potentials by solving the momentum space Dirac equation. The Dirac equation is transformed to two coupled Lippmann-Schwinger equations, which are then numerically solved to obtain elastic scattering observables. The results are discussed and compared to calculations involving local coordinate-space optical potentials.


title: Geometry of nonadiabatic quantum hydrodynamics

abstract: The Hamiltonian action of a Lie group on a symplectic manifold induces a momentum map generalizing Noether's conserved quantity occurring in the case of a symmetry group. Then, when a Hamiltonian function can be written in terms of this momentum map, the Hamiltonian is called `collective'. Here, we derive collective Hamiltonians for a series of models in quantum molecular dynamics for which the Lie group is the composition of smooth invertible maps and unitary transformations. In this process, different fluid descriptions emerge from different factorization schemes for either the wavefunction or the density operator. After deriving this series of quantum fluid models, we regularize their Hamiltonians for finite $\hbar$ by introducing local spatial smoothing. In the case of standard quantum hydrodynamics, the $\hbar\ne0$ dynamics of the Lagrangian path can be derived as a finite-dimensional canonical Hamiltonian system for the evolution of singular solutions called `Bohmions', which follow Bohmian trajectories in configuration space. For molecular dynamics models, application of the smoothing process to a new factorization of the density operator leads to a finite-dimensional Hamiltonian system for the interaction of multiple (nuclear) Bohmions and a sequence of electronic quantum states.

categories: math-ph math.MP nlin.CD physics.chem-ph quant-ph


title: Screening and fluctuation of the topological charge in random wave fields

abstract: Vortices, phase singularities, and topological defects of any kind often reflect information that is crucial for understanding physical systems in which such entities arise. With near-field experiments supported by numerical calculations, we determine the fluctuations of the topological charge for phase singularities in isotropic random waves as a function of the size R of the observation window. We demonstrate that for two-dimensional fields such fluctuations increase with a superlinear scaling law, consistent with a R log R behavior. Additionally, we show that such scaling remains valid in the presence of anisotropy.


title: Encoding a qubit in a trapped-ion mechanical oscillator

abstract: The stable operation of quantum computers will rely on error-correction, in which single quantum bits of information are stored redundantly in the Hilbert space of a larger system. Such encoded qubits are commonly based on arrays of many physical qubits, but can also be realized using a single higher-dimensional quantum system, such as a harmonic oscillator. A powerful encoding is formed from a periodically spaced superposition of position eigenstates. Various proposals have been made for realizing approximations to such states, but these have thus far remained out of reach. Here, we demonstrate such an encoded qubit using a superposition of displaced squeezed states of the harmonic motion of a single trapped Calcium ion, controlling and measuring the oscillator through coupling to an ancilliary internal-state qubit. We prepare and reconstruct logical states with an average square fidelity of $87.3 \pm 0.7 \%$, and demonstrate a universal logical single qubit gate set which we analyze using process tomography. For Pauli gates we reach process fidelities of $\approx 97\%$, while for continuous rotations we use gate teleportation achieving fidelities of $\approx 89 \%$. The control demonstrated opens a route for exploring continuous variable error-correction as well as hybrid quantum information schemes using both discrete and continuous variables. The code states also have direct applications in quantum sensing, allowing simultaneous measurement of small displacements in both position and momentum.


title: Molecular movie of ultrafast coherent rotational dynamics

abstract: Recording molecular movies on ultrafast timescales has been a longstanding goal for unravelling detailed information about molecular dynamics. We present the direct experimental recording of very-high-resolution and -fidelity molecular movies over more than one-and-a-half periods of the laser-induced rotational dynamics of carbonylsulfide (OCS) molecules. Utilising the combination of single-quantum-state selection and an optimised two-pulse sequence to create a tailored rotational wavepacket, an unprecedented degree of field-free alignment, $\langle \cos^{2}{\theta_{2D}}\rangle=0.96$ ($\langle \cos^{2}{\theta}\rangle=0.94$) was achieved, exceeding the theoretical limit for single-pulse alignment. The very rich experimentally observed quantum dynamics is fully recovered by the angular probability distribution obtained from solutions of the time-dependent Schr\"odinger equation with parameters refined against the experiment. The populations and phases of rotational states in the retrieved time-dependent three-dimensional wavepacket rationalised the observed very high degree of alignment.


title: Deep Neural Object Analysis by Interactive Auditory Exploration with a Humanoid Robot

abstract: We present a novel approach for interactive auditory object analysis with a humanoid robot. The robot elicits sensory information by physically shaking visually indistinguishable plastic capsules. It gathers the resulting audio signals from microphones that are embedded into the robotic ears. A neural network architecture learns from these signals to analyze properties of the contents of the containers. Specifically, we evaluate the material classification and weight prediction accuracy and demonstrate that the framework is fairly robust to acoustic real-world noise.


title: Spatial bunching of same-charge polarization singularities in two-dimensional random vector waves

abstract: Topological singularities are ubiquitous in many areas of physics. Polarization singularities are locations at which an aspect of the polarization ellipse of light becomes undetermined or degenerate. At C points the orientation of the ellipse becomes degenerate and light's electric field vector describes a perfect circle in time. In 2D slices of 3D random fields the distribution in space of the C points is reminiscent of that of interacting particles. With near-field experiments we show that when light becomes truly 2D, this has severe consequences for the distribution of C points in space. The most notable change is that the probability of finding two C points with the same topological charge at a vanishing distance is enhanced in a 2D field. This is an unusual finding for any system which exhibits topological singularities as same-charge repulsion is typically observed. All our experimental findings are supported with theory and excellent agreement is found between theory and experiment.


title: Mode-locked fiber laser with offset splicing between two multimode fibers as a saturable absorber

abstract: A novel mode-locked fiber laser based on offset splicing technology between two kinds of graded index multimode fibers is proposed and experimentally demonstrated. The offset splice spot structure acts as a saturable absorber via nonlinear multimodal interference mechanism. The absorption modulation depth of the device is 2.8%, with a saturation intensity of 2.5 MW/cm2. The fiber laser operates at a stable mode-locked state when the pump power reaches 114 mW. The laser oscillates at 1039 nm with a pulsewidth of 17.6 ps, a repetition rate of 32.619 MHz, and a high signal noise ratio of 65 dB. The fiber laser is superior in terms of low cost, high damage threshold, and easy fabrication, thus providing many potential applications in ultrafast photonics and industrial processing.


title: Non-existence of global characteristics for viscosity solutions

abstract: Two different types of generalized solutions, namely viscosity and variational solutions, were introduced to solve the first-order evolutionary Hamilton--Jacobi equation. They coincide if the Hamiltonian is convex in the momentum variable. In this paper we prove that there exists no other class of integrable Hamiltonians sharing this property. To do so, we build for any non-convex non-concave integrable Hamiltonian a smooth initial condition such that the graph of the viscosity solution is not contained in the wavefront associated with the Cauchy problem. The construction is based on a new example for a saddle Hamiltonian and a precise analysis of the one-dimensional case, coupled with reduction and approximation arguments.


title: Etude de la composition chimique et du potentiel pharmacologique associ{\'e} de Phyllanthus amarus Schum et Thonn (1827)

abstract: In August 2013, the French pharmacopoeia was enriched with 43 plants used in French overseas territories, including 15 proposed by APLAMEDAROM association of Guadeloupe. However, for most of them, no data on the chemical composition, qualitatively and quantitatively is available in the literature for these specimens; this is an issue to their commercialization in dispensary, pharmacists wishing to know their composition in order to avoid the problems of dosage and drug interactions. Among these plants, Phyllanthus amarus Schum. \& Thonn. (1827), commonly called 'Grenn anba f{\`e}y' [1], is well known for its potent medicinal properties especially hepatoprotective, antidiabetic, antiviral (flu), anti-inflammatory, anti-cholesterol [2]. In Guadeloupe, this plant is generally used freshly harvested in infusion but also in aqueous decoction [3]. Besides, these studies are conducted in association with APLAMEDAROM association in order to identify the polar constituents and then to understand better the origin of the observed properties. Therefore, using UHPLC-MS, we were able to identify the presence of bioactive polyphenolic compounds, including phyllanthin, rutin and gallic acid. Phyllanthin, characteristic of the specie, is a very active lignan with high antioxidant, hepatoprotective and anticancer properties [2]. Rutin is known for its antioxidant and anti-hypertensive properties [2]. Gallic acid is distinguished by antioxidant, anti-inflammatory, antidiabetic, antiviral and anticancer properties and has the advantage of being a bioavailable compound. Similarly, many compounds never listed to date in this specie were also highlighted and are currently purified.


title: On the Local solvability of a class of degenerate second order operators with complex coefficients

abstract: We study the local solvability of a class of operators with multiple characteristics. The class considered here complements and extends the one studied in [9], in that in this paper we consider some cases of operators with complex coefficients that were not present in [9]. The class of operators considered here ideally encompasses classes of degenerate parabolic and Schr\"odinger type operators. We will give local solvability theorems. In general, one has $L^2$ local solvability, but also cases of local solvability with better Sobolev regularity will be presented.


title: Graded-simple algebras and cocycle twisted loop algebras

abstract: The loop algebra construction by Allison, Berman, Faulkner, and Pianzola, describes graded-central-simple algebras with split centroid in terms of central simple algebras graded by a quotient of the original grading group. Here the restriction on the centroid is removed, at the expense of allowing some deformations (cocycle twists) of the loop algebras.


title: Exploiting Map Topology Knowledge for Context-predictive Multi-interface Car-to-cloud Communication

abstract: While the automotive industry is currently facing a contest among different communication technologies and paradigms about predominance in the connected vehicles sector, the diversity of the various application requirements makes it unlikely that a single technology will be able to fulfill all given demands. Instead, the joint usage of multiple communication technologies seems to be a promising candidate that allows benefiting from characteristical strengths (e.g., using low latency direct communication for safety-related messaging). Consequently, dynamic network interface selection has become a field of scientific interest. In this paper, we present a cross-layer approach for context-aware transmission of vehicular sensor data that exploits mobility control knowledge for scheduling the transmission time with respect to the anticipated channel conditions for the corresponding communication technology. The proposed multi-interface transmission scheme is evaluated in a comprehensive simulation study, where it is able to achieve significant improvements in data rate and reliability.


title: The Bolzano-Poincar\'e-Miranda theorem in infinite dimensional Banach spaces

abstract: We study the existence of zeroes of mappings defined in Banach spaces. We obtain, in particular, an extension of the well-known Bolzano-Poincar\'e-Miranda theorem to infinite dimensional Banach spaces. We also establish a result regarding the existence of periodic solutions to differential equations posed in an arbitrary Banach space.


title: Long-time oscillatory energy conservation of total energy-preserving methods for highly oscillatory Hamiltonian systems

abstract: For an integrator when applied to a highly oscillatory system, the near conservation of the oscillatory energy over long times is an important aspect. In this paper, we study the long-time near conservation of oscillatory energy for the adopted average vector field (AAVF) method when applied to highly oscillatory Hamiltonian systems. This AAVF method is an extension of the average vector field method and preserves the total energy of highly oscillatory Hamiltonian systems exactly. This paper is devoted to analysinganother important property of AAVF method, i.e., the near conservation of its oscillatory energy in a long term. The long-time oscillatory energy conservation is obtained via constructing a modulated Fourier expansion of the AAVF method and deriving an almost invariant of the expansion. A similar result of the method in the multi-frequency case is also presented in this paper.


title: Spin superfluid Josephson oscillator

abstract: The magnetic analogue of the Josephson effect can be exploited to develop a new class of nano-spin oscillators that we denote as spin superfluid Josephson oscillators. Such a device, consisting of two exchange coupled easy-plane metallic ferromagnets separated by a thin normal metal spacer, is proposed and analyzed. A spin chemical potential difference drives a $2\pi$ precession of the in-plane magnetization of each ferromagnet. The $2 \pi$ precession angle gives maximum values of the giant magnetoresistance, resulting in large output power compared to conventional spin Hall oscillators. An applied ac current results in a time-averaged magnetoresistance with Shapiro-like steps. The multistate mode-locking behavior exhibited by the spin Shapiro steps may be explored for applications in neuromorphic computing. As an experimental characterization method, electrical measurements of spin superfluid Josephson junctions can provide additional signatures of spin superfluidity.


title: Formal classication of two-dimensional neighborhoods of genus g $\ge$ 2 curves with trivial normal bundle

abstract: In this paper we study the formal classication of two-dimensional neighborhoods of genus g $\ge$ 2 curves with trivial normal bundle. We first construct formal foliations on such neighborhoods with holonomy vanishing along many loops, then give the formal/analytic classication of neighborhoods equipped with two foliations, and finally put this together to obtain a description of the space of neighborhoods up to formal equivalence.


title: Uncertainty Relations in the Presence of Quantum Memory for Mutually Unbiased Measurements

abstract: In [Berta 2014 Entanglement], uncertainty relations in the presence of quantum memory was formulated for mutually unbiased bases using conditional collision entropy. In this paper, we generalize their results to the mutually unbiased measurements. Our primary result is an equality between the amount of uncertainty for a set of measurements and the amount of entanglement of the measured state, both of which are quantified by the conditional collision entropy. Implications of this equality relation are discussed. We further show that similar equality relation can be obtained for generalized symmetric informationally complete measurements. We also derive an interesting equality for arbitrary orthogonal basis of the space of Hermitian, traceless operators.


title: Antiferromagnetism emerging in a ferromagnet with gain

abstract: We present a theoretical mapping to show that a ferromagnet with gain (loss) is equivalent to an antiferromagnet with an equal amount of loss (gain). Our finding indicates a novel first-order ferromagnet-antiferromagnet phase transition by tuning the gain-loss parameter. As an appealing application, we demonstrate the realization as well as the manipulation of the antiferromagnetic skyrmion, a stable topological quasiparticle not yet observed experimentally, in a chiral ferromagnetic thin film with gain. We also consider ferromagnetic bilayers with balanced gain and loss, and show that the antiferromagnetic skyrmion can be found only in the cases with broken parity-time symmetry phase. Our results pave a way for investigating the emerging antiferromagnetic spintronics and parity-time symmetric magnonics in ferromagnets.


title: An approach based on the geometric mean of basic quantitative and qualitative bibliometric indicators to evaluate and analyse the research performance of countries and institutions

abstract: We present a straightforward procedure to evaluate the scientific contribution of territories and institutions that combines the size-dependent geometric mean, Q, of the number of research documents (N) and citations (C), and a scale-free measure of quality, q=C/N. We introduce a Global Research Output (GRO-index) as the geometric mean of Q and q. We show that the GRO-index correlates with the h-index, but appears to be more strongly correlated with other well known, widely used bibliometric indicators. We also compute relative GRO-indexes (GROr) associated with the scientific production within research fields. We note that although total sums of GROr values are larger than the GRO-index, due to the non-linearity in the computation of the geometric means, both counts are nevertheless highly correlated. That enables us to make useful comparative analyses among territories and institutions. Furthermore, to identify strengths and weaknesses of a given country or institution, we compute a Relative Research Output count (RROr-index) to tackle variations of the C/N ratio across research fields. Moreover, by using a wealth-index also based on quantitative and qualitative variables, we show that the GRO and RRO indexes are highly correlated with the wealth of the countries and the states of the USA. Given the simplicity of the procedures introduced in this paper and the fact that their results are easily understandable by non-specialists, we believe they could become as useful for the assessment of the research output of countries and institutions as the impact factor is for journals or the h-index for individuals.


title: Constructing isostatic frameworks for the $\ell^\infty$ plane

abstract: We use a new coloured multi-graph constructive method to prove that every 2-tree decomposition can be realised in the plane as a bar-joint framework which is minimally rigid (isostatic) with respect to $\ell^1$ or $\ell^\infty$ distance constraints. We show how to adapt this technique to incorporate symmetry and indicate several related open problems on rigidity, redundant rigidity and forced symmetric rigidity in normed spaces.


title: A construction of pseudo-Anosov braids with small normalized entropies

abstract: Let $b$ be a pseudo-Anosov braid whose permutation has a fixed point and let $M_b$ be the mapping torus by the pseudo-Anosov homeomorphism defined on the genus $0$ fiber $F_b$ associated with $b$. This paper describes a structure of the fibered cone $\mathcal{C}$ of $F$ for $M_b$. We prove that there is a $2$-dimensional subcone $\mathcal{C}_0$ contained in the fibered cone $ \mathcal{C}$ of $F_b$ such that the fiber $F_a$ for each primitive integral class $a \in \mathcal{C}_0$ has genus $0$. We also give a constructive description of the monodromy $ \phi_a: F_a \rightarrow F_a$ of the fibration on $M_b$ over the circle, and consequently provide a construction of many sequences of pseudo-Anosov braids with small normalized entropies. As an application we prove that the smallest entropy among skew-palindromic braids with $n$ strands is comparable to $1/n$, and the smallest entropy among elements of the odd/even spin mapping class groups of genus $g$ is comparable to $1/g$.


title: MediaEval 2018: Predicting Media Memorability Task

abstract: In this paper, we present the Predicting Media Memorability task, which is proposed as part of the MediaEval 2018 Benchmarking Initiative for Multimedia Evaluation. Participants are expected to design systems that automatically predict memorability scores for videos, which reflect the probability of a video being remembered. In contrast to previous work in image memorability prediction, where memorability was measured a few minutes after memorization, the proposed dataset comes with short-term and long-term memorability annotations. All task characteristics are described, namely: the task's challenges and breakthrough, the released data set and ground truth, the required participant runs and the evaluation metrics.


title: A Semantics for Hybrid Iteration

abstract: The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and the corresponding stock of results to examine different types of iteration for hybrid computations. As a starting point we use an available notion of hybrid monad restricted to the category of sets, and modify it in order to obtain a suitable notion of guarded iteration with guardedness interpreted as progressiveness in time - we motivate this modification by our intention to capture Zeno behaviour in an arguably general and feasible way. We illustrate our results with a simple programming language for hybrid computations and interpret it over the developed semantic foundations.


title: Formation and characterization of ceramic coating from alumino silicate mineral powders in the matrix of cement composite on the concrete wall

abstract: Enhancement of thermal performance of concrete wall is nowadays of great importance in reducing the operational energy demand of buildings. We developed a new kind of inorganic coating material based on \ce{SiO2}-\ce{Al2O3}-rich minerals and Portland cement (PC) powder. The finely pulverized mineral powder with the particle size distribution (PSD) of 0.4-40 $\mu$m was mixed with the vehicle solvent containing some agents, cement powder with PSD of 2-100 $\mu$m, and water in the certain weight ratio, producing the colloid solution. After application within 2 hours to the plaster layer of concrete wall and sufficient long hardening period of over three months, the coating layer of 0.6-1.0 mm thickness was observed to become a densified ceramic. Powder X-ray diffraction (XRD) experiments were performed to identify the crystalline components of minerals, cement and ceramic coating powders. Three- and two-dimensional surface morphologies and chemical compositions of coating material were obtained with the optical interferometer and scanning electron microscope (SEM) equipped with an energy dispersive X-ray analyzer (EDX). These XRD and SEM/EDX analyses demonstrated obviously that the coating layer is mainly composed of the calcium-silicate-hydrate (C-S-H) and the calcium-aluminate-hydrate (C-A-H) ceramics with the relatively small number of closed pores (10\% porosity) compared with the cement mortar and concrete layers. Two-step hydrations of cement and subsequently \ce{SiO2}-\ce{Al2O3} promoted by the alkali product \ce{Ca(OH)2} were proposed as the main mechanism of ceramic formation.


title: Radio observations of planetary nebulae: no evidence for strong radial density gradients

abstract: Radio continuum observations trace thermal emission of ionized plasma in planetary nebulae and bring useful information on nebular geometries. A model of homogeneous sphere or shell cannot fit the nebular spectra and brightness temperatures. Two alternative models have been proposed in the literature: the first one consists of two homogeneous components, while the other one is a model of a shell with a significant radial density gradient. On the other side, prolate ellipsoidal shell model can successfully fit the surface brightness distribution of selected objects. We verify the existing models using data collected in radio surveys covering wide range of frequencies. In about 50% cases, density gradient can be excluded, and none of the remaining objects could be confirmed. None of the observed planetary nebulae show the spectral index of 0.6 in the optically thick part of the spectrum, which is a value predicted for a shell containing strong radial density gradient. Radio spectra can be fitted with a model of prolate ellipsoidal shell, but also by a shell containing temperature variations in planetary nebulae. At least eight planetary nebulae show two component spectra, with one compact component showing much higher optical thickness than the other one. Unexpectedly, a group of planetary nebulae with lowest surface brightness show non-negligible optical thickness. Their emission comes from compact and dense structures, comprising only small part of total nebular mass.


title: Some singular curves and surfaces arising from invariants of complex reflection groups

abstract: We construct highly singular projective curves and surfaces defined by invariants of primitive complex reflection groups.


title: Limit theorems for sequential MCMC methods

abstract: Sequential Monte Carlo (SMC) methods, also known as particle filters, constitute a class of algorithms used to approximate expectations with respect to a sequence of probability distributions as well as the normalising constants of those distributions. Sequential MCMC methods are an alternative class of techniques addressing similar problems in which particles are sampled according to an MCMC kernel rather than conditionally independently at each time step. These methods were introduced over twenty years ago by Berzuini et al. (1997). Recently, there has been a renewed interest in such algorithms as they demonstrate an empirical performance superior to that of SMC methods in some applications. We establish a strong law of large numbers and a central limit theorem for sequential MCMC methods and provide conditions under which errors can be controlled uniformly in time. In the context of state-space models, we provide conditions under which sequential MCMC methods can indeed outperform standard SMC methods in terms of asymptotic variance of the corresponding Monte Carlo estimators.


title: On the Origin of the Early Solar System Radioactivities. Problems with the AGB and Massive Star Scenarios

abstract: Recent improvements in stellar models for intermediate-mass and massive stars are recalled, together with their expectations for the synthesis of radioactive nuclei of lifetime $\tau \lesssim 25$ Myr, in order to re-examine the origins of now extinct radioactivities, which were alive in the solar nebula. The Galactic inheritance broadly explains most of them, especially if $r$-process nuclei are produced by neutron star merging according to recent models. Instead, $^{26}$Al, $^{41}$Ca, $^{135}$Cs and possibly $^{60}$Fe require nucleosynthesis events close to the solar formation. We outline the persisting difficulties to account for these nuclei by Intermediate Mass Stars (2 $\lesssim $ M/M$_\odot \lesssim 7 - 8$). Models of their final stages now predict the ubiquitous formation of a $^{13}$C reservoir as a neutron capture source; hence, even in presence of $^{26}$Al production from Deep Mixing or Hot Bottom Burning, the ratio $^{26}$Al/$^{107}$Pd remains incompatible with measured data, with a large excess in $^{107}$Pd. This is shown for two recent approaches to Deep Mixing. Even a late contamination by a Massive Star meets problems. In fact, inhomogeneous addition of Supernova debris predicts non-measured excesses on stable isotopes. Revisions invoking specific low-mass supernovae and/or the sequential contamination of the pre-solar molecular cloud might be affected by similar problems, although our conclusions here are weakened by our schematic approach to the addition of SN ejecta. The limited parameter space remaining to be explored for solving this puzzle is discussed.


title: Electromagnetic form factors of spin 1/2 doubly charmed baryons

abstract: We study the electromagnetic form factors of the doubly charmed baryons, using covariant chiral perturbation theory within the extended on-mass-shell (EOMS) scheme. Vector-meson contributions are also taken into account. We present results for the baryon magnetic moments, charge and magnetic radii. While some of the chiral Lagrangian parameters could be set to values determined in previous works, the available lattice results for $\Xi_{cc}^+$ and $\Omega_{cc}^+$ only allow for robust constraints on the low-energy constant (LEC) combination, $c_{89}(=-\frac{1}{3}c_8+4c_9)$. The couplings of the doubly charmed baryons to the vector mesons have been estimated assuming the Okubo--Zweig--Iizuka (OZI) rule. We also give the expressions for the form factors of the double beauty baryons considering the masses predicted in the framework of quark models. A comparison of our results with those obtained in heavy baryon chiral perturbation theory (HBChPT) at the same chiral order is made.


title: Binaries as Sources of Gravitational Waves

abstract: With the discovery of both binary black hole mergers and a binary neutron star merger the field of Gravitational Wave Astrophysics has really begun. The current advanced LIGO and Virgo detectors are laser interferometers that will improve their sensitivity in the coming years. In the long run, new detectors such as LISA and the Einstein Telescope will have sensitivities that allow the detection of many thousands of sources and ET can observe essentially the whole observable Universe, for heavy black holes. All these measurements will provide new answers to open questions in binary evolution, related to mass transfer, out-of-equilibrium stars and the role of metallicity. In addition, the data will give new constraints on uncertainties in the evolution of (massive) stars, such as stellar winds, the role of rotation and the final collapse to a neutron star or black hole. For black hole binaries, the number of detections is rapidly approaching 10 and the first proper statistical studies of the population can be done soon. In the long run, the thousands of detections by ET will enable us to probe their population in great detail over the history of the Universe. For neutron stars, the first question is whether the first detection GW170817 is a typical source or not. In any case, it has spectacularly shown the promise of complementary electro-magnetic follow-up. For white dwarfs we have to wait for LISA (around 2034) but new detections by e.g. Gaia and LSST will prepare for the astrophysical exploitation of the LISA


title: Three-dimensional simulations of solar magneto-convection including effects of partial ionization

abstract: Over the last decades, realistic 3D radiative-MHD simulations have become the dominant theoretical tool for understanding the complex interactions between the plasma and the magnetic field on the Sun. Most of such simulations are based on approximations of magnetohydrodynamics, without directly considering the consequences of the very low degree of ionization of the solar plasma in the photosphere and bottom chromosphere. The presence of large amount of neutrals leads to a partial decoupling of the plasma and the magnetic field. As a consequence of that, a series of non-ideal effects (ambipolar diffusion, Hall effect and battery effect) arises. The ambipolar effect is the dominant one in the solar chromosphere. Here we report on the first three-dimensional realistic simulations of magneto-convection including ambipolar diffusion and battery effects. The simulations are done using the newly developed Mancha3D code. Our results reveal that ambipolar diffusion causes measurable effects on the amplitudes of waves excited by convection in the simulations, on the absorption of Poynting flux and heating and on the formation of chromospheric structures. We provide a low limit on the chromospheric temperature increase due to the ambipolar effect using the simulations with battery-excited dynamo fields.


title: Positivity of iterated sequences of polynomials

abstract: In this paper, we present some criteria for the $2$-$q$-log-convexity and $3$-$q$-log-convexity of combinatorial sequences, which can be regarded as the first column of certain infinite triangular array $[A_{n,k}(q)]_{n,k\geq0}$ of polynomials in $q$ with nonnegative coefficients satisfying the recurrence relation $$A_{n,k}(q)=A_{n-1,k-1}(q)+g_k(q)A_{n-1,k}(q)+h_{k+1}(q)A_{n-1,k+1}(q).$$ Those criterions can also be presented by continued fractions and generating functions. These allow a unified treatment of the $2$-$q$-log-convexity of alternating Eulerian polynomials, $2$-log-convexity of Euler numbers, and $3$-$q$-log-convexity of many classical polynomials, including the Bell polynomials, the Eulerian polynomials of Types $A$ and $B$, the $q$-Schr\"{o}der numbers, $q$-central Delannoy numbers, the Narayana polynomials of Types $A$ and $B$, the generating functions of rows in the Catalan triangles of Aigner and Shapiro, the generating functions of rows in the large Schr\"oder triangle, and so on, which extend many known results for $q$-log-convexity.


title: Local theory of the insulating state

abstract: An insulator differs from a metal because of a different organization of the electrons in their ground state. In recent years this feature has been probed by means of a geometrical property: the quantum metric tensor, which addresses the system as a whole, and is therefore limited to macroscopically homogenous samples. Here we show that an analogous approach leads to a localization marker, which can detect the metallic vs. insulating character of a given sample region using as sole ingredient the ground state electron distribution, even in the Anderson case (where the spectrum is gapless). When applied to an insulator with nonzero Chern invariant, our marker is capable of discriminating the insulating nature of the bulk from the conducting nature of the boundary. Simulations (both model-Hamiltonian and first-principle) on several test cases validate our theory.


title: How long can optimal locally repairable codes be?

abstract: A locally repairable code (LRC) with locality $r$ allows for the recovery of any erased codeword symbol using only $r$ other codeword symbols. A Singleton-type bound dictates the best possible trade-off between the dimension and distance of LRCs --- an LRC attaining this trade-off is deemed \emph{optimal}. Such optimal LRCs have been constructed over alphabets growing linearly in the block length. Unlike the classical Singleton bound, however, it was not known if such a linear growth in the alphabet size is necessary, or for that matter even if the alphabet needs to grow at all with the block length. Indeed, for small code distances $3,4$, arbitrarily long optimal LRCs were known over fixed alphabets. Here, we prove that for distances $d \ge 5$, the code length $n$ of an optimal LRC over an alphabet of size $q$ must be at most roughly $O(d q^3)$. For the case $d=5$, our upper bound is $O(q^2)$. We complement these bounds by showing the existence of optimal LRCs of length $\Omega_{d,r}(q^{1+1/\lfloor(d-3)/2\rfloor})$ when $d \le r+2$. These bounds match when $d=5$, thus pinning down $n=\Theta(q^2)$ as the asymptotically largest length of an optimal LRC for this case.


title: When Gaussian Process Meets Big Data: A Review of Scalable GPs

abstract: The vast quantity of information brought by big data as well as the evolving computer hardware encourages success stories in the machine learning community. In the meanwhile, it poses challenges for the Gaussian process (GP) regression, a well-known non-parametric and interpretable Bayesian model, which suffers from cubic complexity to data size. To improve the scalability while retaining desirable prediction quality, a variety of scalable GPs have been presented. But they have not yet been comprehensively reviewed and analyzed in order to be well understood by both academia and industry. The review of scalable GPs in the GP community is timely and important due to the explosion of data size. To this end, this paper is devoted to the review on state-of-the-art scalable GPs involving two main categories: global approximations which distillate the entire data and local approximations which divide the data for subspace learning. Particularly, for global approximations, we mainly focus on sparse approximations comprising prior approximations which modify the prior but perform exact inference, posterior approximations which retain exact prior but perform approximate inference, and structured sparse approximations which exploit specific structures in kernel matrix; for local approximations, we highlight the mixture/product of experts that conducts model averaging from multiple local experts to boost predictions. To present a complete review, recent advances for improving the scalability and capability of scalable GPs are reviewed. Finally, the extensions and open issues regarding the implementation of scalable GPs in various scenarios are reviewed and discussed to inspire novel ideas for future research avenues.


title: Behaviour Policy Estimation in Off-Policy Policy Evaluation: Calibration Matters

abstract: In this work, we consider the problem of estimating a behaviour policy for use in Off-Policy Policy Evaluation (OPE) when the true behaviour policy is unknown. Via a series of empirical studies, we demonstrate how accurate OPE is strongly dependent on the calibration of estimated behaviour policy models: how precisely the behaviour policy is estimated from data. We show how powerful parametric models such as neural networks can result in highly uncalibrated behaviour policy models on a real-world medical dataset, and illustrate how a simple, non-parametric, k-nearest neighbours model produces better calibrated behaviour policy estimates and can be used to obtain superior importance sampling-based OPE estimates.


title: Application of the fluctuation theorem to motor proteins: from F1-ATPase to axonal cargo transport by kinesin and dynein

abstract: The fluctuation theorem is a representative theorem in non-equilibrium statistical physics actively studied in the 1990's. Relating to entropy production in non-equilibrium states, the theorem has been used to estimate the driving power of motor proteins from fluctuation in their motion. In this review, usage of the fluctuation theorem in experiments on motor proteins is illustrated for biologists, especially those who study mechanobiology, in which force measurement is a central issue. We first introduce the application of the fluctuation theorem in measuring the rotary torque of the rotary motor protein F1-ATPase. Next, as an extension of this application, a recent trial estimating the force generated during cargo transport in vivo by the microtubule motors kinesin and dynein is introduced. Elucidation of the physical mechanism of such transport is important, especially for neurons, in which deficits in cargo transport are deeply related to neuronal diseases. Finally, perspectives on the fluctuation theorem as a new technique in the field of neuroscience are discussed.


title: HAMLET: Hierarchical Harmonic Filters for Learning Tracts from Diffusion MRI

abstract: In this work we propose HAMLET, a novel tract learning algorithm, which, after training, maps raw diffusion weighted MRI directly onto an image which simultaneously indicates tract direction and tract presence. The automatic learning of fiber tracts based on diffusion MRI data is a rather new idea, which tries to overcome limitations of atlas-based techniques. HAMLET takes a such an approach. Unlike the current trend in machine learning, HAMLET has only a small number of free parameters HAMLET is based on spherical tensor algebra which allows a translation and rotation covariant treatment of the problem. HAMLET is based on a repeated application of convolutions and non-linearities, which all respect the rotation covariance. The intrinsic treatment of such basic image transformations in HAMLET allows the training and generalization of the algorithm without any additional data augmentation. We demonstrate the performance of our approach for twelve prominent bundles, and show that the obtained tract estimates are robust and reliable. It is also shown that the learned models are portable from one sequence to another.


title: Adversarial Robustness Toolbox v1.0.0

abstract: Adversarial Robustness Toolbox (ART) is a Python library supporting developers and researchers in defending Machine Learning models (Deep Neural Networks, Gradient Boosted Decision Trees, Support Vector Machines, Random Forests, Logistic Regression, Gaussian Processes, Decision Trees, Scikit-learn Pipelines, etc.) against adversarial threats and helps making AI systems more secure and trustworthy. Machine Learning models are vulnerable to adversarial examples, which are inputs (images, texts, tabular data, etc.) deliberately modified to produce a desired response by the Machine Learning model. ART provides the tools to build and deploy defences and test them with adversarial attacks. Defending Machine Learning models involves certifying and verifying model robustness and model hardening with approaches such as pre-processing inputs, augmenting training data with adversarial samples, and leveraging runtime detection methods to flag any inputs that might have been modified by an adversary. The attacks implemented in ART allow creating adversarial attacks against Machine Learning models which is required to test defenses with state-of-the-art threat models. Supported Machine Learning Libraries include TensorFlow (v1 and v2), Keras, PyTorch, MXNet, Scikit-learn, XGBoost, LightGBM, CatBoost, and GPy. The source code of ART is released with MIT license at https://github.com/IBM/adversarial-robustness-toolbox. The release includes code examples, notebooks with tutorials and documentation (http://adversarial-robustness-toolbox.readthedocs.io).


title: Detecting cliques in CONGEST networks

abstract: The problem of detecting network structures plays a central role in distributed computing. One of the fundamental problems studied in this area is to determine whether for a given graph $H$, the input network contains a subgraph isomorphic to $H$ or not. We investigate this problem for $H$ being a clique $K_{l}$ in the classical distributed CONGEST model, where the communication topology is the same as the topology of the underlying network, and with limited communication bandwidth on the links. Our first and main result is a lower bound, showing that detecting $K_{l}$ requires $\Omega(\sqrt{n} / b)$ communication rounds, for every $4 \le l \le \sqrt{n}$, and $\Omega(n / (l b))$ rounds for every $l \ge \sqrt{n}$, where $b$ is the bandwidth of the communication links. This result is obtained by using a reduction to the set disjointness problem in the framework of two-party communication complexity. We complement our lower bound with a two-party communication protocol for listing all cliques in the input graph, which up to constant factors communicates the same number of bits as our lower bound for $K_4$ detection. This demonstrates that our lower bound cannot be improved using the two-party communication framework.


title: Does Massive MIMO Fail in Ricean Channels?

abstract: Massive multiple-input multiple-output (MIMO) is now making its way to the standardization exercise of future 5G networks. Yet, there are still fundamental questions pertaining to the robustness of massive MIMO against physically detrimental propagation conditions. On these grounds, we identify scenarios under which massive MIMO can potentially fail in Ricean channels, and characterize them physically, as well as, mathematically. Our analysis extends and generalizes a stream of recent papers on this topic and articulates emphatically that such harmful scenarios in Ricean fading conditions are unlikely and can be compensated using any standard scheduling scheme. This implies that massive MIMO is intrinsically effective at combating interuser interference and, if needed, can avail of the base-station scheduler for further robustness.


title: The fractal dimension of Liouville quantum gravity: universality, monotonicity, and bounds

abstract: We prove that for each $\gamma \in (0,2)$, there is an exponent $d_\gamma > 2$, the "fractal dimension of $\gamma$-Liouville quantum gravity (LQG)", which describes the ball volume growth exponent for certain random planar maps in the $\gamma$-LQG universality class, the exponent for the Liouville heat kernel, and exponents for various continuum approximations of $\gamma$-LQG distances such as Liouville graph distance and Liouville first passage percolation. We also show that $d_\gamma$ is a continuous, strictly increasing function of $\gamma$ and prove upper and lower bounds for $d_\gamma$ which in some cases greatly improve on previously known bounds for the aforementioned exponents. For example, for $\gamma=\sqrt 2$ (which corresponds to spanning-tree weighted planar maps) our bounds give $3.4641 \leq d_{\sqrt 2} \leq 3.63299$ and in the limiting case we get $4.77485 \leq \lim_{\gamma\rightarrow 2^-} d_\gamma \leq 4.89898$.


title: Extremal functions for Adams' inequalities in dimension four

abstract: Let $\Omega\subset \mathbb{R}^4$ be a smooth bounded domain, $W_0^{2,2}(\Omega)$ be the usual Sobolev space. For any positive integer $\ell$, $\lambda_{\ell}(\Omega)$ is the $\ell$-th eigenvalue of the bi-Laplacian operator. Define $E_{\ell}=E_{\lambda_1(\Omega)}\oplus E_{\lambda_2(\Omega)}\oplus\cdots\oplus E_{\lambda_{\ell}(\Omega)}$, where $E_{\lambda_i(\Omega)}$ is eigenfunction space associated with $\lambda_i(\Omega)$. $E^{\bot}_{\ell}$ denotes the orthogonal complement of $E_\ell$ in $W_0^{2,2}(\Omega)$. For $0\leq\alpha<\lambda_{\ell+1}(\Omega)$, we define a norm by $\|u\|_{2,\alpha}^{2}=\|\Delta u\|^2_2-\alpha \|u\|^2_2$ for $u\in E^\bot_{\ell}$. In this paper, using the blow-up analysis, we prove the following Adams inequalities $$\sup_{u\in E_{\ell}^{\bot},\,\| u\|_{2,\alpha}\leq 1}\int_{\Omega}e^{32\pi^2u^2}dx<+\infty;$$ moreover, the above supremum can be attained by a function $u_0\in E_{\ell}^{\bot}\cap C^4(\overline{\Omega})$ with $\|u_0\|_{2,\alpha}=1$. This result extends that of Yang (J. Differential Equations, 2015), and complements that of Lu and Yang (Adv. Math. 2009) and Nguyen (arXiv: 1701.08249, 2017).


title: New Congruences Modulo 2, 4, and 8 for the Number of Tagged Parts Over the Partitions with Designated Summands

abstract: Recently, Lin introduced two new partition functions PD$_t(n)$ and PDO$_t(n)$, which count the total number of tagged parts over all partitions of $n$ with designated summands and the total number of tagged parts over all partitions of $n$ with designated summands in which all parts are odd. Lin also proved some congruences modulo 3 and 9 for PD$_t(n)$ and PDO$_t(n)$, and conjectured some congruences modulo 8. Very recently, Adansie, Chern, and Xia found two new infinite families of congruences modulo 9 for PD$_t(n)$. In this paper, we prove the congruences modulo 8 conjectured by Lin and also find many new congruences and infinite families of congruences modulo some small powers of 2.


title: Characterization of stationary probability measures for Variable Length Markov Chains

abstract: By introducing a key combinatorial structure for words produced by a Variable Length Markov Chain (VLMC), the longest internal suffix, precise characterizations of existence and uniqueness of a stationary probability measure for a VLMC chain are given. These characterizations turn into necessary and sufficient conditions for VLMC associated to a subclass of probabilised context trees: the shift-stable context trees. As a by-product, we prove that a VLMC chain whose stabilized context tree is again a context tree has at most one stationary probability measure.


title: Generalized Parton Distributions of Pion for Non-Zero Skewness in AdS/QCD

abstract: We study the generalized parton distributions (GPDs) of pion for non-zero skewness by considering the leading $| q \bar{q} \rangle$ Fock state component. Inspired from AdS/QCD light-front wave functions, we calculate the pion GPDs. By taking the Fourier transforms we obtain the results for impact-parameter dependent parton distribution functions (ipdpdf) and for GPDs in longitudinal boost-invariant space. We also calculate the charge density and gravitational form factor of the pion. The pion unpolarized transverse momentum distribution (TMD) have also been calculated. The results provide rich information on the internal structure of pion.


title: Aspects of electric-magnetic dualities in maximal supergravity

abstract: This thesis is devoted to various aspects of electric-magnetic duality and its gravitational generalization, with an emphasis on the case of maximal supergravity. It is divided into three parts. In the first part, we review the the Cremmer-Julia "hidden" symmetries of maximal supergravity in various dimensions. Two new results are obtained: we prove that those symmetries appear if and only if the Chern-Simons coupling of the $D=11$ theory takes the value predicted by supersymmetry, and we obtain a manifestly $E_{7(7)}$-invariant formula for the entropy of non-extremal black holes in $D=4$, $N=8$ supergravity. The second part is motivated by supergravity gaugings. We examine through BRST methods the local deformations of non-minimally coupled scalars and abelian vector fields in four dimensions. We prove that they are all of the usual Yang-Mills type, i.e., correspond to the gauging of some rigid symmetries of the undeformed theory. We also show that other Lagragians considered in the literature, containing additional fields, do not allow for gaugings that cannot be reached starting from the usual Lagrangian. In the third part, we construct self-contained action principles for several self-dual free fields in six dimensions. These fields are motivated by two considerations: they allow for a geometric interpretation of the electric-magnetic duality symmetries of linearized gravity in four dimensions, and they also appear in the spectrum of the chiral $N=(4,0)$ and $N=(3,1)$ "exotic supergravities" in place of a metric. The free action and supersymmetry transformations for those theories are then explicitly constructed. We check that they reduce to linearized maximal supergravity in five dimensions, and also generalize previous works on linearized supergravity by other authors in which the graviton and its dual appear on the same footing at the level of the action.


title: Observations of solar chromospheric heating at sub-arcsec spatial resolution

abstract: A wide variety of phenomena such as gentle but persistent brightening, dynamic slender features (~100 km), and compact (~1'') ultraviolet (UV) bursts are associated with the heating of the solar chromosphere. High spatio-temporal resolution is required to capture the finer details of the likely magnetic reconnection-driven, rapidly evolving bursts. Such observations are also needed to reveal their similarities to large-scale flares, which are also thought to be reconnection driven, and more generally their role in chromospheric heating. Here we report observations of chromospheric heating in the form of a UV burst obtained with the balloon-borne observatory, SUNRISE. The observed burst displayed a spatial morphology similar to that of a large-scale solar flare with circular ribbon. While the co-temporal UV observations at 1.5'' spatial resolution and 24s cadence from the Solar Dynamics Observatory showed a compact brightening, the SUNRISE observations at diffraction-limited spatial resolution of 0.1'' at 7s cadence revealed a dynamic sub-structure of the burst that it is composed of extended ribbon-like features and a rapidly evolving arcade of thin (~0.1'' wide) magnetic loop-like features, similar to post-flare loops. Such a dynamic sub-structure reveals the small-scale nature of chromospheric heating in these bursts. Furthermore, based on magnetic field extrapolations, this heating event is associated with a complex fan-spine magnetic topology. Our observations strongly hint at a unified picture of magnetic heating in the solar atmosphere from some large-scale flares to small-scale bursts, all being associated with such a magnetic topology.


title: Stochastic Constraint Optimization using Propagation on Ordered Binary Decision Diagrams

abstract: A number of problems in relational Artificial Intelligence can be viewed as Stochastic Constraint Optimization Problems (SCOPs). These are constraint optimization problems that involve objectives or constraints with a stochastic component. Building on the recently proposed language SC-ProbLog for modeling SCOPs, we propose a new method for solving these problems. Earlier methods used Probabilistic Logic Programming (PLP) techniques to create Ordered Binary Decision Diagrams (OBDDs), which were decomposed into smaller constraints in order to exploit existing constraint programming (CP) solvers. We argue that this approach has as drawback that a decomposed representation of an OBDD does not guarantee domain consistency during search, and hence limits the efficiency of the solver. For the specific case of monotonic distributions, we suggest an alternative method for using CP in SCOP, based on the development of a new propagator; we show that this propagator is linear in the size of the OBDD, and has the potential to be more efficient than the decomposition method, as it maintains domain consistency.


title: A Computational Study of the Role of Tonal Tension in Expressive Piano Performance

abstract: Expressive variations of tempo and dynamics are an important aspect of music performances, involving a variety of underlying factors. Previous work has showed a relation between such expressive variations (in particular expressive tempo) and perceptual characteristics derived from the musical score, such as musical expectations, and perceived tension. In this work we use a computational approach to study the role of three measures of tonal tension proposed by Herremans and Chew (2016) in the prediction of expressive performances of classical piano music. These features capture tonal relationships of the music represented in Chew's spiral array model, a three dimensional representation of pitch classes, chords and keys constructed in such a way that spatial proximity represents close tonal relationships. We use non-linear sequential models (recurrent neural networks) to assess the contribution of these features to the prediction of expressive dynamics and expressive tempo using a dataset of Mozart piano sonatas performed by a professional concert pianist. Experiments of models trained with and without tonal tension features show that tonal tension helps predict change of tempo and dynamics more than absolute tempo and dynamics values. Furthermore, the improvement is stronger for dynamics than for tempo.


title: Solving Atari Games Using Fractals And Entropy

abstract: In this paper, we introduce a novel MCTS based approach that is derived from the laws of the thermodynamics. The algorithm coined Fractal Monte Carlo (FMC), allows us to create an agent that takes intelligent actions in both continuous and discrete environments while providing control over every aspect of the agent behavior. Results show that FMC is several orders of magnitude more efficient than similar techniques, such as MCTS, in the Atari games tested.


title: Domain Aware Markov Logic Networks

abstract: Combining logic and probability has been a long stand- ing goal of AI research. Markov Logic Networks (MLNs) achieve this by attaching weights to formulas in first-order logic, and can be seen as templates for constructing features for ground Markov networks. Most techniques for learning weights of MLNs are domain-size agnostic, i.e., the size of the domain is not explicitly taken into account while learn- ing the parameters of the model. This often results in ex- treme probabilities when testing on domain sizes different from those seen during training. In this paper, we propose Domain Aware Markov logic Networks (DA-MLNs) which present a principled solution to this problem. While defin- ing the ground network distribution, DA-MLNs divide the ground feature weight by a scaling factor which is a function of the number of connections the ground atoms appearing in the feature are involved in. We show that standard MLNs fall out as a special case of our formalism when this func- tion evaluates to a constant equal to 1. Experiments on the benchmark Friends & Smokers domain show that our ap- proach results in significantly higher accuracies compared to existing methods when testing on domains whose sizes different from those seen during training.


title: A Mean-Field Optimal Control Formulation of Deep Learning

abstract: Recent work linking deep neural networks and dynamical systems opened up new avenues to analyze deep learning. In particular, it is observed that new insights can be obtained by recasting deep learning as an optimal control problem on difference or differential equations. However, the mathematical aspects of such a formulation have not been systematically explored. This paper introduces the mathematical formulation of the population risk minimization problem in deep learning as a mean-field optimal control problem. Mirroring the development of classical optimal control, we state and prove optimality conditions of both the Hamilton-Jacobi-Bellman type and the Pontryagin type. These mean-field results reflect the probabilistic nature of the learning problem. In addition, by appealing to the mean-field Pontryagin's maximum principle, we establish some quantitative relationships between population and empirical learning problems. This serves to establish a mathematical foundation for investigating the algorithmic and theoretical connections between optimal control and deep learning.


title: Schur reduction of trees and extremal entries of the Fiedler vector

abstract: We study the eigenvectors of Laplacian matrices of trees. The Laplacian matrix is reduced to a tridiagonal matrix using the Schur complement. This preserves the eigenvectors and allows us to provide fomulas for the ratio of eigenvector entries. We also obtain bounds on the ratio of eigenvector entries along a path in terms of the eigenvalue and Perron values. The results are then applied to the Fiedler vector. Here we locate the extremal entries of the Fiedler vector and study classes of graphs such that the extremal entries can be found at the end points of the longest path.