title: KMT-2018-BLG-1025Lb: microlensing super-Earth planet orbiting a low-mass star

abstract: We aim to find missing microlensing planets hidden in the unanalyzed lensing events of previous survey data. For this purpose, we conduct a systematic inspection of high-magnification microlensing events, with peak magnifications $A_{\rm peak}\gtrsim 30$, in the data collected from high-cadence surveys in and before the 2018 season. From this investigation, we identify an anomaly in the lensing light curve of the event KMT-2018-BLG-1025. The analysis of the light curve indicates that the anomaly is caused by a very low mass-ratio companion to the lens. We identify three degenerate solutions, in which the ambiguity between a pair of solutions (solutions B) is caused by the previously known close--wide degeneracy, and the degeneracy between these and the other solution (solution A) is a new type that has not been reported before. The estimated mass ratio between the planet and host is $q\sim 0.8\times 10^{-4}$ for the solution A and $q\sim 1.6\times 10^{-4}$ for the solutions B. From the Bayesian analysis conducted with measured observables, we estimate that the masses of the planet and host and the distance to the lens are $(M_{\rm p}, M_{\rm h}, D_{\rm L})\sim (6.1~M_\oplus, 0.22~M_\odot, 6.7~{\rm kpc})$ for the solution A and $\sim (4.4~M_\oplus, 0.08~M_\odot, 7.5~{\rm kpc})$ for the solutions B. The planet mass is in the category of a super-Earth regardless of the solutions, making the planet the eleventh super-Earth planet, with masses lying between those of Earth and the Solar system's ice giants, discovered by microlensing.


title: Physical meaning of the deviation scale under arbitrary turbulence strengths of optical orbital angular momentum

abstract: The recently so-called deviation scale [C. M. Mabena et al., Phys. Rev. A 99, 013828 (2019)] bridges the connection between the result of the infinitesimal propagation equation (IPE) prediction and that of the single phase screen (SPS) approximation. Thanks to the multiple phase screen (MPS) approach, in this paper we elaborate the physical meaning of the deviation scale: the spatial accumulation of slight intensity modulation of incident orbital angular momentum (OAM) carrying beam splits the original vortex into multiple individual vortices with a topological charge (TC) of +1 and re-generates the vortex-antivortex pairs with a TC of +1 and with a TC of -1, leading to a significant deviation between these two different results only when the disruption of this compound effect on the phase distribution of the incident OAM-carrying beam becomes more significant. Other than that, we also show that the appearance of the deviation scale cannot be predicted only by the Rytov variance, which can be predicted through the vortex-splitting ratio of the received optical field alone or with the help of the normalized propagation distance.


title: A few statistical principles for data science

abstract: In any other circumstance, it might make sense to define the extent of the terrain (Data Science) first, and then locate and describe the landmarks (Principles). But this data revolution we are experiencing defies a cadastral survey. Areas are continually being annexed into Data Science. For example, biometrics was traditionally statistics for agriculture in all its forms but now, in Data Science, it means the study of characteristics that can be used to identify an individual. Examples of non-intrusive measurements include height, weight, fingerprints, retina scan, voice, photograph/video (facial landmarks and facial expressions), and gait. A multivariate analysis of such data would be a complex project for a statistician, but a software engineer might appear to have no trouble with it at all. In any applied-statistics project, the statistician worries about uncertainty and quantifies it by modelling data as realisations generated from a probability space. Another approach to uncertainty quantification is to find similar data sets, and then use the variability of results between these data sets to capture the uncertainty. Both approaches allow 'error bars' to be put on estimates obtained from the original data set, although the interpretations are different. A third approach, that concentrates on giving a single answer and gives up on uncertainty quantification, could be considered as Data Engineering, although it has staked a claim in the Data Science terrain. This article presents a few (actually nine) statistical principles for data scientists that have helped me, and continue to help me, when I work on complex interdisciplinary projects.


title: Multi-color balancing for correctly adjusting the intensity of target colors

abstract: In this paper, we propose a novel multi-color balance method for reducing color distortions caused by lighting effects. The proposed method allows us to adjust three target-colors chosen by a user in an input image so that each target color is the same as the corresponding destination (benchmark) one. In contrast, white balancing is a typical technique for reducing the color distortions, however, they cannot remove lighting effects on colors other than white. In an experiment, the proposed method is demonstrated to be able to remove lighting effects on selected three colors, and is compared with existing white balance adjustments.


title: Relaxed Transformer Decoders for Direct Action Proposal Generation

abstract: Temporal action proposal generation is an important and challenging task in video understanding, which aims at detecting all temporal segments containing action instances of interest. The existing proposal generation approaches are generally based on pre-defined anchor windows or heuristic bottom-up boundary matching strategies. This paper presents a simple and efficient framework (RTD-Net) for direct action proposal generation, by re-purposing a Transformer-alike architecture. To tackle the essential visual difference between time and space, we make three important improvements over the original transformer detection framework (DETR). First, to deal with slowness prior in videos, we replace the original Transformer encoder with a boundary attentive module to better capture long-range temporal information. Second, due to the ambiguous temporal boundary and relatively sparse annotations, we present a relaxed matching scheme to relieve the strict criteria of single assignment to each groundtruth. Finally, we devise a three-branch head to further improve the proposal confidence estimation by explicitly predicting its completeness. Extensive experiments on THUMOS14 and ActivityNet-1.3 benchmarks demonstrate the effectiveness of RTD-Net, on both tasks of temporal action proposal generation and temporal action detection. Moreover, due to its simplicity in design, our framework is more efficient than previous proposal generation methods, without non-maximum suppression post-processing. The code and models are made available at https://github.com/MCG-NJU/RTD-Action.


title: Length Learning for Planar Euclidean Curves

abstract: In this work, we used deep neural networks (DNNs) to solve a fundamental problem in differential geometry. One can find many closed-form expressions for calculating curvature, length, and other geometric properties in the literature. As we know these concepts, we are highly motivated to reconstruct them by using deep neural networks. In this framework, our goal is to learn geometric properties from examples. The simplest geometric object is a curve. Therefore, this work focuses on learning the length of planar sampled curves created by a sine waves dataset. For this reason, the fundamental length axioms were reconstructed using a supervised learning approach. Following these axioms a simplified DNN model, we call ArcLengthNet, was established. The robustness to additive noise and discretization errors were tested.


title: Selective Enhancement in Phonon Scattering leads to High Thermoelectric Figure of Merit in ZnO -- Graphene Oxide Core-shell Nanohybrids

abstract: ZnO is a promising candidate as an environment friendly thermoelectric (TE) material. However, the poor TE figure of merit (zT) needs to be addressed to achieve significant TE efficiency for commercial applications. Here we demonstrate that selective enhancement in phonon scattering leads to increase in zT of RGO encapsulated Al-doped ZnO core shell nanohybrids, synthesized via a facile and scalable method. The incorporation of 1 at% Al with 1.5 wt% RGO into ZnO (AGZO) has been found to show significant enhancement in zT (=0.52 at 1100 K) which is an order of magnitude larger compared to that of bare undoped ZnO. Photoluminescence and X-ray photoelectron spectroscopy measurements confirm that RGO encapsulation significantly quenches surface oxygen vacancies in ZnO along with nucleation of new interstitial Zn donor states. Tunneling spectroscopy reveals that the band gap of ~ 3.4 eV for bare ZnO reduces effectively to ~ 0.5 eV upon RGO encapsulation, facilitating charge transport. The electrical conductivity enhancement also benefits from the more than 95% densification achieved, using the spark plasma sintering method, which aids reduction of GO into RGO. The same Al doping and RGO capping synergistically brings about drastic reduction of thermal conductivity, through enhanced phonon-phonon and point defect-phonon scatterings. These opposing effects on electrical and thermal conductivities enhances the power factors as well as the zT value. Overall, a practically viable route for synthesis of oxide - RGO TE material which could find its practical applications for the high-temperature TE power generation.


title: Automatic Segmentation of Organs-at-Risk from Head-and-Neck CT using Separable Convolutional Neural Network with Hard-Region-Weighted Loss

abstract: Nasopharyngeal Carcinoma (NPC) is a leading form of Head-and-Neck (HAN) cancer in the Arctic, China, Southeast Asia, and the Middle East/North Africa. Accurate segmentation of Organs-at-Risk (OAR) from Computed Tomography (CT) images with uncertainty information is critical for effective planning of radiation therapy for NPC treatment. Despite the stateof-the-art performance achieved by Convolutional Neural Networks (CNNs) for automatic segmentation of OARs, existing methods do not provide uncertainty estimation of the segmentation results for treatment planning, and their accuracy is still limited by several factors, including the low contrast of soft tissues in CT, highly imbalanced sizes of OARs and large inter-slice spacing. To address these problems, we propose a novel framework for accurate OAR segmentation with reliable uncertainty estimation. First, we propose a Segmental Linear Function (SLF) to transform the intensity of CT images to make multiple organs more distinguishable than existing methods based on a simple window width/level that often gives a better visibility of one organ while hiding the others. Second, to deal with the large inter-slice spacing, we introduce a novel 2.5D network (named as 3D-SepNet) specially designed for dealing with clinic HAN CT scans with anisotropic spacing. Thirdly, existing hardness-aware loss function often deal with class-level hardness, but our proposed attention to hard voxels (ATH) uses a voxel-level hardness strategy, which is more suitable to dealing with some hard regions despite that its corresponding class may be easy. Our code is now available at https://github.com/HiLab-git/SepNet.


title: Gravity dualities of quantum distances

abstract: By choosing modular ground state as the reference state, this paper finds that three most frequently-used distances and a quantum quasi-distance, i.e. the trace distance, Fubini-Study distance, Bures distance and R\'{e}nyi relative entropy, all have gravity dualities. Their gravity dualities have two equivalent descriptions: one is given by the integration of the area of a cosmic brane, the other one is given by the Euclidian on-shell action of dual theory and the area of the cosmic brane. It then applies these dualities into the 2-dimensional conformal field theory as examples and finds the results match with the computations of field theory exactly.


