title: Sparse linear regression with compressed and low-precision data via concave quadratic programming

abstract: We consider the problem of the recovery of a k-sparse vector from compressed linear measurements when data are corrupted by a quantization noise. When the number of measurements is not sufficiently large, different $k$-sparse solutions may be present in the feasible set, and the classical l1 approach may be unsuccessful. For this motivation, we propose a non-convex quadratic programming method, which exploits prior information on the magnitude of the non-zero parameters. This results in a more efficient support recovery. We provide sufficient conditions for successful recovery and numerical simulations to illustrate the practical feasibility of the proposed method.


title: New criteria for the selection of galaxy close pairs from cosmological simulations: evolution of the major and minor merger fraction in MUSE deep fields

abstract: It is still a challenge to assess the merger fraction of galaxies at different cosmic epochs in order to probe the evolution of their mass assembly. Using the Illustris cosmological simulations, we investigate the relation between the separation of galaxies in a pair, both in velocity and projected spatial separation space, and the probability that these interacting galaxies will merge in the future. From this analysis, we propose a new set of criteria to select close pairs of galaxies along with a new corrective term to be applied to the computation of the galaxy merger fraction. We then probe the evolution of the major and minor merger fraction using the latest MUSE deep observations over the HUDF, HDFS, COSMOS-Gr30 and Abell 2744 regions. From a parent sample of 2483 galaxies with spectroscopic redshifts, we identify 366 close pairs spread over a large range of redshifts ($0.2<z<6$) and stellar masses ($10^7-10^{11}M_{\odot}$). Using the stellar mass ratio between the secondary and primary galaxy as a proxy to split the sample into major, minor and very minor mergers, we found a total of 183 major, 142 minor and 47 very minor close pairs corresponding to a mass ratio range of 1:1-1:6, 1:6-1:100 and lower than 1:100, respectively. Due to completeness issues, we do not consider the very minor pairs in the analysis. Overall, the major merger fraction increases up to $z\approx 2-3$ reaching 25% for pairs with the most massive galaxy with a stellar mass $M^*\geq 10^{9.5}M_{\odot}$. Beyond this redshift, the fraction decreases down to $\sim 5$% at $z\approx 6$. The evolution of the minor merger fraction is roughly constant with cosmic time, with a fraction of 20% at $z<3$ and a slow decrease between $3\leq z \leq6$ to 8-13%.


title: Advancing Pulsar Science with the FAST

abstract: The authors discuss potential remarkable achievements for pulsar science with the FAST (pulsar monitoring, timing and searching, as well as others related), and expect a FAST era of pulsar science to come.


title: Calibration of a Fluid-Structure Problem with Keras

abstract: In this short paper we report on an inverse problem issued from a physical system, namely a fluid structure problem where the parameters are the rigidity constant, the solid-fluid density ratio and the fluid viscosity. We have chosen a simple geometry so that the numerical solution of the system is easy. We compare the solution of this inverse problem by a Neural Network with a more classical solution obtained with a genetic algorithm. The Neural Network does much better.

categories: math.NA cs.NA physics.class-ph physics.comp-ph


title: Two Generation of Finite Simple Groups

abstract: This expository article revolves around the question to find short presentations of finite simple groups. This subject is one of the most active research areas of group theory in recent times. We bring together several known results on two-generation and $(2,3)$-generation of finite simple groups and how it impacts computational group theory.


title: A Fast Chebyshev Spectral Method for Nonlinear Fourier Transform

abstract: In this letter, we present a fast and well-conditioned spectral method based on the Chebyshev polynomials for computing the continuous part of the nonlinear Fourier spectrum. The algorithm achieves a complexity of $O(N_{\text{iter.}}N\log N)$ per spectral node for $N$ samples of the signal at the Chebyshev nodes where $N_{\text{iter.}}$ is the number of iterations of the biconjugate gradient stabilized method.


title: Semi-wave and spreading speed of the nonlocal Fisher-KPP equation with free boundaries

abstract: In Cao, Du, Li and Li [8], a nonlocal diffusion model with free boundaries extending the local diffusion model of Du and Lin [12] was introduced and studied. For Fisher-KPP type nonlinearities, its long-time dynamical behaviour is shown to follow a spreading-vanishing dichotomy. However, when spreading happens, the question of spreading speed was left open in [8]. In this paper we obtain a rather complete answer to this question. We find a condition on the kernel function such that spreading grows linearly in time exactly when this condition holds, which is achieved by completely solving the associated semi-wave problem that determines this linear speed; when the kernel function violates this condition, we show that accelerating spreading happens.


abstract: To explore underlying complementary information from multiple views, in this paper, we propose a novel Latent Multi-view Semi-Supervised Classification (LMSSC) method. Unlike most existing multi-view semi-supervised classification methods that learn the graph using original features, our method seeks an underlying latent representation and performs graph learning and label propagation based on the learned latent representation. With the complementarity of multiple views, the latent representation could depict the data more comprehensively than every single view individually, accordingly making the graph more accurate and robust as well. Finally, LMSSC integrates latent representation learning, graph construction, and label propagation into a unified framework, which makes each subtask optimized. Experimental results on real-world benchmark datasets validate the effectiveness of our proposed method.


title: Interlaboratory study of ice adhesion using different techniques

abstract: Low ice adhesion surfaces are a promising anti-icing strategy. However, reported ice adhesion strengths cannot be directly compared between research groups. This study compares results obtained from testing the ice adhesion strength on the same surface at two different laboratories, testing two different types of ice with different ice adhesion test methods at temperatures of $-10^o$C and $-18^o$C. One laboratory uses the centrifuge adhesion test and tests precipitation ice and bulk water ice, while the other laboratory uses a vertical shear test and tests only bulk water ice. The surfaces tested were bare aluminum and a commercial icephobic coating, with all samples prepared in the same manner. The results showed comparability in the general trends, surprisingly, with the greatest differences for bare aluminum surfaces at temperature $-10^o$C. For bulk water ice, the vertical shear test resulted in systematically higher ice adhesion strength than the centrifugal adhesion test. The standard deviation depends on the surface type and seems to scale with the absolute value of the ice adhesion strength. The experiments capture the overall trends in which the ice adhesion strength surprisingly decreases from $-10^o$C to $-18^o$C for aluminum and is almost independent of temperature for a commercial icephobic coating. In addition, the study captures similar trends in the effect of ice type on ice adhesion strength as previously reported and substantiates that ice formation is a key parameter for ice adhesion mechanisms.


title: Self-supervised Scale Equivariant Network for Weakly Supervised Semantic Segmentation

abstract: Weakly supervised semantic segmentation has attracted much research interest in recent years considering its advantage of low labeling cost. Most of the advanced algorithms follow the design principle that expands and constrains the seed regions from class activation maps (CAM). As well-known, conventional CAM tends to be incomplete or over-activated due to weak supervision. Fortunately, we find that semantic segmentation has a characteristic of spatial transformation equivariance, which can form a few self-supervisions to help weakly supervised learning. This work mainly explores the advantages of scale equivariant constrains for CAM generation, formulated as a self-supervised scale equivariant network (SSENet). Specifically, a novel scale equivariant regularization is elaborately designed to ensure consistency of CAMs from the same input image with different resolutions. This novel scale equivariant regularization can guide the whole network to learn more accurate class activation. This regularized CAM can be embedded in most recent advanced weakly supervised semantic segmentation framework. Extensive experiments on PASCAL VOC 2012 datasets demonstrate that our method achieves the state-of-the-art performance both quantitatively and qualitatively for weakly supervised semantic segmentation. Code has been made available.


title: On Domination Coloring in Graphs

abstract: A domination coloring of a graph $G$ is a proper vertex coloring of $G$ such that each vertex of $G$ dominates at least one color class, and each color class is dominated by at least one vertex. The minimum number of colors among all domination colorings is called the domination chromatic number, denoted by $\chi_{dd}(G)$. In this paper, we study the complexity of this problem by proving its NP-Completeness for arbitrary graphs, and give general bounds and characterizations on several classes of graphs. We also show the relation between dominator chromatic number $\chi_{d}(G)$, dominated chromatic number $\chi_{dom}(G)$, chromatic number $\chi(G)$, and domination number $\gamma(G)$. We present several results on graphs with $\chi_{dd}(G)=\chi(G)$.


title: Improving Neural Question Generation using World Knowledge

abstract: In this paper, we propose a method for incorporating world knowledge (linked entities and fine-grained entity types) into a neural question generation model. This world knowledge helps to encode additional information related to the entities present in the passage required to generate human-like questions. We evaluate our models on both SQuAD and MS MARCO to demonstrate the usefulness of the world knowledge features. The proposed world knowledge enriched question generation model is able to outperform the vanilla neural question generation model by 1.37 and 1.59 absolute BLEU 4 score on SQuAD and MS MARCO test dataset respectively.


title: Counting finite-dimensional algebras over finite fields

abstract: In this paper, we describe an elementary method for counting the number of non-isomorphic algebras of a fixed dimension over a given finite field. We show how this method works for the explicit example of $2$-dimensional algebras over the field $\mathbb{F}_{2}$.


title: Artin L-functions to almost monomial Galois groups

abstract: If $K/\mathbb Q$ is a finite Galois extension with an almost monomial Galois group and if $s_0\in\mathbb C\setminus\{1\}$ is not a common zero for any two Artin L-functions associated to distinct complex irreducible characters of the Galois group then all Artin L-functions of $K/\mathbb Q$ are holomorphic at $s_0$. We present examples and basic properties of almost monomial groups.


title: Nanoscale sensing based on nitrogen vacancy centersin single crystal diamond and nanodiamonds:achievements and challenges

