title: Transcendental versions in C n of the Nagata conjecture

abstract: The Nagata Conjecture is one of the most intriguing open problems in the area of curves in the plane. It is easily stated. Namely, it predicts that the smallest degree d of a plane curve passing through r $\ge$ 10 general points in the projective plane P 2 with multiplicities at least l at every point, satisfies the inequality d > $\sqrt$ r $\times$ l. This conjecture has been proven by M. Nagata in 1959, if r is a perfect square greater than 9. Up to now, it remains open for every non-square r $\ge$ 10, after more than a half century of attention by many researchers. In this paper, we formulate new transcendental versions of this conjecture coming from pluripotential theory and which are equivalent to a version in C n of the Nagata Conjecture.


title: Crystal structure and the magnetic properties of the 5d transition metal oxide AOsO4 (A = K, Rb, Cs)

abstract: We synthesized the 5d1-transition metal oxides AOsO4 (A = K, Rb, Cs) by solid-state reaction, and performed structure determination and magnetic and heat capacity measurements. It was found that they crystallize in a scheelite (A = K and Rb) or a quasi-scheelite structure (A = Cs) comprising of distorted diamond lattices of septivalent Os (d1) ions tetrahedrally coordinated by four oxide ions without local inversion symmetry; hence an antisymmetric spin-orbit coupling is expected in the crystals. The K and Rb compounds have Weiss temperatures of theta = -66 and -18 K, effective magnetic moments of mu_eff = 1.44 and 1.45 mu_B/Os, and antiferromagnetic transition temperatures of T_N = 36.9 and 21.0 K, respectively. In contrast, the Cs compound has theta = 12 K and mu_eff = 0.8 mu_B/Os without magnetic transition above 2 K, instead exhibiting a first-order structural transition at T_s = 152.5 K. The decline of the Os moment from 1.73 mu_B/Os for the simple d1 spin, particularly for Cs, is likely to originate from the antiparallel orbital moment, although the spin-orbit coupling is generally quenched in the low-lying e orbitals.


title: A System Modeling Approach to Enhance Functional and Software Development

abstract: This paper presents a SysML-based approach to enhance functional and software development process within an industrial context. The recent changes in technology such as electromobility and increased automation in heavy construction machinery lead to increased complexity for embedded software. Hence there emerges a need for new development methodologies to address flexible functional development, enhance communication among development teams, and maintain traceability from design concepts to software artefacts. The discussed approach has experimented in the context of developing a new transmission system (partially electrified) and its functionality. While the modeling approach is a work-in-progress, some initial success, as well as existing gaps pointing to future works are highlighted.


title: Multi-physics simulations of lightning strike on elastoplastic substrates

abstract: This work is concerned with the numerical simulation of elastoplastic, electromagnetic and thermal response of aerospace materials due to their interaction with a plasma arc under lightning strike conditions. Current approaches treat the interaction between these two states of matter either in a decoupled manner or through one-way coupled 'co-simulation'. In this paper a methodology for multiphysics simulations of two-way interaction between lightning and elastoplastic materials is presented, which can inherently capture the non-linear feedback between these two states of matter. This is achieved by simultaneously solving the magnetohydrodynamic and the elastoplastic systems of equations on the same computational mesh, evolving the magnetic and electric fields dynamically. The resulting model allows for the topological evolution and movement of the arc attachment point coupled to the structural response and Joule heating of the substrate. The dynamic communication between the elastoplastic material and the plasma is facilitated by means of Riemann problem-based ghost fluid methods. This two-way coupling, to the best of the authors' knowledge, has not been previously demonstrated. The proposed model is first validated against experimental laboratory studies, demonstrating that the growth of the plasma arc can be accurately reproduced, dependent on the electrical conductivity of the substrate. It is then subsequently evaluated in a setting where the dynamically-evolved properties within the substrate feed back into the plasma arc attachment. Results are presented for multi-layered substrates of different materials, and for a substrate with temperature-dependent electrical conductivity. It is demonstrated that these conditions generate distinct behaviour due to the interaction between the plasma arc and the substrate.

categories: physics.comp-ph physics.app-ph physics.flu-dyn physics.plasm-ph


title: Bayesian spatial clustering of extremal behaviour for hydrological variables

abstract: To address the need for efficient inference for a range of hydrological extreme value problems, spatial pooling of information is the standard approach for marginal tail estimation. We propose the first extreme value spatial clustering methods which account for both the similarity of the marginal tails and the spatial dependence structure of the data to determine the appropriate level of pooling. Spatial dependence is incorporated in two ways: to determine the cluster selection and to account for dependence of the data over sites within a cluster when making the marginal inference. We introduce a statistical model for the pairwise extremal dependence which incorporates distance between sites, and accommodates our belief that sites within the same cluster tend to exhibit a higher degree of dependence than sites in different clusters. We use a Bayesian framework which learns about both the number of clusters and their spatial structure, and that enables the inference of site-specific marginal distributions of extremes to incorporate uncertainty in the clustering allocation. The approach is illustrated using simulations, the analysis of daily precipitation levels in Norway and daily river flow levels in the UK.


title: Two-dimensional plasmonic waveguides for nanolasing and four-wave mixing

abstract: Plasmonic waveguides are an essential element of nanoscale coherent sources, including nanolasers and four-wave mixing (FWM) devices. Here we report how the design of the plasmonic waveguide needs to be guided by the ultimate application. This contrasts with traditional approaches in which the waveguide is considered in isolation. We find that hybrid plasmonic waveguides, with a nonlinear material sandwiched between the metal substrate and a high-index layer, are best suited for FWM applications, whereas metallic wedges are preferred in nanolasers. We also find that in plasmonic nanolasers high-index buffer layers perform better than more traditional low-index buffers.


title: Max-Plus Matching Pursuit for Deterministic Markov Decision Processes

abstract: We consider deterministic Markov decision processes (MDPs) and apply max-plus algebra tools to approximate the value iteration algorithm by a smaller-dimensional iteration based on a representation on dictionaries of value functions. The setup naturally leads to novel theoretical results which are simply formulated due to the max-plus algebra structure. For example, when considering a fixed (non adaptive) finite basis, the computational complexity of approximating the optimal value function is not directly related to the number of states, but to notions of covering numbers of the state space. In order to break the curse of dimensionality in factored state-spaces, we consider adaptive basis that can adapt to particular problems leading to an algorithm similar to matching pursuit from signal processing. They currently come with no theoretical guarantees but work empirically well on simple deterministic MDPs derived from low-dimensional continuous control problems. We focus primarily on deterministic MDPs but note that the framework can be applied to all MDPs by considering measure-based formulations.


title: Mean-Field Backward-Forward SDE with Jumps and Storage problem in Smart Grids

abstract: In this paper, we prove the existence and uniqueness of the solution of a coupled Mean-Field Forward-Backward SDE system with Jumps. Then, we give an application in the field of storage problem in smart grids, studied in [4] in the case where the production of electricity is not predictable due, for example, to the changes in meteorological forecasts.


title: Dissipative quantum backflow

abstract: Dissipative backflow is studied in the context of open quantum systems. This theoretical analysis is carried out within two frameworks, the effective time-dependent Hamiltonian due to Caldirola-Kanai (CK) and the Caldeira-Leggett (CL) one where a master equation is used to describe the reduced density matrix in presence of dissipation and temperature of the environment. Two examples are considered, the free evolution of one and two Gaussian wave packets as well as the time evolution under a constant field. Backflow is shown to be reduced with dissipation and temperature but never suppressed. Interestingly enough, quantum backflow is observed when considering both one and two Gaussian wave packets within the CL context. Surprisingly, in both cases, the backflow effect seems to be persistent at long times. Furthermore, the constant force $ m g\geq 0 $ behaves against backflow. However, the classical limit of this quantum effect within the context of the classical Schr\"odinger equation is shown to be present. Backflow is also analyzed as an eigenvalue problem in the Caldirola-Kanai framework. In the free propagation case, eigenvalues are independent on mass, Planck constant, friction and its duration but, in the constant force case, eigenvalues depend on a factor which itself is a combination of all of them as well as the force constant.


title: Rough Subducting Seafloor Reduces Interseismic Coupling and Mega-Earthquake Occurrence: Insights From Analogue Models

abstract: The roughness of the subduction interface is thought to influence seismogenic behavior in subduction zones, but a detailed understanding of how such roughness affects the state of stress along the subduction megathrust is still debated. Here, we use seismotectonic analogue models to investigate the effect of subduction interface roughness on seismicity in subduction zones. We compared analogue earthquake source parameters and slip distributions for two roughness endmembers. Models characterized by a very rough interface have lower interface frictional strength and lower interseismic coupling than models with a smooth interface. Overall, ruptures in the rough models have smaller rupture area, duration and mean displacement. Individual slip distributions indicate a segmentation of the subduction interface by the rough geometry. We propose that flexure of the overriding plate is one of the mechanisms that contribute to the heterogeneous strength distribution, responsible for the observed seismic behavior.


title: Analyzing and Storing Network Intrusion Detection Data using Bayesian Coresets: A Preliminary Study in Offline and Streaming Settings

abstract: In this paper we offer a preliminary study of the application of Bayesian coresets to network security data. Network intrusion detection is a field that could take advantage of Bayesian machine learning in modelling uncertainty and managing streaming data; however, the large size of the data sets often hinders the use of Bayesian learning methods based on MCMC. Limiting the amount of useful data is a central problem in a field like network traffic analysis, where large amount of redundant data can be generated very quickly via packet collection. Reducing the number of samples would not only make learning more feasible, but would also contribute to reduce the need for memory and storage. We explore here the use of Bayesian coresets, a technique that reduces the amount of data samples while guaranteeing the learning of an accurate posterior distribution using Bayesian learning. We analyze how Bayesian coresets affect the accuracy of learned models, and how time-space requirements are traded-off, both in a static scenario and in a streaming scenario.


