title: Time since maximum of Brownian motion and asymmetric Levy processes

abstract: Motivated by recent studies of record statistics in relation to strongly correlated time series, we consider explicitly the drawdown time of a Levy process, which is defined as the time since it last achieved its running maximum when observed over a fixed time period [0,T]. We show that the density function of this drawdown time, in the case of a completely asymmetric jump process, may be factored as a function of $t$ multiplied by a function of T-t. This extends a known result for the case of pure Brownian motion. We state the factors explicitly for the cases of exponential down-jumps with drift, and for the downward Inverse Gaussian Levy process with drift.


title: Impact of Dynamic State on the Mass Condensation Rate of Solar Prominences

abstract: The interiors of quiescent prominences are filled with turbulent flows. The evolution of upflow plumes, descending pillars, and vortex motions has been clearly detected in high-resolution observations. The Rayleigh-Taylor instability is thought to be a driver of such internal flows. Descending pillars are related to the mass budgets of prominences. There is a hypothesis of dynamic equilibrium where the mass drainage via descending pillars and the mass supply via radiative condensation are balanced to maintain the prominence mass; however, the background physics connecting the two different processes is poorly understood. In this study, we reproduced the dynamic interior of a prominence via radiative condensation and the mechanism similar to the Rayleigh-Taylor instability using a three-dimensional magnetohydrodynamic simulation including optically thin radiative cooling and nonlinear anisotropic thermal conduction. The process to prominence formation in the simulation follows the reconnection-condensation model, where topological change in the magnetic field caused by reconnection leads to radiative condensation. Reconnection is driven by converging motion at the footpoints of the coronal arcade fields. In contrast to the previous model, by randomly changing the speed of the footpoint motion along a polarity inversion line, the dynamic interior of prominence is successfully reproduced. We find that the mass condensation rate of the prominence is enhanced in the case with dynamic state. Our results support the observational hypothesis that the condensation rate is balanced with the mass drainage rate and suggest that a self-induced mass maintenance mechanism exists.


title: On $C^{1,\alpha}$-regularity for critical points of a geometric obstacle-type problem

abstract: We consider critical points of the geometric obstacle problem on vectorial maps $u: \mathbb{B}^2 \subset \mathbb{R}^2 \to \mathbb{R}^N$ \[ \int_{\mathbb{B}^2} |\nabla u|^2 \quad \mbox{subject to $u \in \mathbb{R}^N \backslash \mathbb{B}^N(0)$}. \] Our main result is $C^{1,\alpha}$-regularity for any $\alpha < 1$. Technically, we split the map $u=\lambda v$, where $v: \mathbb{B}^2 \to \mathbb{S}^{N-1}$ is the vectorial component and $\lambda = |u|$ the scalar component measuring the distance to the origin. While $v$ satisfies a weighted harmonic map equation with weight $\lambda^2$, $\lambda$ solves the obstacle problem for \[ \int_{\mathbb{B}^2} |\nabla \lambda|^2+\lambda^2 |\nabla v|^2, \quad \mbox{subject to $\lambda \geq 1$}. \] where $|\nabla v|^2 \in L^1(\mathbb{B}^2)$. We then play ping-pong between the increases in the regularity of $\lambda$ and $v$ to obtain finally the $C^{1,\alpha}$-result.


title: Towards Adversarial Malware Detection: Lessons Learned from PDF-based Attacks

abstract: Malware still constitutes a major threat in the cybersecurity landscape, also due to the widespread use of infection vectors such as documents. These infection vectors hide embedded malicious code to the victim users, facilitating the use of social engineering techniques to infect their machines. Research showed that machine-learning algorithms provide effective detection mechanisms against such threats, but the existence of an arms race in adversarial settings has recently challenged such systems. In this work, we focus on malware embedded in PDF files as a representative case of such an arms race. We start by providing a comprehensive taxonomy of the different approaches used to generate PDF malware, and of the corresponding learning-based detection systems. We then categorize threats specifically targeted against learning-based PDF malware detectors, using a well-established framework in the field of adversarial machine learning. This framework allows us to categorize known vulnerabilities of learning-based PDF malware detectors and to identify novel attacks that may threaten such systems, along with the potential defense mechanisms that can mitigate the impact of such threats. We conclude the paper by discussing how such findings highlight promising research directions towards tackling the more general challenge of designing robust malware detectors in adversarial settings.


title: Modifying the theory of gravity by changing independent variables

abstract: We study some particular modifications of gravity in search for a natural way to unify the gravitational and electromagnetic interaction. The certain components of connection in the appearing variants of the theory can be identified with electromagnetic potential. The methods of adding matter in the form of scalar and spinor fields are studied. In particular, the expansion of the local symmetry group up to $GL(2,C)$ is explored, in which equations of Einstein, Maxwell and Dirac are reproduced for the theory with Weyl spinor.


title: Poynting effect of brain matter in torsion

abstract: We investigate experimentally and model theoretically the mechanical behaviour of brain matter in torsion. Using a strain-controlled rheometer we perform torsion tests on fresh porcine brain samples. We quantify the torque and the normal force required to twist a cylindrical sample at constant twist rate. Data fitting gives a mean value for the shear modulus {\mu} = 900 $\pm$ 312 Pa and for the second Mooney-Rivlin parameter $c_2$ = 297 $\pm$ 189 Pa, indicative of extreme softness. Our results show that brain always displays a positive Poynting effect; in other words, it expands in the direction perpendicular to the plane of twisting. We validate the experiments with Finite Element simulations and show that when a human head experiences a twisting motion in the horizontal plane, the brain can experience large forces in the axial direction.


title: Worst-Case Efficient Sorting with QuickMergesort

abstract: The two most prominent solutions for the sorting problem are Quicksort and Mergesort. While Quicksort is very fast on average, Mergesort additionally gives worst-case guarantees, but needs extra space for a linear number of elements. Worst-case efficient in-place sorting, however, remains a challenge: the standard solution, Heapsort, suffers from a bad cache behavior and is also not overly fast for in-cache instances. In this work we present median-of-medians QuickMergesort (MoMQuickMergesort), a new variant of QuickMergesort, which combines Quicksort with Mergesort allowing the latter to be implemented in place. Our new variant applies the median-of-medians algorithm for selecting pivots in order to circumvent the quadratic worst case. Indeed, we show that it uses at most $n \log n + 1.6n$ comparisons for $n$ large enough. We experimentally confirm the theoretical estimates and show that the new algorithm outperforms Heapsort by far and is only around 10% slower than Introsort (std::sort implementation of stdlibc++), which has a rather poor guarantee for the worst case. We also simulate the worst case, which is only around 10% slower than the average case. In particular, the new algorithm is a natural candidate to replace Heapsort as a worst-case stopper in Introsort.


title: Arbitrary Pattern Formation on Infinite Grid by Asynchronous Oblivious Robots

abstract: The Arbitrary Pattern Formation problem asks to design a distributed algorithm that allows a set of autonomous mobile robots to form any specific but arbitrary geometric pattern given as input. The problem has been extensively studied in literature in continuous domains. This paper investigates a discrete version of the problem where the robots are operating on a two dimensional infinite grid. The robots are assumed to be autonomous, identical, anonymous and oblivious. They operate in Look-Compute-Move cycles under a fully asynchronous scheduler. The robots do not agree on any common global coordinate system or chirality. We have shown that a set of robots can form any arbitrary pattern, if their starting configuration is asymmetric.


title: Dispersive Dynamics in the Characteristic Moving Frame

abstract: A mechanism for dispersion to automatically arise from the dispersionless Whitham Modulation equations (WMEs) is presented, relying on the use of a moving frame. The speed of this is chosen to be one of the characteristics which emerge from the linearisation of the Whitham system, and assuming these are real (and thus the WMEs are hyperbolic) morphs the WMEs into the Korteweg - de Vries (KdV) equation in the boosted co-ordinate. Strikingly, the coefficients of the KdV equation are universal, in the sense that they are determined by abstract properties of the original Lagrangian density. Two illustrative examples of the theory are given to illustrate how the KdV may be constructed in practice. The first being a revisitation of the derivation of the KdV equation from shallow water flows, to highlight how the theory of this paper fits into the existing literature. The second is a complex Klein-Gordon system, providing a case where the KdV equation may only arise with a moving frame.


title: Multi-Kernel Regression with Sparsity Constraint

abstract: In this paper, we provide a Banach-space formulation of supervised learning with generalized total-variation (gTV) regularization. We identify the class of kernel functions that are admissible in this framework. Then, we propose a variation of supervised learning in a continuous-domain hybrid search space with gTV regularization. We show that the solution admits a multi-kernel expansion with adaptive positions. In this representation, the number of active kernels is upper-bounded by the number of data points while the gTV regularization imposes an $\ell_1$ penalty on the kernel coefficients. Finally, we illustrate numerically the outcome of our theory.


title: Kurtosis of elliptic flow fluctuations

abstract: Elliptic flow ($v_2$) in ultrarelativistic nucleus-nucleus collisions fluctuates event to event, both in magnitude and in orientation with respect to the reaction plane. Even though the reaction plane is not known event to event in experiment, we show that the statistical properties of $v_2$ fluctuations in the reaction plane can be precisely extracted from experimental data. Previous studies have shown how to measure the mean, variance and skewness using the first three cumulants $v_2\{2\}$, $v_2\{4\}$ and $v_2\{6\}$. We complement these studies by providing a formula for the kurtosis, which requires an accurate determination of the next cumulant $v_2\{8\}$. Using existing data, we show that the kurtosis is positive for most centralities, in contrast with the kurtosis of triangular flow fluctuations, which is negative. We argue that these features are robust predictions of fluid-dynamical models.


title: Millimeter line observations toward four local galaxies

