title: SQCD and pairs of pants

abstract: We show that the $4d$ ${\cal N}=1$ $SU(3)$ $N_f=6$ SQCD is the model obtained when compactifying the rank one E-string theory on a three punctured sphere (a trinion) with a particular value of flux. The $SU(6)\times SU(6)\times U(1)$ global symmetry of the theory, when decomposed into the $SU(2)^3\times U(1)^3\times SU(6)$ subgroup, corresponds to the three $SU(2)$ symmetries associated to the three punctures and the $U(1)^3 \times SU(6)$ subgroup of the $E_8$ symmetry of the E-string theory. All the puncture symmetries are manifest in the UV and thus we can construct ordinary Lagrangians flowing in the IR to any compactification of the E-string theory. We generalize this claim and argue that the ${\cal N}=1$ $SU(N+2)$ SQCD in the middle of the conformal window, $N_f=2N+4$, is the theory obtained by compactifying the $6d$ minimal $(D_{N+3},D_{N+3})$ conformal matter SCFT on a sphere with two maximal $SU(N+1)$ punctures, one minimal $SU(2)$ puncture, and with a particular value of flux. The $SU(2N+4)\times SU(2N+4)\times U(1)$ symmetry of the UV Lagrangian decomposes into $SU(N+1)^2\times SU(2)$ puncture symmetries and the $U(1)^3\times SU(2N+4)$ subgroup of the $SO(12+4N)$ symmetry group of the $6d$ SCFT. The models constructed from the trinions exhibit a variety of interesting strong coupling effects. For example, one of the dualities arising geometrically from different pair-of-pants decompositions of a four punctured sphere is an $SU(N+2)$ generalization of the Intriligator-Pouliot duality of $SU(2)$ SQCD with $N_f=4$, which is a degenerate, $N=0$, instance of our discussion.


title: Providing reliability in Recommender Systems through Bernoulli Matrix Factorization

abstract: Beyond accuracy, quality measures are gaining importance in modern recommender systems, with reliability being one of the most important indicators in the context of collaborative filtering. This paper proposes Bernoulli Matrix Factorization (BeMF), which is a matrix factorization model, to provide both prediction values and reliability values. BeMF is a very innovative approach from several perspectives: a) it acts on model-based collaborative filtering rather than on memory-based filtering, b) it does not use external methods or extended architectures, such as existing solutions, to provide reliability, c) it is based on a classification-based model instead of traditional regression-based models, and d) matrix factorization formalism is supported by the Bernoulli distribution to exploit the binary nature of the designed classification model. The experimental results show that the more reliable a prediction is, the less liable it is to be wrong: recommendation quality improves after the most reliable predictions are selected. State-of-the-art quality measures for reliability have been tested, which shows that BeMF outperforms previous baseline methods and models.


title: Singular Fractional Choquard Equation with a Critical Nonlinearity and a Radon measure

abstract: This article concerns about the existence of a positive SOLA (Solutions Obtained as Limits of Approximations) for the following singular critical Choquard problem involving fractional power of Laplacian and a critical Hardy potential.


title: Cautious Bayesian MPC: Regret Analysis and Bounds on the Number of Unsafe Learning Episodes