title: Sharp deviation inequalities for the 2D Coulomb gas and Quantum hall states, I

abstract: We establish sharp deviation inequalities for the linear statistics of the 2D Coulomb gas. These imply sub-Gaussian inequalities, where the variance is given by the Dirichlet norm. The proofs use complex geometry and potential theory on Riemann surfaces and apply more generally to beta-ensembles, which also include integer Quantum Hall states on Riemann surfaces. In a sequel of the paper we give applications to large and moderate deviation principles, local laws at mesoscopic scales, quantitative Bergman kernel asymptotics. In a series of companion papers applications to concentration of measure, Monte-Carlo methods for numerical integration and random matrices are given and relations to Kahler geometry are explored.


title: Bounding the error of discretized Langevin algorithms for non-strongly log-concave targets

abstract: In this paper, we provide non-asymptotic upper bounds on the error of sampling from a target density using three schemes of discretized Langevin diffusions. The first scheme is the Langevin Monte Carlo (LMC) algorithm, the Euler discretization of the Langevin diffusion. The second and the third schemes are, respectively, the kinetic Langevin Monte Carlo (KLMC) for differentiable potentials and the kinetic Langevin Monte Carlo for twice-differentiable potentials (KLMC2). The main focus is on the target densities that are smooth and log-concave on $\mathbb R^p$, but not necessarily strongly log-concave. Bounds on the computational complexity are obtained under two types of smoothness assumption: the potential has a Lipschitz-continuous gradient and the potential has a Lipschitz-continuous Hessian matrix. The error of sampling is measured by Wasserstein-$q$ distances. We advocate for the use of a new dimension-adapted scaling in the definition of the computational complexity, when Wasserstein-$q$ distances are considered. The obtained results show that the number of iterations to achieve a scaled-error smaller than a prescribed value depends only polynomially in the dimension.


title: Large spatial extension of the zero-energy Yu-Shiba-Rusinov state in magnetic field

abstract: Various promising qubit concepts have been put forward recently based on engineered superconductor (SC) subgap states like Andreev bound states, Majorana zero modes or the Yu-Shiba-Rusinov (Shiba) states. The coupling of these subgap states via a SC strongly depends on their spatial extension and is an essential next step for future quantum technologies. Here we investigate the spatial extension of a Shiba state in a semiconductor quantum dot coupled to a SC for the first time. With detailed transport measurements and numerical renormalization group calculations we find a remarkable more than 50 nm extension of the zero energy Shiba state, much larger than the one observed in very recent scanning tunneling microscopy (STM) measurements. Moreover, we demonstrate that its spatial extension increases substantially in magnetic field.


title: Bayesian analysis of running holographic Ricci dark energy

abstract: Holographic Ricci dark energy evolving through its interaction with dark matter is a natural choice for the running vacuum energy model. We have analyzed the relative significance of two versions of this model in the light of SNIa, CMB, BAO and Hubble data sets using the method Bayesian inferences. The first one, model 1, is the running holographic Ricci dark energy (rhrde) having a constant additive term in its density form and the second is one, model 2, having no additive constant, instead the interaction of rhrde with dark matter is accounted through a phenomenological coupling term. The Bayes factor of these models in comparison with the standard $\Lambda$CDM have been obtained by calculating the likelihood of each model for four different data combinations, SNIa(307)+CMB+BAO, SNIa(307)+CMB+BAO+Hubble data, SNIa(580)+CMB+BAO and SNIa(580)+CMB+BAO+Hubble data. Suitable flat priors for the model parameters has been assumed for calculating the likelihood in both cases. Our analysis shows that, according to the Jeffreys scale, the evidence for $\Lambda$CDM against both model 1 and model 2 is very strong as the Bayes factor of both models are much less than one for all the data combinations.


title: The spherical ensemble and quasi-Monte-Carlo designs

abstract: The spherical ensemble is a well-known ensemble of N repulsive points on the two-dimensional sphere, which can realized in various ways (as a random matrix ensemble, a determinantal point process, a Coulomb gas, a Quantum Hall state...). Here we show that the spherical ensemble enjoys nearly optimal convergence properties from the point of view of numerical integration. More precisely, it is shown that the numerical integration rule corresponding to N nodes on the two-dimensional sphere sampled in the spherical ensemble is, with overwhelming probability, nearly a quasi-Monte-Carlo design in the sense of Brauchart-Saff-Sloan-Womersley (for any smoothness parameter s less than or equal to two). The key ingredient is a new explicit concentration of measure inequality for the spherical ensemble.


title: Predicting the Curie temperature of ferromagnets using machine learning

abstract: The magnetic properties of a material are determined by a subtle balance between the various interactions at play, a fact that makes the design of new magnets a daunting task. High-throughput electronic structure theory may help to explore the vast chemical space available and offers a design tool to the experimental synthesis. This method efficiently predicts the elementary magnetic properties of a compound and its thermodynamical stability, but it is blind to information concerning the magnetic critical temperature. Here we introduce a range of machine-learning models to predict the Curie temperature, $T_\mathrm{C}$, of ferromagnets. The models are constructed by using experimental data for about 2,500 known magnets and consider the chemical composition of a compound as the only feature determining $T_\mathrm{C}$. Thus, we are able to establish a one-to-one relation between the chemical composition and the critical temperature. We show that the best model can predict $T_\mathrm{C}$'s with an accuracy of about 50K. Most importantly our model is able to extrapolate the predictions to regions of the chemical space, where only a little fraction of the data was considered for training. This is demonstrated by tracing the $T_\mathrm{C}$ of binary intermetallic alloys along their composition space and for the Al-Co-Fe ternary system.


title: Observation of high Doppler velocity wings in the nascent wind of R Doradus

abstract: We study the morpho-kinematics in the nascent wind of AGB star R Doradus in the light of high Doppler velocity wings observed in the spectral lines of several species. We probe distances from the star between ~10 and ~100 au using ALMA observations of the emission of five different molecular lines. High Doppler velocity enhancements of the line emission are observed in the vicinity of the line of sight crossing the star, reminiscent of those recently interpreted as gas streams in the nascent wind of a similar AGB star, EP Aqr. They are present in both blue-shifted and red-shifted hemispheres but are not exactly back-to-back. They are accelerated at a typical rate of 0.7 km s$^{-1}$ au$^{-1}$ up to some 20 km s$^{-1}$. Important differences are observed between the emissions of different molecules. We exclude an effect of improper continuum subtraction. However, in contrast to EP Aqr, the line of sight plays no particular role in the R Dor morpho-kinematics, shedding doubt on the validity of a gas stream interpretation.We discuss possible interpretations in terms of stellar pulsations or of rotation of the gas in the environment of the star. We conclude that, in the state of current knowledge, no fully convincing picture of the physics governing the production of such high velocities, typically twice as large as the terminal velocity, can be reliably drawn. New high resolution analyses of observations of the nascent wind of oxygen-rich AGB stars are needed to clarify the issue.


title: Zero-cycles with modulus and relative $K$-theory

abstract: We construct a cycle class map from the higher Chow groups of 0-cycles to the relative $K$-theory of a modulus pair. We show that this induces a pro-isomorphism between the additive higher Chow groups of relative 0-cycles and relative $K$-theory of truncated polynomial rings over a regular semi-local ring, essentially of finite type over a characteristic zero field.


title: A lower Bound for the Area of Plateau Foams

abstract: Real foams can be viewed as a geometrically well-organized dispersion of more or less spherical bubbles in a liquid. When the foam is so drained that the liquid content significantly decreases, the bubbles become polyhedral-like and the foam can be viewed now as a network of thin liquid films intersecting each other at the Plateau borders according to the celebrated Plateau's laws. In this paper we estimate from below the surface area of a spherically bounded piece of a foam. Our main tool is a new version of the divergence theorem which is adapted to the specific geometry of a foam with special attention to its classical Plateau singularities. As a benchmark application of our results we obtain lower bounds for the fundamental cell of a Kelvin foam, lower bounds for the so-called cost function, and for the difference of the pressures appearing in minimal periodic foams. Moreover, we provide an algorithm whose input is a set of isolated points in space and whose output is the best lower bound estimate for the area of a foam that contains the given set as its vertex set.


title: A model of an ion-proton radio pulsar polar cap

abstract: A number of previous papers have developed an ion-proton theory of the pulsar polar cap. The basic equations summarizing this are given here with the results of sets of model step-to-step calculations of pulse-precursor profiles. The nature of step-to-step profile variations is described by calculated phase-resolved modulation indices. The conditions under which nulls are present in step sequences are analysed. The change of mean null length with neutron-star surface temperature shows a pathway ending in emission similar to the Rotating Radio Transients. The model accommodates exceptional pulsars, the millisecond pulsars (in principle), and the 8.5 s period PSR J2144-3933. These are considered separately and their emission mechanism discussed in some detail.


title: On the Dynamic Centralized Coded Caching Design

abstract: Coded caching scheme provides us an effective framework to realize additional coded multicasting gain by exploiting coding into multiple transmitted signals. The goal of coded caching design is to jointly optimize the placement and delivery scheme so as to minimize the amount of transmitted coded signals. However, few research efforts consider multiple-round coded caching design problem, in which fixed and mobile users may coexist in one network different number of active users present in successive rounds. Obviously, such dynamic network configurations may lead to undesired frequent placement caching content updating at user sides, if we assume coded caching scheme for each round separately. Thus how to tailor the coded caching design, such that the frequent caching content updating in the placement phase can be avoided, and simultaneously retaining full caching gain in delivery phase in multiple rounds will become highly desirable. In this paper, by carefully examining the bipartite graph representation of the coded caching scheme, a dynamic centralized coded caching design is proposed on the basis of the concatenating-based placement and the saturating matching based delivery scheme. Our analysis unveils that, the proposed dynamic coded caching scheme can realize the flexible coded multicast, and is order optimal.


