title: Imprints of Dark Matter on Black Hole Shadows using Spherical Accretions

abstract: We study the possibility of identifying dark matter in the galactic center from the physical properties of the electromagnetic radiation emitted from a optical-thin disk region around a static and spherically symmetric black hole. In particular, we consider two specific models for the optical-thin disk region: a gas at rest and a gas in a radial free fall. Due to the effect of dark matter on the spacetime geometry, we find that the dark matter can increase or decrease the intensity of the electromagnetic flux radiation depending on the dark matter model. To this end, we analyze two simple dark matter models having different mass functions $\mathcal{M}(r)$, with a matter mass $M$, thickness $\Delta r_s$ along with a dark matter core radius surrounding the black hole. In addition to that, we explore the scenario of a perfect fluid dark matter surrounding the black hole. We show that in order to have significant effect of dark matter on the intensity of the electromagnetic flux radiation, a high energy density of dark matter near the black hole is needed. We also find that the surrounding dark matter distribution plays a key role on the shadow radius and the intensity of the electromagnetic flux radiation, respectively. Finally, we have used the relation between the shadow radius and the quasinormal modes (QNMs) to compute the real part of QNM frequencies.


title: On the Self-Propulsion of a Rigid Body in a Viscous Liquid by Time-Periodic Boundary Data

abstract: Consider a rigid body, $\mathscr B$, constrained to move by translational motion in an unbounded viscous liquid. The driving mechanism is a given distribution of time-periodic velocity field, $\bfv_*$, at the interface body-liquid, of magnitude $\delta$ (in appropriate function class). The main objective is to find conditions on $\bfv_*$ ensuring that $\mathscr B$ performs a non-zero net motion, namely, $\mathscr B$ can cover any given distance in a finite time. The approach to the problem depends on whether the averaged value of $\bfv_*$ over a period of time is (case (b)) or is not (case (a)) identically zero. In case (a) we solve the problem in a relatively straightforward way, by showing that, for small $\delta$, it reduces to the study of a suitable amd well-investigated time-dependent Stokes (linear) problem. In case (b), however, the question is much more complicated, because we show that it {\em cannot} be brought to the study of a linear problem. Therefore, in case (b), self-propulsion is a genuinely nonlinear issue that we solve directly on the nonlinear system by a contradiction argument approach. In this way, we are able to give, also in case (b), sufficient conditions for self-propulsion (for small $\delta$). Finally, we demonstrate, by means of counterexamples, that such conditions are, in general, also necessary.


title: When Deep Reinforcement Learning Meets Federated Learning: Intelligent Multi-Timescale Resource Management for Multi-access Edge Computing in 5G Ultra Dense Network

abstract: Ultra-dense edge computing (UDEC) has great potential, especially in the 5G era, but it still faces challenges in its current solutions, such as the lack of: i) efficient utilization of multiple 5G resources (e.g., computation, communication, storage and service resources); ii) low overhead offloading decision making and resource allocation strategies; and iii) privacy and security protection schemes. Thus, we first propose an intelligent ultra-dense edge computing (I-UDEC) framework, which integrates blockchain and Artificial Intelligence (AI) into 5G ultra-dense edge computing networks. First, we show the architecture of the framework. Then, in order to achieve real-time and low overhead computation offloading decisions and resource allocation strategies, we design a novel two-timescale deep reinforcement learning (\textit{2Ts-DRL}) approach, consisting of a fast-timescale and a slow-timescale learning process, respectively. The primary objective is to minimize the total offloading delay and network resource usage by jointly optimizing computation offloading, resource allocation and service caching placement. We also leverage federated learning (FL) to train the \textit{2Ts-DRL} model in a distributed manner, aiming to protect the edge devices' data privacy. Simulation results corroborate the effectiveness of both the \textit{2Ts-DRL} and FL in the I-UDEC framework and prove that our proposed algorithm can reduce task execution time up to 31.87%.


title: On finite groups with all simple modules of low dimension in characteristic p

abstract: We give a short proof of the fact that if all characteristic p simple modules of the finite group G have dimension less than p, then G has a normal Sylow p-subgroup.


title: Negative piezoelectricity in low--dimensional materials

abstract: In this study, we investigate the underlying mechanisms of the negative piezoelectricity in low--dimensional materials by carrying out first--principles calculations. Two--dimensional ferroelectric CuInP$_2$S$_6$ is analyzed in detail as a typical example, but the theory can be applied to all other low--dimensional piezoelectrics. Similar to three--dimensional piezoelectrics with negative piezoelectric responses, the anomalous negative piezoelectricity in CuInP$_2$S$_6$ results from its negative clamped--ion term, which cannot be compensated by the positive internal strain part. Here, we propose a more general rule that having a negative clamped--ion term should be universal among piezoelectric materials, which is attributed to the "lag of Wannier center" effect. The internal--strain term, which is the change in polarization due to structural relaxation in response to strain, is mostly determined by the spatial structure and chemical bonding of the material. In a low--dimensional piezoelectric material as CuInP$_2$S$_6$, the internal--strain term is approximately zero. This is because the internal structure of the molecular layers, which are bonded by the weak van der Waals interaction, responds little to the strain. As a result, the magnitude of the dipole, which depends strongly on the dimension and structure of the molecular layer, also has a small response with respect to strain. An equation bridging the internal strain responses in low--dimensional and three--dimensional piezoelectrics is also derived to analytically express this point. This work aims to deepen our understanding about this anomalous piezoelectric effect, especially in low--dimensional materials, and provide strategies for discovering materials with novel electromechanical properties.


title: Propagation Effects in Quiet Sun Observations at Meter Wavelengths

abstract: Quiet sun meterwave emission arises from thermal bremsstrahlung in the MK corona, and can potentially be a rich source of coronal diagnostics. On its way to the observer, it gets modified substantially due to the propagation effects - primarily refraction and scattering - through the magnetized and turbulent coronal medium, leading to the redistribution of the intensity in the image plane. By comparing the full-disk meterwave solar maps during a quiet solar period and the modelled thermal bremsstrahlung emission, we characterise these propagation effects. The solar radio maps between 100 and 240 MHz come from the Murchison Widefield Array. FORWARD package is used to simulate thermal bremsstrahlung images using the self-consistent Magnetohydrodynamic Algorithm outside a Sphere coronal model. The FORWARD model does not include propagation effects. The differences between the observed and modelled maps are interpreted to arise due to scattering and refraction. There is a good general correspondence between the predicted and observed brightness distributions, though significant differences are also observed. We find clear evidence for the presence of significant propagation effects, including anisotropic scattering. The observed radio size of the Sun is 25--30\% larger in area. The emission peak corresponding to the only visible active region shifts by 8'--11' and its size increases by 35--40\%. Our simple models suggest that the fraction of scattered flux density is always larger than a few tens of percent, and varies significantly between different regions. We estimate density inhomogeneities to be in the range 1--10\%.


title: Hidden non-Markovianity in open quantum systems

abstract: We show that non-Markovian open quantum systems can exhibit exact Markovian dynamics up to an arbitrarily long time; the non-Markovianity of such systems is thus perfectly "hidden", i.e. not experimentally detectable by looking at the reduced dynamics alone. This shows that non-Markovianity is physically undecidable and extremely counterintuitive, since its features can change at any time, without precursors. Some interesting examples are discussed.


title: Automating Outlier Detection via Meta-Learning

abstract: Given an unsupervised outlier detection (OD) task on a new dataset, how can we automatically select a good outlier detection method and its hyperparameter(s) (collectively called a model)? Thus far, model selection for OD has been a "black art"; as any model evaluation is infeasible due to the lack of (i) hold-out data with labels, and (ii) a universal objective function. In this work, we develop the first principled data-driven approach to model selection for OD, called MetaOD, based on meta-learning. MetaOD capitalizes on the past performances of a large body of detection models on existing outlier detection benchmark datasets, and carries over this prior experience to automatically select an effective model to be employed on a new dataset without using any labels. To capture task similarity, we introduce specialized meta-features that quantify outlying characteristics of a dataset. Through comprehensive experiments, we show the effectiveness of MetaOD in selecting a detection model that significantly outperforms the most popular outlier detectors (e.g., LOF and iForest) as well as various state-of-the-art unsupervised meta-learners while being extremely fast. To foster reproducibility and further research on this new problem, we open-source our entire meta-learning system, benchmark environment, and testbed datasets.


title: Discovery of oscillations above 200 keV in a black hole X-ray binary with Insight-HXMT

abstract: Low-frequency quasi-periodic oscillations (LFQPOs) are commonly found in black hole X-ray binaries, and their origin is still under debate. The properties of LFQPOs at high energies (above 30 keV) are closely related to the nature of the accretion flow in the innermost regions, and thus play a crucial role in critically testing various theoretical models. The Hard X-ray Modulation Telescope (Insight-HXMT) is capable of detecting emissions above 30 keV, and is therefore an ideal instrument to do so. Here we report the discovery of LFQPOs above 200 keV in the new black hole MAXI J1820+070 in the X-ray hard state, which allows us to understand the behaviours of LFQPOs at hundreds of kiloelectronvolts. The phase lag of the LFQPO is constant around zero below 30 keV, and becomes a soft lag (that is, the high-energy photons arrive first) above 30 keV. The soft lag gradually increases with energy and reaches ~0.9s in the 150-200 keV band. The detection at energies above 200 keV, the large soft lag and the energy-related behaviors of the LFQPO pose a great challenge for most currently existing models, but suggest that the LFQPO probably originates from the precession of a small-scale jet.


title: Dual Encoder Fusion U-Net (DEFU-Net) for Cross-manufacturer Chest X-ray Segmentation