abstract: This paper investigates the combination of model predictive control (MPC) concepts and posterior sampling techniques and proposes a simple constraint tightening technique to introduce cautiousness during explorative learning episodes. The provided theoretical analysis in terms of cumulative regret focuses on previously stated sufficient conditions of the resulting `Cautious Bayesian MPC' algorithm and shows Lipschitz continuity of the future reward function in the case of linear MPC problems. In the case of nonlinear MPC problems, it is shown that commonly required assumptions for nonlinear MPC optimization techniques provide sufficient criteria for model-based RL using posterior sampling. Furthermore, it is shown that the proposed constraint tightening implies a bound on the expected number of unsafe learning episodes in the linear and nonlinear case using a soft-constrained MPC formulation. The efficiency of the method is illustrated using numerical examples.


title: Nondestructive dispersive imaging of rotationally excited ultracold molecules

abstract: A barrier to realizing the potential of molecules for quantum information science applications is a lack of high-fidelity, single-molecule imaging techniques. Here, we present and theoretically analyze a general scheme for dispersive imaging of electronic ground-state molecules. Our technique relies on the intrinsic anisotropy of excited molecular rotational states to generate optical birefringence, which can be detected through polarization rotation of an off-resonant probe laser beam. Using \narb and \rbcs as examples, we construct a formalism for choosing the molecular state to be imaged and the excited electronic states involved in off-resonant coupling. Our proposal establishes the relevant parameters for achieving degree-level polarization rotations for bulk molecular gases, thus enabling high-fidelity nondestructive imaging. We additionally outline requirements for the high-fidelity imaging of individually trapped molecules.


title: 2N-Dimensional Canonical Systems and Applications

abstract: We study the 2N-dimensional canonical systems and discuss some properties of its fundamental solution. We then discuss the Floquet theory of periodic canonical systems and observe the asymptotic behavior of its solution. Some important physical applications of the systems are also discussed: linear stability of periodic Hamiltonian systems, position-dependent effective mass, pseudo-periodic nonlinear water waves, and Dirac systems.


title: Segmentation of Surgical Instruments for Minimally-Invasive Robot-Assisted Procedures Using Generative Deep Neural Networks

abstract: This work proves that semantic segmentation on minimally invasive surgical instruments can be improved by using training data that has been augmented through domain adaptation. The benefit of this method is twofold. Firstly, it suppresses the need of manually labeling thousands of images by transforming synthetic data into realistic-looking data. To achieve this, a CycleGAN model is used, which transforms a source dataset to approximate the domain distribution of a target dataset. Secondly, this newly generated data with perfect labels is utilized to train a semantic segmentation neural network, U-Net. This method shows generalization capabilities on data with variability regarding its rotation- position- and lighting conditions. Nevertheless, one of the caveats of this approach is that the model is unable to generalize well to other surgical instruments with a different shape from the one used for training. This is driven by the lack of a high variance in the geometric distribution of the training data. Future work will focus on making the model more scale-invariant and able to adapt to other types of surgical instruments previously unseen by the training.


title: Dimensionless Anomaly Detection on Multivariate Streams with Variance Norm and Path Signature

abstract: In this paper, we propose a dimensionless anomaly detection method for multivariate streams. Our method is independent of the unit of measurement for the different stream channels, therefore dimensionless. We first propose the variance norm, a generalisation of Mahalanobis distance to handle infinite-dimensional feature space and singular empirical covariance matrix rigorously. We then combine the variance norm with the path signature, an infinite collection of iterated integrals that provide global features of streams, to propose SigMahaKNN, a method for anomaly detection on (multivariate) streams. We show that SigMahaKNN is invariant to stream reparametrisation, stream concatenation and has a graded discrimination power depending on the truncation level of the path signature. We implement SigMahaKNN as an open-source software, and perform extensive numerical experiments, showing significantly improved anomaly detection on streams compared to isolation forest and local outlier factors in applications ranging from language analysis, hand-writing analysis, ship movement paths analysis and univariate time-series analysis.


title: Lateral vortex motion in highly layered electron-doped superconductor Nd2-xCexCuO4

abstract: The carrier transport and the motion of a vortex system in the electron-doped high-temperature superconductors Nd2-xCexCuO4 in underdoped and optimally doped (x = 0135, 0.145, 0.15) regions, in the area of the evolution from antiferromagnetic to superconducting order were investigated. To study the anisotropy of the transport properties of highly layered NdCeCuO system we have synthesized Nd2-xCexCuO4/SrTiO3 epitaxial films of three types with different orientations of the c-axis and conductive CuO2 layers relative to the substrate. Such a set of samples allowed us to study the processes of both standard (in the CuO2 layers) and lateral (across the CuO2 layers) carrier transfer in the normal and the mixed states of a superconductor. In a flux-flow regime, in magnetic field B, the dynamics of Abrikosov (B||c-axis) and Josephson (B||ab-plane) vortices are thoroughly investigated and analyzed which is perspective for scientific purposes and for practical applications in measurement technology.


title: A model-independent analysis of $b \to s \mu^+ \mu^-$ transitions with GAMBIT's FlavBit

abstract: The search for flavour-changing neutral current effects in $B$-meson decays is a powerful probe of physics beyond the Standard Model. Deviations from SM behaviour are often quantified by extracting the preferred values of the Wilson coefficients of an operator product expansion. We use the FlavBit module of the GAMBIT package to perform a simultaneous global fit of the Wilson coefficients $C_7$, $C_9$, and $C_{10}$ using a combination of all current data on $b \to s \mu^+ \mu^-$ transitions. We further extend previous analyses by accounting for the correlated theoretical uncertainties at each point in the Wilson coefficient parameter space, rather than deriving the uncertainties from a Standard Model calculation. We find that the best fit deviates from the SM value with a significance of 6.6$\sigma$. The largest deviation is associated with a vector coupling of muons to $b$ and $s$ quarks.


title: Exotic fermionic fields and minimal length

abstract: We investigate the effective Dirac equation, corrected by merging two scenarios that are expected to emerge towards the quantum gravity scale. Namely, the existence of a minimal length, implemented by the generalized uncertainty principle, and exotic spinors, associated with any non-trivial topology equipping the spacetime manifold. We show that the free fermionic dynamical equations, within the context of a minimal length, just allow for trivial solutions, a feature that is not shared by dynamical equations for exotic spinors. In fact, in this coalescing setup, the exoticity is shown to prevent the Dirac operator to be injective, allowing the existence of non-trivial solutions.


title: Generating a tide-like flow in a cylindrical vessel by electromagnetic forcing

abstract: We show and compare numerical and experimental results on the electromagnetic generation of a tide-like flow structure in a cylindrical vessel which is filled with the eutectic liquid metal alloy GaInSn. Fields of various strengths and frequencies are applied to drive liquid metal flows. The impact of the field variations on amplitude and structure of the flows is investigated. The results represent the basis for a future Rayleigh-B\'enard experiment, in which a modulated tide-like flow perturbation is expected to synchronize the typical sloshing mode of the large-scale circulation. A similar entrainment mechanism for the helicity in the Sun may be responsible for the synchronization of the solar dynamo with the alignment cycle of the tidally dominant planets Venus, Earth and Jupiter.


title: VALUE: Large Scale Voting-based Automatic Labelling for Urban Environments

abstract: This paper presents a simple and robust method for the automatic localisation of static 3D objects in large-scale urban environments. By exploiting the potential to merge a large volume of noisy but accurately localised 2D image data, we achieve superior performance in terms of both robustness and accuracy of the recovered 3D information. The method is based on a simple distributed voting schema which can be fully distributed and parallelised to scale to large-scale scenarios. To evaluate the method we collected city-scale data sets from New York City and San Francisco consisting of almost 400k images spanning the area of 40 km$^2$ and used it to accurately recover the 3D positions of traffic lights. We demonstrate a robust performance and also show that the solution improves in quality over time as the amount of data increases.


title: Compositional modelling of network games

abstract: The analysis of games played on graph-like structures is of increasing importance due to the prevalence of social networks, both virtual and physical, in our daily life. As well as being relevant in computer science, mathematical analysis and computer simulations of such distributed games are vital methodologies in economics, politics and epidemiology, amongst other fields. Our contribution is to give compositional semantics of a family of such games as a well-behaved mapping, a strict monoidal functor, from a category of open graphs (syntax) to a category of open games (semantics). As well as introducing the theoretical framework, we identify some applications of compositionality.


title: Deformations of JT Gravity and Phase Transitions

abstract: We re-examine the black hole solutions in classical theories of dilaton gravity in two dimensions. We consider an arbitrary dilaton potential such that there are black hole solutions asymptotic at infinity to the nearly $\mathrm{AdS}_2$ solutions of JT gravity, and such that the black hole energy and entropy are bounded below. We show that if there is a black hole solution with negative specific heat at some temperature $T$, then at the same temperature there is a black hole solution with lower free energy and positive specific heat. As the temperature is increased from 0 to infinity, the black hole energy and entropy increase monotonically but not necessarily continuously; there can be first order phase transitions, similar to the Hawking-Page transition. These theories can also have solutions corresponding to closed universes.


title: A conditional one-output likelihood formulation for multitask Gaussian processes

abstract: Multitask Gaussian processes (MTGP) are the Gaussian process (GP) framework's solution for multioutput regression problems in which the $T$ elements of the regressors cannot be considered conditionally independent given the observations. Standard MTGP models assume that there exist both a multitask covariance matrix as a function of an intertask matrix, and a noise covariance matrix. These matrices need to be approximated by a low rank simplification of order $P$ in order to reduce the number of parameters to be learnt from $T^2$ to $TP$. Here we introduce a novel approach that simplifies the multitask learning by reducing it to a set of conditioned univariate GPs without the need for any low rank approximations, therefore completely eliminating the requirement to select an adequate value for hyperparameter $P$. At the same time, by extending this approach with both a hierarchical and an approximate model, the proposed extensions are capable of recovering the multitask covariance and noise matrices after learning only $2T$ parameters, avoiding the validation of any model hyperparameter and reducing the overall complexity of the model as well as the risk of overfitting. Experimental results over synthetic and real problems confirm the advantages of this inference approach in its ability to accurately recover the original noise and signal matrices, as well as the achieved performance improvement in comparison to other state of art MTGP approaches. We have also integrated the model with standard GP toolboxes, showing that it is computationally competitive with state of the art options.


title: Mixed boundary value problem for $p$-harmonic functions in an infinite cylinder

abstract: We study a mixed boundary value problem for the $p$-Laplace equation $\Delta_p u=0$ in an open infinite circular half-cylinder with prescribed Dirichlet boundary data on a part of the boundary and zero Neumann boundary data on the rest. Existence of weak solutions to the mixed problem is proved both for Sobolev and for continuous data on the Dirichlet part of the boundary. We also obtain a boundary regularity result for the point at infinity in terms of a variational capacity adapted to the cylinder.


title: TrueRMA: Learning Fast and Smooth Robot Trajectories with Recursive Midpoint Adaptations in Cartesian Space

abstract: We present TrueRMA, a data-efficient, model-free method to learn cost-optimized robot trajectories over a wide range of starting points and endpoints. The key idea is to calculate trajectory waypoints in Cartesian space by recursively predicting orthogonal adaptations relative to the midpoints of straight lines. We generate a differentiable path by adding circular blends around the waypoints, calculate the corresponding joint positions with an inverse kinematics solver and calculate a time-optimal parameterization considering velocity and acceleration limits. During training, the trajectory is executed in a physics simulator and costs are assigned according to a user-specified cost function which is not required to be differentiable. Given a starting point and an endpoint as input, a neural network is trained to predict midpoint adaptations that minimize the cost of the resulting trajectory via reinforcement learning. We successfully train a KUKA iiwa robot to keep a ball on a plate while moving between specified points and compare the performance of TrueRMA against two baselines. The results show that our method requires less training data to learn the task while generating shorter and faster trajectories.


title: Commuting Variability by Wage Groups in Baton Rouge 1990-2010

abstract: Residential segregation recently has shifted to more class or income-based in the United States, and neighborhoods are undergoing significant changes such as commuting patterns over time. To better understand the commuting inequality across neighborhoods of different income levels, this research analyzes commuting variability (in both distance and time) across wage groups as well as stability over time using the CTPP data 1990-2010 in Baton Rouge. In comparison to previous work, commuting distance is estimated more accurately by Monte Carlo simulation of individual trips to mitigate aggregation error and scale effect. The results based on neighborhoods mean wage rate indicate that commuting behaviors vary across areas of different wage rates and such variability is captured by a convex shape. Affluent neighborhoods tended to commute more but highest-wage neighborhoods retreated for less commuting. This trend remains relatively stable over time despite an overall transportation improvement in general. A complementary analysis based on the distribution of wage groups is conducted to gain more detailed insights and uncovers the lasting poor mobility (e.g., fewer location and transport options) of the lowest-wage workers in 1990-2010.


title: Detecting and Analyzing Mobility Hotspots using Surface Networks

abstract: Capabilities for collecting and storing data on mobile objects have increased dramatically over the past few decades. A persistent difficulty is summarizing large collections of mobile objects. This paper develops methods for extracting and analyzing hotspots or locations with relatively high levels of mobility activity. We use kernel density estimation (KDE) to convert a large collection of mobile objects into a smooth, continuous surface. We then develop a topological algorithm to extract critical geometric features of the surface; these include critical points (peaks, pits and passes) and critical lines (ridgelines and course-lines). We connect the peaks and corresponding ridgelines to produce a surface network that summarizes the topological structure of the surface. We apply graph theoretic indices to analytically characterize the surface and its changes over time. To illustrate our approach, we apply the techniques to taxi cab data collected in Shanghai, China. We find increases in the complexity of the hotspot spatial distribution during normal activity hours in the late morning, afternoon and evening and a spike in the connectivity of the hotspot spatial distribution in the morning as taxis concentrate on servicing travel to work. These results match with scientific and anecdotal knowledge about human activity patterns in the study area.


title: Atomistic Insights into the Effects of Phosphorous Doping of Graphene Anode in a Lithium Ion Battery

abstract: Inspired by a recent experimental and theoretical study [Yang et al., 2017], wherein protrusions in graphene have been proposed as an effective strategy to enhance the performance of sodium ion batteries, a comprehensive study of the effects of phosphorus doping in graphene on adsorption and diffusion behaviour of Li is carried out by using density functional theory. We find that protrusion introduced by P-dopant in graphene enhances the adsorption of a single Li atom onto the anode due to an additional partial covalent bonding character between Li and carbon atoms of the substrate. However, with increase in concentration of Li atoms, they tend to form clusters which may lead to dendrite growth and hence battery failure. Finite density of states at Fermi level ensures the electronic conductivity of the P-doped graphene before and after the adsorption of a Li atom. No momentous variation in DOS is observed except a small up shift in Fermi level with increased Li concentration. The presence of such protrusions acts as trapping centres for Li and hinders their migration over the substrate, leading to poor cycling performance of anode. This atomic level study will act as a useful guideline for further development of anode materials for novel battery technologies.


title: Energy Efficiency Optimization for Device-to-Device Communication Underlaying Cellular Networks in Millimeter-Wave

abstract: This paper studies energy efficiency maximization in device-to-device (D2D) communications underlaying cellular networks in millimeter-wave (mm-wave) band. A stochastic geometry framework has been used to extract the results. First, cellular and D2D users are modeled by independent homogeneous Poisson point process; then, exact expressions for successful transmission probability of D2D and cellular users have been derived. Furthermore, the average sum rate and energy efficiency for a typical D2D scenario have been presented. An optimization problem subject to transmission power and quality of service constraints for both cellular and D2D users has been defined and energy efficiency of D2D communication is maximized. Simulation results reveal that by working in millimeter-wave, significant energy efficiency improvement can be attained, e.g., 20\% energy efficiency improvement compared to Rayleigh distribution in the practical scenarios by considering circuit power. Finally, to verify our analytical expressions, the simulation studies are carried out and the excellent agreements have been achieved.


title: Strange semimetal dynamics in SrIrO$_3$

abstract: The interplay of electronic correlations, multi-orbital excitations, and strong spin-orbit coupling is a fertile ground for new states of matter in quantum materials. Here, we report on a confocal Raman scattering study of momentum-resolved charge dynamics from a thin film of semimetallic perovskite $\mathbf{SrIrO_3}$. We demonstrate that the charge dynamics, characterized by a broad continuum, is well described in terms of the marginal Fermi liquid phenomenology. In addition, over a wide temperature regime, the inverse scattering time is for all momenta close to the Planckian limit $\mathbf{\tau^{-1}_{\hbar}=k_{\rm B} T/\hbar}$. Thus, $\mathbf{SrIrO_3}$ is a semimetallic multi-band system that is as correlated as, for example, the cuprate superconductors. The usual challenge to resolve the charge dynamics in multi-band systems with very different mobilities is circumvented by taking advantage of the momentum space selectivity of polarized electronic Raman scattering. The Raman responses of both hole- and electron-pockets display an electronic continuum extending far beyond 1000\icm ($\sim$125 meV), much larger than allowed by the phase space for creating particle-hole pairs in a regular Fermi liquid. Analyzing this response in the framework of a memory function formalism, we are able to extract the frequency dependent scattering rate and mass enhancement factor of both types of charge carriers, which in turn allows us to determine the carrier-dependent mobilities and electrical resistivities. The results are well consistent with transport measurement and demonstrate the potential of this approach to investigate the charge dynamics in multi-band systems.


title: Wasserstein Distance guided Adversarial Imitation Learning with Reward Shape Exploration

abstract: The generative adversarial imitation learning (GAIL) has provided an adversarial learning framework for imitating expert policy from demonstrations in high-dimensional continuous tasks. However, almost all GAIL and its extensions only design a kind of reward function of logarithmic form in the adversarial training strategy with the Jensen-Shannon (JS) divergence for all complex environments. The fixed logarithmic type of reward function may be difficult to solve all complex tasks, and the vanishing gradients problem caused by the JS divergence will harm the adversarial learning process. In this paper, we propose a new algorithm named Wasserstein Distance guided Adversarial Imitation Learning (WDAIL) for promoting the performance of imitation learning (IL). There are three improvements in our method: (a) introducing the Wasserstein distance to obtain more appropriate measure in the adversarial training process, (b) using proximal policy optimization (PPO) in the reinforcement learning stage which is much simpler to implement and makes the algorithm more efficient, and (c) exploring different reward function shapes to suit different tasks for improving the performance. The experiment results show that the learning procedure remains remarkably stable, and achieves significant performance in the complex continuous control tasks of MuJoCo.


title: SearchFromFree: Adversarial Measurements for Machine Learning-based Energy Theft Detection

abstract: Energy theft causes large economic losses to utility companies around the world. In recent years, energy theft detection approaches based on machine learning (ML) techniques, especially neural networks, become popular in the research literature and achieve state-of-the-art detection performance. However, in this work, we demonstrate that the well-perform ML models for energy theft detection are highly vulnerable to adversarial attacks. In particular, we design an adversarial measurement generation algorithm that enables the attacker to report extremely low power consumption measurements to the utilities while bypassing the ML energy theft detection. We evaluate our approach with three kinds of neural networks based on a real-world smart meter dataset. The evaluation result demonstrates that our approach can significantly decrease the ML models' detection accuracy, even for black-box attackers.


title: Intersections, sums, and the Jordan-H\"older property for exact categories

abstract: We investigate how the concepts of intersection and sums of subobjects carry to exact categories. We obtain a new characterisation of quasi-abelian categories in terms of admitting admissible intersections in the sense of Hassoun and Roy. There are also many alternative characterisations of abelian categories as those that additionally admit admissible sums and in terms of properties of admissible morphisms. We then define a generalised notion of intersection and sum which every exact category admits. Using these new notions, we define and study classes of exact categories that satisfy the Jordan-H\"older property for exact categories, namely the Diamond exact categories and Artin-Wedderburn exact categories. By explicitly describing all exact structures on $\mathcal{A}= \mbox{rep}\, \Lambda$ for a Nakayama algebra $\Lambda$ we characterise all Artin-Wedderburn exact structures on $\mathcal{A}$ and show that these are precisely the exact structures with the Jordan-H\"{o}lder property.


title: Shape, Color and Distance in Weak Gravitational Flexion

abstract: Canonically, elliptical galaxies might be expected to have a perfect rotational symmetry, making them ideal targets for flexion studies - however, this assumption hasn't been tested. We have undertaken an analysis of low and high redshift galaxy catalogs of known morphological type with a new gravitational lensing code, Lenser. Using color measurements in the u-r band and fit Sersic index values, objects with characteristics consistent with early-type galaxies are found to have a lower intrinsic scatter in flexion signal than late-type galaxies. We find this measured flexion noise can be reduced by more than a factor of two at both low and high redshift.


title: Interference and shot noise in a degenerate Anderson-Holstein model

abstract: We study the transport properties of an Anderson-Holstein model with orbital degeneracies and a tunneling phase that allows for the formation of dark states. The resulting destructive interference yields a characteristic pattern of positive and negative differential conductance features with enhanced shot noise, without further asymmetry requirements in the coupling to the leads. The transport characteristics are strongly influenced by the Lamb-shift renormalization of the system Hamiltonian. Thus, the electron-vibron coupling cannot be extracted by a simple fit of the current steps to a Poisson distribution. For strong vibronic relaxation, a simpler effective model with analytical solution allows for a better understanding and moreover demonstrates the robustness of the described effects.


title: Benchmarking of Numerical Models for Wave Overtopping at Dikes with Shallow Mildly Sloping Foreshores: Accuracy versus Speed

abstract: To accurately predict the consequences of nearshore waves, coastal engineers often employ numerical models. A variety of these models, broadly classified as either phase-resolving or phase-averaged, exist; each with strengths and limitations owing to the physical schematization of processes within them. Models which resolve the vertical flow structure or the full wave spectrum (i.e. sea-swell (SS) and infragravity (IG) waves) are considered more accurate, but also more computationally demanding than those with approximations. Here, we assess the speed-accuracy trade-off of six well-known wave models for overtopping (q), under shallow foreshore conditions. The results demonstrate that: i) q is underestimated by an order of magnitude when IG waves are neglected; ii) using more computationally-demanding models does not guarantee more accurate results; and iii) with empirical corrections to account for IG waves, phase-averaged models like SWAN can perform on par, if not better than, phase-resolving models but with far less computational effort.


title: Triple descent and the two kinds of overfitting: Where & why do they appear?

abstract: A recent line of research has highlighted the existence of a "double descent" phenomenon in deep learning, whereby increasing the number of training examples $N$ causes the generalization error of neural networks to peak when $N$ is of the same order as the number of parameters $P$. In earlier works, a similar phenomenon was shown to exist in simpler models such as linear regression, where the peak instead occurs when $N$ is equal to the input dimension $D$. Since both peaks coincide with the interpolation threshold, they are often conflated in the litterature. In this paper, we show that despite their apparent similarity, these two scenarios are inherently different. In fact, both peaks can co-exist when neural networks are applied to noisy regression tasks. The relative size of the peaks is then governed by the degree of nonlinearity of the activation function. Building on recent developments in the analysis of random feature models, we provide a theoretical ground for this sample-wise triple descent. As shown previously, the nonlinear peak at $N\!=\!P$ is a true divergence caused by the extreme sensitivity of the output function to both the noise corrupting the labels and the initialization of the random features (or the weights in neural networks). This peak survives in the absence of noise, but can be suppressed by regularization. In contrast, the linear peak at $N\!=\!D$ is solely due to overfitting the noise in the labels, and forms earlier during training. We show that this peak is implicitly regularized by the nonlinearity, which is why it only becomes salient at high noise and is weakly affected by explicit regularization. Throughout the paper, we compare analytical results obtained in the random feature model with the outcomes of numerical experiments involving deep neural networks.


title: Dynamic Monte Carlo Simulations of Inhomogeneous Colloidal Suspensions

abstract: The Dynamic Monte Carlo (DMC) method is an established molecular simulation technique for the analysis of the dynamics in colloidal suspensions. An excellent alternative to Brownian Dynamics or Molecular Dynamics simulation, DMC is applicable to systems of spherical and/or anisotropic particles and to equilibrium or out-of-equilibrium processes. In this work, we present a theoretical and methodological framework to extend DMC to the study of heterogeneous systems, where the presence of an interface between coexisting phases introduces an additional element of complexity in determining the dynamic properties. In particular, we simulate a Lennard-Jones fluid at the liquid-vapor equilibrium and determine the diffusion coefficients in the bulk of each phase and across the interface. To test the validity of our DMC results, we also perform Brownian Dynamics simulations and unveil an excellent quantitative agreement between the two simulation techniques.


title: Unsupervised Translation of Programming Languages

abstract: A transcompiler, also known as source-to-source translator, is a system that converts source code from a high-level programming language (such as C++ or Python) to another. Transcompilers are primarily used for interoperability, and to port codebases written in an obsolete or deprecated language (e.g. COBOL, Python 2) to a modern one. They typically rely on handcrafted rewrite rules, applied to the source code abstract syntax tree. Unfortunately, the resulting translations often lack readability, fail to respect the target language conventions, and require manual modifications in order to work properly. The overall translation process is timeconsuming and requires expertise in both the source and target languages, making code-translation projects expensive. Although neural models significantly outperform their rule-based counterparts in the context of natural language translation, their applications to transcompilation have been limited due to the scarcity of parallel data in this domain. In this paper, we propose to leverage recent approaches in unsupervised machine translation to train a fully unsupervised neural transcompiler. We train our model on source code from open source GitHub projects, and show that it can translate functions between C++, Java, and Python with high accuracy. Our method relies exclusively on monolingual source code, requires no expertise in the source or target languages, and can easily be generalized to other programming languages. We also build and release a test set composed of 852 parallel functions, along with unit tests to check the correctness of translations. We show that our model outperforms rule-based commercial baselines by a significant margin.


title: MRFMap: Online Probabilistic 3D Mapping using Forward Ray Sensor Models

abstract: Traditional dense volumetric representations for robotic mapping make simplifying assumptions about sensor noise characteristics due to computational constraints. We present a framework that, unlike conventional occupancy grid maps, explicitly models the sensor ray formation for a depth sensor via a Markov Random Field and performs loopy belief propagation to infer the marginal probability of occupancy at each voxel in a map. By explicitly reasoning about occlusions our approach models the correlations between adjacent voxels in the map. Further, by incorporating learnt sensor noise characteristics we perform accurate inference even with noisy sensor data without ad-hoc definitions of sensor uncertainty. We propose a new metric for evaluating probabilistic volumetric maps and demonstrate the higher fidelity of our approach on simulated as well as real-world datasets.


title: The Cauchy problem for fractional Camassa-Holm equation in Besov space

abstract: In this paper, we consider the fractional Camassa-Holm equation modelling the propagation of small-but-finite amplitude long unidirectional waves in a nonlocally and nonlinearly elastic medium. First, we establish the local well-posedness in Besov space $B^{s_0}_{2,1}$ with $s_0=2\nu-\frac 1 2$ for $\nu>\frac 3 2 $ and $s_0=\frac 5 2$ for $1<\nu\leq \frac 3 2 $. Then, with a given analytic initial data, we establish the analyticity of the solutions in both variables, globally in space and locally in time.


title: Tertiary Regulation of Cascaded Run-of-the-River Hydropower in the Islanded Renewable Power System Considering Multi-Timescale Dynamics

abstract: To enable power supply in rural areas and to exploit clean energy, fully renewable power systems consisting of cascaded run-of-the-river hydropower and volatile energies such as pv and wind are built around the world. In islanded operation mode, the primary and secondary frequency control, i.e., hydro governors and automatic generation control (AGC), are responsible for the frequency stability. However, due to limited water storage capacity of run-of-the-river hydropower and river dynamics constraints, without coordination between the cascaded plants, the traditional AGC with fixed participation factors cannot fully exploit the adjustability of cascaded hydropower. When imbalances between the volatile energy and load occur, load shedding can be inevitable. To address this issue, this paper proposes a coordinated tertiary control approach by jointly considering power system dynamics and the river dynamics that couples the cascaded hydropower plants. The timescales of the power system and river dynamics are very different. To unify the multi-timescale dynamics to establish a model predictive controller that coordinates the cascaded plants, the relation between AGC parameters and turbine discharge over a time interval is approximated by a data-based second-order polynomial surrogate model. The cascaded plants are coordinated by optimising AGC participation factors in a receding-horizon manner, and load shedding is minimised. Simulation of a real-life system with real-time pv data collected on site shows the proposed method significantly reduces load loss under pv volatility.


title: Accurate and efficient calculation of photoionization in streamer discharges using fast multipole method

abstract: This paper focuses on the three-dimensional simulation of the photoionization in streamer discharges, and provides a general framework to efficiently and accurately calculate the photoionization model using the integral form. The simulation is based on the kernel-independent fast multipole method. The accuracy of this method is studied quantitatively for different domains and various pressures in comparison with other existing models based on partial differential equations (PDEs). The comparison indicates the numerical error of the fast multipole method is much smaller than those of other PDE-based methods, with the reference solution given by direct numerical integration. Such accuracy can be achieved with affordable computational cost, and its performance in both efficiency and accuracy is quite stable for different domains and pressures. Meanwhile, the simulation accelerated by the fast multipole method exhibits good scalability using up to 1280 cores, which shows its capability of three-dimensional simulations using parallel (distributed) computing. The difference of the proposed method and other efficient approximations are also studied in a three-dimensional dynamic problem where two streamers interact.


title: On the little Weyl group of a real spherical space

abstract: In the present paper we further the study of the compression cone of a real spherical homogeneous space $Z=G/H$. In particular we provide a geometric construction of the little Weyl group of $Z$ introduced recently by Knop and Kr\"otz. Our technique is based on a fine analysis of limits of conjugates of the subalgebra $\mathrm{Lie}(H)$ along one-parameter subgroups in the Grassmannian of subspaces of $\mathrm{Lie}(G)$. The little Weyl group is obtained as a finite reflection group generated by the reflections in the walls of the compression cone.


title: SQUID pattern disruption in transition metal dichalcogenide Josephson junctions due to non-parabolic dispersion of the edge states

abstract: We theoretically study Josephson junctions with a transition metal dichalcogenide zigzag ribbon as a weak link. We demonstrate that the spatial profile of the supercurrent carried by the edge modes determines the critical current dependence on the perpendicular magnetic field. We explore this finding and analyze the impact of Zeeman interaction and the orbital effects of the magnetic field on the Andreev bound states energies. We show that the unequal Fermi velocities of the spin-opposite edge modes lead to an anomalous shift of the Andreev bound states in the presence of the magnetic field. This is manifested in a pronounced modification of the SQUID critical current oscillations when two opposite edges of the ribbon are conducting and can be exploited in order to reveal the anomalous phase shift of the Andreev bound states in a single Josephson junction device.


title: Approximation of an optimal control problem for the time-fractional Fokker-Planck equation

abstract: In this paper, we study the numerical approximation of a system of PDEs with fractional time derivatives. This system is derived from an optimal control problem for a time-fractional Fokker-Planck equation with time dependent drift by convex duality argument. The system is composed by a time-fractional backward Hamilton-Jacobi-Bellman and a forward Fokker-Planck equation and can be used to describe the evolution of probability density of particles trapped in anomalous diffusion regimes. We approximate Caputo derivatives in the system by means of L1 schemes and the Hamiltonian by finite differences. The scheme for the Fokker-Planck equation is constructed such that the duality structure of the PDE system is preserved on the discrete level. We prove the well posedness of the scheme and the convergence to the solution of the continuous problem.


title: Exploring Help Facilities in Game-Making Software

abstract: Help facilities have been crucial in helping users learn about software for decades. But despite widespread prevalence of game engines and game editors that ship with many of today's most popular games, there is a lack of empirical evidence on how help facilities impact game-making. For instance, certain types of help facilities may help users more than others. To better understand help facilities, we created game-making software that allowed us to systematically vary the type of help available. We then ran a study of 1646 participants that compared six help facility conditions: 1) Text Help, 2) Interactive Help, 3) Intelligent Agent Help, 4) Video Help, 5) All Help, and 6) No Help. Each participant created their own first-person shooter game level using our game-making software with a randomly assigned help facility condition. Results indicate that Interactive Help has a greater positive impact on time spent, controls learnability, learning motivation, total editor activity, and game level quality. Video Help is a close second across these same measures.


title: Efficient verification of Boson Sampling

abstract: The demonstration of quantum speedup, also known as quantum computational supremacy, that is the ability of quantum computers to outperform dramatically their classical counterparts, is an important milestone in the field of quantum computing. While quantum speedup experiments are gradually escaping the regime of classical simulation, they still lack efficient verification protocols and rely on partial validation. Here we derive an efficient protocol for verifying with single-mode Gaussian measurements the output states of a large class of continuous-variable quantum circuits demonstrating quantum speedup, including Boson Sampling experiments, thus enabling a convincing demonstration of quantum speedup with photonic computing. Beyond the quantum speedup milestone, our results also enable the efficient and reliable certification of a large class of intractable continuous-variable multimode quantum states.


title: L-space knots have no essential Conway spheres

abstract: We prove that L-space knots do not have essential Conway spheres with the technology of peculiar modules, a Floer theoretic invariant for tangles.


title: Static black holes without spatial isometries: from AdS multipoles to electrovacuum scalarization

abstract: We review recent results on the existence of static black holes without spatial isometries in four spacetime dimensions and propose a general framework for their study. These configurations are regular on and outside a horizon of spherical topology. Two different mechanisms allowing for their existence are identified. The first one relies on the presence of a solitonic limit of the black holes; when the solitons have no spatial isometries, the black holes, being a non-linear bound state between the solitons and a horizon, inherit this property. The second one is related to black hole scalarization, and the existence of zero modes of the scalar field without isometries around a spherical horizon. When the zero modes have no spatial isometries, the backreaction of their non-linear continuation makes the scalarized black holes inherit the absence of spatial continuous symmetries. A number of general features of the solutions are discussed together with possible generalizations.


title: Runtime Analysis of a Heavy-Tailed $(1+(\lambda,\lambda))$ Genetic Algorithm on Jump Functions

abstract: It was recently observed that the $(1+(\lambda,\lambda))$ genetic algorithm can comparably easily escape the local optimum of the jump functions benchmark. Consequently, this algorithm can optimize the jump function with jump size $k$ in an expected runtime of only $n^{(k + 1)/2}k^{-k/2}e^{O(k)}$ fitness evaluations (Antipov, Doerr, Karavaev (GECCO 2020)). To obtain this performance, however, a non-standard parameter setting depending on the jump size $k$ was used. To overcome this difficulty, we propose to choose two parameters of the $(1+(\lambda,\lambda))$ genetic algorithm randomly from a power-law distribution. Via a mathematical runtime analysis, we show that this algorithm with natural instance-independent choices of the distribution parameters on all jump functions with jump size at most $n/4$ has a performance close to what the best instance-specific parameters in the previous work obtained. This price for instance-independence can be made as small as an $O(n\log(n))$ factor. Given the difficulty of the jump problem and the runtime losses from using mildly suboptimal fixed parameters (also discussed in this work), this appears to be a fair price.


title: A tourist's guide to regularity structures and singular stochastic PDEs

abstract: We give a short essentially self-contained treatment of the fundamental analytic and algebraic features of regularity structures and its applications to the study of singular stochastic PDEs.


title: Formalizing line editors in Coq

abstract: Text editors represent one of the fundamental tools that writers use - software developers, book authors, mathematicians. A text editor must work as intended in that it should allow the users to do their job. We start by introducing a small subset of a text editor - line editor. Next, we will give a concrete definition (specification) of what a complete text editor means. Afterward, we will provide an implementation of a line editor in Coq, and then we will prove that it is a complete text editor.


title: Ratioing the President: An exploration of public engagement with Obama and Trump on Twitter

abstract: The past decade has witnessed a marked increase in the use of social media by politicians, most notably exemplified by the 45th President of the United States (POTUS), Donald Trump. On Twitter, POTUS messages consistently attract high levels of engagement as measured by likes, retweets, and replies. Here, we quantify the balance of these activities, also known as "ratios", and study their dynamics as a proxy for collective political engagement in response to presidential communications. We find that raw activity counts increase during the period leading up to the 2016 election, accompanied by a regime change in the ratio of retweets-to-replies connected to the transition between campaigning and governing. For the Trump account, we find words related to fake news and the Mueller inquiry are more common in tweets with a high number of replies relative to retweets. Finally, we find that Barack Obama consistently received a higher retweet-to-reply ratio than Donald Trump. These results suggest Trump's Twitter posts are more often controversial and subject to enduring engagement as a given news cycle unfolds.


title: Higgs decay to light scalars in the semi-constrained NMSSM

abstract: The next-to minimal supersymmetric standard model (NMSSM) with non-universal Higgs masses, or the semi-constrained NMSSM (scNMSSM), extend the minimal supersymmetric standard model (MSSM) by a singlet superfield and assume universal conditions except for the Higgs sector. It can not only keep the simpleness and grace of the fully constrained MSSM and NMSSM, and relax the tension that they face after the 125-GeV Higgs boson discovered, but also predict an exotic phenomenon that Higgs decay to a pair of light singlet-dominated scalars ($10\!\sim\! 60\;{\rm GeV}$). This condition can be classified to three scenarios according to the identities of the SM-like Higgs and the light scalar: (i) the light scalar is CP-odd, and the SM-like Higgs is $h_2$; (ii) the light scalar is CP-odd, and the SM-like Higgs is $h_1$; (iii) the light scalar is CP-even, and the SM-like Higgs is $h_2$. In this work, we compare the three scenarios, checking the interesting parameter schemes that lead to the scenarios, the mixing levels of the doublets and singlets, the tri-scalar coupling between the SM-like Higgs and a pair of light scalars, the branching ratio of Higgs decay to the light scalars, and sensitivities in hunting for the exotic decay at the HL-LHC and the future lepton colliders such as CEPC, FCC-ee, and ILC.


title: Double maxima of angular momentum transport in $\eta=0.91$ TC turbulence

abstract: We use experiments and direct numerical simulations to probe the phase-space of low-curvature Taylor--Couette (TC) flow in the vicinity of the ultimate regime. The cylinder radius ratio is fixed at $\eta=r_i/r_o=0.91$. Non-dimensional shear drivings (Taylor numbers $\text{Ta}$) in the range $10^7\leq\text{Ta}\leq10^{11}$ are explored for both co- and counter-rotating configurations. In the $\text{Ta}$ range $10^8\leq\text{Ta}\leq10^{10}$, we observe two local maxima of the angular momentum transport as a function of the cylinder rotation ratio, which can be described as either as "co-" and "counter-rotating" due to their location or as "broad" and "narrow" due to their shape. We confirm that the broad peak is accompanied by the strengthening of the large-scale structures, and that the narrow peak appears once the driving (Ta) is strong enough. As first evidenced in numerical simulations by Brauckmann \emph{et al.}~(2016), the broad peak is produced by centrifugal instabilities and that the narrow peak is a consequence of shear instabilities. We describe how the peaks change with $\text{Ta}$ as the flow becomes more turbulent. Close to the transition to the ultimate regime when the boundary layers (BLs) become turbulent, the usual structure of counter-rotating Taylor vortex pairs breaks down and stable unpaired rolls appear locally. We attribute this state to changes in the underlying roll characteristics during the transition to the ultimate regime. Further changes in the flow structure around $\text{Ta}\approx10^{10}$ cause the broad peak to disappear completely and the narrow peak to move. This second transition is caused when the regions inside the BLs which are locally smooth regions disappear and the whole boundary layer becomes active.


title: Classical spin Hamiltonians are context-sensitive languages

abstract: Classical spin Hamiltonians are a powerful tool to model complex systems, characterised by a local structure given by the local Hamiltonians. One of the best understood local structures is the grammar of formal languages, which are central in computer science and linguistics, and have a natural complexity measure given by the Chomsky hierarchy. If we see classical spin Hamiltonians as languages, what grammar do the local Hamiltonians correspond to? Here we cast classical spin Hamiltonians as formal languages, and classify them in the Chomsky hierarchy. We prove that the language of (effectively) zero-dimensional spin Hamiltonians is regular, one-dimensional spin Hamiltonians is deterministic context-free, and higher-dimensional and all-to-all spin Hamiltonians is context-sensitive. This provides a new complexity measure for classical spin Hamiltonians, which captures the hardness of recognising spin configurations and their energies. We compare it to the computational complexity of the ground state energy problem, and find a different easy-to-hard threshold for the Ising model. We also investigate the dependence on the language of the spin Hamiltonian. Finally, we define the language of the time evolution of a spin Hamiltonian and classify it in the Chomsky hierarchy. Our work suggests that universal spin models are weaker than universal Turing machines.


title: Eliminating Intermediate Measurements in Space-Bounded Quantum Computation

abstract: A foundational result in the theory of quantum computation known as the "principle of safe storage" shows that it is always possible to take a quantum circuit and produce an equivalent circuit that makes all measurements at the end of the computation. While this procedure is time efficient, meaning that it does not introduce a large overhead in the number of gates, it uses extra ancillary qubits and so is not generally space efficient. It is quite natural to ask whether it is possible to defer measurements to the end of a quantum computation without increasing the number of ancillary qubits. We give an affirmative answer to this question by exhibiting a procedure to eliminate all intermediate measurements that is simultaneously space-efficient and time-efficient. A key component of our approach, which may be of independent interest, involves showing that the well-conditioned versions of many standard linear-algebraic problems may be solved by a quantum computer in less space than seems possible by a classical computer.


title: A Meta-Bayesian Model of Intentional Visual Search

abstract: We propose a computational model of visual search that incorporates Bayesian interpretations of the neural mechanisms that underlie categorical perception and saccade planning. To enable meaningful comparisons between simulated and human behaviours, we employ a gaze-contingent paradigm that required participants to classify occluded MNIST digits through a window that followed their gaze. The conditional independencies imposed by a separation of time scales in this task are embodied by constraints on the hierarchical structure of our model; planning and decision making are cast as a partially observable Markov Decision Process while proprioceptive and exteroceptive signals are integrated by a dynamic model that facilitates approximate inference on visual information and its latent causes. Our model is able to recapitulate human behavioural metrics such as classification accuracy while retaining a high degree of interpretability, which we demonstrate by recovering subject-specific parameters from observed human behaviour.


title: Quantifying the dynamics of protein self-organization using deep learning analysis of atomic force microscopy data

abstract: Dynamics of protein self-assembly on the inorganic surface and the resultant geometric patterns are visualized using high-speed atomic force microscopy. The time dynamics of the classical macroscopic descriptors such as 2D Fast Fourier Transforms (FFT), correlation and pair distribution function are explored using the unsupervised linear unmixing, demonstrating the presence of static ordered and dynamic disordered phases and establishing their time dynamics. The deep learning (DL)-based workflow is developed to analyze detailed particle dynamics on the particle-by-particle level. Beyond the macroscopic descriptors, we utilize the knowledge of local particle geometries and configurations to explore the evolution of local geometries and reconstruct the interaction potential between the particles. Finally, we use the machine learning-based feature extraction to define particle neighborhood free of physics constraints. This approach allowed separating the possible classes of particle behavior, identify the associated transition probabilities, and further extend this analysis to identify slow modes and associated configurations, allowing for systematic exploration and predictive modeling of the time dynamics of the system. Overall, this work establishes the DL based workflow for the analysis of the self-organization processes in complex systems from observational data and provides insight into the fundamental mechanisms.


title: Beyond Domain APIs: Task-oriented Conversational Modeling with Unstructured Knowledge Access

abstract: Most prior work on task-oriented dialogue systems are restricted to a limited coverage of domain APIs, while users oftentimes have domain related requests that are not covered by the APIs. In this paper, we propose to expand coverage of task-oriented dialogue systems by incorporating external unstructured knowledge sources. We define three sub-tasks: knowledge-seeking turn detection, knowledge selection, and knowledge-grounded response generation, which can be modeled individually or jointly. We introduce an augmented version of MultiWOZ 2.1, which includes new out-of-API-coverage turns and responses grounded on external knowledge sources. We present baselines for each sub-task using both conventional and neural approaches. Our experimental results demonstrate the need for further research in this direction to enable more informative conversational systems.


title: Online Motion Planning based on Nonlinear Model Predictive Control with Non-Euclidean Rotation Groups

abstract: This paper proposes a novel online motion planning approach to robot navigation based on nonlinear model predictive control. Common approaches rely on pure Euclidean optimization parameters. In robot navigation, however, state spaces often include rotational components which span over non-Euclidean rotation groups. The proposed approach applies nonlinear increment and difference operators in the entire optimization scheme to explicitly consider these groups. Realizations include but are not limited to quadratic form and time-optimal objectives. A complex parking scenario for the kinematic bicycle model demonstrates the effectiveness and practical relevance of the approach. In case of simpler robots (e.g. differential drive), a comparative analysis in a hierarchical planning setting reveals comparable computation times and performance. The approach is available in a modular and highly configurable open-source C++ software framework.


title: CoCon: A Self-Supervised Approach for Controlled Text Generation

abstract: Pretrained Transformer-based language models (LMs) display remarkable natural language generation capabilities. With their immense potential, controlling text generation of such LMs is getting attention. While there are studies that seek to control high-level attributes (such as sentiment and topic) of generated text, there is still a lack of more precise control over its content at the word- and phrase-level. Here, we propose Content-Conditioner (CoCon) to control an LM's output text with a content input, at a fine-grained level. In our self-supervised approach, the CoCon block learns to help the LM complete a partially-observed text sequence by conditioning with content inputs that are withheld from the LM. Through experiments, we show that CoCon can naturally incorporate target content into generated texts and control high-level text attributes in a zero-shot manner.


title: Multilayer Thin-Film Flake Dispersion Gel for Surface-Enhanced Raman Spectroscopy

abstract: Ag nanorod arrays/dielectrics/mirror-structured multilayer thin-film are well known, highly sensitive surface-enhanced Raman scattering (SERS) substrates that enhance the Raman scattering cross-section by the interference of light. However, extracting biomarkers directly from human skin using these solid substrates is difficult. To overcome this problem, we propose a multilayer thin-film flake dispersion gel by centrifugal mixing of the multilayer thin-film and hydroxyethyl cellulose (HEC) gel. The multilayer thin-film was prepared by serial bideposition using the dynamic oblique angle deposition technique. The mixing process was optimized to obtain flakes of ~10 {\mu}m so that the optical properties of the multilayer film can be preserved, and there is no risk of adverse effects on humans. The SERS features of the flakes dispersion gel were tested using 4, 4'-bipyridine (BPY). The BPY molecules diffused through the highly porous gel within a few seconds, generating significant SERS signals. The multilayer film flakes dispersion gel showed a SERS signal about 20 times better than the gel-dispersed Ag nanorod arrays without a multilayer film structure. These SERS active flakes dispersion gel can be used directly on the skin surface to collect body fluids from sweat, for biomarker sensing.


title: A Soft Humanoid Hand with In-Finger Visual Perception

abstract: We present a novel underactued humanoid five finger soft hand, the KIT \softhand, which is equipped with cameras in the fingertips and integrates a high performance embedded system for visual processing and control. We describe the actuation mechanism of the hand and the tendon-driven soft finger design with internally routed high-bandwidth flat-flex cables. For efficient on-board parallel processing of visual data from the cameras in each fingertip, we present a hybrid embedded architecture consisting of a field programmable logic array (FPGA) and a microcontroller that allows the realization of visual object segmentation based on convolutional neural networks. We evaluate the hand design by conducting durability experiments with one finger and quantify the grasp performance in terms of grasping force, speed and grasp success. The results show that the hand exhibits a grasp force of 31.8 N and a mechanical durability of the finger of more than 15.000 closing cycles. Finally, we evaluate the accuracy of visual object segmentation during the different phases of the grasping process using five different objects. Hereby, an accuracy above 90 % can be achieved.


title: Generalized V-line transforms in 2D vector tomography

abstract: We study the inverse problem of recovering a vector field in $\mathbb{R}^2$ from a set of new generalized $V$-line transforms in three different ways. First, we introduce the longitudinal and transverse $V$-line transforms for vector fields in $\mathbb{R}^2$. We then give an explicit characterization of their respective kernels and show that they are complements of each other. We prove invertibility of each transform modulo their kernels and combine them to reconstruct explicitly the full vector field. In the second method, we combine the longitudinal and transverse V-line transforms with their corresponding first moment transforms and recover the full vector field from either pair. We show that the available data in each of these setups can be used to derive the signed V-line transform of both scalar component of the vector field, and use the known inversion of the latter. The final major result of this paper is the derivation of an exact closed form formula for reconstruction of the full vector field in $\mathbb{R}^2$ from its star transform with weights. We solve this problem by relating the star transform of the vector field to the ordinary Radon transform of the scalar components of the field.


title: Current statistics and depinning transition for a one-dimensional Langevin process in the weak-noise limit

abstract: We consider a particle with a Langevin dynamics driven by a uniform non-conservative force, in a one-dimensional potential with periodic boundary conditions. We are interested in the properties of the system for atypical values of the time-integral of a generalized particle current. To study these, we bias the dynamics, at trajectory level, by a parameter conjugated to the current, within the large-deviation formalism. We investigate, in the weak-noise limit, the phase diagram spanned by the physical driving force and the parameter defining the biased process. We focus in particular on the depinning transition in this two-dimensional phase diagram. In the absence of trajectory bias, the depinning transition as a function of the force is characterized by the standard exponent $\frac{1}{2}$. We show that for any non-zero bias, the depinning transition is characterized by an inverse logarithmic behavior as a function of either the bias or the force, close to the critical lines. We also report a scaling exponent $\frac{1}{3}$ for the current when considering the depinning transition in terms of the bias, fixing the non-conservative force to its critical value in the absence of bias. Then, focusing on the time-integrated particle current, we study the thermal rounding effects in the zero-current phase when the tilted potential exhibits a local minimum. We derive in this case the Arrhenius scaling, in the small noise limit, of both the particle current and the scaled cumulant generating function. This derivation of the Arrhenius scaling relies on the determination of the left eigenvector of the biased Fokker-Planck operator, to exponential order in the low-noise limit. An effective Poissonian statistics of the integrated current emerges in this limit.


title: Quantum Optics of an Oscillator Falling into a Black Hole

abstract: We present a quantum optics treatment of the near horizon behaviour of a quantum oscillator freely-falling into a pre-existing Schwarzschild black hole. We use Painleve-Gullstrand coordinates to define a global vacuum state. In contrast to an accelerated oscillator in the Minkowski vacuum, where there is no radiation beyond an initial transient, we find that the oscillator radiates positive energy to to infinity and negative energy into the black hole as it attempts to come into equilibrium with the ambient vacuum. We discuss the relationship of the model to Hawking radiation.


title: Sentiment Analysis Based on Deep Learning: A Comparative Study

abstract: The study of public opinion can provide us with valuable information. The analysis of sentiment on social networks, such as Twitter or Facebook, has become a powerful means of learning about the users' opinions and has a wide range of applications. However, the efficiency and accuracy of sentiment analysis is being hindered by the challenges encountered in natural language processing (NLP). In recent years, it has been demonstrated that deep learning models are a promising solution to the challenges of NLP. This paper reviews the latest studies that have employed deep learning to solve sentiment analysis problems, such as sentiment polarity. Models using term frequency-inverse document frequency (TF-IDF) and word embedding have been applied to a series of datasets. Finally, a comparative study has been conducted on the experimental results obtained for the different models and input features


title: Universal time delay in static spherically symmetric spacetimes for null and timelike signals

abstract: A perturbative method to compute the total travel time of both null and lightlike rays in arbitrary static spherically symmetric spacetimes in the weak field limit is proposed. The resultant total time takes a quasi-series form of the impact parameter. The coefficient of this series at a certain order $n$ is shown to be determined by the asymptotic expansion of the metric functions to the order $n+1$. To the leading order(s), the time delay, as well as the difference between the time delays of two kinds of relativistic signals, is then shown to take a universal form for all SSS spacetimes. This universal form depends on the mass $M$ and a post-Newtonian parameter $\gamma$ of the spacetime. The analytical result is numerically verified using the central black hole of M87 as the gravitational lensing center.


title: Chlorine insertion and manipulation on the Si(100)-2x1-Cl surface in the regime of local supersaturation

abstract: We insert and manipulate a single chlorine atom in chlorine monolayer on a Si(100)-2x1 surface using a scanning tunneling microscope. Two objects were created - a Cl atom in a groove between two dimer rows, and bridge-bonded Cl on a silicon dimer. Changing the voltage polarity leads to conversion of the objects into each other. Anisotropic movement of the objects at 77 K is mediated by two different diffusion mechanisms: hopping and crowdion-like motion. Insertion of a Cl atom in a groove between two dimer rows leads to the formation of a dangling bond on a third-layer Si atom. At positive sample voltage bias, the first object is positively charged, while the second object can be neutral or negatively charged depending on silicon sample doping.


title: Some Special Sets in an Exponential Vector Space

abstract: In this paper, we have studied 'absorbing' and 'balanced' sets in an Exponential Vector Space (\emph{evs} in short) over the field $\mathbb K$ of real or complex. These sets play pivotal role to describe several aspects of a topological evs. We have characterised a local base at the additive identity in terms of balanced and absorbing sets in a topological evs over the field $\mathbb K$. Also, we have found a sufficient condition under which an evs can be topologised to form a topological evs. Next, we have introduced the concept of 'bounded sets' in a topological evs over the field $\mathbb K$ and characterised them with the help of balanced sets. Also we have shown that compactness implies boundedness of a set in a topological evs. In the last section we have introduced the concept of `radial' evs which characterises an evs over the field $\mathbb K$ up to order-isomorphism. Also, we have shown that every topological evs is radial. Further, it has been shown that "the usual subspace topology is the finest topology with respect to which $[0,\infty)$ forms a topological evs over the field $\mathbb K$".