title: Screening Sinkhorn Algorithm for Regularized Optimal Transport

abstract: We introduce in this paper a novel strategy for efficiently approximating the Sinkhorn distance between two discrete measures. After identifying neglectable components of the dual solution of the regularized Sinkhorn problem, we propose to screen those components by directly setting them at that value before entering the Sinkhorn problem. This allows us to solve a smaller Sinkhorn problem while ensuring approximation with provable guarantees. More formally, the approach is based on a new formulation of dual of Sinkhorn divergence problem and on the KKT optimality conditions of this problem, which enable identification of dual components to be screened. This new analysis leads to the Screenkhorn algorithm. We illustrate the efficiency of Screenkhorn on complex tasks such as dimensionality reduction and domain adaptation involving regularized optimal transport.


title: Regional based query in graph active learning

abstract: Graph convolution networks (GCN) have emerged as the leading method to classify node classes in networks, and have reached the highest accuracy in multiple node classification tasks. In the absence of available tagged samples, active learning methods have been developed to obtain the highest accuracy using the minimal number of queries to an oracle. The current best active learning methods use the sample class uncertainty as selection criteria. However, in graph based classification, the class of each node is often related to the class of its neighbors. As such, the uncertainty in the class of a node's neighbor may be a more appropriate selection criterion. We here propose two such criteria, one extending the classical uncertainty measure, and the other extending the page-rank algorithm. We show that the latter is optimal when the fraction of tagged nodes is low, and when this fraction grows to one over the average degree, the regional uncertainty performs better than all existing methods. While we have tested this methods on graphs, such methods can be extended to any classification problem, where a distance metrics can be defined between the input samples. All the code used can be accessed at : https://github.com/louzounlab/graph-al All the datasets used can be accessed at : https://github.com/louzounlab/DataSets


title: Reanalyze the pulsar scenario to explain the cosmic positron excess considering the recent developments

abstract: As the TeV halos around Geminga and PSR B0656+14 have been confirmed by HAWC, slow diffusion of cosmic rays could be general around pulsars, and the cosmic positron spectrum from pulsars could be significantly changed. As a consequence, the most likely pulsar source of the positron excess, Geminga, is no more a viable candidate under the additional constraint from Fermi-LAT. Moreover, the latest measurement by AMS-02 shows a clear cutoff in the positron spectrum, which sets a strict constraint on the age of the pulsar source. Considering these new developments we reanalyze the scenario in this work. By checking all the observed pulsars under the two-zone diffusion scenario, we propose for the first time that PSR B1055-52 is a very promising source of the positron excess. B1055-52 can well reproduce both the intensity and the high-energy cut of the AMS-02 positron spectrum, and may also explain the H.E.S.S $e^-+e^+$ spectrum around 10 TeV. Moreover, if the slow diffusion is universal in the local interstellar medium, B1055-52 will be the unique reasonable source of the AMS-02 positron spectrum among the observed pulsars.


title: Efficient Gr\"obner Bases Computation over Principal Ideal Rings

abstract: In this paper we present a new efficient variant to compute strong Gr\"obner basis over quotients of principal ideal domains. We show an easy lifting process which allows us to reduce one computation over the quotient $R/nR$ to two computations over $R/aR$ and $R/bR$ where $n = ab$ with coprime $a, b$. Possibly using available factorization algorithms we may thus recursively reduce some strong Gr\"obner basis computations to Gr\"obner basis computations over fields for prime factors of $n$, at least for squarefree $n$. Considering now a computation over $R/nR$ we can run a standard Gr\"obner basis algorithm pretending $R/nR$ to be field. If we discover a non-invertible leading coefficient $c$, we use this information to try to split $n = ab$ with coprime $a, b$. If no such $c$ is discovered, the returned Gr\"obner basis is already a strong Gr\"obner basis for the input ideal over $R/nR$.


title: Exchange rules for diradical {\pi}-conjugated hydrocarbons

abstract: A variety of planar {\pi}-conjugated hydrocarbons such as heptauthrene, Clar's goblet and, recently synthesized, triangulene have two electrons occupying two degenerate molecular orbitals. The resulting spin of the interacting ground state is often correctly anticipated as S = 1, extending the application of Hund's rules to these systems, but this is not correct in some instances. Here we provide a set of rules to correctly predict the existence of zero mode states, as well as the spin multiplicity of both the ground state and the low-lying excited states, together with their open- or closed-shell nature. This is accomplished using a combination of analytical arguments and configuration interaction calculations with a Hubbard model, both backed by quantum chemistry methods with a larger Gaussian basis set. Our results go beyond the well established Lieb's theorem and Ovchinnikov's rule, as we address the multiplicity and the open-/closed-shell nature of both ground and excited states.


title: The Chromospheric Response to the Sunquake generated by the X9.3 Flare of NOAA 12673

abstract: Active region NOAA 12673 was extremely volatile in 2017 September, producing many solar flares, including the largest of solar cycle 24, an X9.3 flare of 06 September 2017. It has been reported that this flare produced a number of sunquakes along the flare ribbon (Sharykin & Kosovichev 2018; Zhao & Chen 2018). We have used co-temporal and co-spatial Helioseismic and Magnetic Imager (HMI) line-of-sight (LOS) and Swedish 1-m Solar Telescope observations to show evidence of the chromospheric response to these sunquakes. Analysis of the Ca II 8542 \AA\space line profiles of the wavefronts revealed that the crests produced a strong blue asymmetry, whereas the troughs produced at most a very slight red asymmetry. We used the combined HMI, SST datasets to create time-distance diagrams and derive the apparent transverse velocity and acceleration of the response. These velocities ranged from 4.5 km s$^{-1}$ to 29.5 km s$^{-1}$ with a constant acceleration of 8.6 x 10$^{-3}$ km s$^{-2}$. We employed NICOLE inversions, in addition to the Center-of-Gravity (COG) method to derive LOS velocities ranging 2.4 km s$^{-1}$ to 3.2 km s$^{-1}$. Both techniques show that the crests are created by upflows. We believe that this is the first chromospheric signature of a flare induced sunquake.


title: Dual-control based approach to batch process operation under uncertainty based on optimality-conditions parameterization

abstract: This paper presents a scheme for dual robust control of batch processes under parametric uncertainty. The dual-control paradigm arises in the context of adaptive control. A trade-off should be decided between the control actions that (robustly) optimize the plant performance and between those that excite the plant such that unknown plant model parameters can be learned precisely enough to increase the robust performance of the plant. Some recently proposed approaches can be used to tackle this problem, however, this will be done at the price of conservativeness or significant computational burden. In order to increase computational efficiency, we propose a scheme that uses parameterized conditions of optimality in the adaptive predictive-control fashion. The dual features of the controller are incorporated through scenario-based (multi-stage) approach, which allows for modeling of the adaptive robust decision problem and for projecting this decision into predictions of the controller. The proposed approach is illustrated on a case study from batch membrane filtration.


title: vireoJD-MM at Activity Detection in Extended Videos

abstract: This notebook paper presents an overview and comparative analysis of our system designed for activity detection in extended videos (ActEV-PC) in ActivityNet Challenge 2019. Specifically, we exploit person/vehicle detections in spatial level and action localization in temporal level for action detection in surveillance videos. The mechanism of different tubelet generation and model decomposition methods are studied as well. The detection results are finally predicted by late fusing the results from each component.


title: Knotted Proteins: Tie Etiquette in Structural Biology

abstract: A small fraction of all protein structures characterized so far are entangled. The challenge of understanding the properties of these knotted proteins, and the why and the how of their natural folding process, has been taken up in the past decade with different approaches, such as structural characterization, in vitro experiments, and simulations of protein models with varying levels of complexity. The simplest among these are the lattice G\=o models, which belong to the class of structure-based models, i.e., models that are biased to the native structure by explicitly including structural data. In this review we highlight the contributions to the field made in the scope of lattice G\=o models, putting them into perspective in the context of the main experimental and theoretical results and of other, more realistic, computational approaches.


title: Designing Game of Theorems

abstract: "Theorem proving is similar to the game of Go. So, we can probably improve our provers using deep learning, like DeepMind built the super-human computer Go program, AlphaGo." Such optimism has been observed among participants of AITP2017. But is theorem proving really similar to Go? In this paper, we first identify the similarities and differences between them and then propose a system in which various provers keep competing against each other and changing themselves until they prove conjectures provided by users.


title: Chemical Compositions of Field and Globular Cluster RR~Lyrae Stars: II. omega Centauri

abstract: We present a detailed spectroscopic analysis of RR Lyrae (RRL) variables in the globular cluster NGC 5139 (omega Cen). We collected optical (4580-5330 A), high resolution (R = 34,000), high signal-to-noise ratio (200) spectra for 113 RRLs with the multi-fiber spectrograph M2FS at the Magellan/Clay Telescope at Las Campanas Observatory. We also analysed high resolution (R = 26,000) spectra for 122 RRLs collected with FLAMES/GIRAFFE at the VLT, available in the ESO archive. The current sample doubles the literature abundances of cluster and field RRLs in the Milky Way based on high resolution spectra. Equivalent width measurements were used to estimate atmospheric parameters, iron, and abundance ratios for alpha (Mg, Ca, Ti), iron peak (Sc, Cr, Ni, Zn), and s-process (Y) elements. We confirm that omega Cen is a complex cluster, characterised by a large spread in the iron content: -2.58 < [Fe/H] < -0.85. We estimated the average cluster abundance as [Fe/H] = -1.80 +- 0.03, with sigma = 0.33 dex. Our findings also suggest that two different RRL populations coexist in the cluster. The former is more metal-poor ([Fe/H] < -1.5), with almost solar abundance of Y. The latter is less numerous, more metal-rich, and yttrium enhanced ([Y/Fe] > 0.4). This peculiar bimodal enrichment only shows up in the s-process element, and it is not observed among lighter elements, whose [X/Fe] ratios are typical for Galactic globular clusters.


