title: Binary-state dynamics on complex networks: Stochastic pair approximation and beyond

abstract: Theoretical approaches to binary-state models on complex networks are generally restricted to infinite size systems, where a set of non-linear deterministic equations is assumed to characterize its dynamics and stationary properties. We develop in this work the stochastic formalism of the different compartmental approaches, these are: approximate master equation (AME), pair approximation (PA) and heterogeneous mean field (HMF), in descending order of accuracy. Using different system-size expansions of a general master equation, we are able to obtain approximate solutions of the fluctuations and finite-size corrections of the global state. On the one hand, far from criticality, the deviations from the deterministic solution are well captured by a Gaussian distribution whose properties we derive, including its correlation matrix and corrections to the average values. On the other hand, close to a critical point there are non-Gaussian statistical features that can be described by the finite-size scaling functions of the models. We show how to obtain the scaling functions departing only from the theory of the different approximations. We apply the techniques for a wide variety of binary-state models in different contexts, such as epidemic, opinion and ferromagnetic models.


title: Dynamics of polynomial semigroups: measures, potentials, and external fields

abstract: In this paper, we give a description of a natural invariant measure associated with a finitely generated polynomial semigroup (which we shall call the Dinh--Sibony measure) in terms of potential theory. This requires the theory of logarithmic potentials in the presence of an external field, which, in our case, is explicitly determined by the choice of a set of generators. Along the way, we establish the continuity of the logarithmic potential for the Dinh--Sibony measure, which might be of independent interest. We then use the $F$-functional of Mhaskar and Saff to discuss bounds on the capacity and diameter of the Julia sets of such semigroups.


title: A thematic analysis of highly retweeted early COVID -19 tweets: Consensus, information, dissent, and lockdown life

abstract: Purpose: Public attitudes towards COVID-19 and social distancing are critical in reducing its spread. It is therefore important to understand public reactions and information dissemination in all major forms, including on social media. This article investigates important issues reflected on Twitter in the early stages of the public reaction to COVID-19. Design/methodology/approach: A thematic analysis of the most retweeted English-language tweets mentioning COVID-19 during March 10-29, 2020. Findings: The main themes identified for the 87 qualifying tweets accounting for 14 million retweets were: lockdown life; attitude towards social restrictions; politics; safety messages; people with COVID-19; support for key workers; work; and COVID-19 facts/news. Research limitations/implications: Twitter played many positive roles, mainly through unofficial tweets. Users shared social distancing information, helped build support for social distancing, criticised government responses, expressed support for key workers, and helped each other cope with social isolation. A few popular tweets not supporting social distancing show that government messages sometimes failed. Practical implications: Public health campaigns in future may consider encouraging grass roots social web activity to support campaign goals. At a methodological level, analysing retweet counts emphasised politics and ignored practical implementation issues. Originality/value: This is the first qualitative analysis of general COVID-19-related retweeting.


title: Local and nonlocal optimal control in the source

abstract: The analysis of an optimal control problem of nonlocal type is analyzed. The results obtained are applied to the study the corresponding local optimal control problems. The state equations are governed by p-laplacian elliptic operators, of local and nonlocal type, and the costs belong to a wide class of integral functionals. The nonlocal problem is formulated by means of a convolution of the states with a kernel. This kernel depends on a parameter, called horizon which, is responsible for the nonlocality of the equation. The input function is the source of the elliptic equation. Existence of nonlocal controls is obtained and a G-convergence result is employed in this task. The limit of the solutions of the nonlocal optimal control, when the horizon tends to zero, is analyzed and compared to the solution of the underlying local optimal control problem.


title: Relaxing constraints on data acquisition and position detection for trap stiffness calibration in optical tweezers

abstract: Optical tweezers find applications in various fields, ranging from biology to physics. One of the fundamental steps necessary to perform quantitative measurements using trapped particles is the calibration of the tweezer's spring constant. This can be done through power spectral density analysis, from forward scattering detection of the particle's position. In this work, we propose and experimentally test simplifications to such measurement procedure, aimed at reducing post-processing of recorded data and dealing with acquisition devices that have frequency-dependent electronic noise. In the same line of simplifying the tweezer setup, we also present a knife-edge detection scheme that can substitute standard position-sensitive detectors.


title: Certifying Provenance of Scientific Datasets with Self-sovereign Identity and Verifiable Credentials

abstract: In order to increase the value of scientific datasets and improve research outcomes, it is important that only trustworthy data is used. This paper presents mechanisms by which scientists and the organisations they represent can certify the authenticity of characteristics and provenance of any datasets they publish so that secondary users can inspect and gain confidence in the qualities of data they source. By drawing on data models and protocols used to provide self-sovereign ownership of identity and personal data to individuals, we conclude that providing self-sovereignty to data assets offers a viable approach for institutions to certify qualities of their datasets in a cryptography secure manner, and enables secondary data users to efficiently perform verification of the authenticity of such certifications. By building upon emerging standards for decentralized identification and cryptographically verifiable credentials, we envisage an infrastructure of tools being developed to foster adoption of metadata certification schemes, and improving the quality of information provided in support of shared data assets.


title: On hyperbolic rational maps with finitely connected Fatou sets

abstract: In this paper, we study hyperbolic rational maps with finitely connected Fatou sets. We construct models of post-critically finite hyperbolic tree mapping schemes for such maps, generalizing post-critically finite rational maps in the case of connected Julia set. We show they are general limits of rational maps as we quasiconformally stretch the dynamics. Conversely, we use quasiconformal surgery to show any post-critically finite hyperbolic tree mapping scheme arises as such a limit. We construct abundant examples thanks to the flexibilities of the models, and use them to construct a sequence of rational maps of a fixed degree with infinitely many non-monomial rescaling limits.


title: Some remarks on Fano threefolds of index two and stability conditions