abstract: We present results of millimeter line observations toward four local gas-rich galaxies (NGC 3079, NGC 4258, NGC 6240 and VII Zw 31) with the IRAM 30 meter millimeter telescope. More than 33 lines in these four sources were detected, including normal dense gas tracers (HCN 1-0, HCO$^+$ 1-0, and C$_2$H 1-0, etc) and their isotopic species. H$^{13}$CN (1-0) and H$^{13}$CO$^+$ (1-0) are detected for the first time in NGC 4258. Optical depths of HCN 1-0 and HCO$^{+}$ 1-0 were estimated with detected isotopic lines in NGC 4258, which were 4.1 and 2.6, respectively. HC$_3$N $J=29-28$, which requires high volume density and high temperature to excite, was detected in NGC 6240. High ratios of HCO$^+$/HCN in NGC 4258 and NGC 6240 imply that this ratio might not be a perfect diagnostic tool between AGN and starburst environments, due to contamination/combination of both processes. The low HC$_3$N/HCN line ratios with less than 0.15 in NGC 4258, NGC 6240 and the non-detection of HC$_3$N line in NGC 3079 and VII Zw 31 indicates that these four galaxies are HC$_3$N-poor galaxies. The variation of fractional abundance of CN in different types of galaxies is large.


title: ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation

abstract: Directed graphs have been widely used in Community Question Answering services (CQAs) to model asymmetric relationships among different types of nodes in CQA graphs, e.g., question, answer, user. Asymmetric transitivity is an essential property of directed graphs, since it can play an important role in downstream graph inference and analysis. Question difficulty and user expertise follow the characteristic of asymmetric transitivity. Maintaining such properties, while reducing the graph to a lower dimensional vector embedding space, has been the focus of much recent research. In this paper, we tackle the challenge of directed graph embedding with asymmetric transitivity preservation and then leverage the proposed embedding method to solve a fundamental task in CQAs: how to appropriately route and assign newly posted questions to users with the suitable expertise and interest in CQAs. The technique incorporates graph hierarchy and reachability information naturally by relying on a non-linear transformation that operates on the core reachability and implicit hierarchy within such graphs. Subsequently, the methodology levers a factorization-based approach to generate two embedding vectors for each node within the graph, to capture the asymmetric transitivity. Extensive experiments show that our framework consistently and significantly outperforms the state-of-the-art baselines on two diverse real-world tasks: link prediction, and question difficulty estimation and expert finding in online forums like Stack Exchange. Particularly, our framework can support inductive embedding learning for newly posted questions (unseen nodes during training), and therefore can properly route and assign these kinds of questions to experts in CQAs.


title: Nonadiabatic holonomic quantum computation with Rydberg superatoms

abstract: Nonadiabatic holonomic quantum computation has received increasing attention due to its robustness against control errors as well as high-speed realization. Several schemes of its implementation have been put forward based on various physical systems, each of which has some particular merits. In this paper, we put forward an alternative scheme of nonadiabatic holonomic quantum computation, in which a universal set of quantum gates is realized based on Rydberg superatoms. A Rydberg superatom is a mesoscopic atomic ensemble that allows for only a single Rydberg excitation shared by many atoms within a blockade radius and can be used to generate the collective states to encode the qubits. In our scheme, the qubit is encoded into two collective ground states of Rydberg superatoms and the interaction between two long-range Rydberg superatoms is mediated by a microwave cavity with the aid of two additional collective Rydberg states. Different from the previous schemes,which are based on the systems in the microscope scale, the present scheme is based on atomic ensembles in the mesoscopic scale. Besides the common merits of nonadiabatic holonomic quantum computation such as the robustness and the speediness, the Rydberg-superatom-based scheme has the following particular merits: the long coherence time of Rydberg states and the operability of the mesoscopic systems.


title: Extreme cavity expansion in soft solids: damage without fracture

abstract: Cavitation is a common damage mechanism in soft solids. Here, we study this using a phase-separation technique in stretched, elastic solids to controllably nucleate and grow small cavities by several orders of magnitude. The ability to make stable cavities of different sizes, as well as the huge range of accessible strains, allows us to systematically study the early stages of cavity expansion. Cavities grow in a scale-free manner, accompanied by irreversible bond breakage that is distributed around the growing cavity, rather than being localized to a crack tip. Furthermore, cavities appear to grow at constant driving pressure. This has strong analogies with the plasticity that occurs surrounding a growing void in ductile metals. In particular we find that, although elastomers are normally considered as brittle materials, small-scale cavity expansion is more like a ductile process. Our results have broad implications for understanding and controlling failure in soft solids.


title: Weighted infinitesimal unitary bialgebras on matrix algebras and weighted associative Yang-Baxter equations

abstract: We equip a matrix algebra with a weighted infinitesimal unitary bialgebraic structure, via a construction of a suitable coproduct. Furthermore, an infinitesimal unitary Hopf algebra, under the view of Aguiar, is constructed on a matrix algebra. By exploring the relationship between weighted infinitesimal bialgebras and pre-Lie algebras, we construct a pre-Lie algebraic structure and then a new Lie algebraic structure on a matrix algebra. We also introduce the weighted associative Yang-Baxter equations (AYBEs) and obtain the relationship between solutions of weighted AYBEs and weighted infinitesimal unitary bialgebras. We give a bijection between the solutions of the associative Yang-Baxter equation of weight $\lambda$ and Rota-Baxter operators of weight $-\lambda$ on matrix algebras. As a consequence, weighted quasitriangular infinitesimal unitary bialgebras are constructed, which generalize the results studied by Aguiar. Finally, We show that any weighted quasitriangular infinitesimal unitary bialgebra can be made into a dendriform algebra.


title: On memory effect in modified gravity theories

abstract: In this note, we discuss the gravitational memory effect in higher derivative and infinite derivative gravity theories and give the detailed relevant calculations whose results were given in our recent works. We show that the memory effect in higher derivative gravity takes the same form as in pure GR at large distances, whereas at small distances, the results are different. We also demonstrated that, in infinite derivative gravity, the memory is reduced via error function as compared to Einstein's gravity. For the lower bound on the mass scale of non-locality, the memory is essentially reproduces the usual GR result at distances above at very small distances.


title: The multicolour size-Ramsey number of powers of paths

abstract: Given a positive integer $s$, a graph $G$ is $s$-Ramsey for a graph $H$, denoted $G\rightarrow (H)_s$, if every $s$-colouring of the edges of $G$ contains a monochromatic copy of $H$. The $s$-colour size-Ramsey number ${\hat{r}}_s(H)$ of a graph $H$ is defined to be ${\hat{r}}_s(H)=\min\{|E(G)|\colon G\rightarrow (H)_s\}$. We prove that, for all positive integers $k$ and $s$, we have ${\hat{r}}_s(P_n^k)=O(n)$, where $P_n^k$ is the $k$th power of the $n$-vertex path $P_n$.


title: Combining Long Short Term Memory and Convolutional Neural Network for Cross-Sentence n-ary Relation Extraction

abstract: We propose in this paper a combined model of Long Short Term Memory and Convolutional Neural Networks (LSTM-CNN) that exploits word embeddings and positional embeddings for cross-sentence n-ary relation extraction. The proposed model brings together the properties of both LSTMs and CNNs, to simultaneously exploit long-range sequential information and capture most informative features, essential for cross-sentence n-ary relation extraction. The LSTM-CNN model is evaluated on standard dataset on cross-sentence n-ary relation extraction, where it significantly outperforms baselines such as CNNs, LSTMs and also a combined CNN-LSTM model. The paper also shows that the LSTM-CNN model outperforms the current state-of-the-art methods on cross-sentence n-ary relation extraction.


title: Heterogeneity Aware Deep Embedding for Mobile Periocular Recognition

abstract: Mobile biometric approaches provide the convenience of secure authentication with an omnipresent technology. However, this brings an additional challenge of recognizing biometric patterns in unconstrained environment including variations in mobile camera sensors, illumination conditions, and capture distance. To address the heterogeneous challenge, this research presents a novel heterogeneity aware loss function within a deep learning framework. The effectiveness of the proposed loss function is evaluated for periocular biometrics using the CSIP, IMP and VISOB mobile periocular databases. The results show that the proposed algorithm yields state-of-the-art results in a heterogeneous environment and improves generalizability for cross-database experiments.


title: Effect of Inner Lindblad Resonance on Spiral Density Waves Propagation in Disc Galaxies: Reflection over Absorption

abstract: Interaction of spiral density waves with stars in the vicinity of the inner Lindblad resonance in galactic discs is investigated using the linear perturbation theory and the leading orders in the epicyclic and WKB approximations. In analogy with shear flows in hydrodynamics, we conjecture that a weak nonlinearity in a narrow resonance region modifies the standard (Landau-Lin) bypass rule of the singularity to the integration in the principal value sense. This indeed leads to the reflection of the spiral wave instead of absorption, but the detailed picture looks awkward: the intervals of the wave weakening alternate with the intervals of the wave growth, so that the net absorption is absent. Incidentally, we rectify the result concerning leading spiral waves obtained earlier for the standard bypass rule.


title: Single-Spin Relaxation in a Synthetic Spin-Orbit Field

abstract: Strong magnetic field gradients can produce a synthetic spin-orbit interaction that allows for high fidelity electrical control of single electron spins. We investigate how a field gradient impacts the spin relaxation time T_1 by measuring T_1 as a function of magnetic field B in silicon. The interplay of charge noise, magnetic field gradients, phonons, and conduction band valleys leads to a maximum relaxation time of 160 ms at low field, a strong spin-valley relaxation hotspot at intermediate fields, and a B^4 scaling at high fields. T_1 is found to decrease with lattice temperature T_lat as well as with added electrical noise. In comparison, samples without micromagnets have a significantly longer T_1. Optimization of the micromagnet design, combined with reductions in charge noise and electron temperature, may further extend T_1 in devices with large magnetic field gradients.


title: Algorithms for screening of Cervical Cancer: A chronological review

abstract: There are various algorithms and methodologies used for automated screening of cervical cancer by segmenting and classifying cervical cancer cells into different categories. This study presents a critical review of different research papers published that integrated AI methods in screening cervical cancer via different approaches analyzed in terms of typical metrics like dataset size, drawbacks, accuracy etc. An attempt has been made to furnish the reader with an insight of Machine Learning algorithms like SVM (Support Vector Machines), GLCM (Gray Level Co-occurrence Matrix), k-NN (k-Nearest Neighbours), MARS (Multivariate Adaptive Regression Splines), CNNs (Convolutional Neural Networks), spatial fuzzy clustering algorithms, PNNs (Probabilistic Neural Networks), Genetic Algorithm, RFT (Random Forest Trees), C5.0, CART (Classification and Regression Trees) and Hierarchical clustering algorithm for feature extraction, cell segmentation and classification. This paper also covers the publicly available datasets related to cervical cancer. It presents a holistic review on the computational methods that have evolved over the period of time, in chronological order in detection of malignant cells.