title: Layouts for fixed-target experiments and dipole moment measurements of short-living baryons using bent crystals at the LHC

abstract: Several studies are on-going at CERN in the framework of the Physics Beyond Collider study group, with main aim of broadening the physics research spectrum using the available accelerator complex and infrastructure. The possibility to design a layout that allows fixed-target experiments in the primary vacuum of the CERN Large Hadron Collider (LHC), without the need of a dedicated extraction line, is included among these studies. The principle of the layouts presented in this paper is to deflect beam halo protons on a fixed-target placed in the LHC primary vacuum, by means of bent crystals (i.e. crystal channeling). Moreover, interaction products emerging from the target can be used to perform electromagnetic dipole moments measurements of short-living baryons. Two possible layouts are reported, together with a thorough evaluation on their expected performance and impact on LHC operations.


title: Kolmogorov distance between the exponential functionals of fractional Brownian motion

abstract: In this note, we investigate the continuity in law with respect to the Hurst index of the exponential functional of the fractional Brownian motion. Based on the techniques of Malliavin's calculus, we provide an explicit bound on the Kolmogorov distance between two functionals with different Hurst indexes.


title: Deciphering the $X(3872)$ via its polarization in prompt production at the CERN LHC

abstract: Based on the hypothesis that the $X(3872)$ exotic hadron is a mixture of $\chi_{c1}(2P)$ and other states and that its prompt hadroproduction predominately proceeds via its $\chi_{c1}(2P)$ component, we calculate the prompt-$X(3872)$ polarization at the CERN LHC through next-to-leading order in $\alpha_s$ within the factorization formalism of nonrelativistic QCD, including both the color-singlet $^3\!P_1^{[1]}$ and color-octet $^3\!S_1^{[8]}$ $c\bar c$ Fock states. We also consider the polarization of the $J/\psi$ produced by the subsequent $X(3872)$ decay. We predict that, under ATLAS, CMS, and LHCb experimental conditions, the $X(3872)$ is largely longitudinally polarized, while the $J/\psi$ is largely transversely polarized. We propose that the LHC experiments perform such polarization measurements to pin down the nature of the $X(3872)$ and other $X$, $Y$, $Z$ exotic states with non-zero spin.


title: Tactile Internet and its Contribution in the Development of Smart Cities

abstract: The Tactile Internet (TI) is an emerging technology next to the Internet of Things (IoT). It is a revolution to develop the smart cities, communities and cultures in the future. This technology will allow the real-time interaction between human and machines as well as machine-to-machine with the 1ms challenge to achieve in round trip latency. The term TI is defined by International Telecommunication Union (ITU) in August 2014. The TI provides fast, reliable, secure and available internet network that is the requirements of the smart cities in 5G. Tactile internet can develop the part of world where the machines are strong and human are weak. It increases the power of machines so that the value of human power will increase automatically. In this framework, we have presented the idea of tactile internet for the next generation smart cities. This research will provide a high-performance reliable framework for the internet of smart devices to communicate with each other in a real-time (1ms round trip) using IEEE 1918.1 standard. The objective of this research is expected to bring a new dimension in the research of the smart cities.


title: On Gr\"obner bases over Dedekind domains

abstract: Gr\"obner bases are a fundamental tool when studying ideals in multivariate polynomial rings. More recently there has been a growing interest in transferring techniques from the field case to other coefficient rings, most notably Euclidean domains and principal ideal rings. In this paper we will consider multivariate polynomial rings over Dedekind domain. By generalizing methods from the theory of finitely generated projective modules, we show that it is possible to describe Gr\"obner bases over Dedekind domains in a way similar to the case of principal ideal domains, both from a theoretical and algorithmic point of view.


title: Unleashing the Unused Potential of I-Vectors Enabled by GPU Acceleration

abstract: Speaker embeddings are continuous-value vector representations that allow easy comparison between voices of speakers with simple geometric operations. Among others, i-vector and x-vector have emerged as the mainstream methods for speaker embedding. In this paper, we illustrate the use of modern computation platform to harness the benefit of GPU acceleration for i-vector extraction. In particular, we achieve an acceleration of 3000 times in frame posterior computation compared to real time and 25 times in training the i-vector extractor compared to the CPU baseline from Kaldi toolkit. This significant speed-up allows the exploration of ideas that were hitherto impossible. In particular, we show that it is beneficial to update the universal background model (UBM) and re-compute frame alignments while training the i-vector extractor. Additionally, we are able to study different variations of i-vector extractors more rigorously than before. In this process, we reveal some undocumented details of Kaldi's i-vector extractor and show that it outperforms the standard formulation by a margin of 1 to 2% when tested with VoxCeleb speaker verification protocol. All of our findings are asserted by ensemble averaging the results from multiple runs with random start.


title: testRNN: Coverage-guided Testing on Recurrent Neural Networks

abstract: Recurrent neural networks (RNNs) have been widely applied to various sequential tasks such as text processing, video recognition, and molecular property prediction. We introduce the first coverage-guided testing tool, coined testRNN, for the verification and validation of a major class of RNNs, long short-term memory networks (LSTMs). The tool implements a generic mutation-based test case generation method, and it empirically evaluates the robustness of a network using three novel LSTM structural test coverage metrics. Moreover, it is able to help the model designer go through the internal data flow processing of the LSTM layer. The tool is available through: https://github.com/TrustAI/testRNN under the BSD 3-Clause licence.


title: Enhanced tensor non-Gaussianities in presence of a source

abstract: We address the possibility of having an enhanced signal for tensor non-Gaussianities in presence of a source, as a signature of Primordial Gravitational Waves. We employ a nearly model-independent framework based on Effective Field Theory of inflation and compute tensor non-Gaussianities therefrom sourced by particle production during (p)reheating to arrive at an enhanced signal strength. We obtain the model-independent non-linearity parameters and also find that squeezed limit bispectra are more enhanced than equilateral limit.


title: More accurate numerical radius inequalities

abstract: In this article, we present some new general forms of numerical radius inequalities for Hilbert space operators. The significance of these inequalities follow from the way they extend and refine some known results in this field. Among other inequalities, it is shown that if $A$ is a bounded linear operator on a complex Hilbert space, then \[{{w}^{2}}\left( A \right)\le \left\| \int_{0}^{1}{{{\left( t\left| A \right|+\left( 1-t \right)\left| {{A}^{*}} \right| \right)}^{2}}dt} \right\|\le \frac{1}{2}\left\| \;{{\left| A \right|}^{2}}+{{\left| {{A}^{*}} \right|}^{2}} \right\|\] where $w\left( A \right)$ and $\left\| A \right\|$ are the numerical radius and the usual operator norm of $A$, respectively.


title: Enhanced light-matter interaction in an atomically thin semiconductor coupled with dielectric nano-antennas

abstract: Unique structural and optical properties of atomically thin two-dimensional semiconducting transition metal dichalcogenides enable in principle their efficient coupling to photonic cavities with optical modes volumes close to or below the diffraction limit. Recently, it has become possible to make all-dielectric nano-cavities with reduced mode volumes and negligible non-radiative losses. Here, we realise low-loss high-refractive-index dielectric gallium phosphide (GaP) nano-antennas with small mode volumes coupled to atomic mono- and bilayers of WSe$_2$. We observe a photoluminescence enhancement exceeding 10$^4$ compared with WSe$_2$ placed on planar GaP, and trace its origin to a combination of enhancement of the spontaneous emission rate, favourable modification of the photoluminescence directionality and enhanced optical excitation efficiency. A further effect of the coupling is observed in the photoluminescence polarisation dependence and in the Raman scattering signal enhancement exceeding 10$^3$. Our findings reveal dielectric nano-antennas as a promising platform for engineering light-matter coupling in two-dimensional semiconductors.


title: Transition to the case of "resolved gauge" in the Lagrange-Poincar\'e equations for a mechanical system with symmetry on the total space of a principal fiber bundle whose base is the bundle space of the associated bundle

abstract: This note is a continuation of our earlier articles arXiv:1612.08897 and arXiv:1709.09030, where using the dependent coordinates the local Lagrange-Poincar\'e equations were obtained for a mechanical system with symmetry describing the motion of two interacting scalar particles on a special Riemannian manifold (the product of the total space of the principal fiber bundle and vector space), on which a free proper and isometric action of a compact semisimple Lie group is given. Assuming the existence of the parametric representations for local sections in the principal bundle, we make the transition to independent coordinates in the obtained Lagrange-Poincar\'e equations.


title: Privacy, Altruism, and Experience: Estimating the Perceived Value of Internet Data for Medical Uses

abstract: People increasingly turn to the Internet when they have a medical condition. The data they create during this process is a valuable source for medical research and for future health services. However, utilizing these data could come at a cost to user privacy. Thus, it is important to balance the perceived value that users assign to these data with the value of the services derived from them. Here we describe experiments where methods from Mechanism Design were used to elicit a truthful valuation from users for their Internet data and for services to screen people for medical conditions. In these experiments, 880 people from around the world were asked to participate in an auction to provide their data for uses differing in their contribution to the participant, to society, and in the disease they addressed. Some users were offered monetary compensation for their participation, while others were asked to pay to participate. Our findings show that 99\% of people were willing to contribute their data in exchange for monetary compensation and an analysis of their data, while 53\% were willing to pay to have their data analyzed. The average perceived value users assigned to their data was estimated at US\$49. Their value to screen them for a specific cancer was US\$22 while the value of this service offered to the general public was US\$22. Participants requested higher compensation when notified that their data would be used to analyze a more severe condition. They were willing to pay more to have their data analyzed when the condition was more severe, when they had higher education or if they had recently experienced a serious medical condition.


title: An observable time series based SLAM algorithm for deforming environment