abstract: We prove that ideal sheaves of lines in a Fano threefold $X$ of Picard rank one and index two are stable objects in the Kuznetsov component $\mathsf{Ku}(X)$, with respect to the stability conditions constructed by Bayer, Lahoz, Macr\`i and Stellari, giving a modular description to the Hilbert scheme of lines in $X$. When $X$ is a cubic threefold, we show that the Serre functor of $\mathsf{Ku}(X)$ preserves these stability conditions. As an application, we obtain the smoothness of non-empty moduli spaces of stable objects in $\mathsf{Ku}(X)$. When $X$ is a quartic double solid, we describe a connected component of the stability manifold parametrizing stability conditions on $\mathsf{Ku}(X)$.


title: A matrix-free approach to geostatistical filtering

abstract: In this paper, we present a novel approach to geostatistical filtering which tackles two challenges encountered when applying this method to complex spatial datasets: modeling the non-stationarity of the data while still being able to work with large datasets. The approach is based on a finite element approximation of Gaussian random fields expressed as an expansion of the eigenfunctions of a Laplace--Beltrami operator defined to account for local anisotropies. The numerical approximation of the resulting random fields using a finite element approach is then leveraged to solve the scalability issue through a matrix-free approach. Finally, two cases of application of this approach, on simulated and real seismic data are presented.


title: Large induced trees in dense random graphs

abstract: Erd\H{o}s and Palka initiated the study of the maximal size of induced trees in random graphs in 1983. They proved that for every fixed $0<p<1$ the size of a largest induced tree in $G_{n,p}$ is concentrated around $2\log_q (np)$ with high probability, where $q=(1-p)^{-1}$. De la Vega showed concentration around the same value for $p=C/n$ where $C$ is a large constant, and his proof also works for all larger $p$. We show that for any given tree $T$ with bounded maximum degree and of size $(2-o(1))\log_q(np)$, $G_{n,p}$ contains an induced copy of $T$ with high probability for $n^{-1/2}\ln^{10/9}n\leq p\leq 0.99$. This is asymptotically optimal.


title: Maxwell-$CP(2)$ vortices in the presence of magnetic impurities

abstract: We consider a Maxwell-$CP(2)$ model extended to include a magnetic impurity. We focus our attention on the time-independent configurations with radial symmetry, from which we minimize the corresponding energy by following the Bogomol'nyi-Prasad-Sommerfield (BPS) prescription. We use the general first-order expressions in order to introduce modified scenarios in which the impurity plays a relevant role. We then solve the effective first-order equations numerically by means of a finite-difference scheme, from which we comment on the main changes on the shape of the final solutions caused by the presence of a localised impurity. We also discuss the limit when the impurity becomes a delta function.


title: TROPPO LoRa: TROPospheric Personal Observatory using LoRa signals

abstract: With the growth of LoRa deployments there are plenty of anecdotal reports of very long wireless links, well beyond the line of sight. Most reports suggest that these links are related to anomalous tropospheric propagation. We developed a platform to study tropospheric links based on TheThingsNetwork, a popular LoRaWAN-based infrastructure. We present some preliminary results and call for the IoT community to participate in this radio propagation experiment.


title: Deformable 3D Convolution for Video Super-Resolution

abstract: The spatio-temporal information among video sequences is significant for video super-resolution (SR). However, the spatio-temporal information cannot be fully used by existing video SR methods since spatial feature extraction and temporal motion compensation are usually performed sequentially. In this paper, we propose a deformable 3D convolution network (D3Dnet) to incorporate spatio-temporal information from both spatial and temporal dimensions for video SR. Specifically, we introduce deformable 3D convolution (D3D) to integrate deformable convolution with 3D convolution, obtaining both superior spatio-temporal modeling capability and motion-aware modeling flexibility. Extensive experiments have demonstrated the effectiveness of D3D in exploiting spatio-temporal information. Comparative results show that our network achieves state-of-the-art SR performance. Code is available at: https://github.com/XinyiYing/D3Dnet.


title: Mapping individual differences in cortical architecture using multi-view representation learning

abstract: In neuroscience, understanding inter-individual differences has recently emerged as a major challenge, for which functional magnetic resonance imaging (fMRI) has proven invaluable. For this, neuroscientists rely on basic methods such as univariate linear correlations between single brain features and a score that quantifies either the severity of a disease or the subject's performance in a cognitive task. However, to this date, task-fMRI and resting-state fMRI have been exploited separately for this question, because of the lack of methods to effectively combine them. In this paper, we introduce a novel machine learning method which allows combining the activation-and connectivity-based information respectively measured through these two fMRI protocols to identify markers of individual differences in the functional organization of the brain. It combines a multi-view deep autoencoder which is designed to fuse the two fMRI modalities into a joint representation space within which a predictive model is trained to guess a scalar score that characterizes the patient. Our experimental results demonstrate the ability of the proposed method to outperform competitive approaches and to produce interpretable and biologically plausible results.


title: Application of Structural Similarity Analysis of Visually Salient Areas and Hierarchical Clustering in the Screening of Similar Wireless Capsule Endoscopic Images

abstract: Small intestinal capsule endoscopy is the mainstream method for inspecting small intestinal lesions,but a single small intestinal capsule endoscopy will produce 60,000 - 120,000 images, the majority of which are similar and have no diagnostic value. It takes 2 - 3 hours for doctors to identify lesions from these images. This is time-consuming and increase the probability of misdiagnosis and missed diagnosis since doctors are likely to experience visual fatigue while focusing on a large number of similar images for an extended period of time.In order to solve these problems, we proposed a similar wireless capsule endoscope (WCE) image screening method based on structural similarity analysis and the hierarchical clustering of visually salient sub-image blocks. The similarity clustering of images was automatically identified by hierarchical clustering based on the hue,saturation,value (HSV) spatial color characteristics of the images,and the keyframe images were extracted based on the structural similarity of the visually salient sub-image blocks, in order to accurately identify and screen out similar small intestinal capsule endoscopic images. Subsequently, the proposed method was applied to the capsule endoscope imaging workstation. After screening out similar images in the complete data gathered by the Type I OMOM Small Intestinal Capsule Endoscope from 52 cases covering 17 common types of small intestinal lesions, we obtained a lesion recall of 100% and an average similar image reduction ratio of 76%. With similar images screened out, the average play time of the OMOM image workstation was 18 minutes, which greatly reduced the time spent by doctors viewing the images.


title: A Survey of Convolutional Neural Networks: Analysis, Applications, and Prospects

abstract: Convolutional Neural Network (CNN) is one of the most significant networks in the deep learning field. Since CNN made impressive achievements in many areas, including but not limited to computer vision and natural language processing, it attracted much attention both of industry and academia in the past few years. The existing reviews mainly focus on the applications of CNN in different scenarios without considering CNN from a general perspective, and some novel ideas proposed recently are not covered. In this review, we aim to provide novel ideas and prospects in this fast-growing field as much as possible. Besides, not only two-dimensional convolution but also one-dimensional and multi-dimensional ones are involved. First, this review starts with a brief introduction to the history of CNN. Second, we provide an overview of CNN. Third, classic and advanced CNN models are introduced, especially those key points making them reach state-of-the-art results. Fourth, through experimental analysis, we draw some conclusions and provide several rules of thumb for function selection. Fifth, the applications of one-dimensional, two-dimensional, and multi-dimensional convolution are covered. Finally, some open issues and promising directions for CNN are discussed to serve as guidelines for future work.


title: A decision support system for optimizing the cost of social distancing in order to stop the spread of COVID-19

abstract: Currently there are many attempts around the world to use computers, smartphones, tablets and other electronic devices in order to stop the spread of COVID-19. Most of these attempts focus on collecting information about infected people, in order to help healthy people avoid contact with them. However, social distancing decisions are still taken by the governments empirically. That is, the authorities do not have an automated tool to recommend which decisions to make in order to maximize social distancing and to minimize the impact for the economy. In this paper we address the aforementioned problem and we design an algorithm that provides social distancing methods (i.e., what schools, shops, factories, etc. to close) that are efficient (i.e., that help reduce the spread of the virus) and have low impact on the economy. On short: a) we propose several models (i.e., combinatorial optimization problems); b) we show some theoretical results regarding the computational complexity of the formulated problems; c) we give an algorithm for the most complex of the previously formulated problems; d) we implement and test our algorithm; and e) we show an integer linear program formulation for our problem.


title: High-Dimensional Data Set Simplification by Laplace-Beltrami Operator

abstract: With the development of the Internet and other digital technologies, the speed of data generation has become considerably faster than the speed of data processing. Because big data typically contain massive redundant information, it is possible to significantly simplify a big data set while maintaining the key information it contains. In this paper, we develop a big data simplification method based on the eigenvalues and eigenfunctions of the Laplace-Beltrami operator (LBO). Specifically, given a data set that can be considered as an unorganized data point set in high-dimensional space, a discrete LBO defined on the big data set is constructed and its eigenvalues and eigenvectors are calculated. Then, the local extremum and the saddle points of the eigenfunctions are proposed to be the feature points of a data set in high-dimensional space, constituting a simplified data set. Moreover, we develop feature point detection methods for the functions defined on an unorganized data point set in high-dimensional space, and devise metrics for measuring the fidelity of the simplified data set to the original set. Finally, examples and applications are demonstrated to validate the efficiency and effectiveness of the proposed methods, demonstrating that data set simplification is a method for processing a maximum-sized data set using a limited data processing capability.


title: DAISI: Database for AI Surgical Instruction

abstract: Telementoring surgeons as they perform surgery can be essential in the treatment of patients when in situ expertise is not available. Nonetheless, expert mentors are often unavailable to provide trainees with real-time medical guidance. When mentors are unavailable, a fallback autonomous mechanism should provide medical practitioners with the required guidance. However, AI/autonomous mentoring in medicine has been limited by the availability of generalizable prediction models, and surgical procedures datasets to train those models with. This work presents the initial steps towards the development of an intelligent artificial system for autonomous medical mentoring. Specifically, we present the first Database for AI Surgical Instruction (DAISI). DAISI leverages on images and instructions to provide step-by-step demonstrations of how to perform procedures from various medical disciplines. The dataset was acquired from real surgical procedures and data from academic textbooks. We used DAISI to train an encoder-decoder neural network capable of predicting medical instructions given a current view of the surgery. Afterwards, the instructions predicted by the network were evaluated using cumulative BLEU scores and input from expert physicians. According to the BLEU scores, the predicted and ground truth instructions were as high as 67% similar. Additionally, expert physicians subjectively assessed the algorithm using Likert scale, and considered that the predicted descriptions were related to the images. This work provides a baseline for AI algorithms to assist in autonomous medical mentoring.


title: Computer Vision and Abnormal Patient Gait Assessment a Comparison of Machine Learning Models

abstract: Abnormal gait, its associated falls and complications have high patient morbidity, mortality. Computer vision detects, predicts patient gait abnormalities, assesses fall risk and serves as clinical decision support tool for physicians. This paper performs a systematic review of how computer vision, machine learning models perform an abnormal patient's gait assessment. Computer vision is beneficial in gait analysis, it helps capture the patient posture. Several literature suggests the use of different machine learning algorithms such as SVM, ANN, K-Star, Random Forest, KNN, among others to perform the classification on the features extracted to study patient gait abnormalities.


title: Deterministic functions on amenable semigroups and a generalization of the Kamae-Weiss theorem on normality preservation

abstract: A classical Kamae-Weiss theorem states that an increasing sequence $(n_i)_{i\in\mathbb N}$ of positive lower density is \emph{normality preserving}, i.e. has the property that for any normal binary sequence $(b_n)_{n\in\mathbb N}$, the sequence $(b_{n_i})_{i\in\mathbb N}$ is normal, if and only if $(n_i)_{i\in\mathbb N}$ is a deterministic sequence. Given a countable cancellative amenable semigroup $G$, and a F\o lner sequence $\mathcal F=(F_n)_{n\in\mathbb N}$ in $G$, we introduce the notions of normality preservation, determinism and subexponential complexity for subsets of $G$ with respect to $\mathcal F$, and show that for sets of positive lower $\mathcal F$-density these three notions are equivalent. The proof utilizes the apparatus of the theory of tilings of amenable groups and the notion of tile-entropy. We also prove that under a natural assumption on $\mathcal F$, positive lower $\mathcal F$-density follows from normality preservation. Finally, we provide numerous examples of normality preserving sets in various semigroups


title: On the Goodwillie derivatives of the identity in structured ring spectra

abstract: The aim of this paper is three-fold: (i) we construct a naturally occurring highly homotopy coherent operad structure on the derivatives of the identity functor on structured ring spectra which can be described as algebras over an operad $\mathcal{O}$ in spectra, (ii) we prove that every connected $\mathcal{O}$-algebra has a naturally occurring left action of the derivatives of the identity, and (iii) we show that there is a naturally occurring weak equivalence of highly homotopy coherent operads between the derivatives of the identity on $\mathcal{O}$-algebras and the operad $\mathcal{O}$. Along the way, we introduce the notion of $\mathbf{N}$-colored operads with levels which -- by construction -- provides a precise algebraic framework for working with and comparing highly homotopy coherent operads, operads, and their algebras.


title: Band gap reconstruction at the interface between black phosphorus and a gold electrode

abstract: We experimentally investigate charge transport through the interface between a gold electrode and a black phosphorus single crystal. The experimental $dI/dV(V)$ curves are characterized by well developed zero-bias conductance peak and two strongly different branches. We find that two branches of asymmetric $dI/dV(V)$ curves correspond to different band gap limits, which is consistent with the theoretically predicted band gap reconstruction at the surface of black phosphorus under electric field. This conclusion is confirmed by experimental comparison with the symmetric curves for narrow-gap (WTe$_2$) and wide-gap (GaSe) metal-semiconductor structures. In addition, we demonstrate p-type dopants redistribution at high bias voltages of different sign, which opens a way to use the interface structures with black phosphorus in resistive memory applications.


title: Leveraging the Inherent Hierarchy of Vacancy Titles for Automated Job Ontology Expansion

abstract: Machine learning plays an ever-bigger part in online recruitment, powering intelligent matchmaking and job recommendations across many of the world's largest job platforms. However, the main text is rarely enough to fully understand a job posting: more often than not, much of the required information is condensed into the job title. Several organised efforts have been made to map job titles onto a hand-made knowledge base as to provide this information, but these only cover around 60\% of online vacancies. We introduce a novel, purely data-driven approach towards the detection of new job titles. Our method is conceptually simple, extremely efficient and competitive with traditional NER-based approaches. Although the standalone application of our method does not outperform a finetuned BERT model, it can be applied as a preprocessing step as well, substantially boosting accuracy across several architectures.


title: The turbulent dynamics of Jupiter's and Saturn's weather layers: order out of chaos?

abstract: The weather layers of the gas giant planets, Jupiter and Saturn, comprise the shallow atmospheric layers that are influenced energetically by a combination of incoming solar radiation and localised latent heating of condensates, as well as by upwelling heat from their planetary interiors. They are also the most accessible regions of those planets to direct observations. Recent analyses in Oxford of cloud-tracked winds on Jupiter have demonstrated that kinetic energy is injected into the weather layer at scales comparable to the Rossby radius of deformation and cascades both upscale, mostly into the extra-tropical zonal jets, and downscale to the smallest resolvable scales in Cassini images. The large-scale flow on both Jupiter and Saturn appears to equilibrate towards a state which is close to marginal instability according to Arnol'd's 2nd stability theorem. This scenario is largely reproduced in a hierarchy of numerical models of giant planet weather layers, including relatively realistic models which seek to predict thermal and dynamical structures using a full set of parameterisations of radiative transfer, interior heat sources and even moist convection. Such models include the Jason GCM, developed in Oxford, which also represents the formation of (energetically passive) clouds of NH3, NH4SH and H2O condensates and the transport of condensable tracers. Recent results show some promise in comparison with observations from the Cassini and Juno missions, but some observed features (such as Jupiter's Great Red Spot and other compact ovals) are not yet captured spontaneously by any weather layer model. We review recent work in this vein and discuss a number of open questions for future study.


title: Greedy control of cascading failures in interdependent networks

abstract: Complex systems are challenging to control because the system responds to the controller in a nonlinear fashion, often incorporating feedback mechanisms. Interdependence of systems poses additional difficulties, as cross-system connections enable malicious activity to spread between layers, increasing systemic risk. In this paper we explore the conditions for an optimal control of cascading failures in a system of interdependent networks. Specifically, we study the Bak-Tang-Wiesenfeld sandpile model incorporating a control mechanism, which affects the frequency of cascades occurring in individual layers. This modification allows us to explore sandpile-like dynamics near the critical state, with supercritical region corresponding to infrequent large cascades and subcritical zone being characterized by frequent small avalanches. Topological coupling between networks introduces dependence of control settings adopted in respective layers, causing the control strategy of a given layer to be influenced by choices made in other connected networks. We find that the optimal control strategy for a layer operating in a supercritical regime is to be coupled to a layer operating in a subcritical zone, since such condition corresponds to reduced probability of inflicted avalanches. However this condition describes a parasitic relation, in which only one layer benefits. Second optimal configuration is a mutualistic one, where both layers adopt the same control strategy. This work demonstrates that control protocols in systems of interdependent networks need to take into account higher-order organization of the system and cannot be designed independently, maximizing benefits only for their individual layers.


title: Temporal rise in the proportion of younger adults and older adolescents among COVID-19 cases in Germany: evidence of lesser adherence to social distancing practices?

abstract: Background: There is uncertainty about the role of different age groups in propagating the SARS-CoV-2 epidemics in different countries. Methods: We used the Koch Institute data on COVID-19 cases in Germany. To minimize the effect of changes in healthcare seeking behavior and testing practices, we included the following 5-year age groups in the analyses: 10-14y through 45-49y. For each age group g, we considered the proportion PL(g) of individuals in age group g among all detected cases aged 10-49y during weeks 13-14, 2020 (later period), as well as corresponding proportion PE(g) for weeks 10-11, 2020 (early period), and the relative risk RR(g)=PL(g)/PE(g). For each pair of age groups g1,g2, a higher value of RR(g1) compared to RR(g2) is interpreted as the relative increase in the population incidence of SARS-Cov-2 for g1 compared to g2 for the later vs. early period. Results: The relative risk was highest for individuals aged 20-24y (RR=1.4(95% CI (1.27,1.55))), followed by individuals aged 15-19y (RR=1.14(0.99,1.32)), aged 30-34y (RR= 1.07(0.99,1.16)), aged 25-29y (RR= 1.06(0.98,1.15)), aged 35-39y (RR=0.95(0.87,1.03)), aged 40-44y (RR=0.9(0.83,0.98)), aged 45-49y (RR=0.83(0.77,0.89)) and aged 10-14y (RR=0.78(0.64,0.95)). Conclusions: The observed relative increase with time in the prevalence of individuals aged 15-34y (particularly those aged 20-24y) among COVID-19 cases is unlikely to be explained by increases in the likelihood of seeking medical care/being tested for individuals in those age groups compared to individuals aged 35-49y or 10-14y, suggesting an actual increase in the prevalence of individuals aged 15-34y among SARS-CoV-2 infections in the German population. That increase likely reflects elevated mixing among individuals aged 15-34y (particularly those aged 20-24y) compared to other age groups, possibly due to lesser adherence to social distancing practices.


title: Fast and Universal Kohn Sham Density Functional Theory Algorithm for Warm Dense Matter to Hot Dense Plasma

abstract: Understanding many processes, e.g. fusion experiments, planetary interiors and dwarf stars, depends strongly on microscopic physics modeling of warm dense matter (WDM) and hot dense plasma. This complex state of matter consists of a transient mixture of degenerate and nearly-free electrons, molecules, and ions. This regime challenges both experiment and analytical modeling, necessitating predictive \emph{ab initio} atomistic computation, typically based on quantum mechanical Kohn-Sham Density Functional Theory (KS-DFT). However, cubic computational scaling with temperature and system size prohibits the use of DFT through much of the WDM regime. A recently-developed stochastic approach to KS-DFT can be used at high temperatures, with the exact same accuracy as the deterministic approach, but the stochastic error can converge slowly and it remains expensive for intermediate temperatures (<50 eV). We have developed a universal mixed stochastic-deterministic algorithm for DFT at any temperature. This approach leverages the physics of KS-DFT to seamlessly integrate the best aspects of these different approaches. We demonstrate that this method significantly accelerated self-consistent field calculations for temperatures from 3 to 50 eV, while producing stable molecular dynamics and accurate diffusion coefficients.


title: Quantitative structure of stable sets in arbitrary finite groups

abstract: We show that a $k$-stable set in a finite group can be approximated, up to given error $\epsilon>0$, by left cosets of a subgroup of index $\epsilon^{\text{-}O_k(1)}$. This improves the bound in a similar result of Terry and Wolf on stable arithmetic regularity in finite abelian groups, and leads to a quantitative account of work of the author, Pillay, and Terry on stable sets in arbitrary finite groups. We also prove an analogous result for finite stable sets of small tripling in arbitrary groups, which provides a quantitative version of recent work by Martin-Pizarro, Palac\'{i}n, and Wolf. Our proofs use results on VC-dimension, and a finitization of model-theoretic techniques from stable group theory.


title: Magnetic moments of short-lived nuclei with part-per-million accuracy: Towards novel applications of $\beta$-detected NMR in physics, chemistry and biology

abstract: We determine for the first time the magnetic dipole moment of a short-lived nucleus with part-per-million (ppm) accuracy. To achieve this two orders of magnitude improvement over previous studies, we implement a number of innovations into our $\beta$-detected Nuclear Magnetic Resonance ($\beta$-NMR) setup at ISOLDE/CERN. Using liquid samples as hosts we obtain narrow, sub-kHz linewidth, resonances, while a simultaneous in-situ $^1$H NMR measurement allows us to calibrate and stabilize the magnetic field to ppm precision, thus eliminating the need for additional $\beta$-NMR reference measurements. Furthermore, we use ab initio calculations of NMR shielding constants to improve the accuracy of the reference magnetic moment, thus removing a large systematic error. We demonstrate the potential of this combined approach with the 1.1 s half-life radioactive nucleus $^{26}$Na, which is relevant for biochemical studies. Our technique can be readily extended to other isotopic chains, providing accurate magnetic moments for many short-lived nuclei. Furthermore, we discuss how our approach can open the path towards a wide range of applications of the ultra-sensitive $\beta$-NMR in physics, chemistry, and biology.


title: Extended affine Lie algebras, vertex algebras, and reductive groups

abstract: In this paper, we explore natural connections among the representations of the extended affine Lie algebra $\widehat{sl_N}(\mathbb{C}_q)$ with $\mathbb{C}_q=\mathbb{C}_q[t_0^{\pm1},t_1^{\pm1}]$ an irrational quantum 2-torus, the simple affine vertex algebra $L_{\widehat{sl_{\infty}}}(\ell,0)$ with $\ell$ a positive integer, and Levi subgroups $G$ of $GL_\ell(\mathbb{C})$. First, we give a canonical isomorphism between the category of integrable restricted $\widehat{sl_N}(\mathbb{C}_q)$-modules of level $\ell$ and that of equivariant quasi $L_{\widehat{sl_{\infty}}}(\ell,0)$-modules. Second, we classify irreducible $\mathbb{N}$-graded equivariant quasi $L_{\widehat{sl_{\infty}}}(\ell,0)$-modules. Third, we establish a duality between irreducible $\mathbb{N}$-graded equivariant quasi $L_{\widehat{sl_{\infty}}}(\ell,0)$-modules and irreducible regular $G$-modules on certain fermionic Fock spaces. Fourth, we obtain an explicit realization of every irreducible $\mathbb{N}$-graded equivariant quasi $L_{\widehat{sl_{\infty}}}(\ell,0)$-module. Fifth, we completely determine the following branchings: 1 The branching from $L_{\widehat{sl_{\infty}}}(\ell,0)\otimes L_{\widehat{sl_{\infty}}}(\ell',0)$ to $L_{\widehat{sl_{\infty}}}(\ell+\ell',0)$ for quasi modules. 2 The branching from $\widehat{sl_N}(\mathbb{C}_q)$ to its Levi subalgebras. 3 The branching from $\widehat{sl_N}(\mathbb{C}_q)$ to its subalgebras $\widehat{sl_N}(\mathbb{C}_q[t_0^{\pm M_0},t_1^{\pm M_1}])$.


title: LaNet: Real-time Lane Identification by Learning Road SurfaceCharacteristics from Accelerometer Data

abstract: The resolution of GPS measurements, especially in urban areas, is insufficient for identifying a vehicle's lane. In this work, we develop a deep LSTM neural network model LaNet that determines the lane vehicles are on by periodically classifying accelerometer samples collected by vehicles as they drive in real time. Our key finding is that even adjacent patches of road surfaces contain characteristics that are sufficiently unique to differentiate between lanes, i.e., roads inherently exhibit differing bumps, cracks, potholes, and surface unevenness. Cars can capture this road surface information as they drive using inexpensive, easy-to-install accelerometers that increasingly come fitted in cars and can be accessed via the CAN-bus. We collect an aggregate of 60 km driving data and synthesize more based on this that capture factors such as variable driving speed, vehicle suspensions, and accelerometer noise. Our formulated LSTM-based deep learning model, LaNet, learns lane-specific sequences of road surface events (bumps, cracks etc.) and yields 100% lane classification accuracy with 200 meters of driving data, achieving over 90% with just 100 m (correspondingly to roughly one minute of driving). We design the LaNet model to be practical for use in real-time lane classification and show with extensive experiments that LaNet yields high classification accuracy even on smooth roads, on large multi-lane roads, and on drives with frequent lane changes. Since different road surfaces have different inherent characteristics or entropy, we excavate our neural network model and discover a mechanism to easily characterize the achievable classification accuracies in a road over various driving distances by training the model just once. We present LaNet as a low-cost, easily deployable and highly accurate way to achieve fine-grained lane identification.


title: Non-Convex Optimization via Non-Reversible Stochastic Gradient Langevin Dynamics

abstract: Stochastic Gradient Langevin Dynamics (SGLD) is a powerful algorithm for optimizing a non-convex objective, where a controlled and properly scaled Gaussian noise is added to the stochastic gradients to steer the iterates towards a global minimum. SGLD is based on the overdamped Langevin diffusion which is reversible in time. By adding an anti-symmetric matrix to the drift term of the overdamped Langevin diffusion, one gets a non-reversible diffusion that converges to the same stationary distribution with a faster convergence rate. In this paper, we study the non reversible Stochastic Gradient Langevin Dynamics (NSGLD) which is based on discretization of the non-reversible Langevin diffusion. We provide finite-time performance bounds for the global convergence of NSGLD for solving stochastic non-convex optimization problems. Our results lead to non-asymptotic guarantees for both population and empirical risk minimization problems. Numerical experiments for Bayesian independent component analysis and neural network models show that NSGLD can outperform SGLD with proper choices of the anti-symmetric matrix.


title: Six-Point Conformal Blocks in the Snowflake Channel

abstract: We compute $d$-dimensional scalar six-point conformal blocks in the two possible topologies allowed by the operator product expansion. Our computation is a simple application of the embedding space operator product expansion formalism developed recently. Scalar six-point conformal blocks in the comb channel have been determined not long ago, and we present here the first explicit computation of the scalar six-point conformal blocks in the remaining inequivalent topology. For obvious reason, we dub the other topology the snowflake channel. The scalar conformal blocks, with scalar external and exchange operators, are presented as a power series expansion in the conformal cross-ratios, where the coefficients of the power series are given as a double sum of the hypergeometric type. In the comb channel, the double sum is expressible as a product of two ${}_3F_2$-hypergeometric functions. In the snowflake channel, the double sum is expressible as a Kamp\'e de F\'eriet function where both sums are intertwined and cannot be factorized. We check our results by verifying their consistency under symmetries and by taking several limits reducing to known results, mostly to scalar five-point conformal blocks in arbitrary spacetime dimensions.


title: One-dimensional turbulence with Burgers

abstract: Gathering together some existing results, we show that the solutions to the one-dimensional Burgers equation converge for long times towards the stationary solutions to the steady Burgers equation, whose Fourier spectrum is not integrable. This is one of the main features of wave turbulence.


title: Bulk and surface electronic states in the dosed semimetallic HfTe$\boldsymbol{_2}$

abstract: The dosing of layered materials with alkali metals has become a commonly used strategy in ARPES experiments. However, precisely what occurs under such conditions, both structurally and electronically, has remained a matter of debate. Here we perform a systematic study of 1T-HfTe$_2$, a prototypical semimetal of the transition metal dichalcogenide family. By utilizing photon energy-dependent angle-resolved photoemission spectroscopy (ARPES), we have investigated the electronic structure of this material as a function of Potassium (K) deposition. From the k$_z$ maps, we observe the appearance of 2D dispersive bands after electron dosing, with an increasing sharpness of the bands, consistent with the wavefunction confinement at the topmost layer. In our highest-dosing cases, a monolayer-like electronic structure emerges, presumably as a result of intercalation of the alkali metal. Here, by bringing the topmost valence band below $E_F$, we can directly measure a band overlap of $\sim$ 0.2 eV. However, 3D bulk-like states still contribute to the spectra even after considerable dosing. Our work provides a reference point for the increasingly popular studies of the alkali metal dosing of semimetals using ARPES.


title: A bottom-up approach within the electroweak effective theory: constraining heavy resonances

abstract: The LHC has confirmed the existence of a mass gap between the known particles and possible new states. Effective field theory is then the appropriate tool to search for low-energy signals of physics beyond the Standard Model. We adopt the general formalism of the electroweak effective theory, with a non-linear realization of the electroweak symmetry breaking, where the Higgs is a singlet with independent couplings. At higher energies we consider a generic resonance Lagrangian which follows the above-mentioned non-linear realization and couples the light particles to bosonic heavy resonances with $J^P=0^\pm$ and $J^P=1^\pm$. Integrating out the resonances and assuming a proper short-distance behavior, it is possible to determine or to constrain most of the bosonic low-energy constants in terms of resonance masses. Therefore, the current experimental bounds on these bosonic low-energy constants allow us to constrain the resonance masses above the TeV scale, by following a typical bottom-up approach, i.e., the fit of the low-energy constants to precise experimental data enables us to learn about the high-energy scales, the underlying theory behind the Standard Model.


title: Spectra of Gurtin-Pipkin type of integro-differential equations and applications to waves in graded viscoelastic structures

abstract: In this paper, we study spectral properties and spectral enclosures for the Gurtin-Pipkin type of integro-differential equations in several dimensions. The analysis is based on an operator function and we consider the relation between the studied operator function and other formulations of the spectral problem. The theory is applied to wave equations with Boltzmann damping.


title: The Dynamics of Entropies at the Onset of Interactions

abstract: At the onset of an interaction between two initially independent systems, each system tends to experience an increase in its n-Renyi entropies, such as its von Neumann entropy (n = 1) and its mixedness (n = 2). We here ask which properties of a system determine how quickly its Renyi entropies increase and, therefore, how sensitive the system is to becoming entangled. We find that the rate at which the n-Renyi entropy increases in an interaction is determined by a quantity which we term the n-fragility of the system. The 2-fragility is closely related to the notion of 2-norm coherence, in that it too quantifies the extent to which a density matrix is off-diagonal with respect to the eigenbasis of a reference operator. Nevertheless, the 2-fragility is not a coherence monotone in the resource theoretic sense since it depends also on the eigenvalues of the reference operator. It is this additional sensitivity to the eigenvalues of the reference operator, here the interaction Hamiltonian, which enables the 2-fragility to quantify the rate of entropy production in interactions. We give an example using the light-matter interaction and we anticipate applications to the study of the rates at which two systems exchange classical and quantum information when starting to interact.


title: Continuous Histogram Loss: Beyond Neural Similarity

abstract: Similarity learning has gained a lot of attention from researches in recent years and tons of successful approaches have been recently proposed. However, the majority of the state-of-the-art similarity learning methods consider only a binary similarity. In this paper we introduce a new loss function called Continuous Histogram Loss (CHL) which generalizes recently proposed Histogram loss to multiple-valued similarities, i.e. allowing the acceptable values of similarity to be continuously distributed within some range. The novel loss function is computed by aggregating pairwise distances and similarities into 2D histograms in a differentiable manner and then computing the probability of condition that pairwise distances will not decrease as the similarities increase. The novel loss is capable of solving a wider range of tasks including similarity learning, representation learning and data visualization.


title: Modeling of chemical reaction systems with detailed balance using gradient structures

abstract: We consider various modeling levels for spatially homogeneous chemical reaction systems, namely the chemical master equation, the chemical Langevin dynamics, and the reaction-rate equation. Throughout we restrict our study to the case where the microscopic system satisfies the detailed-balance condition. The latter allows us to enrich the systems with a gradient structure, i.e. the evolution is given by a gradient-flow equation. We present the arising links between the associated gradient structures that are driven by the relative entropy of the detailed-balance steady state. The limit of large volumes is studied in the sense of evolutionary $\Gamma$-convergence of gradient flows. Moreover, we use the gradient structures to derive hybrid models for coupling different modeling levels.


title: Existence of cscK metrics on smooth minimal models

abstract: Given a compact K\"ahler manifold $X$ it is interesting to ask whether it admits a constant scalar curvature K\"ahler (cscK) metric. In this short note we show that there always exist cscK metrics on compact K\"ahler manifolds with nef canonical bundle, thus on all smooth minimal models, and also on the blowup of any such manifold. This confirms an expectation of Jian-Shi-Song \cite{JianShiSong} and extends their main result from $K_X$ semi-ample to $K_X$ nef, with a direct proof that does not appeal to the Abundance conjecture. As a byproduct we obtain that the connected component $\mathrm{Aut}_0(X)$ of a compact K\"ahler manifold with $K_X$ nef is either trivial or a complex torus.


title: Massively Parallel Stencil Strategies for Radiation Transport Moment Model Simulations

abstract: The radiation transport equation is a mesoscopic equation in high dimensional phase space. Moment methods approximate it via a system of partial differential equations in traditional space-time. One challenge is the high computational intensity due to large vector sizes (1600 components for P39) in each spatial grid point. In this work, we extend the calculable domain size in 3D simulations considerably, by implementing the StaRMAP methodology within the massively parallel HPC framework NAStJA, which is designed to use current supercomputers efficiently. We apply several optimization techniques, including a new memory layout and explicit SIMD vectorization. We showcase a simulation with 200 billion degrees of freedom, and argue how the implementations can be extended and used in many scientific domains.


title: Hunting for Scalar Lepton Partners at Future Electron Colliders

abstract: New physics close to the electroweak scale is well motivated by a number of theoretical arguments. However, colliders, most notably the Large Hadron Collider (LHC), have failed to deliver evidence for physics beyond the Standard Model. One possibility for how new electroweak-scale particles could have evaded detection so far is if they carry only electroweak charge, i.e. are color neutral. Future $e^+e^-$ colliders are prime tools to study such new physics. Here, we investigate the sensitivity of $e^+e^-$ colliders to scalar partners of the charged leptons, known as sleptons in supersymmetric extensions of the Standard Model. In order to allow such scalar lepton partners to decay, we consider models with an additional neutral fermion, which in supersymmetric models corresponds to a neutralino. We demonstrate that future $e^+e^-$ colliders would be able to probe most of the kinematically accessible parameter space, i.e. where the mass of the scalar lepton partner is less than half of the collider's center-of-mass energy, with only a few days of data. Besides constraining more general models, this would allow to probe some well motivated dark matter scenarios in the Minimal Supersymmetric Standard Model, in particular the incredible bulk and stau co-annihilation scenarios.


title: First limits on double beta decays in $^{\bf 232}$Th

abstract: As one of the primordial radioactive isotopes, $^{232}$Th mainly undergoes $\alpha$-decay with a half-life of $1.402 \times 10^{10}$ yr. However, it is also one of 35 double beta decay candidates in which the single $\beta$-decay is forbidden or strongly suppressed. 181 mg of thorium contained in a gas mantle was measured in an HPGe well-detector at the Gran Sasso Underground Laboratory (LNGS) with a total exposure of 3.25 g $\times$ d. We obtain half-life limits on all double beta decay modes of $^{232}$Th to excited states of $^{232}$U on the order of $10^{11-15}$ yr. For the most likely transition into the $0_1^+$ state we find a lower half-life limit of $6.3 \times 10^{14}$ yr (90% credibility). These are the first constraints on double beta decay excited state transition in $^{232}$Th.


title: Optimizing Quantum Annealing Schedules with Monte Carlo Tree Search enhanced with neural networks

abstract: Quantum annealing is a practical approach to approximately implement the adiabatic quantum computational model under a real-world setting. The goal of an adiabatic algorithm is to prepare the ground state of a problem-encoded Hamiltonian at the end of an annealing path. This is typically achieved by driving the dynamical evolution of a quantum system slowly to enforce adiabaticity. Properly optimized annealing schedules often significantly accelerate the computational process. Inspired by the recent success of deep reinforcement learning such as DeepMind's AlphaZero, we propose a Monte Carlo Tree Search (MCTS) algorithm and its enhanced version boosted with neural networks, which we name QuantumZero (QZero), to automate the design of annealing schedules in a hybrid quantum-classical framework. Both the MCTS and QZero algorithms perform remarkably well in discovering effective annealing schedules even when the annealing time is short for the 3-SAT examples we consider in this study. Furthermore, the flexibility of neural networks allows us to apply transfer-learning techniques to boost QZero's performance. We demonstrate in benchmark studies, that MCTS and QZero perform more efficiently than other reinforcement learning algorithms in designing annealing schedules.


title: Near-linear convergence of the Random Osborne algorithm for Matrix Balancing

abstract: We revisit Matrix Balancing, a pre-conditioning task used ubiquitously for computing eigenvalues and matrix exponentials. Since 1960, Osborne's algorithm has been the practitioners' algorithm of choice and is now implemented in most numerical software packages. However, its theoretical properties are not well understood. Here, we show that a simple random variant of Osborne's algorithm converges in near-linear time in the input sparsity. Specifically, it balances $K\in\mathbb{R}_{\geq 0}^{n\times n}$ after $O(m\epsilon^{-2}\log\kappa)$ arithmetic operations, where $m$ is the number of nonzeros in $K$, $\epsilon$ is the $\ell_1$ accuracy, and $\kappa=\sum_{ij}K_{ij}/(\min_{ij:K_{ij}\neq 0}K_{ij})$ measures the conditioning of $K$. Previous work had established near-linear runtimes either only for $\ell_2$ accuracy (a weaker criterion which is less relevant for applications), or through an entirely different algorithm based on (currently) impractical Laplacian solvers. We further show that if the graph with adjacency matrix $K$ is moderately connected--e.g., if $K$ has at least one positive row/column pair--then Osborne's algorithm initially converges exponentially fast, yielding an improved runtime $O(m\epsilon^{-1}\log\kappa)$. We also address numerical precision by showing that these runtime bounds still hold when using $O(\log(n\kappa/\epsilon))$-bit numbers. Our results are established through an intuitive potential argument that leverages a convex optimization perspective of Osborne's algorithm, and relates the per-iteration progress to the current imbalance as measured in Hellinger distance. Unlike previous analyses, we critically exploit log-convexity of the potential. Our analysis extends to other variants of Osborne's algorithm: along the way, we establish significantly improved runtime bounds for cyclic, greedy, and parallelized variants.


title: Torsion functions and the Cheeger problem: a fractional approach

abstract: Let $\Omega$ be a Lipschitz bounded domain of $\mathbb{R}^N $, $N\geq2$. The fractional Cheeger constant $h_s (\Omega)$, $0<s<1$, is defined by \[h_s(\Omega)=\inf_{E\subset{\Omega}}\frac{P_s(E)}{|E|},\: \text{ where } \: P_s (E)=\int_{\mathbb{R}^N }\int_{\mathbb{R}^N }\frac{|\chi_{E}(x)-\chi_{E}(y)|}{|x-y|^{N+s}} dx dy,\] with $\chi_{E}$ denoting the characteristic function of the smooth subdomain $E$. The main purpose of this paper is to show that \[\lim_{p\rightarrow1^+}\left|\phi_p^s\right|_{L^{\infty}(\Omega)}^{1-p}=h_s (\Omega)=\lim_{p\rightarrow1^+}\left|\phi_p^s\right|_{L^1(\Omega)}^{1-p},\] where $\phi_p^s$ is the fractional $(s,p)$-torsion function of $\Omega$, that is, the solution of the Dirichlet problem for the fractional $p$-Laplacian: $-(\Delta)_p^s\,u=1$ in $\Omega$, $u=0$ in $\mathbb{R}^N \setminus\Omega$. For this, we derive suitable bounds for the first eigenvalue $\lambda_{1,p}^s(\Omega)$ of the fractional $p$-Laplacian operator in terms of $\phi_p^s$. We also show that $\phi_p^s$ minimizes the $(s,p)$-Gagliardo seminorm in $\mathbb{R}^N $, among the functions normalized by the $L^1$-norm.


title: Exact solutions for the wrinkle patterns of confined elastic shells

abstract: Complex textured surfaces occur in nature and industry, from fingerprints to lithography-based micropatterns. Wrinkling by confinement to an incompatible substrate is an attractive way of generating reconfigurable patterned topographies, but controlling the often asymmetric and apparently stochastic wrinkles that result remains an elusive goal. Here, we describe a new approach to understanding the wrinkles of confined elastic shells, using a Lagrange multiplier in place of stress. Our theory reveals a simple set of geometric rules predicting the emergence and layout of orderly wrinkles, and explaining a surprisingly generic co-existence of ordered and disordered wrinkle domains. The results agree with numerous test cases across simulation and experiment and represent an elementary geometric toolkit for designing complex wrinkle patterns.


title: Imprints of the Janis-Newman-Winicour spacetime on observations related to shadow and accretion

abstract: The final fate of gravitational collapse of massive stars has been a subject of interest for a long time since such a collapse may lead to black holes and naked singularities alike. Since, the formation of naked singularities is forbidden by the cosmic censorship conjecture, exploring their observational differences from black holes may be a possible avenue to search for these exotic objects. The simplest possible naked singularity spacetime emerges from the Einstein massless scalar field theory with the advantage that it smoothly translates to the Schwarzschild solution by the variation of the scalar charge. This background, known as the Janis-Newman-Winicour spacetime is the subject of interest in this work. %A further advantage of working with this spacetime is that it smoothly translates to the Schwarzschild solution by the variation of the scalar charge. We explore electromagnetic observations around this metric which involves investigating the characteristics of black hole accretion and shadow. We compute the shadow radius in this spacetime and compare it with the image of M87*, recently released by the Event Horizon Telescope Collaboration. Similarly, we derive the expression for the luminosity from the accretion disk and compare it with the observed optical luminosity of eleven Palomar Green quasars. Our analysis indicates that the shadow of M87* and the quasar optical data consistently favor the Schwarzschild background over the Janis-Newman-Winicour spacetime. The implications of this result are discussed.


title: NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey

abstract: The recent availability of fast, dense, byte-addressable non-volatile memory has led to increasing interest in the problem of designing and specifying durable data structures that can recover from system crashes. However, designing durable concurrent data structures that are efficient and also satisfy a correctness criterion has proven to be very difficult, leading many algorithms to be inefficient or incorrect in a concurrent setting. In this paper, we present a general transformation that takes a lock-free data structure from a general class called traversal data structure (that we formally define) and automatically transforms it into an implementation of the data structure for the NVRAM setting that is provably durably linearizable and highly efficient. The transformation hinges on the observation that many data structure operations begin with a traversal phase that does not need to be persisted, and thus we only begin persisting when the traversal reaches its destination. We demonstrate the transformation's efficiency through extensive measurements on a system with Intel's recently released Optane DC persistent memory, showing that it can outperform competitors on many workloads.


title: Detecting Communities in Heterogeneous Multi-Relational Networks:A Message Passing based Approach

abstract: Community is a common characteristic of networks including social networks, biological networks, computer and information networks, to name a few. Community detection is a basic step for exploring and analysing these network data. Typically, homogenous network is a type of networks which consists of only one type of objects with one type of links connecting them. There has been a large body of developments in models and algorithms to detect communities over it. However, real-world networks naturally exhibit heterogeneous qualities appearing as multiple types of objects with multi-relational links connecting them. Those heterogeneous information could facilitate the community detection for its constituent homogeneous networks, but has not been fully explored. In this paper, we exploit heterogeneous multi-relational networks (HMRNet) and propose an efficient message passing based algorithm to simultaneously detect communities for all homogeneous networks. Specifically, an HMRNet is reorganized into a hierarchical structure with homogeneous networks as its layers and heterogeneous links connecting them. To detect communities in such an HMRNet, the problem is formulated as a maximum a posterior (MAP) over a factor graph. Finally a message passing based algorithm is derived to find a best solution of the MAP problem. Evaluation on both synthetic and real-world networks confirms the effectiveness of the proposed method.


title: Improved Code Summarization via a Graph Neural Network

abstract: Automatic source code summarization is the task of generating natural language descriptions for source code. Automatic code summarization is a rapidly expanding research area, especially as the community has taken greater advantage of advances in neural network and AI technologies. In general, source code summarization techniques use the source code as input and outputs a natural language description. Yet a strong consensus is developing that using structural information as input leads to improved performance. The first approaches to use structural information flattened the AST into a sequence. Recently, more complex approaches based on random AST paths or graph neural networks have improved on the models using flattened ASTs. However, the literature still does not describe the using a graph neural network together with source code sequence as separate inputs to a model. Therefore, in this paper, we present an approach that uses a graph-based neural architecture that better matches the default structure of the AST to generate these summaries. We evaluate our technique using a data set of 2.1 million Java method-comment pairs and show improvement over four baseline techniques, two from the software engineering literature, and two from machine learning literature.


title: Complexity of majorants

abstract: The minimal Kolmogorov complexity of a total computable function that exceeds everywhere all total computable functions of complexity at most $n$, is $2^{n+O(1)}$. If we replace "everywhere" by "for all sufficiently large inputs", the answer is $n+O(1)$.


title: Ontologies in CLARIAH: Towards Interoperability in History, Language and Media

abstract: One of the most important goals of digital humanities is to provide researchers with data and tools for new research questions, either by increasing the scale of scholarly studies, linking existing databases, or improving the accessibility of data. Here, the FAIR principles provide a useful framework as these state that data needs to be: Findable, as they are often scattered among various sources; Accessible, since some might be offline or behind paywalls; Interoperable, thus using standard knowledge representation formats and shared vocabularies; and Reusable, through adequate licensing and permissions. Integrating data from diverse humanities domains is not trivial, research questions such as "was economic wealth equally distributed in the 18th century?", or "what are narratives constructed around disruptive media events?") and preparation phases (e.g. data collection, knowledge organisation, cleaning) of scholars need to be taken into account. In this chapter, we describe the ontologies and tools developed and integrated in the Dutch national project CLARIAH to address these issues across datasets from three fundamental domains or "pillars" of the humanities (linguistics, social and economic history, and media studies) that have paradigmatic data representations (textual corpora, structured data, and multimedia). We summarise the lessons learnt from using such ontologies and tools in these domains from a generalisation and reusability perspective.


title: A pro-$p$ group with full normal Hausdorff spectra

abstract: For each odd prime $p$, we produce a $2$-generated pro-$p$ group $G$ whose normal Hausdorff spectra \[ \mathrm{hspec}_{\trianglelefteq}^{\mathcal{S}}(G) = \{ \mathrm{hdim}_{G}^{\mathcal{S}}(H)\mid H\trianglelefteq_\mathrm{c} G \} \] with respect to five standard filtration series $\mathcal{S}$ - namely the lower $p$-series, the dimension subgroup series, the $p$-power series, the iterated $p$-power series and the Frattini series - are all equal to the full unit interval $[0,1]$. Here $\mathrm{hdim}_G^{\mathcal{S}} \colon \{ X\mid X \subseteq G \} \to[0,1]$ denotes the Hausdorff dimension function associated to the natural translation-invariant metric induced by the filtration series $\mathcal{S}$.


title: Constraining images of quadratic arboreal representations

abstract: In this paper, we prove several results on finitely generated dynamical Galois groups attached to quadratic polynomials. First we show that, over global fields, quadratic post-critically finite polynomials are precisely those having an arboreal representation whose image is topologically finitely generated. To obtain this result, we also prove the quadratic case of Hindes' conjecture on dynamical non-isotriviality. Next, we give two applications of this result. On the one hand, we prove that quadratic polynomials over global fields with abelian dynamical Galois group are necessarily post-critically finite, and we combine our results with local class field theory to classify quadratic pairs over $\mathbb Q$ with abelian dynamical Galois group, improving on recent results of Andrews and Petsche. On the other hand we show that several infinite families of subgroups of the automorphism group of the infinite binary tree cannot appear as images of arboreal representations of quadratic polynomials over number fields, yielding unconditional evidence towards Jones' finite index conjecture.


title: Direct Laser Cooling of a Symmetric Top Molecule

abstract: We report direct laser cooling of a symmetric top molecule, reducing the transverse temperature of a beam of calcium monomethoxide (CaOCH$_3$) to $1.8\pm0.7$ mK while addressing two distinct nuclear spin isomers. These results open a path to efficient production of ultracold chiral molecules and conclusively demonstrate that by using proper rovibronic optical transitions, both photon cycling and laser cooling of complex molecules can be as efficient as for much simpler linear species.


title: Resonances and multi-particle localization at low energy

abstract: We use a new eigenvalue concentration bound for the fluctuation of the sample mean of the random extternal potential in the multi-particle Anderson model and prove the spectral exponential and the strong dynamical localization. The results just need some weaker condition on the distribution function of the sample including a large class of probability distribution such as log-H\"older continuous or Lipshitz continuous. The method also apply to i.i.d. random Gaussian potential with independent fluctuations.


title: Solving degenerate 2D frustration-free spin systems in sub-exponential time

abstract: We give an improved analysis of approximate ground space projectors (AGSPs) to obtain a sharp error reduction bound in the setting a degenerate ground space. The improved tools imply that the recently proven 2D area law directly extends to sub-exponentially degenerate ground spaces and also yields a sub-exponential-time classical algorithm to compute the ground states. This time complexity cannot be improved beyond sub-exponential, even for the special case of classical unfrustrated systems in 2D.


title: Key developments in algorithmic randomness

abstract: The goal of this introductory survey is to present the major developments of algorithmic randomness with an eye toward its historical development. While two highly comprehensive books and one thorough survey article have been written on the subject, our goal is to provide an introduction to algorithmic randomness that will be both useful for newcomers who want to develop a sense of the field quickly and interesting for researchers already in the field who would like to see these results presented in chronological order.


title: Flexible all-PM NALM Yb:fiber laser design for frequency comb applications: operation regimes and their noise properties

abstract: We present a flexible all-polarization-maintaining (PM) mode-locked ytterbium (Yb):fiber laser based on a nonlinear amplifying loop mirror (NALM). In addition to providing detailed design considerations, we discuss the different operation regimes accessible by this versatile laser architecture and experimentally analyze five representative mode-locking states. These five states were obtained in a 78-MHz configuration at different intracavity group delay dispersion (GDD) values ranging from anomalous (-0.035 ps$^2$) to normal (+0.015 ps$^2$). We put a particular focus on the characterization of the intensity noise as well as the free-running linewidth of the carrier-envelope-offset (CEO) frequency as a function of the different operation regimes. We observe that operation points far from the spontaneous emission peak of Yb (~1030 nm) and close to zero intracavity dispersion can be found, where the influence of pump noise is strongly suppressed. For such an operation point, we show that a CEO linewidth of less than 10-kHz at 1 s integration can be obtained without any active stabilization.


title: Optical Flow Estimation in the Deep Learning Age

abstract: Akin to many subareas of computer vision, the recent advances in deep learning have also significantly influenced the literature on optical flow. Previously, the literature had been dominated by classical energy-based models, which formulate optical flow estimation as an energy minimization problem. However, as the practical benefits of Convolutional Neural Networks (CNNs) over conventional methods have become apparent in numerous areas of computer vision and beyond, they have also seen increased adoption in the context of motion estimation to the point where the current state of the art in terms of accuracy is set by CNN approaches. We first review this transition as well as the developments from early work to the current state of CNNs for optical flow estimation. Alongside, we discuss some of their technical details and compare them to recapitulate which technical contribution led to the most significant accuracy improvements. Then we provide an overview of the various optical flow approaches introduced in the deep learning age, including those based on alternative learning paradigms (e.g., unsupervised and semi-supervised methods) as well as the extension to the multi-frame case, which is able to yield further accuracy improvements.


title: Projected Push-Sum Gradient Descent-Ascent for Convex Optimizationwith Application to Economic Dispatch Problems

abstract: We propose a novel algorithm for solving convex, constrained and distributed optimization problems defined on multi-agent-networks, where each agent has exclusive access to a part of the global objective function. The agents are able to exchange information over a directed, weighted communication graph, which can be represented as a column-stochastic matrix. The algorithm combines an adjusted push-sum consensus protocol for information diffusion and a gradient descent-ascent on the local cost functions, providing convergence to the optimum of their sum. We provide results on a reformulation of the push-sum into single matrix-updates and prove convergence of the proposed algorithm to an optimal solution, given standard assumptions in distributed optimization. The algorithm is applied to a distributed economic dispatch problem, in which the constraints can be expressed in local and global subsets.


title: A dissipative time crystal with or without $\mathbb Z_2$ symmetry breaking

abstract: We study an emergent semiclassical time crystal composed of two interacting driven-dissipative bosonic modes. The system has a discrete $\mathbb Z_2$ spatial symmetry which, depending on the strength of the drive, can be broken in the time-crystalline phase or it cannot. An exact semiclassical mean-field analysis, numerical simulations in the quantum regime, and the spectral analysis of the Liouvillian are combined to show the emergence of the time crystal and to prove the robustness of the oscillation period against quantum fluctuations.


title: Holographic Entanglement of Purification near a Critical Point

abstract: In the presence of finite chemical potential $\mu$, we holographically compute the entanglement of purification in a $2+1$- and $3+1$-dimensional field theory and also in a $3+1$-dimensional field theory with a critical point. We observe that compared to $2+1$- and $3+1$-dimensional field theories, the behavior of entanglement of purification near critical point is different and it is not a monotonic function of $\frac{\mu}{T}$ where $T$ is the temperature of the field theory. Therefore, the entanglement of purification distinguishes the critical point in the field theory. We also discuss the dependence of the holographic entanglement of purification on the various parameters of the theories. Moreover, the critical exponent is calculated.


title: Beyond the Nav-Graph: Vision-and-Language Navigation in Continuous Environments

abstract: We develop a language-guided navigation task set in a continuous 3D environment where agents must execute low-level actions to follow natural language navigation directions. By being situated in continuous environments, this setting lifts a number of assumptions implicit in prior work that represents environments as a sparse graph of panoramas with edges corresponding to navigability. Specifically, our setting drops the presumptions of known environment topologies, short-range oracle navigation, and perfect agent localization. To contextualize this new task, we develop models that mirror many of the advances made in prior settings as well as single-modality baselines. While some of these techniques transfer, we find significantly lower absolute performance in the continuous setting -- suggesting that performance in prior `navigation-graph' settings may be inflated by the strong implicit assumptions.