title: A numerical comparison of solvers for large-scale, continuous-time algebraic Riccati equations and LQR problems

abstract: In this paper, we discuss numerical methods for solving large-scale continuous-time algebraic Riccati equations. These methods have been the focus of intensive research in recent years, and significant progress has been made in both the theoretical understanding and efficient implementation of various competing algorithms. There are several goals of this manuscript: first, to gather in one place an overview of different approaches for solving large-scale Riccati equations, and to point to the recent advances in each of them. Second, to analyze and compare the main computational ingredients of these algorithms, to detect their strong points and their potential bottlenecks. And finally, to compare the effective implementations of all methods on a set of relevant benchmark examples, giving an indication of their relative performance.


title: Recent advancements in the EST project

abstract: The European Solar Telescope (EST) is a project of a new-generation solar telescope. It has a large aperture of 4~m, which is necessary for achieving high spatial and temporal resolution. The high polarimetric sensitivity of the EST will allow to measure the magnetic field in the solar atmosphere with unprecedented precision. Here, we summarise the recent advancements in the realisation of the EST project regarding the hardware development and the refinement of the science requirements.


title: Understanding Deep Neural Networks Using Topological Data Analysis

abstract: Deep neural networks (DNN) are black box algorithms. They are trained using a gradient descent back propagation technique which trains weights in each layer for the sole goal of minimizing training error. Hence, the resulting weights cannot be directly explained. Using Topological Data Analysis (TDA) we can get an insight on how the neural network is thinking, specifically by analyzing the activation values of validation images as they pass through each layer.


title: Effect of a realistic three-body force on the spectra of medium-mass hypernuclei

abstract: We adopt the Hartree-Fock (HF) method in the proton-neutron-$\Lambda$ (p-n-$\Lambda$) formalism and the nucleon-$\Lambda$ Tamm-Dancoff Approximation (N$\Lambda$ TDA) to study the energy spectra of medium-mass hypernuclei. The formalism is developed for a potential derived from effective field theories which includes explicitly the 3-body $NNN$ forces plus the $YN$ LO potential. The energy spectra of selected medium-mass hypernuclei are presented and their properties discussed. The present calculation is the first step of a project devoted to {\it ab initio} studies of hypernuclei in medium and heavy mass regions. This may provide a guide for a better understanding of the $YN$ interactions at momentum scales not accessible in few-body hypernuclei.


title: Improving Information Retrieval Results for Persian Documents using FarsNet

abstract: In this paper, we propose a new method for query expansion, which uses FarsNet (Persian WordNet) to find similar tokens related to the query and expand the semantic meaning of the query. For this purpose, we use synonymy relations in FarsNet and extract the related synonyms to query words. This algorithm is used to enhance information retrieval systems and improve search results. The overall evaluation of this system in comparison to the baseline method (without using query expansion) shows an improvement of about 9 percent in Mean Average Precision (MAP).


abstract: The problem of session-based recommendation aims to predict user actions based on anonymous sessions. Previous methods model a session as a sequence and estimate user representations besides item representations to make recommendations. Though achieved promising results, they are insufficient to obtain accurate user vectors in sessions and neglect complex transitions of items. To obtain accurate item embedding and take complex transitions of items into account, we propose a novel method, i.e. Session-based Recommendation with Graph Neural Networks, SR-GNN for brevity. In the proposed method, session sequences are modeled as graph-structured data. Based on the session graph, GNN can capture complex transitions of items, which are difficult to be revealed by previous conventional sequential methods. Each session is then represented as the composition of the global preference and the current interest of that session using an attention network. Extensive experiments conducted on two real datasets show that SR-GNN evidently outperforms the state-of-the-art session-based recommendation methods consistently.


title: Almost equal summands in Waring's problem with shifts

abstract: A result of Wright from 1937 shows that there are arbitrarily large natural numbers which cannot be represented as sums of $s$ $k$th powers of natural numbers which are constrained to lie within a narrow region. We show that the analogue of this result holds in the shifted version of Waring's problem.


title: Normally ordered forms of powers of differential operators and their combinatorics

abstract: We investigate the combinatorics of the general formulas for the powers of the operator $h \partial^k$, where $h$ is a central element of a ring and $\partial$ is a differential operator. This generalizes previous work on the powers of operators $h \partial$. New formulas for the generalized Stirling numbers are obtained.


title: Discovering the manifold facets of a square integrable representation: from coherent states to open systems

abstract: Group representations play a central role in theoretical physics. In particular, in quantum mechanics unitary --- or, in general, projective unitary --- representations implement the action of an abstract symmetry group on physical states and observables. More specifically, a major role is played by the so-called square integrable representations. Indeed, the properties of these representations are fundamental in the definition of certain families of generalized coherent states, in the phase-space formulation of quantum mechanics and the associated star product formalism, in the definition of an interesting notion of function of quantum positive type, and in some recent applications to the theory of open quantum systems and to quantum information.


title: Pointwise vanishing velocity helicity of a flow does not preclude magnetic field generation

abstract: Pointwise zero velocity helicity density is shown not to prevent steady flows from acting as kinematic dynamos. We present numerical evidences that such flows can generate both small-scale magnetic fields as well as, by the magnetic $\alpha$-effect or negative eddy diffusivity mechanisms, large-scale ones. The flows are constructed as curls of analytically defined space-periodic steady solenoidal flows, whose vorticity helicity (i.e., kinetic helicity) density is everywhere zero.


title: Non-Topological Solitons in $3+1$ Dimensions

abstract: The paper, classically, presents a special stable non-topological solitary wave packet solution in $3+1$ dimensions for an extended complex non-linear Klein-Gordon (CNKG) field system. The rest energy of this special solution is minimum among other (close) solutions i.e. it is a soliton solution. The equation of motion and other properties for this special stable solution are reduced to the same original known CNKG system.


title: Relative Intensity Noise in a Multi-Stokes Brillouin Laser

abstract: We investigate the Relative Intensity Noise (RIN) properties of a multi-Stokes Brillouin fiber ring laser. We experimentally analyse intensity noise of each Stokes waves and study the noise dynamics of the cascaded Brillouin scattering process. We observe up to 20 dB/Hz intensity noise reduction compared to that of the RIN input pump laser. We examine the impact of the fiber ring quality factor on the laser RIN features such as amplitude reduction and relaxation frequency. A numerical model based on a set of coupled-mode equations replicate the experimental observations; confirming the class B like behavior of a multi-Stokes Brillouin laser. Our study enables to determine the optimal parameter values to operate the multi-Stokes laser in the low noise regime.


title: Constraining the potential liquid water environment at Gale crater, Mars

abstract: The Mars Science Laboratory (MSL) Rover Environmental Monitoring Station (REMS) has now made continuous in-situ meteorological measurements for several martian years at Gale crater, Mars. Of importance in the search for liquid formation are REMS' measurements of ground temperature and in-air measurements of temperature and relative humidity, which is with respect to ice. Such data can constrain the surface and subsurface stability of brines. Here we use updated calibrations to REMS data and consistent relative humidity comparisons (i.e., w.r.t. liquid vs w.r.t. ice) to investigate the potential formation of surface and subsurface liquids throughout MSL's traverse. We specifically study the potential for the deliquescence of calcium perchlorate. Our data analysis suggests that surface brine formation is not favored within the first 1648 sols as there are only two times (sols 1232 and 1311) when humidity-temperature conditions were within error consistent with a liquid phase. On the other hand, modeling of the subsurface environment would support brine production in the shallow subsurface. Indeed, we find that the shallow subsurface for terrains with low thermal inertia ($\Gamma\lesssim 300$ J m$^{-2}$ K$^{-1}$ s$^{-1/2}$) may be occasionally favorable to brine formation through deliquescence. Terrains with $\Gamma\lesssim175$ J m$^{-2}$ K$^{-1}$ s$^{-1/2}$ and albedos of $\gtrsim0.25$ are the most apt to subsurface brine formation. Should brines form, they would occur around Ls 100$^{\circ}$. Their predicted properties would not meet the Special nor Uncertain Region requirements, as such they would not be potential habitable environments to life as we know it.


title: Principled Design and Implementation of Steerable Detectors

abstract: We provide a complete pipeline for the detection of patterns of interest in an image. In our approach, the patterns are assumed to be adequately modeled by a known template, and are located at unknown positions and orientations that we aim at retrieving. We propose a continuous-domain additive image model, where the analyzed image is the sum of the patterns to localize and a background with self-similar isotropic power-spectrum. We are then able to compute the optimal filter fulfilling the SNR criterion based on one single template and background pair: it strongly responds to the template while being optimally decoupled from the background model. In addition, we constrain our filter to be steerable, which allows for a fast template detection together with orientation estimation. In practice, the implementation requires to discretize a continuous-domain formulation on polar grids, which is performed using quadratic radial B-splines. We demonstrate the practical usefulness of our method on a variety of template approximation and pattern detection experiments. We show that the detection performance drastically improves when we exploit the statistics of the background via its power-spectrum decay, which we refer to as spectral-shaping. The proposed scheme outperforms state-of-the-art steerable methods by up to 50% of absolute detection performance.


title: The Fundamental Physics of Angular Momentum Evolution in a {\Lambda}CDM Scenario

abstract: Galaxy formation is a very complex process in which many different physical mechanisms intervene. Within the LCDM paradigm processes such as gas inflows and outflows, mergers and interactions contribute to the redistribution of the angular momentum content of the structures. Recent observational results have brought new insights and also triggered several theoretical studies. Some of these new contributions will be analysed here.


title: Noncollinear spin density of an adatom on a magnetic surface

