title: Subgeometrically ergodic autoregressions

abstract: In this paper we discuss how the notion of subgeometric ergodicity in Markov chain theory can be exploited to study stationarity and ergodicity of nonlinear time series models. Subgeometric ergodicity means that the transition probability measures converge to the stationary measure at a rate slower than geometric. Specifically, we consider suitably defined higher-order nonlinear autoregressions that behave similarly to a unit root process for large values of the observed series but we place almost no restrictions on their dynamics for moderate values of the observed series. Results on the subgeometric ergodicity of nonlinear autoregressions have previously appeared only in the first-order case. We provide an extension to the higher-order case and show that the autoregressions we consider are, under appropriate conditions, subgeometrically ergodic. As useful implications we also obtain stationarity and $\beta$-mixing with subgeometrically decaying mixing coefficients.


title: Concentration and Poincar\'e type inequalities for a degenerate pure jump Markov process

abstract: We study Talagrand concentration and Poincar\'e type inequalities for unbounded pure jump Markov processes. In particular we focus on processes with degenerate jumps that depend on the past of the whole system, based on the model introduced by Galves and L\"ocherbach in \cite{G-L}, in order to describe the activity of a biological neural network. As a result we obtain exponential rates of convergence to equilibrium.


title: Deep Policies for Width-Based Planning in Pixel Domains

abstract: Width-based planning has demonstrated great success in recent years due to its ability to scale independently of the size of the state space. For example, Bandres et al. (2018) introduced a rollout version of the Iterated Width algorithm whose performance compares well with humans and learning methods in the pixel setting of the Atari games suite. In this setting, planning is done on-line using the "screen" states and selecting actions by looking ahead into the future. However, this algorithm is purely exploratory and does not leverage past reward information. Furthermore, it requires the state to be factored into features that need to be pre-defined for the particular task, e.g., the B-PROST pixel features. In this work, we extend width-based planning by incorporating an explicit policy in the action selection mechanism. Our method, called $\pi$-IW, interleaves width-based planning and policy learning using the state-actions visited by the planner. The policy estimate takes the form of a neural network and is in turn used to guide the planning step, thus reinforcing promising paths. Surprisingly, we observe that the representation learned by the neural network can be used as a feature space for the width-based planner without degrading its performance, thus removing the requirement of pre-defined features for the planner. We compare $\pi$-IW with previous width-based methods and with AlphaZero, a method that also interleaves planning and learning, in simple environments, and show that $\pi$-IW has superior performance. We also show that $\pi$-IW algorithm outperforms previous width-based methods in the pixel setting of Atari games suite.


title: SIMCO: SIMilarity-based object COunting

abstract: We present SIMCO, the first agnostic multi-class object counting approach. SIMCO starts by detecting foreground objects through a novel Mask RCNN-based architecture trained beforehand (just once) on a brand-new synthetic 2D shape dataset, InShape; the idea is to highlight every object resembling a primitive 2D shape (circle, square, rectangle, etc.). Each object detected is described by a low-dimensional embedding, obtained from a novel similarity-based head branch; this latter implements a triplet loss, encouraging similar objects (same 2D shape + color and scale) to map close. Subsequently, SIMCO uses this embedding for clustering, so that different types of objects can emerge and be counted, making SIMCO the very first multi-class unsupervised counter. Experiments show that SIMCO provides state-of-the-art scores on counting benchmarks and that it can also help in many challenging image understanding tasks.


title: A generalized differential image motion monitor

abstract: We present the Generalised Differential Image Motion Monitor. It is a compact instrument dedicated to measure 4 parameters of the optical turbulence: seeing, isoplanatic angle, coherence time and wavefront coherence outer scale. GDIMM is based on a small telescope (28cm diameter) equipped with a 3-holes mask at its entrance pupil. The instrument is fully automatic, and performs continuous monitoring of turbulence parameters at the Calern Observatory (France). This paper gives a description of the instrument, data processing and error budget. We present also statistics of 3.5 years of monitoring of turbulence parameters above the Calern Observatory.


title: CEDR: Contextualized Embeddings for Document Ranking

abstract: Although considerable attention has been given to neural ranking architectures recently, far less attention has been paid to the term representations that are used as input to these models. In this work, we investigate how two pretrained contextualized language models (ELMo and BERT) can be utilized for ad-hoc document ranking. Through experiments on TREC benchmarks, we find that several existing neural ranking architectures can benefit from the additional context provided by contextualized language models. Furthermore, we propose a joint approach that incorporates BERT's classification vector into existing neural models and show that it outperforms state-of-the-art ad-hoc ranking baselines. We call this joint approach CEDR (Contextualized Embeddings for Document Ranking). We also address practical challenges in using these models for ranking, including the maximum input length imposed by BERT and runtime performance impacts of contextualized language models.


title: A slow triangle map with a segment of indifferent fixed points and a complete tree of rational pairs

abstract: We study the two-dimensional continued fraction algorithm introduced in \cite{garr} and the associated \emph{triangle map} $T$, defined on a triangle $\triangle\subset \R^2$. We introduce a slow version of the triangle map, the map $S$, which is ergodic with respect to the Lebesgue measure and preserves an infinite Lebesgue-absolutely continuous invariant measure. We discuss the properties that the two maps $T$ and $S$ share with the classical Gauss and Farey maps on the interval, including an analogue of the weak law of large numbers and of Khinchin's weak law for the digits of the triangle sequence, the expansion associated to $T$. Finally, we confirm the role of the map $S$ as a two-dimensional version of the Farey map by introducing a complete tree of rational pairs, constructed using the inverse branches of $S$, in the same way as the Farey tree is generated by the Farey map, and then, equivalently, generated by a generalised mediant operation.


title: United test of the equivalence principle at $10^{-10}$ level using mass and internal energy specified atoms

abstract: We use both mass and internal energy specified rubidium atoms to jointly test the weak equivalence principle (WEP). We improve the four-wave double-diffraction Raman transition method (FWDR) we proposed before to select atoms with certain mass and angular momentum state, and perform dual-species atom interferometer. By combining $^{87}$Rb and $^{85}$Rb atoms with different angular momenta, we compare the differential gravitational acceleration of them, and determine the value of E\"{o}tv\"{o}s parameter, $\eta$, which measures the strength of the violation of WEP. For one case ($^{87}$Rb$|\emph{F}=1\rangle$ - $^{85}$Rb$|\emph{F}=2\rangle$),the statistical uncertainty of $\eta$ is $1.8 \times 10^{-10}$ at integration time of 8960 s. With various systematic errors correction, the final value is $\eta=(-4.4 \pm 6.7) \times 10^{-10}$. Comparing with the previous WEP test experiments using atoms, this work gives a new upper limit of WEP violation for $^{87}$Rb and $^{85}$Rb atom pairs.


title: Taming chaos to sample rare events: the effect of weak chaos

abstract: Rare events in non-linear dynamical systems are difficult to sample because of the sensitivity to perturbations of initial conditions and of complex landscapes in phase space. Here we discuss strategies to control these difficulties and succeed in obtainining an efficient sampling within a Metropolis-Hastings Monte Carlo framework. After reviewing previous successes in the case of strongly chaotic systems, we discuss the case of weakly chaotic systems. We show how different types of non-hyperbolicities limit the efficiency of previously designed sampling methods and we discuss strategies how to account for them. We focus on paradigmatic low-dimensional chaotic systems such as the logistic map, the Pomeau-Maneville map, and area-preserving maps with mixed phase space.


title: Slack Squeeze Coded Computing for Adaptive Straggler Mitigation

abstract: While performing distributed computations in today's cloud-based platforms, execution speed variations among compute nodes can significantly reduce the performance and create bottlenecks like stragglers. Coded computation techniques leverage coding theory to inject computational redundancy and mitigate stragglers in distributed computations. In this paper, we propose a dynamic workload distribution strategy for coded computation called Slack Squeeze Coded Computation ($S^2C^2$). $S^2C^2$ squeezes the compute slack (i.e., overhead) that is built into the coded computing frameworks by efficiently assigning work for all fast and slow nodes according to their speeds and without needing to re-distribute data. We implement an LSTM-based speed prediction algorithm to predict speeds of compute nodes. We evaluate $S^2C^2$ on linear algebraic algorithms, gradient descent, graph ranking, and graph filtering algorithms. We demonstrate 19% to 39% reduction in total computation latency using $S^2C^2$ compared to job replication and coded computation. We further show how $S^2C^2$ can be applied beyond matrix-vector multiplication.


title: Processsing Simple Geometric Attributes with Autoencoders