title: Dynamic traffic assignment in a corridor network: Optimum versus Equilibrium

abstract: This study investigates dynamic system-optimal (DSO) and dynamic user equilibrium (DUE) traffic assignment of departure/arrival-time choices in a corridor network. The morning commute problems with a many-to-one pattern of origin-destination demand and the evening commute problems with a one-to-many pattern are considered. Specifically, a novel approach to derive closed-form solutions for both DSO and DUE problems is developed. We first derive a closed-form solution to the DSO problem based on the regularities of the cost and flow variables at an optimal state. By utilizing this solution, we prove that the queuing delay at a bottleneck in a DUE solution is equal to an optimal toll that eliminates the queue in a DSO solution under certain conditions of a schedule delay function. This enables us to derive a closed-form DUE solution by using the DSO solution. We also show the theoretical relationship between the DSO and DUE assignment. Numerical examples are provided to illustrate and verify the analytical results.


title: Temporal Motifs in Smart Grid

abstract: A complex network can be characterized by patterns. Such frequently occurring significant patterns are called motifs and in a time dependent network, they are called temporal motifs. One of the temporal networks where temporal motifs are observed and play a major role; is the Smart Grid. The energy consumption pattern across the appliances, houses, communities and entire cities help energy utility companies and consumers plan their electricity generation and consumption. The temporal motifs for the smart grid constitutes of the consumers and producers and the edge or connection represents energy flow between two participants of the network, these connections last till the power is being consumed/generated. This paper formally defines the temporal motifs for smart grid network and proposes a way to create such temporal motifs in the network. We also discuss how the temporal motifs fit into the hierarchical structure of power distribution system of Smart Grid.


title: Linear Continuous Sliding Mode-based Attitude Controller with Modified Rodrigues Parameters Feedback

abstract: This paper studies an attitude control system design based on modified Rodrigues parameters feedback. It employs a linear continuous sliding mode controller. The sliding mode controller is able to bring the existence of the sliding motion asymptotically. Besides, the attitude control system equilibrium point is proved to have an asymptotic stability guarantee through further analysis. This stability analysis is conducted since the sliding mode existence on the designed sliding surface does not imply the stability guarantee of the system's equilibrium. This paper ends with some numerical examples that confirm the effectiveness of the designed attitude control system.


title: LinkLouvain: Link-Aware A/B Testing and Its Application on Online Marketing Campaign

abstract: A lot of online marketing campaigns aim to promote user interaction. The average treatment effect (ATE) of campaign strategies need to be monitored throughout the campaign. A/B testing is usually conducted for such needs, whereas the existence of user interaction can introduce interference to normal A/B testing. With the help of link prediction, we design a network A/B testing method LinkLouvain to minimize graph interference and it gives an accurate and sound estimate of the campaign's ATE. In this paper, we analyze the network A/B testing problem under a real-world online marketing campaign, describe our proposed LinkLouvain method, and evaluate it on real-world data. Our method achieves significant performance compared with others and is deployed in the online marketing campaign.


title: Comprehensive Study on Denoising of Medical Images Utilizing Neural Network Based Auto-Encoder

abstract: Fetal motion discernment utilizing spectral images extracted from accelerometric data incident on pregnant mothers abdomen has gained substantial attention in the state-of-the-art research. It is an essential practice to avoid adverse scenarios such as stillbirths and intrauterine growth restrictions. However, this endeavor of ensuring fetus safety has been arduous due to the existence of random noise in medical images. This novel research is an in depth approach to analyze how the interference of different noise variations affect the retrieval of information in those images. For that, an algorithm employing auto-encoder-based deep learning was modeled and the accuracy of reconstruction of the STFT images mitigating the noise has been measured examining the loss. From the results, it is manifested that even a substantial addition of the Super-Gaussian noises which have a higher correlation of the frequencies possessed by the Fetal movement images can be restored successfully with the slightest error.


title: A Scalable Two Stage Approach to Computing Optimal Decision Sets

abstract: Machine learning (ML) is ubiquitous in modern life. Since it is being deployed in technologies that affect our privacy and safety, it is often crucial to understand the reasoning behind its decisions, warranting the need for explainable AI. Rule-based models, such as decision trees, decision lists, and decision sets, are conventionally deemed to be the most interpretable. Recent work uses propositional satisfiability (SAT) solving (and its optimization variants) to generate minimum-size decision sets. Motivated by limited practical scalability of these earlier methods, this paper proposes a novel approach to learn minimum-size decision sets by enumerating individual rules of the target decision set independently of each other, and then solving a set cover problem to select a subset of rules. The approach makes use of modern maximum satisfiability and integer linear programming technologies. Experiments on a wide range of publicly available datasets demonstrate the advantage of the new approach over the state of the art in SAT-based decision set learning.


title: Numerical bifurcation and stability for the capillary-gravity Whitham equation

abstract: We adopt a robust numerical continuation scheme to examine the global bifurcation of periodic traveling waves of the capillary-gravity Whitham equation, which combines the dispersion in the linear theory of capillary-gravity waves and a shallow water nonlinearity. We employ a highly accurate numerical method for space discretization and time stepping, to address orbital stability and instability for a rich variety of the solutions. Our findings can help classify capillary-gravity waves and understand their long-term dynamics.


title: Do Not Forget to Attend to Uncertainty while Mitigating Catastrophic Forgetting

abstract: One of the major limitations of deep learning models is that they face catastrophic forgetting in an incremental learning scenario. There have been several approaches proposed to tackle the problem of incremental learning. Most of these methods are based on knowledge distillation and do not adequately utilize the information provided by older task models, such as uncertainty estimation in predictions. The predictive uncertainty provides the distributional information can be applied to mitigate catastrophic forgetting in a deep learning framework. In the proposed work, we consider a Bayesian formulation to obtain the data and model uncertainties. We also incorporate self-attention framework to address the incremental learning problem. We define distillation losses in terms of aleatoric uncertainty and self-attention. In the proposed work, we investigate different ablation analyses on these losses. Furthermore, we are able to obtain better results in terms of accuracy on standard benchmarks.


title: Affine connections and Gauss-Bonnet theorems in the Heisenberg group

abstract: In this paper, we compute sub-Riemannian limits of Gaussian curvature associated to two kinds of Schouten-Van Kampen affine connections and the adapted connection for a Euclidean $C^2$-smooth surface in the Heisenberg group away from characteristic points and signed geodesic curvature associated to two kinds of Schouten-Van Kampen affine connections and the adapted connection for Euclidean $C^2$-smooth curves on surfaces. We get Gauss-Bonnet theorems associated to two kinds of Schouten-Van Kampen affine connections in the Heisenberg group.


title: Information Leakage in Zero-Error Source Coding: A Graph-Theoretic Perspective

abstract: We study the information leakage to a guessing adversary in zero-error source coding. The source coding problem is defined by a confusion graph capturing the distinguishability between source symbols. The information leakage is measured by the ratio of the adversary's successful guessing probability after and before eavesdropping the codeword, maximized over all possible source distributions. Such measurement under the basic adversarial model where the adversary makes a single guess and allows no distortion between its estimator and the true sequence is known as the maximum min-entropy leakage or the maximal leakage in the literature. We develop a single-letter characterization of the optimal normalized leakage under the basic adversarial model, together with an optimum-achieving scalar stochastic mapping scheme. An interesting observation is that the optimal normalized leakage is equal to the optimal compression rate with fixed-length source codes, both of which can be simultaneously achieved by some deterministic coding schemes. We then extend the leakage measurement to generalized adversarial models where the adversary makes multiple guesses and allows certain level of distortion, for which we derive single-letter lower and upper bounds.


title: HeBERT & HebEMO: a Hebrew BERT Model and a Tool for Polarity Analysis and Emotion Recognition

abstract: This paper introduces HeBERT and HebEMO. HeBERT is a Transformer-based model for modern Hebrew text, which relies on a BERT (Bidirectional Encoder Representations for Transformers) architecture. BERT has been shown to outperform alternative architectures in sentiment analysis, and is suggested to be particularly appropriate for MRLs. Analyzing multiple BERT specifications, we find that while model complexity correlates with high performance on language tasks that aim to understand terms in a sentence, a more-parsimonious model better captures the sentiment of entire sentence. Either way, out BERT-based language model outperforms all existing Hebrew alternatives on all common language tasks. HebEMO is a tool that uses HeBERT to detect polarity and extract emotions from Hebrew UGC. HebEMO is trained on a unique Covid-19-related UGC dataset that we collected and annotated for this study. Data collection and annotation followed an active learning procedure that aimed to maximize predictability. We show that HebEMO yields a high F1-score of 0.96 for polarity classification. Emotion detection reaches F1-scores of 0.78-0.97 for various target emotions, with the exception of surprise, which the model failed to capture (F1 = 0.41). These results are better than the best-reported performance, even among English-language models of emotion detection.


title: A Search for Optical Laser Emission from Proxima Centauri

abstract: A search for laser light from Proxima Centauri was performed, including 107 high-resolution, optical spectra obtained between 2004 and 2019. Among them, 57 spectra contain multiple, confined spectral combs, each consisting of 10 closely-spaced frequencies of light. The spectral combs, as entities, are themselves equally spaced with a frequency separation of 5800 GHz, rendering them unambiguously technological in origin. However, the combs do not originate at Proxima Centauri. Otherwise, the 107 spectra of Proxima Centauri show no evidence of technological signals, including 29 observations between March and July 2019 when the candidate technological radio signal, BLC1, was captured by Breakthrough Listen. This search would have revealed lasers pointed toward Earth having a power of 20 to 120 kilowatts and located within the 1.3au field of view centered on Proxima Centauri, assuming a benchmark laser launcher having a 10-meter aperture.


title: Sharper estimates of Ohsawa--Takegoshi $L^2$-extension theorem in higher dimensional case