abstract: We show that an individual adatom on a magnetic surface can exhibit a noncollinear spin density. Using density functional theory we study Co and Ir adatoms on a Mn monolayer on the W(110) surface which possesses a noncollinear canted spin structure. Due to hybridization with the nearest and next-nearest Mn atoms of the monolayer the spin direction of the underlying substrate is encoded into the orbitals of the adatom. This explains recent scanning tunneling microscopy experiments showing a spin sensitive shape asymmetry of adatoms [Serrate \emph{et al.}, Phys. Rev. B \textbf{93}, 125424 (2016)] which confirms the intra-atomic noncollinear magnetism of the adatoms.


title: Efficient Neural Network Robustness Certification with General Activation Functions

abstract: Finding minimum distortion of adversarial examples and thus certifying robustness in neural network classifiers for given data points is known to be a challenging problem. Nevertheless, recently it has been shown to be possible to give a non-trivial certified lower bound of minimum adversarial distortion, and some recent progress has been made towards this direction by exploiting the piece-wise linear nature of ReLU activations. However, a generic robustness certification for general activation functions still remains largely unexplored. To address this issue, in this paper we introduce CROWN, a general framework to certify robustness of neural networks with general activation functions for given input data points. The novelty in our algorithm consists of bounding a given activation function with linear and quadratic functions, hence allowing it to tackle general activation functions including but not limited to four popular choices: ReLU, tanh, sigmoid and arctan. In addition, we facilitate the search for a tighter certified lower bound by adaptively selecting appropriate surrogates for each neuron activation. Experimental results show that CROWN on ReLU networks can notably improve the certified lower bounds compared to the current state-of-the-art algorithm Fast-Lin, while having comparable computational efficiency. Furthermore, CROWN also demonstrates its effectiveness and flexibility on networks with general activation functions, including tanh, sigmoid and arctan.


title: Ferromagnetic ordering of linearly coordinated Co ions in LiSr$_2$[CoN$_2$]

abstract: LiSr$_2$[CoN$_2$] single crystals were successfully grown out of Li-rich flux. Temperature- and field-dependent measurements of the magnetization in the range of $T = 2 - 300$ K and up to $\mu_{0}\textit{H} = 7$ T as well as measurements of the heat capacity are presented. Ferromagnetic ordering emerges below $T_C = 44$ K and comparatively large coercivity fields of $\mu_0H = 0.3$ T as well as pronounced anisotropy are observed upon cooling. Polycrystalline samples of the Ca analog LiCa$_2$[CoN$_2$] were obtained and investigated in a similar way. In both compounds Co manifests orbital contributions to the magnetic moment and large single-ion anisotropy that is caused by second-order Spin-orbit coupling. Quantum chemistry calculations reveal a magnetic anisotropy energy of 7 meV, twice as large as the values reported for similar Co $d^{8}$ systems.


title: Spatially Separated Self-Assembled Silver Dendrites for Highly Sensitive SERS Applications

abstract: Even after more than four decades of rapid-pace advances, the adoption of Surface-Enhanced Raman Scattering (SERS) remains limited, due to the difficulties in fabrication of effective and affordable nanostructured surfaces or templates. From this point-of-view, self-assembly techniques of SERS substrates formation allowing fabrication of highly branched dendritic silver nanostructures, which are very promising for biosensor applications. However, these techniques suffer from the lack of control over the resulting structures. Herein, we propose an electroless wet-chemical approach for highly reproducible fabrication of spatially separated plasmonic active silver dendrites in a porous matrix of Si/SiO2 template via controlled self-assembly of silver in a limited volume. The proposed approach allows fabrication of spatially separated silver dendrites with sub-10-nm gaps between neighboring branches, which possessing strong electric field enhancement in a wide spectral range. The fabricated silver dendritic structures enable a SERS enhancement factor of ~10^8 and the analyte detection limit of ~10^(-15) M, which is at the level of single molecule sensitivity. The comparison of simulation results with SERS experiments allows to distinguish the presence of electromagnetic and chemical contributions, which have a different effect at various analyte concentrations.


title: Comparison of Classification Algorithms Used Medical Documents Categorization

abstract: Volume of text based documents have been increasing day by day. Medical documents are located within this growing text documents. In this study, the techniques used for text classification applied on medical documents and evaluated classification performance. Used data sets are multi class and multi labelled. Chi Square (CHI) technique was used for feature selection also SMO, NB, C4.5, RF and KNN algorithms was used for classification. The aim of this study, success of various classifiers is evaluated on multi class and multi label data sets consisting of medical documents. The first 400 features, while the most successful in the KNN classifier, feature number 400 and after the SMO has become the most successful classifier.


title: Swift observations of the dwarf nova ASASSN-18fs

abstract: The All Sky Automated Survey for SuperNovae (ASAS-SN) reported a possible Galactic dwarf nova ASASSN-18fs on 2018 March 19 at $\sim$13.2 mag in the V band, with a quiescent magnitude of V$>$17.6. Here we report on the follow-up photometry using the {\it Neil Gehrels Swift Observatory}.


title: Classification of Findings with Localized Lesions in Fundoscopic Images using a Regionally Guided CNN

abstract: Fundoscopic images are often investigated by ophthalmologists to spot abnormal lesions to make diagnoses. Recent successes of convolutional neural networks are confined to diagnoses of few diseases without proper localization of lesion. In this paper, we propose an efficient annotation method for localizing lesions and a CNN architecture that can classify an individual finding and localize the lesions at the same time. Also, we introduce a new loss function to guide the network to learn meaningful patterns with the guidance of the regional annotations. In experiments, we demonstrate that our network performed better than the widely used network and the guidance loss helps achieve higher AUROC up to 4.1% and superior localization capability.


title: Stochastic turbulence modeling in RANS simulations via Multilevel Monte Carlo

abstract: A multilevel Monte Carlo (MLMC) method for quantifying model-form uncertainties associated with the Reynolds-Averaged Navier-Stokes (RANS) simulations is presented. Two, high-dimensional, stochastic extensions of the RANS equations are considered to demonstrate the applicability of the MLMC method. The first approach is based on global perturbation of the baseline eddy viscosity field using a lognormal random field. A more general second extension is considered based on the work of [Xiao et al.(2017)], where the entire Reynolds Stress Tensor (RST) is perturbed while maintaining realizability. For two fundamental flows, we show that the MLMC method based on a hierarchy of meshes is asymptotically faster than plain Monte Carlo. Additionally, we demonstrate that for some flows an optimal multilevel estimator can be obtained for which the cost scales with the same order as a single CFD solve on the finest grid level.


title: ADEPOS: Anomaly Detection based Power Saving for Predictive Maintenance using Edge Computing

abstract: In industry 4.0, predictive maintenance(PM) is one of the most important applications pertaining to the Internet of Things(IoT). Machine learning is used to predict the possible failure of a machine before the actual event occurs. However, the main challenges in PM are (a) lack of enough data from failing machines, and (b) paucity of power and bandwidth to transmit sensor data to cloud throughout the lifetime of the machine. Alternatively, edge computing approaches reduce data transmission and consume low energy. In this paper, we propose Anomaly Detection based Power Saving(ADEPOS) scheme using approximate computing through the lifetime of the machine. In the beginning of the machines life, low accuracy computations are used when the machine is healthy. However, on the detection of anomalies, as time progresses, the system is switched to higher accuracy modes. We show using the NASA bearing dataset that using ADEPOS, we need 8.8X less neurons on average and based on post-layout results, the resultant energy savings are 6.4 to 6.65X


title: A Direct Imaging Method for Half-Space Inverse Elastic Scattering Problems

abstract: We propose a direct imaging method based on the reverse time migration to reconstruct extended obstacles in the half space with finite aperture elastic scattering data at a fixed frequency. We prove the resolution of the reconstruction method in terms of the aperture and the depth of the obstacle embedded in the half space. The resolution analysis is studied by virtue of the point spread function and implies that the imaginary part of the cross-correlation imaging function always peaks on the upper boundary of the obstacle. Numerical examples are included to illustrate the effectiveness of the method.


title: Quantum Structures in Human Decision-making: Towards Quantum Expected Utility

abstract: {\it Ellsberg thought experiments} and empirical confirmation of Ellsberg preferences pose serious challenges to {\it subjective expected utility theory} (SEUT). We have recently elaborated a quantum-theoretic framework for human decisions under uncertainty which satisfactorily copes with the Ellsberg paradox and other puzzles of SEUT. We apply here the quantum-theoretic framework to the {\it Ellsberg two-urn example}, showing that the paradox can be explained by assuming a state change of the conceptual entity that is the object of the decision ({\it decision-making}, or {\it DM}, {\it entity}) and representing subjective probabilities by quantum probabilities. We also model the empirical data we collected in a DM test on human participants within the theoretic framework above. The obtained results are relevant, as they provide a line to model real life, e.g., financial and medical, decisions that show the same empirical patterns as the two-urn experiment.

categories: cs.AI econ.GN q-bio.NC q-fin.EC quant-ph


title: Mind in the Machine: Perceived Minds Induce Decision Change

abstract: Recent research on human robot interaction explored whether people's tendency to conform to others extends to artificial agents (Hertz & Wiese, 2016). However, little is known about to what extent perception of a robot as having a mind affects people's decisions. Grounded on the theory of mind perception, the current study proposes that artificial agents can induce decision change to the extent in which individuals perceive them as having minds. By varying the degree to which robots expressed ability to act (agency) or feel (experience), we specifically investigated the underlying mechanisms of mind attribution to robots and social influence. Our results show an interactive effect of perceived experience and perceived agency on social influence induced by artificial agents. The findings provide preliminary insights regarding autonomous robots' influence on individuals' decisions and form a basis for understanding the underlying dynamics of decision making with robots.


title: A One-Sentence Line-of-Sight Proof of the Extreme Value Theorem

abstract: We give a one-sentence proof that a continuous real-valued function f on a closed, bounded interval attains a maximum value, by the following device. We define x in [a, b] to be a lookout point if f(t) does not exceed f(x) whenever t lies in [a, x). Letting c be the maximum of the set of lookout points, we prove that f(c) is the maximum value of f.


title: A New Model of Quintessence Compact Stars in Rastall Theory of Gravity