abstract: In this paper, we study the back-end of simultaneous localization and mapping (SLAM) problem in deforming environment, where robot localizes itself and tracks multiple non-rigid soft surface using its onboard sensor measurements. An elaborate analysis is conducted on conventional deformation modelling method, Embedded Deformation (ED) graph. We demonstrate and prove that the ED graph widely used in such scenarios is unobservable and leads to multiple solutions unless suitable priors are provided. Example as well as theoretical prove are provided to show the ambiguity of ED graph and camera pose. In modelling non-rigid scenario with ED graph, motion priors of the deforming environment is essential to separate robot pose and deforming environment. The conclusion can be extrapolated to any free form deformation formulation. In solving the observability, this research proposes a preliminary deformable SLAM approach to estimate robot pose in complex environments that exhibits regular motion. A strategy that approximates deformed shape using a linear combination of several previous shapes is proposed to avoid the ambiguity in robot movement and rigid and non-rigid motions of the environment. Fisher information matrix rank analysis with a base case is discussed to prove the effectiveness. Moreover, the proposed algorithm is validated extensively on Monte Carlo simulations and real experiments. It is demonstrated that the new algorithm significantly outperforms conventional rigid SLAM and ED based SLAM especially in scenarios where there is large deformation.


title: Strong band kinks in magic-thickness Yb films arising from interfacial electron-phonon coupling

abstract: Interfacial electron-phonon coupling in ultrathin films has attracted much interest; it can give rise to novel effects and phenomena, including enhanced superconductivity. Here we report an observation of strong kinks in the energy dispersions of quantum well states in ultrathin Yb films grown on graphite. These kinks, arising from interfacial electron-phonon coupling, are most prominent for films with a preferred ("magic") thickness of 4 monolayers, which are strained and hole doped by the substrate. The energy position of the kinks agrees well with the optical phonon energy of graphite, and the extracted electron-phonon coupling strength {\lambda} shows a large subband dependence, with a maximum value up to 0.6. The kinks decay rapidly with increasing film thickness, consistent with its interfacial origin. The variation of {\lambda} is correlated with evolution of the electronic wave function amplitudes at the interface. A Lifshitz transition occurs just beyond the magic thickness where the heavy Yb 5d bands begin to populate right below the Fermi level.


title: Coherent nonlinear optics of quantum emitters in nanophotonic waveguides

abstract: Coherent quantum optics, where the interaction of a photon with an emitter does not scramble phase coherence, lies at the heart of many quantum optical effects and emerging technologies. Solid-state emitters coupled to nanophotonic waveguides are a promising platform for quantum devices, as this combination is scalable. Yet, reaching full coherence in these systems is challenging due to the dynamics of the solid-state environment of the emitters. Here, we review progress towards coherent light-matter interactions with solid-state quantum emitters coupled to nanophotonic waveguides. We first lay down the theoretical foundation for coherent and nonlinear light-matter interactions of a two-level system in a quasi-one-dimensional system, and then benchmark experimental realizations. We then discuss higher-order nonlinearities that arise due to the addition of photons of different frequencies, more complex energy-level schemes of the emitters, and the coupling of multiple emitters via a shared photonic mode. Throughout, we highlight protocols for applications and novel effects that are based on these coherent interactions, the steps taken towards their realization, and the challenges that remain to be overcome.


title: Effects of spin-orbit coupling on the neutron spin resonance in iron-based superconductors

abstract: The so-called neutron spin resonance consists of a prominent enhancement of the magnetic response at a particular energy and momentum transfer upon entering the superconducting state of unconventional superconductors. In the case of iron-based superconductors, the neutron resonance has been extensively studied experimentally, and a peculiar spin-space anisotropy has been identified by polarized inelastic neutron scattering experiments. Here we perform a theoretical study of the energy- and spin-resolved magnetic susceptibility in the superconducting state with $ s_{+-} $-wave order parameter, relevant to iron-pnictide and iron-chalcogenide superconductors. Our model is based on a realistic bandstructure including spin-orbit coupling with electronic Hubbard-Hund interactions included at the RPA level. Spin-orbit coupling is taken into account both in the generation of spin-fluctuation mediated pairing, as well as the numerical computation of the spin susceptibility in the superconducting state. We find that spin-orbit coupling and superconductivity in conjunction can reproduce the salient experimentally observed features of the magnetic anisotropy of the neutron resonance. This includes the possibility of a double resonance, the tendency for a $c$-axis polarized resonance, and the existence of enhanced magnetic anisotropy upon entering the superconducting phase.


title: Rare strange particle decays

abstract: The rare decays $\mathrm{K}^+\to \pi^+ \nu \bar{\nu}$ and $\mathrm{K_L}\to \pi^0 \nu \bar{\nu}$ are extremely attractive processes to study flavor physics because they are both exceptionally clean from a theoretical point of view. These modes are measured by the experiments NA62 at CERN in Switzerland and KOTO at J-PARC in Japan, respectively. The latest results from these experiments together with future prospects are presented. The NA62 experiment has, besides the main goal, a rich physics program on other rare kaon decays which will be also discussed.


title: Quasistable charginos in ultraperipheral proton-proton collisions at the LHC

abstract: We propose a model-independent approach for the search of charged long-lived particles produced in ultraperipheral collisions at the LHC. The main idea is to improve event reconstruction at ATLAS and CMS with the help of their forward detectors. Detection of both scattered protons in forward detectors allows complete recovery of event kinematics. Though this requirement reduces the number of events, it greatly suppresses the background, including the large background from the pile-up.


title: An ALMA multi-line survey of the interstellar medium of the redshift 7.5 quasar host galaxy J1342+0928

abstract: We use ALMA observations of the host galaxy of the quasar ULAS-J1342+0928 at z=7.54 to study the dust continuum and far infrared lines emitted from its interstellar medium. The Rayleigh-Jeans tail of the dust continuum is well sampled with eight different spectral setups, and from a modified black body fit we obtain an emissivity coefficient of beta=1.85+-0.3. Assuming a standard dust temperature of 47 K we derive a dust mass of Mdust=0.35x10^8 Msol and a star formation rate of 150+-30 Msol/yr. We have >4sigma detections of the [CII]_158, [OIII]_88 and [NII]_122 atomic fine structure lines and limits on the [CI]_369, [OI]_146 and [NII]_205 emission. We also report multiple limits of CO rotational lines with Jup >= 7, as well as a tentative 3.3sigma detection of the stack of four CO lines (Jup=11, 10, 8, 7). We find line deficits that are in agreement with local ultra luminous infrared galaxies. Comparison of the [NII]_122 and [CII]_158 lines indicates that the [CII]_158 emission arises predominantly from the neutral medium, and we estimate that the photo-disassociation regions in J1342+0928 have densities <~5x10^4cm^-3. The data suggest that ~16% of hydrogen is in ionized form and that the HII regions have high electron densities of n_e>180 cm^-3. Our observations favor a low gas-to-dust ratio of <100 and a metallicity of the interstellar medium comparable to the Solar value. All the measurements presented here suggest that the host galaxy of J1342+0928 is highly enriched in metal and dust, despite being observed just 680 Myr after the Big Bang.


title: Hindi Question Generation Using Dependency Structures

abstract: Hindi question answering systems suffer from a lack of data. To address the same, this paper presents an approach towards automatic question generation. We present a rule-based system for question generation in Hindi by formalizing question transformation methods based on karaka-dependency theory. We use a Hindi dependency parser to mark the karaka roles and use IndoWordNet a Hindi ontology to detect the semantic category of the karaka role heads to generate the interrogatives. We analyze how one sentence can have multiple generations from the same karaka role's rule. The generations are manually annotated by multiple annotators on a semantic and syntactic scale for evaluation. Further, we constrain our generation with the help of various semantic and syntactic filters so as to improve the generation quality. Using these methods, we are able to generate diverse questions, significantly more than number of sentences fed to the system.


title: Local infimum in optimal control

abstract: The concept of a local infimum for an optimal control problem is introduced. This definition extends that of an optimal process. For a~local infimum we prove an existence theorem and derive necessary conditions that resemble some family of "maximum principles". Examples are given to demostrate the meaningfulness of the necessary conditions obtained in the present paper, which extend and strengthen the classical results in this field.


title: Synchronization of linear oscillators coupled through dynamic networks with interior nodes

abstract: Synchronization is studied in an array of identical linear oscillators of arbitrary order, coupled through a dynamic network comprising dissipative connectors (e.g., dampers) and restorative connectors (e.g., springs). The coupling network is allowed to contain interior nodes, i.e., those that are not directly connected to an oscillator. It is shown that the oscillators asymptotically synchronize if and only if the Schur complement (with respect to the boundary nodes) of the complex-valued Laplacian matrix representing the coupling has a single eigenvalue on the imaginary axis.


title: High points of a random model of the Riemann-zeta function and Gaussian multiplicative chaos

abstract: We study the total mass of high points in a random model for the Riemann-Zeta function. We consider the same model as in [8], [2], and build on the convergence to 'Gaussian' multiplicative chaos proved in [14]. We show that the total mass of points which are a linear order below the maximum divided by their expectation converges almost surely to the Gaussian multiplicative chaos of the approximating Gaussian process times a random function. We use the second moment method together with a branching approximation to establish this convergence.


title: Extracting Basic Graph Patterns from Triple Pattern Fragment Logs

abstract: The Triple Pattern Fragment (TPF) approach is de-facto a new way to publish Linked Data at low cost and with high server availability. However, data providers hosting TPF servers are not able to analyze the SPARQL queries they execute because they only receive and evaluate queries with one triple pattern. In this paper, we propose LIFT: an algorithm to extract Basic Graph Patterns (BGPs) of executed queries from TPF server logs. Experiments show that LIFT extracts BGPs with good precision and good recall generating limited noise.


title: Probabilistic Tile Visibility-Based Server-Side Rate Adaptation for Adaptive 360-Degree Video Streaming