title: Learning Multiclass Classifier Under Noisy Bandit Feedback

abstract: This paper addresses the problem of multiclass classification with corrupted or noisy bandit feedback. In this setting, the learner may not receive true feedback. Instead, it receives feedback that has been flipped with some non-zero probability. We propose a novel approach to deal with noisy bandit feedback based on the unbiased estimator technique. We further offer a method that can efficiently estimate the noise rates, thus providing an end-to-end framework. The proposed algorithm enjoys a mistake bound of the order of $O(\sqrt{T})$ in the high noise case and of the order of $O(T^{\nicefrac{2}{3}})$ in the worst case. We show our approach's effectiveness using extensive experiments on several benchmark datasets.


title: How (Un)Happiness Impacts on Software Engineers in Agile Teams?

abstract: Information technology (IT) organizations are increasing the use of agile practices, which are based on a people-centred culture alongside the software development process. Thus, it is vital to understand the social and human factors of the individuals working in agile environments, such as happiness and unhappiness and how these factors impact this kind of environment. Therefore, five case-studies were developed inside agile projects, in a company that values innovation, aiming to identify how (un)happiness impacts software engineers in agile environments. According to the answers gathered from 67 participants through a survey, interviews and using a cross-analysis, happiness factors identified by agile teams were effective communication, motivated members, collaboration among members, proactive members, and present leaders.