abstract: Hosono obtained sharper estimates of the Ohsawa--Takegoshi $L^2$-extention theorem by allowing the constant depending on the weight function for a domain in $\mathbb{C}$. In this article, we show the higher dimensional case of sharper estimates of the Ohsawa--Takegoshi $L^2$-extention theorem. To prove the higher dimensional case of them, we establish an analogue of Berndtsson--Lempert type $L^2$-extension theorem by using the pluricomplex Green functions with poles along subvarieties. As a special case, we consider the sharper estimates in terms of the Azukawa pseudometric and show that the higher dimensional case of sharper estimate provides the $L^2$-minimum extension for radial case.


title: Space Shift Keying with Reconfigurable Intelligent Surfaces: Phase Configuration Designs and Performance Analysis

abstract: Reconfigurable intelligent surface (RIS)-assisted transmission and space shift keying (SSK) appear as promising candidates for future energy-efficient wireless systems. In this paper, two RIS-based SSK schemes are proposed to efficiently improve the error and throughput performance of conventional SSK systems, respectively. The first one, termed RIS-SSK with passive beamforming (RIS-SSK-PB), employs an RIS for beamforming and targets the maximization of the minimum squared Euclidean distance between any two decision points. The second one, termed RIS-SSK with Alamouti space-time block coding (RIS-SSK-ASTBC), employs an RIS for ASTBC and enables the RIS to transmit its own Alamouti-coded information while reflecting the incident SSK signals to the destination. A low-complexity beamformer and an efficient maximum-likelihood (ML) detector are designed for RIS-SSK-PB and RIS-SSK-ASTBC, respectively. Approximate expressions for the average bit error probabilities of the source and/or the RIS are derived in closed-form assuming ML detection. Extensive computer simulations are conducted to verify the performance analysis. Results show that RIS-SSK-PB significantly outperforms the existing RIS-free and RIS-based SSK schemes, and RIS-SSK-ASTBC enables highly reliable transmission with throughput improvement.


title: Lateral Drop Rebound on Hydrophobic and Chemically Heterogeneous Surface

abstract: A drop rebounding from a hydrophobic and chemically heterogeneous surface is investigated using the multiphase lattice Boltzmann method. The behaviors of drop rebounding are dependent on the degrees of the hydrophobicity and heterogeneity of the surface. When the surface is homogeneous, the drop rebounds vertically and the height is getting higher and higher with increases of the surface hydrophobicity. When the surface consists of two different hydrophobic surfaces, the drop rebounds laterally towards the low hydrophobic side. The asymmetrical rebounding is because the unbalanced Young's force exerted on the contact line by the high hydrophobic side is greater than that by the low hydrophobic surface. A set of contours of momentum distribution illustrate the dynamic process of drop spreading, shrinking and rebounding. This work promotes the understanding of the rebound mechanism of a drop impacting the surface and also provides a guiding strategy for precisely controlling the lateral behavior of rebounding drops by hydrophobic degrees and heterogeneous surfaces.


title: Optimizing QoS for Erasure-Coded Wireless Data Centers

abstract: Cloud computing facilitates the access of applications and data from any location by a distributed storage system. Erasure codes offer better data replication technique with reduced storage costs for more reliability. This paper considers the erasure-coded data center with multiple servers in a wireless network where each is equipped with a base-station. The cause of latency in the file retrieval process is mainly due to queuing delays at each server. This work puts forth a stochastic optimization framework for obtaining the optimal scheduling policy that maximizes users' quality of service (QoS) while adhering to the latency requirements. We further show that the problem has non-linear functions of expectations in objective and constraints and is impossible to solve with traditional SGD like algorithms. We propose a new algorithm that addresses compositional structure in the problem. Further, we show that the proposed algorithm achieves a faster convergence rate than the best-known results. Finally, we test the efficacy of the proposed method in a simulated environment.


title: Oscillating states of periodically driven anharmonic Langevin systems

abstract: We investigate the asymptotic distributions of periodically driven anharmonic Langevin systems. Utilizing the underlying $SL_2$ symmetry of the Langevin dynamics, we develop a perturbative scheme in which the effect of periodic driving can be treated nonperturbatively to any order of perturbation in anharmonicity. We spell out the conditions under which the asymptotic distributions exist and are periodic, and show that the distributions can be determined exactly in terms of the solutions of the associated Hill equations. We further find that the oscillating states of these driven systems are stable against anharmonic perturbations.


title: Answer Questions with Right Image Regions: A Visual Attention Regularization Approach

abstract: Visual attention in Visual Question Answering (VQA) targets at locating the right image regions regarding the answer prediction, offering a powerful technique to promote multi-modal understanding. However, recent studies have pointed out that the highlighted image regions from the visual attention are often irrelevant to the given question and answer, leading to model confusion for correct visual reasoning. To tackle this problem, existing methods mostly resort to aligning the visual attention weights with human attentions. Nevertheless, gathering such human data is laborious and expensive, making it burdensome to adapt well-developed models across datasets. To address this issue, in this paper, we devise a novel visual attention regularization approach, namely AttReg, for better visual grounding in VQA. Specifically, AttReg firstly identifies the image regions which are essential for question answering yet unexpectedly ignored (i.e., assigned with low attention weights) by the backbone model. And then a mask-guided learning scheme is leveraged to regularize the visual attention to focus more on these ignored key regions. The proposed method is very flexible and model-agnostic, which can be integrated into most visual attention-based VQA models and require no human attention supervision. Extensive experiments over three benchmark datasets, i.e., VQA-CP v2, VQA-CP v1, and VQA v2, have been conducted to evaluate the effectiveness of AttReg. As a by-product, when incorporating AttReg into the strong baseline LMH, our approach can achieve a new state-of-the-art accuracy of 60.00% with an absolute performance gain of 7.01% on the VQA-CP v2 benchmark dataset...


title: General Law of iterated logarithm for Markov processes: Limsup law

abstract: In this paper, we discuss general criteria of limsup law of iterated logarithm (LIL) for continuous-time Markov processes. We consider minimal assumptions for LILs to hold at zero(at infinity, respectively) in general metric measure spaces. We establish LILs under local assumptions near zero (near infinity, respectively) on uniform bounds of the expectations of first exit times from balls in terms of a function $\phi$ and uniform bounds on the tails of the jumping kernel in terms of a function $\psi$. The main result is that a simple ratio test in terms of the functions $\phi$ and $\psi$ completely determines whether there exists a positive non-decreasing function $\Psi$ such that $\limsup |X_t|/\Psi(t)$ is positive and finite a.s., or not. Our results cover a large class of subordinate diffusions, jump processes with mixed polynomial local growths, jump processes with singular jumping kernels and random conductance models with long range jumps.


title: Revealing Critical Characteristics of Mobility Patterns in New York City during the Onset of COVID-19 Pandemic

abstract: New York has become one of the worst-affected COVID-19 hotspots and a pandemic epicenter due to the ongoing crisis. This paper identifies the impact of the pandemic and the effectiveness of government policies on human mobility by analyzing multiple datasets available at both macro and micro levels for the New York City. Using data sources related to population density, aggregated population mobility, public rail transit use, vehicle use, hotspot and non-hotspot movement patterns, and human activity agglomeration, we analyzed the inter-borough and intra-borough moment for New York City by aggregating the data at the borough level. We also assessed the internodal population movement amongst hotspot and non-hotspot points of interest for the month of March and April 2020. Results indicate a drop of about 80% in people's mobility in the city, beginning in mid-March. The movement to and from Manhattan showed the most disruption for both public transit and road traffic. The city saw its first case on March 1, 2020, but disruptions in mobility can be seen only after the second week of March when the shelter in place orders was put in effect. Owing to people working from home and adhering to stay-at-home orders, Manhattan saw the largest disruption to both inter- and intra-borough movement. But the risk of spread of infection in Manhattan turned out to be high because of higher hotspot-linked movements. The stay-at-home restrictions also led to an increased population density in Brooklyn and Queens as people were not commuting to Manhattan. Insights obtained from this study would help policymakers better understand human behavior and their response to the news and governmental policies.


title: First principles design of Ohmic spin diodes based on quaternary Heusler compounds

abstract: The Ohmic spin diode (OSD) is a recent concept in spintronics, which is based on half-metallic magnets (HMMs) and spin-gapless semiconductors (SGSs). Quaternary Heusler compounds offer a unique platform to realize the OSD for room temperature applications as these materials possess very high Curie temperatures as well as half-metallic and spin-gapless semiconducting behavior within the same family. Using state-of-the-art first-principles calculations combined with the non-equilibrium Green's function method we design four different OSDs based on half-metallic and spin-gapless semiconducting quaternary Heusler compounds. All four OSDs exhibit linear current-voltage ($I-V$) characteristics with zero threshold voltage $V_T$. We show that these OSDs possess a small leakage current, which stems from the overlap of the conduction and valence band edges of opposite spin channels around the Fermi level in the SGS electrodes. The obtained on/off current ratios vary between $30$ and $10^5$. Our results can pave the way for the experimental fabrication of the OSDs within the family of ordered quaternary Heusler compounds.


title: Pluriclosed and Strominger K\"ahler-like metrics compatible with abelian complex structures

abstract: We show that the existence of a left-invariant pluriclosed Hermitian metric on a unimodular Lie group with a left-invariant abelian complex structure forces the group to be $2$-step nilpotent. Moreover, we prove that the pluriclosed flow starting from a left-invariant Hermitian metric on a $2$-step nilpotent Lie group preserves the Strominger K\"ahler-like condition.


title: 1000 Pupil Segmentations in a Second using Haar Like Features and Statistical Learning

abstract: In this paper we present a new approach for pupil segmentation. It can be computed and trained very efficiently, making it ideal for online use for high speed eye trackers as well as for energy saving pupil detection in mobile eye tracking. The approach is inspired by the BORE and CBF algorithms and generalizes the binary comparison by Haar features. Since these features are intrinsically very susceptible to noise and fluctuating light conditions, we combine them with conditional pupil shape probabilities. In addition, we also rank each feature according to its importance in determining the pupil shape. Another advantage of our method is the use of statistical learning, which is very efficient and can even be used online. https://atreus.informatik.uni-tuebingen.de/seafile/d/8e2ab8c3fdd444e1a135/?p=%2FStatsPupil&mode=list