abstract: A number of methods based on deep learning have been applied to medical image segmentation and have achieved state-of-the-art performance. Due to the importance of chest x-ray data in studying COVID-19, there is a demand for state-of-the-art models capable of precisely segmenting soft tissue on the chest x-rays. The dataset for exploring best segmentation model is from Montgomery and Shenzhen hospital which had opened in 2014. The most famous technique is U-Net which has been used to many medical datasets including the Chest X-rays. However, most variant U-Nets mainly focus on extraction of contextual information and skip connections. There is still a large space for improving extraction of spatial features. In this paper, we propose a dual encoder fusion U-Net framework for Chest X-rays based on Inception Convolutional Neural Network with dilation, Densely Connected Recurrent Convolutional Neural Network, which is named DEFU-Net. The densely connected recurrent path extends the network deeper for facilitating contextual feature extraction. In order to increase the width of network and enrich representation of features, the inception blocks with dilation are adopted. The inception blocks can capture globally and locally spatial information from various receptive fields. At the same time, the two paths are fused by summing features, thus preserving the contextual and spatial information for decoding part. This multi-learning-scale model is benefiting in Chest X-ray dataset from two different manufacturers (Montgomery and Shenzhen hospital). The DEFU-Net achieves the better performance than basic U-Net, residual U-Net, BCDU-Net, R2U-Net and attention R2U-Net. This model has proved the feasibility for mixed dataset and approaches state-of-the-art. The source code for this proposed framework is public https://github.com/uceclz0/DEFU-Net.


title: Spinopelvic Anatomic Parameters Prediction Model of NSLBP based on data mining

abstract: Objective: The purpose of this study is to perform analysis through the low back pain open data set to predict the incidence of non-specific chronic low back pain (NSLBP) to obtain a more accurate and convenient sagittal spinopelvic parameter model. Methods: The logistic regression analysis and multilayer perceptron(MLP) algorithm is used to construct a NSLBP prediction model based on the parameters of the spinopelvic parameters from open data source. Results: Degree of spondylolisthesis(DS), Pelvic radius (PR), Sacral slope (SS), Pelvic tilt (PT) are four predictors screened out by regression analysis that have significant predictive power for the risk of NSLBP. The overall accuracy of the equation prediction model is 85.8%.The MLP network algorithm determines that DS is the most powerful predictor of NSLBP through more precise modeling. The model has good predictive ability of 95.2% of accuracy. Conclusions: MLP models play a more accurate role in the construction of predictive models. Computer science is playing a greater role in helping precision medicine clinical research.


title: Property-Directed Verification of Recurrent Neural Networks

abstract: This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a given RNN using active automata learning. This model may then be analyzed using model checking as verification technique. The term property-directed reflects the idea that our procedure is guided and controlled by the given property rather than performing the two steps separately. We show that this not only allows us to discover small counterexamples fast, but also to generalize them by pumping towards faulty flows hinting at the underlying error in the RNN.


title: Electronic and magnetic properties of transition-metal doped ScN for spintronics applications

abstract: Motivated by the ongoing interest in nitrides as materials for spintronics applications we have studied effects of doping with magnetic transition-metal elements (T=Cr,Mn,Fe,Co and Ni) on the electronic properties of semiconducting scandium nitride. Using density functional together with the generalized gradient approximation (GGA) as well as PBE0r hybrid functional (with different mixing of the exact exchange), two different doping amounts 25\% ($\rm Sc_{0.75}T_{0.25}N$) and 10\% ($\rm Sc_{0.9}T_{0.1}N$) have been investigated. This is done in comparison to the reference compound ScN with a strong focus on identifying candidates for half-metallic or semiconducting ferromagnetic ground states. Within GGA, only $\rm Sc_{0.75}Cr_{0.25}N$ and $\rm Sc_{0.75}Mn_{0.25}N$ are found to be semiconducting and half-metallic, respectively. The use of hybrid functional changes drastically these finding, where $\rm Sc_{0.75}Fe(Co,Ni)_{0.25}N$ become half-metals and $\rm Sc_{0.75}Cr(Mn)_{0.25}N$ are found both semiconductors. However, additional calculations assuming antiferromagnetic ordering revealed that $\rm Sc_{0.75}Cr_{0.25}N$ is the only compound of this series, which prefers an antiferromagnetic (and semiconducting) ground state. For the lower concentration, $\rm Sc_{0.9}T_{0.1}N$, similar results have been predicted, and all the doped nitrides are found to prefer ferromagnetic ground state over an antiferromagnetic one.


title: Detection Of Concrete Cracks using Dual-channel Deep Convolutional Network

abstract: Due to cyclic loading and fatigue stress cracks are generated, which affect the safety of any civil infrastructure. Nowadays machine vision is being used to assist us for appropriate maintenance, monitoring and inspection of concrete structures by partial replacement of human-conducted onsite inspections. The current study proposes a crack detection method based on deep convolutional neural network (CNN) for detection of concrete cracks without explicitly calculating the defect features. In the course of the study, a database of 3200 labelled images with concrete cracks has been created, where the contrast, lighting conditions, orientations and severity of the cracks were extremely variable. In this paper, starting from a deep CNN trained with these images of 256 x 256 pixel-resolution, we have gradually optimized the model by identifying the difficulties. Using an augmented dataset, which takes into account the variations and degradations compatible to drone videos, like, random zooming, rotation and intensity scaling and exhaustive ablation studies, we have designed a dual-channel deep CNN which shows high accuracy (~ 92.25%) as well as robustness in finding concrete cracks in realis-tic situations. The model has been tested on the basis of performance and analyzed with the help of feature maps, which establishes the importance of the dual-channel structure.


title: The Relativity of Induction

abstract: Lately there has been a lot of discussion about why deep learning algorithms perform better than we would theoretically suspect. To get insight into this question, it helps to improve our understanding of how learning works. We explore the core problem of generalization and show that long-accepted Occam's razor and parsimony principles are insufficient to ground learning. Instead, we derive and demonstrate a set of relativistic principles that yield clearer insight into the nature and dynamics of learning. We show that concepts of simplicity are fundamentally contingent, that all learning operates relative to an initial guess, and that generalization cannot be measured or strongly inferred, but that it can be expected given enough observation. Using these principles, we reconstruct our understanding in terms of distributed learning systems whose components inherit beliefs and update them. We then apply this perspective to elucidate the nature of some real world inductive processes including deep learning.


title: Numerical Black Hole Solutions in Modified Gravity Theories: Axial Symmetry Case

abstract: We extend a recently developed numerical code to obtain stationary, axisymmetric solutions that describe rotating black hole spacetimes in a wide class of modified theories of gravity. The code utilizes a relaxed Newton-Raphson method to solve the full nonlinear modified Einstein's Equations on a two-dimensional grid with a Newton polynomial finite difference scheme. We validate this code by considering static and axisymmetric black holes in General Relativity. We obtain rotating black hole solutions in scalar-Gauss-Bonnet gravity with a linear (linear scalar-Gauss-Bonnet) and an exponential (Einstein-dilaton-Gauss-Bonnet) coupling and compare them to analytical and numerical perturbative solutions. From these numerical solutions, we construct a fitted analytical model and study observable properties calculated from the numerical results.


title: Computational capacity of pyramidal neurons in the cerebral cortex

abstract: The electric activities of cortical pyramidal neurons are supported by structurally stable, morphologically complex axo-dendritic trees. Anatomical differences between axons and dendrites in regard to their length or caliber reflect the underlying functional specializations, for input or output of neural information, respectively. For a proper assessment of the computational capacity of pyramidal neurons, we have analyzed an extensive dataset of three-dimensional digital reconstructions from the NeuroMorpho.Org database, and quantified basic dendritic or axonal morphometric measures in different regions and layers of the mouse, rat or human cerebral cortex. Physical estimates of the total number and type of ions involved in neuronal electric spiking based on the obtained morphometric data, combined with energetics of neurotransmitter release and signaling fueled by glucose consumed by the active brain, support highly efficient cerebral computation performed at the thermodynamically allowed Landauer limit for implementation of irreversible logical operations. Individual proton tunneling events in voltage-sensing S4 protein $\alpha$-helices of Na$^{+}$, K$^{+}$ or Ca$^{2+}$ ion channels are ideally suited to serve as single Landauer elementary logical operations that are then amplified by selective ionic currents traversing the open channel pores. This miniaturization of computational gating allows the execution of over 1.2 zetta logical operations per second in the human cerebral cortex without combusting the brain by the released heat.


title: Mosques Smart Domes System using Machine Learning Algorithms

abstract: Millions of mosques around the world are suffering some problems such as ventilation and difficulty getting rid of bacteria, especially in rush hours where congestion in mosques leads to air pollution and spread of bacteria, in addition to unpleasant odors and to a state of discomfort during the pray times, where in most mosques there are no enough windows to ventilate the mosque well. This paper aims to solve these problems by building a model of smart mosques domes using weather features and outside temperatures. Machine learning algorithms such as k Nearest Neighbors and Decision Tree were applied to predict the state of the domes open or close. The experiments of this paper were applied on Prophet mosque in Saudi Arabia, which basically contains twenty seven manually moving domes. Both machine learning algorithms were tested and evaluated using different evaluation methods. After comparing the results for both algorithms, DT algorithm was achieved higher accuracy 98% comparing with 95% accuracy for kNN algorithm. Finally, the results of this study were promising and will be helpful for all mosques to use our proposed model for controlling domes automatically.


title: An Enhanced Geo Location Technique for Social Network Communication System

abstract: Social networks have become very popular in recent years because of the increasing large number and affordability of internet enabled gadgets such as personal computers, mobile devices and internet tablets. It has been observed that the tempo of fraud in social media these days is over alarming most especially in Nigeria. As a result of this, there is need to fortify the social network services in order to secure e-mail communication and reinforce data security. This paper advocates for an advanced and secured approach for improving communication in a social Network with the use of geo-location technique. The system was designed using an Object-Oriented software development methodology and implemented using the server-based scripting language - PHP, Cascading Style Sheets (CSS) and back-end with MySQL. The proposed system will help the government and security agencies fight recent security challenges in the country.


title: A Survey and Taxonomy of Distributed Data Mining Research Studies: A Systematic Literature Review