title: Groups acting on CAT(0) cube complexes with uniform exponential growth

abstract: We study uniform exponential growth of groups acting on CAT(0) cube complexes. We show that groups acting without global fixed points on CAT(0) square complexes either have uniform exponential growth or stabilize a Euclidean subcomplex. This generalizes the work of Kar and Sageev that considers free actions. Our result lets us show uniform exponential growth for certain groups that act improperly on CAT(0) square complexes, namely, finitely generated subgroups of the Higman group and triangle-free Artin groups. We also obtain that non-virtually abelian groups acting freely on CAT(0) cube complexes of any dimension with isolated flats that admit a geometric group action have uniform exponential growth.


title: Graphon Neural Networks and the Transferability of Graph Neural Networks

abstract: Graph neural networks (GNNs) rely on graph convolutions to extract local features from network data. These graph convolutions combine information from adjacent nodes using coefficients that are shared across all nodes. Since these coefficients are shared and do not depend on the graph, one can envision using the same coefficients to define a GNN on another graph. This motivates analyzing the transferability of GNNs across graphs. In this paper we introduce graphon NNs as limit objects of GNNs and prove a bound on the difference between the output of a GNN and its limit graphon-NN. This bound vanishes with growing number of nodes if the graph convolutional filters are bandlimited in the graph spectral domain. This result establishes a tradeoff between discriminability and transferability of GNNs.