abstract: Image synthesis is a core problem in modern deep learning, and many recent architectures such as autoencoders and Generative Adversarial networks produce spectacular results on highly complex data, such as images of faces or landscapes. While these results open up a wide range of new, advanced synthesis applications, there is also a severe lack of theoretical understanding of how these networks work. This results in a wide range of practical problems, such as difficulties in training, the tendency to sample images with little or no variability, and generalisation problems. In this paper, we propose to analyse the ability of the simplest generative network, the autoencoder, to encode and decode two simple geometric attributes : size and position. We believe that, in order to understand more complicated tasks, it is necessary to first understand how these networks process simple attributes. For the first property, we analyse the case of images of centred disks with variable radii. We explain how the autoencoder projects these images to and from a latent space of smallest possible dimension, a scalar. In particular, we describe a closed-form solution to the decoding training problem in a network without biases, and show that during training, the network indeed finds this solution. We then investigate the best regularisation approaches which yield networks that generalise well. For the second property, position, we look at the encoding and decoding of Dirac delta functions, also known as `one-hot' vectors. We describe a hand-crafted filter that achieves encoding perfectly, and show that the network naturally finds this filter during training. We also show experimentally that the decoding can be achieved if the dataset is sampled in an appropriate manner.


title: Episodically Active Asteroid 6478 Gault

abstract: We present imaging and spectroscopic observations of 6478 Gault, a 6 km diameter inner main-belt asteroid currently exhibiting strong, comet-like characteristics. Three distinct tails indicate that ultra-slow dust (ejection speed 0.15+/-0.05 m/s) was emitted from Gault in separate episodes beginning UT 2018 October 28+/-5 (Tail A), UT 2018 December 31+/-5 (Tail B), and UT 2019 February 10+/-7, with durations of 10 to 20 days. With a mean particle radius 100 micron, the estimated masses of the tails are M_A = 2e7 kg, M_B = 3e6 kg and M_C = 3e5 kg, respectively, and the mass loss rates from the nucleus are 10 to 20 kg/s for Tail A, 2 to 3 kg/s for Tail B and about 0.2 kg/s for Tail C. In its optical colors Gault is more similar to C-type asteroids than to S-types, even though the latter are numerically dominant in the inner asteroid belt. A spectroscopic upper limit to the production of gas is set at 1 kg/s. Discrete emission in three protracted episodes effectively rules out an impact origin for the observed activity. Sublimation driven activity is unlikely given the inner belt orbit and the absence of detectable gas. In any case, sublimation would not easily account for the observed multiple ejections. The closest similarity is between Gault and active asteroid 311P/(2013 P5), an object showing repeated but aperiodic ejections of dust over a 9 month period. While Gault is 10 times larger than 311P/(2013 P5), and the spin-up time to radiation torques is 100 times longer, its properties are likewise most consistent with episodic emission from a body rotating near breakup.


title: How does a coin toss? A look under an asymptotic microscope

abstract: Is flipping a coin a deterministic process or a random one? We do not allow bounces. If we know the initial velocity and the spin given to the coin, mechanics should predict the face it lands on. However, the coin toss has been everyone's introduction to probability and has been assumed to be the hallmark random process. So, what's going on here? This article discusses the problem first brought up by Keller in 1986 using a perspective tangential to the one used by Keller which leads us to new insight about the probability of getting heads.


title: An infinitesimal variant of Guo-Jacquet trace formula I: the case of $(GL_{2n,D}, GL_{n,D}\times GL_{n,D})$

abstract: We establish an infinitesimal variant of Guo-Jacquet trace formula for the case of $(GL_{2n,D}, GL_{n,D}\times GL_{n,D})$. It is a kind of Poisson summation formula obtained by an analogue of Arthur's truncation process. It consists in the equality of the sums of two types of distributions which are non-equivariant in general: one type is associated to rational points in the categorical quotient, while the other type is the Fourier transform of the first type. For regular semi-simple points in the categorical quotient, we obtain weighted orbital integrals.


title: Subgeometric ergodicity and $\beta$-mixing

abstract: It is well known that stationary geometrically ergodic Markov chains are $\beta$-mixing (absolutely regular) with geometrically decaying mixing coefficients. Furthermore, for initial distributions other than the stationary one, geometric ergodicity implies $\beta$-mixing under suitable moment assumptions. In this note we show that similar results hold also for subgeometrically ergodic Markov chains. In particular, for both stationary and other initial distributions, subgeometric ergodicity implies $\beta$-mixing with subgeometrically decaying mixing coefficients. Although this result is simple it should prove very useful in obtaining rates of mixing in situations where geometric ergodicity can not be established. To illustrate our results we derive new subgeometric ergodicity and $\beta$-mixing results for the self-exciting threshold autoregressive model.


title: Knowledge Discovery on Blockchains: Challenges and Opportunities

abstract: We study the applicability of blockchain technology for distributed event detection under resource constraints. Therefore we provide a test-suite with several promising consensus methods (Proof-of-Work, Proof-of-Stake, Distributed Proof-of-Work, and Practical Proof-of-Kernel-Work). This is the first work analyzing the communication costs of blockchain consensus methods for knowledge discovery tasks in resource constraint devices. The experiments reveal that our proposed implementations of Distributed Proof-of-Work and Practical Proof-of-Kernel-Work provide a benefit over Proof-of-Work in CPU usage and communication costs. The tests show further that in cases of low data rates, where latencies by mining do not cause harm proposed blockchain implementations could be integrated. However, usage of blockchain requires data broadcasts, which leads to communication overhead as well as memory requirements based on the address list.


title: MRI Tissue Magnetism Quantification through Total Field Inversion with Deep Neural Networks

abstract: Quantitative susceptibility mapping (QSM) utilizes MRI signal phase to infer estimates of local tissue magnetism (magnetic susceptibility), which has been shown useful to provide novel image contrast and as biomarkers of abnormal tissue. QSM requires addressing a challenging post-processing problem: filtering of image phase estimates and inversion of the phase to susceptibility relationship. A wide variety of quantification errors, robustness limitations, and artifacts plague QSM algorithms. To overcome these limitations, a robust deep-learning-based single-step QSM reconstruction approach is proposed and demonstrated. This neural network was trained using magnetostatic physics simulations based on in-vivo data sources. Random perturbations were added to the physics simulations to provide sufficient input-label pairs for the training purposes. The network was quantitatively tested using gold-standard in-silico labeled datasets against established QSM total field inversion approaches. In addition, the algorithm was applied to susceptibility-weighted imaging (SWI) data collected on a cohort of clinical subjects with brain hemmhorage. When quantitatively compared against gold-standard in-silico labels, the proposed algorithm outperformed the existing comparable approaches. High quality QSM were consistently estimated from clinical susceptibility-weighted data on 100 subjects without any noticeable inversion failures. The proposed approach was able to robustly generate high quality QSM with improved accuracy in in-silico gold-standard experiments. QSM produced by the proposed method can be generated in real-time on existing MRI scanner platforms and provide enhanced visualization and quantification of magnetism-based tissue contrasts.


title: Reply to comment on: "An X-ray chimney extending hundreds of parsecs above and below the Galactic Centre"

abstract: In response to the comment posted by Nakashima et al. (arXiv:1903.1176), regarding prior claims for the features that we referred to as the Galactic Center Chimneys (2019, Nature, 567, 347), we point out the following: 1) The Nakashima et al. 2019 paper appeared in the arXiv on March 8th (1903.02571), after our paper was in the final stage of printing (accepted on January 30th). It is however interesting to see that the morphology of the brightest portions of the two results are in broad agreement (compare their Fig. 1 to our Extended Data Figs. 1 and 2). 2) Nakashima et al. 2013 ApJ 773, 20 claim the discovery of a blob of recombining plasma ~1deg south of Sgr A*, implying peculiar abundances. Again, their image (Fig. 1) agrees with the brightest portions of our images, although it does not show any direct connection between the plasma blob and the central parsec (e.g., such as the quasi-continuous chimney that we reported), nor evidence for an outflow from the center. We apologize for overlooking an appropriate citation to this contribution by Nakashima et al. 3) We fitted the XMM-Newton and Chandra data at the same position of the claimed recombining plasma and we did not find any clear-cut evidence for the presence of either an over-ionised plasma or peculiar abundances. Future X-ray calorimetric observations will presumably clarify this disagreement. 4) The continuity of the Chimney features, their quasi-symmetrical placement relative to Sgr A*, and their relatively sharp and well-defined edges are the essential features of our data that have led us to propose that the Chimneys are a unified columnar structure that represents a channel for the outflow of energy from the central region, possibly contributing to the stocking of the relativistic particle population manifested in the Fermi Bubbles.


title: Topological Hall effect at above room temperature in heterostructures composed of a magnetic insulator and a heavy metal

abstract: Non-volatile memory and computing technology rely on efficient read and write of ultra-tiny information carriers that do not wear out. Magnetic skyrmions are emerging as a potential carrier since they are topologically robust nanoscale spin textures that can be manipulated with ultralow current density. To date, most of skyrmions are reported in metallic films, which suffer from additional Ohmic loss and thus high energy dissipation. Therefore, skyrmions in magnetic insulators are of technological importance for low-power information processing applications due to their low damping and the absence of Ohmic loss. Moreover, they attract fundamental interest in studying various magnon-skyrmion interactions11. Skyrmions have been observed in one insulating material Cu2OSeO3 at cryogenic temperatures, where they are stabilized by bulk Dzyaloshinskii-Moriya interaction. Here, we report the observation of magnetic skyrmions that survive above room temperature in magnetic insulator/heavy metal heterostructures, i.e., thulium iron garnet/platinum. The presence of these skyrmions results from the Dzyaloshinskii-Moriya interaction at the interface and is identified by the emergent topological Hall effect. Through tuning the magnetic anisotropy via varying temperature, we observe skyrmions in a large window of external magnetic field and enhanced stability of skyrmions in the easy-plane anisotropy regime. Our results will help create a new platform for insulating skyrmion-based room temperature low dissipation spintronic applications.


title: Roles of sterile neutrinos in particle physics and cosmology

abstract: The impacts of the light sterile neutrino hypothesis in particle physics and cosmology are reviewed. The observed short baseline neutrino anomalies challenging the standard explanation of neutrino oscillations within the framework of three active neutrinos are addressed. It is shown that they can be interpreted as the experimental hints pointing towards the existence of sterile neutrino at the eV scale. While the electron neutrino appearance and disappearance data are in favor of such a sterile neutrino, the muon disappearance data disfavor it, which gives rise to a strong appearance-disappearacne tension. After a brief review on the cosmological effects of light sterile neutrinos, proposed signatures of light sterile neutrinos in the existing cosmological data are discussed. The keV-scale sterile neutrinos as possible dark matter candidates are also discussed by reviewing different mechanisms of how they can be produced in the early Universe and how their properties can be constrained by several cosmological observations. We give an overview of the possibility that keV-scale sterile neutrino can be a good DM candidate and play a key role in achieving low scale leptogenesis simultaneously by introducing a model where an extra light sterile neutrino is added on top of type I seesaw model.


title: Existence of Symmetric Positive Solutions for a Caputo Fractional Singular Boundary Value Problem

abstract: In this article, we establish the symmetric positive existence for the following Caputo fractional boundary value problem \begin{align*} {}^{C}D_{0}^{\,\mu}x(t)+f(t,x(t))&=0,\hspace{1cm}t\in(-1,\,1),\hspace{1cm}1<\mu\leq2,\\ x(\pm1)=x'(0^{\pm})&=0, \end{align*} where ${}^{C}D_{0}^{\,\mu}x(t)={}^{C}D_{0^{+}}^{\,\mu}x(t)$ for $t\geq0$, ${}^{C}D_{0}^{\,\mu}x(t)={}^{C}D_{0^{-}}^{\,\mu}x(t)$ for $t\leq0$. Moreover, $f:(-1,\,1)\times(0,\infty)\rightarrow\mathbb{R}$ is continuous and singular at $t=-1$, $t=1$ and $x=0$. Here, ${}^{C}D_{0^{+}}^{\,\mu}$ and ${}^{C}D_{0^{-}}^{\,\mu}$, respectively, are Caputo fractional left and right derivatives of order $\mu$.


title: Trick or Heat? Manipulating Critical Temperature-Based Control Systems Using Rectification Attacks

abstract: Temperature sensing and control systems are widely used in the closed-loop control of critical processes such as maintaining the thermal stability of patients, or in alarm systems for detecting temperature-related hazards. However, the security of these systems has yet to be completely explored, leaving potential attack surfaces that can be exploited to take control over critical systems. In this paper we investigate the reliability of temperature-based control systems from a security and safety perspective. We show how unexpected consequences and safety risks can be induced by physical-level attacks on analog temperature sensing components. For instance, we demonstrate that an adversary could remotely manipulate the temperature sensor measurements of an infant incubator to cause potential safety issues, without tampering with the victim system or triggering automatic temperature alarms. This attack exploits the unintended rectification effect that can be induced in operational and instrumentation amplifiers to control the sensor output, tricking the internal control loop of the victim system to heat up or cool down. Furthermore, we show how the exploit of this hardware-level vulnerability could affect different classes of analog sensors that share similar signal conditioning processes. Our experimental results indicate that conventional defenses commonly deployed in these systems are not sufficient to mitigate the threat, so we propose a prototype design of a low-cost anomaly detector for critical applications to ensure the integrity of temperature sensor signals.


title: On the construction of confidence intervals for ratios of expectations

abstract: In econometrics, many parameters of interest can be written as ratios of expectations. The main approach to construct confidence intervals for such parameters is the delta method. However, this asymptotic procedure yields intervals that may not be relevant for small sample sizes or, more generally, in a sequence-of-model framework that allows the expectation in the denominator to decrease to $0$ with the sample size. In this setting, we prove a generalization of the delta method for ratios of expectations and the consistency of the nonparametric percentile bootstrap. We also investigate finite-sample inference and show a partial impossibility result: nonasymptotic uniform confidence intervals can be built for ratios of expectations but not at every level. Based on this, we propose an easy-to-compute index to appraise the reliability of the intervals based on the delta method. Simulations and an application illustrate our results and the practical usefulness of our rule of thumb.


title: Baryon sigma terms in SU(3) BChPT x 1/Nc

abstract: ChPT and the $1/N_c$ expansion provide systematic frameworks for the strong interactions at low energy. A combined framework of both expansions has been developed and applied for baryons with three light-quark-flavors. The small scale expansion of the combined approach is identified as the $\xi$-expansion, in which the power counting of the expansions is linked according to $O(p)=O(1/N_c)=O(\xi)$. The physical baryon masses as well as lattice QCD baryon masses for different quark mass masses are analyzed to $O(\xi^3)$ in that framework. $\sigma$ terms are addressed using the Feynman Hellmann theorem. For the nucleon, a useful connection between the deviation of the Gell-Mann-Okubo relation and the $\sigma$ term $\sigma_{8N}$ associated with the scalar density $\bar u u+\bar d d-2\bar s s$ is identified. In particular, the deviation from the tree level relation $\sigma_{8N}=\frac 13(2 m_N-m_\Sigma-m_\Xi)$, which gives rise to the so called $\sigma$-term puzzle, is studied in the $\xi$-expansion. A large correction non-analytic in $\xi$ results for that relation, making plausible the resolution of the puzzle. Issues with the determination of the strangeness $\sigma$ terms are discussed, emphasizing the need for lattice calculations at smaller $m_s$ for better understanding the range of validity of the effective theory. The analysis presented here leads to $\sigma_{\pi N}=69(10)$~MeV and $\sigma_{\pi \Delta}=60(10)$~MeV.


title: A tale of two species: How humans shape dog behaviour in urban habitats

abstract: Species inhabiting urban environments experience enormous anthropogenic stress. Behavioural plasticity and flexibility of temperament are crucial to successful urban-adaptation. Urban free-ranging dogs experience variable human impact, from positive to negative and represent an ideal system to evaluate the effects of human-induced stress on behavioural plasticity. We tested 600 adult dogs from 60 sites across India, categorised as high - HF, low - LF, and intermediate - IF human flux zones, to understand their sociability towards an unfamiliar human. Dogs in the HF and IF zones were bolder and as compared to their shy counterparts in LF zones. The IF zone dogs were the most sociable. This is the first-ever study aimed to understand how the experiences of interactions with humans in its immediate environment might shape the responses of an animal to humans. This is very relevant in the context of human-animal conflict induced by rapid urbanization and habitat loss across the world.


title: ALMA monitoring of mm line variation in IRC+10216: I. Overview of millimeter variability

abstract: Temporal variation of millimeter lines is a new direction of research for evolved stars. It has the potential to probe the dynamical wind launching processes from time dimension. We report here the first ALMA (Atacama Large Millimeter Array) results that cover 817 days of an on-going monitoring of 1.1 mm lines in the archetypal carbon star IRC +10216. The monitoring is done with the compact 7-m array (ACA) and in infrared with a 1.25 m telescope in Crimea. A high sensitivity of the cumulative spectra covering a total of ~7.2 GHz between 250 - 270 GHz range has allowed us to detect about 148 known transitions of 20 molecules, together with more of their isotopologues, and 81 unidentified lines. An overview of the variabilities of all detected line features are presented in spectral plots. Although a handful of lines are found to be very possibly stable in time, most other lines are varying either roughly in phase or in anti-correlation with the near-infrared light. Several lines have their variations in the ALMA data coincident with existing single dish monitoring results, while several others do not, which requires an yet unknown mechanism in the circumstellar envelop to explain.


title: Geometry of weighted recursive and affine preferential attachment trees

abstract: We study two models of growing recursive trees. For both models, initially the tree only contains one vertex $u_1$ and at each time $n\geq 2$ a new vertex $u_n$ is added to the tree and its parent is chosen randomly according to some rule. In the \emph{weighted recursive tree}, we choose the parent $u_k$ of $u_n$ among $\{u_1,u_2,\dots, u_{n-1}\}$ with probability proportional to $w_k$, where $(w_n)_{n\geq1}$ is some deterministic sequence that we fix beforehand. In the \emph{affine preferential attachment tree with fitnesses}, the probability of choosing any $u_k$ is proportional to $a_k+\mathrm{deg}^{+}(u_k)$, where $\mathrm{deg}^{+}(u_k)$ denotes its current number of children, and the sequence of \emph{fitnesses} $(a_n)_{n\geq 1}$ is deterministic and chosen as a parameter of the model. We show that for any sequence $(a_n)_{n\geq 1}$, the corresponding preferential attachment tree has the same distribution as some weighted recursive tree with a \emph{random} sequence of weights (with some explicit distribution). We then prove almost sure scaling limit convergences for some statistics associated with weighted recursive trees as time goes to infinity, such as degree sequence, height, profile and also the weak convergence of some measures carried on the tree. Thanks to the connection between the two models, these results also apply to affine preferential attachment trees.


title: Narrowband IoT for Healthcare

abstract: The Internet of Things (IoT) is going to have its presence in all the essential sectors of human lives. It has the ability to provide both mainstream as well as the value added services in almost all the sectors. Healthcare is an important service sector for overall development. It has far reaching implications in the quality of living. In the modern world where the quality of living has been degraded significantly IoT can certainly play a constructive role in providing better services. In healthcare, there are several occasions such as patient health monitoring, remote observation and emergency proceedings outside the hospital where sensors can play essential roles. The coordinated sensor networks can provide even better services. IoT has the ability to provide all these coordinated services. Narrowband IoT (NBIoT) is an economical and simpler version of IoT which can handle these tasks effectively. Due to the widespread requirement of healthcare, NBIoT is a preferred solution as it needs fewer amounts of resources. In this article, we provide the main issues and difficulties of NBIoT in healthcare.


title: A minimal-variable symplectic method for isospectral flows

abstract: Isospectral flows are abundant in mathematical physics; the rigid body, the the Toda lattice, the Brockett flow, the Heisenberg spin chain, and point vortex dynamics, to mention but a few. Their connection on the one hand with integrable systems and, on the other, with Lie--Poisson systems motivates the research for optimal numerical schemes to solve them. Several works about numerical methods to integrate isospectral flows have produced a large varieties of solutions to this problem. However, many of these algorithms are not intrinsically defined in the space where the equations take place and/or rely on computationally heavy transformations. In the literature, only few examples of numerical methods avoiding these issues are known, for instance, the \textit{spherical midpoint method} on $\SO(3)$. In this paper we introduce a new minimal-variable, second order, numerical integrator for isospectral flows intrinsically defined on quadratic Lie algebras and symmetric matrices. The algorithm is isospectral for general isospectral flows and Lie--Poisson preserving when the isospectral flow is Hamiltonian. The simplicity of the scheme, together with its structure-preserving properties, makes it a competitive alternative to those already present in literature.


title: Comparison of System Call Representations for Intrusion Detection

abstract: Over the years, artificial neural networks have been applied successfully in many areas including IT security. Yet, neural networks can only process continuous input data. This is particularly challenging for security-related non-continuous data like system calls. This work focuses on four different options to preprocess sequences of system calls so that they can be processed by neural networks. These input options are based on one-hot encoding and learning word2vec or GloVe representations of system calls. As an additional option, we analyze if the mapping of system calls to their respective kernel modules is an adequate generalization step for (a) replacing system calls or (b) enhancing system call data with additional information regarding their context. However, when performing such preprocessing steps it is important to ensure that no relevant information is lost during the process. The overall objective of system call based intrusion detection is to categorize sequences of system calls as benign or malicious behavior. Therefore, this scenario is used to evaluate the different input options as a classification task. The results show, that each of the four different methods is a valid option when preprocessing input data, but the use of kernel modules only is not recommended because too much information is being lost during the mapping process.


title: LCK metrics on complex spaces with quotient singularities

abstract: In this article we introduce a generalization of locally conformally Kaehler metrics from complex manifolds to complex analytic spaces with singularities and study which properties of locally conformally Kaehler manifolds still hold in this new setting. We prove that if a complex analytic space has only quotient singularities, then it admits a locally conformally Kaehler metric if and only if its universal cover admits a Kaehler metric such that the deck automorphisms act by homotheties of the Kaehler metric. We also prove that the blow-up at a point of a LCK complex space is also LCK.


title: Nonequilibrium dynamics of spontaneous symmetry breaking into a hidden state of charge-density wave

abstract: Nonequilibrium phase transition plays a pivotal role in a broad physical context from condensed matter to cosmology. Tracking the formation of non-equilibrium phases in condensed matter is challenging and requires a resolution of the long-range cooperativity on ultra-short timescales. Here, we study the spontaneous symmetry breaking transformation of a charge-density wave system from a stripe phase into a checkerboard state. Such a state is thermodynamically forbidden, but is introduced through a system quench using ultrashort, intense laser pulses. The dynamics is mediated by the soft modes that unfold spontaneously and order the field on a timescale ~1 ps. Using the coherent electron diffraction with ~100 fs resolution, we capture the entire course and demonstrate nonergodic behavior proximal to symmetry breaking that is crucial for stabilizing the hidden states. Remarkably, the thermalization due to carriers cooling arrests the remnants of the transient orders into the topological defects in the eventual state with distinct new properties that last for more than 1 ns. The fundamental dynamics observed here opens an intriguing perspective of controlling phase transitions in quantum materials far from equilibrium.


title: The doubling Archimedean zeta integrals for p-adic interpolation

abstract: We compute the Archimedean doubling zeta integrals which appear in the interpolation formulas for the p-adic L-functions of Siegel modular forms, and verify that they agree with the modified Archimedean Euler factors for p-adic interpolation conjectured by Coates--Perrin-Riou.


title: Machine learning optimization of the collocation point set for solving the Kohn-Sham equation

abstract: The rectangular collocation approach makes it possible to solve the Schr\"odinger equation with basis functions that do not have amplitude in all regions in which wavefunctions have significant amplitude. Collocation points can be restricted to a small region of space. As no integrals are computed, there are no problems due to discontinuities in the potential, and there is no need to use integrable basis functions. In this paper, we show, for the Kohn-Sham equation, that machine learning can be used to drastically reduce the size of the collocation point set. This is demonstrated by solving the Kohn-Sham equations for CO and H2O. We solve the Kohn-Sham equation on a given effective potential which is a critical part of all DFT calculations, and monitor orbital energies and orbital shapes. We use a combination of Gaussian process regression and a genetic algorithm to reduce the collocation point set size by more than an order of magnitude (from about 51,000 points to 2,000 points) while retaining mHartree accuracy.


title: External optimal control of fractional parabolic PDEs

abstract: In this paper we introduce a new notion of optimal control, or source identification in inverse, problems with fractional parabolic PDEs as constraints. This new notion allows a source/control placement outside the domain where the PDE is fulfilled. We tackle the Dirichlet, the Neumann and the Robin cases. For the fractional elliptic PDEs this has been recently investigated by the authors in \cite{HAntil_RKhatri_MWarma_2018a}. The need for these novel optimal control concepts stems from the fact that the classical PDE models only allow placing the source/control either on the boundary or in the interior where the PDE is satisfied. However, the nonlocal behavior of the fractional operator now allows placing the control in the exterior. We introduce the notions of weak and very-weak solutions to the parabolic Dirichlet problem. We present an approach on how to approximate the parabolic Dirichlet solutions by the parabolic Robin solutions (with convergence rates). A complete analysis for the Dirichlet and Robin optimal control problems has been discussed. The numerical examples confirm our theoretical findings and further illustrate the potential benefits of nonlocal models over the local ones.


title: $\varepsilon$-differential agreement: A Parallel Data Sorting Mechanism for Distributed Information Processing System

abstract: The order of the input information plays a very important role in a distributed information processing system (DIPS). This paper proposes a novel data sorting mechanism named the {\epsilon}-differential agreement (EDA) that can support parallel data sorting. EDA adopts the collaborative consensus mechanism which is different from the traditional consensus mechanisms using the competition mechanism, such as PoS, PoW, etc. In the system that employs the EDA mechanism, all participants work together to compute the order of the input information by using statistical and probability principles on a proportion of participants. Preliminary results show variable fault-tolerant rates and consensus delay for systems that have different configurations when reaching consensus, thus it suggests that it is possible to use EDA in a system and customize these parameters based on different requirements. With the unique mechanism, EDA can be used in DIPS of multi-center decision cluster, not just the rotating center decision cluster.


title: BChPT$\times 1/{\rm N_c}$ in SU(3): a more effective theory

abstract: The chiral and $1/N_c$ expansions are combined in the description of low energy baryons. The combination furnishes a better behaved expansion, consequence of exactly eliminating large terms that violate the $1/N_c$ expansion and which are typical of formulations of BChPT where consistency with the large $N_c$ limit is disregarded. The improvements are particularly dramatic in the case of SU(3). The general framework is outlined and applications to the vector charges and axial couplings are presented along with a comparison with Lattice QCD results with three quark flavors.


title: Discussion of the Paper SPE-187038-MS: Fracture Closure Stress: Reexamining Field and Laboratory Experiments of Fracture Closure Using Modern Interpretation Methodologies

abstract: In recent years, there has been discussion in the literature regarding methods of estimating the magnitude of the minimum principal stress from subsurface fracture injection tests, commonly called Diagnostic Fracture Injection Tests (DFITs). McClure et al. (2016) used modeling and mathematical analysis to propose that changes should be made to common interpretation techniques. Subsequently, Craig et al. (2017) attempted to refute those findings using field and laboratory observations. This discussion paper reviews the interpretations from Craig et al. (2017) and concludes that their conclusions are unsupported by the data presented.


title: Electron-interacting dark matter: Implications from DAMA/LIBRA-phase2 and prospects for liquid xenon detectors and NaI detectors

abstract: We investigate the possibility for the direct detection of low mass (GeV scale) WIMP dark matter in scintillation experiments. Such WIMPs are typically too light to leave appreciable nuclear recoils, but may be detected via their scattering off atomic electrons. In particular, the DAMA Collaboration [R. Bernabei et al., Nucl. Phys. At. Energy 19, 307 (2018)] has recently presented strong evidence of an annual modulation in the scintillation rate observed at energies as low as 1 keV. Despite a strong enhancement in the calculated event rate at low energies, we find that an interpretation in terms of electron-interacting WIMPs cannot be consistent with existing constraints. We also demonstrate the importance of correct treatment of the atomic wavefunctions, and show the resulting event rate is very sensitive to the low-energy performance of the detectors, meaning it is crucial that the detector uncertainties be taken into account. Finally, we demonstrate that the potential scintillation event rate can be much larger than may otherwise be expected, meaning that competitive searches can be performed for GeV scale WIMPs using the conventional prompt S1 scintillation signals. This is important given the recent and upcoming very large liquid xenon detectors.


title: Ordering dynamics in the voter model with aging

abstract: The voter model with memory-dependent dynamics is theoretically and numerically studied at the mean-field level. The `internal age', or time an individual spends holding the same state, is added to the set of binary states of the population, such that the probability of changing state (or activation probability $p_i$) depends on this age. A closed set of integro-differential equations describing the time evolution of the fraction of individuals with a given state and age is derived, and from it analytical results are obtained characterizing the behavior of the system close to the absorbing states. In general, different age-dependent activation probabilities have different effects on the dynamics. When the activation probability $p_i$ is an increasing function of the age $i$, the system reaches a steady state with coexistence of opinions. In the case of aging, with $p_i$ being a decreasing function, either the system reaches consensus or it gets trapped in a frozen state, depending on the value of $p_\infty$ (zero or not) and the velocity of $p_i$ approaching $p_\infty$. Moreover, when the system reaches consensus, the time ordering of the system can be exponential ($p_\infty>0$) or power-law like ($p_\infty=0$). Exact conditions for having one or another behavior, together with the equations and explicit expressions for the exponents, are provided.