title: Session-based Recommendation with Self-Attention Networks

abstract: Session-based recommendation aims to predict user's next behavior from current session and previous anonymous sessions. Capturing long-range dependencies between items is a vital challenge in session-based recommendation. A novel approach is proposed for session-based recommendation with self-attention networks (SR-SAN) as a remedy. The self-attention networks (SAN) allow SR-SAN capture the global dependencies among all items of a session regardless of their distance. In SR-SAN, a single item latent vector is used to capture both current interest and global interest instead of session embedding which is composed of current interest embedding and global interest embedding. Some experiments have been performed on some open benchmark datasets. Experimental results show that the proposed method outperforms some state-of-the-arts by comparisons.


title: Shear jamming and fragility of suspensions in a continuum model with elastic constraints

abstract: Under an applied traction, highly concentrated suspensions of solid particles in fluids can turn from a state in which they flow to a state in which they counteract the traction as an elastic solid: a shear-jammed state. Remarkably, the suspension can turn back to the flowing state simply by inverting the traction. A tensorial model is presented and tested in paradigmatic cases. We show that, to reproduce the phenomenology of shear jamming in generic geometries, it is necessary to link this effect to the elastic response supported by the suspension microstructure rather than to a divergence of the viscosity.


title: Eclipsing Binary Populations across the Northern Galactic Plane from the KISOGP survey

abstract: We present a catalog of eclipsing binaries in the northern Galactic Plane from the Kiso Wide-Field Camera Intensive Survey of the Galactic Plane (KISOGP). We visually identified 7055 eclipsing binaries spread across $\sim$330 square degrees, including 4197 W Ursa Majoris/EW-, 1458 $\beta$ Lyrae/EB-, and 1400 Algol/EA-type eclipsing binaries. For all systems, $I$-band light curves were used to obtain accurate system parameters. We derived the distances and extinction values for the EW-type objects from their period--luminosity relation. We also obtained the structure of the thin disk from the distribution of our sample of eclipsing binary systems, combined with those of high-mass star-forming regions and Cepheid tracers. We found that the thin disk is inhomogeneous in number density as a function of Galactic longitude. Using this new set of distance tracers, we constrain the detailed structure of the thin disk. Finally, we report a global parallax zero-point offset of $ \Delta \pi=-42.1\pm1.9\mbox{(stat.)}\pm12.9\mbox{(syst.)}$ $\mu$as between our carefully calibrated EW-type eclipsing binary positions and those provided by Gaia Early Data Release 3. Implementation of the officially recommended parallax zero-point correction results in a significantly reduced offset. Additionally, we provide a photometric characterization of our EW-type eclipsing binaries that can be applied to further analyses.


title: Data-Injection Attacks

abstract: In this chapter we review some of the basic attack constructions that exploit a stochastic description of the state variables. We pose the state estimation problem in a Bayesian setting and cast the bad data detection procedure as a Bayesian hypothesis testing problem. This revised detection framework provides the benchmark for the attack detection problem that limits the achievable attack disruption. Indeed, the trade-off between the impact of the attack, in terms of disruption to the state estimator, and the probability of attack detection is analytically characterized within this Bayesian attack setting. We then generalize the attack construction by considering information-theoretic measures that place fundamental limits to a broad class of detection, estimation, and learning techniques. Because the attack constructions proposed in this chapter rely on the attacker having access to the statistical structure of the random process describing the state variables, we conclude by studying the impact of imperfect statistics on the attack performance. Specifically, we study the attack performance as a function of the size of the training data set that is available to the attacker to estimate the second-order statistics of the state variables.


title: Electrodeless electrode model for electrical impedance tomography

abstract: Electrical impedance tomography is an imaging modality for extracting information on the interior structure of a physical body from boundary measurements of current and voltage. This work studies a new robust way of modeling the contact electrodes used for driving current patterns into the examined object and measuring the resulting voltages. The idea is to not define the electrodes as strict geometric objects on the measurement boundary, but only to assume approximate knowledge about their whereabouts and let a boundary admittivity function determine the actual locations of the current inputs. Such an approach enables reconstructing the boundary admittivity, i.e. the locations and strengths of the contacts, at the same time and with analogous methods as the interior admittivity. The functionality of the new model is verified by two-dimensional numerical experiments based on water tank data.


title: Impact of Sound Duration and Inactive Frames on Sound Event Detection Performance

abstract: In many methods of sound event detection (SED), a segmented time frame is regarded as one data sample to model training. The durations of sound events greatly depend on the sound event class, e.g., the sound event "fan" has a long duration, whereas the sound event "mouse clicking" is instantaneous. Thus, the difference in the duration between sound event classes results in a serious data imbalance in SED. Moreover, most sound events tend to occur occasionally; therefore, there are many more inactive time frames of sound events than active frames. This also causes a severe data imbalance between active and inactive frames. In this paper, we investigate the impact of sound duration and inactive frames on SED performance by introducing four loss functions, such as simple reweighting loss, inverse frequency loss, asymmetric focal loss, and focal batch Tversky loss. Then, we provide insights into how we tackle this imbalance problem.


title: Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies

abstract: In the fields of co-simulation and component-based modelling, designers import models as building blocks to create a composite model that provides more complex functionalities. Modelling tools perform instantaneous cycle detection (ICD) on the composite models having feedback loops to reject the models if the loops are mathematically unsound and to improve simulation performance. In this case, the analysis relies heavily on the availability of dependency information from the imported models. However, the cycle detection problem becomes harder when the model's input to output dependencies are mode-dependent, i.e. changes for certain events generated internally or externally as inputs. The number of possible modes created by composing such models increases significantly and unknown factors such as environmental inputs make the offline (statical) ICD a difficult task. In this paper, an online ICD method is introduced to address this issue for the models used in cyber-physical systems. The method utilises an oracle as a central source of information that can answer whether the individual models can make mode transition without creating instantaneous cycles. The oracle utilises three types of data-structures created offline that are adaptively chosen during online (runtime) depending on the frequency as well as the number of models that make mode transitions. During the analysis, the models used online are stalled from running, resulting in the discrepancy with the physical system. The objective is to detect an absence of the instantaneous cycle while minimising the stall time of the model simulation that is induced from the analysis. The benchmark results show that our method is an adequate alternative to the offline analysis methods and significantly reduces the analysis time.


title: Regularization Strategy for Point Cloud via Rigidly Mixed Sample

abstract: Data augmentation is an effective regularization strategy to alleviate the overfitting, which is an inherent drawback of the deep neural networks. However, data augmentation is rarely considered for point cloud processing despite many studies proposing various augmentation methods for image data. Actually, regularization is essential for point clouds since lack of generality is more likely to occur in point cloud due to small datasets. This paper proposes a Rigid Subset Mix (RSMix), a novel data augmentation method for point clouds that generates a virtual mixed sample by replacing part of the sample with shape-preserved subsets from another sample. RSMix preserves structural information of the point cloud sample by extracting subsets from each sample without deformation using a neighboring function. The neighboring function was carefully designed considering unique properties of point cloud, unordered structure and non-grid. Experiments verified that RSMix successfully regularized the deep neural networks with remarkable improvement for shape classification. We also analyzed various combinations of data augmentations including RSMix with single and multi-view evaluations, based on abundant ablation studies.


title: General-Purpose Speech Representation Learning through a Self-Supervised Multi-Granularity Framework

abstract: This paper presents a self-supervised learning framework, named MGF, for general-purpose speech representation learning. In the design of MGF, speech hierarchy is taken into consideration. Specifically, we propose to use generative learning approaches to capture fine-grained information at small time scales and use discriminative learning approaches to distill coarse-grained or semantic information at large time scales. For phoneme-scale learning, we borrow idea from the masked language model but tailor it for the continuous speech signal by replacing classification loss with a contrastive loss. We corroborate our design by evaluating MGF representation on various downstream tasks, including phoneme classification, speaker classification, speech recognition, and emotion classification. Experiments verify that training at different time scales needs different training targets and loss functions, which in general complement each other and lead to a better performance.


title: A Global-local Attention Framework for Weakly Labelled Audio Tagging

abstract: Weakly labelled audio tagging aims to predict the classes of sound events within an audio clip, where the onset and offset times of the sound events are not provided. Previous works have used the multiple instance learning (MIL) framework, and exploited the information of the whole audio clip by MIL pooling functions. However, the detailed information of sound events such as their durations may not be considered under this framework. To address this issue, we propose a novel two-stream framework for audio tagging by exploiting the global and local information of sound events. The global stream aims to analyze the whole audio clip in order to capture the local clips that need to be attended using a class-wise selection module. These clips are then fed to the local stream to exploit the detailed information for a better decision. Experimental results on the AudioSet show that our proposed method can significantly improve the performance of audio tagging under different baseline network architectures.


title: Roughly Collected Dataset for Contact Force Sensing Catheter

abstract: With rise of interventional cardiology, Catheter Ablation Therapy (CAT) has established itself as a first-line solution to treat cardiac arrhythmia. Although CAT is a promising technique, cardiologist lacks vision inside the body during the procedure, which may cause serious clinical syndromes. To support accurate clinical procedure, Contact Force Sensing (CFS) system is developed to find a position of the catheter tip through the measure of contact force between catheter and heart tissue. However, the practical usability of commercialized CFS systems is not fully understood due to inaccuracy in the measurement. To support the development of more accurate system, we develop a full pipeline of CFS system with newly collected benchmark dataset through a contact force sensing catheter in simplest hardware form. Our dataset was roughly collected with human noise to increase data diversity. Through the analysis of the dataset, we identify a problem defined as Shift of Reference (SoR), which prevents accurate measurement of contact force. To overcome the problem, we conduct the contact force estimation via standard deep neural networks including for Recurrent Neural Network (RNN), Fully Convolutional Network (FCN) and Transformer. An average error in measurement for RNN, FCN and Transformer are, respectively, 2.46g, 3.03g and 3.01g. Through these studies, we try to lay a groundwork, serve a performance criteria for future CFS system research and open a publicly available dataset to public.