abstract: Context: Data Mining (DM) method has been evolving year by year and as of today there is also the enhancement of DM technique that can be run several times faster than the traditional one, called Distributed Data Mining (DDM). It is not a new field in data processing actually, but in the recent years many researchers have been paying more attention on this area. Problems: The number of publication regarding DDM in high reputation journals and conferences has increased significantly. It makes difficult for researchers to gain a comprehensive view of DDM that require further research. Solution: We conducted a systematic literature review to map the previous research in DDM field. Our objective is to provide the motivation for new research by identifying the gap in DDM field as well as the hot area itself. Result: Our analysis came up with some conclusions by answering 7 research questions proposed in this literature review. In addition, the taxonomy of DDM research area is presented in this paper. Finally, this systematic literature review provides the statistic of development of DDM since 2000 to 2015, in which this will help the future researchers to have a comprehensive overview of current situation of DDM.


title: An Exponential Factorization Machine with Percentage Error Minimization to Retail Sales Forecasting

abstract: This paper proposes a new approach to sales forecasting for new products with long lead time but short product life cycle. These SKUs are usually sold for one season only, without any replenishments. An exponential factorization machine (EFM) sales forecast model is developed to solve this problem which not only considers SKU attributes, but also pairwise interactions. The EFM model is significantly different from the original Factorization Machines (FM) from two-fold: (1) the attribute-level formulation for explanatory variables and (2) exponential formulation for the positive response variable. The attribute-level formation excludes infeasible intra-attribute interactions and results in more efficient feature engineering comparing with the conventional one-hot encoding, while the exponential formulation is demonstrated more effective than the log-transformation for the positive but not skewed distributed responses. In order to estimate the parameters, percentage error squares (PES) and error squares (ES) are minimized by a proposed adaptive batch gradient descent method over the training set. Real-world data provided by a footwear retailer in Singapore is used for testing the proposed approach. The forecasting performance in terms of both mean absolute percentage error (MAPE) and mean absolute error (MAE) compares favourably with not only off-the-shelf models but also results reported by extant sales and demand forecasting studies. The effectiveness of the proposed approach is also demonstrated by two external public datasets. Moreover, we prove the theoretical relationships between PES and ES minimization, and present an important property of the PES minimization for regression models; that it trains models to underestimate data. This property fits the situation of sales forecasting where unit-holding cost is much greater than the unit-shortage cost.


title: NGTS-12b: A sub-Saturn mass transiting exoplanet in a 7.53 day orbit

abstract: We report the discovery of the transiting exoplanet NGTS-12b by the Next Generation Transit Survey (NGTS). The host star, NGTS-12, is a V=12.38 mag star with an effective temperature of T$_{\rm eff}$=$5690\pm130$ K. NGTS-12b orbits with a period of $P=7.53$d, making it the longest period planet discovered to date by the main NGTS survey. We verify the NGTS transit signal with data extracted from the TESS full-frame images, and combining the photometry with radial velocity measurements from HARPS and FEROS we determine NGTS-12b to have a mass of $0.208\pm0.022$ M$_{J}$ and a radius of $1.048\pm0.032$ R$_{J}$. NGTS-12b sits on the edge of the Neptunian desert when we take the stellar properties into account, highlighting the importance of considering both the planet and star when studying the desert. The long period of NGTS-12b combined with its low density of just $0.223\pm0.029$ g cm$^{-3}$ make it an attractive target for atmospheric characterization through transmission spectroscopy with a Transmission Spectroscopy Metric of 89.4.


title: The fitness landscapes of translation

abstract: Motivated by recent experiments on an antibiotic resistance gene, we investigate genetic interactions between synonymous mutations in the framework of exclusion models of translation. We show that the range of possible interactions is markedly different depending on whether translation efficiency is assumed to be proportional to ribosome current or ribosome speed. In the first case every mutational effect has a definite sign that is independent of genetic background, whereas in the second case the effect-sign can vary depending on the presence of other mutations. The latter result is demonstrated using configurations of multiple translational bottlenecks induced by slow codons.


title: Non-asymptotic oracle inequalities for the Lasso in high-dimensional mixture of experts

abstract: Mixture of experts (MoE) has a well-principled finite mixture model construction for prediction, allowing the gating network (mixture weights) to learn from the predictors (explanatory variables) together with the experts' network (mixture component densities). We investigate the estimation properties of MoEs in a high-dimensional setting, where the number of predictors is much larger than the sample size, for which the literature lacks computational and especially theoretical results. We consider the class of finite MoE models with softmax gating functions and Gaussian regression experts, and focus on the theoretical properties of their $l_1$-regularized estimation via the Lasso. We provide a lower bound on the regularization parameter of the Lasso penalty that ensures an $l_1$-oracle inequality is satisfied by the Lasso estimator according to the Kullback--Leibler loss. We further state an $l_1$-ball oracle inequality for the $l_1$-penalized maximum likelihood estimator from the model selection.

categories: math.ST cs.AI cs.LG stat.ME stat.ML stat.TH


title: Tailoring: encoding inductive biases by optimizing unsupervised objectives at prediction time

abstract: From CNNs to attention mechanisms, encoding inductive biases into neural networks has been a fruitful source of improvement in machine learning. Adding auxiliary losses to the main objective function is a general way of encoding biases that can help networks learn better representations. However, since auxiliary losses are minimized only on training data, they suffer from the same generalization gap as regular task losses. Moreover, by adding a term to the loss function, the model optimizes a different objective than the one we care about. In this work we address both problems: first, we take inspiration from \textit{transductive learning} and note that after receiving an input but before making a prediction, we can fine-tune our networks on any unsupervised loss. We call this process {\em tailoring}, because we customize the model to each input to ensure our prediction satisfies the inductive bias. Second, we formulate {\em meta-tailoring}, a nested optimization similar to that in meta-learning, and train our models to perform well on the task objective after adapting them using an unsupervised loss. The advantages of tailoring and meta-tailoring are discussed theoretically and demonstrated empirically on a diverse set of examples.


title: Spherical Density Functional Theory

abstract: Recently, Theophilou (J. Chem.Phys {\bf 149} 074104 (2018)) showed that a set of spherically symmetric densities determines uniquely the external potential in molecules and solids. Here, spherically symmetric Kohn-Sham-like equations are derived. The spherical densities can be expressed with radial wave functions. Expression for the total energy is also presented.


title: Curriculum Learning with Diversity for Supervised Computer Vision Tasks

abstract: Curriculum learning techniques are a viable solution for improving the accuracy of automatic models, by replacing the traditional random training with an easy-to-hard strategy. However, the standard curriculum methodology does not automatically provide improved results, but it is constrained by multiple elements like the data distribution or the proposed model. In this paper, we introduce a novel curriculum sampling strategy which takes into consideration the diversity of the training data together with the difficulty of the inputs. We determine the difficulty using a state-of-the-art estimator based on the human time required for solving a visual search task. We consider this kind of difficulty metric to be better suited for solving general problems, as it is not based on certain task-dependent elements, but more on the context of each image. We ensure the diversity during training, giving higher priority to elements from less visited classes. We conduct object detection and instance segmentation experiments on Pascal VOC 2007 and Cityscapes data sets, surpassing both the randomly-trained baseline and the standard curriculum approach. We prove that our strategy is very efficient for unbalanced data sets, leading to faster convergence and more accurate results, when other curriculum-based strategies fail.


title: Strain Engineering 2D MoS$_{2}$ with Thin Film Stress Capping Layers

abstract: We demonstrate a method to induce tensile and compressive strain into two-dimensional transition metal dichalcogenide (TMDC) MoS$_{2}$ via the deposition of stressed thin films to encapsulate exfoliated flakes. With this technique we can directly engineer MoS$_{2}$ strain magnitude by changing deposited thin film stress, therefore allowing variable strain to be applied on a flake-to-flake level. These thin film stressors are analogous to SiN$_{x}$ based stressors implemented in industrial CMOS processes to enhance Si mobility, suggesting that our concept is highly scalable and may be applied for large-scale integration of strain engineered TMDC devices. We choose optically transparent stressors to allow us to probe MoS$_{2}$ strain through Raman spectroscopy. Combining thickness dependent analyses of Raman peak shifts in MoS$_{2}$ with atomistic simulations, we can explore layer-by-layer strain transfer. MoS$_{2}$ on conventional substrates (SiO$_{2}$, MgO) show strain transfer into the top two layers of multilayer flakes with limited strain transfer to monolayers due to substrate adhesion. To mitigate this limitation, we also explore stressors on van der Waals heterostructures constructed of monolayer (1L) MoS$_{2}$ on hexagonal boron nitride (h-BN). This concept frees the 1L-MoS$_{2}$ allowing for a 0.85$\%$ strain to be applied to the monolayer with a corresponding strain induced bandgap change of 75 meV. By using thin films with higher stress, strain may be engineered to be even higher. Various stressors and deposition methods are considered, showing a stressor material independent transfer of strain that only depends on stressor film force with negligible defects induced into MoS$_{2}$ when thermal evaporation is used.


title: Forecasting elections results via the voter model with stubborn nodes

abstract: In this paper we propose a novel method to forecast the result of elections using only official results of previous ones. It is based on the voter model with stubborn nodes and uses theoretical results developed in a previous work of ours. We look at popular vote shares for the Conservative and Labour parties in the UK and the Republican and Democrat parties in the US. We are able to perform time-evolving estimates of the model parameters and use these to forecast the vote shares for each party in any election. We obtain a mean absolute error of 4.74\%. As a side product, our parameters estimates provide meaningful insight on the political landscape, informing us on the proportion of voters that are strong supporters of each of the considered parties.


title: From Chaotic Spin Dynamics to Non-collinear Spin Textures in YIG Nano-films by Spin Current Injection

abstract: In this article I report about a numerical investigation of nonlinear spin dynamics in a magnetic thin-film, made of Yttrium-Iron-Garnet (YIG). This film is exposed to a small in-plane oriented magnetic field, and strong spin currents. The rich variety of findings encompass dynamic regimes hosting localized, non-propagating solitons, a turbulent chaotic regime, which condenses into a quasi-static phase featuring a non-collinear spin texture. Eventually, at largest spin current, a homogeneously switched state is established.