title: SPIRE Spectroscopy of Early Type Galaxies

abstract: We present SPIRE spectroscopy for 9 early-type galaxies (ETGs) representing the most CO-rich and far-infrared (FIR) bright galaxies of the volume-limited Atlas3D sample. Our data include detections of mid to high J CO transitions (J=4-3 to J=13-12) and the [CI] (1-0) and (2-1) emission lines. CO spectral line energy distributions (SLEDs) for our ETGs indicate low gas excitation, barring NGC 1266. We use the [CI] emission lines to determine the excitation temperature of the neutral gas, as well as estimate the mass of molecular hydrogen. The masses agree well with masses derived from CO, making this technique very promising for high redshift galaxies. We do not find a trend between the [NII] 205 flux and the infrared luminosity, but we do find that the [NII] 205/CO(6-5) line ratio is correlated with the 60/100 $\mu$m Infrared Astronomical Satellite (IRAS) colors. Thus the [NII] 205/CO(6-5) ratio can be used to infer a dust temperature, and hence the intensity of the interstellar radiation field (ISRF). Photodissociation region (PDR) models show that use of [CI] and CO lines in addition to the typical [CII], [OI], and FIR fluxes drive the model solutions to higher densities and lower values of G$_0$. In short, the SPIRE lines indicate that the atomic and molecular gas in the CO-rich ETGs have similar properties to other galaxies. As might be expected from their low levels of star formation activity, the ETGs have rather low excitation CO SLEDs, low temperatures inferred from the [CI] lines, and modestly lower [CI]/CO ratios.