title: Surveying undergraduate Greek student's knowledge on some issues of radiations and Nuclear Energy

abstract: In this work we present some results from a survey aimed to assess the knowledge and views of the Greek undergraduate students (technology oriented) on some issues of radiations, nuclear energy and their consequences. Findings indicate that the, examined group, of Greek students have a series of misconceptions and faulty views on radiations and general nuclear issues. No significant differences in the students responses related to the type of secondary school they attended were found. Moreover, analysis according to gender, indicated that females are less informed than males in most of the examined issues


title: The Expected Jacobian Outerproduct: Theory and Empirics

abstract: The expected gradient outerproduct (EGOP) of an unknown regression function is an operator that arises in the theory of multi-index regression, and is known to recover those directions that are most relevant to predicting the output. However, work on the EGOP, including that on its cheap estimators, is restricted to the regression setting. In this work, we adapt this operator to the multi-class setting, which we dub the expected Jacobian outerproduct (EJOP). Moreover, we propose a simple rough estimator of the EJOP and show that somewhat surprisingly, it remains statistically consistent under mild assumptions. Furthermore, we show that the eigenvalues and eigenspaces also remain consistent. Finally, we show that the estimated EJOP can be used as a metric to yield improvements in real-world non-parametric classification tasks: both by its use as a metric, and also as cheap initialization in metric learning tasks.