title: Accelerated Gradient Methods for Sparse Statistical Learning with Nonconvex Penalties

abstract: Nesterov's accelerated gradient (AG) is a popular technique to optimize objective functions comprising two components: a convex loss and a penalty function. While AG methods perform well for convex penalties, such as the LASSO, convergence issues may arise when it is applied to nonconvex penalties, such as SCAD. A recent proposal generalizes Nesterov's AG method to the nonconvex setting. The proposed algorithm requires specification of several hyperparameters for its practical application. Aside from some general conditions, there is no explicit rule for selecting the hyperparameters, and how different selection can affect convergence of the algorithm. In this article, we propose a hyperparameter setting based on the complexity upper bound to accelerate convergence, and consider the application of this nonconvex AG algorithm to high-dimensional linear and logistic sparse learning problems. We further establish the rate of convergence and present a simple and useful bound to characterize our proposed optimal damping sequence. Simulation studies show that convergence can be made, on average, considerably faster than that of the conventional proximal gradient algorithm. Our experiments also show that the proposed method generally outperforms the current state-of-the-art methods in terms of signal recovery.


title: Analytical Modeling of Nonlinear Fiber Propagation for Four Dimensional Symmetric Constellations

abstract: Coherent optical transmission systems naturally lead to a four dimensional (4D) signal space, i.e., two polarizations each with two quadratures. In this paper we derive an analytical model to quantify the impact of Kerr nonlinearity on such 4Dspaces, taking the interpolarization dependency into account. This is in contrast to previous models such as the GN and EGN models, which are valid for polarization multiplexed (PM)formats, where the two polarizations are seen as independent channels on which data is multiplexed. The proposed model agrees with the EGN model in the special case of independent two-dimensional modulation in each polarization. The model accounts for the predominant nonlinear terms in a WDM system, namely self-phase modulation and and cross-phase modulation. Numerical results show that the EGN model may inaccurately estimate the nonlinear interference of 4D formats. This nonlinear interference discrepancy between the results of the proposed model and the EGN model could be up to 2.8 dB for a system with 80 WDM channels. The derived model is validated by split-step Fourier simulations, and it is shown to follow simulations very closely.


title: Output-Feedback Model Predictive Control with Online Identification

abstract: Model predictive control (MPC) is a widely used modern control technique with numerous successful application in diverse areas. Much of this success is due to the ability of MPC to enforce state and control constraints, which are crucial in many applications of control. In order to avoid the need for an observer, output-feedback model predictive control with online identification (OFMPCOI) uses the block observable canonical form whose state consists of past values of the control inputs and measured outputs. Online identification is performed using recursive least squares (RLS) with variable-rate forgetting. The article describes the algorithmic details of OFMPCOI and numerically investigates its performance through a collection of numerical examples that highlight various control challenges, such as model order uncertainty, sensor noise, prediction horizon, stabilization, magnitude and move-size saturation, and stabilization. The numerical examples are used to probe the performance of OFMPCOI in terms of persistency, consistency, and exigency. Since OFMPCOI does not employ a separate control perturbation to enhance persistency, the focus is on self-generated persistency during transient operation. For closed-loop identification using RLS, sensor noise gives rise to bias in the identified model, and the goal is to determine the effect of the lack of consistency. Finally, the numerical examples reveal exigency, which is the extent to which the online identification emphasizes model characteristics that are most relevant to meeting performance objectives.


title: From Things' Modeling Language (ThingML) to Things' Machine Learning (ThingML2)

abstract: In this paper, we illustrate how to enhance an existing state-of-the-art modeling language and tool for the Internet of Things (IoT), called ThingML, to support machine learning on the modeling level. To this aim, we extend the Domain-Specific Language (DSL) of ThingML, as well as its code generation framework. Our DSL allows one to define things, which are in charge of carrying out data analytics. Further, our code generators can automatically produce the complete implementation in Java and Python. The generated Python code is responsible for data analytics and employs APIs of machine learning libraries, such as Keras, Tensorflow and Scikit Learn. Our prototype is available as open source software on Github.


title: ThingML+ Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning

abstract: In this paper, we present the current position of the research project ML-Quadrat, which aims to extend the methodology, modeling language and tool support of ThingML - an open source modeling tool for IoT/CPS - to address Machine Learning needs for the IoT applications. Currently, ThingML offers a modeling language and tool support for modeling the components of the system, their communication interfaces as well as their behaviors. The latter is done through state machines. However, we argue that in many cases IoT/CPS services involve system components and physical processes, whose behaviors are not well understood in order to be modeled using state machines. Hence, quite often a data-driven approach that enables inference based on the observed data, e.g., using Machine Learning is preferred. To this aim, ML-Quadrat integrates the necessary Machine Learning concepts into ThingML both on the modeling level (syntax and semantics of the modeling language) and on the code generators level. We plan to support two target platforms for code generation regarding Stream Processing and Complex Event Processing, namely Apache SAMOA and Apama.


title: Whole page recognition of historical handwriting

abstract: Historical handwritten documents guard an important part of human knowledge only within reach of a few scholars and experts. Recent developments in machine learning and handwriting research have the potential of rendering this information accessible and searchable to a larger audience. To this end, we investigate an end-to-end inference approach without text localization which takes a handwritten page and transcribes its full text. No explicit character, word or line segmentation is involved in inference which is why we call this approach "segmentation free". We explore its robustness and accuracy compared to a line-by-line segmented approach based on the IAM, RODRIGO and ScribbleLens corpora, in three languages with handwriting styles spanning 400 years. We concentrate on model types and sizes which can be deployed on a hand-held or embedded device. We conclude that a whole page inference approach without text localization and segmentation is competitive.


title: Graph limits: An alternative approach to s-graphons

abstract: We show that s-convergence of graph sequences is equivalent to the convergence of certain compact sets, called shapes, of Borel probability measures. This result is analogous to the characterization of graphon convergence (with respect to the cut distance) by the convergence of envelopes, due to Dole\v{z}al, Greb\'{i}k, Hladk\'{y}, Rocha, and Rozho\v{v}.


title: Entropy-Transport distances between unbalanced metric measure spaces

abstract: Inspired by the recent theory of Entropy-Transport problems and by the $\mathbf{D}$-distance of Sturm on normalised metric measure spaces, we define a new class of complete and separable distances between metric measure spaces of possibly different total mass. We provide several explicit examples of such distances, where a prominent role is played by a geodesic metric based on the Hellinger-Kantorovich distance. Moreover, we discuss some limiting cases of the theory, recovering the "pure transport" $\mathbf{D}$-distance and introducing a new class of "pure entropic" distances. We also study in detail the topology induced by such Entropy-Transport metrics, showing some compactness and stability results for metric measure spaces satisfying Ricci curvature lower bounds in a synthetic sense.


title: Domain Specific Modeling (DSM) as a Service for the Internet of Things & Services

abstract: In this paper, we propose a novel approach for developing Sense-Compute-Control (SCC) applications for the Internet of Things and Services (IoTS) following the Model-Driven Software Engineering (MDSE) methodology. We review the recent approaches to MDSE and argue that Domain Specific Modeling (DSM) suites our needs very well. However, in line with the recent trends in cloud computing and the emer-gence of the IoTS, we believe that both DSM creation tools and DSM solutions that are created via those tools should also be provided to their respective users in a service-oriented fashion through the cloud in the IoTS. In this work, we concentrate on the latter, i.e., DSM solu-tions that are created via a DSM creation tool. We argue that it makes sense for the owners of a DSM solution in a domain to provide their DSM solution as a service, following the well known Software as a Ser-vice (SaaS) model, to the interested customers through the IoTS. Our proposed approach concentrates on such a DSM solution for developing SCC applications in the IoTS. However, the idea could be applied to DSM solutions in other domains as well.


title: Sense-Deliberate-Act Cognitive Agents for Sense-Compute-Control Applications in the Internet of Things & Services

abstract: In this paper, we advocate Agent-Oriented Software Engi-neering (AOSE) through employing Belief-Desire-Intention (BDI) intel-ligent agents for developing Sense-Compute-Control (SCC) applications in the Internet of Things and Services (IoTS). We argue that not only the agent paradigm, in general, but also cognitive BDI agents with sense-deliberate-act cycle, in particular, fit very well to the nature of SCC applications in the IoTS. However, considering the highly constrained heterogeneous devices that are prevalent in the IoTS, existing BDI agent frameworks, even those especially created for Wireless Sensor Networks (WSNs), do not work. We elaborate on the challenges and propose pos-sible approaches to address them.


title: What Do You See? Evaluation of Explainable Artificial Intelligence (XAI) Interpretability through Neural Backdoors

abstract: EXplainable AI (XAI) methods have been proposed to interpret how a deep neural network predicts inputs through model saliency explanations that highlight the parts of the inputs deemed important to arrive a decision at a specific target. However, it remains challenging to quantify correctness of their interpretability as current evaluation approaches either require subjective input from humans or incur high computation cost with automated evaluation. In this paper, we propose backdoor trigger patterns--hidden malicious functionalities that cause misclassification--to automate the evaluation of saliency explanations. Our key observation is that triggers provide ground truth for inputs to evaluate whether the regions identified by an XAI method are truly relevant to its output. Since backdoor triggers are the most important features that cause deliberate misclassification, a robust XAI method should reveal their presence at inference time. We introduce three complementary metrics for systematic evaluation of explanations that an XAI method generates and evaluate seven state-of-the-art model-free and model-specific posthoc methods through 36 models trojaned with specifically crafted triggers using color, shape, texture, location, and size. We discovered six methods that use local explanation and feature relevance fail to completely highlight trigger regions, and only a model-free approach can uncover the entire trigger region.


title: A Differential Game Approach for Beyond Visual Range Tactics