title: A note on the novel 4D Einstein-Gauss-Bonnet gravity

abstract: Recently, a novel 4D Einstein-Gauss-Bonnet gravity has been proposed by Glavan and Lin [Phys. Rev. Lett. 124, 081301 (2020)] by rescaling the coupling $\alpha \rightarrow \alpha/(D-4)$ and taking the limit $D\rightarrow 4$ at the level of equations of motion. This prescription, though was shown to bring non-trivial effects for some spacetimes with particular symmetries, remains mysterious and calls for scrutiny. Indeed, there is no continuous way to take the limit $D\rightarrow 4$ in the higher $D$-dimensional equations of motion because the tensor indices depend on the spacetime dimension and behave discretely. On the other hand, if one works with four-dimensional spacetime indices the contribution corresponding to the Gauss-Bonnet term vanishes identically in the equations of motion. A necessary condition (but may not be sufficient) for this procedure to work is that there is an embedding of the four-dimensional spacetime into the higher $D$-dimensional spacetime so that the equations in the latter can be properly interpreted after taking the limit. In this note, working with 2D Einstein gravity, we show several subtleties when applying the method used in [Phys. Rev. Lett. 124, 081301 (2020)].


title: Projected Development of COVID-19 in Louisiana

abstract: At the time of writing, Louisiana has the third highest COVID-19 infection per capita in the United States. The state government issued a stay-at-home order effective March 23rd. We analyze the projected spread of COVID-19 in Louisiana without including the effects of the stay-at-home order. We predict that a large fraction of the state population would be infected without the mitigation efforts, and would certainly overwhelm the capacity of Louisiana health care system. We further predict the outcomes with different degrees of reduction in the infection rate. More than 70% of reduction is required to cap the number of infected to under one million.