abstract: In this paper, we study the server-side rate adaptation problem for streaming tile-based adaptive 360-degree videos to multiple users who are competing for transmission resources at the network bottleneck. Specifically, we develop a convolutional neural network (CNN)-based viewpoint prediction model to capture the nonlinear relationship between the future and historical viewpoints. A Laplace distribution model is utilized to characterize the probability distribution of the prediction error. Given the predicted viewpoint, we then map the viewport in the spherical space into its corresponding planar projection in the 2-D plane, and further derive the visibility probability of each tile based on the planar projection and the prediction error probability. According to the visibility probability, tiles are classified as viewport, marginal and invisible tiles. The server-side tile rate allocation problem for multiple users is then formulated as a non-linear discrete optimization problem to minimize the overall received video distortion of all users and the quality difference between the viewport and marginal tiles of each user, subject to the transmission capacity constraints and users' specific viewport requirements. We develop a steepest descent algorithm to solve this non-linear discrete optimization problem, by initializing the feasible starting point in accordance with the optimal solution of its continuous relaxation. Extensive experimental results show that the proposed algorithm can achieve a near-optimal solution, and outperforms the existing rate adaptation schemes for tile-based adaptive 360-video streaming.


title: Measuring the Importance of User-Generated Content to Search Engines

abstract: Search engines are some of the most popular and profitable intelligent technologies in existence. Recent research, however, has suggested that search engines may be surprisingly dependent on user-created content like Wikipedia articles to address user information needs. In this paper, we perform a rigorous audit of the extent to which Google leverages Wikipedia and other user-generated content to respond to queries. Analyzing results for six types of important queries (e.g. most popular, trending, expensive advertising), we observe that Wikipedia appears in over 80% of results pages for some query types and is by far the most prevalent individual content source across all query types. More generally, our results provide empirical information to inform a nascent but rapidly-growing debate surrounding a highly-consequential question: Do users provide enough value to intelligent technologies that they should receive more of the economic benefits from intelligent technologies?


title: M-type penalized splines with auxiliary scale estimation

abstract: Penalized spline smoothing is a popular and flexible method of obtaining estimates in nonparametric regression but the classical least-squares criterion is highly susceptible to model deviations and atypical observations. Penalized spline estimation with a resistant loss function is a natural remedy, yet to this day the asymptotic properties of M-type penalized spline estimators have not been studied. We show in this paper that M-type penalized spline estimators achieve the same rates of convergence as their least-squares counterparts, even with auxiliary scale estimation. We further find theoretical justification for the use of a small number of knots relative to the sample size. We illustrate the benefits of M-type penalized splines in a Monte-Carlo study and two real-data examples, which contain atypical observations.


title: Effective theory for ultracold strongly interacting fermionic atoms in two dimensions

abstract: We propose a minimal theoretical model for the description of a two-dimensional (2D) strongly interacting Fermi gas confined transversely in a tight harmonic potential, and present accurate predictions for its equation of state and breathing mode frequency. We show that the minimal model Hamiltonian needs at least two independent interaction parameters, the 2D scattering length and effective range of interactions, in order to quantitatively explain recent experimental measurements at nonzero filling factor $N/N_{2D}$, where $N$ is the total number of atoms and $N_{2D}$ is the threshold number to reach the 2D limit. We therefore resolve in a satisfactory way the puzzling experimental observations of reduced equations of state and reduced quantum anomaly in breathing mode frequency, due to small yet non-negligible $N/N_{2D}$. We argue that a conclusive demonstration of the much-anticipated quantum anomaly is possible at a filling factor of a few percent. Our establishment of the minimal model for 2D ultracold atoms could be crucial to understanding the fermionic Berezinskii-Kosterlitz-Thouless transition in the strongly correlated regime.


title: Solvability of an Operator Riccati Integral Equation in a Reflexive Banach Space

abstract: We show that if $X$ is a reflexive Banach space, then a nonautonomous operator Riccati integral equation has a unique strongly continuous self-adjoint nonnegative solution $P(t)\in\mathcal{L}(X,X^*)$


title: Pattern Spotting in Historical Documents Using Convolutional Models

abstract: Pattern spotting consists of searching in a collection of historical document images for occurrences of a graphical object using an image query. Contrary to object detection, no prior information nor predefined class is given about the query so training a model of the object is not feasible. In this paper, a convolutional neural network approach is proposed to tackle this problem. We use RetinaNet as a feature extractor to obtain multiscale embeddings of the regions of the documents and also for the queries. Experiments conducted on the DocExplore dataset show that our proposal is better at locating patterns and requires less storage for indexing images than the state-of-the-art system, but fails at retrieving some pages containing multiple instances of the query.


title: Boundary value problems for general first-order elliptic differential operators

abstract: We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local. We show the equivalence of various characterisations of elliptic boundary conditions and demonstrate how the boundary conditions traditionally considered in the literature fit in our framework. The regularity of the solutions up to the boundary is proven. We show that imposing elliptic boundary conditions yields a Fredholm operator if the manifold is compact. We provide examples which are conveniently treated by our methods.


title: Crossover from two-dimensional to three-dimensional superconducting states in bismuth-based cuprate superconductor

abstract: To decipher the mechanism of high temperature superconductivity, it is important to know how the superconducting pairing emerges from the unusual normal states of cuprate superconductors, including pseudogap, anomalous Fermi liquid and strange metal (SM). A long-standing issue under debate is how the superconducting pairing is formed and condensed in the SM phase because the superconducting transition temperature is the highest in this phase. Here, we report the first experimental observation of a pressure-induced crossover from two- to three-dimensional superconducting states in the optimally-doped Bi2Sr2CaCu2O8+delta bulk superconductor at a pressure above 2.8 GPa, through state-of-the-art in-situ high-pressure measurements of resistance, magnetoresistance and magnetic susceptibility. By analyzing the temperature dependence of resistance, we find that the two-dimensional (2D) superconducting transition exhibits a Berezinski-Kosterlitz-Thouless-like behavior. The emergence of this 2D superconducting transition provides direct and strong evidence that the SM state is predominantly 2D-like. This is important to a thorough understanding of the phase diagram of cuprate superconductors.


title: On Properties of Expansion-free Dynamical Stars

abstract: We study the geometrical and dynamical features of expansion-free dynamical stars in general relativity. Such stars can exist only if particular physical and geometric conditions are satisfied. Firstly, for trapping to exist in an expansion-free dynamical star, the star must accelerate and radiate simultaneously. If either are zero, then the shear \(Sigma\) must be zero through out the star, in which case the star is static (\(\Theta=\Sigma=0\)). Secondly, we prove that with nonzero acceleration and radiation expansion-free dynamical stars must be conformally flat.


title: Improving Zero-shot Translation with Language-Independent Constraints

abstract: An important concern in training multilingual neural machine translation (NMT) is to translate between language pairs unseen during training, i.e zero-shot translation. Improving this ability kills two birds with one stone by providing an alternative to pivot translation which also allows us to better understand how the model captures information between languages. In this work, we carried out an investigation on this capability of the multilingual NMT models. First, we intentionally create an encoder architecture which is independent with respect to the source language. Such experiments shed light on the ability of NMT encoders to learn multilingual representations, in general. Based on such proof of concept, we were able to design regularization methods into the standard Transformer model, so that the whole architecture becomes more robust in zero-shot conditions. We investigated the behaviour of such models on the standard IWSLT 2017 multilingual dataset. We achieved an average improvement of 2.23 BLEU points across 12 language pairs compared to the zero-shot performance of a state-of-the-art multilingual system. Additionally, we carry out further experiments in which the effect is confirmed even for language pairs with multiple intermediate pivots.


title: The dichotomy of distributed and centralized control: METRO-HAUL, when control planes collide for 5G networks

abstract: Automating the provisioning of 5G services, deployed over a heterogeneous infrastructure (in terms of domains, technologies, and management platforms), remains a complex task, yet driven by the constant need to provide end-to-end connections at network slices at reducing costs and service deployment time. At the same time, such services are increasingly conceived around interconnected functions and require allocation of computing, storage, and networking resources. The METRO-HAUL 5G research initiative acknowledges the need for automation and strives to develop an orchestration platform for services and resources that extends, integrates, and builds on top of existing approaches, macroscopically adopting Transport Software Defined Networking principles, and leveraging the programmability and open control of Transport SDN.


title: Reinforcement Learning-Based Adaptive Insulin Advisor for Individuals with Type 1 Diabetes Patients under Multiple Daily Injections Therapy

abstract: The existing adaptive basal-bolus advisor (ABBA) was further developed to benefit patients under insulin therapy with multiple daily injections (MDI). Three different in silico experiments were conducted with the DMMS.R simulator to validate the approach of combined use of self-monitoring of blood glucose (SMBG) and insulin injection devices, e.g. insulin pen, as are used by the majority of type 1 diabetes patients under insulin therapy. The proposed approach outperforms the conventional method, as it increases the time spent within the target range and simultaneously reduces the risks of hyperglycaemic and hypoglycaemic events.


title: REBEC: Robust Evolutionary-based Calibration Approach for the Numerical Wind Wave Model

abstract: The adaptation of numerical wind wave models to the local time-spatial conditions is a problem that can be solved by using various calibration techniques. However, the obtained sets of physical parameters become over-tuned to specific events if there is a lack of observations. In this paper, we propose a robust evolutionary calibration approach that allows to build the stochastic ensemble of perturbed models and use it to achieve the trade-off between quality and robustness of the target model. The implemented robust ensemble-based evolutionary calibration (REBEC) approach was compared to the baseline SPEA2 algorithm in a set of experiments with the SWAN wind wave model configuration for the Kara Sea domain. Provided metrics for the set of scenarios confirm the effectiveness of the REBEC approach for the majority of calibration scenarios.


title: Optomechanical response with nanometer resolution in the self-mixing signal of a terahertz quantum cascade laser