title: Solvability of Poisson algebras

abstract: Let $P$ be a Poisson algebra with a Lie bracket $\{, \}$ over a field $\F$ of characteristic $p\geq 0$. In this paper, the Lie structure of $P$ is investigated. In particular, if $P$ is solvable with respect to its Lie bracket, then we prove that the Poisson ideal $\mathcal{J}$ of $P$ generated by all elements $\{\{\{x_1, x_2\}, \{x_3, x_4\}\}, x_5\}$ with $x_1,\ldots ,x_5 \in P$ is associative nilpotent of index bounded by a function of the derived length of $P$. We use this result to further prove that if $P$ is solvable and $p\neq 2$, then the Poisson ideal $\{P,P\}P$ is nil.


title: An Ergodic Measure for Active Learning From Equilibrium

abstract: This paper develops KL-Ergodic Exploration from Equilibrium ($\text{KL-E}^3$), a method for robotic systems to integrate stability into actively generating informative measurements through ergodic exploration. Ergodic exploration enables robotic systems to indirectly sample from informative spatial distributions globally, avoiding local optima, and without the need to evaluate the derivatives of the distribution against the robot dynamics. Using hybrid systems theory, we derive a controller that allows a robot to exploit equilibrium policies (i.e., policies that solve a task) while allowing the robot to explore and generate informative data using an ergodic measure that can extend to high-dimensional states. We show that our method is able to maintain Lyapunov attractiveness with respect to the equilibrium task while actively generating data for learning tasks such, as Bayesian optimization, model learning, and off-policy reinforcement learning. In each example, we show that our proposed method is capable of generating an informative distribution of data while synthesizing smooth control signals. We illustrate these examples using simulated systems and provide simplification of our method for real-time online learning in robotic systems.