title: Weakly-Supervised Reinforcement Learning for Controllable Behavior

abstract: Reinforcement learning (RL) is a powerful framework for learning to take actions to solve tasks. However, in many settings, an agent must winnow down the inconceivably large space of all possible tasks to the single task that it is currently being asked to solve. Can we instead constrain the space of tasks to those that are semantically meaningful? In this work, we introduce a framework for using weak supervision to automatically disentangle this semantically meaningful subspace of tasks from the enormous space of nonsensical "chaff" tasks. We show that this learned subspace enables efficient exploration and provides a representation that captures distance between states. On a variety of challenging, vision-based continuous control problems, our approach leads to substantial performance gains, particularly as the complexity of the environment grows.


title: Chain breaking and Kosterlitz-Thouless scaling at the many-body localization transition in the random field Heisenberg spin chain

abstract: Despite tremendous theoretical efforts to understand subtleties of the many-body localization (MBL) transition, many questions remain open, in particular concerning its critical properties. Here we make the key observation that MBL in one dimension is accompanied by a spin freezing mechanism which causes chain breakings in the thermodynamic limit. Using analytical and numerical approaches, we show that such chain breakings directly probe the typical localization length, and that their scaling properties at the MBL transition agree with the Kosterlitz-Thouless scenario predicted by phenomenological renormalization group approaches.