abstract: In the present work, we study a new model of anisotropic compact stars in the regime of Rastall theory. To solve the Rastall field equations we have used the Karori and Barua (KB) ansatz along with the quintessence dark energy characterized by a parameter $\omega_{q}$ with $-1<\omega_{q}<-\frac{1}{3}$. We present a comparative study to demonstrate the physical acceptance of our proposed model. We compare the numerical values of physical parameters obtained from our model with those of general relativity ($GR$) model given by Bhar \cite{1} and observe that our model is more compatible (for some chosen values of Rastall dimensionless parameter $\gamma=\kappa\lambda$) with observational data than $GR$ model. For this analysis we have consider four different compact stars, $SAX J1808-3658 (SSI)$, $4U 1820-30$, $Vela X-12$ and $PSR J1416-2230$ with radii $7.07km$, $10km$, $9.99km$ and $10.3km$, respectively. In this investigation we also present some physical aspects of the proposed model necessary to check the validity of the model and inferred that our model is acceptable physically and geometrically.


title: CHIRRUP: a practical algorithm for unsourced multiple access

abstract: Unsourced multiple access abstracts grantless simultaneous communication of a large number of devices (messages) each of which transmits (is transmitted) infrequently. It provides a model for machine-to-machine communication in the Internet of Things (IoT), including the special case of radio-frequency identification (RFID), as well as neighbor discovery in ad hoc wireless networks. This paper presents a fast algorithm for unsourced multiple access that scales to $2^{100}$ devices (arbitrary $100$ bit messages). The primary building block is multiuser detection of binary chirps which are simply codewords in the second order Reed Muller code. The chirp detection algorithm originally presented by Howard et al. is enhanced and integrated into a peeling decoder designed for a patching and slotting framework. In terms of both energy per bit and number of transmitted messages, the proposed algorithm is within a factor of $2$ of state of the art approaches. A significant advantage of our algorithm is its computational efficiency. We prove that the worst-case complexity of the basic chirp reconstruction algorithm is $\mathcal{O}[nK(\log_2 n + K)]$, where $n$ is the codeword length and $K$ is the number of active users, and we report computing times for our algorithm. Our performance and computing time results represent a benchmark against which other practical algorithms can be measured.


title: Determining a random Schr\"odinger equation with unknown source and potential

abstract: We are concerned with the direct and inverse scattering problems associated with a time-harmonic random Schr\"odinger equation with unknown source and potential terms. The well-posedness of the direct scattering problem is first established. Three uniqueness results are then obtained for the corresponding inverse problems in determining the variance of the source, the potential and the expectation of the source, respectively, by the associated far-field measurements. First, a single realization of the passive scattering measurement can uniquely recover the variance of the source without the a priori knowledge of the other unknowns. Second, if active scattering measurement can be further obtained, a single realization can uniquely recover the potential function without knowing the source. Finally, both the potential and the first two statistic moments of the random source can be uniquely recovered with full measurement data. The major novelty of our study is that on the one hand, both the random source and the potential are unknown, and on the other hand, both passive and active scattering measurements are used for the recovery in different scenarios.


title: Liouville type theorem for critical order H\'{e}non-Lane-Emden type equations on a half space and its applications

abstract: In this paper, we are concerned with the critical order H\'{e}non-Lane-Emden type equations with Navier boundary condition on a half space $\mathbb{R}^n_+$: \begin{equation}\label{NPDE0}\\\begin{cases} (-\Delta)^{\frac{n}{2}} u(x)=f(x,u(x)),\ u(x)\geq0,\ x\in\mathbb{R}^{n}_+, \\ u=(-\Delta)u = \cdots = (-\Delta)^{\frac{n}{2}-1}u = 0,\ x\in\partial\mathbb{R}^{n}_+, \end{cases}\end{equation} where $u\in C^{n}(\mathbb{R}^{n}_+)\cap C^{n-2}(\overline{\mathbb{R}^{n}_+})$ and $n\geq2$ is even. We first consider the typical case $f(x,u)=|x|^{a}u^{p}$ with $0\leq a<\infty$ and $1<p<\infty$. We prove the super poly-harmonic properties and establish the equivalence between (0.1) and the corresponding integral equations \begin{equation}\label{IE0} u(x)=\int_{\mathbb{R}^{n}_+}G(x,y)f(y,u(y))dy, \end{equation} where $G(x,y)$ denotes the Green's function for $(-\Delta)^{\frac{n}{2}}$ on $\mathbb{R}^n_+$ with Navier boundary conditions. Then, we establish Liouville theorem for (0.2) via ``the method of scaling spheres" developed initially in \cite{DQ0} by Dai and Qin, and hence we obtain the Liouville theorem for (0.1) on $\mathbb{R}^n_+$. As an application of the Liouville theorem on $\mathbb{R}^n_+$ (Theorem 1.6) and Liouville theorems in $\mathbb{R}^{n}$ established in Chen, Dai and Qin [4] for $n\geq4$ and Bidaut-V\'{e}ron and Giacomini [1] for $n=2$, we derive a priori estimates and existence of positive solutions to critical order Lane-Emden equations in bounded domains for all $n\geq2$ and $1<p<\infty$. Extensions to IEs and PDEs with general nonlinearities $f(x,u)$ are also included.


title: Learning to decompose the modes in few-mode fibers with deep convolutional neural network

abstract: We introduce deep learning technique to perform complete mode decomposition for few-mode optical fiber for the first time. Our goal is to learn a fast and accurate mapping from near-field beam profiles to the complete mode coefficients, including both modal amplitudes and phases. We train the convolutional neural network with simulated beam patterns, and evaluate the network on both of the simulated beam data and the real beam data. In simulated beam data testing, the correlation between the reconstructed and the ideal beam profiles can achieve 0.9993 and 0.995 for 3-mode case and 5-mode case respectively. While in the real 3-mode beam data testing, the average correlation is 0.9912 and the mode decomposition can be potentially performed at 33 Hz frequency on Graphic Processing Unit, indicating real-time processing ability. The quantitative evaluations demonstrate the superiority of our deep learning based approach.


title: Deep Segment Attentive Embedding for Duration Robust Speaker Verification

abstract: LSTM-based speaker verification usually uses a fixed-length local segment randomly truncated from an utterance to learn the utterance-level speaker embedding, while using the average embedding of all segments of a test utterance to verify the speaker, which results in a critical mismatch between testing and training. This mismatch degrades the performance of speaker verification, especially when the durations of training and testing utterances are very different. To alleviate this issue, we propose the deep segment attentive embedding method to learn the unified speaker embeddings for utterances of variable duration. Each utterance is segmented by a sliding window and LSTM is used to extract the embedding of each segment. Instead of only using one local segment, we use the whole utterance to learn the utterance-level embedding by applying an attentive pooling to the embeddings of all segments. Moreover, the similarity loss of segment-level embeddings is introduced to guide the segment attention to focus on the segments with more speaker discriminations, and jointly optimized with the similarity loss of utterance-level embeddings. Systematic experiments on Tongdun and VoxCeleb show that the proposed method significantly improves robustness of duration variant and achieves the relative Equal Error Rate reduction of 50% and 11.54% , respectively.


title: Passive Whole-body Control for Quadruped Robots: Experimental Validation over Challenging Terrain

abstract: We present experimental results using a passive whole-body control approach for quadruped robots that achieves dynamic locomotion while compliantly balancing the robot's trunk. We formulate the motion tracking as a Quadratic Program (QP) that takes into account the full robot rigid body dynamics, the actuation limits, the joint limits and the contact interaction. We analyze the controller's robustness against inaccurate friction coefficient estimates and unstable footholds, as well as its capability to redistribute the load as a consequence of enforcing actuation limits. Additionally, we present practical implementation details gained from the experience with the real platform. Extensive experimental trials on the 90 kg Hydraulically actuated Quadruped (HyQ) robot validate the capabilities of this controller under various terrain conditions and gaits. The proposed approach is superior for accurate execution of highly dynamic motions with respect to the current state of the art.


title: New massless and massive infinite derivative gravity in three dimensions

abstract: In this paper we will consider the most general quadratic curvature action with infinitely many covariant derivatives of massless gravity in three spacetime dimensions. The action is parity invariant and torsion-free and contains the same off-shell degrees of freedom as the Einstein-Hilbert action in general relativity. In the ultraviolet, with an appropriate choice of the propagator given by the exponential of an entire function, the point-like curvature singularity can be smoothened to a Gaussian distribution, while in the infrared the theory reduces to general relativity. We will also show how to embed new massive gravity in ghost-free infinite derivative gravity in Minkowski background as one of the infrared limits. Finally, we will provide the tree-level unitarity conditions for infinite derivative gravity in presence of a cosmological constant in deSitter and Anti-deSitter spacetimes in three dimensions by perturbing the geometries.


title: Nontrivial Topological Quandles

abstract: We show that there are infinitely many nonisomorphic quandle structures on any topogical space $X$ of positive dimension. In particular, we disprove the conjecture, asserting that there are no nontrivial quandle structures on the closed unit interval $[0,1]$.


title: Competitively Chasing Convex Bodies

abstract: Let $\mathcal{F}$ be a family of sets in some metric space. In the $\mathcal{F}$-chasing problem, an online algorithm observes a request sequence of sets in $\mathcal{F}$ and responds (online) by giving a sequence of points in these sets. The movement cost is the distance between consecutive such points. The competitive ratio is the worst case ratio (over request sequences) between the total movement of the online algorithm and the smallest movement one could have achieved by knowing in advance the request sequence. The family $\mathcal{F}$ is said to be chaseable if there exists an online algorithm with finite competitive ratio. In 1991, Linial and Friedman conjectured that the family of convex sets in Euclidean space is chaseable. We prove this conjecture.


title: Enhancement of Fluctuation-Induced Electromagnetic Phenomena in dynamically nonequilibrium systems at Resonant Photon Emission