title: Quantum diffusion regime of the charge transport in GdB6 caused by electron and lattice instability

abstract: Based on accurate X-ray structure analysis of GdB6 over the temperature range 85-300 K it has been shown that anomalously strong charge carrier scattering in the quantum diffusion regime of charge transport in this compound arises due to the formation of (i) dynamically coupled Gd3+ dimers of about 3.3 {\AA} in size with an energy of quasi-local oscillations ~ 7 - 8 meV and (ii) dynamic charge stripes along the [001] direction of the cubic lattice. It has been revealed that anharmonic approximation is useful when analyzing the static and dynamic components of the atomic displacement parameters of gadolinium. The barrier height of double-well potential of Gd3+ ions was determined both from low-temperature heat capacity measurements and from the electron density distribution reconstructed from X-ray data.


title: General Framework for Metric Optimization Problems with Delay or with Deadlines

abstract: In this paper, we present a framework used to construct and analyze algorithms for online optimization problems with deadlines or with delay over a metric space. Using this framework, we present algorithms for several different problems. We present an $O(D^{2})$-competitive deterministic algorithm for online multilevel aggregation with delay on a tree of depth $D$, an exponential improvement over the $O(D^{4}2^{D})$-competitive algorithm of Bienkowski et al. (ESA '16), where the only previously-known improvement was for the special case of deadlines by Buchbinder et al. (SODA '17). We also present an $O(\log^{2}n)$-competitive randomized algorithm for online service with delay over any general metric space of $n$ points, improving upon the $O(\log^{4}n)$-competitive algorithm by Azar et al. (STOC '17). In addition, we present the problem of online facility location with deadlines. In this problem, requests arrive over time in a metric space, and need to be served until their deadlines by facilities that are opened momentarily for some cost. We also consider the problem of facility location with delay, in which the deadlines are replaced with arbitrary delay functions. For those problems, we present $O(\log^{2}n)$-competitive algorithms, with $n$ the number of points in the metric space. The algorithmic framework we present includes techniques for the design of algorithms as well as techniques for their analysis.


title: Out-of-equilibrium electrons lead to record thermionic emission in LaB6 with the Jahn-Teller instability of boron cage

abstract: Materials with low electron work function are of great demand in various branches of science and technology. LaB6 is among the most effective electron-beam sources with one of the highest brightness of thermionic emission. A deep understanding of the physical mechanisms responsible for the extraordinary properties of LaB6 is required in order to optimize the parameters and design of thermionic elements for application in various electron-beam devices. Motivated by recent experiments on rare earth borides indicating a strong coupling of conduction electrons to the crystal lattice and rare earth ions, we have studied the state of electrons in the conduction band of lanthanum hexaboride by performing infrared spectroscopic, DC resistivity and Hall-effect studies of LaB6 single crystals with different ratios of 10B and 11B isotopes. We find that only a small amount of electrons in the conduction band behave as Drude-type mobile charge carriers while up to 70% of the electrons are far out of equilibrium and involved in collective oscillations of electron density coupled to vibrations of the Jahn-Teller unstable rigid boron cage and rattling modes of La-ions that are loosely bound to the lattice. We argue that exactly these non-equilibrium (hot) electrons in the conduction band determine the extraordinary low work function of thermoemission in LaB6. Our observation may guide future search for compounds with possibly lower electron work function.


title: Asymptotic safety casts its shadow

abstract: We set out to bridge the gap between regular black-hole spacetimes and observations of a black-hole shadow by the Event Horizon Telescope. We explore modifications of spinning and non-spinning black-hole spacetimes inspired by asymptotically safe quantum gravity which features a scale dependence of the Newton coupling. As a consequence, the predictions of our model, such as the shadow shape and size, depend on one free parameter determining the curvature scale at which deviations from General Relativity set in. In more general new-physics settings, it can also depart substantially from the Planck scale. In this case, the free parameter is constrained by observations, since the corresponding curvature scale is significantly below the Planck-scale. The leading new-physics effect can be recast as a scale-dependent black-hole mass, resulting in distinct observational signatures of our model. As a concrete example, we show that two mass-measurements, extracted from the size of the shadow and from Keplerian orbital motion of stars, allow to distinguish the classical from the modified, regular black-hole spacetime, yielding a bound on the free parameter. For spinning black holes, we further find that the singularity-resolving new physics puts a characteristic dent in the shadow. Finally, we argue, based on the underlying physical mechanism, that the effects we derive could be generic consequences of a large class of quantum-gravity theories.


title: Examples of non connective C*-algebras

abstract: We present an example of two infinite families of not connective groups. Both of them are generalized of the 3-dimensional Hantzsche-Wendt group.


title: A decorated tree approach to random permutations in substitution-closed classes

abstract: We establish a novel bijective encoding that represents permutations as forests of decorated (or enriched) trees. This allows us to prove local convergence of uniform random permutations from substitution-closed classes satisfying a criticality constraint. It also enables us to reprove and strengthen permuton limits for these classes in a new way, that uses a semi-local version of Aldous' skeleton decomposition for size-constrained Galton--Watson trees.


title: Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations

abstract: In addition to pre- and postconditions, program specifications in recent separation logics for concurrency have employed an algebraic structure of resources---a form of state transition system---to describe the state-based program invariants that must be preserved, and to record the permissible atomic changes to program state. In this paper we introduce a novel notion of resource morphism, i.e. structure-preserving function on resources, and show how to effectively integrate it into separation logic, using an associated notion of morphism-specific simulation. We apply morphisms and simulations to programs verified under one resource, to compositionally adapt them to operate under another resource, thus facilitating proof reuse.


title: Binary patterns in the Prouhet-Thue-Morse sequence

abstract: We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all (finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can actually be found in that sequence as segments (up to exchange of letters in the infinite case). This result was previously attributed to unpublished work by D. Guaiana and may also be derived from publications of A. Shur only available in Russian. We also identify the (finitely many) finite binary patterns that appear non trivially, in the sense that they are obtained by applying an endomorphism that does not map the set of all segments of the sequence into itself.


title: A Rigorous Demonstration of Superconductivity in a Repulsive Hubbard Model

abstract: We have rigorously shown that a strong Hubbard repulsion can cause superconductivity. The model, which has a particular set of local symmetries, manifests the phase diagram of many unconventional superconductors; anti-ferromagnetism paramagnetism, superconductivity, and even ferromagnetism are all observed. The key technique in the analysis is an exact non-linear fermion transformation, which preserves the correlated motion of electrons while removing the strong interactions. Using resolvent formalism, it is exactly shown that two holes at the Mott point bind to form a localised Cooper pair. As interactions are now weak, we then use BCS mean field theory to calculate the energy, excess pairing, and superconducting gap. These results are compared to exact diagonalisation of finite sized systems and show good agreement. At the Mott point the system is an anti-ferromagnet, and a superconducting phase quickly appears upon doping, and then vanishes.


title: Isomorphism in Wavelets

abstract: Two scaling functions $\varphi_A$ and $\varphi_B$ for Parseval frame wavelets are algebraically isomorphic, $\varphi_A \simeq \varphi_B$, if they have matching solutions to their (reduced) isomorphic systems of equations. Let $A$ and $B$ be $d\times d$ and $s\times s$ \thematrix matrices with $d, s\geq 1$ respectively and let $\varphi_A$ be a scaling function associated with matrix $A$ and generated by a finite solution. There always exists a scaling function $\varphi_B$ associated with matrix $B$ such that \begin{equation*} \varphi_B \simeq \varphi_A. \end{equation*} An example shows that the assumption on the finiteness of the solutions can not be removed.


title: Bulk eigenvalue fluctuations of sparse random matrices

abstract: We consider a class of sparse random matrices, which includes the adjacency matrix of Erd\H{o}s-R\'enyi graphs $\mathcal G(N,p)$ for $p \in [N^{\varepsilon-1},N^{-\varepsilon}]$. We identify the joint limiting distributions of the eigenvalues away from 0 and the spectral edges. Our result indicates that unlike Wigner matrices, the eigenvalues of sparse matrices satisfy central limit theorems with normalization $N\sqrt{p}$. In addition, the eigenvalues fluctuate simultaneously: the correlation of two eigenvalues of the same/different sign is asymptotically 1/-1. We also prove CLTs for the eigenvalue counting function and trace of the resolvent at mesoscopic scales.


title: Defence Efficiency

abstract: In order to automate actions, such as defences against network attacks, one needs to quantify their efficiency. This can subsequently be used in post-evaluation, learning, etc. In order to quantify the defence efficiency as a function of the impact of the defence and its total cost, we present several natural requirements from such a definition of efficiency and provide a natural definition that complies with these requirements. Next, we precisely characterize our definition of efficiency by the axiomatic approach; namely, we strengthen the original requirements from such a definition and prove that the given definition is the unique definition that satisfies those requirements. Finally, we generalize the definition to the case of any number of input variables in two natural ways, and compare these generalizations.


title: Improving Human Text Comprehension through Semi-Markov CRF-based Neural Section Title Generation

abstract: Titles of short sections within long documents support readers by guiding their focus towards relevant passages and by providing anchor-points that help to understand the progression of the document. The positive effects of section titles are even more pronounced when measured on readers with less developed reading abilities, for example in communities with limited labeled text resources. We, therefore, aim to develop techniques to generate section titles in low-resource environments. In particular, we present an extractive pipeline for section title generation by first selecting the most salient sentence and then applying deletion-based compression. Our compression approach is based on a Semi-Markov Conditional Random Field that leverages unsupervised word-representations such as ELMo or BERT, eliminating the need for a complex encoder-decoder architecture. The results show that this approach leads to competitive performance with sequence-to-sequence models with high resources, while strongly outperforming it with low resources. In a human-subject study across subjects with varying reading abilities, we find that our section titles improve the speed of completing comprehension tasks while retaining similar accuracy.


title: Generalized multiscale finite element method for the steady state linear Boltzmann equation

abstract: The Boltzmann equation, as a model equation in statistical mechanics, is used to describe the statistical behavior of a large number of particles driven by the same physics laws. Depending on the media and the particles to be modeled, the equation has slightly different forms. In this article, we investigate a model Boltzmann equation with highly oscillatory media in the small Knudsen number regime, and study the numerical behavior of the Generalized Multi-scale Finite Element Method (GMsFEM) in the fluid regime when high oscillation in the media presents. The Generalized Multi-scale Finite Element Method (GMsFEM) is a general approach to numerically treat equations with multi-scale structures. The method is divided into the offline and online steps. In the offline step, basis functions are prepared from a snapshot space via a well-designed generalized eigenvalue problem (GEP), and these basis functions are then utilized to patch up for a solution through DG formulation in the online step to incorporate specific boundary and source information. We prove the wellposedness of the method on the Boltzmann equation, and show that the GEP formulation provides a set of optimal basis functions that achieve spectral convergence. Such convergence is independent of the oscillation in the media, or the smallness of the Knudsen number, making it one of the few methods that simultaneously achieve numerical homogenization and asymptotic preserving properties across all scales of oscillations and the Knudsen number.


title: RF-Trojan: Leaking Kernel Data Using Register File Trojan

abstract: Register Files (RFs) are the most frequently accessed memories in a microprocessor for fast and efficient computation and control logic. Segment registers and control registers are especially critical for maintaining the CPU mode of execution that determinesthe access privileges. In this work, we explore the vulnerabilities in RF and propose a class of hardware Trojans which can inject faults during read or retention mode. The Trojan trigger is activated if one pre-selected address of L1 data-cache is hammered for certain number of times. The trigger evades post-silicon test since the required number of hammering to trigger is significantly high even under process and temperature variation. Once activated, the trigger can deliver payloads to cause Bitcell Corruption (BC) and inject read error by Read Port (RP) and Local Bitline (LBL). We model the Trojan in GEM5 architectural simulator performing a privilege escalation. We propose countermeasures such as read verification leveraging multiport feature, securing control and segment registers by hashing and L1 address obfuscation.


title: The Architectural Dynamics of Encapsulated Botnet Detection (EDM)

abstract: Botnet is one of the numerous attacks ravaging the networking environment. Its approach is said to be brutal and dangerous to network infrastructures as well as client systems. Since the introduction of botnet, different design methods have been employed to solve the divergent approach but the method of taking over servers and client systems is unabated. To solve this, we first identify Mpack, ICEpack and Fiesta as enhanced IRC tool. The analysis of its role in data exchange using OSI model was carried out. This further gave the needed proposal to the development of a High level architecture representing the structural mechanism and the defensive mechanism within network server so as to control the botnet trend. Finally, the architecture was designed to respond in a proactive state when scanning and synergizing the double data verification modules in an encapsulation manner within server system.


title: SyGuS-Comp 2018: Results and Analysis

abstract: Syntax-guided synthesis (SyGuS) is the computational problem of finding an implementation $f$ that meets both a semantic constraint given by a logical formula $\phi$ in a background theory $\mathbb{T}$, and a syntactic constraint given by a grammar $G$, which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in the SyGuS input format (SyGuS-IF), a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis competition (SyGuS-Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. In the 5th SyGuS-Comp, five solvers competed on over 1600 benchmarks across various tracks. This paper presents and analyses the results of this year's (2018) SyGuS competition.


title: On the Burer-Monteiro method for general semidefinite programs

abstract: Consider a semidefinite program (SDP) involving an $n\times n$ positive semidefinite matrix $X$. The Burer-Monteiro method uses the substitution $X=Y Y^T$ to obtain a nonconvex optimization problem in terms of an $n\times p$ matrix $Y$. Boumal et al. showed that this nonconvex method provably solves equality-constrained SDPs with a generic cost matrix when $p \gtrsim \sqrt{2m}$, where $m$ is the number of constraints. In this note we extend their result to arbitrary SDPs, possibly involving inequalities or multiple semidefinite constraints. We derive similar guarantees for a fixed cost matrix and generic constraints. We illustrate applications to matrix sensing and integer quadratic minimization.


title: Parallel Hardware for Faster Morphological Analysis

abstract: Morphological analysis in the Arabic language is computationally intensive, has numerous forms and rules, and is intrinsically parallel. The investigation presented in this paper confirms that the effective development of parallel algorithms and the derivation of corresponding processors in hardware enable implementations with appealing performance characteristics. The presented developments of parallel hardware comprise the application of a variety of algorithm modelling techniques, strategies for concurrent processing, and the creation of pioneering hardware implementations that target modern programmable devices. The investigation includes the creation of a linguistic-based stemmer for Arabic verb root extraction with extended infix processing to attain high-levels of accuracy. The implementations comprise three versions, namely, software, non-pipelined processor, and pipelined processor with high throughput. The targeted systems are high-performance multi-core processors for software implementations and high-end Field Programmable Gate Array systems for hardware implementations. The investigation includes a thorough evaluation of the methodology, and performance and accuracy analyses of the developed software and hardware implementations. The pipelined processor achieved a significant speedup of 5571.4 over the software implementation. The developed stemmer for verb root extraction with infix processing attained accuracies of 87% and 90.7% for analyzing the texts of the Holy Quran and its Chapter 29 - Surat Al-Ankabut.


title: Ionic Electro active Polymer-Based Soft Actuators and Their Applications in Microfluidic Micropumps, Microvalves, and Micromixers: A Review

abstract: This paper provides a detailed review on applications of ionic electroactive polymer (i-EAP) soft actuators as active elements of microfluidic micropumps, microvalves, and micromixers. The related works that have so far been presented by various research groups in the field have been collected in this review, which in the presented comparative procedure here shows the progress of this field during the time. Microfluidic technology as a pioneer field in bioengineering needs to have some active components likes pumps, valves, and mixers to obtain efficient functionality. Most of the conventional microfluidic active components are challenging to assemble and control outside the laboratory since they need some special facilities, which is not cost-effective. This is while some of the main targets of the microfluidic devices are for the development of point of care (POC) diagnostic systems, home usability, ubiquitousness, and low-cost ability. To solve these problems, i-EAPs have shown promising features to be the proper candidates as active elements of the microfluidic devices. Ionic polymer-metal composites (IPMCs), Conducting polymer actuators (CPAs), and Ionic carbon nanotube-based actuators (i-CNTAs) are three main types of the i-EAPs. In this paper, the working principles, fabrication, and microfluidic-based applications of these three categories are described in details. To have a proper comparison between all the reported i-EAP based microfluidic devices, several important features, i.e., applied voltage/frequency, device materials, electrode material, membrane material, and the main measured index of each device, have been reviewed.


title: Variational Bayes for high-dimensional linear regression with sparse priors

abstract: We study a mean-field spike and slab variational Bayes (VB) approximation to Bayesian model selection priors in sparse high-dimensional linear regression. Under compatibility conditions on the design matrix, oracle inequalities are derived for the mean-field VB approximation, implying that it converges to the sparse truth at the optimal rate and gives optimal prediction of the response vector. The empirical performance of our algorithm is studied, showing that it works comparably well as other state-of-the-art Bayesian variable selection methods. We also numerically demonstrate that the widely used coordinate-ascent variational inference (CAVI) algorithm can be highly sensitive to the parameter updating order, leading to potentially poor performance. To mitigate this, we propose a novel prioritized updating scheme that uses a data-driven updating order and performs better in simulations. The variational algorithm is implemented in the R package 'sparsevb'.


title: More on spacetime thermodynamics in the light of Weyl transformations

abstract: It was recently found that, after performing a Weyl conformal transformation, the familiar analogy between black hole mechanics and black hole thermodynamics becomes ambiguous. It was argued that this fact can be traced back to the fundamental dichotomy between matter and geometry, which is at the heart of Einstein's field equations. As a further study of this issue, we investigate here the general link between spacetime thermodynamics and Weyl transformations from two other angles. We first examine the conformal behaviour of the horizon entropy within Wald's approach based on the fundamental diffeomorphism symmetry of $pure$ geometry. We then revisit $-$ using Weyl transformations $-$ Jacobson's derivation of Einstein's field equations, the starting point of which is precisely built on the fundamental dichotomy between matter and geometry. As a result, we show that in order for Jacobson's approach to be able to yield the right Einstein field equations in the conformal frame, a specific conformal behavior of the horizon temperature and its entropy $-$ different from what Wald's approach implies $-$ is required. The two approaches to spacetime thermodynamics become thus incompatible in the conformal frame. In addition, we show $-$ in greater detail in the conformal frame $-$ that in the presence of a null dust the thermodynamics approach for extracting Einstein's field equations necessarily fails. An extensive discussion of the whole issue is given.


title: Low-cost spectrogram based counterfeit medicine detection

abstract: Contaminated substances such as counterfeit medication and food contami-nated with pesticide residue is a pandemic of utmost urgency. Spectroscopy and chromatography methods are often used but are expensive and complex and as such a need exists for a device that can be easily operated in developing commu-nities. We present a hacked visible spectrometer based contaminated substance detector using machine learning. The Support Vector Machine (SVM), Logistic Regression, linear Regression and Convolutional Neural Network (CNN) models have been implemented and are trained on the acquired spectrum data. Our results show that a lowcost method of identifying contaminated substances is achievable with very high accuracy.


title: Copula-like Variational Inference

abstract: This paper considers a new family of variational distributions motivated by Sklar's theorem. This family is based on new copula-like densities on the hypercube with non-uniform marginals which can be sampled efficiently, i.e. with a complexity linear in the dimension of state space. Then, the proposed variational densities that we suggest can be seen as arising from these copula-like densities used as base distributions on the hypercube with Gaussian quantile functions and sparse rotation matrices as normalizing flows. The latter correspond to a rotation of the marginals with complexity $\mathcal{O}(d \log d)$. We provide some empirical evidence that such a variational family can also approximate non-Gaussian posteriors and can be beneficial compared to Gaussian approximations. Our method performs largely comparably to state-of-the-art variational approximations on standard regression and classification benchmarks for Bayesian Neural Networks.


title: Are Nearby Neighbors Relatives?: Testing Deep Music Embeddings

abstract: Deep neural networks have frequently been used to directly learn representations useful for a given task from raw input data. In terms of overall performance metrics, machine learning solutions employing deep representations frequently have been reported to greatly outperform those using hand-crafted feature representations. At the same time, they may pick up on aspects that are predominant in the data, yet not actually meaningful or interpretable. In this paper, we therefore propose a systematic way to test the trustworthiness of deep music representations, considering musical semantics. The underlying assumption is that in case a deep representation is to be trusted, distance consistency between known related points should be maintained both in the input audio space and corresponding latent deep space. We generate known related points through semantically meaningful transformations, both considering imperceptible and graver transformations. Then, we examine within- and between-space distance consistencies, both considering audio space and latent embedded space, the latter either being a result of a conventional feature extractor or a deep encoder. We illustrate how our method, as a complement to task-specific performance, provides interpretable insight into what a network may have captured from training data signals.


title: Primary beam effects of radio astronomy antennas -- II. Modelling the MeerKAT L-band beam

abstract: After a decade of design and construction, South Africa's SKA-MID precursor MeerKAT has begun its science operations. To make full use of the widefield capability of the array, it is imperative that we have an accurate model of the primary beam of its antennas. We have taken available L-band full-polarization 'astro-holographic' observations of three antennas and a generic electromagnetic simulation and created sparse representations of the beams using principal components and Zernike polynomials. The spectral behaviour of the spatial coefficients has been modelled using discrete cosine transform. We have provided the Zernike-based model over a diameter of 10 deg averaged over the beams of three antennas in an associated software tool (EIDOS) that can be useful in direction-dependent calibration and imaging. The model is more accurate for the diagonal elements of the beam Jones matrix and at lower frequencies. As we get more accurate beam measurements and simulations in the future, especially for the cross-polarization patterns, our pipeline can be used to create more accurate sparse representations of MeerKAT beams.


title: Non-vanishing cosmological constant effect in super-Poincare-invariant Universe

abstract: In \cite{AminMoc} we defined the Minkowski superspace $SM(4,4\vert \lambda, \mu)$ as the invariant of the Poincare supergroup of supertransformations, which is a solution of Killing superequations. In the present paper we use formulae of super-Riemannian geometry developed by V.~P. Akulov and D.~V. Volkov \cite{AkVolk} for calculating a superconnection and a supercurvature of Minkowski superspace. We show that the curvature of the Minkowski superspace does not vanish, and the Minkowski supermetric is the solution of the Einstein superequations, so the eight-dimensional curved super-Poincare invariant superuniverse $SM(4,4\vert \lambda, \mu)$ is supported by purely fermionic stress-energy supertensor with two real parameters $\lambda$, $\mu$, and, moreover, it has non-vanishing cosmological constant $\Lambda=12/(\lambda^2 -\mu^2)$ defined by these parameters that could mean a new look at the cosmological constant problem.


title: Development of models for nearby young stellar moving groups: creation, revision, and finalisation of the models

abstract: Lee & Song (2018, Paper 1) developed a tool for calculating Bayesian membership probability for nearby young stellar moving groups (BAMG: Bayesian Analysis of Moving Groups). The study presented the importance of careful construction of models in moving group membership assessment, using $\beta$ Pictoris moving group as a test case. In this study, we build models for all major nearby young stellar moving groups (NYMGs hereafter) through 4 stages. A set of prototype models is created using members listed in the discovery paper of each group. For each group, suggested members after the discovery of the group are used for revising these prototype models. As these additional members being incorporated, group properties of a NYMG changes, thus membership probabilities change as well. A subset of stars show consistently large membership probabilities regardless of the details of a chosen method for ingesting additional members. Utilising these members, the NYMG models are finalised. The finalised models are applied for evaluating memberships of all claimed candidate members, resulting in a list of bona fide members. The mass function of bona fide members for the entire set of NYMG members indicates that more late-M type members should be identified. In addition, some objects showing a large difference in membership probability between BAMG and BANYAN $\Sigma$ (Gagne et al. 2018b) are presented and discussed. Memberships of some planet host stars are changed, and it can have a significant influence on the estimated planetary masses.


title: Efficient Search and Elimination of Harmful Objects in Optimized QC SC-LDPC Codes

abstract: The error correction performance of low-density parity-check (LDPC) codes under iterative message-passing decoding is degraded by the presence of certain harmful objects existing in their Tanner graph representation. Depending on the context, such harmful objects are known as stopping sets, trapping sets, absorbing sets, or pseudocodewords. In this paper, we propose a general procedure based on edge spreading that enables the design of quasi-cyclic (QC) spatially coupled low-density parity-check codes (SC-LDPCCs) that are derived from QC-LDPC block codes and possess a significantly reduced multiplicity of harmful objects with respect to the original QC-LDPC block code. This procedure relies on a novel algorithm that greedily spans the search space of potential candidates to reduce the multiplicity of the target harmful object(s) in the Tanner graph. The effectiveness of the method we propose is validated via examples and numerical computer simulations.


title: Optimization for factorized quantities in perturbative QCD

abstract: Perturbative calculations of factorized physical quantities, such as moments of structure functions, suffer from renormalization- and factorization-scheme dependence. The application of the principle of minimal sensitivity to "optimize" the scheme choices is reconsidered, correcting deficiencies in the earlier literature. The proper scheme variables, RG equations, and invariants are identified. Earlier results of Nakkagawa and Niegawa are recovered, even though their starting point is, at best, unnecessarily complicated. In particular, the optimized coefficients of the coefficient function C are shown to vanish, so that C^opt=1. The resulting simplifications mean that the optimization procedure is as simple as that for purely-perturbative physical quantities.


title: Fluxon-induced losses in niobium thin-film cavities revisited

abstract: Long standing data from niobium thin film accelerating cavities will be revisited and analysed by a modified London model of RF superconductivity. Firstly, the applicability of this model is explored using data of the BCS surface resistance and its dependence on the RF magnetic field, temperature and mean free path. Secondly, the RF losses from trapped magnetic flux are analysed with regard to their dependence on these same parameters.


title: Impacts of Quantum Chemistry Calculations on Exoplanetary Science, Planetary Astronomy, and Astrophysics

abstract: Several of NASA missions (TESS, JWST, WFIRST, etc.) and mission concepts (LUVOIR, HabEx, and OST) emphasize the exploration and characterization of exoplanets, and the study of the interstellar medium. We anticipate that a much broader set of chemical environments exists on exoplanets, necessitating data from a correspondingly broader set of chemical reactions. Similarly, the conditions that exist in astrophysical environments are very different from those traditionally probed in laboratory chemical kinetics studies. These are areas where quantum mechanical theory, applied to important reactions via well-validated chemical kinetics models, can fill a critical knowledge gap. Quantum chemical calculations are also introduced to study interior of planets, photochemical escape, and many critical chemical pathways (e.g. prebiotic environments, contaminations, etc.) After years of development of the relevant quantum chemical theories and significant advances in computational power, quantum chemical simulations have currently matured enough to describe real systems with an accuracy that competes with experiments. These approaches, therefore, have become the best possible alternative in many circumstances where performing experiments is too difficult, too expensive, or too dangerous, or simply not possible. In this white paper, several existing quantum chemical studies supporting exoplanetary science, planetary astronomy, and astrophysics are described, and the potential positive impacts of improved models associated with scientific goals of missions are addressed. In the end, a few recommendations from the scientific community to strengthen related research efforts at NASA are provided.


title: Single Machine Graph Analytics on Massive Datasets Using Intel Optane DC Persistent Memory

abstract: Intel Optane DC Persistent Memory (Optane PMM) is a new kind of byte-addressable memory with higher density and lower cost than DRAM. This enables the design of affordable systems that support up to 6TB of randomly accessible memory. In this paper, we present key runtime and algorithmic principles to consider when performing graph analytics on extreme-scale graphs on large-memory platforms of this sort. To demonstrate the importance of these principles, we evaluate four existing shared-memory graph frameworks on large real-world web-crawls, using a machine with 6TB of Optane PMM. Our results show that frameworks based on the runtime and algorithmic principles advocated in this paper (i) perform significantly better than the others, and (ii) are competitive with graph analytics frameworks running on large production clusters.


title: Graph-Based Method for Anomaly Prediction in Brain Network

abstract: Resting-state functional MRI (rs-fMRI) in functional neuroimaging techniques have improved in brain disorders, dysfunction studies via mapping the topology of the brain connections, i.e. connectopic mapping. Since, there are the slight differences between healthy and unhealthy brain regions and functions, investigation into the complex topology of functional and structural brain networks in human is a complicated task with the growth of evaluation criteria. Irregular graph deep learning applications have widely spread to understanding human cognitive functions that are linked to gene expression and related distributed spatial patterns, because the neuronal networks of the brain can hold dynamically a variety of brain solutions with different activity patterns and functional connectivity, these applications might also be involved with both node-centric and graph-centric tasks. In this paper, we performed a novel approach of individual generative model and high order graph analysis for the region of interest recognition areas of the brain which do not have a normal connection during applying certain tasks. Here, we proposed a high order framework of Graph Auto-Encoder (GAE) with a hypersphere distributer for functional data analysis in brain imaging studies that is underlying non-Euclidean structure in the learning of strong non-rigid graphs among large scale data. In addition, we distinguished the possible modes of correlations in abnormal brain connections. Our finding will show the degree of correlation between the affected regions and their simultaneous occurrence over time that can be used to diagnose brain diseases or revealing the ability of the nervous system to modify in brain topology at all angles, brain plasticity, according to input stimuli.


title: Prediction of a non-Abelian fractional quantum Hall state with $f$-wave pairing of composite fermions in wide quantum wells

abstract: We theoretically investigate the nature of the state at quarter filled lowest Landau level and predict that, as the quantum well width is increased, a transition occurs from the composite fermion Fermi sea into a novel non-Abelian fractional quantum Hall state that is topologically equivalent to $f$-wave pairing of composite fermions. This state is topologically distinct from the familiar $p$-wave paired Pfaffian state. We compare our calculated phase diagram with experiments and make predictions for many observable quantities.


title: Learning to Generate Unambiguous Spatial Referring Expressions for Real-World Environments

abstract: Referring to objects in a natural and unambiguous manner is crucial for effective human-robot interaction. Previous research on learning-based referring expressions has focused primarily on comprehension tasks, while generating referring expressions is still mostly limited to rule-based methods. In this work, we propose a two-stage approach that relies on deep learning for estimating spatial relations to describe an object naturally and unambiguously with a referring expression. We compare our method to the state of the art algorithm in ambiguous environments (e.g., environments that include very similar objects with similar relationships). We show that our method generates referring expressions that people find to be more accurate ($\sim$30% better) and would prefer to use ($\sim$32% more often).


title: Voltage-tunable Majorana bound states in time-reversal symmetric bilayer quantum spin Hall hybrid systems

abstract: We investigate hybrid structures based on a bilayer quantum spin Hall system in proximity to an s-wave superconductor as a platform to mimic time-reversal symmetric topological superconductors. In this bilayer setup, the induced pairing can be of intra- or inter-layer type, and domain walls of those different types of pairing potentials host Kramers partners (time-reversal conjugate pairs) of Majorana bound states. Interestingly, we discover that such topological interfaces providing Majorana bound states can also be achieved in an otherwise homogeneous system by a spatially dependent inter-layer gate voltage. This gate voltage causes the relative electron densities of the two layers to vary accordingly which suppresses the inter-layer pairing in regions with strong gate voltage. We identify particular transport signatures (zero-bias anomalies) in a five-terminal setup that are uniquely related to the presence of Kramers pairs of Majorana bound states.


title: Construction of complex potentials for multiply connected domains

abstract: The method of reduction of a Fredholm integral equation to the linear system is generalized to construction of a complex potential --- an analytic function in an infinite multiply connected domain with a simple pole at infinity which maps the domain onto a plane with horizontal slits. We consider a locally sourceless, locally irrotational flow on an arbitrary given $n$-connected infinite domain with impermeable boundary. The complex potential has the form of a Cauchy integral with one linear and $n$ logarithmic summands. The method is easily computable.


title: Algebra extensions and derived-discrete algebras

abstract: Let $\phi\colon A\rightarrow B$ be an algebra extension. We prove that if $\phi$ is split, the derived-discreteness of $A$ implies the derived-discreteness of $B$; if $\phi$ is separable and the right $A$-module $B$ is projective, the converse holds. We prove an analogous statement for piecewise hereditary algebras.


title: Wajsberg algebras arising from binary block codes

abstract: In this paper we presented some connections between BCK-commutative bounded algebras, MV-algebras, Wajsberg algebras and binary block codes. Using connections between these three algebras, we will associate to each of them a binary block code and, in some circumstances, we will prove that the converse is also true.


title: Study of fractional Poincar\'e inequalities on unbounded domains

abstract: The central aim of this paper is to study (regional) fractional Poincar\'e type inequalities on unbounded domains satisfying the finite ball condition. Both existence and non existence type results are established depending on various conditions on domains and on the range of $s \in (0,1)$. The best constant in both regional fractional and fractional Poincar\'e inequality is characterized for strip like domains $(\omega \times \mathbb{R}^{n-1})$, and the results obtained in this direction are analogous to those of the local case. This settles one of the natural questions raised by K. Yeressian in [\textit{Asymptotic behavior of elliptic nonlocal equations set in cylinders, Asymptot. Anal. 89, (2014), no 1-2}].


title: White-Box Atomic Multicast (Extended Version)

abstract: Atomic multicast is a communication primitive that delivers messages to multiple groups of processes according to some total order, with each group receiving the projection of the total order onto messages addressed to it. To be scalable, atomic multicast needs to be genuine, meaning that only the destination processes of a message should participate in ordering it. In this paper we propose a novel genuine atomic multicast protocol that in the absence of failures takes as low as 3 message delays to deliver a message when no other messages are multicast concurrently to its destination groups, and 5 message delays in the presence of concurrency. This improves the latencies of both the fault-tolerant version of classical Skeen's multicast protocol (6 or 12 message delays, depending on concurrency) and its recent improvement by Coelho et al. (4 or 8 message delays). To achieve such low latencies, we depart from the typical way of guaranteeing fault-tolerance by replicating each group with Paxos. Instead, we weave Paxos and Skeen's protocol together into a single coherent protocol, exploiting opportunities for white-box optimisations. We experimentally demonstrate that the superior theoretical characteristics of our protocol are reflected in practical performance pay-offs.


title: Deep Iterative Surface Normal Estimation

abstract: This paper presents an end-to-end differentiable algorithm for robust and detail-preserving surface normal estimation on unstructured point-clouds. We utilize graph neural networks to iteratively parameterize an adaptive anisotropic kernel that produces point weights for weighted least-squares plane fitting in local neighborhoods. The approach retains the interpretability and efficiency of traditional sequential plane fitting while benefiting from adaptation to data set statistics through deep learning. This results in a state-of-the-art surface normal estimator that is robust to noise, outliers and point density variation, preserves sharp features through anisotropic kernels and equivariance through a local quaternion-based spatial transformer. Contrary to previous deep learning methods, the proposed approach does not require any hand-crafted features or preprocessing. It improves on the state-of-the-art results while being more than two orders of magnitude faster and more parameter efficient.


title: Propagating Residual Biases in Cosmic Shear Power Spectra

abstract: In this paper we derive a full expression for the propagation of multiplicative and additive shape measurement biases into the cosmic shear power spectrum. In doing so we identify several new terms that are associated with selection effects, as well as cross-correlation terms between the multiplicative and additive biases and the shear field. The computation of the resulting bias in the shear power spectrum scales as the fifth power of the maximum multipole considered. Consequently the calculation is unfeasible for large l-modes, and the only tractable way to assess the full impact of shape measurement biases on cosmic shear power spectrum is through forward modelling of the effects. To linear order in bias parameters the shear power spectrum is only affected by the mean of the multiplicative bias field over a survey and the cross correlation between the additive bias field and the shear field. If the mean multiplicative bias is zero then second order convolutive terms are expected to be orders of magnitude smaller.


title: The Landscape of the Planted Clique Problem: Dense subgraphs and the Overlap Gap Property

abstract: In this paper we study the computational-statistical gap of the planted clique problem, where a clique of size $k$ is planted in an Erdos Renyi graph $G(n,\frac{1}{2})$ resulting in a graph $G\left(n,\frac{1}{2},k\right)$. The goal is to recover the planted clique vertices by observing $G\left(n,\frac{1}{2},k\right)$ . It is known that the clique can be recovered as long as $k \geq \left(2+\epsilon\right)\log n $ for any $\epsilon>0$, but no polynomial-time algorithm is known for this task unless $k=\Omega\left(\sqrt{n} \right)$. Following a statistical-physics inspired point of view as an attempt to understand this computational-statistical gap, we study the landscape of the "sufficiently dense" subgraphs of $G$ and their overlap with the planted clique. Using the first moment method, we study the densest subgraph problems for subgraphs with fixed, but arbitrary, overlap size with the planted clique, and provide evidence of a phase transition for the presence of Overlap Gap Property (OGP) at $k=\Theta\left(\sqrt{n}\right)$. OGP is a concept introduced originally in spin glass theory and known to suggest algorithmic hardness when it appears. We establish the presence of OGP when $k$ is a small positive power of $n$ by using a conditional second moment method. As our main technical tool, we establish the first, to the best of our knowledge, concentration results for the $K$-densest subgraph problem for the Erdos-Renyi model $G\left(n,\frac{1}{2}\right)$ when $K=n^{0.5-\epsilon}$ for arbitrary $\epsilon>0$. Finally, to study the OGP we employ a certain form of overparametrization, which is conceptually aligned with a large body of recent work in learning theory and optimization.

categories: math.ST cs.DS cs.LG math.OC math.PR stat.TH


title: Majorana neutrinos with effective interactions in B decays

abstract: We investigate the possible contribution of Majorana neutrinos to $B$ meson decays in an effective interaction formalism, in the mass range $0.5$ GeV $<m_N<5 $ GeV. We study the decay of the $B^-$ meson via $B^- \to \mu^- \mu^- \pi^+$ at LHCb, which is a signal for leptonic number violation and the presence of Majorana neutrinos, and put bounds on different new physics contributions, characterized by their Dirac-Lorentz structure. We also study the bounds imposed by the radiative $B$ decay ($B^- \rightarrow \mu^- \nu \gamma$) results from Belle. The obtained bounds are more restrictive than previous values found for dimension 6 four-fermion contact vectorial and scalar Majorana neutrino interactions in the context of the Left-Right symmetric model for higher Majorana masses at the LHC, showing that the direct calculation of the effective $N$ interactions contribution to different processes can help to put more stringent bounds to different UV-complete models parameterized by an effective Lagrangian.


title: Generalized eigenfunctions and eigenvalues: a unifying framework for Shnol-type theorems

abstract: Let $H$ be a generalized Schr\"odinger operator on a domain of a non-compact connected Riemannian manifold, and a generalized eigenfunction $u$ for $H$: that is, $u$ satisfies the equation $Hu=\lambda u$ in the weak sense but is not necessarily in $L^2$. The problem is to find conditions on the growth of $u$, so that $\lambda$ belongs to the spectrum of $H$. We unify and generalize known results on this problem. In addition, a variety of examples is provided, illustrating the different nature of the growth conditions.