title: A Credibility Approach on Fuzzy Slacks Based Measure (SBM) DEA Model

abstract: Data Envelopment Analysis (DEA) is a multi-criteria technique based on linear programming to deal with many real-life problems, mostly in nonprofit organizations. The slacks-based measure (SBM) model is one of the DEA model used to assess the relative efficiencies of decision-making units (DMUs). The SBM DEA model directly used input slacks and output slacks to determine the relative efficiency of DMUs. In order to deal with qualitative or uncertain data, a fuzzy SBM DEA model is used to assess the performance of DMUs in this study. The credibility measure approach, transform the fuzzy SBM DEA model into a crisp linear programming model at different credibility levels is used. The results came from the fuzzy DEA model are more rational to the real-world situation than the conventional DEA model. In the end, the data of Indian oil refineries is collected, and the efficiency behavior of the companies obtained by applying the proposed model for its numerical illustration.


title: Noise-robust classification with hypergraph neural network

abstract: This paper presents a novel version of the hypergraph neural network method. This method is utilized to solve the noisy label learning problem. First, we apply the PCA dimensional reduction technique to the feature matrices of the image datasets in order to reduce the "noise" and the redundant features in the feature matrices of the image datasets and to reduce the runtime constructing the hypergraph of the hypergraph neural network method. Then, the classic graph-based semi-supervised learning method, the classic hypergraph based semi-supervised learning method, the graph neural network, the hypergraph neural network, and our proposed hypergraph neural network are employed to solve the noisy label learning problem. The accuracies of these five methods are evaluated and compared. Experimental results show that the hypergraph neural network methods achieve the best performance when the noise level increases. Moreover, the hypergraph neural network methods are at least as good as the graph neural network.


title: Sensitivity Analysis for Unmeasured Confounding via Effect Extrapolation

abstract: Inferring the causal effect of a non-randomly assigned exposure on an outcome requires adjusting for common causes of the exposure and outcome to avoid biased conclusions. Notwithstanding the efforts investigators routinely make to measure and adjust for such common causes (or confounders), some confounders typically remain unmeasured, raising the prospect of biased inference in observational studies. Therefore, it is crucial that investigators can practically assess their substantive conclusions' relative (in)sensitivity to potential unmeasured confounding. In this article, we propose a sensitivity analysis strategy that is informed by the stability of the exposure effect over different, well-chosen subsets of the measured confounders. The proposal entails first approximating the process for recording confounders to learn about how the effect is potentially affected by varying amounts of unmeasured confounding, then extrapolating to the effect had hypothetical unmeasured confounders been additionally adjusted for. A large set of measured confounders can thus be exploited to provide insight into the likely presence of unmeasured confounding bias, albeit under an assumption about how data on the confounders are recorded. The proposal's ability to reveal the true effect and ensure valid inference after extrapolation is empirically compared with existing methods using simulation studies. We demonstrate the procedure using two different publicly available datasets commonly used for causal inference.


title: A Bayesian Federated Learning Framework with Online Laplace Approximation

abstract: Federated learning (FL) allows multiple clients to collaboratively learn a globally shared model through cycles of model aggregation and local model training, without the need to share data. Most existing FL methods train local models separately on different clients, and then simply average their parameters to obtain a centralized model on the server side. However, these approaches generally suffer from large aggregation errors and severe local forgetting, which are particularly bad in heterogeneous data settings. To tackle these issues, in this paper, we propose a novel FL framework that uses online Laplace approximation to approximate posteriors on both the client and server side. On the server side, a multivariate Gaussian product mechanism is employed to construct and maximize a global posterior, largely reducing the aggregation errors induced by large discrepancies between local models. On the client side, a prior loss that uses the global posterior probabilistic parameters delivered from the server is designed to guide the local training. Binding such learning constraints from other clients enables our method to mitigate local forgetting. Finally, we achieve state-of-the-art results on several benchmarks, clearly demonstrating the advantages of the proposed method.


title: The ${\rm SL}(2,\mathbb{C})$-character variety of a Montesinos knot

abstract: For each Montesinos knot $K$, we propose an efficient method to explicitly determine the irreducible ${\rm SL}(2,\mathbb{C})$-character variety, and show that it can be decomposed as $\mathcal{X}_0(K)\sqcup\mathcal{X}_1(K)\sqcup\mathcal{X}_2(K)\sqcup\mathcal{X}'(K)$, where $\mathcal{X}_0(K)$ consists of trace-free characters, $\mathcal{X}_1(K)$ consists of characters of "unions" of representations of rational knots (or rational link, which appears at most once), $\mathcal{X}_2(K)$ is an algebraic curve, and $\mathcal{X}'(K)$ consists of finitely many points when $K$ satisfies a generic condition.


title: How good is Good-Turing for Markov samples?

abstract: The Good-Turing (GT) estimator for the missing mass (i.e., total probability of missing symbols) in $n$ samples is the number of symbols that appeared exactly once divided by $n$. For i.i.d. samples, the bias and squared-error risk of the GT estimator can be shown to fall as $1/n$ by bounding the expected error uniformly over all symbols. In this work, we study convergence of the GT estimator for missing stationary mass (i.e., total stationary probability of missing symbols) of Markov samples on an alphabet $\mathcal{X}$ with stationary distribution $[\pi_x:x \in \mathcal{X}]$ and transition probability matrix (t.p.m.) $P$. This is an important and interesting problem because GT is widely used in applications with temporal dependencies such as language models assigning probabilities to word sequences, which are modelled as Markov. We show that convergence of GT depends on convergence of $(P^{\sim x})^n$, where $P^{\sim x}$ is $P$ with the $x$-th column zeroed out. This, in turn, depends on the Perron eigenvalue $\lambda^{\sim x}$ of $P^{\sim x}$ and its relationship with $\pi_x$ uniformly over $x$. For randomly generated t.p.ms and t.p.ms derived from New York Times and Charles Dickens corpora, we numerically exhibit such uniform-over-$x$ relationships between $\lambda^{\sim x}$ and $\pi_x$. This supports the observed success of GT in language models and practical text data scenarios. For Markov chains with rank-2, diagonalizable t.p.ms having spectral gap $\beta$, we show minimax rate upper and lower bounds of $1/(n\beta^5)$ and $1/(n\beta)$, respectively, for the estimation of stationary missing mass. This theoretical result extends the $1/n$ minimax rate for i.i.d. or rank-1 t.p.ms to rank-2 Markov, and is a first such minimax rate result for missing mass of Markov samples.


title: Diurnal temperature variation as the source of the preferential direction of fractures on asteroids: theoretical model for the case of Bennu