abstract: Powered by the mutual developments in instrumentation, materials andtheoretical descriptions, sensing and imaging capabilities of quantum emitters insolids have significantly increased in the past two decades. Quantum emitters insolids, whose properties resemble those of atoms and ions, provide alternative waysto probing natural and artificial nanoscopic systems with minimum disturbance andultimate spatial resolution. Among those emerging quantum emitters, the nitrogen-vacancy (NV) color center in diamond is an outstanding example due to its intrinsicproperties at room temperature (highly-luminescent, photo-stable, biocompatible,highly-coherent spin states). This review article summarizes recent advances andachievements in using NV centers within nano- and single crystal diamonds in sensingand imaging. We also highlight prevalent challenges and material aspects for differenttypes of diamond and outline the main parameters to consider when using color centersas sensors. As a novel sensing resource, we highlight the properties of NV centersas light emitting electrical dipoles and their coupling to other nanoscale dipoles e.g.graphene.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci quant-ph


title: Asymmetric shocks in $\chi$ Cyg observed with linear spectropolarimetry

abstract: Aims: From a coherent interpretation of the linear polarisation detected in the spectral lines of the Mira star $\chi$ Cyg, we derive information about the dynamics of the stellar photosphere, including pulsation. Methods: From spectropolarimetric observations of $\chi$ Cyg, we perform careful analysis of the polarisation signals observed in atomic and molecular lines, both in absorption and emission, using the radiative transfer in the polarisation context, through two mechanisms: intrinsic polarisation and continuum depolarisation. We also explain the observed line doubling phenomenon in terms of an expanding shell in spherical geometry, which allows us to pinpoint the coordinates over the stellar disk with enhanced polarisation. Results: We find that the polarised spectrum of $\chi$ Cyg is dominated by intrinsic polarisation, with a negligible continuum depolarisation. The observed polarised signals can only be explained by assuming that this polarisation is locally enhanced by velocity fields. During the pulsation, radial velocities are not homogeneous over the disk. We map these regions of enhanced velocities. Conclusions: We have set an algorithm to distinguish in any stellar spectra of linear polarisation the origin of this polarisation and the way to increase signal by coherently adding many lines with an appropriated weight. Applied to the Mira star $\chi$ Cyg, we reached the unexpected result that during the pulsation, velocities are radial but not homogeneous over the disk. The reason for these local velocity enhancements are probably related to the interplay between the atmospheric pulsation dynamics and the underlying stellar convection.


title: CISE3: Verifica\c{c}\~ao de aplica\c{c}\~oes com consist\^encia fraca em Why3

abstract: In this article we present a tool for the verification of programs built on top replicated databases. The tool evaluates a sequential specification and deduces which operations need to be synchronized for the program to function properly in a distributed environment. Our prototype is built over the deductive verification platform Why3. The Why3 Framework provides a sophisticated user experience, the possibility to scale to realistic case studies, as well as a high degree of automation. A case study is presented and discussed, with the purpose of experimentally validating our approach.


title: Eigenvectors, Circulation and Linear Instabilities for Planetary Science in 3 Dimensions (ECLIPS3D)

abstract: Context. The study of linear waves and instabilities is necessary to understand the physical evolution of an atmosphere, and can provide physical interpretation of the complex flows found in simulations performed using Global Circulation Models (GCM). In particular, the acceleration of superrotating flow at the equator of hot Jupiters has mostly been studied under several simplifying assumptions, the relaxing of which may impact final results. Aims. We develop and benchmark a publicly available algorithm to identify the eigenmodes of an atmosphere around any initial steady state. We also solve for linear steady states. Methods. We linearise the hydrodynamical equations of a planetary atmosphere in a steady state with arbitrary velocities and thermal profile. We then discretise the linearised equations on an appropriate staggered grid, and solve for eigenvectors and linear steady solutions with the use of a parallel library for linear algebra: ScaLAPACK. We also implement a posteriori calculation of an energy equation in order to obtain more information on the underlying physics of the mode. Results. Our code is benchmarked against classical wave and instability test cases in multiple geometries. The steady linear circulation calculations also reproduce expected results for the atmosphere of hot Jupiters. We finally show the robustness of our energy equation, and its power to obtain physical insight into the modes. Conclusions. We have developed and benchmarked a code for the study of linear processes in planetary atmospheres, with an arbitrary steady state. The calculation of an a posteriori energy equation provides both increased robustness and physical meaning to the obtained eigenmodes. This code can be applied to various problems, and notably to further study the initial spin up of superrotation of GCM simulations of hot Jupiter.


title: Machine learning for automatic construction of pseudo-realistic pediatric abdominal phantoms

abstract: Machine Learning (ML) is proving extremely beneficial in many healthcare applications. In pediatric oncology, retrospective studies that investigate the relationship between treatment and late adverse effects still rely on simple heuristics. To assess the effects of radiation therapy, treatment plans are typically simulated on phantoms, i.e., virtual surrogates of patient anatomy. Currently, phantoms are built according to reasonable, yet simple, human-designed criteria. This often results in a lack of individualization. We present a novel approach that combines imaging and ML to build individualized phantoms automatically. Given the features of a patient treated historically (only 2D radiographs available), and a database of 3D Computed Tomography (CT) imaging with organ segmentations and relative patient features, our approach uses ML to predict how to assemble a patient-specific phantom automatically. Experiments on 60 abdominal CTs of pediatric patients show that our approach constructs significantly more representative phantoms than using current phantom building criteria, in terms of location and shape of the abdomen and of two considered organs, the liver and the spleen. Among several ML algorithms considered, the Gene-pool Optimal Mixing Evolutionary Algorithm for Genetic Programming (GP-GOMEA) is found to deliver the best performing models, which are, moreover, transparent and interpretable mathematical expressions.


title: Virtual Fixture Assistance for Suturing in Robot-Aided Pediatric Endoscopic Surgery

abstract: The limited workspace in pediatric endoscopic surgery makes surgical suturing one of the most difficult tasks. During suturing, surgeons have to prevent collisions between tools and also collisions with the surrounding tissues. Surgical robots have been shown to be effective in adult laparoscopy, but assistance for suturing in constrained workspaces has not been yet fully explored. In this letter, we propose guidance virtual fixtures to enhance the performance and the safety of suturing while generating the required task constraints using constrained optimization and Cartesian force feedback. We propose two guidance methods: looping virtual fixtures and a trajectory guidance cylinder, that are based on dynamic geometric elements. In simulations and experiments with a physical robot, we show that the proposed methods achieve a more precise and safer looping in robot-assisted pediatric endoscopy.


title: Isotonic Distributional Regression

abstract: Isotonic distributional regression (IDR) is a powerful nonparametric technique for the estimation of conditional distributions under order restrictions. In a nutshell, IDR learns conditional distributions that are calibrated, and simultaneously optimal relative to comprehensive classes of relevant loss functions, subject to isotonicity constraints in terms of a partial order on the covariate space. Nonparametric isotonic quantile regression and nonparametric isotonic binary regression emerge as special cases. For prediction, we propose an interpolation method that generalizes extant specifications under the pool adjacent violators algorithm. We recommend the use of IDR as a generic benchmark technique in probabilistic forecast problems, as it does not involve any parameter tuning nor implementation choices, except for the selection of a partial order on the covariate space. The method can be combined with subsample aggregation, with the benefits of smoother regression functions and gains in computational efficiency. In a simulation study, we compare methods for distributional regression in terms of the continuous ranked probability score (CRPS) and $L_2$ estimation error, which are closely linked. In a case study on raw and postprocessed quantitative precipitation forecasts from a leading numerical weather prediction system, IDR is competitive with state of the art techniques.


title: On the Fluctuation-Dissipation Relation in non-equilibrium and non-Hamiltonian systems

abstract: We review generalized Fluctuation-Dissipation Relations which are valid under general conditions even in ``non-standard systems'', e.g. out of equilibrium and/or without a Hamiltonian structure. The response functions can be expressed in terms of suitable correlation functions computed in the unperperturbed dynamics. In these relations, typically one has nontrivial contributions due to the form of the stationary probability distribution; such terms take into account the interaction among the relevant degrees of freedom in the system. We illustrate the general formalism with some examples in non-standard cases, including driven granular media, systems with a multiscale structure, active matter and systems showing anomalous diffusion.


title: Electrical Control of Large Rashba Effect in Oxide Heterostructures

abstract: Large Rashba effect efficiently tuned by an external electric field is highly desired for spintronic devices. Using first-principles calculations, we demonstrate that large Rashba splitting is locked at conduction band minimum in ferroelectric Bi(Sc/Y/La/Al/Ga/In)O3/PbTiO3 heterostructures where the position of Fermi level is precisely controlled via its stoichiometry. Fully reversible Rashba spin texture and drastic change of Rashba splitting strength with ferroelectric polarization switching are realized in the symmetric and asymmetric heterostructures, respectively. By artificially tuning the local ferroelectric displacement and the orbital hybridization, the synergetic effect of local potential gradient and orbital overlap on the dramatic change of splitting strength is confirmed. These results improve the feasibility of utilizing Rashba spin-orbit coupling in spintronic devices.


title: Photonic devices fabricated from (111) oriented single crystal diamond

abstract: Diamond is a material of choice in the pursuit of integrated quantum photonic technologies. So far, the majority of photonic devices fabricated from diamond, are made from (100)-oriented crystals. In this work, we demonstrate a methodology for the fabrication of optically-active membranes from (111)-oriented diamond. We use a liftoff technique to generate membranes, followed by chemical vapour deposition of diamond in the presence of silicon to generate homogenous silicon vacancy colour centers with emission properties that are superior to those in (100)-oriented diamond. We further use the diamond membranes to fabricate high quality microring resonators with quality factors exceeding ~ 3000. Supported by finite difference time domain calculations, we discuss the advantages of (111) oriented structures as building blocks for quantum nanophotonic devices.


title: Equivalence of the local and global versions of the $L^p$-Brunn-Minkowski inequality