abstract: An operational relevant conflict between teams of autonomous vehicles in the Beyond Visual Range domain is addressed in this paper. Optimal strategies are designed in order for a team of air interceptors to protect a high value asset and block the attacking team at a safe distance from such asset. The attacking agents take specific roles of leader and wingman and also devise their own optimal strategies in order to launch an attack as close as possible from the asset. The problem is formulated as a zero-sum differential game between players with different speed over two stages: the attack and the retreat stages. For each stage the state-feedback optimal strategies of each player are derived in analytical form.


title: Overlapping community detection in networks via sparse spectral decomposition

abstract: We consider the problem of estimating overlapping community memberships in a network, where each node can belong to multiple communities. More than a few communities per node are difficult to both estimate and interpret, so we focus on sparse node membership vectors. Our algorithm is based on sparse principal subspace estimation with iterative thresholding. The method is computationally efficient, with a computational cost equivalent to estimating the leading eigenvectors of the adjacency matrix, and does not require an additional clustering step, unlike spectral clustering methods. We show that a fixed point of the algorithm corresponds to correct node memberships under a version of the stochastic block model. The methods are evaluated empirically on simulated and real-world networks, showing good statistical performance and computational efficiency.


title: A survey of graph burning

abstract: Graph burning is a deterministic, discrete-time process that models how influence or contagion spreads in a graph. Associated to each graph is its burning number, which is a parameter that quantifies how quickly the influence spreads. We survey results on graph burning, focusing on bounds, conjectures, and algorithms related to the burning number. We will discuss state-of-the-art results on the burning number conjecture, burning numbers of graph classes, and algorithmic complexity. We include a list of conjectures, variants, and open problems on graph burning.


title: mage: Fluid Moves Between Code and Graphical Work in Computational Notebooks

abstract: We aim to increase the flexibility at which a data worker can choose the right tool for the job, regardless of whether the tool is a code library or an interactive graphical user interface (GUI). To achieve this flexibility, we extend computational notebooks with a new API mage, which supports tools that can represent themselves as both code and GUI as needed. We discuss the design of mage as well as design opportunities in the space of flexible code/GUI tools for data work. To understand tooling needs, we conduct a study with nine professional practitioners and elicit their feedback on mage and potential areas for flexible code/GUI tooling. We then implement six client tools for mage that illustrate the main themes of our study findings. Finally, we discuss open challenges in providing flexible code/GUI interactions for data workers.


title: Using Neural Architecture Search for Improving Software Flaw Detection in Multimodal Deep Learning Models

abstract: Software flaw detection using multimodal deep learning models has been demonstrated as a very competitive approach on benchmark problems. In this work, we demonstrate that even better performance can be achieved using neural architecture search (NAS) combined with multimodal learning models. We adapt a NAS framework aimed at investigating image classification to the problem of software flaw detection and demonstrate improved results on the Juliet Test Suite, a popular benchmarking data set for measuring performance of machine learning models in this problem domain.


title: Partially Observable Online Change Detection via Smooth-Sparse Decomposition

abstract: We consider online change detection of high dimensional data streams with sparse changes, where only a subset of data streams can be observed at each sensing time point due to limited sensing capacities. On the one hand, the detection scheme should be able to deal with partially observable data and meanwhile have efficient detection power for sparse changes. On the other, the scheme should be able to adaptively and actively select the most important variables to observe to maximize the detection power. To address these two points, in this paper, we propose a novel detection scheme called CDSSD. In particular, it describes the structure of high dimensional data with sparse changes by smooth-sparse decomposition, whose parameters can be learned via spike-slab variational Bayesian inference. Then the posterior Bayes factor, which incorporates the learned parameters and sparse change information, is formulated as a detection statistic. Finally, by formulating the statistic as the reward of a combinatorial multi-armed bandit problem, an adaptive sampling strategy based on Thompson sampling is proposed. The efficacy and applicability of our method in practice are demonstrated with numerical studies and a real case study.


title: A stable method for 4D CT-based CFD simulation in the right ventricle of a TGA patient

abstract: The paper discusses a stabilization of a finite element method for the equations of fluid motion in a time-dependent domain. After experimental convergence analysis, the method is applied to simulate a blood flow in the right ventricle of a post-surgery patient with the transposition of the great arteries disorder. The flow domain is reconstructed from a sequence of 4D CT images. The corresponding segmentation and triangulation algorithms are also addressed in brief.


title: BPS Black Hole Entropy and Attractors in Very Special Geometry. Cubic Forms, Gradient Maps and their Inversion

abstract: We consider Bekenstein-Hawking entropy and attractors in extremal BPS black holes of $\mathcal{N}=2$, $D=4$ ungauged supergravity obtained as reduction of minimal, matter-coupled $D=5$ supergravity. They are generally expressed in terms of solutions to an inhomogeneous system of coupled quadratic equations, named BPS system, depending on the cubic prepotential as well as on the electric-magnetic fluxes in the extremal black hole background. Focussing on homogeneous non-symmetric scalar manifolds (whose classification is known in terms of $L(q,P,\dot{P})$ models), under certain assumptions on the Clifford matrices pertaining to the related cubic prepotential, we formulate and prove an invertibility condition for the gradient map of the corresponding cubic form (to have a birational inverse map which is an homogeneous polynomial of degree four), and therefore for the solutions to the BPS system to be explicitly determined, in turn providing novel, explicit expressions for the BPS black hole entropy and the related attractors as solution of the BPS attractor equations. After a general treatment, we present a number of explicit examples with $\dot{P}=0$, such as $L(q,P)$, $1\leqslant q\leqslant 3$ and $P\geqslant 1$,or $L(q,1)$, $4\leqslant q\leqslant 9$, and one model with $\dot{P}=1$, namely $L(4,1,1)$. We also briefly comment on Kleinian signatures and split algebras. In particular, we provide, for the first time, the explicit form of the BPS black hole entropy and of the related BPS attractors for the infinite class of $L(1,P)$ $P\geqslant 2$ non-symmetric models of $\mathcal{N}=2$, $D=4$ supergravity.


title: Google COVID-19 community mobility reports: insights from multi-criteria decision making

abstract: Social distancing (SD) has been critical in the fight against the novel coronavirus disease (COVID-19). To aid SD monitoring, many technology companies have made available mobility data, the most prominent example being the community mobility reports (CMR) provided by Google. Given the wide range of research fields that have been drawing insights from CMR data, there has been a rising concern for methodological discussion on how to use them. Indeed, Google recently released their own guidelines, concerning the nature of the place categories and the need for calibrating regional values. In this work, we discuss how measures developed in the field of multi-criteria decision making (MCDM) might benefit researchers analyzing this data. Concretely, we discuss how Pareto dominance and performance measures adopted in MCDM enable the mobility evaluation for (i) multiple categories for a given time period and (ii) multiple categories over multiple time periods. We empirically demonstrate these approaches conducting both a region- and country-level analysis, comparing some of the most relevant outbreak examples from different continents.


title: From NANOGrav to LIGO with metastable cosmic strings

abstract: We interpret the recent NANOGrav results in terms of a stochastic gravitational wave background from metastable cosmic strings. The observed amplitude of a stochastic signal can be translated into a range for the cosmic string tension and the mass of magnetic monopoles arising in theories of grand unification. In a sizable part of the parameter space, this interpretation predicts a large stochastic gravitational wave signal in the frequency band of ground-based interferometers, which can be probed in the very near future. We confront these results with predictions from successful inflation, leptogenesis and dark matter from the spontaneous breaking of a gauged B-L symmetry.


title: Phonon Renormalization in Reconstructed MoS$_2$ Moir\'e Superlattices

abstract: In moir\'e crystals formed by stacking van der Waals (vdW) materials, surprisingly diverse correlated electronic phases and optical properties can be realized by a subtle change in the twist angle. Here, we discover that phonon spectra are also renormalized in MoS$_2$ twisted bilayers, adding a new perspective to moir\'e physics. Over a range of small twist angles, the phonon spectra evolve rapidly due to ultra-strong coupling between different phonon modes and atomic reconstructions of the moir\'e pattern. We develop a new low-energy continuum model for phonons that overcomes the outstanding challenge of calculating properties of large moir\'e supercells and successfully captures essential experimental observations. Remarkably, simple optical spectroscopy experiments can provide information on strain and lattice distortions in moir\'e crystals with nanometer-size supercells. The newly developed theory promotes a comprehensive and unified understanding of structural, optical, and electronic properties of moir\'e superlattices.


title: Equations in virtually class 2 nilpotent groups

abstract: We give an algorithm that decides whether a single equation in a group that is virtually a class $2$ nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of Duchin, Liang and Shapiro to finite extensions.


title: A new parameterization of the star formation rate-dense gas mass relation: embracing gas density gradients

abstract: It is well-established that a gas density gradient inside molecular clouds and clumps raises their star formation rate compared to what they would experience from a gas reservoir of uniform density. This effect should be observed in the relation between dense-gas mass $M_{dg}$ and star formation rate $SFR$ of molecular clouds and clumps, with steeper gas density gradients yielding higher $SFR/M_{dg}$ ratios. The content of this paper is two-fold. Firstly, we build on the notion of magnification factor introduced by Parmentier (2019) to redefine the dense-gas relation (i.e. the relation between $M_{dg}$ and $SFR$). Not only does the $SFR/M_{dg}$ ratio depend on the mean free-fall time of the gas and on its (intrinsic) star formation efficiency per free-fall time, it also depends on the logarithmic slope $-p$ of the gas density profile and on the relative extent of the constant-density region at the clump center. Secondly, we show that nearby molecular clouds follow the newly-defined dense-gas relation, provided that their dense-gas mass is defined based on a volume density criterion. We also find the same trend for the dense molecular clouds of the Central Molecular Zone (CMZ) of the Galaxy, although this one is scaled down by a factor of $10$ compared to nearby clouds. The respective locii of both nearby and CMZ clouds in the $(p, SFR/M_{dg})$ parameter space is discussed.


title: Channel Estimation for Distributed Intelligent Reflecting Surfaces Assisted Multi-User MISO Systems