title: Logical Team Q-learning: An approach towards factored policies in cooperative MARL

abstract: We address the challenge of learning factored policies in cooperative MARL scenarios. In particular, we consider the situation in which a team of agents collaborates to optimize a common cost. The goal is to obtain factored policies that determine the individual behavior of each agent so that the resulting joint policy is optimal. The main contribution of this work is the introduction of Logical Team Q-learning (LTQL). LTQL does not rely on assumptions about the environment and hence is generally applicable to any collaborative MARL scenario. We derive LTQL as a stochastic approximation to a dynamic programming method we introduce in this work. We conclude the paper by providing experiments (both in the tabular and deep settings) that illustrate the claims.


title: TDMH: a communication stack for real-time wireless mesh networks

abstract: We present the TDMH (Time Deterministc Multi-Hop) protocol, a complete stack for real-time wireless mesh networks. TDMH offers to applications a connection-oriented, bounded-latency communication model. Point-to-point data streams can be created and destroyed at any time. Path redundancy can be optionally introduced to improve reliability. TDMH exploits state-of-the-art low power clock synchronisation and constructive interference flooding to build a continuously updated graph of the network topology, onto which a centralized scheduler maps data streams using TDMA channel access. We realised TDMH as a unitary codebase, that we ran on both the OMNeT++ simulator and WandStem wireless nodes. As a result we can state that when built atop the IEEE 802.15.4 physical layer, TDMH can scale up to 100 nodes, 10 hops and beyond, despite the limited available bandwidth.


title: Masked Language Modeling for Proteins via Linearly Scalable Long-Context Transformers

abstract: Transformer models have achieved state-of-the-art results across a diverse range of domains. However, concern over the cost of training the attention mechanism to learn complex dependencies between distant inputs continues to grow. In response, solutions that exploit the structure and sparsity of the learned attention matrix have blossomed. However, real-world applications that involve long sequences, such as biological sequence analysis, may fall short of meeting these assumptions, precluding exploration of these models. To address this challenge, we present a new Transformer architecture, Performer, based on Fast Attention Via Orthogonal Random features (FAVOR). Our mechanism scales linearly rather than quadratically in the number of tokens in the sequence, is characterized by sub-quadratic space complexity and does not incorporate any sparsity pattern priors. Furthermore, it provides strong theoretical guarantees: unbiased estimation of the attention matrix and uniform convergence. It is also backwards-compatible with pre-trained regular Transformers. We demonstrate its effectiveness on the challenging task of protein sequence modeling and provide detailed theoretical analysis.


title: Knock, Knock. Who's There? On the Security of LG's Knock Codes

abstract: Knock Codes are a knowledge-based unlock authentication scheme used on LG smartphones where a user enters a code by tapping or "knocking" a sequence on a 2x2 grid. While a lesser used authentication method, as compared to PINs or Android patterns, there is likely a large number of Knock Code users; we estimate, 700,000--2,500,000 in the US alone. In this paper, we studied Knock Codes security asking participants to select codes on mobile devices in three settings: a control treatment, a blocklist treatment, and a treatment with a larger, 2x3 grid. We find that Knock Codes are significantly weaker than other deployed authentication, e.g., PINs or Android patterns. In a simulated attacker setting, 2x3 grids offered no additional security, but blocklisting was more beneficial, making Knock Codes' security similar to Android patterns. Participants expressed positive perceptions of Knock Codes, but usability was challenged. SUS values were "marginal" or "ok" across treatments. Based on these findings, we recommend deploying blacklists for selecting a Knock Code because it improves security but has limited impact on usability perceptions.


title: Liouvillian exceptional points of any order in dissipative linear bosonic systems: Coherence functions and switching between ${\cal PT}$ and anti-${\cal PT}$ symmetries

abstract: Usually, when investigating exceptional points (EPs) of an open Markovian bosonic system, one deals with spectral degeneracies of a non-Hermitian Hamiltonian (NHH), which can correctly describe the system dynamics only in the semiclassical regime. A recently proposed quantum Liouvillian framework enables to completely determine the dynamical properties of such systems and their EPs (referred to as Liouvillian EPs, or LEPs) in the quantum regime by taking into account the effects of quantum jumps, which are ignored in the NHH formalism. Moreover, the symmetry and eigenfrequency spectrum of the NHH become a part of much larger Liouvillian eigenspace. As such, the EPs of an NHH form a subspace of the LEPs. Here we show that once an NHH of a dissipative linear bosonic system exhibits an EP of a certain finite order $n$, it immediately implies that the corresponding LEP can become of any higher order $m\geq n$, defined in the infinite Hilbert space. Most importantly, these higher-order LEPs can be identified by the coherence and spectral functions at the steady state. The coherence functions can offer a convenient tool to probe extreme system sensitivity to external perturbations in the vicinity of higher-order LEPs. As an example, we study a linear bosonic system of a bimodal cavity with incoherent mode coupling to reveal its higher-order LEPs; particularly, of second and third order via first- and second-order coherence functions, respectively. Accordingly, these LEPs can be additionally revealed by squared and cubic Lorentzian spectral lineshapes in the power and intensity-fluctuation spectra. Moreover, we demonstrate that these EPs can also be associated with spontaneous parity-time (${\cal PT}$) and anti-${\cal PT}$-symmetry breaking in the system studied.


title: Multiple ergodic averages along functions from a Hardy field: convergence, recurrence and combinatorial applications