abstract: By studying $L^p$-combinations of strongly isomorphic polytopes, we prove the equivalence of the $L^p$-Brunn-Minkowski inequality conjectured by B\"or\"oczky, Lutwak, Yang and Zhang to the local version of the inequality studied by Colesanti, Livshyts, and Marsiglietti and by Kolesnikov and Milman, settling a conjecture of the latter authors. In addition, we prove the local inequality in dimension $2$, yielding a new proof of the $L^p$-Brunn-Minkowski inequality in the plane.


title: Security in Process: Detecting Attacks in Industrial Process Data

abstract: Due to the fourth industrial revolution, industrial applications make use of the progress in communication and embedded devices. This allows industrial users to increase efficiency and manageability while reducing cost and effort. Furthermore, the fourth industrial revolution, creating the so-called Industry 4.0, opens a variety of novel use and business cases in the industrial environment. However, this progress comes at the cost of an enlarged attack surface of industrial companies. Operational networks that have previously been phyiscally separated from public networks are now connected in order to make use of new communication capabilites. This motivates the need for industrial intrusion detection solutions that are compatible to the long-term operation machines in industry as well as the heterogeneous and fast-changing networks. In this work, process data is analysed. The data is created and monitored on real-world hardware. After a set up phase, attacks are introduced into the systems that influence the process behaviour. A time series-based anomaly detection approach, the Matrix Profiles, are adapted to the specific needs and applied to the intrusion detection. The results indicate an applicability of these methods to detect attacks in the process behaviour. Furthermore, they are easily integrated into existing process environments. Additionally, one-class classifiers One-Class Support Vector Machines and Isolation Forest are applied to the data without a notion of timing. While Matrix Profiles perform well in terms of creating and visualising results, the one-class classifiers perform poorly.


title: Optimal Function Approximation with Relu Neural Networks

abstract: We consider in this paper the optimal approximations of convex univariate functions with feed-forward Relu neural networks. We are interested in the following question: what is the minimal approximation error given the number of approximating linear pieces? We establish the necessary and sufficient conditions and uniqueness of optimal approximations, and give lower and upper bounds of the optimal approximation errors. Relu neural network architectures are then presented to generate these optimal approximations. Finally, we propose an algorithm to find the optimal approximations, as well as prove its convergence and validate it with experimental results.


title: Accurate biomolecular simulations account for electronic polarization

abstract: In this perspective, we discuss where and how accounting for electronic many-body polarization affects the accuracy of classical molecular dynamics simulations of biomolecules.While the effects of electronic polarization are highly pronounced for molecules with an opposite total charge, they are also non-negligible for interactions with overall neutral molecules. For instance, neglecting these effects in important biomolecules like amino acids and phospholipids affects the structure of proteins and membranes having a large impact on interpreting experimental data as well as building coarse grained models. With the combined advances in theory, algorithms and computational power it is currently realistic to perform simulations with explicit polarizable dipoles on systems with relevant sizes and complexity. Alternatively, the effects of electronic polarization can also be included at zero additional computational cost compared to standard fixed-charge force fields using the electronic continuum correction, as was recently demonstrated for several classes of biomolecules.


title: Toward a Knowledge-based Personalised Recommender System for Mobile App Development

abstract: Over the last few years, the arena of mobile application development has expanded considerably beyond the balance of the world\'s software markets. With the growing number of mobile software companies, and the mounting sophistication of smartphones\' technology, developers have been building several categories of applications on dissimilar platforms. However, developers confront several challenges through the implementation of mobile application projects. In particular, there is a lack of consolidated systems that are competent to provide developers with personalised services promptly and efficiently. Hence, it is essential to develop tailored systems which can recommend appropriate tools, IDEs, platforms, software components and other correlated artifacts to mobile application developers. This paper proposes a new recommender system framework comprising a fortified set of techniques that are designed to provide mobile app developers with a distinctive platform to browse and search for the personalised artifacts. The proposed system make use of ontology and semantic web technology as well as machine learning techniques. In particular, the new RS framework comprises the following components; (i) domain knowledge inference module: including various semantic web technologies and lightweight ontologies; (ii) profiling and preferencing: a new proposed time-aware multidimensional user modelling; (iii) query expansion: to improve and enhance the retrieved results by semantically augmenting users\' query; and (iv) recommendation and information filtration: to make use of the aforementioned components to provide personalised services to the designated users and to answer a user\'s query with the minimum mismatches.


title: The Crab Nebula Spectrum at ~100 TeV Measured with MAGIC under Very Large Zenith Angles

abstract: The Crab Nebula was discovered as the first very-high-energy gamma-ray source by the Whipple Observatory in 1989. Thirty years after its discovery it is still the reference source and the standard candle for Imaging Atmospheric Cherenkov Telescopes (IACTs). Its spectrum has been measured from the cm radio band to energies up to tens of TeV. Some studies reported a possible but still debated cut-off in its spectrum at few tens of TeV. The MAGIC collaboration is currently investigating the spectrum of the Crab Nebula by using the Very Large Zenith Angle observation technique. The latter provides a significantly increased collection area for energies above 10 TeV. The details of these MAGIC observations will be presented.


title: A constructive approach towards the Method of Solution-Regions

abstract: In this work we develop the theory of solution-regions with a constructive approach. We also extend the theory to the case of general linear conditions and provide various sets of sufficient hypotheses for existence and multiplicity results.


title: Measurement of Void Bias Using Separate Universe Simulations

abstract: Cosmic voids are biased tracers of the large-scale structure of the universe. Separate universe simulations (SUS) enable accurate measurements of this biasing relation by implementing the peak-background split (PBS). In this work, we apply the SUS technique to measure the void bias parameters. We confirm that the PBS argument works well for underdense tracers. The response of the void size distribution depends on the void radius. For voids larger (smaller) than the size at the peak of the distribution, the void abundance responds negatively (positively) to a long wavelength mode. The linear bias from the SUS is in good agreement with the cross power spectrum measurement on large scales. Using the SUS, we have detected the quadratic void bias for the first time in simulations. We find that $ b_2 $ is negative when the magnitude of $ b_1 $ is small, and that it becomes positive and increases rapidly when $ |b_1| $ increases. We compare the results from voids identified in the halo density field with those from the dark matter distribution, and find that the results are qualitatively similar, but the biases generally shift to the larger voids sizes.


title: Amorphous optical coatings of present gravitational-wave interferometers

abstract: We report on the results of an extensive campaign of optical and mechanical characterization of the ion-beam sputtered oxide layers (Ta$_2$O$_5$, TiO$_2$, Ta$_2$O$_5$-TiO$_2$, SiO$_2$) within the high-reflection coatings of the Advanced LIGO, Advanced Virgo and KAGRA gravitational-wave detectors: refractive index, thickness, optical absorption, composition, density, internal friction and elastic constants have been measured; the impact of deposition rate and post-deposition annealing on coating internal friction has been assessed. For Ta$_2$O$_5$ and SiO$_2$ layers, coating internal friction increases with the deposition rate, whereas the annealing treatment either erases or largely reduces the gap between samples with different deposition history. For Ta$_2$O$_5$-TiO$_2$ layers, the reduction of internal friction due to TiO$_2$ doping becomes effective only if coupled with annealing. All measured samples showed a weak dependence of internal friction on frequency ($\phi_c(f) = af^{b}$, with $-0.208 < b < 0.140$ depending on the coating material considered). SiO$_2$ films showed a mode-dependent loss branching, likely due to spurious losses at the coated edge of the samples. The reference loss values of the Advanced LIGO and Advanced Virgo input (ITM) and end (ETM) mirror HR coatings have been updated by using our estimated value of Young's modulus of Ta$_2$O$_5$-TiO$_2$ layers (120 GPa) and are about 10\% higher than previous estimations.


title: Uryson width and volume

abstract: We give a short proof of a theorem of Guth relating volume of balls and Uryson width. The same approach applies to Hausdorff content implying a recent result of Liokumovich-Lishak-Nabutovsky-Rotman. We show also that for any $C>0$ there is a Riemannian metric $g$ on a 3-sphere such that $\text{vol}(S^3,g)=1$ and for any map $f:S^3\to \mathbb{R}^2$ there is some $x\in \mathbb{R}^2$ for which $\text{diam}(f^{-1}(x))>C$-answering a question of Guth.


title: Off-Policy Evaluation in Partially Observable Environments

abstract: This work studies the problem of batch off-policy evaluation for Reinforcement Learning in partially observable environments. Off-policy evaluation under partial observability is inherently prone to bias, with risk of arbitrarily large errors. We define the problem of off-policy evaluation for Partially Observable Markov Decision Processes (POMDPs) and establish what we believe is the first off-policy evaluation result for POMDPs. In addition, we formulate a model in which observed and unobserved variables are decoupled into two dynamic processes, called a Decoupled POMDP. We show how off-policy evaluation can be performed under this new model, mitigating estimation errors inherent to general POMDPs. We demonstrate the pitfalls of off-policy evaluation in POMDPs using a well-known off-policy method, Importance Sampling, and compare it with our result on synthetic medical data.


title: A note on stochastic dominance and compactness

abstract: In this work, we discuss completeness for the lattice orders of first and second order stochastic dominance. The main results state that, both, first and second order stochastic dominance induce Dedekind super complete lattices, i.e.~lattices in which every bounded nonempty subset has a countable subset with identical least upper bound and greatest lower bound. Moreover, we show that, if a suitably bounded set of probability measures is directed (e.g.~a lattice), then the supremum and infimum w.r.t.~first or second order stochastic dominance can be approximated by sequences in the weak topology or in the Wasserstein-$1$ topology, respectively. As a consequence, we are able to prove that a sublattice of probability measures is complete w.r.t.~first order stochastic dominance or second order stochastic dominance and increasing convex order if and only if it is compact in the weak topology or in the Wasserstein-$1$ topology, respectively. This complements a set of characterizations of tightness and uniform integrability, which are discussed in a preliminary section.