abstract: It has been shown that temperature cycles on airless bodies of our Solar System can cause damaging of surface materials. Nevertheless, propagation mechanisms in the case of space objects are still poorly understood. Present work combines a thermoelasticity model together with linear elastic fracture mechanics theory to predict fracture propagation in the presence of thermal gradients generated by diurnal temperature cycling and under conditions similar to those existing on the asteroid Bennu. The crack direction is computed using the maximal strain energy release rate criterion, which is implemented using finite elements and the so-called G$\theta$ method (Uribe-Su\'arez et al. 2020. Eng. Fracture Mech. 227:106918). Using the implemented methodology, crack propagation direction for an initial crack tip in different positions and for different orientations is computed. It is found that cracks preferentially propagate in the North to South (N-S), in the North-East to South-West (NE-SW) and in the North-West to South-East (NW-SE) directions. Finally, thermal fatigue analysis was performed in order to estimate the crack growth rate. Computed value is in good agreement with available experimental evidence.


title: Multi-Scale Cost Volumes Cascade Network for Stereo Matching

abstract: Stereo matching is essential for robot navigation. However, the accuracy of current widely used traditional methods is low, while methods based on CNN need expensive computational cost and running time. This is because different cost volumes play a crucial role in balancing speed and accuracy. Thus we propose MSCVNet, which combines traditional methods and neural networks to improve the quality of cost volume. Concretely, our network first generates multiple 3D cost volumes with different resolutions and then uses 2D convolutions to construct a novel cascade hourglass network for cost aggregation. Meanwhile, we design an algorithm to distinguish and calculate the loss for discontinuous areas of disparity result. According to the KITTI official website, our network is much faster than most top-performing methods (24 times than CSPN, 44 times than GANet, etc.). Meanwhile, compared to traditional methods (SPS-St, SGM) and other real-time stereo matching networks (Fast DS-CS, DispNetC, and RTSNet, etc.), our network achieves a big improvement in accuracy, demonstrating the feasibility and capability of the proposed method.


title: On the Markov evolution of the $\rho$-matrix of a subsystem

abstract: Evolution of the reduced density matrix for a subsystem is studied to determine deviations from its Markov character for a system consisting of a closed chain of $N$ oscillators with one of them serving as a subsystem. The dependence on $N$ and on the coupling of the two subsystems is investigated numerically. The found deviations strongly depend on $N$ and the coupling. In the most beneficial case with $N-1=100$ and the coupling randomized in its structure the deviations fall with the evolution time up 3\%. In other cases they remain to be of the order 30\% or even more.


title: Reconstruction of small graphs and digraphs

abstract: We describe computer searches that prove the graph reconstruction conjecture for graphs with up to 13 vertices and some limited classes on larger sizes. We also investigate the reconstructibility of tournaments up to 13 vertices, digraphs up to 9 vertices, and posets up to 13 points. In all cases, our results also apply to the set reconstruction problem that uses the isomorph-reduced deck.


title: A Frequency Domain Bootstrap for General Multivariate Stationary Processes

abstract: For many relevant statistics of multivariate time series, no valid frequency domain bootstrap procedures exist. This is mainly due to the fact that the distribution of such statistics depends on the fourth-order moment structure of the underlying process in nearly every scenario, except for some special cases like Gaussian time series. In contrast to the univariate case, even additional structural assumptions such as linearity of the multivariate process or a standardization of the statistic of interest do not solve the problem. This paper focuses on integrated periodogram statistics as well as functions thereof and presents a new frequency domain bootstrap procedure for multivariate time series, the multivariate frequency domain hybrid bootstrap (MFHB), to fill this gap. Asymptotic validity of the MFHB procedure is established for general classes of periodogram-based statistics and for stationary multivariate processes satisfying rather weak dependence conditions. A simulation study is carried out which compares the finite sample performance of the MFHB with that of the moving block bootstrap.


title: All Infections are Not Created Equal: Time-Sensitive Prediction of Malware Generated Network Attacks

abstract: Many techniques have been proposed for quickly detecting and containing malware-generated network attacks such as large-scale denial of service attacks; unfortunately, much damage is already done within the first few minutes of an attack, before it is identified and contained. There is a need for an early warning system that can predict attacks before they actually manifest, so that upcoming attacks can be prevented altogether by blocking the hosts that are likely to engage in attacks. However, blocking responses may disrupt legitimate processes on blocked hosts; in order to minimise user inconvenience, it is important to also foretell the time when the predicted attacks will occur, so that only the most urgent threats result in auto-blocking responses, while less urgent ones are first manually investigated. To this end, we identify a typical infection sequence followed by modern malware; modelling this sequence as a Markov chain and training it on real malicious traffic, we are able to identify behaviour most likely to lead to attacks and predict 98\% of real-world spamming and port-scanning attacks before they occur. Moreover, using a Semi-Markov chain model, we are able to foretell the time of upcoming attacks, a novel capability that allows accurately predicting the times of 97% of real-world malware attacks. Our work represents an important and timely step towards enabling flexible threat response models that minimise disruption to legitimate users.


title: On the Predictive Power of Chemical Concepts

abstract: Many chemical concepts can be well defined in the context of quantum chemical theories. Examples are the electronegativity scale of Mulliken and Jaffe and the hard and soft acids and bases concept of Pearson. The sound theoretical basis allows for a systematic definition of such concepts. However, while they are often used to describe and compare chemical processes in terms of reactivity, their predictive power remains unclear. In this work, we elaborate on the predictive potential of chemical reactivity concepts, which can be crucial for autonomous reaction exploration protocols to guide them by first-principles heuristics that expoit these concepts.


title: Statistical Inference for Ordinal Predictors in Generalized Linear and Additive Models with Application to Bronchopulmonary Dysplasia

abstract: Discrete but ordered covariates are quite common in applied statistics, and some regularized fitting procedures have been proposed for proper handling of ordinal predictors in statistical modeling. In this study, we show how quadratic penalties on adjacent dummy coefficients of ordinal predictors proposed in the literature can be incorporated in the framework of generalized additive models, making tools for statistical inference developed there available for ordinal predictors as well. Motivated by an application from neonatal medicine, we discuss whether results obtained when constructing confidence intervals and testing significance of smooth terms in generalized additive models are useful with ordinal predictors/penalties as well.


title: Infinite-dimensional groups over finite fields and Hall-Littlewood symmetric functions

abstract: The groups mentioned in the title are certain matrix groups of infinite size over a finite field $\mathbb F_q$. They are built from finite classical groups and at the same time they are similar to reductive $p$-adic Lie groups. In the present paper, we initiate the study of invariant measures for the coadjoint action of these infinite-dimensional groups. We examine first the group $\mathbb{GLB}$, a topological completion of the inductive limit group $\varinjlim GL(n, \mathbb F_q)$. As was shown by Gorin, Kerov, and Vershik [arXiv:1209.4945], the traceable factor representations of $\mathbb{GLB}$ admit a complete classification, achieved in terms of harmonic functions on the Young graph $\mathbb Y$. We show that there exists a parallel theory for ergodic coadjoint-invariant measures, which is linked with a deformed version of harmonic functions on $\mathbb Y$. Here the deformation means that the edges of $\mathbb Y$ are endowed with certain formal multiplicities coming from the simplest version of Pieri rule (multiplication by the first power sum $p_1$) for the Hall-Littlewood (HL) symmetric functions with parameter $t:=q^{-1}$. This fact serves as a prelude to our main results, which concern topological completions of two inductive limit groups built from finite unitary groups. We show that in this case, coadjoint-invariant measures are linked to some new branching graphs. The latter are still related to the HL functions, but the novelty is that now the formal edge multiplicities come from the multiplication by $p_2$ (not $p_1$) and the HL parameter $t$ turns out to be negative (as in Ennola's duality).


title: A search for radio afterglows from gamma-ray bursts with the Australian Square Kilometre Array Pathfinder

abstract: We present a search for radio afterglows from long gamma-ray bursts using the Australian Square Kilometre Array Pathfinder (ASKAP). Our search used the Rapid ASKAP Continuum Survey, covering the entire celestial sphere south of declination $+41^\circ$, and three epochs of the Variables and Slow Transients Pilot Survey (Phase 1), covering $\sim 5,000$ square degrees per epoch. The observations we used from these surveys spanned a nine-month period from 2019 April 21 to 2020 January 11. We crossmatched radio sources found in these surveys with 779 well-localised (to $\leq 15''$) long gamma-ray bursts occurring after 2004 and determined whether the associations were more likely afterglow- or host-related through the analysis of optical images. In our search, we detected one radio afterglow candidate associated with GRB 171205A, a local low-luminosity gamma-ray burst with a supernova counterpart SN 2017iuk, in an ASKAP observation 511 days post-burst. We confirmed this detection with further observations of the radio afterglow using the Australia Telescope Compact Array at 859 days and 884 days post-burst. Combining this data with archival data from early-time radio observations, we showed the evolution of the radio spectral energy distribution alone could reveal clear signatures of a wind-like circumburst medium for the burst. Finally, we derived semi-analytical estimates for the microphysical shock parameters of the burst: electron power-law index $p = 2.84$, normalised wind-density parameter $A_* = 3$, fractional energy in electrons $\epsilon_{e} = 0.3$, and fractional energy in magnetic fields $\epsilon_{B} = 0.0002$.


title: On sparsity of representations of polynomials as linear combinations of exponential functions

abstract: Given an integer $g$ and also some given integers $m$ (sufficiently large) and $c_1,\dots, c_m$, we show that the number of all non-negative integers $n\le M$ with the property that there exist non-negative integers $k_1,\dots, k_m$ such that $$n^2=\sum_{i=1}^m c_i g^{k_i}$$ is $o\left(\left(\log M \right)^{m-1/2}\right)$. We also obtain a similar bound when dealing with more general inequalities $$\left|Q(n)-\sum_{i=1}^m c_i\lambda^{k_i}\right|\le B,$$ where $Q\in {\mathbb C}[X]$ and also $\lambda\in {\mathbb C}$ (while $B$ is a real number).


title: SiML: Sieved Maximum Likelihood for Array Signal Processing

abstract: Stochastic Maximum Likelihood (SML) is a popular direction of arrival (DOA) estimation technique in array signal processing. It is a parametric method that jointly estimates signal and instrument noise by maximum likelihood, achieving excellent statistical performance. Some drawbacks are the computational overhead as well as the limitation to a point-source data model with fewer sources than sensors. In this work, we propose a Sieved Maximum Likelihood (SiML) method. It uses a general functional data model, allowing an unrestricted number of arbitrarily-shaped sources to be recovered. To this end, we leverage functional analysis tools and express the data in terms of an infinite-dimensional sampling operator acting on a Gaussian random function. We show that SiML is computationally more efficient than traditional SML, resilient to noise, and results in much better accuracy than spectral-based methods.


title: Mind the Gap: Assessing Temporal Generalization in Neural Language Models

abstract: Our world is open-ended, non-stationary, and constantly evolving; thus what we talk about and how we talk about it change over time. This inherent dynamic nature of language contrasts with the current static language modelling paradigm, which trains and evaluates models on utterances from overlapping time periods. Despite impressive recent progress, we demonstrate that Transformer-XL language models perform worse in the realistic setup of predicting future utterances from beyond their training period, and that model performance becomes increasingly worse with time. We find that, while increasing model size alone -- a key driver behind recent progress -- does not solve this problem, having models that continually update their knowledge with new information can indeed mitigate this performance degradation over time. Hence, given the compilation of ever-larger language modelling datasets, combined with the growing list of language-model-based NLP applications that require up-to-date factual knowledge about the world, we argue that now is the right time to rethink the static way in which we currently train and evaluate our language models, and develop adaptive language models that can remain up-to-date with respect to our ever-changing and non-stationary world. We publicly release our dynamic, streaming language modelling benchmarks for WMT and arXiv to facilitate language model evaluation that takes temporal dynamics into account.


title: You Cannot Do That Ben Stokes: Dynamically Predicting Shot Type in Cricket Using a Personalized Deep Neural Network

abstract: The ability to predict what shot a batsman will attempt given the type of ball and match situation is both one of the most challenging and strategically important tasks in cricket. The goal of the batsman is to score as many runs without being dismissed, whilst for bowlers their goal is to stem the flow of runs and ideally to dismiss their opponent. Getting the best batsman vs bowler match-up is of paramount importance. For example, for the fielding team, the choice of bowler against the opposition star batsman could be the key difference between winning or losing. Therefore, the ability to have a predefined playbook (as in the NFL) which would allow a team to predict how best to set their fielders given the context of the game, the batsman they are bowling to and bowlers at their disposal would give them a significant strategic advantage. To this end, we present a personalized deep neural network approach which can predict the probabilities of where a specific batsman will hit a specific bowler and bowl type, in a specific game-scenario. We demonstrate how our personalized predictions provide vital information to inform the decision-making of coaches and captains, both in terms of pre-match and in-game tactical choices, using the 2019 World Cup final between England and New Zealand as a case study example.


title: Furtherance of Numerical radius inequalities of Hilbert space operators

abstract: If $A,B$ are bounded linear operators on a complex Hilbert space, then % $w(A) \leq \frac{1}{2}\left( \|A\|+\sqrt{r\left(|A||A^*|\right)}\right)$ and $w(AB \pm BA)\leq 2\sqrt{2}\|B\|\sqrt{ w^2(A)-\frac{c^2(\Re (A))+c^2(\Im (A))}{2} },$ \begin{eqnarray*} w(A) &\leq& \frac{1}{2}\left( \|A\|+\sqrt{r\left(|A||A^*|\right)}\right),\\ w(AB \pm BA)&\leq& 2\sqrt{2}\|B\|\sqrt{ w^2(A)-\frac{c^2(\Re (A))+c^2(\Im (A))}{2} }, \end{eqnarray*} where $w(.),\|.\|,c(.)$ and $r(.)$ are the numerical radius, the operator norm, the Crawford number and the spectral radius respectively, and $\Re (A)$, $\Im (A)$ are the real part, the imaginary part of $A$ respectively. The inequalities obtained here generalize and improve on the existing well known inequalities.


title: Status and direction of atom probe analysis of frozen liquids

abstract: Imaging of liquids and cryogenic biological materials by electron microscopy has been recently enabled by innovative approaches for specimen preparation and the fast development of optimised instruments for cryo-enabled electron microscopy (cryo-EM). Yet, Cryo-EM typically lacks advanced analytical capabilities, in particular for light elements. With the development of protocols for frozen wet specimen preparation, atom probe tomography (APT) could advantageously complement insights gained by cryo-EM. Here, we report on different approaches that have been recently proposed to enable the analysis of relatively large volumes of frozen liquids from either a flat substrate or the fractured surface of a wire. Both allowed for analysing water ice layers which are several microns thick consisting of pure water, pure heavy-water and aqueous solutions. We discuss the merits of both approaches, and prospects for further developments in this area. Preliminary results raise numerous questions, in part concerning the physics underpinning field evaporation. We discuss these aspects and lay out some of the challenges regarding the APT analysis of frozen liquids.


title: Predictive coding feedback results in perceived illusory contours in a recurrent neural network

abstract: Modern feedforward convolutional neural networks (CNNs) can now solve some computer vision tasks at super-human levels. However, these networks only roughly mimic human visual perception. One difference from human vision is that they do not appear to perceive illusory contours (e.g. Kanizsa squares) in the same way humans do. Physiological evidence from visual cortex suggests that the perception of illusory contours could involve feedback connections. Would recurrent feedback neural networks perceive illusory contours like humans? In this work we equip a deep feedforward convolutional network with brain-inspired recurrent dynamics. The network was first pretrained with an unsupervised reconstruction objective on a natural image dataset, to expose it to natural object contour statistics. Then, a classification decision layer was added and the model was finetuned on a form discrimination task: squares vs. randomly oriented inducer shapes (no illusory contour). Finally, the model was tested with the unfamiliar ''illusory contour'' configuration: inducer shapes oriented to form an illusory square. Compared with feedforward baselines, the iterative ''predictive coding'' feedback resulted in more illusory contours being classified as physical squares. The perception of the illusory contour was measurable in the luminance profile of the image reconstructions produced by the model, demonstrating that the model really ''sees'' the illusion. Ablation studies revealed that natural image pretraining and feedback error correction are both critical to the perception of the illusion. Finally we validated our conclusions in a deeper network (VGG): adding the same predictive coding feedback dynamics again leads to the perception of illusory contours.


title: Time Series Classification via Topological Data Analysis

abstract: In this paper, we develop topological data analysis methods for classification tasks on univariate time series. As an application, we perform binary and ternary classification tasks on two public datasets that consist of physiological signals collected under stress and non-stress conditions. We accomplish our goal by using persistent homology to engineer stable topological features after we use a time delay embedding of the signals and perform a subwindowing instead of using windows of fixed length. The combination of methods we use can be applied to any univariate time series and in this application allows us to reduce noise and use long window sizes without incurring an extra computational cost. We then use machine learning models on the features we algorithmically engineered to obtain higher accuracies with fewer features.


title: All-optical manipulation of photonic membranes

abstract: Here we demonstrate the all-optical manipulation of polymeric membranes in microfluidic environments. The membranes are decorated with handles for their use in holographic optical tweezers setups. Our results show that due to their form factor the membranes present an 8-fold increase in their mechanical stability, respect to micrometric dielectric particles. This intrinsic superior stability is expected to improve profoundly a wide range of bio-photonic applications that rely on the optical manipulation of micrometric objects while studying single-molecule mechanics and sub-cellular scale transport processes.


title: On a metric property of perfect colorings

abstract: Given a perfect coloring of a graph, we prove that the $L_1$ distance between two rows of the adjacency matrix of the graph is not less than the $L_1$ distance between the corresponding rows of the parameter matrix of the coloring. With the help of an algebraic approach, we deduce corollaries of this result for perfect $2$-colorings, perfect colorings in distance-$l$ graphs and in distance-regular graphs. We also provide examples when the obtained property reject several putative parameter matrices of perfect colorings in infinite graphs.


title: Majority-closed minions of Boolean functions

abstract: The 93 minions of Boolean functions stable under left composition with the clone of self-dual monotone functions are described. As an easy consequence, all $(C_1,C_2)$-stable classes of Boolean functions are determined for an arbitrary clone $C_1$ and for any clone $C_2$ containing the clone of self-dual monotone functions.


title: Quantum supremacy and hardness of estimating output probabilities of quantum circuits

abstract: Motivated by the recent experimental demonstrations of quantum supremacy, proving the hardness of the output of random quantum circuits is an imperative near term goal. We prove under the complexity theoretical assumption of the non-collapse of the polynomial hierarchy that approximating the output probabilities of random quantum circuits to within $\exp(-\Omega(m\log m))$ additive error is hard for any classical computer, where $m$ is the number of gates in the quantum computation. More precisely, we show that the above problem is $\#\mathsf{P}$-hard under $\mathsf{BPP}^{\mathsf{NP}}$ reduction. In the recent experiments, the quantum circuit has $n$-qubits and the architecture is a two-dimensional grid of size $\sqrt{n}\times\sqrt{n}$. Indeed for constant depth circuits approximating the output probabilities to within $2^{-\Omega(n\log{n})}$ is hard. For circuits of depth $\log{n}$ or $\sqrt{n}$ for which the anti-concentration property holds, approximating the output probabilities to within $2^{-\Omega(n\log^2{n})}$ and $2^{-\Omega(n^{3/2}\log n)}$ is hard respectively. We then show that the hardness results extend to any open neighborhood of an arbitrary (fixed) circuit including the trivial circuit with identity gates. We made an effort to find the best proofs and proved these results from first principles, which do not use the standard techniques such as the Berlekamp--Welch algorithm, the usual Paturi's lemma, and Rakhmanov's result.


title: The AMBRE Project: Origin and evolution of sulfur in the Milky Way

abstract: Sulfur is a volatile chemical element that plays an important role in tracing the chemical evolution of galaxies. However, its nucleosynthesis origin and abundance variations are still unclear. The goal of the present article is to accurately and precisely study the S-content of large number of stars located in the solar neighbourhood. We use the parametrisation of thousands of HR stellar spectra provided by the AMBRE Project, and combine it with the automated abundance determination GAUGUIN to derive LTE sulfur abundances for 1855 slow-rotating FGK-type stars. This is the largest and most precise catalogue of S-abundances published to date. It covers a metallicity domain as high as ~2.5dex starting at [M/H]~-2.0dex. We find that the [S/M] abundances ratio is compatible with a plateau-like distribution in the metal-poor regime, and then starts to decrease continuously at [M/H]~-1.0dex. This decrease continues towards negative values for supersolar metallicity stars as recently reported for Mg and as predicted by Galactic chemical evolution models. Moreover, sulfur-rich stars having [M/H] in the range [-1.0,-0.5] have very different kinematical and orbital properties with respect to more metal-rich and sulfur-poor ones. Two disc components, associated with the thin and thick discs, are thus seen independently in kinematics and sulfur abundances. The sulfur radial gradients in the Galactic discs have also been estimated. Finally, the enrichment in sulfur with respect to iron is nicely correlated with stellar ages: older metal-poor stars have higher [S/M] ratios than younger metal-rich ones. This work has confirmed that sulfur is an alfa-element that could be considered to explore the Galactic populations properties.


title: Deep Hedging under Rough Volatility

abstract: We investigate the performance of the Deep Hedging framework under training paths beyond the (finite dimensional) Markovian setup. In particular we analyse the hedging performance of the original architecture under rough volatility models with view to existing theoretical results for those. Furthermore, we suggest parsimonious but suitable network architectures capable of capturing the non-Markoviantity of time-series. Secondly, we analyse the hedging behaviour in these models in terms of P\&L distributions and draw comparisons to jump diffusion models if the the rebalancing frequency is realistically small.


title: Local Critic Training for Model-Parallel Learning of Deep Neural Networks

abstract: In this paper, we propose a novel model-parallel learning method, called local critic training, which trains neural networks using additional modules called local critic networks. The main network is divided into several layer groups and each layer group is updated through error gradients estimated by the corresponding local critic network. We show that the proposed approach successfully decouples the update process of the layer groups for both convolutional neural networks (CNNs) and recurrent neural networks (RNNs). In addition, we demonstrate that the proposed method is guaranteed to converge to a critical point. We also show that trained networks by the proposed method can be used for structural optimization. Experimental results show that our method achieves satisfactory performance, reduces training time greatly, and decreases memory consumption per machine. Code is available at https://github.com/hjdw2/Local-critic-training.


title: Formation of magnetized spatial structures in the Beta Lyrae system III. Reflection of magnetically controlled matter in circumbinary structures in helium lines, in particular arising from metastable levels

abstract: Spatial gaseous structures in the Beta Lyrae system have been studied with the fact of change in the longitudinal component of the donor's magnetic field during the orbital period in mind. The investigation was based primarily on the study of the dynamics of the circumstellar structures surrounding the binary system as a whole. The special emphasis was placed on the study of complex helium lines, in particular those arising from metastable levels. A number of different observable facts from the ultraviolet to the red spectral region were analyzed. The configuration of the donor magnetic field is a factor that not only enhances mass transfer and influences the formation of spatial gas structures between stellar components but, to some extent, also affects the outflow of matter and the formation of external gas structures around this interacting binary system. Together with previous articles \citep{Skulskyy2020a, Skulskyy2020b}, the pieces of evidence of this work, confirming the reflection of magnetically controlled matter in circumbinary structures, define the basis for a coherent picture of the mass exchange between components and outflows of matter outwards


title: Generalized atomic subspaces for operators in Hilbert spaces

abstract: We introduce the notion of a g-atomic subspace for a bounded linear operator and construct several useful resolutions of the identity operator on a Hilbert space using the theory of g-fusion frames. Also we shall describe the concept of frame operator for a pair of g-fusion Bessel sequences and some of their properties.


title: A Neurorobotic Embodiment for Exploring the Dynamical Interactions of a Spiking Cerebellar Model and a Robot Arm During Vision-based Manipulation Tasks

abstract: While the original goal for developing robots is replacing humans in dangerous and tedious tasks, the final target shall be completely mimicking the human cognitive and motor behaviour. Hence, building detailed computational models for the human brain is one of the reasonable ways to attain this. The cerebellum is one of the key players in our neural system to guarantee dexterous manipulation and coordinated movements as concluded from lesions in that region. Studies suggest that it acts as a forward model providing anticipatory corrections for the sensory signals based on observed discrepancies from the reference values. While most studies consider providing the teaching signal as error in joint-space, few studies consider the error in task-space and even fewer consider the spiking nature of the cerebellum on the cellular-level. In this study, a detailed cellular-level forward cerebellar model is developed, including modeling of Golgi and Basket cells which are usually neglected in previous studies. To preserve the biological features of the cerebellum in the developed model, a hyperparameter optimization method tunes the network accordingly. The efficiency and biological plausibility of the proposed cerebellar-based controller is then demonstrated under different robotic manipulation tasks reproducing motor behaviour observed in human reaching experiments.


title: On monogenity of certain pure number fields defined by $x^{p^r}-m$

abstract: Let $K = \mathbb{Q} (\alpha) $ be a pure number field generated by a complex root $\alpha$ a monic irreducible polynomial $ F(x) = x^{p^r} -m$, with $ m \neq 1 $ is a square free rational integer, $p$ is a rational prime integer, and $r$ is a positive integer. In this paper, we study the monogenity of $K$. We prove that if {{$\nu_p(m^p-m)=1$}}, then $K$ is monogenic. But if $r\ge p$ and {$\nu_p(m^{p}-m)> p$}, then $K$ is not monogenic. Some illustrating examples are given.


title: A Bayesian Neural Network based on Dropout Regulation

abstract: Bayesian Neural Networks (BNN) have recently emerged in the Deep Learning world for dealing with uncertainty estimation in classification tasks, and are used in many application domains such as astrophysics, autonomous driving...BNN assume a prior over the weights of a neural network instead of point estimates, enabling in this way the estimation of both aleatoric and epistemic uncertainty of the model prediction.Moreover, a particular type of BNN, namely MC Dropout, assumes a Bernoulli distribution on the weights by using Dropout.Several attempts to optimize the dropout rate exist, e.g. using a variational approach.In this paper, we present a new method called "Dropout Regulation" (DR), which consists of automatically adjusting the dropout rate during training using a controller as used in automation.DR allows for a precise estimation of the uncertainty which is comparable to the state-of-the-art while remaining simple to implement.


title: Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks

abstract: Guarded recursion is a powerful modal approach to recursion that can be seen as an abstract form of step-indexing. It is currently used extensively in separation logic to model programming languages with advanced features by solving domain equations also with negative occurrences. In its multi-clocked version, guarded recursion can also be used to program with and reason about coinductive types, encoding the productivity condition required for recursive definitions in types. This paper presents the first type theory combining multi-clocked guarded recursion with the features of Cubical Type Theory, as well as a denotational semantics. Using the combination of Higher Inductive Types (HITs) and guarded recursion allows for simple programming and reasoning about coinductive types that are traditionally hard to represent in type theory, such as the type of finitely branching labelled transition systems. For example, our results imply that bisimilarity for these imply path equality, and so proofs can be transported along bisimilarity proofs. Among our technical contributions is a new principle of induction under clocks. This allows universal quantification over clocks to commute with HITs up to equivalence of types, and is crucial for the encoding of coinductive types. Such commutativity requirements have been formulated for inductive types as axioms in previous type theories with multi-clocked guarded recursion, but our present formulation as an induction principle allows for the formulation of general computation rules.


title: Efficient Byzantine Fault Tolerance using Trusted Execution Environment: Preventing Equivocation is only the Beginning

abstract: With the rapid development of blockchain, Byzantine fault-tolerant protocols have attracted revived interest recently. To overcome the theoretical bounds of Byzantine fault tolerance, many protocols attempt to use Trusted Execution Environment (TEE) to prevent equivocation and improve performance and scalability. However, due to the broken quorum intersection assumption caused by the reduction of the replica number, the improvement is mostly at the cost of increased communication complexity which prevents existing TEE-based protocols to be applied to large-scale blockchain systems. In this paper, we propose TBFT, an efficient Byzantine fault-tolerant protocol in the partial synchrony setting, which has O(n) message complexity in both normal-case and view-change. Compared to previous protocols, TBFT uses TEE-assisted primitives to limit more types of malicious behaviors of replicas rather than preventing equivocation only, thereby reducing the latency and communication complexity of clients and replicas. Besides, we also introduce lightweight cryptographic primitives including a novel leader election mechanism and an efficient voting message aggregation mechanism for better security and performance. We evaluate TBFT via systematic analysis and experiments, and the results show that TBFT has better performance and scalability compared to other protocols.


title: Radius, rotational period and inclination of the Be stars in the Be/gamma-ray binaries MWC 148 and MWC 656

abstract: Using TESS photometry and Rozhen spectra of the Be/gamma-ray binaries MWC 148 and MWC 656, we estimate the projected rotational velocity ($ {v} \sin i$), the rotational period (P$_{\rm rot}$), radius (R$_{\rm 1}$), and inclination ($i$) of the mass donor. For MWC 148 we derive P$_{\rm rot} = 1.10 \pm 0.03$~d, R$_{\rm 1}= 9.2 \pm 0.5$~R$_\odot$, $i = 40^\circ \pm 2^\circ$, and $ {v} \sin i =272 \pm 5$~km~s$^{-1}$. For MWC 656 we obtain P$_{\rm rot} = 1.12 \pm 0.03$~d, R$_{\rm 1}= 8.8 \pm 0.5$~R$_\odot$, $i = 52^\circ \pm 3^\circ$, and $ {v} \sin i =313 \pm 3$~km~s$^{-1}$. For MWC 656 we also find that the rotation of the mass donor is coplanar with the orbital plane.


title: Predicting grain boundary energies of complex alloys from ab initio calculations

abstract: Investigating the grain boundary energies of pure fcc metals and their surface energies obtained from ab initio modeling, we introduce a robust method to estimate the grain boundary energies for complex multicomponent alloys. The input parameter is the surface energy of the alloy, which can easily be accessed by modern ab initio calculations based on density functional theory. The method is demonstrated in the case of paramagnetic Fe-Cr-Ni alloys for which reliable grain boundary data is available.


title: Reconstruction of non-$\aleph_0$-categorical theories

abstract: We generalise the correspondence between $\aleph 0$-categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all $\aleph 0$-categorical ones) in continuous logic.


title: AttentionFlow: Visualising Influence in Networks of Time Series

abstract: The collective attention on online items such as web pages, search terms, and videos reflects trends that are of social, cultural, and economic interest. Moreover, attention trends of different items exhibit mutual influence via mechanisms such as hyperlinks or recommendations. Many visualisation tools exist for time series, network evolution, or network influence; however, few systems connect all three. In this work, we present AttentionFlow, a new system to visualise networks of time series and the dynamic influence they have on one another. Centred around an ego node, our system simultaneously presents the time series on each node using two visual encodings: a tree ring for an overview and a line chart for details. AttentionFlow supports interactions such as overlaying time series of influence and filtering neighbours by time or flux. We demonstrate AttentionFlow using two real-world datasets, VevoMusic and WikiTraffic. We show that attention spikes in songs can be explained by external events such as major awards, or changes in the network such as the release of a new song. Separate case studies also demonstrate how an artist's influence changes over their career, and that correlated Wikipedia traffic is driven by cultural interests. More broadly, AttentionFlow can be generalised to visualise networks of time series on physical infrastructures such as road networks, or natural phenomena such as weather and geological measurements.


title: Second-order cone optimization of the gradostat

abstract: We maximize the production of biogas in a gradostat at steady state. The physical decision variables are the water, substrate, and biomass entering each tank and the flows through the interconnecting pipes. Our main technical focus is the nonconvex constraint describing microbial growth. We formulate a relaxation and prove that it is exact when the gradostat is outflow connected, its system matrix is irreducible, and the growth rate satisfies a simple condition. The relaxation has second-order cone representations for the Monod and Contois growth rates. We extend the steady state models to the case of multiple time periods by replacing the derivatives with numerical approximations instead of setting them to zero. The resulting optimizations are second-order cone programs, which can be solved at large scales using standard industrial software.


title: Importance of fermion loops $W^+W^-$ in elastic scattering

abstract: We test the assumption that fermion-loop corrections to high energy $W^+W^-$ scattering are negligible when compared to the boson-loop ones. Indeed, we find that, if the couplings of the interactions deviate from their Standard Model values, fermion-loop corrections can in fact become as important or even greater than boson-loop corrections for some particular regions of the parameter space, and both types of loops should be taken into account. Some preliminary results are shown.