abstract: Intelligent reflecting surfaces (IRSs)-assisted wireless communication promises improved system performance, while posing new challenges in channel estimation (CE) due to the passive nature of the reflecting elements. Although a few CE protocols for IRS-assisted multiple-input single-output (MISO) systems have appeared, they either require long channel training times or are developed under channel sparsity assumptions. Moreover, existing works focus on a single IRS, whereas in practice multiple such surfaces should be installed to truly benefit from the concept of reconfiguring propagation environments. In light of these challenges, this paper tackles the CE problem for the distributed IRSs-assisted multi-user MISO system. An optimal CE protocol requiring relatively low training overhead is developed using Bayesian techniques under the practical assumption that the BS-IRSs channels are dominated by the line-of-sight (LoS) components. An optimal solution for the phase shifts vectors required at all IRSs during CE is determined and the minimum mean square error (MMSE) estimates of the BSusers direct channels and the IRSs-users channels are derived. Simulation results corroborate the normalized MSE (NMSE) analysis and establish the advantage of the proposed protocol as compared to benchmark scheme in terms of training overhead.


title: Controllability of fractional stochastic delay dynamical systems

abstract: In this paper, we consider Caputo type fractional stochastic time-delay system with permutable matrices. We derive stochastic analogue of variation of constants formula via a newly defined delayed Mittag-Leffer type matrix function. Thus, we investigate new results on existence and uniqueness of mild solutions with the help of weighted maximum norm to fractional stochastic time-delay differential equations whose coefficients satisfy standard Lipschitz conditions. The main points in the proof are to apply Ito's isometry and martingale representation theorem, and to show the notion of a coincidence between the integral equation and the mild solution. Finally, we study complete controllability results for linear and nonlinear fractional stochastic delay dynamical systems with Wiener noise.


title: Log-concavity of the Excedance Enumerators in positive elements of Type A and Type B Coxeter Groups

abstract: The classical Eulerian Numbers $A_{n,k}$ are known to be log-concave. Let $P_{n,k}$ and $Q_{n,k}$ be the number of even and odd permutations with $k$ excedances. In this paper, we show that $P_{n,k}$ and $Q_{n,k}$ are log-concave. For this, we introduce the notion of strong synchronisation and ratio-alternating which are motivated by the notion of synchronisation and ratio-dominance, introduced by Gross, Mansour, Tucker and Wang in 2014. We show similar results for Type B Coxeter Groups. We finish with some conjectures to emphasize the following: though strong synchronisation is stronger than log-concavity, many pairs of interesting combinatorial families of sequences seem to satisfy this property.


title: E-BATCH: Energy-Efficient and High-Throughput RNN Batching

abstract: Recurrent Neural Network (RNN) inference exhibits low hardware utilization due to the strict data dependencies across time-steps. Batching multiple requests can increase throughput. However, RNN batching requires a large amount of padding since the batched input sequences may largely differ in length. Schemes that dynamically update the batch every few time-steps avoid padding. However, they require executing different RNN layers in a short timespan, decreasing energy efficiency. Hence, we propose E-BATCH, a low-latency and energy-efficient batching scheme tailored to RNN accelerators. It consists of a runtime system and effective hardware support. The runtime concatenates multiple sequences to create large batches, resulting in substantial energy savings. Furthermore, the accelerator notifies it when the evaluation of a sequence is done, so that a new sequence can be immediately added to a batch, thus largely reducing the amount of padding. E-BATCH dynamically controls the number of time-steps evaluated per batch to achieve the best trade-off between latency and energy efficiency for the given hardware platform. We evaluate E-BATCH on top of E-PUR and TPU. In E-PUR, E-BATCH improves throughput by 1.8x and energy-efficiency by 3.6x, whereas in TPU, it improves throughput by 2.1x and energy-efficiency by 1.6x, over the state-of-the-art.


title: On the extension and kernels of signed bimeasures and their role in stochastic integration

abstract: In this work we provide a necessary and sufficient condition for the extension of signed bimeasures on $\delta$-rings and for the existence of relative kernels. This result generalises the construction method of regular conditional probabilities to the more general setting of extended signed measures. Building on this result, we obtain the most general theory of stochastic integrals based on random measures, thus extending and generalising the whole integration theory developed in the celebrated Rajput and Rosinski's paper (\textit{Probab.~Theory Relat.~Fields}, \textbf{82} (1989) 451-487) and the recent results by Passeggeri (\textit{Stoch.~Process.~Their Appl.}, \textbf{130}, (3), (2020), 1735-1791).


title: Kinetic mixing, custodial symmetry, $Z$, $Z^{\prime}$ interactions and $Z^{\prime}$ production in hadron colliders

abstract: In this work we study the interactions of the $Z$ and $Z^{\prime}$ generated by kinetic mixing in a class of theories for physics beyond the standard model motivated by the dark matter problem, containing a spontaneously broken extra $U(1)_{d}$ gauge factor group in a hidden scenario and a Higgs sector respecting custodial symmetry. It is shown that custodial symmetry allows us to write the $Z$ and $Z^{\prime}$ couplings to standard model fermions in terms of the measured values of $\alpha$, $G_{F}$, $M_{Z}$ and $M_{Z^{\prime}}$. Working at the loop level, we calculate the ratio $\rho_{0}=M^{2}_{W}/\hat{c}^{2}_{Z}M^{2}_{Z}\hat{\rho}$ used in the fit to electroweak precision data (EWPD) and use its value to estimate possible effects of kinetic mixing at the electroweak scale. For the $Z$ sector, we calculate the oblique parameters $S$ and $T$, finding that for $M_{Z^{\prime}}\geq M_{Z}$ our results are in agreement with the values of the oblique parameters extracted from the global fit to EWPD at $1\sigma$ level. As to the $Z^{\prime}$ sector, we calculate the $Z^{\prime}$ contributions to charged lepton pair production at the Large Hadron Colliderin the well motivated case of dark matter entering particle physics as the matter fields of the $U(1)_{d}$ gauge symmetry with perturbative couplings at the electroweak scale, finding that data reported by the Compact Muon Selenoid Collaboration impose a lower limit $M_{Z^{\prime}}\gtrsim 5.0 ~TeV$.


title: Effect of Self-Lubricating Carbon Materials on the Tribological Performance of Ultra-High-Molecular-Weight Polyethylene

abstract: Ultra-high-molecular-weight polyethylene (UHMWPE) has been the gold standard for total knee replacements. Due to the knee's natural movements, UHMWPE wear debris production is inevitable. The debris, at the micron and submicron level, results in the joint's mechanical instability, reduced mobility, increased pain, and implant loosening. Wear debris production has been linked to UHMWPE mechanical properties; therefore, improvements to increase the UHMWPE mechanical properties will impact the component's longevity. Here, TiC coating and multiwalled carbon nanotubes (MWCNTs) were used to decrease the UHMWPE wear. After 400,000 cycles, the UHMWPE-MWCNT diminishes the mass loss compared to UHMWPE, and the combination with TiC decreased the material loss by ~ 43.7 % compared to the reference pair. Cold-flow and burnishing were the predominant wear modes.


title: Measuring affective states from technical debt: A psychoempirical software engineering experiment

abstract: Software engineering is a human activity. Despite this, human aspects are under-represented in technical debt research, perhaps because they are challenging to evaluate. This study's objective was to investigate the relationship between technical debt and affective states (feelings, emotions, and moods) from software practitioners. Forty participants (N = 40) from twelve companies took part in a mixed-methods approach, consisting of a repeated-measures (r = 5) experiment (n = 200), a survey, and semi-structured interviews. The statistical analysis shows that different design smells (strong indicators of technical debt) negatively or positively impact affective states. From the qualitative data, it is clear that technical debt activates a substantial portion of the emotional spectrum and is psychologically taxing. Further, the practitioners' reactions to technical debt appear to fall in different levels of maturity. We argue that human aspects in technical debt are important factors to consider, as they may result in, e.g., procrastination, apprehension, and burnout.


title: Decoding Starlight with Big Survey Data, Machine Learning, and Cosmological Simulations

abstract: Stars, and collections of stars, encode rich signatures of stellar physics and galaxy evolution. With properties influenced by both their environment and intrinsic nature, stars retain information about astrophysical phenomena that are not otherwise directly observable. In the time-domain, the observed brightness variability of a star can be used to investigate physical processes occurring at the stellar surface and in the stellar interior. On a galactic scale, the properties of stars, including chemical abundances and stellar ages, serve as a multi-dimensional record of the origin of the galaxy. In the Milky Way, together with orbital properties, this informs the details of the evolution of our Galaxy since its formation. Extending beyond the Local Group, the attributes of unresolved stellar populations allow us to study the diversity of galaxies in the Universe. By examining the properties of stars, and how they vary across a range of spatial and temporal scales, this Dissertation connects the information residing within stars to global processes in galactic formation and evolution. We develop new approaches to determine stellar properties, including rotation and surface gravity, from the variability that we directly observe. We offer new insight into the chemical enrichment history of the Milky Way, tracing different stellar explosions that capture billions of years of evolution. We advance knowledge and understanding of how stars and galaxies are linked, by examining differences in the initial stellar mass distributions comprising galaxies, as they form. In building up this knowledge, we highlight current tensions between data and theory. By synthesizing numerical simulations, large observational data sets, and machine learning techniques, this work makes valuable methodological contributions to maximize insights from diverse ensembles of current and future stellar observations.


title: Implications of gauge freedom for nonrelativistic quantum electrodynamics

abstract: Gauge freedom in quantum electrodynamics (QED) outside of textbook regimes is reviewed. It is emphasized that QED subsystems are defined relative to a choice of gauge. Each definition uses different gauge-invariant observables. This relativity is eliminated only if a sufficient number of Markovian and weak-coupling approximations are employed. All physical predictions are gauge invariant, including subsystem properties such as photon number and entanglement. However, subsystem properties naturally differ for different physical subsystems. Gauge ambiguities arise not because it is unclear how to obtain gauge-invariant predictions, but because it is not always clear which physical observables are the most operationally relevant. The gauge invariance of a prediction is necessary but not sufficient to ensure its operational relevance. It is shown that, in controlling which gauge invariant observables are used to define a material system, the choice of gauge affects the balance between the material system's localization and its electromagnetic dressing. Various implications of subsystem gauge relativity for deriving effective models, for describing time-dependent interactions, for photodetection theory, and for describing matter within a cavity are reviewed.