categories: cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: Detection of Repeating FRB 180916.J0158+65 Down to Frequencies of 300 MHz

abstract: We report on the detection of seven bursts from the periodically active, repeating fast radio burst (FRB) source FRB 180916.J0158+65 in the 300-400-MHz frequency range with the Green Bank Telescope (GBT). Emission in multiple bursts is visible down to the bottom of the GBT band, suggesting that the cutoff frequency (if it exists) for FRB emission is lower than 300 MHz. Observations were conducted during predicted periods of activity of the source, and had simultaneous coverage with the Low Frequency Array (LOFAR) and the FRB backend on the Canadian Hydrogen Intensity Mapping Experiment (CHIME) telescope. We find that one of the GBT-detected bursts has potentially associated emission in the CHIME band (400-800 MHz) but we detect no bursts in the LOFAR band (110-190 MHz), placing a limit of $\alpha > -1.0$ on the spectral index of broadband emission from the source. We also find that emission from the source is severely band-limited with burst bandwidths as low as $\sim$40 MHz. In addition, we place the strictest constraint on observable scattering of the source, $<$ 1.7 ms, at 350 MHz, suggesting that the circumburst environment does not have strong scattering properties. Additionally, knowing that the circumburst environment is optically thin to free-free absorption at 300 MHz, we find evidence against the association of a hyper-compact HII region or a young supernova remnant (age $<$ 50 yr) with the source.