title: An\'alise de Seguran\c{c}a Baseada em Roles para F\'abricas de Software

abstract: Most software factories contain applications with sensitive information that needs to be protected against breaches of confidentiality and integrity, which can have serious consequences. In the context of large factories with complex applications, it is not feasible to manually analyze accesses to sensitive information without some form of safety mechanisms. This article presents a static analysis technique for software factories, based on role-based security policies. We start by synthesising a graph representation of the relevant software factories, based on the security policy defined by the user. Later the graph model is analysed to find access information where the security policy is breached, ensuring that all possible execution states are analysed. A proof of concept of our technique has been developed for the analysis of OutSystems software factories. The security reports generated by the tool allows developers to find and prioritise security breaches in their factories. The prototype was evaluated using large software factories, with strong safety requirements. Several security flaws were found, some serious ones that would be hard to be detected without our analysis.


title: Efficient Continual Learning in Neural Networks with Embedding Regularization

abstract: Continual learning of deep neural networks is a key requirement for scaling them up to more complex applicative scenarios and for achieving real lifelong learning of these architectures. Previous approaches to the problem have considered either the progressive increase in the size of the networks, or have tried to regularize the network behavior to equalize it with respect to previously observed tasks. In the latter case, it is essential to understand what type of information best represents this past behavior. Common techniques include regularizing the past outputs, gradients, or individual weights. In this work, we propose a new, relatively simple and efficient method to perform continual learning by regularizing instead the network internal embeddings. To make the approach scalable, we also propose a dynamic sampling strategy to reduce the memory footprint of the required external storage. We show that our method performs favorably with respect to state-of-the-art approaches in the literature, while requiring significantly less space in memory and computational time. In addition, inspired inspired by to recent works, we evaluate the impact of selecting a more flexible model for the activation functions inside the network, evaluating the impact of catastrophic forgetting on the activation functions themselves.


title: Mean ergodic composition operators in spaces of homogeneous polynomials

abstract: We study some dynamical properties of composition operators defined on the space $\mathcal{P}(^m X)$ of $m$-homogeneous polynomials on a Banach space $X$ when $\mathcal{P}(^m X)$ is endowed with two different topologies: the one of uniform convergence on compact sets and the one defined by the usual norm. The situation is quite different for both topologies: while in the case of uniform convergence on compact sets every power bounded composition operator is uniformly mean ergodic, for the topology of the norm there is no relation between the latter properties. Several examples are given.


title: Recasting Navier-Stokes Equations

abstract: Classical Navier-Stokes equations fail to describe some flows in both the compressible and incompressible configurations. In this article, we propose a new methodology based on transforming the fluid mass velocity vector field to obtain a new class of continuum models. We uncover a class of continuum models which we call the re-casted Navier-Stokes. They naturally exhibit the physics of previously proposed models by different authors to substitute the original Navier-Stokes equations. The new models unlike the conventional Navier-Stokes appear as more complete forms of mass diffusion type continuum flow equations. They also form systematically a class of thermo-mechanically consistent hydrodynamic equations via the original equations. The plane wave analysis is performed to check their linear stability under small perturbations, which confirms that all re-casted models are spatially and temporally stable like their classical counterpart. We then use the Rayleigh-Brillouin scattering experiments to demonstrate that the re-casted equations may be better suited for explaining some of the experimental data where original Navier-Stokes fail.


title: Reasoning Over Semantic-Level Graph for Fact Checking

abstract: Fact checking is a challenging task because verifying the truthfulness of a claim requires reasoning about multiple retrievable evidence. In this work, we present a method suitable for reasoning about the semantic-level structure of evidence. Unlike most previous works, which typically represent evidence sentences with either string concatenation or fusing the features of isolated evidence sentences, our approach operates on rich semantic structures of evidence obtained by semantic role labeling. We propose two mechanisms to exploit the structure of evidence while leveraging the advances of pre-trained models like BERT, GPT or XLNet. Specifically, using XLNet as the backbone, we first utilize the graph structure to re-define the relative distances of words, with the intuition that semantically related words should have short distances. Then, we adopt graph convolutional network and graph attention network to propagate and aggregate information from neighboring nodes on the graph. We evaluate our system on FEVER, a benchmark dataset for fact checking, and find that rich structural information is helpful and both our graph-based mechanisms improve the accuracy. Our model is the state-of-the-art system in terms of both official evaluation metrics, namely claim verification accuracy and FEVER score.


title: The ALICE TPC: Optimization of the Performance in Run 2 and Developments for the Future

abstract: The Time Projection Chamber is the main tracking and particle identification detector of the ALICE experiment. The high luminosities delivered by the CERN LHC in Run 2 (2015-2018) posed new challenges in terms of detector performance and efficiency. The hardware components and calibration software were optimized and further developed to meet those challenges and maximize the quality of the data. In addition, unexpectedly large local distortions of the drift paths of ionization electrons have been observed at the edges of specific readout chambers. These distortions are caused by ions which originate at the readout chambers, leading to local space-charge accumulation in the drift volume of the TPC. A new calibration procedure has been developed to correct for the space-charge distortions. Extensive studies have been performed to understand the origin of the space charge as well as to find a way to effectively mitigate the effect. For Run 3 starting in 2021, the new readout chambers of the upgraded TPC will be based on Gas Electron Multipliers. This implies an intrinsic backflow of ions which leads to large space-charge distortions in most of the TPC drift volume at the highest luminosities. The simulation and calibration of the space-charge effect are a major part of the new detector software framework.


title: Phoretic Active Matter