abstract: The effectiveness of self-mixing interferometry has been demonstrated across the electromagnetic spectrum, from visible to microwave frequencies, in a plethora of sensing applications, ranging from distance measurement to material analysis, microscopy and coherent imaging. Owing to their intrinsic stability to optical feedback, quantum cascade lasers (QCLs) represent a source that offers unique and versatile characteristics to further improve the self-mixing functionality at mid infrared and terahertz (THz) frequencies. Here, we show the feasibility of detecting with nanometer precision deeply subwalength (< {\lambda}/6000) mechanical vibrations of a suspended Si3N4-membrane used as the external element of a THz QCL feedback interferometric apparatus. Besides representing a platform for the characterization of small displacements, our self-mixing configuration can be exploited for the realization of optomechanical systems, where several laser sources can be linked together through a common mechanical microresonator actuated by radiation pressure.


title: Search for diboson resonances in hadronic final states in 139 fb$^{-1}$ of $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: Narrow resonances decaying into $WW$, $WZ$ or $ZZ$ boson pairs are searched for in 139 fb$^{-1}$ of proton-proton collision data at a centre-of-mass energy of $\sqrt{s}=13$ TeV recorded with the ATLAS detector at the Large Hadron Collider from 2015 to 2018. The diboson system is reconstructed using pairs of high transverse momentum, large-radius jets. These jets are built from a combination of calorimeter- and tracker-inputs compatible with the hadronic decay of a boosted $W$ or $Z$ boson, using jet mass and substructure properties. The search is performed for diboson resonances with masses greater than 1.3 TeV. No significant deviations from the background expectations are observed. Exclusion limits at the 95% confidence level are set on the production cross-section times branching ratio into dibosons for resonances in a range of theories beyond the Standard Model, with the highest excluded mass of a new gauge boson at 3.8 TeV in the context of mass-degenerate resonances that couple predominantly to gauge bosons.


title: Lattice dynamics coupled to charge and spin degrees of freedom in the molecular dimer-Mott insulator $\kappa$-(BEDT-TTF)$_{2}$Cu[N(CN)$_{2}$]Cl

abstract: Inelastic neutron scattering measurements on the molecular dimer-Mott insulator $\kappa$-(BEDT-TTF)$_{2}$Cu[N(CN)$_{2}$]Cl reveal a phonon anomaly in a wide temperature range. Starting from $T_{\rm ins}\sim50$-$60$ K where the charge gap opens, the low-lying optical phonon modes become overdamped upon cooling towards the antiferromagnetic ordering temperature $T_\mathrm{N} = 27$ K, where also a ferroelectric ordering at $T_{\rm FE} \approx T_{\rm N}$ occurs. Conversely, the phonon damping becomes small again when spins and charges are ordered below $T_\mathrm{N}$, while no change of the lattice symmetry is observed across $T_\mathrm{N}$ in neutron diffraction measurements. We assign the phonon anomalies to structural fluctuations coupled to charge and spin degrees of freedom in the BEDT-TTF molecules.


title: Doubly Robust Crowdsourcing

abstract: Large-scale labeled dataset is the indispensable fuel that ignites the AI revolution as we see today. Most such datasets are constructed using crowdsourcing services such as Amazon Mechanical Turk which provides noisy labels from non-experts at a fair price. The sheer size of such datasets mandates that it is only feasible to collect a few labels per data point. We formulate the problem of test-time label aggregation as a statistical estimation problem of inferring the expected voting score. By imitating workers with supervised learners and using them in a doubly robust estimation framework, we prove that the variance of estimation can be substantially reduced, even if the learner is a poor approximation. Synthetic and real-world experiments show that by combining the doubly robust approach with adaptive worker/item selection rules, we often need much lower label cost to achieve nearly the same accuracy as in the ideal world where all workers label all data points.


title: A New Framework for software Library Investment Metrics

abstract: Software quality is considered as one of the most important challenges in software engineering. It has many dimensions which differ from users' point of view that depend on their requirements. Therefore, those dimensions lead to difficulty in measuring and defining the software quality properly. Software quality measurement is the main core of the software quality. Thus, it is necessary to study and develop the software measurements to meet the better quality. The use of libraries increases software quality more than that of using generic programming because these libraries are prepared and tested in advance. In addition, these libraries reduce the effort that is spent in designing, testing, and maintenance processes. In this research, we presented a new model to calculate the saved effort that results from using libraries instead of generic programming in the coding, testing, and productivity processes. The proposed model consists of three metrics that are Library Investment Ratio, Library Investment Level, and Program Simplicity. An empirical analyzes has been applied into ten projects to compare the results of the model with Reuse Percent. The results show that the model has better indication of the improvement of software quality and productivity rather than Reuse Percent.


title: Conflict as an Inverse of Attention in Sequence Relationship

abstract: Attention is a very efficient way to model the relationship between two sequences by comparing how similar two intermediate representations are. Initially demonstrated in NMT, it is a standard in all NLU tasks today when efficient interaction between sequences is considered. However, we show that attention, by virtue of its composition, works best only when it is given that there is a match somewhere between two sequences. It does not very well adapt to cases when there is no similarity between two sequences or if the relationship is contrastive. We propose an Conflict model which is very similar to how attention works but which emphasizes mostly on how well two sequences repel each other and finally empirically show how this method in conjunction with attention can boost the overall performance.


title: Random Attractors for Stochastic Partly Dissipative Systems

abstract: We prove the existence of a global random attractor for a certain class of stochastic partly dissipative systems. These systems consist of a partial (PDE) and an ordinary differential equation (ODE), where both equations are coupled and perturbed by additive white noise. The deterministic counterpart of such systems and their long-time behaviour have already been considered but there is no theory that deals with the stochastic version of partly dissipative systems in their full generality. We also provide several examples for the application of the theory.


title: Understanding, Categorizing and Predicting Semantic Image-Text Relations

abstract: Two modalities are often used to convey information in a complementary and beneficial manner, e.g., in online news, videos, educational resources, or scientific publications. The automatic understanding of semantic correlations between text and associated images as well as their interplay has a great potential for enhanced multimodal web search and recommender systems. However, automatic understanding of multimodal information is still an unsolved research problem. Recent approaches such as image captioning focus on precisely describing visual content and translating it to text, but typically address neither semantic interpretations nor the specific role or purpose of an image-text constellation. In this paper, we go beyond previous work and investigate, inspired by research in visual communication, useful semantic image-text relations for multimodal information retrieval. We derive a categorization of eight semantic image-text classes (e.g., "illustration" or "anchorage") and show how they can systematically be characterized by a set of three metrics: cross-modal mutual information, semantic correlation, and the status relation of image and text. Furthermore, we present a deep learning system to predict these classes by utilizing multimodal embeddings. To obtain a sufficiently large amount of training data, we have automatically collected and augmented data from a variety of data sets and web resources, which enables future research on this topic. Experimental results on a demanding test set demonstrate the feasibility of the approach.


title: Global Bayesian Analysis of new physics in $b \to s \mu\mu$ transitions after Moriond-2019