categories: quant-ph cond-mat.mes-hall cond-mat.str-el cond-mat.supr-con physics.atom-ph


title: A Generative Adversarial Approach with Residual Learning for Dust and Scratches Artifacts Removal

abstract: Retouching can significantly elevate the visual appeal of photos, but many casual photographers lack the expertise to operate in a professional manner. One particularly challenging task for old photo retouching remains the removal of dust and scratches artifacts. Traditionally, this task has been completed manually with special image enhancement software and represents a tedious task that requires special know-how of photo editing applications. However, recent research utilizing Generative Adversarial Networks (GANs) has been proven to obtain good results in various automated image enhancement tasks compared to traditional methods. This motivated us to explore the use of GANs in the context of film photo editing. In this paper, we present a GAN based method that is able to remove dust and scratches errors from film scans. Specifically, residual learning is utilized to speed up the training process, as well as boost the denoising performance. An extensive evaluation of our model on a community provided dataset shows that it generalizes remarkably well, not being dependent on any particular type of image. Finally, we significantly outperform the state-of-the-art methods and software applications, providing superior results.


title: A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance

abstract: Byzantine fault tolerant protocols enable state replication in the presence of crashed, malfunctioning, or actively malicious processes. Designing such protocols without the assistance of verification tools, however, is remarkably error-prone. In an adversarial environment, performance and flexibility come at the cost of complexity, making the verification of existing protocols extremely difficult. We take a different approach and propose a formally verified consensus protocol designed for a specific use case: secure logging. Our protocol allows each node to propose entries in a parallel subroutine, and guarantees that correct nodes agree on the set of all proposed entries, without leader election. It is simple yet practical, as it can accommodate the workload of a logging system such as Certificate Transparency. We show that it is optimal in terms of both required rounds and tolerable faults. Using Isabelle/HOL, we provide a fully machine-checked security proof based upon the Heard-Of model, which we extend to support signatures. We also present and evaluate a prototype implementation.


title: Brouwer's satellite solution redux

abstract: Brouwer's solution to the artificial satellite problem is revisited to show that the complete Hamiltonian reduction is rather achieved in the plain Poincar\'e's style, through a single canonical transformation, than using a sequence of partial reductions based on von Zeipel's alternative for dealing with perturbed degenerate Hamiltonian systems.


title: Attack-Resilient Distributed Algorithms for Exponential Nash Equilibrium Seeking

abstract: This paper investigates a resilient distributed Nash equilibrium (NE) seeking problem on a directed communication network subject to malicious cyber-attacks. The considered attacks, named as Denial-of-Service (DoS) attacks, are allowed to occur aperiodically, which refers to interruptions of communication channels carried out by intelligent adversaries. In such an insecure network environment, the existence of cyber-attacks may result in undesirable performance degradations or even the failures of distributed algorithm to seek the NE of noncooperative games. Hence, the aforementioned setting can improve the practical relevance of the problem to be addressed and meanwhile, it poses some technical challenges to the distributed algorithm design and exponential convergence analysis. In contrast to the existing distributed NE seeking results over a prefect communication network, an attack-resilient distributed algorithm is presented such that the NE can be exactly reached with an exponential convergence rate in the presence of DoS attacks. Inspired by the previous works in [21]-[26], an explicit analysis of the attack frequency and duration is investigated to enable exponential NE seeking with resilience against attacks.Examples and numerical simulation results are given to show the effectiveness of the proposed design.


title: Bootstrapped Newtonian cosmology and the cosmological constant problem

abstract: Bootstrapped Newtonian gravity was developed with the purpose of estimating the impact of quantum physics in the nonlinear regime of the gravitational interaction, akin to corpuscular models of black holes and inflation. In this work, we set the ground for extending the bootstrapped Newtonian picture to cosmological spaces. We further discuss how such models of quantum cosmology can lead to a natural solution of the cosmological constant problem.


title: Elliptic Calabi-Yau fivefolds and 2d (0,2) F-theory landscape

abstract: In this paper, we initiate the study of the 2d F-theory landscape based on compact elliptic Calabi-Yau fivefolds. In particular, we determine the boundary models of the landscape using Calabi-Yau fivefolds with the largest known Hodge numbers $h^{1,1}$ and $h^{4,1}$. The former gives rise to the largest geometric gauge group in the currently known 2d (0,2) supergravity landscape, which is $E_8^{482\,632\,421}\times F_4^{3\,224\,195\,728}\times G_2^{11\,927\,989\,964}\times SU(2)^{25\,625\,222\,180}$. Besides that, we systematically study the hypersurfaces in weighted projective spaces with small degrees, and check the gravitational anomaly cancellation. Moreover, we also initiate the study of singular bases in 2d F-theory. We find that orbifold singularities on the base fourfold have non-zero contributions to the gravitational anomaly.


title: There is No Such Thing as an "Index"! or: The next 500 Indexing Papers

abstract: Index structures are a building block of query processing and computer science in general. Since the dawn of computer technology there have been index structures. And since then, a myriad of index structures are being invented and published each and every year. In this paper we argue that the very idea of "inventing an index" is a misleading concept in the first place. It is the analogue of "inventing a physical query plan". This paper is a paradigm shift in which we propose to drop the idea to handcraft index structures (as done for binary search trees over B-trees to any form of learned index) altogether. We present a new automatic index breeding framework coined Genetic Generic Generation of Index Structures (GENE). It is based on the observation that almost all index structures are assembled along three principal dimensions: (1) structural building blocks, e.g., a B-tree is assembled from two different structural node types (inner and leaf nodes), (2) a couple of invariants, e.g., for a B-tree all paths have the same length, and (3) decisions on the internal layout of nodes (row or column layout, etc.). We propose a generic indexing framework that can mimic many existing index structures along those dimensions. Based on that framework we propose a generic genetic index generation algorithm that, given a workload and an optimization goal, can automatically assemble and mutate, in other words 'breed' new index structure 'species'. In our experiments we follow multiple goals. We reexamine some good old wisdom from database technology. Given a specific workload, will GENE even breed an index that is equivalent to what our textbooks and papers currently recommend for such a workload? Or can we do even more? Our initial results strongly indicate that generated indexes are the next step in designing index structures.


title: On the proliferation of support vectors in high dimensions

abstract: The support vector machine (SVM) is a well-established classification method whose name refers to the particular training examples, called support vectors, that determine the maximum margin separating hyperplane. The SVM classifier is known to enjoy good generalization properties when the number of support vectors is small compared to the number of training examples. However, recent research has shown that in sufficiently high-dimensional linear classification problems, the SVM can generalize well despite a proliferation of support vectors where all training examples are support vectors. In this paper, we identify new deterministic equivalences for this phenomenon of support vector proliferation, and use them to (1) substantially broaden the conditions under which the phenomenon occurs in high-dimensional settings, and (2) prove a nearly matching converse result.


title: Pure pairs. VI. Excluding an ordered tree

abstract: A pure pair in a graph $G$ is a pair $(Z_1,Z_2)$ of disjoint sets of vertices such that either every vertex in $Z_1$ is adjacent to every vertex in $Z_2$, or there are no edges between $Z_1$ and $Z_2$. With Maria Chudnovsky, we recently proved that, for every forest $F$, every graph $G$ with at least two vertices that does not contain $F$ or its complement as an induced subgraph has a pure pair $(Z_1,Z_2)$ with $|Z_1|,|Z_2|$ linear in $|G|$. Here we investigate what we can say about pure pairs in an {\em ordered} graph $G$, when we exclude an ordered forest $F$ and its complement as induced subgraphs. Fox showed that there need not be a linear pure pair; but Pach and Tomon showed that if $F$ is a monotone path then there is a pure pair of size $c|G|/\log |G|$. We generalise this to all ordered forests, at the cost of a slightly worse bound: we prove that, for every ordered forest $F$, every ordered graph $G$ with at least two vertices that does not contain $F$ or its complement as an induced subgraph has a pure pair of size $|G|^{1-o(1)}$.


title: Reduced Archimedean skew polynomial rings and skew power series rings

abstract: We characterize skew polynomial rings and skew power series rings that are reduced and right or left Archimedean.


title: Deep Forest: Neural Network reconstruction of the Lyman-alpha forest

abstract: We explore the use of Deep Learning to infer physical quantities from the observable transmitted flux in the Lyman-alpha forest. We train a Neural Network using redshift z=3 outputs from cosmological hydrodynamic simulations and mock datasets constructed from them. We evaluate how well the trained network is able to reconstruct the optical depth for Lyman-alpha forest absorption from noisy and often saturated transmitted flux data. The Neural Network outperforms an alternative reconstruction method involving log inversion and spline interpolation by approximately a factor of 2 in the optical depth root mean square error. We find no significant dependence in the improvement on input data signal to noise, although the gain is greatest in high optical depth regions. The Lyman-alpha forest optical depth studied here serves as a simple, one dimensional, example but the use of Deep Learning and simulations to approach the inverse problem in cosmology could be extended to other physical quantities and higher dimensional data.


title: Ultra-dense Low Data Rate (UDLD) Communication in the THz

abstract: In the future, with the advent of Internet of Things (IoT), wireless sensors, and multiple 5G killer applications, an indoor room might be filled with $1000$s of devices demanding low data rates. Such high-level densification and mobility of these devices will overwhelm the system and result in higher interference, frequent outages, and lower coverage. The THz band has a massive amount of greenfield spectrum to cater to this dense-indoor deployment. However, a limited coverage range of the THz will require networks to have more infrastructure and depend on non-line-of-sight (NLOS) type communication. This form of communication might not be profitable for network operators and can even result in inefficient resource utilization for devices demanding low data rates. Using distributed device-to-device (D2D) communication in the THz, we can cater to these Ultra-dense Low Data Rate (UDLD) type applications. D2D in THz can be challenging, but with opportunistic allocation and smart learning algorithms, these challenges can be mitigated. We propose a 2-Layered distributed D2D model, where devices use coordinated multi-agent reinforcement learning (MARL) to maximize efficiency and user coverage for dense-indoor deployment. We show that densification and mobility in a network can be used to further the limited coverage range of THz devices, without the need for extra infrastructure or resources.