abstract: These notes are an account of a series of lectures given at the Les Houches Summer School "Active Matter and Non-equilibrium Statistical Physics" during August and September 2018. The lectures can be viewed online at [http://www.ds.mpg.de/lmp/lectures/les-houches-2018].

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph physics.flu-dyn


title: Deep Super-Resolution Network for Single Image Super-Resolution with Realistic Degradations

abstract: Single Image Super-Resolution (SISR) aims to generate a high-resolution (HR) image of a given low-resolution (LR) image. The most of existing convolutional neural network (CNN) based SISR methods usually take an assumption that a LR image is only bicubicly down-sampled version of an HR image. However, the true degradation (i.e. the LR image is a bicubicly downsampled, blurred and noisy version of an HR image) of a LR image goes beyond the widely used bicubic assumption, which makes the SISR problem highly ill-posed nature of inverse problems. To address this issue, we propose a deep SISR network that works for blur kernels of different sizes, and different noise levels in an unified residual CNN-based denoiser network, which significantly improves a practical CNN-based super-resolver for real applications. Extensive experimental results on synthetic LR datasets and real images demonstrate that our proposed method not only can produce better results on more realistic degradation but also computational efficient to practical SISR applications.


title: Learning Visual Dynamics Models of Rigid Objects using Relational Inductive Biases

abstract: Endowing robots with human-like physical reasoning abilities remains challenging. We argue that existing methods often disregard spatio-temporal relations and by using Graph Neural Networks (GNNs) that incorporate a relational inductive bias, we can shift the learning process towards exploiting relations. In this work, we learn action-conditional forward dynamics models of a simulated manipulation task from visual observations involving cluttered and irregularly shaped objects. We investigate two GNN approaches and empirically assess their capability to generalize to scenarios with novel and an increasing number of objects. The first, Graph Networks (GN) based approach, considers explicitly defined edge attributes and not only does it consistently underperform an auto-encoder baseline that we modified to predict future states, our results indicate how different edge attributes can significantly influence the predictions. Consequently, we develop the Auto-Predictor that does not rely on explicitly defined edge attributes. It outperforms the baseline and the GN-based models. Overall, our results show the sensitivity of GNN-based approaches to the task representation, the efficacy of relational inductive biases and advocate choosing lightweight approaches that implicitly reason about relations over ones that leave these decisions to human designers.


title: Combining SMT and NMT Back-Translated Data for Efficient NMT

abstract: Neural Machine Translation (NMT) models achieve their best performance when large sets of parallel data are used for training. Consequently, techniques for augmenting the training set have become popular recently. One of these methods is back-translation (Sennrich et al., 2016), which consists on generating synthetic sentences by translating a set of monolingual, target-language sentences using a Machine Translation (MT) model. Generally, NMT models are used for back-translation. In this work, we analyze the performance of models when the training data is extended with synthetic data using different MT approaches. In particular we investigate back-translated data generated not only by NMT but also by Statistical Machine Translation (SMT) models and combinations of both. The results reveal that the models achieve the best performances when the training set is augmented with back-translated data created by merging different MT approaches.


title: Adaptive Unimodal Cost Volume Filtering for Deep Stereo Matching

abstract: State-of-the-art deep learning based stereo matching approaches treat disparity estimation as a regression problem, where loss function is directly defined on true disparities and their estimated ones. However, disparity is just a byproduct of a matching process modeled by cost volume, while indirectly learning cost volume driven by disparity regression is prone to overfitting since the cost volume is under constrained. In this paper, we propose to directly add constraints to the cost volume by filtering cost volume with unimodal distribution peaked at true disparities. In addition, variances of the unimodal distributions for each pixel are estimated to explicitly model matching uncertainty under different contexts. The proposed architecture achieves state-of-the-art performance on Scene Flow and two KITTI stereo benchmarks. In particular, our method ranked the $1^{st}$ place of KITTI 2012 evaluation and the $4^{th}$ place of KITTI 2015 evaluation (recorded on 2019.8.20). The codes of AcfNet are available at: https://github.com/DeepMotionAIResearch/DenseMatchingBenchmark.


title: Masking by Moving: Learning Distraction-Free Radar Odometry from Pose Information

abstract: This paper presents an end-to-end radar odometry system which delivers robust, real-time pose estimates based on a learned embedding space free of sensing artefacts and distractor objects. The system deploys a fully differentiable, correlation-based radar matching approach. This provides the same level of interpretability as established scan-matching methods and allows for a principled derivation of uncertainty estimates. The system is trained in a (self-)supervised way using only previously obtained pose information as a training signal. Using 280km of urban driving data, we demonstrate that our approach outperforms the previous state-of-the-art in radar odometry by reducing errors by up 68% whilst running an order of magnitude faster.


title: Discussing the Feasibility of Acoustic Sensors for Side Channel-aided Industrial Intrusion Detection: An Essay

abstract: The fourth industrial revolution leads to an increased use of embedded computation and intercommunication in an industrial environment. While reducing cost and effort for set up, operation and maintenance, and increasing the time to operation or market respectively as well as the efficiency, this also increases the attack surface of enterprises. Industrial enterprises have become targets of cyber criminals in the last decade, reasons being espionage but also politically motivated. Infamous attack campaigns as well as easily available malware that hits industry in an unprepared state create a large threat landscape. As industrial systems often operate for many decades and are difficult or impossible to upgrade in terms of security, legacy-compatible industrial security solutions are necessary in order to create a security parameter. One plausible approach in industry is the implementation and employment of side-channel sensors. Combining readily available sensor data from different sources via different channels can provide an enhanced insight about the security state. In this work, a data set of an experimental industrial set up containing side channel sensors is discussed conceptually and insights are derived.


title: Fermi-LAT gamma-ray study of the interstellar medium and cosmic rays in the Chamaeleon Molecular-Cloud Complex: A look at the dark gas as optically thick HI

abstract: We report a Fermi-LAT $\gamma$-ray analysis for the Chamaeleon molecular-cloud complex using a total column density (NH) model based on the dust optical depth at 353 GHz ($\tau_{353}$) with the Planck thermal dust emission model. Gamma rays with energy from 250 MeV to 100 GeV are fitted with the NH model as a function of $\tau_{353}$, NH $\propto$ $\tau_{353}^{1/\alpha}$ ($\alpha$ $\geq$ 1.0), to explicitly take into account a possible nonlinear $\tau_{353}$/NH ratio. We found that a nonlinear relation, $\alpha$$\sim$1.4, gives the best fit to the $\gamma$-ray data. This nonlinear relation may indicate dust evolution effects across the different gas phases. Using the best-fit NH model, we derived the CO-to-H2 conversion factor (XCO) and gas mass, taking into account uncertainties of the NH model. The value of XCO is found to be (0.63-0.76) $\times$10$^{20}$ cm$^{-2}$ K$^{-1}$ km$^{-1}$ s, which is consistent with that of a recent $\gamma$-ray study of the Chamaeleon region. The total gas mass is estimated to be (6.0-7.3) $\times$ 10$^{4}$ Msun, of which the mass of additional gas not traced by standard HI or CO line surveys is 20-40%. The additional gas amounts to 30-60% of the gas mass estimated in the case of optically thin HI and has 5-7 times greater mass than the molecular gas traced by CO. Possible origins of the additional gas are discussed based on scenarios of optically thick HI and CO-dark H2. We also derived the $\gamma$-ray emissivity spectrum, which is consistent with the local HI emissivity derived from LAT data within the systematic uncertainty of $\sim$20%


title: Time Series Motion Generation Considering Long Short-Term Motion

abstract: Various adaptive abilities are required for robots interacting with humans in daily life. It is difficult to design adaptive algorithms manually; however, by using end-to-end machine learning, labor can be saved during the design process. In our previous research, a task requiring force adjustment was achieved through imitation learning that considered position and force information using a four-channel bilateral control. Unfortunately, tasks that include long-term (slow) motion are still challenging. Furthermore, during system identification, there is a method known as the multi-decimation (MD) identification method. It separates lower and higher frequencies, and then identifies the parameters characterized at each frequency. Therefore, we proposed utilizing machine learning to take advantage of the MD method to infer short-term and long-term (high and low frequency, respectively) motion. In this paper, long-term motion tasks such as writing a letter using a pen fixed on a robot are discussed. We found differences in suitable sampling periods between position and force information. The validity of the proposed method was then experimentally verified, showing the importance of long-term inference with adequate sampling periods.


title: GRID-SITES: Gridded Solar Iterative Temperature Emission Solver for Fast DEM Inversion

abstract: The increasing size of solar datasets demands highly efficient and robust analysis methods. This paper presents an approach that can increase the computational efficiency of differential emission measure (DEM) inversions by an order of magnitude or higher, with the efficiency factor increasing with the size of the input dataset. The method, named the Gridded Solar Iterative Temperature Emission Solver (Grid-SITES) is based on grouping pixels according to the similarity of their intensities in multiple channels, and solving for one DEM per group. This is shown to be a valid approach, given a sufficiently high number of grid bins for each channel. The increase in uncertainty arising from the quantisation of the input data is small compared to the general measurement and calibration uncertainties. In this paper, we use the Solar Iterative Temperature Emission Solver (SITES) as the core method for the DEM inversion, although Grid-SITES provides a general framework which may be used with any DEM inversion method, or indeed any large multi-dimensional data inversion problem. The method is particularly efficient for processing larger images, offering a factor of 30 increase in speed for a 10 megapixel image. For a time series of observations, the gridded results can be passed sequentially to each new image, with new populated bins added as required. This process leads to increasing efficiency with each new image, with potential for a $\approx$100 increase in efficiency dependent on the size of the images.


title: Weak anti-localization in spin-orbit coupled lattice systems

abstract: The quantum correction to electrical conductivity is studied on the basis of two-dimensional Wolff Hamiltonian, which is an effective model for a spin-orbit coupled (SOC) lattice system. It is shown that weak anti-localization (WAL) arises in SOC lattices, although its mechanism and properties are different from the conventional WAL in normal metals with SOC impurities. The interband SOC effect induces the contribution from the interband singlet Cooperon, which plays a crucial role for WAL in the SOC lattice. It is also shown that there is a crossover from WAL to weak localization in SOC lattices when the Fermi energy or band gap changes. The implications of the present results to Bi-Sb alloys and PbTe under pressure are discussed.


title: Proconda -- Protected Control Data

abstract: Memory corruption vulnerabilities often enable attackers to take control of a target system by overwriting control-flow relevant data (such as return addresses and function pointers), which are potentially stored in close proximity of related, typically user-controlled data on the stack. In this paper, we propose ProConDa, a general approach for protecting control-flow relevant data on the stack ProConDa leverages hardware features to enforce a strict separation between control-flow relevant and regular data of programs written in non-memory-safe languages such as C. Contrary to related approaches, ProConDa does not rely on information hiding and is therefore not susceptible to several recent attacks specifically targeting information hiding as a foundation for memory isolation. We show that ProConDa enforcement is compatible with existing software by applying a software-based prototype to industry benchmarks on an ARM CPU running Linux.


title: Neural Conversational QA: Learning to Reason v.s. Exploiting Patterns

abstract: Neural Conversational QA tasks like ShARC require systems to answer questions based on the contents of a given passage. On studying recent state-of-the-art models on the ShARCQA task, we found indications that the models learn spurious clues/patterns in the dataset. Furthermore, we show that a heuristic-based program designed to exploit these patterns can have performance comparable to that of the neural models. In this paper we share our findings about four types of patterns found in the ShARC corpus and describe how neural models exploit them. Motivated by the aforementioned findings, we create and share a modified dataset that has fewer spurious patterns, consequently allowing models to learn better.


title: Fluctuation-Dissipation relation from anomalous stress tensor and Hawking effect

abstract: We show a direct connection between Kubo's fluctuation-dissipation relation and Hawking effect that is valid in any dimensions for any stationary or static black hole. The relevant correlators corresponding to the fluctuating part of the force, computed from the known expressions for the anomalous stress tensor related to gravitational anomalies, are shown to satisfy the Kubo relation, from which the temperature of a black hole as seen by an observer at an arbitrary distance is abstracted. This reproduces the Tolman temperature and hence the Hawking temperature as that measured by an observer at infinity.

categories: gr-qc cond-mat.stat-mech hep-th quant-ph


title: The information content of Cosmic Infrared Background anisotropies

abstract: We use analytic computations to predict the power spectrum as well as the bispectrum of Cosmic Infrared Background (CIB) anisotropies. Our approach is based on the halo model and takes into account the mean luminosity-mass relation. The model is used to forecast the possibility to simultaneously constrain cosmological, CIB and halo occupation distribution (HOD) parameters in the presence of foregrounds. For the analysis we use wavelengths in eight frequency channels between 200 and 900$\;\mathrm{GHz}$ with survey specifications given by Planck and LiteBird. We explore the sensitivity to the model parameters up to multipoles of $\ell =1000$ using auto- and cross-correlations between the different frequency bands. With this setting, cosmological, HOD and CIB parameters can be constrained to a few percent. Galactic dust is modeled by a power law and the shot noise contribution as a frequency dependent amplitude which are marginalized over. We find that dust residuals in the CIB maps only marginally influence constraints on standard cosmological parameters. Furthermore, the bispectrum yields tighter constraints (by a factor four in $1\sigma$ errors) on almost all model parameters while the degeneracy directions are very similar to the ones of the power spectrum. The increase in sensitivity is most pronounced for the sum of the neutrino masses. Due to the similarity of degeneracies a combination of both analysis is not needed for most parameters. This, however, might be due to the simplified bias description generally adopted in such halo model approaches.


title: Confinement of two-body systems and calculations in $d$ dimensions

abstract: A continuous transition for a system moving in a three-dimensional (3D) space to moving in a lower-dimensional space, 2D or 1D, can be made by means of an external squeezing potential. A squeeze along one direction gives rise to a 3D to 2D transition, whereas a simultaneous squeeze along two directions produces a 3D to 1D transition, without going through an intermediate 2D configuration. In the same way, for a system moving in a 2D space, a squeezing potential along one direction produces a 2D to 1D transition. In this work we investigate the equivalence between this kind of confinement procedure and calculations without an external field, but where the dimension $d$ is taken as a parameter that changes continuously from $d=3$ to $d=1$. The practical case of an external harmonic oscillator squeezing potential acting on a two-body system is investigated in details. For the three transitions considered, 3D~$\rightarrow$~2D, 2D~$\rightarrow$~1D, and 3D~$\rightarrow$~1D, a universal connection between the harmonic oscillator parameter and the dimension $d$ is found. This relation is well established for infinitely large 3D scattering lengths of the two-body potential for 3D~$\rightarrow$~2D and 3D~$\rightarrow$~1D transitions, and for infinitely large 2D scattering length for the 2D~$\rightarrow$~1D case. For finite scattering lengths size corrections must be applied. The traditional wave functions for external squeezing potentials are shown to be uniquely related with the wave functions for specific non-integer dimension parameters, $d$.

categories: physics.atm-clus nucl-th physics.optics quant-ph


title: Convergence of least squares estimators in the adaptive Wynn algorithm for a class of nonlinear regression models

abstract: The paper continues the authors' work on the adaptive Wynn algorithm in a nonlinear regression model. In the present paper it is shown that if the mean response function satisfies a condition of `saturated identifiability', which was introduced by Pronzato \cite{Pronzato}, then the adaptive least squares estimators are strongly consistent. The condition states that the regression parameter is identifiable under any saturated design, i.e., the values of the mean response function at any $p$ distinct design points determine the parameter point uniquely where, typically, $p$ is the dimension of the regression parameter vector. Further essential assumptions are compactness of the experimental region and of the parameter space together with some natural continuity assumptions. If the true parameter point is an interior point of the parameter space then under some smoothness assumptions and asymptotic homoscedasticity of random errors the asymptotic normality of adaptive least squares estimators is obtained.


title: On the Strong Equivalences for LPMLN Programs

abstract: LPMLN is a powerful knowledge representation and reasoning tool that combines the non-monotonic reasoning ability of Answer Set Programming (ASP) and the probabilistic reasoning ability of Markov Logic Networks (MLN). In this paper, we study the strong equivalence for LPMLN programs, which is an important tool for program rewriting and theoretical investigations in the field of logic programming. First of all, we present the notion of p-strong equivalence for LPMLN and present a model-theoretical characterization for the notion. And we investigate the relationships among the p-strong equivalence and other existing notions of strong equivalences for LPMLN. Then, we investigate several properties of the p-strong equivalence from the following four aspects. Firstly, we investigate two relaxed notions of the p-strong equivalence according to practical scenarios of program rewriting, and present corresponding characterizations for the notions. Secondly, we analyze the computational complexities of deciding strong equivalences for LPMLN programs. Thirdly, we investigate the relationships among the strong equivalences of LPMLN and two extensions of ASP: ASP with weak constraints and ordered disjunctions. Finally, we investigate LPMLN program simplification via the p-strong equivalence and present some syntactic conditions that decide the p-strong equivalence between a single LPMLN rule and the empty program. The contributions of the paper are as follows. Firstly, all of the results presented in this paper provide a better understanding of LPMLN programming, which helps us further explore the properties of LPMLN. Secondly, the relationships among the strong equivalences open a way to study the strong equivalences for some logic formalisms by translating into LPMLN. Thirdly, the program simplification can be used to enhance the implementations of the LPMLN solvers ...


title: Balancing Reconstruction Quality and Regularisation in ELBO for VAEs

abstract: A trade-off exists between reconstruction quality and the prior regularisation in the Evidence Lower Bound (ELBO) loss that Variational Autoencoder (VAE) models use for learning. There are few satisfactory approaches to deal with a balance between the prior and reconstruction objective, with most methods dealing with this problem through heuristics. In this paper, we show that the noise variance (often set as a fixed value) in the Gaussian likelihood p(x|z) for real-valued data can naturally act to provide such a balance. By learning this noise variance so as to maximise the ELBO loss, we automatically obtain an optimal trade-off between the reconstruction error and the prior constraint on the posteriors. This variance can be interpreted intuitively as the necessary noise level for the current model to be the best explanation of the observed dataset. Further, by allowing the variance inference to be more flexible it can conveniently be used as an uncertainty estimator for reconstructed or generated samples. We demonstrate that optimising the noise variance is a crucial component of VAE learning, and showcase the performance on MNIST, Fashion MNIST and CelebA datasets. We find our approach can significantly improve the quality of generated samples whilst maintaining a smooth latent-space manifold to represent the data. The method also offers an indication of uncertainty in the final generative model.


title: Hit Ratio Driven Mobile Edge Caching Scheme for Video on Demand Services

abstract: More and more scholars focus on mobile edge computing (MEC) technology, because the strong storage and computing capabilities of MEC servers can reduce the long transmission delay, bandwidth waste, energy consumption, and privacy leaks in the data transmission process. In this paper, we study the cache placement problem to determine how to cache videos and which videos to be cached in a mobile edge computing system. First, we derive the video request probability by taking into account video popularity, user preference and the characteristic of video representations. Second, based on the acquired request probability, we formulate a cache placement problem with the objective to maximize the cache hit ratio subject to the storage capacity constraints. Finally, in order to solve the formulated problem, we transform it into a grouping knapsack problem and develop a dynamic programming algorithm to obtain the optimal caching strategy. Simulation results show that the proposed algorithm can greatly improve the cache hit ratio.


title: Differential equations as models of deep neural networks

abstract: In this work we systematically analyze general properties of differential equations used as machine learning models. We demonstrate that the gradient of the loss function with respect to to the hidden state can be considered as a generalized momentum conjugate to the hidden state, allowing application of the tools of classical mechanics. In addition, we show that not only residual networks, but also feedforward neural networks with small nonlinearities and the weights matrices deviating only slightly from identity matrices can be related to the differential equations. We propose a differential equation describing such networks and investigate its properties.


title: The Role of Magnetic Helicity in Coronal Heating

abstract: One of the greatest challenges in solar physics is understanding the heating of the Sun's corona. Most theories for coronal heating postulate that free energy in the form of magnetic twist/stress is injected by the photosphere into the corona where the free energy is converted into heat either through reconnection or wave dissipation. The magnetic helicity associated with the twist/stress, however, is expected to be conserved and appear in the corona. In previous work we showed that helicity associated with the small-scale twists undergoes an inverse cascade via stochastic reconnection in the corona, and ends up as the observed large-scale shear of filament channels. Our ``helicity condensation'' model accounts for both the formation of filament channels and the observed smooth, laminar structure of coronal loops. In this paper, we demonstrate, using helicity- and energy-conserving numerical simulations of a coronal system driven by photospheric motions, that the model also provides a natural mechanism for heating the corona. We show that the heat generated by the reconnection responsible for the helicity condensation process is sufficient to account for the observed coronal heating. We study the role that helicity injection plays in determining coronal heating and find that, crucially, the heating rate is only weakly dependent on the net helicity preference of the photospheric driving. Our calculations demonstrate that motions with 100\% helicity preference are least efficient at heating the corona; those with 0\% preference are most efficient. We discuss the physical origins of this result and its implications for the observed corona.


title: Spectral Asymptotic for the Infinite Mass Dirac Operator in bounded domain

abstract: In this paper, we study a singular perturbation of a problem used in dimension two to model graphene or in dimension three to describe the quark confinement phenomenon in hadrons. The operators we consider are of the form $H + M\beta V (x)$, where $H$ is the free Dirac operator, $\beta$ is a constant matrix, $V (x)$ is a real valued piecewise constant potential having a jump discontinuity across a smooth interface and $M$ is the mass that we can see as a coupling constant. In particular, we perform a complete asymptotic expansion of spectral quantities as the mass $M$ tends to $+\infty$.


title: Correlation for permutations

abstract: In this note we investigate correlation inequalities for `up-sets' of permutations, in the spirit of the Harris--Kleitman inequality. We focus on two well-studied partial orders on $S_n$, giving rise to differing notions of up-sets. Our first result shows that, under the strong Bruhat order on $S_n$, up-sets are positively correlated (in the Harris--Kleitman sense). Thus, for example, for a (uniformly) random permutation $\pi$, the event that no point is displaced by more than a fixed distance $d$ and the event that $\pi$ is the product of at most $k$ adjacent transpositions are positively correlated. In contrast, under the weak Bruhat order we show that this completely fails: surprisingly, there are two up-sets each of measure $1/2$ whose intersection has arbitrarily small measure. We also prove analogous correlation results for a class of non-uniform measures, which includes the Mallows measures. Some applications and open problems are discussed.


title: Quadratic isoperimetric inequality for 7-located simplicial complexes

abstract: We show that 7-located simplicial complexes satisfy a quadratic isoperimetric inequality.


title: A Survey on Reproducibility by Evaluating Deep Reinforcement Learning Algorithms on Real-World Robots

abstract: As reinforcement learning (RL) achieves more success in solving complex tasks, more care is needed to ensure that RL research is reproducible and that algorithms herein can be compared easily and fairly with minimal bias. RL results are, however, notoriously hard to reproduce due to the algorithms' intrinsic variance, the environments' stochasticity, and numerous (potentially unreported) hyper-parameters. In this work we investigate the many issues leading to irreproducible research and how to manage those. We further show how to utilise a rigorous and standardised evaluation approach for easing the process of documentation, evaluation and fair comparison of different algorithms, where we emphasise the importance of choosing the right measurement metrics and conducting proper statistics on the results, for unbiased reporting of the results.


title: Imitation Learning from Pixel-Level Demonstrations by HashReward

abstract: One of the key issues for imitation learning lies in making policy learned from limited samples to generalize well in the whole state-action space. This problem is much more severe in high-dimensional state environments, such as game playing with raw pixel inputs. Under this situation, even state-of-the-art adversary-based imitation learning algorithms fail. Through empirical studies, we find that the main cause lies in the failure of training a powerful discriminator to generate meaningful rewards in high-dimensional environments. Although it seems that dimensionality reduction can help, a straightforward application of off-the-shelf methods cannot achieve good performance. In this work, we show in theory that the balance between dimensionality reduction and discriminative training is essential for effective learning. To achieve this target, we propose HashReward, which utilizes the idea of supervised hashing to realize such an ideal balance. Experimental results show that HashReward could outperform state-of-the-art methods for a large gap under the challenging high-dimensional environments.


title: Comment on "Atomic structure and excitation cross section by electron impact of tungsten ions, W$^{38+}$" by El-Maaref et al [J. Phys. B 52(2019) 065202]

abstract: Recently, El-Maaref {\it et al}\, [J. Phys. B 52(2019) 065202] have reported results for energy levels, radiative rates and collision strengths ($\Omega$) for some transitions of Kr-like W~XXXIX. For the calculations of these parameters they have adopted several codes, including GRASP, DARC and FAC. For energy levels they have shown discrepancies of up to 1.64~Ryd between the GRASP and FAC calculations, whereas for $\Omega$ the differences between the DARC and FAC results are over an order of magnitude for a few transitions. In addition, for several transitions there is an anomaly in the behaviour of $\Omega$ between the two sets of calculations. In this comment, we demonstrate that their results from both codes are incorrect, and hence cannot be relied upon.


title: Modulation of magnon spin transport in a magnetic gate transistor

abstract: We demonstrate a modulation of up to 18% in the magnon spin transport in a magnetic insulator (Y$_{3}$Fe$_{5}$O$_{12}$, YIG) using a common ferromagnetic metal (permalloy, Py) as a magnetic control gate. A Py electrode, placed between two Pt injector and detector electrodes, acts as a magnetic gate in our prototypical magnon transistor device. By manipulating the magnetization direction of Py with respect to that of YIG, the transmission of magnons through the Py|YIG interface can be controlled, resulting in a modulation of the non-equilibrium magnon density in the YIG channel between the Pt injector and detector electrodes. This study opens up the possibility of using the magnetic gating effect for magnon-based spin logic applications.


title: Bergman kernel on Riemann surfaces and Kaehler metric on symmetric products

abstract: Let $X$ be a compact hyperbolic Riemann surface equipped with the Poincar\'e metric. For any integer $k\geq 2$, we investigate the Bergman kernel associated to the holomorphic Hermitian line bundle $\Omega^{\otimes k}_X$, where $\O$ is the holomorphic cotangent bundle of $X$. Our first main result estimates the corresponding Bergman metric on $X$ in terms of the Poincar\'e metric. We then consider a certain natural embedding of the symmetric product of $X$ into a Grassmannian parametrizing subspaces of fixed dimension of the space of all global holomorphic sections of $\Omega^{\otimes k}_X$. The Fubini-Study metric on the Grassmannian restricts to a K\"ahler metric on the symmetric product of $X$. The volume form for this restricted metric on the symmetric product is estimated in terms of the Bergman kernel of $\Omega^{\otimes k}_X$ and the volume form for the orbifold K\"ahler form on the symmetric product given by the Poincar\'e metric on $X$.


title: Slant products on the Higson-Roe exact sequence

abstract: We construct a slant product $/ \colon \mathrm{S}_p(X \times Y) \times \mathrm{K}_{1-q}(\mathfrak{c}^{\mathrm{red}}Y) \to \mathrm{S}_{p-q}(X)$ on the analytic structure group of Higson and Roe and the K-theory of the stable Higson corona of Emerson and Meyer. The latter is the domain of the co-assembly map $\mu^\ast \colon \mathrm{K}_{1-\ast}(\mathfrak{c}^{\mathrm{red}}Y) \to \mathrm{K}^\ast(Y)$. We obtain such products on the entire Higson--Roe sequence. They imply injectivity results for external product maps. Our results apply to products with aspherical manifolds whose fundamental groups admit coarse embeddings into Hilbert space. To conceptualize the class of manifolds where this method applies, we say that a complete $\mathrm{spin}^{\mathrm{c}}$-manifold is Higson-essential if its fundamental class is detected by the co-assembly map. We prove that coarsely hypereuclidean manifolds are Higson-essential. We draw conclusions for positive scalar curvature metrics on product spaces, particularly on non-compact manifolds. We also obtain equivariant versions of our constructions and discuss related problems of exactness and amenability of the stable Higson corona.


title: Prime polynomial values of quadratic functions in short intervals

abstract: In this paper we establish the function field analogue of Bateman-Horn conjecture in short interval in the limit of a large finite field. Hence we start with counting prime polynomials generated by primitive quadratic functions in short intervals. To this end we further work out on function field analogs of cancellation of Mobius sums and its correlations(Chowla type sums) and confirm that square root cancellation in Mobius sums is equivalent to square root cancellation in Chowla type sums.


title: Semigroup associated with a free polynomial

abstract: Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and let $\mathbb{K}_{C}[[x_{1},...,x_{e}]]$ be the ring of formal power series in several variables with exponents in a line free cone $C$. We consider irreducible polynomials $f=y^n+a_1(\underline{x})y^{n-1}+\ldots+a_n(\underline{x})$ in $\mathbb{K}_{C}[[x_{1},...,x_{e}]][y]$ whose roots are in $\mathbb{K}_{C}[[x_{1}^{\frac{1}{n}},...,x_{e}^{\frac{1}{n}}]]$. We generalize to these polynomials the theory of Abhyankar-Moh. In particular we associate with any such polynomial its set of characteristic exponents and its semigroup of values. We also prove that the set of values can be obtained using the set of approximate roots. We finally prove that polynomials of ${\mathbb K}[[\underline{x}]][y]$ fit in the above set for a specific line free cone (see Section 4).


title: Relative VGIT and an application to degenerations of Hilbert schemes

abstract: We generalize the classical semi-continuity theorem for GIT (semi)stable loci under variations of linearizations to a relative situation of an equivariant projective morphism from X to an affine base S. As an application to moduli problems, we consider degenerations of Hilbert schemes, and give a conceptual interpretation of the (semi)stable loci of the degeneration families constructed by Gulbrandsen-Halle-Hulek.


title: Multi-scale analysis of the Monoceros OB 1 star-forming region: I. The dense core population

abstract: Current theories and models attempt to explain star formation globally, from core scales to giant molecular cloud scales. A multi-scale observational characterisation of an entire molecular complex is necessary to constrain them. We investigate star formation in G202.3+2.5, a ~10x3 pc sub-region of the Monoceros OB1 cloud with a complex morphology harbouring interconnected filamentary structures. We aim to connect the evolution of cores and filaments in G202.3+2.5 with the global evolution of the cloud and to identify the engines of the cloud dynamics. In this first paper, the star formation activity is evaluated by surveying the distributions of dense cores and protostars, and their evolutionary state, as characterised using both infrared observations from the Herschel and WISE telescopes and molecular line observations with the IRAM 30-m telescope. We find ongoing star formation in the whole cloud, with a local peak in star formation activity around the centre of G202.3+2.5 where a chain of massive cores (10-50 Msun) forms a massive ridge (>150 Msun). All evolutionary stages from starless cores to Class II protostars are found in G202.3+2.5, including a possibly starless, large column density (8x10^{22} cm-2), and massive (52 Msun) core. All the core-scale observables examined in this paper point to an enhanced star formation activity centred on the junction between the three main branches of the ramified structure of G202.3+2.5. This suggests that the increased star-formation activity results from the convergence of these branches. To further investigate the origin of this enhancement, it is now necessary to extend the analysis to larger scales, in order to examine the relationship between cores, filaments and their environment. We address these points through the analysis of the dynamics of G202.3+2.5 in a joint paper.


title: Non-Fermi-liquid behavior and doping asymmetry in an organic Mott insulator interface

abstract: High-$T_{\rm C}$ superconductors show anomalous transport properties in their normal states, such as the bad-metal and pseudogap behaviors. To discuss their origins, it is important to speculate whether these behaviors are material-dependent or universal phenomena in the proximity of the Mott transition, by investigating similar but different material systems. An organic Mott transistor is suitable for this purpose owing to the adjacency between the two-dimensional Mott insulating and superconducting states, simple electronic properties, and high doping/bandwidth tunability in the same sample. Here we report the temperature dependence of the transport properties under electron and hole doping in an organic Mott electric-double-layer transistor. At high temperatures, the bad-metal behavior widely appears except at half filling regardless of the doping polarity. At lower temperatures, the pseudogap behavior is observed only under hole doping, while the Fermi-liquid-like behavior is observed under electron doping. The bad-metal behavior seems a universal high-energy scale phenomenon, while the pseudogap behavior is based on lower energy scale physics that can be influenced by details of the band structure.


title: Sample average approximation of CVaR-based Wardrop equilibrium in routing under uncertain costs

abstract: This paper focuses on the class of routing games that have uncertain costs. Assuming that agents are risk-averse and select paths with minimum conditional value-at-risk (CVaR) associated to them, we define the notion of CVaR-based Wardrop equilibrium (CWE). We focus on computing this equilibrium under the condition that the distribution of the uncertainty is unknown and a set of independent and identically distributed samples is available. To this end, we define the sample average approximation scheme where CWE is estimated with solutions of a variational inequality problem involving sample average approximations of the CVaR. We establish two properties for this scheme. First, under continuity of costs and boundedness of uncertainty, we prove asymptotic consistency, establishing almost sure convergence of approximate equilibria to CWE as the sample size grows. Second, under the additional assumption of Lipschitz cost, we prove exponential convergence where the probability of the distance between an approximate solution and the CWE being smaller than any constant approaches unity exponentially fast. Simulation example validates our theoretical findings.


title: A new approach of chain sampling inspection plan

abstract: To develop decision rules regarding acceptance or rejection of production lots based on sample data is the purpose of acceptance sampling inspection plan. Dependent sampling procedures cumulate results from several preceding production lots when testing is expensive or destructive. This chaining of past lots reduce the sizes of the required samples, essential for acceptance or rejection of production lots. In this article, a new approach for chaining the past lot(s) results proposed, named as modified chain group acceptance sampling inspection plan, requires a smaller sample size than the commonly used sampling inspection plan, such as group acceptance sampling inspection plan and single acceptance sampling inspection plan. A comparison study has been done between the proposed and group acceptance sampling inspection plan as well as single acceptance sampling inspection plan. A example has been given to illustrate the proposed plan in a good manner.


title: Belief Regulated Dual Propagation Nets for Learning Action Effects on Groups of Articulated Objects

abstract: In recent years, graph neural networks have been successfully applied for learning the dynamics of complex and partially observable physical systems. However, their use in the robotics domain is, to date, still limited. In this paper, we introduce Belief Regulated Dual Propagation Networks (BRDPN), a general-purpose learnable physics engine, which enables a robot to predict the effects of its actions in scenes containing groups of articulated multi-part objects. Specifically, our framework extends recently proposed propagation networks (PropNets) and consists of two complementary components, a physics predictor and a belief regulator. While the former predicts the future states of the object(s) manipulated by the robot, the latter constantly corrects the robot's knowledge regarding the objects and their relations. Our results showed that after training in a simulator, the robot can reliably predict the consequences of its actions in object trajectory level and exploit its own interaction experience to correct its belief about the state of the environment, enabling better predictions in partially observable environments. Furthermore, the trained model was transferred to the real world and verified in predicting trajectories of pushed interacting objects whose joint relations were initially unknown. We compared BRDPN against PropNets, and showed that BRDPN performs consistently well. Moreover, BRDPN can adapt its physic predictions, since the relations can be predicted online.


title: Juxtaposing Controlled Empirical Studies in Visualization with Topic Developments in Psychology

abstract: Empirical studies form an integral part of visualization research. Not only can they facilitate the evaluation of various designs, techniques, systems, and practices in visualization, but they can also enable the discovery of the causalities explaining why and how visualization works. This state-of-the-art report focuses on controlled and semi-controlled empirical studies conducted in laboratories and crowd-sourcing environments. In particular, the survey provides a taxonomic analysis of over 129 empirical studies in the visualization literature. It juxtaposes these studies with topic developments between 1978 and 2017 in psychology, where controlled empirical studies have played a predominant role in research. To help appreciate this broad context, the paper provides two case studies in detail, where specific visualization-related topics were examined in the discipline of psychology as well as the field of visualization. Following a brief discussion on some latest developments in psychology, it outlines challenges and opportunities in making new discoveries about visualization through empirical studies.


title: 2-Local Hamiltonian with Low Complexity is QCMA

abstract: We prove that 2-Local Hamiltonian (2-LH) with Low Complexity problem is QCMA-complete by combining the results from the QMA-completeness[4] of 2-LH and QCMA-completeness of 3-LH with Low Complexity[6]. The idea is straightforward. It has been known that 2-LH is QMA-complete. By putting a low complexity constraint on the input state, we make the problem QCMA. Finally, we use similar arguments as in [4] to show that all QCMA problems can be reduced to our proposed problem.


title: Small scale reconstruction in three-dimensional Kolmogorov flows using four-dimensional variational data assimilation

abstract: We apply the four dimensional variational method to reconstruct the small scales of three-dimensional turbulent velocity fields with a moderate Reynolds number, given a time sequence of measurement data on a coarse set of grid points. The results show that, reconstruction is successful when the resolution of the measurement data, given in terms of the wavenumber, is at the order of the threshold value $k_c = 0.2\eta_K^{-1}$ where $\eta_K$ is the Kolmogorov length scale of the flow. When the data are available over a period of one large eddy turn-over time scale, the filtered enstrophy and other small scale quantities are reconstructed with a $30\%$ or smaller normalized point-wise error, and a $90\%$ point-wise correlation. The spectral correlation between the reconstructed and target fields is higher than $80\%$ for all wavenumbers. Minimum volume enclosing ellipsoids (MVEEs) and MVEE trees are introduced to quantitatively compare the geometry of non-local structures. Results show that, for the majority samples, errors in the locations and the sizes of the reconstructed structures are within $15\%$, and those in the orientations is within $15^\circ$. This investigation demonstrates that satisfactory reconstruction of the scales two or more octaves smaller is possible if data at large scales are available for at least one large eddy turn-over time. In comparison, a direct substitution scheme results in three times bigger point-wise discrepancy in enstrophy. The spectral difference between the reconstructed and target velocity fields is more than ten times higher than what is obtained with the four dimensional variational method.


title: Complexity based approach for El Nino magnitude forecasting before the "spring predictability barrier"

abstract: The El Nino Southern Oscillation (ENSO) is one of the most prominent interannual climate phenomena. An early and reliable ENSO forecasting remains a crucial goal, due to its serious implications for economy, society, and ecosystem. Despite the development of various dynamical and statistical prediction models in the recent decades, the ``spring predictability barrier'' (SPB) remains a great challenge for long (over 6-month) lead-time forecasting. To overcome this barrier, here we develop an analysis tool, the System Sample Entropy (SysSampEn), to measure the complexity (disorder) of the system composed of temperature anomaly time series in the Nino 3.4 region. When applying this tool to several near surface air-temperature and sea surface temperature datasets, we find that in all datasets a strong positive correlation exists between the magnitude of El Nino and the previous calendar year's SysSampEn (complexity). We show that this correlation allows to forecast the magnitude of an El Nino with a prediction horizon of 1 year and high accuracy (i.e., Root Mean Square Error $=0.23^\circ C$ for the average of the individual datasets forecasts). For the on-going 2018 El Nino event, our method forecasts a weak El Nino with a magnitude of $1.11\pm 0.23^\circ C$. Our framework presented here not only facilitates a long--term forecasting of the El Nino magnitude but can potentially also be used as a measure for the complexity of other natural or engineering complex systems.


title: Graph Random Neural Features for Distance-Preserving Graph Representations

abstract: We present Graph Random Neural Features (GRNF), a novel embedding method from graph-structured data to real vectors based on a family of graph neural networks. The embedding naturally deals with graph isomorphism and preserves the metric structure of the graph domain, in probability. In addition to being an explicit embedding method, it also allows us to efficiently and effectively approximate graph metric distances (as well as complete kernel functions); a criterion to select the embedding dimension trading off the approximation accuracy with the computational cost is also provided. GRNF can be used within traditional processing methods or as a training-free input layer of a graph neural network. The theoretical guarantees that accompany GRNF ensure that the considered graph distance is metric, hence allowing to distinguish any pair of non-isomorphic graphs.


title: Narrow-Band Pulsed Electron Source Based on Near-Threshold Photoionization of Cs in a Magneto-Optical Trap

abstract: The newly developed method of time-of-flight (ToF) momentum microscopy was used to analyse the cold electron emission from a Cs 3D magneto-optical trap (MOT). Three-step resonant photoionization was implemented via two intermediate states (6P3/2 pumped with 852 nm laser and 7S1/2 with 1470 nm) and a tuneable femtosecond Ti:sapphire laser for the final ionization step. The magnetic field of the MOT is switched off during the photoionization step. The natural bandwidth of the fs-laser is reduced to 4 meV using optical spectral filters. Precise tuning of the photon energy makes it possible to observe the transition regime between direct photoemission into the open continuum and field induced ionization of highly-excited Rydberg states. The paths can be identified by their characteristic dependency on the extraction field and on the Ti:sapphire polarization. ToF analysis allowed us to disentangle the ionization paths and the dependence of the spatio-temporal distribution of the cold electrons on the polarization of the ionizing laser.


title: Tehran Stock Exchange Prediction Using Sentiment Analysis of Online Textual Opinions

abstract: In this paper, we investigate the impact of the social media data in predicting the Tehran Stock Exchange (TSE) variables for the first time. We consider the closing price and daily return of three different stocks for this investigation. We collected our social media data from Sahamyab.com/stocktwits for about three months. To extract information from online comments, we propose a hybrid sentiment analysis approach that combines lexicon-based and learning-based methods. Since lexicons that are available for the Persian language are not practical for sentiment analysis in the stock market domain, we built a particular sentiment lexicon for this domain. After designing and calculating daily sentiment indices using the sentiment of the comments, we examine their impact on the baseline models that only use historical market data and propose new predictor models using multi regression analysis. In addition to the sentiments, we also examine the comments volume and the users' reliabilities. We conclude that the predictability of various stocks in TSE is different depending on their attributes. Moreover, we indicate that for predicting the closing price only comments volume and for predicting the daily return both the volume and the sentiment of the comments could be useful. We demonstrate that Users' Trust coefficients have different behaviors toward the three stocks.


title: Revisiting the orbital tracking problem

abstract: Consider a space object in an orbit about the earth. An uncertain initial state can be represented as a point cloud which can be propagated to later times by the laws of Newtonian motion. If the state of the object is represented in Cartesian earth centered inertial (Cartesian-ECI) coordinates, then even if initial uncertainty is Gaussian in this coordinate system, the distribution quickly becomes non-Gaussian as the propagation time increases. Similar problems arise in other standard fixed coordinate systems in astrodynamics, e.g. Keplerian and to some extent equinoctial. To address these problems, a local "Adapted STructural (AST)'' coordinate system has been developed in which uncertainty is represented in terms of deviations from a "central state". Given a sequence of angles-only measurements, the iterated nonlinear extended (IEKF) and unscented (IUKF) Kalman filters are often the most appropriate variants to use. In particular, they can be much more accurate than the more commonly used non-iterated versions, the extended (EKF) and unscented (UKF) Kalman filters, especially under high eccentricity. In addition, iterated Kalman filters can often be well-approximated by two new closed form filters, the observation-centered extended (OCEKF) and unscented (OCUKF) Kalman filters.