title: Meta-Learning for Short Utterance Speaker Recognition with Imbalance Length Pairs

abstract: In practical settings, a speaker recognition system needs to identify a speaker given a short utterance, while the enrollment utterance may be relatively long. However, existing speaker recognition models perform poorly with such short utterances. To solve this problem, we introduce a meta-learning framework for imbalance length pairs. Specifically, we use a Prototypical Networks and train it with a support set of long utterances and a query set of short utterances of varying lengths. Further, since optimizing only for the classes in the given episode may be insufficient for learning discriminative embeddings for unseen classes, we additionally enforce the model to classify both the support and the query set against the entire set of classes in the training set. By combining these two learning schemes, our model outperforms existing state-of-the-art speaker verification models learned with a standard supervised learning framework on short utterance (1-2 seconds) on the VoxCeleb datasets. We also validate our proposed model for unseen speaker identification, on which it also achieves significant performance gains over the existing approaches. The codes are available at https://github.com/seongmin-kye/meta-SR.


title: Flow of Spatiotemporal Turbulentlike Random Fields

abstract: We study the Lagrangian trajectories of statistically isotropic, homogeneous, and stationary divergence free spatiotemporal random vector fields. We design this advecting Eulerian velocity field such that it gets asymptotically rough and multifractal, both in space and time, as it is demanded by the phenomenology of turbulence at infinite Reynolds numbers. We then solve numerically the flow equations for a differentiable version of this field. We observe that trajectories get also rough, characterized by nearly the same Hurst exponent as the one of our prescribed advecting field. Moreover, even when considering the simplest situation of the advection by a fractional Gaussian field, we evidence in the Lagrangian framework additional intermittent corrections. The present approach involves properly defined random fields, and asks for a rigorous treatment that would explain our numerical findings and deepen our understanding of this long lasting problem.