title: Perspectives on Machine Learning-augmented Reynolds-averaged and Large Eddy Simulation Models of Turbulence

abstract: This work presents a review and perspectives on recent developments in the use of machine learning (ML) to augment Reynolds-averaged Navier--Stokes (RANS) and Large Eddy Simulation (LES) models of turbulent flows. Different approaches of applying supervised learning to represent unclosed terms, model discrepancies and sub-filter scales are discussed in the context of RANS and LES modeling. Particular emphasis is placed on the impact of the training procedure on the consistency of ML augmentations with the underlying physical model. Techniques to promote model-consistent training, and to avoid the requirement of full fields of direct numerical simulation data are detailed. This is followed by a discussion of physics-informed and mathematical considerations on the choice of the feature space, and imposition of constraints on the ML model. With a view towards developing generalizable ML-augmented RANS and LES models, outstanding challenges are discussed, and perspectives are provided. While the promise of ML-augmented turbulence modeling is clear, and successes have been demonstrated in isolated scenarios, a general consensus of this paper is that truly generalizable models require model-consistent training with careful characterization of underlying assumptions and imposition of physically and mathematically informed priors and constraints to account for the inevitable shortage of data relevant to predictions of interest. Thus, machine learning should be viewed as one tool in the turbulence modeler's toolkit. This modeling endeavor requires multi-disciplinary advances, and thus the target audience for this paper is the fluid mechanics community, as well as the computational science and machine learning communities.


title: On the chromatic number of almost stable general Kneser hypergraphs

abstract: Let $n\ge 1$ and $s\ge 1$ be integers. An almost $s$-stable subset $A$ of $[n]=\{1,\dots,n\}$ is a subset such that for any two distinct elements $i, j\in A$, one has $|i-j|\ge s$. For a family $\cal F$ of non-empty subsets of $[n]$ and an integer $r\ge 2$, the chromatic number of the $r$-uniform Kneser hypergraph $\mbox{KG}^r({\cal F})$, whose vertex set is $\cal F$ and whose edge set is the set of $\{A_1,\dots, A_r\}$ of pairwise disjoint elements in $\cal F$, has been studied extensively in the literature and Abyazi Sani and Alishahi were able to give a lower bound for it in terms of the equatable $r$-colorability defect, $\mbox{ecd}^r({\cal F})$. In this article, the methods of Chen for the special family of all $k$-subsets of $[n]$, are modified to give lower bounds for the chromatic number of almost stable general Kneser hypergraph $\mbox{KG}^r({\cal F}_s)$ in terms of $\mbox{ecd}^s({\cal F})$. Here ${\cal F}_s$ is the collection of almost $s$-stable elements of $\cal F$. We also propose a generalization of a conjecture of Meunier.


title: On the Mysteries of MAX NAE-SAT

abstract: MAX NAE-SAT is a natural optimization problem, closely related to its better-known relative MAX SAT. The approximability status of MAX NAE-SAT is almost completely understood if all clauses have the same size $k$, for some $k\ge 2$. We refer to this problem as MAX NAE-$\{k\}$-SAT. For $k=2$, it is essentially the celebrated MAX CUT problem. For $k=3$, it is related to the MAX CUT problem in graphs that can be fractionally covered by triangles. For $k\ge 4$, it is known that an approximation ratio of $1-\frac{1}{2^{k-1}}$, obtained by choosing a random assignment, is optimal, assuming $P\ne NP$. For every $k\ge 2$, an approximation ratio of at least $\frac{7}{8}$ can be obtained for MAX NAE-$\{k\}$-SAT. There was some hope, therefore, that there is also a $\frac{7}{8}$-approximation algorithm for MAX NAE-SAT, where clauses of all sizes are allowed simultaneously. Our main result is that there is no $\frac{7}{8}$-approximation algorithm for MAX NAE-SAT, assuming the unique games conjecture (UGC). In fact, even for almost satisfiable instances of MAX NAE-$\{3,5\}$-SAT (i.e., MAX NAE-SAT where all clauses have size $3$ or $5$), the best approximation ratio that can be achieved, assuming UGC, is at most $\frac{3(\sqrt{21}-4)}{2}\approx 0.8739$. Using calculus of variations, we extend the analysis of O'Donnell and Wu for MAX CUT to MAX NAE-$\{3\}$-SAT. We obtain an optimal algorithm, assuming UGC, for MAX NAE-$\{3\}$-SAT, slightly improving on previous algorithms. The approximation ratio of the new algorithm is $\approx 0.9089$. We complement our theoretical results with some experimental results. We describe an approximation algorithm for almost satisfiable instances of MAX NAE-$\{3,5\}$-SAT with a conjectured approximation ratio of 0.8728, and an approximation algorithm for almost satisfiable instances of MAX NAE-SAT with a conjectured approximation ratio of 0.8698.


title: Quantum Polar Duality and the Symplectic Camel: a Geometric Approach to Quantization

abstract: We define and study the notion of quantum polarity, which is a kind of geometric Fourier transform between sets of positions and sets of momenta. Extending previous work of ours, we show that the orthogonal projections of the covariance ellipsoid of a quantum state on the configuration and momentum spaces form what we call a dual quantum pair. We thereafter show that quantum polarity allows solving the Pauli reconstruction problem for Gaussian wavefunctions. The notion of quantum polarity exhibits a strong interplay between the uncertainty principle and symplectic and convex geometry and our approach could therefore pave the way for a geometric and topological version of quantum indeterminacy. We relate our results to the Blaschke-Santal\'o inequality and to the Mahler conjecture. We also discuss the Hardy uncertainty principle and the less-known Donoho--Stark principle from the point of view of quantum polarity.


title: An embedded deep learning system for augmented reality in firefighting applications

abstract: Firefighting is a dynamic activity, in which numerous operations occur simultaneously. Maintaining situational awareness (i.e., knowledge of current conditions and activities at the scene) is critical to the accurate decision-making necessary for the safe and successful navigation of a fire environment by firefighters. Conversely, the disorientation caused by hazards such as smoke and extreme heat can lead to injury or even fatality. This research implements recent advancements in technology such as deep learning, point cloud and thermal imaging, and augmented reality platforms to improve a firefighter's situational awareness and scene navigation through improved interpretation of that scene. We have designed and built a prototype embedded system that can leverage data streamed from cameras built into a firefighter's personal protective equipment (PPE) to capture thermal, RGB color, and depth imagery and then deploy already developed deep learning models to analyze the input data in real time. The embedded system analyzes and returns the processed images via wireless streaming, where they can be viewed remotely and relayed back to the firefighter using an augmented reality platform that visualizes the results of the analyzed inputs and draws the firefighter's attention to objects of interest, such as doors and windows otherwise invisible through smoke and flames.


title: AutoRC: Improving BERT Based Relation Classification Models via Architecture Search

abstract: Although BERT based relation classification (RC) models have achieved significant improvements over the traditional deep learning models, it seems that no consensus can be reached on what is the optimal architecture. Firstly, there are multiple alternatives for entity span identification. Second, there are a collection of pooling operations to aggregate the representations of entities and contexts into fixed length vectors. Third, it is difficult to manually decide which feature vectors, including their interactions, are beneficial for classifying the relation types. In this work, we design a comprehensive search space for BERT based RC models and employ neural architecture search (NAS) method to automatically discover the design choices mentioned above. Experiments on seven benchmark RC tasks show that our method is efficient and effective in finding better architectures than the baseline BERT based RC model. Ablation study demonstrates the necessity of our search space design and the effectiveness of our search method.


title: Renormalized Oscillation Theory for Singular Linear Hamiltonian Systems

abstract: Working with a general class of linear Hamiltonian systems with at least one singular boundary condition, we show that renormalized oscillation results can be obtained in a natural way through consideration of the Maslov index associated with appropriately chosen paths of Lagrangian subspaces of $\mathbb{C}^{2n}$. This extends previous work by the authors for regular linear Hamiltonian systems.


title: Weak normality, Gorenstein and Serre's conditions

abstract: We compute the associated prime ideals of the normalization modulo the ring, and establish connections between different types of generalizations (resp. specializations) of the normalization. This has some applications. For example, we present a characterization of quasi-normality, in the format that was conjectured by Vasconcelos. Also, we show in some cases, the normalization modulo the ring, is homologically reduced. This provides a partial answer to the conjecture of Matlis.


title: Deep Neural Tangent Kernel and Laplace Kernel Have the Same RKHS

abstract: We prove that the reproducing kernel Hilbert spaces (RKHS) of a deep neural tangent kernel and the Laplace kernel include the same set of functions, when both kernels are restricted to the sphere $\mathbb{S}^{d-1}$. Additionally, we prove that the exponential power kernel with a smaller power (making the kernel less smooth) leads to a larger RKHS, when it is restricted to the sphere $\mathbb{S}^{d-1}$ and when it is defined on the entire $\mathbb{R}^d$.


title: Let's Stop Incorrect Comparisons in End-to-end Relation Extraction!

abstract: Despite efforts to distinguish three different evaluation setups (Bekoulis et al., 2018), numerous end-to-end Relation Extraction (RE) articles present unreliable performance comparison to previous work. In this paper, we first identify several patterns of invalid comparisons in published papers and describe them to avoid their propagation. We then propose a small empirical study to quantify the impact of the most common mistake and evaluate it leads to overestimating the final RE performance by around 5% on ACE05. We also seize this opportunity to study the unexplored ablations of two recent developments: the use of language model pretraining (specifically BERT) and span-level NER. This meta-analysis emphasizes the need for rigor in the report of both the evaluation setting and the datasets statistics and we call for unifying the evaluation setting in end-to-end RE.