abstract: The recent measurement of $R_K$ at LHCb continues to support the hint of violation of lepton flavor universality. We perform a global fit for new physics in semileptonic $b\to s$ transitions using all the relevant data with a Bayesian analysis technique. We include new measurements of $R_K$ at LHCb and new determinations of $R_{K^*}$ and $R_{K^{*+}}$ at Belle. We perform the scan for various NP scenarios and infer the 68\% and 95.4\% credibility regions of the marginalized posterior probability density for all scenarios. We also compare the models in pairs by calculating the Bayes factor given a common data set. A few well-known BSM models are analyzed that can provide a high energy framework for the EFT analysis. These include the exchange of a heavy $Z^{'}$ boson in models with heavy vector-like fermions and a scalar field, and a model with scalar leptoquarks. We provide predictions for the BSM couplings and expected mass values.


title: Machine Learning Allows Calibration Models to Predict Trace Element Concentration in Soil with Generalized LIBS Spectra

abstract: Calibration models have been developed for determination of trace elements, silver for instance, in soil using laser-induced breakdown spectroscopy (LIBS). The major concern is the matrix effect. Although it affects the accuracy of LIBS measurements in a general way, the effect appears accentuated for soil because of large variation of chemical and physical properties among different soils. The purpose is to reduce its influence in such way an accurate and soil-independent calibration model can be constructed. At the same time, the developed model should efficiently reduce experimental fluctuations affecting measurement precision. A univariate model first reveals obvious influence of matrix effect and important experimental fluctuation. A multivariate model has been then developed. A key point is the introduction of generalized spectrum where variables representing the soil type are explicitly included. Machine learning has been used to develop the model. After a necessary pretreatment where a feature selection process reduces the dimension of raw spectrum accordingly to the number of available spectra, the data have been fed in to a back-propagation neuronal networks (BPNN) to train and validate the model. The resulted soilindependent calibration model allows average relative error of calibration (REC) and average relative error of prediction (REP) within the range of 5-6%.

categories: physics.chem-ph cs.LG physics.ins-det physics.plasm-ph


title: Companion Surface of Danger Cylinder and its Role in Solution Variation of P3P Problem

abstract: Traditionally the danger cylinder is intimately related to the solution stability in P3P problem. In this work, we show that the danger cylinder is also closely related to the multiple-solution phenomenon. More specifically, we show when the optical center lies on the danger cylinder, of the 3 possible P3P solutions, i.e., one double solution, and two other solutions, the optical center of the double solution still lies on the danger cylinder, but the optical centers of the other two solutions no longer lie on the danger cylinder. And when the optical center moves on the danger cylinder, accordingly the optical centers of the two other solutions of the corresponding P3P problem form a new surface, characterized by a polynomial equation of degree 12 in the optical center coordinates, called the Companion Surface of Danger Cylinder (CSDC). That means the danger cylinder always has a companion surface. For the significance of CSDC, we show that when the optical center passes through the CSDC, the number of solutions of P3P problem must change by 2. That means CSDC acts as a delimitating surface of the P3P solution space. These new findings shed some new lights on the P3P multi-solution phenomenon, an important issue in PnP study.


title: Optimal measurement network of pairwise differences

abstract: When both the difference between two quantities and their individual values can be measured or computational predicted, multiple quantities can be determined from the measurements or predictions of select individual quantities and select pairwise differences. These measurements and predictions form a network connecting the quantities through their differences. Here, I analyze the optimization of such networks, where the trace ($A$-optimal), the largest eigenvalue ($E$-optimal), or the determinant ($D$-optimal) of the covariance matrix associated with the estimated quantities are minimized with respect to the allocation of the measurement (or computational) cost to different measurements (or predictions). My statistical analysis of the performance of such optimal measurement networks -- based on large sets of simulated data -- suggests that they substantially accelerate the determination of the quantities, and that they may be useful in applications such as the computational prediction of binding free energies of candidate drug molecules.


title: CBC Approach for Evaluating Potential SaaS on the Cloud

abstract: The cloud computing is evolving as a key computing platform for sharing resources like infrastructure, platform, software etc. This has proven to be an essential requirement for extending many existing applications. Software as a service (SaaS) is referred as on-demand software supplied by service providers in which software and associated data are hosted on the cloud and it can be accessed by service users using a thin client via a web browser. SaaS is commonly utilized and it provides many benefits to service users. To realize these benefits, it is essential to evaluate potential quality of SaaS, not only to the service users but also to the service providers. They have to evaluate their services against requirements of service users. The existing evaluation models are focusing only on quality attributes of SaaS. In this paper, a new evaluation model is proposed based on the data mining technique of Constraint Based Clustering (CBC). The proposed model gives emphasis on potential requirements of service users along with quality attributes of services.


title: Approximate solutions to the one-phase Stefan problem with non-linear temperature-dependent thermal conductivity

abstract: In this chapter we consider different approximations for the one-dimensional one-phase Stefan problem corresponding to the fusion process of a semi-infinite material with a temperature boundary condition at the fixed face and non-linear temperature-dependent thermal conductivity. The knowledge of the exact solution of this problem, allows to compare it directly with the approximate solutions obtained by applying the heat balance integral method, an alternative form to it and the refined balance integral method, assuming a quadratic temperature profile in space. In all cases, the analysis is carried out in a dimensionless way by the Stefan number (Ste) parameter.


title: Exploring Fault-Tolerant Erasure Codes for Scalable All-Flash Array Clusters

abstract: Large-scale systems with all-flash arrays have become increasingly common in many computing segments. To make such systems resilient, we can adopt erasure coding such as Reed-Solomon (RS) code as an alternative to replication because erasure coding incurs a significantly lower storage overhead than replication. To understand the impact of using erasure coding on the system performance and other system aspects such as CPU utilization and network traffic, we build a storage cluster that consists of approximately 100 processor cores with more than 50 high-performance solid-state drives (SSDs), and evaluate the cluster with a popular open-source distributed parallel file system, called Ceph. Specifically, we analyze the behaviors of a system adopting erasure coding from the following five viewpoints, and compare with those of another system using replication: (1) storage system I/O performance; (2) computing and software overheads; (3) I/O amplification; (4) network traffic among storage nodes, and (5) impact of physical data layout on performance of RS-coded SSD arrays. For all these analyses, we examine two representative RS configurations, used by Google file systems, and compare them with triple replication employed by a typical parallel file system as a default fault tolerance mechanism. Lastly, we collect 96 block-level traces from the cluster and release them to the public domain for the use of other researchers.


title: Passive viscoelastic response of striated muscles

abstract: Muscle cells with sarcomeric structure exhibit highly nontrivial passive mechanical response. The difficulty of its continuum modeling is due to the presence of long-range interactions transmitted by extended protein skeleton. To build a rheological model for muscle 'material' we use a stochastic micromodel and derive a linear response theory for a half-sarcomere. Instead of the first order rheological equation, anticipated by A.V. Hill on the phenomenological grounds, we obtain a novel second order equation. We use the values of the microscopic parameters for frog muscles to show that the proposed rheological model is in excellent quantitative agreement with physiological experiments.


title: Spectral inequalities for a class of integral operators

abstract: We obtain inequalities for the Riesz means for the discrete spectrum of a class of self-adjoint compact integral operators. Such bounds imply some inequalities for the counting function of the Dirichlet boundary problem for the Laplace operator. The paper is an extension of the results previously obtained in [5].


title: Quantifying impacts of the drought 2018 on European ecosystems in comparison to 2003

abstract: In recent decades, an increasing persistence of atmospheric circulation patterns has been observed. In the course of the associated long-lasting anticyclonic summer circulations, heat waves and drought spells often coincide, leading to so-called hotter droughts. Previous hotter droughts caused a decrease in agricultural yields and increase in tree mortality, and thus, had a remarkable effect on carbon budgets and negative economic impacts. Consequently, a quantification of ecosystem responses to hotter droughts and a better understanding of the underlying mechanisms is crucial. In this context, the European hotter drought of the year 2018 may be considered as a key event. As a first step towards the quantification of its causes and consequences, we here assess anomalies of atmospheric circulation patterns, temperature loads, and climatic water balance as potential drivers of ecosystem responses as quantified by remote sensing using the MODIS vegetation indices NDVI and EVI. To place the drought of 2018 within a climatological context, we compare its climatic features and ecosystem response with the extreme hot drought of 2003. Our results indicated 2018 to be characterized by a climatic dipole, featuring extremely hot and dry weather conditions north of the Alps but comparably cool and moist conditions across large parts of the Mediterranean. Analyzing ecosystem response of five dominant land-cover classes, we found significant positive effects of April-July climatic water balance on ecosystem productivity. Negative drought impacts appeared to affect a larger area in 2018 compared to 2003. We found a significantly higher sensitivity of pastures and arable land to climatic water balance compared to forests in both years. This study quantifies the drought of 2018 as a yet unprecedented event and provides valuable insights into the heterogeneous drought responses of European ecosystems.


title: The new FAST module: a portable and transparent add-on module for time-resolved investigations with commercial scanning probe microscopes

abstract: Time resolution is one of the most severe limitations of scanning probe microscopies (SPMs), since the typical image acquisition times are in the order of several seconds or even few minutes. As a consequence, the characterization of dynamical processes occurring at surfaces (e.g. surface diffusion, film growth, self-assembly and chemical reactions) cannot be thoroughly addressed by conventional SPMs. To overcome this limitation, several years ago we developed a first prototype of the FAST module, an add-on instrument capable of driving a commercial scanning tunneling microscope (STM) at and beyond video rate frequencies. Here we report on a fully redesigned version of the FAST module, featuring improved performance and user experience, which can be used both with STMs and atomic force microscopes (AFMs), and offers additional capabilities such as an atom tracking mode. All the new features of the FAST module, including portability between different commercial instruments, are described in detail and practically demonstrated.


title: Millimeter-wave Monitoring of Active Galactic Nuclei with the Africa Millimetre Telescope

abstract: Active Galactic Nuclei are the dominant sources of gamma rays outside our Galaxy and also candidates for being the source of ultra-high energy cosmic rays. In addition to being emitters of broad-band non-thermal radiation throughout the electromagnetic spectrum, their emission is highly variable on timescales from years to minutes. Hence, high-cadence monitoring observations are needed to understand their emission mechanisms. The Africa Millimetre Telescope is planned to be the first mm-wave radio telescope on the African continent and one of few in the Southern hemisphere. Further to contributing to the global mm-VLBI observations with the Event Horizon Telescope, substantial amounts of observation time will be available for monitoring observations of Active Galactic Nuclei. Here we review the scientific scope of the Africa Millimetre Telescope for monitoring of Active Galactic Nuclei at mm-wavelengths.


title: Global Nash-Kuiper theorem for compact manifolds

abstract: We obtain global extensions of the celebrated Nash-Kuiper theorem for $C^{1,\theta}$ isometric immersions of compact manifolds with optimal H\"older exponent. In particular for the Weyl problem of isometrically embedding a convex compact surface in 3-space, we show that the Nash-Kuiper non-rigidity prevails upto exponent $\theta<1/5$. This extends previous results on embedding 2-discs as well as higher dimensional analogues.


title: SoK of Used Cryptography in Blockchain

abstract: The underlying fundaments of blockchain are cryptography and cryptographic concepts that provide reliable and secure decentralized solutions. Although many recent papers study the use-cases of blockchain in different industrial areas, such as finance, health care, legal relations, IoT, information security, and consensus building systems, only few studies scrutinize the cryptographic concepts used in blockchain. To the best of our knowledge, there is no Systematization of Knowledge (SoK) that gives a complete picture of the existing cryptographic concepts which have been deployed or have the potential to be deployed in blockchain. In this paper, we thoroughly review and systematize all cryptographic concepts which are already used in blockchain. Additionally, we give a list of cryptographic concepts which have not yet been applied but have big potentials to improve the current blockchain solutions. We also include possible instantiations of these cryptographic concepts in the blockchain domain. Last but not least, we explicitly postulate 21 challenging problems that cryptographers interested in blockchain can work on.


title: Transit modelling of selected Kepler systems

abstract: This paper employs a simple model, considering just geometry and linear or quadratic limb darkening, to fit Kepler transit data via a Markov Chain Monte Carlo (MCMC) methodology for Kepler-1b, 5b, 8b, 12b, 77b, 428b, 491b, 699b, 706b, and 730b. Additional fits were made of the systems using the more sophisticated modeller Winfitter, which gives results in general agreement with the simpler model. Analysis of data with longer integration times showed biasing of the derived parameters, as expected from the literature,} leading to larger estimates for radii and reducing estimates of the system inclination.