title: Completeness of Wronskian Bethe equations for rational gl(m|n) spin chains

abstract: We consider rational integrable supersymmetric gl(m|n) spin chains in the defining representation and prove the isomorphism between a commutative algebra of conserved charges (the Bethe algebra) and a polynomial ring (the Wronskian algebra) defined by functional relations between Baxter Q-functions that we call Wronskian Bethe equations. These equations, in contrast to standard nested Bethe equations, admit only physical solutions for any value of inhomogeneities and furthermore we prove that the algebraic number of solutions to these equations is equal to the dimension of the spin chain Hilbert space (modulo relevant symmetries). Both twisted and twist-less periodic boundary conditions are considered, the isomorphism statement uses, as a sufficient condition, that the spin chain inhomogeneities $\theta_\ell$, $\ell=1,\ldots,L$ satisfy $\theta_\ell+\hbar\neq\theta_{\ell'}$ for $\ell<\ell'$. Counting of solutions is done in two independent ways: by computing a character of the Wronskian algebra and by explicitly solving the Bethe equations in certain scaling regimes supplemented with a proof that the algebraic number of solutions is the same for any value of $\theta_\ell$. In particular, we consider the regime $\theta_{\ell+1}/\theta_{\ell}\gg 1$ for the twist-less chain where we succeed to provide explicit solutions and their systematic labelling with standard Young tableaux.

categories: math-ph cond-mat.stat-mech hep-th math.MP math.QA


title: There and Back Again: Revisiting Backpropagation Saliency Methods

abstract: Saliency methods seek to explain the predictions of a model by producing an importance map across each input sample. A popular class of such methods is based on backpropagating a signal and analyzing the resulting gradient. Despite much research on such methods, relatively little work has been done to clarify the differences between such methods as well as the desiderata of these techniques. Thus, there is a need for rigorously understanding the relationships between different methods as well as their failure modes. In this work, we conduct a thorough analysis of backpropagation-based saliency methods and propose a single framework under which several such methods can be unified. As a result of our study, we make three additional contributions. First, we use our framework to propose NormGrad, a novel saliency method based on the spatial contribution of gradients of convolutional weights. Second, we combine saliency maps at different layers to test the ability of saliency methods to extract complementary information at different network levels (e.g.~trading off spatial resolution and distinctiveness) and we explain why some methods fail at specific layers (e.g., Grad-CAM anywhere besides the last convolutional layer). Third, we introduce a class-sensitivity metric and a meta-learning inspired paradigm applicable to any saliency method for improving sensitivity to the output class being explained.


title: Rethinking Spatially-Adaptive Normalization

abstract: Spatially-adaptive normalization is remarkably successful recently in conditional semantic image synthesis, which modulates the normalized activation with spatially-varying transformations learned from semantic layouts, to preserve the semantic information from being washed away. Despite its impressive performance, a more thorough understanding of the true advantages inside the box is still highly demanded, to help reduce the significant computation and parameter overheads introduced by these new structures. In this paper, from a return-on-investment point of view, we present a deep analysis of the effectiveness of SPADE and observe that its advantages actually come mainly from its semantic-awareness rather than the spatial-adaptiveness. Inspired by this point, we propose class-adaptive normalization (CLADE), a lightweight variant that is not adaptive to spatial positions or layouts. Benefited from this design, CLADE greatly reduces the computation cost while still being able to preserve the semantic information during the generation. Extensive experiments on multiple challenging datasets demonstrate that while the resulting fidelity is on par with SPADE, its overhead is much cheaper than SPADE. Take the generator for ADE20k dataset as an example, the extra parameter and computation cost introduced by CLADE are only 4.57% and 0.07% while that of SPADE are 39.21% and 234.73% respectively.


title: Flow heterogeneities in supercooled liquids and glasses under shear

abstract: Using extensive non-equilibrium molecular dynamics simulations, we investigate a glassforming binary Lennard-Jones mixture under shear. Both supercooled liquids and glasses are considered. Our focus is on the characterization of inhomogeneous flow patterns such as shear bands that appear as a transient response to the external shear. For the supercooled liquids, we analyze the crossover from Newtonian to non-Newtonian behavior with increasing shear rate $\dot{\gamma}$. Above a critical shear rate $\dot{\gamma}_c$ where a non-Newtonian response sets in, the transient dynamics are associated with the occurrence of short-lived vertical shear bands, i.e. bands of high mobility that form perpendicular to the flow direction. In the glass states, long-lived horizontal shear bands, i.e. bands of high mobility parallel to the flow direction, are observed in addition to vertical ones. The systems with shear bands are characterized in terms of mobility maps, stress-strain relations, mean-squared displacements, and (local) potential energies. The initial formation of a horizontal shear band provides an efficient stress release, corresponds to a local minimum of the potential energy, and is followed by a slow broadening of the band towards the homogeneously flowing fluid in the steady-state. Whether a horizontal or a vertical shear band forms cannot be predicted from the initial undeformed sample. Furthermore, we show that with increasing system size the probability for the occurrence of horizontal shear bands increases.


title: DualSDF: Semantic Shape Manipulation using a Two-Level Representation

abstract: We are seeing a Cambrian explosion of 3D shape representations for use in machine learning. Some representations seek high expressive power in capturing high-resolution detail. Other approaches seek to represent shapes as compositions of simple parts, which are intuitive for people to understand and easy to edit and manipulate. However, it is difficult to achieve both fidelity and interpretability in the same representation. We propose DualSDF, a representation expressing shapes at two levels of granularity, one capturing fine details and the other representing an abstracted proxy shape using simple and semantically consistent shape primitives. To achieve a tight coupling between the two representations, we use a variational objective over a shared latent space. Our two-level model gives rise to a new shape manipulation technique in which a user can interactively manipulate the coarse proxy shape and see the changes instantly mirrored in the high-resolution shape. Moreover, our model actively augments and guides the manipulation towards producing semantically meaningful shapes, making complex manipulations possible with minimal user input.


title: Responsive Parallelism with Futures and State

abstract: Motivated by the increasing shift to multicore computers, recent work has developed language support for responsive parallel applications that mix compute-intensive tasks with latency-sensitive, usually interactive, tasks. These developments include calculi that allow assigning priorities to threads, type systems that can rule out priority inversions, and accompanying cost models for predicting responsiveness. These advances share one important limitation: all of this work assumes purely functional programming. This is a significant restriction, because many realistic interactive applications, from games to robots to web servers, use mutable state, e.g., for communication between threads. In this paper, we lift the restriction concerning the use of state. We present $\lambda_i^4$, a calculus with implicit parallelism in the form of prioritized futures and mutable state in the form of references. Because both futures and references are first-class values, $\lambda_i^4$ programs can exhibit complex dependencies, including interaction between threads and with the external world (users, network, etc). To reason about the responsiveness of $\lambda_i^4$ programs, we extend traditional graph-based cost models for parallelism to account for dependencies created via mutable state, and we present a type system to outlaw priority inversions that can lead to unbounded blocking. We show that these techniques are practical by implementing them in C++ and present an empirical evaluation.


title: Resonant inelastic x-ray scattering study of vector chiral ordered kagome antiferromagnet

abstract: We study the resonant inelastic x-ray scattering (RIXS) features of vector chiral ordered kagome antiferromagnets. Utilizing a group theoretical formalism that respects lattice site symmetry, we calculated the $L$ -edge magnon contribution for the vesignieite compound BaCu$_{3}$V$_{2}$O$_{8}$(OH)$_{2}$. We show that polarization dependence of the $L$ -edge RIXS spectrum can be used to track magnon branches. We predict a non-zero $L$ -edge signal in the non-cross $\pi-\pi$ polarization channel. At the $K$ -edge, we derived the two-site effective RIXS and Raman scattering operator for two-magnon excitation in vesignieite using the Shastry-Shraiman formalism. Our derivation considers spin-orbit coupling effects in virtual hopping processes. We find vector chiral correlation (four-spin) contribution that is proportional to the RIXS spectrum. Our scattering operator formalism can be applied to a host of non-collinear non-coplanar magnetic materials at both the $L$ and $K$ -edge. We demonstrate that vector chiral correlations can be accessed by RIXS experiments.


title: Lossless Image Compression through Super-Resolution

abstract: We introduce a simple and efficient lossless image compression algorithm. We store a low resolution version of an image as raw pixels, followed by several iterations of lossless super-resolution. For lossless super-resolution, we predict the probability of a high-resolution image, conditioned on the low-resolution input, and use entropy coding to compress this super-resolution operator. Super-Resolution based Compression (SReC) is able to achieve state-of-the-art compression rates with practical runtimes on large datasets. Code is available online at https://github.com/caoscott/SReC.


title: How do eyes and brain search a randomly structured uninformative scene? Exploiting a basic interplay of attention and memory

abstract: We tracked the eye movements of seven young and seven older adults performing a conjunctive visual search task similar to that performed by two highly trained monkeys in an original influential study of Motter and Belky (1998a, 1998b). We obtained results consistent with theirs regarding elements of perception, selection, attention and object recognition, but we found a much greater role played by long-range memory. A design inadequacy in the original Motter-Belky study is not sufficient to explain such discrepancy, nor is the high level of training of their monkeys. Perhaps monkeys and humans do not use mnemonic resources compatibly already in basic visual search tasks, contrary to a common expectation, further supported by cortical representation studies. We also found age-related differences in various measures of eye movements, consistently indicating slightly reduced conspicuity areas for the older adults, hence, correspondingly reduced processing and memory capacities. However, because of sample size and age differential limitations, statistically significant differences were found only for a few variables, most notably overall reaction times. Results reported here provide the basis for demonstrating the formation of spiraling or circulating patterns in the eye movement trajectories and for developing corresponding computational models and simulations.


title: Accidental Degeneracy in k-space, Geometrical Phase, and the Perturbation of $\pi$ by Spin-orbit Interactions

abstract: Since closed lines of {\it accidental} electronic degeneracies were demonstrated to be possible, even frequent, by Herring in 1937, no further developments arose for eight decades. The earliest report of such a nodal loop in a real material -- aluminum -- is recounted and elaborated on. Nodal loop semimetals have become a focus of recent activity, with emphasis on other issues. Band degeneracies are, after all, the origin of topological phases in crystalline materials. Spin-orbit interaction lifts accidental band degeneracies, with the resulting spectrum being provided here. The geometric phase $\gamma(C)=\pm\pi$ for circuits $C$ surrounding a line of such degeneracy cannot survive completely unchanged. The change depends on how the spin is fixed during adiabatic evolution. For spin fixed along the internal spin-orbit field, $\gamma(C)$ decreases to zero as the circuit collapses around the line of lifted degeneracy. For spin fixed along a perpendicular axis, the conical intersection persists and $\gamma(C)=\pm\pi$ is unchanged.


title: $S$-2-absorbing submodules and $S$-2-absorbing second submodules

abstract: Let R be a commutative ring with identity, S be a multiplicatively closed subset of R, and let M be an R-module. In this paper, we introduce the notion of S-2-absorbing second submodules of M as a generalization of S-second submodules and strongly 2-absorbing second submodules of M. We investigate some properties of this class of submodules. Also, we obtain some results concerning S-2-absorbing submodules of M.


title: Methods and Techniques for Dynamic Deployability of Software-Defined Security Services

abstract: With the recent trend of "network softwarisation", enabled by emerging technologies such as Software-Defined Networking (SDN) and Network Function Virtualisation (NFV), system administrators of data centres and enterprise networks have started replacing dedicated hardware-based middleboxes with virtualised network functions running on servers and end hosts. This radical change has facilitated the provisioning of advanced and flexible network services, ultimately helping system administrators and network operators to cope with the rapid changes in service requirements and networking workloads. This thesis investigates the challenges of provisioning network security services in "softwarised" networks, where the security of residential and business users can be provided by means of sets of software-based network functions running on high performance servers or on commodity compute devices. The study is approached from the perspective of the telecom operator, whose goal is to protect the customers from network threats and, at the same time, maximize the number of provisioned services, and thereby revenue. Specifically, the overall aim of the research presented in this thesis is proposing novel techniques for optimising the resource usage of software-based security services, hence for increasing the chances for the operator to accommodate more service requests while respecting the desired level of network security of its customers. In this direction, the contributions of this thesis are the following: (i) a solution for the dynamic provisioning of security services that minimises the utilisation of computing and network resources, and (ii) novel methods based on Deep Learning and Linux kernel technologies for reducing the CPU usage of software-based security network functions, with specific focus on the defence against Distributed Denial of Service (DDoS) attacks.