abstract: We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in [Fra10; Fra16] and obtain combinatorial applications which contain, as rather special cases, several previously known (polynomial and non-polynomial) extensions of Szemeredi's theorem on arithmetic progressions [BL96; BLL08; FW09; Fra10; BMR17]. One of the novel features of our results, which is not present in previous work, is that they allow for a mixture of polynomials and non-polynomial functions. As an illustration, assume $f_i(t)=a_{i,1}t^{c_{i,1}}+\cdots+a_{i,d}t^{c_{i,d}}$ for $c_{i,j}>0$ and $a_{i,j}\in\mathbb{R}$. Then $\bullet$ for any measure preserving system $(X,{\mathcal B},\mu,T)$ and $h_1,\dots,h_k\in L^\infty(X)$, the limit $$\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T^{[f_1(n)]}h_1\cdots T^{[f_k(n)]}h_k$$ exists in $L^2$; $\bullet$ for any $E\subset \mathbb{N}$ with $\overline{\mathrm{d}}(E)>0$ there are $a,n\in\mathbb{N}$ such that $\{a,\, a+[f_1(n)],\ldots,a+[f_k(n)]\}\subset E$. We also show that if $f_1,\dots,f_k$ belong to a Hardy field, have polynomial growth, and are such that no linear combination of them is a polynomial, then for any measure preserving system $(X,{\mathcal B},\mu,T)$ and any $A\in{\mathcal B}$, $$\limsup_{N\to\infty}\frac{1}{N}\sum_{n=1}^N\mu\Big(A\cap T^{-[ f_1(n) ]}A\cap\ldots\cap T^{-[f_k(n)]}A\Big)\,\geq\,\mu(A)^{k+1}.$$


title: Value of Point-of-load Voltage Control for Enhanced Frequency Response in Future GB Power System

abstract: The need for Enhanced Frequency Response (EFR) is expected to increase significantly in future low-carbon Great Britain (GB) power system. One way to provide EFR is to use power electronic compensators (PECs) for point-of-load voltage control (PVC) to exploit the voltage dependence of loads. This paper investigates the techno-economic feasibility of such technology in future GB power system by quantifying the total EFR obtainable through deploying PVC in the urban domestic sector, the investment cost of the installment and the economic and environmental benefits of using PVC. The quantification is based on a stochastic domestic demand model and generic medium and low-voltage distribution networks for the urban areas of GB and a stochastic unit commitment (SUC) model with constraints for secure post-fault frequency evolution is used for the value assessment. Two future energy scenarios in the backdrop of 2030 with `smart' and `non-smart' control of electric vehicles and heat pumps, under different levels of penetration of battery energy storage system (BESS) are considered to assess the value of PEC, as well as the associated payback period. It is demonstrated that PVC could effectively complement BESS towards EFR provision in future GB power system.


title: Using an interpretable Machine Learning approach to study the drivers of International Migration

abstract: Globally increasing migration pressures call for new modelling approaches in order to design effective policies. It is important to have not only efficient models to predict migration flows but also to understand how specific parameters influence these flows. In this paper, we propose an artificial neural network (ANN) to model international migration. Moreover, we use a technique for interpreting machine learning models, namely Partial Dependence Plots (PDP), to show that one can well study the effects of drivers behind international migration. We train and evaluate the model on a dataset containing annual international bilateral migration from $1960$ to $2010$ from $175$ origin countries to $33$ mainly OECD destinations, along with the main determinants as identified in the migration literature. The experiments carried out confirm that: 1) the ANN model is more efficient w.r.t. a traditional model, and 2) using PDP we are able to gain additional insights on the specific effects of the migration drivers. This approach provides much more information than only using the feature importance information used in previous works.


title: Quantifying the higher-order influence of scientific publications

abstract: Citation impact is commonly assessed using direct, first-order citation relations. We consider here instead the indirect influence of publications on new publications via citations. We present a novel method to quantify the higher-order citation influence of publications, considering both direct, or first-order, and indirect, or higher-order citations. In particular, we are interested in higher-order citation influence at the level of disciplines. We apply this method to the whole Web of Science data at the level of disciplines. We find that a significant amount of influence -- 42% -- stems from higher-order citations. Furthermore, we show that higher-order citation influence is helpful to quantify and visualize citation flows among disciplines, and to assess their degree of interdisciplinarity.


title: Blind De-Blurring of Microscopy Images for Cornea Cell Counting

abstract: Cornea cell count is an important diagnostic tool commonly used by practitioners to assess the health of a patient's cornea. Unfortunately, clinical specular microscopy requires the acquisition of a large number of images at different focus depths because the curved shape of the cornea makes it impossible to acquire a single all-in-focus image. This paper describes two methods and their implementations to reduce the number of images required to run a cell-counting algorithm, thus shortening the duration of the examination and increasing the patient's comfort. The basic idea is to apply de-blurring techniques on the raw images to reconstruct the out-of-focus areas and expand the sharp regions of the image. Our approach is based on blind-deconvolution reconstruction that performs a depth-from-deblur so to either model Gaussian kernel or to fit kernels from an ad hoc lookup table.


title: Top-induced contributions to $H\rightarrow b\bar{b}$ and $H\rightarrow c\bar{c}$ at $\mathcal{O}(\alpha_s^3)$

abstract: In this paper we present a fully-differential calculation for the contributions to the partial widths $H\rightarrow b\bar{b}$ and $H\rightarrow c\bar{c}$ that are sensitive to the top quark Yukawa coupling $y_t$ to order $\alpha_s^3$. These contributions first enter at order $\alpha_s^2$ through terms proportional to $y_t y_q$ ($q=b,c$). At order $\alpha_s^3$ corrections to the mixed terms are present as well as a new contribution proportional to $y_t^2$. Our results retain the mass of the final-state quarks throughout, while the top quark is integrated out resulting in an effective field theory (EFT). Our results are implemented into a Monte Carlo code allowing for the application of arbitrary final-state selection cuts. As an example we present differential distributions for observables in the Higgs boson rest frame using the Durham jet clustering algorithm. We find that the total impact of the top-induced (i.e. EFT) pieces is sensitive to the nature of the final-state cuts, particularly b-tagging and c-tagging requirements. For bottom quarks, the EFT pieces contribute to the total width (and differential distributions) at around the percent level. The impact is much bigger for the $H\rightarrow c\bar{c}$ channel, with effects as large as 15%. We show however that their impact can be significantly reduced by the application of jet-tagging selection cuts.


title: Spoken dialect identification in Twitter using a multi-filter architecture

abstract: This paper presents our approach for SwissText & KONVENS 2020 shared task 2, which is a multi-stage neural model for Swiss German (GSW) identification on Twitter. Our model outputs either GSW or non-GSW and is not meant to be used as a generic language identifier. Our architecture consists of two independent filters where the first one favors recall, and the second one filter favors precision (both towards GSW). Moreover, we do not use binary models (GSW vs. not-GSW) in our filters but rather a multi-class classifier with GSW being one of the possible labels. Our model reaches F1-score of 0.982 on the test set of the shared task.


title: Multiple solutions to cylindrically symmetric curl-curl problems and related Schr\"odinger equations with singular potentials

abstract: We look for multiple solutions $\mathbf{U}\colon\mathbb{R}^3\to\mathbb{R}^3$ to the curl-curl problem \[ \nabla\times\nabla\times\mathbf{U}=h(x,\mathbf{U}),\qquad x\in\mathbb{R}^3, \] with a nonlinear function $h\colon\mathbb{R}^3\times\mathbb{R}^3\to\mathbb{R}^3$ which is critical in $\mathbb{R}^3$, i.e., $h(x,\mathbf{U})=|\mathbf{U}|^4\mathbf{U}$, or has subcritical growth at infinity. If $h$ is radial in $\mathbf{U}$ and $a=1$ below, then we show that the solutions to the problem above are in one-to-one correspondence with the solutions to the following Schr\"odinger equation \[ -\Delta u+\frac{a}{r^2}u=f(x,u),\qquad u\colon\mathbb{R}^3\to \mathbb{R}, \] where $x=(y,z)\in \mathbb{R}^2\times \mathbb{R}$, $r=|y|$ and $a \ge 0$. In the critical case, the multiplicity problem for the latter equation has been studied only in the autonomous case $a=0$ and the available methods seem to be insufficient for the problem involving the singular potential, i.e., $a\neq 0$, due to the lack of conformal invariance. Therefore we develop methods for the critical curl-curl problem and show the multiplicity of bound states for both equations. In the subcritical case, instead, studying the Schr\"odinger equation in higher dimensions, we find infinitely many bound states for both problems.


title: PASSVM: A Highly Accurate Online Fast Flux Detection System

abstract: Fast Flux service networks (FFSNs) are used by adversaries to achieve a high resilient technique for their malicious servers while keeping them hidden from direct access. In this technique, a large number of botnet machines, that are known as flux agents, work as proxies to relay the traffic between end users and a malicious mothership server which is controlled by an adversary. Various mechanisms have been proposed for detecting FFSNs. Such mechanisms depend on collecting a large amount of DNS traffic traces and require a considerable amount of time to identify fast flux domains. In this paper, we propose an efficient AI-based online fast flux detection system that performs highly accurate and extremely fast detection of fast flux domains. The proposed system, called PASSVM, is based on features that are associated with DNS response messages of a given domain name. The approach relies on features that are stored in two local databases, in addition to features that are extracted from the response DNS messages itself. The information in the databases are obtained from Censys search engine and IP Geolocation service. PASSVM is evaluated using three types of artificial neural networks which are: Multilayer Perceptron (MLP), Radial Basis Function Network (RBF), and Support Vector Machines (SVM). Results show that SVM with RBF kernel outperformed the other two methods with an accuracy of 99.557% and a detection time of less than 18 ms.


title: Line Completion Number of Grid Graph $P_n \times P_m$

abstract: The concept of super line graph was introduced in the year 1995 by Bagga, Beineke and Varma. Given a graph with at least $r$ edges, the super line graph of index $r$, $L_r(G)$, has as its vertices the sets of $r$ edges of $G$, with two adjacent if there is an edge in one set adjacent to an edge in the other set. The line completion number $lc(G)$ of a graph $G$ is the least positive integer $r$ for which $L_r(G)$ is a complete graph. In this paper, we find the line completion number of grid graph $P_n \times P_m$ for various cases of $n$ and $m$.