abstract: We study the resonances in Casimir friction, radiative heat transfer and heat generation for two plates sliding relative to each other. Resonances have a different origin in the frequency range of the \textit{normal} (NDE) and \textit{anomalous} (ADE) Doppler effect. In the frequency range of NDE, resonances are associated with resonant photon tunnelling between surface phonon/plasmon polaritons of plates. For two identical plates, such resonances exist only at a relative sliding velocity $v=0$. However, for different plates such resonance can exist at $v\neq 0$. In the frequency range of ADE, resonances are associated with the creation of excitations in both plates. While in the frequency range of NDE the photon emission rate has an upper limit, in the frequency range of ADE, the photon emission rate can diverge even in the presence of dissipation in the system. We consider resonances for the identical and different sliding plates. We discuss the possibility to detect Casimir friction with its limiting case of quantum friction using an atomic force microscope in graphene structures.


title: Classification of topological insulators and superconductors out of equilibrium

abstract: We establish the existence of a topological classification of many-particle quantum systems undergoing unitary time evolution. The classification naturally inherits phenomenology familiar from equilibrium -- it is robust against disorder and interactions, and exhibits a non-equilibrium bulk-boundary correspondence, which connects bulk topological properties to the entanglement spectrum. We explicitly construct a non-equilibrium classification of non-interacting fermionic systems with non-spatial symmetries in all spatial dimensions (the `ten-fold way'), which differs from its equilibrium counterpart. Direct physical consequences of our classification are discussed, including important ramifications for the use of topological zero-energy bound states in quantum information technologies.


title: Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic

abstract: Stan is a probabilistic programming language that has been increasingly used for real-world scalable projects. However, to make practical inference possible, the language sacrifices some of its usability by adopting a block syntax, which lacks compositionality and flexible user-defined functions. Moreover, the semantics of the language has been mainly given in terms of intuition about implementation, and has not been formalised. This paper provides a formal treatment of the Stan language, and introduces the probabilistic programming language SlicStan --- a compositional, self-optimising version of Stan. Our main contributions are: (1) the formalisation of a core subset of Stan through an operational density-based semantics; (2) the design and semantics of the Stan-like language SlicStan, which facilities better code reuse and abstraction through its compositional syntax, more flexible functions, and information-flow type system; and (3) a formal, semantic-preserving procedure for translating SlicStan to Stan.


title: Detection and classification of supernovae beyond z~2 redshift with the James Webb Space Telescope

abstract: Future time-domain surveys for transient events in the near- and mid-infrared bands will significantly extend our understanding about the physics of the early Universe. In this paper we study the implications of a deep (~27 mag), long-term (~3 years), observationally inexpensive survey with the James Webb Space Telescope (JWST) within its Continuous Viewing Zone, aimed at discovering luminous supernovae beyond z~2 redshift. We explore the possibilities for detecting Superluminous Supernovae (SLSNe) as well as Type Ia supernovae at such high redshifts and estimate their expected numbers within a relatively small (~0.1 deg^2) survey area. It is found that we can expect ~10 new SLSNe and ~50 SNe Ia discovered in the 1 < z < 4 redshift range. We show that it is possible to get relatively accurate (sigma_z < 0.25) photometric redshifts for Type Ia SNe by fitting their Spectral Energy Distributions (SED), redshifted into the observed near-IR bands, with SN templates. We propose that Type Ia SNe occupy a relatively narrow range on the JWST F220W-F440W vs F150W-F356W color-color diagram between +/- 7 rest-frame days around maximum light, which could be a useful classification tool for such type of transients. We also study the possibility of extending the Hubble-diagram of Type Ia SNe beyond redshift 2 up to z~4. Such high-z SNe Ia may provide new observational constraints for their progenitor scenario.


title: Distributed Automatic Load-Frequency Control with Optimality in Power Systems

abstract: With the increasing penetration of renewable energy resources, power systems face new challenges in balancing power supply and demand and maintaining the nominal frequency. This paper studies load control to handle these challenges. In particular, a fully distributed automatic load control (ALC) algorithm, which only needs local measurement and local communication, is proposed. We prove that the load control algorithm globally converges to an optimal operating point which minimizes the total disutility of users, restores the nominal frequency and the scheduled tie-line power flows, and respects the load capacity limits and the thermal constraints of transmission lines. It is further shown that the asymptotic convergence still holds even when inaccurate system parameters are used in the control algorithm. In addition, the global exponential convergence of the reduced ALC algorithm without considering the capacity limits is proved and leveraged to study the dynamical tracking performance and robustness of the algorithm. Lastly, the effectiveness, optimality, and robustness of the proposed algorithm are demonstrated via numerical simulations.


title: Practical Implementation of Lattice QCD Simulation on SIMD Machines with Intel AVX-512

abstract: We investigate implementation of lattice Quantum Chromodynamics (QCD) code on the Intel AVX-512 architecture. The most time consuming part of the numerical simulations of lattice QCD is a solver of linear equation for a large sparse matrix that represents the strong interaction among quarks. To establish widely applicable prescriptions, we examine rather general methods for the SIMD architecture of AVX-512, such as using intrinsics and manual prefetching, for the matrix multiplication. Based on experience on the Oakforest-PACS system, a large scale cluster composed of Intel Xeon Phi Knights Landing, we discuss the performance tuning exploiting AVX-512 and code design on the SIMD architecture and massively parallel machines. We observe that the same code runs efficiently on an Intel Xeon Skylake-SP machine.


title: Can automated smoothing significantly improve benchmark time series classification algorithms?

abstract: tl;dr: no, it cannot, at least not on average on the standard archive problems. We assess whether using six smoothing algorithms (moving average, exponential smoothing, Gaussian filter, Savitzky-Golay filter, Fourier approximation and a recursive median sieve) could be automatically applied to time series classification problems as a preprocessing step to improve the performance of three benchmark classifiers (1-Nearest Neighbour with Euclidean and Dynamic Time Warping distances, and Rotation Forest). We found no significant improvement over unsmoothed data even when we set the smoothing parameter through cross validation. We are not claiming smoothing has no worth. It has an important role in exploratory analysis and helps with specific classification problems where domain knowledge can be exploited. What we observe is that the automatic application does not help and that we cannot explain the improvement of other time series classification algorithms over the baseline classifiers simply as a function of the absence of smoothing.


title: Towards leading isospin breaking effects in mesonic masses with open boundaries

abstract: We present an exploratory study of leading isospin breaking effects in mesonic masses using $O(a)$ improved Wilson fermions with open boundaries. Isospin symmetry is explicitly broken by distinct masses and electric charges of the up and down quarks. In order to be able to make use of existing isosymmetric QCD gauge ensembles we apply reweighting techniques. The path integral describing QCD+QED is expanded perturbatively in powers of deviations in the quark masses and the inverse strong coupling as well as the electromagnetic coupling. We have constructed QED$_{\mathrm{L}}$, which we use as a finite volume formulation of QED, for open boundaries. We will also give a first insight into contributions from quark disconnected diagrams.


title: Further results on the Morgan-Mullen conjecture

abstract: Let $\mathbb{F}_q$ be the finite field of characteristic $p$ with $q$ elements and $\mathbb{F}_{q^n}$ its extension of degree $n$. The conjecture of Morgan and Mullen asserts the existence of primitive and completely normal elements (PCN elements) for the extension $\mathbb{F}_{q^n}/\mathbb{F}_q$ for any $q$ and $n$. It is known that the conjecture holds for $n \leq q$. In this work we prove the conjecture for a larger range of exponents. In particular, we give sharper bounds for the number of completely normal elements and use them to prove asymptotic and effective existence results for $q\leq n\leq O(q^\epsilon)$, where $\epsilon=2$ for the asymptotic results and $\epsilon=1.25$ for the effective ones. For $n$ even we need to assume that $q-1\nmid n$.


title: Ultra-thin low frequency perfect sound absorber with high ratio of active area

abstract: A concept of ultra-thin low frequency perfect sound absorber is proposed and demonstrated experimentally. To minimize non-linear effects, an high ratio of active area to total area is used to avoid large localized amplitudes. The absorber consists of three elements: a mass supported by a very flexible membrane, a cavity and a resistive layer. The resonance frequency of the sound absorber can be easily adjusted just by changing the mass or thickness of the cavity. A very large ratio between wavelength and material thickness is measured for a manufactured perfect absorber (ratio = 201) . It is shown that this high sub-wavelength ratio is associated with narrowband effects and that the increase in the sub-wavelength ratio is limited by the damping in the system.


title: Aspects of non positive curvature for linear groups with no infinite order unipotents

abstract: We show that a linear group without unipotent elements of infinite order possesses properties akin to those held by groups of non positive curvature. Moreover in positive characteristic any finitely generated linear group acts properly and semisimply on a CAT(0) space.


title: The Future of Fast Radio Burst Science

abstract: The field of Fast Radio Burst (FRB) science is currently thriving and growing rapidly. The lines of active investigation include theoretical and observational aspects of these enigmatic millisecond radio signals. These pursuits are for the most part intertwined so that each keeps the other in check, characteristic of the healthy state of the field. The immediate future for FRB science is full of promise --- we will in the next few years see two orders of magnitude more FRBs discovered by the now diverse group of instruments spread across the globe involved in these efforts. This increased crop, and the increased information obtained per event, will allow a number of fundamental questions to be answered, and FRBs' potential as astrophysical and cosmological tools to be exploited. Questions as to the exact detailed nature of FRB progenitors and whether or not there are one or more types of progenitor will be answered. Questions as to source counts, the luminosity distribution and cosmological density of FRBs will also be addressed. Looking further ahead, applications involving FRBs at the highest redshifts look set to be a major focus of the field. The potential exists to evolve to a point where statistically robust cosmological tests, orthogonal to those already undertaken in other ways, will be achieved. Related work into FRB foregrounds, as well as how to identify new events in ever more challenging radio-frequency interference environments, also appear likely avenues for extensive investigations in the coming years.


title: General Treatment of Reflection of Spherical Electromagnetic Waves from a Spherical Surface and its Implications for the ANITA Anomalous Polarity Events

abstract: We develop a general formalism to treat reflection of spherical electromagnetic waves from a spherical surface. Our main objective is interpretation of radio wave signals produced by cosmic ray interactions with Earth's atmosphere which are observed by the Antarctica based ANITA detector after reflection off the ice surface. The incident wave is decomposed into plane waves and each plane wave is reflected off the surface using the standard Fresnel formalism. For each plane wave the reflected wave is assumed to be locally a plane wave. This is a very reasonable assumption and there are no uncontrolled approximations in our treatment of the reflection phenomenon. The surface roughness effects are also included by using a simple model. We apply our formalism to the radiation produced by the balloon-borne HiCal radio-frequency (RF) transmitter. Our final results for the reflected power are found to be in good agreement with data for all elevation angles. We also study the properties of reflected radio pulses in order to study their phase relationship with direct pulses. We find that for some roughness models the pulse shape can be somewhat distorted and may be misidentified as a direct pulse. However this is a rather small effect and is unable to provide an explanation for the observed mystery events by ANITA.


title: Efficient Generation of Parallel Spin-images Using Dynamic Loop Scheduling

abstract: High performance computing (HPC) systems underwent a significant increase in their processing capabilities. Modern HPC systems combine large numbers of homogeneous and heterogeneous computing resources. Scalability is, therefore, an essential aspect of scientific applications to efficiently exploit the massive parallelism of modern HPC systems. This work introduces an efficient version of the parallel spin-image algorithm (PSIA), called EPSIA. The PSIA is a parallel version of the spin-image algorithm (SIA). The (P)SIA is used in various domains, such as 3D object recognition, categorization, and 3D face recognition. EPSIA refers to the extended version of the PSIA that integrates various well-known dynamic loop scheduling (DLS) techniques. The present work: (1) Proposes EPSIA, a novel flexible version of PSIA; (2) Showcases the benefits of applying DLS techniques for optimizing the performance of the PSIA; (3) Assesses the performance of the proposed EPSIA by conducting several scalability experiments. The performance results are promising and show that using well-known DLS techniques, the performance of the EPSIA outperforms the performance of the PSIA by a factor of 1.2 and 2 for homogeneous and heterogeneous computing resources, respectively.


title: Karl Popper's Forgotten Role in the Quantum Debate at the Edge between Philosophy and Physics in 1950s and 1960s

abstract: It is not very well known that the philosopher Karl Popper has been one of the foremost critics of the orthodox interpretation of quantum physics for about six decades. This paper reconstructs in detail most of Popper's activities on foundations of quantum mechanics (FQM) in the period of 1950s and 1960s, when his involvement in the community of quantum physicists became extensive and quite influential. Thanks to unpublished documents and correspondence, it is now possible to shed new light on Popper's central - though neglected - role in this "thought collective" of physicists concerned with FQM, and on the intellectual relationships that Popper established in this context with some of the protagonists of the debate over quantum physics (such as David Bohm, Alfed Land\'e and Henry Margenau, among many others). Foundations of quantum mechanics represented in those years also the initial ground for the embittering controversy between Popper and perhaps his most notable former student, Paul Feyerabend. I present here novel elements to further understand the origin of their troubled relationship.


title: Prediction for the Cosmological Constant and Constraints on Susy GUTS in Resummed Quantum Gravity

abstract: Working in the context of the Planck scale cosmology formulation of Bonanno and Reuter, we use our resummed quantum gravity approach to Einstein's general theory of relativity to estimate the value of the cosmological constant as $\rho_\Lambda =(0.0024 eV)^4$. We show that susy GUT models are constrained by the closeness of this estimate to experiment. We also address various consistency checks on the calculation. In particular, we use the Heisenberg uncertainty principle to remove a large part of the remaining uncertainty in our estimate of $\rho_\Lambda$


title: Fully relativistic treatment of light neutrinos in $N$-body simulations

abstract: Cosmological $N$-body simulations are typically purely run with particles using Newtonian equations of motion. However, such simulations can be made fully consistent with general relativity using a well-defined prescription. Here, we extend the formalism previously developed for $\Lambda$CDM cosmologies with massless neutrinos to include the effects of massive, but light neutrinos. We have implemented the method in two different $N$-body codes, CONCEPT and PKDGRAV, and demonstrate that they produce consistent results. We furthermore show that we can recover all appropriate limits, including the full GR solution in linear perturbation theory at the per mille level of precision.


title: Locating a complex inhomogeneous medium with an approximate factorization method

abstract: Consider the inverse problem of scattering of time-harmonic acoustic waves by an inhomogeneous medium with complex refractive index. We show that an approximate factorization method can be applied to reconstruct the support of the complex inhomogeneous medium from the far-field data. Numerical examples are also provided to illustrate the practicability of the inversion algorithm.


title: A Deep Chandra View of A Candidate Parsec-Scale Jet from the Galactic Center Super-massive Black Hole

abstract: We have investigated the linear X-ray filament, G359.944-0.052, previously identified as a likely X-ray counterpart of a parsec-scale jet from the Galactic Center super-massive black hole (SMBH), Sagittarius A* (Sgr A*), using a total of ~5.6 Ms ultra-deep Chandra observations taken from September 1999 to July 2017. This unprecedented dataset enables us to examine flux and spectral variations that might be related to intrinsic properties of the weakly accreting SMBH. We find no flux or spectral variation in G359.944-0.052 after the G2 periapsis passage around early 2014, however, a moderate flux increase of ~2 sigma significance might be associated with the periapsis passage of G1 in early 2001. The filament exhibits an unusually hard spectrum (photon-index < 1) in its portion closest to Sgr A* (i.e., near-side) and a significant spectral softening in the more distant portion, which can be interpreted as synchrotron cooling of the relativistic electrons moving along the jet path. In particular, the hard spectrum of the near-side suggests a piling up of quasi-monoenergetic electrons caused by rapid radiative cooling. The spectral and temporal properties of G359.944-0.052 strengthen the case of it being the X-ray counterpart of a jet launched by Sgr A*.


title: Importance of Search and Evaluation Strategies in Neural Dialogue Modeling

abstract: We investigate the impact of search strategies in neural dialogue modeling. We first compare two standard search algorithms, greedy and beam search, as well as our newly proposed iterative beam search which produces a more diverse set of candidate responses. We evaluate these strategies in realistic full conversations with humans and propose a model-based Bayesian calibration to address annotator bias. These conversations are analyzed using two automatic metrics: log-probabilities assigned by the model and utterance diversity. Our experiments reveal that better search algorithms lead to higher rated conversations. However, finding the optimal selection mechanism to choose from a more diverse set of candidates is still an open question.


title: Single-Model Uncertainties for Deep Learning

abstract: We provide single-model estimates of aleatoric and epistemic uncertainty for deep neural networks. To estimate aleatoric uncertainty, we propose Simultaneous Quantile Regression (SQR), a loss function to learn all the conditional quantiles of a given target variable. These quantiles can be used to compute well-calibrated prediction intervals. To estimate epistemic uncertainty, we propose Orthonormal Certificates (OCs), a collection of diverse non-constant functions that map all training samples to zero. These certificates map out-of-distribution examples to non-zero values, signaling epistemic uncertainty. Our uncertainty estimators are computationally attractive, as they do not require ensembling or retraining deep models, and achieve competitive performance.


title: Hydrodynamics of bacteriophage migration along bacterial flagella

abstract: Bacteriophage viruses, one of the most abundant entities in our planet, lack the ability to move independently. Instead, they crowd fluid environments in anticipation of a random encounter with a bacterium. Once they land on the cell body of their victim, they are able to eject their genetic material inside the host cell. Many phage species, however, first attach to the flagellar filaments of bacteria. Being immotile, these so-called flagellotropic phages still manage to reach the cell body for infection, and the process by which they move up the flagellar filament has intrigued the scientific community for decades. In 1973, Berg and Anderson (Nature, 245, 380) proposed the nut-and-bolt mechanism in which, similarly to a rotated nut that is able to move along a bolt, the phage wraps itself around a flagellar filament possessing helical grooves (due to the helical rows of flagellin molecules) and exploits the rotation of the flagellar filament in order to passively travel along it. One of the main evidence for this mechanism is the fact that mutants of bacterial species such as Escherichia coli and Salmonella typhimurium that possess straight flagellar filaments with a preserved helical groove structure can still be infected by their relative phages. Using two distinct approaches to address the short-range interactions between phages and flagellar filaments, we provide here a first-principle theoretical model for the nut-and-bolt mechanism applicable to mutants possessing straight flagellar filaments. Our model is fully analytical, is able to predict the speed of translocation of a bacteriophage along a flagellar filament as a function of the geometry of both phage and bacterium, the rotation rate of the flagellar filament, and the handedness of the helical grooves, and is consistent with past experimental observations.


title: Searching for a charged Higgs boson with both $H^{\pm}W^{\mp}Z$ and $H^{\pm}tb$ couplings at the LHC

abstract: In certain new physics scenarios, a singly charged Higgs boson can couple to both fermions and $W^\pm Z$ at tree level. We develop new strategies beyond current experimental searches using $pp\to jjH^\pm$, $H^\pm \to tb $ at the Large Hadron Collider (LHC). With the effective $H^\pm W^\mp Z$ and $H^\pm tb$ couplings we perform a model-independent analysis at the collision energy $\sqrt{s}=13$~TeV with the integrated luminosity of $3~\text{ab}^{-1}$. We derive the discovery prospects and exclusion limits for the charged Higgs boson in the mass range from 200~GeV to 1~TeV. With $|F_{WZ}|,|A_t|\sim 0.5-1.0$ and $300~\text{GeV}\lesssim m_{H^\pm}\lesssim 400~\text{GeV}$, we point out that a discovery significance of $5\sigma$ can be achieved. The constraints and projected sensitivities are also discussed in a realistic model, i.e., the modified Georgi-Machacek model without custodial symmetry. Our proposed search would provide direct evidence for a charged Higgs boson $H^\pm$ that couples to $W^\pm Z$ and $tb$, which can have better sensitivity to the couplings of $H^\pm W^\mp Z$ and $H^\pm tb$ than current searches.


title: Online Diverse Learning to Rank from Partial-Click Feedback

abstract: Learning to rank is an important problem in machine learning and recommender systems. In a recommender system, a user is typically recommended a list of items. Since the user is unlikely to examine the entire recommended list, partial feedback arises naturally. At the same time, diverse recommendations are important because it is challenging to model all tastes of the user in practice. In this paper, we propose the first algorithm for online learning to rank diverse items from partial-click feedback. We assume that the user examines the list of recommended items until the user is attracted by an item, which is clicked, and does not examine the rest of the items. This model of user behavior is known as the cascade model. We propose an online learning algorithm, cascadelsb, for solving our problem. The algorithm actively explores the tastes of the user with the objective of learning to recommend the optimal diverse list. We analyze the algorithm and prove a gap-free upper bound on its n-step regret. We evaluate cascadelsb on both synthetic and real-world datasets, compare it to various baselines, and show that it learns even when our modeling assumptions do not hold exactly.


title: Two-Layered Superposition of Broadcast/Multicast and Unicast Signals in Multiuser OFDMA Systems

abstract: We study optimal delivery strategies of one common and $K$ independent messages from a source to multiple users in wireless environments. In particular, two-layered superposition of broadcast/multicast and unicast signals is considered in a downlink multiuser OFDMA system. In the literature and industry, the two-layer superposition is often considered as a pragmatic approach to make a compromise between the simple but suboptimal orthogonal multiplexing (OM) and the optimal but complex fully-layered non-orthogonal multiplexing. In this work, we show that only two-layers are necessary to achieve the maximum sum-rate when the common message has higher priority than the $K$ individual unicast messages, and OM cannot be sum-rate optimal in general. We develop an algorithm that finds the optimal power allocation over the two-layers and across the OFDMA radio resources in static channels and a class of fading channels. Two main use-cases are considered: i) Multicast and unicast multiplexing when $K$ users with uplink capabilities request both common and independent messages, and ii) broadcast and unicast multiplexing when the common message targets receive-only devices and $K$ users with uplink capabilities additionally request independent messages. Finally, we develop a transceiver design for broadcast/multicast and unicast superposition transmission based on LTE-A-Pro physical layer and show with numerical evaluations in mobile environments with multipath propagation that the capacity improvements can be translated into significant practical performance gains compared to the orthogonal schemes in the 3GPP specifications. We also analyze the impact of real channel estimation and show that significant gains in terms of spectral efficiency or coverage area are still available even with estimation errors and imperfect interference cancellation for the two-layered superposition system.


title: An improved proof of the Almost Stability Theorem

abstract: In 1989, Dicks and Dunwoody proved the Almost Stability Theorem, which has among its corollaries the Stallings-Swan theorem that groups of cohomological dimension one are free. In this article, we use a nestedness result of Bergman, Bowditch, and Dunwoody to simplify somewhat the proof of the finitely generable case of the Almost Stability Theorem. We also simplify the proof of the non finitely generable case. The proof we give here of the Almost Stability Theorem is essentially self contained, except that in the non finitely generable case we refer the reader to the original argument for the proofs of two technical lemmas about groups acting on trees.


title: Blow-up dynamics in the mass super-critical NLS equations

abstract: We study stable blow-up dynamics in the $L^2$-supercritical nonlinear Schr\"{o}dinger equation in various dimensions. We first investigate the profile equation and extend the result of X.-P. Wang [38] and Budd et al. [4] on the existence and local uniqueness of solutions of the cubic profile equation to other $L^2$-supercritical nonlinearities and dimensions $d \geq 2$. We then numerically observe the multi-bump structure of such solutions, and in particular, exhibit the $Q_{1,0}$ solution, a candidate for the stable blow-up profile. Next, using the dynamic rescaling method, we investigate stable blow-up solutions in the $L^2$-supercritical NLS and confirm the square root rate of the blow-up as well as the convergence of blow-up profiles to the $Q_{1,0}$ profile.


title: Convolutional Neural Networks for Epileptic Seizure Prediction

abstract: Epilepsy is the most common neurological disorder and an accurate forecast of seizures would help to overcome the patient's uncertainty and helplessness. In this contribution, we present and discuss a novel methodology for the classification of intracranial electroencephalography (iEEG) for seizure prediction. Contrary to previous approaches, we categorically refrain from an extraction of hand-crafted features and use a convolutional neural network (CNN) topology instead for both the determination of suitable signal characteristics and the binary classification of preictal and interictal segments. Three different models have been evaluated on public datasets with long-term recordings from four dogs and three patients. Overall, our findings demonstrate the general applicability. In this work we discuss the strengths and limitations of our methodology.


title: Supercurrent carried by non-equlibrium quasiparticles in a multiterminal Josephson junction

abstract: We theoretically study coherent multiple Andreev reflections in a biased three-terminal Josephson junction. We demonstrate that the direct current flowing through the junction consists of supercurrent components when the bias voltages are commensurate. This dissipationless current depends on the phase in the superconducting leads and stems from the Cooper pair transfer processes induced by non-local Andreev reflections of the quasiparticles originating from the superconducting leads. We identify supercurrent-enhanced lines in the current and conductance maps of the recent measurement [Y. Cohen, et al., PNAS 115, 6991 (2018)] on a nanowire Josephson junction and show that the magnitude of the phase-dependent current components is proportional to the junction transparency with the power corresponding to the component order.


title: Large-Scale Analysis of Style Injection by Relative Path Overwrite

abstract: Relative Path Overwrite (RPO) is a recent technique to inject style directives into sites even when no style sink or markup injection vulnerability is present. It exploits differences in how browsers and web servers interpret relative paths (i.e., path confusion) to make a HTML page reference itself as a stylesheet; a simple text injection vulnerability along with browsers' leniency in parsing CSS resources results in an attacker's ability to inject style directives that will be interpreted by the browser. Even though style injection may appear less serious a threat than script injection, it has been shown that it enables a range of attacks, including secret exfiltration. In this paper, we present the first large-scale study of the Web to measure the prevalence and significance of style injection using RPO. Our work shows that around 9% of the sites in the Alexa Top 10,000 contain at least one vulnerable page, out of which more than one third can be exploited. We analyze in detail various impediments to successful exploitation, and make recommendations for remediation. In contrast to script injection, relatively simple countermeasures exist to mitigate style injection. However, there appears to be little awareness of this attack vector as evidenced by a range of popular Content Management Systems (CMSes) that we found to be exploitable.


title: Thou Shalt Not Depend on Me: Analysing the Use of Outdated JavaScript Libraries on the Web

abstract: Web developers routinely rely on third-party Java-Script libraries such as jQuery to enhance the functionality of their sites. However, if not properly maintained, such dependencies can create attack vectors allowing a site to be compromised. In this paper, we conduct the first comprehensive study of client-side JavaScript library usage and the resulting security implications across the Web. Using data from over 133 k websites, we show that 37% of them include at least one library with a known vulnerability; the time lag behind the newest release of a library is measured in the order of years. In order to better understand why websites use so many vulnerable or outdated libraries, we track causal inclusion relationships and quantify different scenarios. We observe sites including libraries in ad hoc and often transitive ways, which can lead to different versions of the same library being loaded into the same document at the same time. Furthermore, we find that libraries included transitively, or via ad and tracking code, are more likely to be vulnerable. This demonstrates that not only website administrators, but also the dynamic architecture and developers of third-party services are to blame for the Web's poor state of library management. The results of our work underline the need for more thorough approaches to dependency management, code maintenance and third-party code inclusion on the Web.


title: Identifying Extension-based Ad Injection via Fine-grained Web Content Provenance

abstract: Extensions provide useful additional functionality for web browsers, but are also an increasingly popular vector for attacks. Due to the high degree of privilege extensions can hold, extensions have been abused to inject advertisements into web pages that divert revenue from content publishers and potentially expose users to malware. Users are often unaware of such practices, believing the modifications to the page originate from publishers. Additionally, automated identification of unwanted third-party modifications is fundamentally difficult, as users are the ultimate arbiters of whether content is undesired in the absence of outright malice. To resolve this dilemma, we present a fine-grained approach to tracking the provenance of web content at the level of individual DOM elements. In conjunction with visual indicators, provenance information can be used to reliably determine the source of content modifications, distinguishing publisher content from content that originates from third parties such as extensions. We describe a prototype implementation of the approach called OriginTracer for Chromium, and evaluate its effectiveness, usability, and performance overhead through a user study and automated experiments. The results demonstrate a statistically significant improvement in the ability of users to identify unwanted third-party content such as injected ads with modest performance overhead.


title: Tracing Information Flows Between Ad Exchanges Using Retargeted Ads

abstract: Numerous surveys have shown that Web users are concerned about the loss of privacy associated with online tracking. Alarmingly, these surveys also reveal that people are also unaware of the amount of data sharing that occurs between ad exchanges, and thus underestimate the privacy risks associated with online tracking. In reality, the modern ad ecosystem is fueled by a flow of user data between trackers and ad exchanges. Although recent work has shown that ad exchanges routinely perform cookie matching with other exchanges, these studies are based on brittle heuristics that cannot detect all forms of information sharing, especially under adversarial conditions. In this study, we develop a methodology that is able to detect client- and server-side flows of information between arbitrary ad exchanges. Our key insight is to leverage retargeted ads as a tool for identifying information flows. Intuitively, our methodology works because it relies on the semantics of how exchanges serve ads, rather than focusing on specific cookie matching mechanisms. Using crawled data on 35,448 ad impressions, we show that our methodology can successfully categorize four different kinds of information sharing behavior between ad exchanges, including cases where existing heuristic methods fail. We conclude with a discussion of how our findings and methodologies can be leveraged to give users more control over what kind of ads they see and how their information is shared between ad exchanges.


title: Alert Correlation Algorithms: A Survey and Taxonomy

abstract: Alert correlation is a system which receives alerts from heterogeneous Intrusion Detection Systems and reduces false alerts, detects high level patterns of attacks, increases the meaning of occurred incidents, predicts the future states of attacks, and detects root cause of attacks. To reach these goals, many algorithms have been introduced in the world with many advantages and disadvantages. In this paper, we are trying to present a comprehensive survey on already proposed alert correlation algorithms. The approach of this survey is mainly focused on algorithms in correlation engines which can work in enterprise and practical networks. Having this aim in mind, many features related to accuracy, functionality, and computation power are introduced and all algorithm categories are assessed with these features. The result of this survey shows that each category of algorithms has its own strengths and an ideal correlation frameworks should be carried the strength feature of each category.