title: Real-time forecasts and risk assessment of novel coronavirus (COVID-19) cases: A data-driven analysis

abstract: The coronavirus disease 2019 (COVID-19) has become a public health emergency of international concern affecting 201 countries and territories around the globe. As of April 4, 2020, it has caused a pandemic outbreak with more than 11,16,643 confirmed infections and more than 59,170 reported deaths worldwide. The main focus of this paper is two-fold: (a) generating short term (real-time) forecasts of the future COVID-19 cases for multiple countries; (b) risk assessment (in terms of case fatality rate) of the novel COVID-19 for some profoundly affected countries by finding various important demographic characteristics of the countries along with some disease characteristics. To solve the first problem, we presented a hybrid approach based on autoregressive integrated moving average model and Wavelet-based forecasting model that can generate short-term (ten days ahead) forecasts of the number of daily confirmed cases for Canada, France, India, South Korea, and the UK. The predictions of the future outbreak for different countries will be useful for the effective allocation of health care resources and will act as an early-warning system for government policymakers. In the second problem, we applied an optimal regression tree algorithm to find essential causal variables that significantly affect the case fatality rates for different countries. This data-driven analysis will necessarily provide deep insights into the study of early risk assessments for 50 immensely affected countries.


title: Emergent geometry in recursive renormalization group transformations

abstract: Holographic duality conjecture has been proposed to be a novel non-perturbative theoretical framework for the description of strongly correlated electrons. However, the duality transformation is not specified to cause ambiguity in the application of this theoretical machinery to condensed matter physics. In this study, we propose a prescription for the holographic duality transformation. Based on recursive renormalization group (RG) transformations, we obtain an effective field theory, which manifests the RG flow of an effective action through the introduction of an extra dimension. Resorting to this prescription, we show that RG equations of all coupling constants are reformulated as emergent geometry with an extra dimension. We claim that the present prescription serves as microscopic foundation for the application of the holographic duality conjecture to condensed matter physics.


title: The Electron-Phonon Interaction of Low-Dimensional and Multi-Dimensional Materials from He Atom Scattering

abstract: Atom scattering is becoming recognized as a sensitive probe of the electron-phonon interaction parameter $\lambda$ at metal and metal-overlayer surfaces. Here, the theory is developed linking $\lambda$ to the thermal attenuation of atom scattering spectra (in particular, the Debye-Waller factor), to conducting materials of different dimensions, from quasi-one dimensional systems such as W(110):H(1$\times$1) and Bi(114), to quasi-two dimensional layered chalcogenides and high-dimensional surfaces such as quasicrystalline 2ML-Ba(0001)/Cu(001) and d-AlNiCo(00001). Values of $\lambda$ obtained using He atoms compare favorably with known values for the bulk materials. The corresponding analysis indicates in addition the number of layers contributing to the electron-phonon interaction that is measured in an atom surface collision.


title: A category theoretical argument for causal inference

abstract: The goal of this paper is to design a causal inference method accounting for complex interactions between causal factors. The proposed method relies on a category theoretical reformulation of the definitions of dependent variables, independent variables and latent variables in terms of products and arrows in the category of unlabeled partitions. Throughout the paper, we demonstrate how the proposed method accounts for possible hidden variables, such as environmental variables or noise, and how it can be interpreted statistically in terms of $p$-values. This interpretation, from category theory to statistics, is implemented through a collection of propositions highlighting the functorial properties of ANOVA. We use these properties in combination with our category theoretical framework to provide solutions to causal inference problems with both sound algebraic and statistical properties. As an application, we show how the proposed method can be used to design a combinatorial genome-wide association algorithm for the field of genetics.


title: From the coarse geometry of warped cones to the measured coupling of groups

abstract: In this article, we prove that if two warped cones corresponding to two finitely generated groups with free, isometric, measure-preserving, actions on two compact metric spaces with probability measures are level-wise quasi-isometric (with some extra natural assumptions), then the corresponding groups are uniformly measured equivalent (UME). It was earlier known from the works of de Laat-Vigolo and Sawicki that if two such warped cones are level-wise quasi-isometric, then their stable products are quasi-isometric. We strengthen this result and go further to prove UME of the groups. We also discuss many applications of our main result. We give countably infinite examples of groups and associated Warped cones such that the groups are mutually quasi-isometric, but the Warped cones are not mutually quasi-isometric in the sense of our main theorem. We also provide examples of two Warped cones (which are quasi-isometric to two different expander families) such that one of them does not quasi-isometrically embed into the other one in the sense of our main theorem.


title: An aligned-spin neutron-star--black-hole waveform model based on the effective-one-body approach and numerical-relativity simulations

abstract: After the discovery of gravitational waves from binary black holes (BBHs) and binary neutron stars (BNSs) with the LIGO and Virgo detectors, neutron-star--black-holes (NSBHs) are the natural next class of binary systems to be observed. In this work, we develop a waveform model for aligned-spin neutron-star--black-holes (NSBHs) combining a BBH baseline waveform (available in the effective-one-body approach) with a phenomenological description of tidal effects (extracted from numerical-relativity simulations), and correcting the amplitude during the late inspiral, merger and ringdown to account for the NS tidal disruption. We calibrate the amplitude corrections using NSBH waveforms obtained with the SpEC and the SACRA codes. The model was calibrated using simulations with NS masses in the range $1.2-1.4 M_\odot$, tidal deformabilities up to $4200$ (for a 1.2 $M_\odot$ NS), and dimensionless BH spin magnitude up to 0.9. Based on the simulations used, and on checking that sensible waveforms are produced, we recommend our model to be employed with NS mass in the range $1\mbox{--}3 M_\odot$, tidal deformability $0\mbox{--}5000$, and BH spin magnitude up to $0.9$. We also validate our model against two new, highly accurate NSBH waveforms with BH spin 0.9 and mass ratios 3 and 4, characterized by tidal disruption, produced with SpEC, and find very good agreement. We find that it will be challenging for the advanced LIGO-Virgo--detector network at design sensitivity to distinguish different source classes. We perform parameter-estimation on a synthetic numerical-relativity signal in zero noise to study parameter biases. Finally, we reanalyze GW170817, with the hypothesis that it is a NSBH. We do not find evidence to distinguish the BNS and NSBH hypotheses, however the posterior for the mass ratio is shifted to less equal masses under the NSBH hypothesis. [Abstract abridged for arxiv].


title: A Smartphone App to Support Sedentary Behavior Change by Visualizing Personal Mobility Patterns and Action Planning (SedVis): Development and Pilot Study

abstract: Given the high prevalence of sedentary behavior in daily life, simple yet practical solutions for behavior change are needed to avoid detrimental health effects. The mobile app SedVis was developed based on the health action process approach. The app provides personal mobility pattern visualization (for both physical activity and sedentary behavior) and action planning for sedentary behavior change. The primary aim of the study is to investigate the effect of mobility pattern visualization on users' action planning for changing their sedentary behavior. The secondary aim is to evaluate user engagement with the visualization and user experience of the app. In a 3-week user study, participants were allocated to either an active control group (n=8) or an intervention group (n=8). In the 1-week baseline period, none of the participants had access to the functions in the app. In the following 2-week intervention period, only the intervention group was given access to the visualizations, whereas both groups were asked to make action plans every day and reduce their sedentary behavior. The results suggested that the visualizations in SedVis had no effect on the participants' action planning according to both the NHST and Bayesian statistics. The intervention involving visualizations and action planning in SedVis had a positive effect on reducing participants' sedentary hours, with weak evidence according to Bayesian statistics, whereas no change in sedentary time was more likely in the active control condition. Furthermore, Bayesian analysis weakly suggested that the more frequently the users checked the app, the more likely they were to reduce their sedentary behavior.


title: Rational functions with only real periodic points

abstract: We study self-morphisms of smooth real projective algebraic curves that have only real periodic points. In the case of the projective line we provide a convenient characterization of such morphisms. We derive a semialgebraic description of the component of real fibered rational functions all of whose periodic points are real.


title: Higher Dimensional Limit Cycles and Coupling Induced Synchronization in Dynamical Systems

abstract: Limit cycles (attractors for neighbouring periodic orbits in a dissipative dynamical system) have been widely studied but the corresponding generalization for quasi periodic orbits have rarely been discussed. Here we investigate "higher dimensional limit cycles" by analysing a pair of coupled non identical Van der Pol oscillators and also the Kuznetsov oscillator. We find that the renormalization group based approach introduced by Chen, Goldenfeld and Oono is ideally suited for analysing the quasi periodic analogues of limit cycles. We also address entrainment issues in a pair of forced and coupled Van der Pol oscillators. Our principle finding there is that if two such independent oscillators one with frequency entrainment and the other without are coupled linearly, then it is possible to produce an entrained state via the coupling.


title: Quantum $E(2)$ groups for complex deformation parameters

abstract: We construct a family of $q$ deformations of $E(2)$ group for nonzero complex parameters $|q|<1$ as locally compact braided quantum groups over the circle group $\mathbb{T}$ viewed as a quasitriangular quantum group with respect to the unitary R-matrix $R(m,n):=(\zeta)^{mn}$ for all $m,n\in\mathbb{Z}$. For real $0<|q|<1$, the deformation coincides with Woronowicz's $E_{q}(2)$ groups. As an application, we study the braided analogue of the contraction procedure between $SU_{q}(2)$ and $E_{q}(2)$ groups in the spirit of Woronowicz's quantum analogue of the classic In\"on\"u-Wigner group contraction. Consequently, we obtain the bosonisation of braided $E_{q}(2)$ groups by contracting $U_{q}(2)$ groups.


title: Water structure near the surface of Weyl semimetals as catalysts in photocatalytic proton reduction

abstract: In this work, second-generation Car-Parrinello-based QM/MM molecular dynamics simulations of small nanoparticles of NbP, NbAs, TaAs and 1T-TaS$_2$ in water are presented. The first three materials are topological Weyl semimetals, which were recently discovered to be active catalysts in photocatalytic water splitting. The aim of this research was to correlate potential differences in the water structure in the vicinity of the nanoparticle surface with the photocatalytic activity of these materials in light induced proton reduction. The results presented herein allow to explain the catalytic activity of these Weyl semimetals: the most active material, NbP, exhibits a particularly low water coordination near the surface of the nanoparticle, whereas for 1T-TaS$_2$, with the lowest catalytic activity, the water structure at the surface is most ordered. In addition, the photocatalytic activity of several organic and metalorganic photosensitizers in the hydrogen evolution reaction was experimentally investigated with NbP as proton reduction catalyst. Unexpectedly, the charge of the photosensitizer plays a decisive role for the photocatalytic performance.

categories: physics.chem-ph cond-mat.mtrl-sci physics.comp-ph quant-ph


title: Complete integrability of the Benjamin--Ono equation on the multi-soliton manifolds

abstract: This paper is dedicated to proving the complete integrability of the Benjamin--Ono (BO) equation on the line when restricted to every $N$-soliton manifold, denoted by $\mathcal{U}_N$. We construct generalized action--angle coordinates which establish a real analytic symplectomorphism from $\mathcal{U}_N$ onto some open convex subset of $\mathbb{R}^{2N}$ and allow to solve the equation by quadrature for any such initial datum. As a consequence, $\mathcal{U}_N$ is the universal covering of the manifold of $N$-gap potentials for the BO equation on the torus as described by G\'erard--Kappeler $[19]$. The global well-posedness of the BO equation in $\mathcal{U}_N$ is given by a polynomial characterization and a spectral characterization of the manifold $\mathcal{U}_N$. Besides the spectral analysis of the Lax operator of the BO equation and the shift semigroup acting on some Hardy spaces, the construction of such coordinates also relies on the use of a generating functional, which encodes the entire BO hierarchy.


title: The Impact of Smartphone Apps on Bike Sharing Systems

abstract: Bike-sharing systems are exploding in cities around the world as more people are adopting sustainable transportation solutions for their everyday commutes. However, as more people use the system, riders often encounter that bikes or docks might not be available when they arrive to a station. As a result, many systems like CitiBike and Divvy provide riders with information about the network via smartphone apps so that riders can find stations with available bikes. However, not all customers have adopted the use of these smartphone apps for their station selection. By combining customer choice modeling and finite capacity queueing models, we explore the impact of the smartphone app technology to increase throughput and reduce blocking in bike sharing systems. To this end, we prove a mean-field limit and a central limit theorem for an empirical process of the number of stations with $k$ bikes. We also prove limit theorems for a new process called the ratio process, which characterizes the proportion of stations whose bike availability ratio lies within a particular partition of the interval [0,1]. For the mean field limit, we prove that the equilibrium exists, is unique, and that the stationary distribution of the empirical measure converges to a Dirac mass at the same equilibrium, thus showing an interchange of limits result ($\lim_{t\rightarrow \infty}\lim_{N\rightarrow \infty}=\lim_{N\rightarrow \infty}\lim_{t\rightarrow \infty}$). Our limit theorems provide insight on the mean, variance, and sample path dynamics of large scale bike-sharing systems. Our results illustrate that if we increase the proportion of customers that use smartphone app information, the entropy of the bike sharing network is reduced, and riders experience less blocking in the network.


title: Adaptive Interaction Fusion Networks for Fake News Detection

abstract: The majority of existing methods for fake news detection universally focus on learning and fusing various features for detection. However, the learning of various features is independent, which leads to a lack of cross-interaction fusion between features on social media, especially between posts and comments. Generally, in fake news, there are emotional associations and semantic conflicts between posts and comments. How to represent and fuse the cross-interaction between both is a key challenge. In this paper, we propose Adaptive Interaction Fusion Networks (AIFN) to fulfill cross-interaction fusion among features for fake news detection. In AIFN, to discover semantic conflicts, we design gated adaptive interaction networks (GAIN) to capture adaptively similar semantics and conflicting semantics between posts and comments. To establish feature associations, we devise semantic-level fusion self-attention networks (SFSN) to enhance semantic correlations and fusion among features. Extensive experiments on two real-world datasets, i.e., RumourEval and PHEME, demonstrate that AIFN achieves the state-of-the-art performance and boosts accuracy by more than 2.05% and 1.90%, respectively.


title: Secure and Energy-Efficient Key-Agreement Protocol for Multi-Server Architecture

abstract: Authentication schemes are practised globally to verify the legitimacy of users and servers for the exchange of data in different facilities. Generally, the server verifies a user to provide resources for different purposes. But due to the large network system, the authentication process has become complex and therefore, time-to-time different authentication protocols have been proposed for the multi-server architecture. However, most of the protocols are vulnerable to various security attacks and their performance is not efficient. In this paper, we propose a secure and energy-efficient remote user authentication protocol for multi-server systems. The results show that the proposed protocol is comparatively ~44% more efficient and needs ~38% less communication cost. We also demonstrate that with only two-factor authentication, the proposed protocol is more secure from the earlier related authentication schemes.


title: HBN-encapsulated, graphene-based room-temperature terahertz receivers with high speed and low noise

abstract: Uncooled Terahertz (THz) photodetectors (PDs) showing fast (ps) response and high sensitivity (noise equivalent power (NEP) < $nWHz^{-1/2}$) over a broad (0.5THz-10THz) frequency range are needed for applications in high-resolution spectroscopy (relative accuracy ~ $10^{-11}$), metrology, quantum information, security, imaging, optical communications. However, present THz receivers cannot provide the required balance between sensitivity, speed, operation temperature and frequency range. Here, we demonstrate an uncooled THz PD combining the low (~2000 $k_{B}{\mu}m^{-2}$) electronic specific heat of high mobility (> 50000 $cm^{2}V^{-1}s^{-1}$) hBN-encapsulated graphene with the asymmetric field-enhancement produced by a bow-tie antenna resonating at 3 THz. This produces a strong photo-thermoelectric conversion, which simultaneously leads to a combination of high sensitivity (NEP $\leq$ 160 $pWHz^{-1/2}$), fast response time ($\leq 3.3 ns$) and a four orders of magnitude dynamic range, making our devices the fastest, broadband, low noise, room temperature THz PD to date.


title: On the commutants of generators of q-deformed Araki-Woods von Neumann algebras

abstract: The generating abelian subalgebras arsing from vectors in the ergodic component of Hiai's construction of the q-deformed Araki-Woods von Neumann algebras are quasi-split.


title: Generalization of the Conway-Gordon theorem and intrinsic linking on complete graphs

abstract: Conway and Gordon proved that for every spatial complete graph on six vertices, the sum of the linking numbers over all of the constituent two-component links is odd, and Kazakov and Korablev proved that for every spatial complete graph with arbitrary number of vertices greater than six, the sum of the linking numbers over all of the constituent two-component Hamiltonian links is even. In this paper, we show that for every spatial complete graph whose number of vertices is greater than six, the sum of the square of the linking numbers over all of the two-component Hamiltonian links is determined explicitly in terms of the sum over all of the triangle-triangle constituent links. As an application, we show that if the number of vertices is sufficiently large then every spatial complete graph contains a two-component Hamiltonian link whose absolute value of the linking number is arbitrary large. Some applications to rectilinear spatial complete graphs are also given.


title: Imperatives for Virtual Humans

abstract: Seemingly since the inception of virtual humans, there has been an effort to make their behaviors more natural and human-like. In additions to improving movement's visual quality, there has been considerable research focused on creating more intelligent virtual characters. This paper presents a framework inspired by natural language constructs that aims to author more reasonable virtual human behaviors using structured English input. We focus mainly on object types and properties, quantifiers, determiners, and spatial relations. The framework provides a natural, flexible authoring system for simulating human behaviors.


title: A Search for Gravitational Waves from Binary Mergers with a Single Observatory

abstract: We present a search for merging compact binary gravitational-wave sources that produce a signal appearing solely or primarily in a single detector. Past analyses have heavily relied on coincidence between multiple detectors to reduce non-astrophysical background. However, for $\sim40\%$ of the total time of the 2015-2017 LIGO-Virgo observing runs only a single detector was operating. We discuss the difficulties in assigning significance and calculating the probability of astrophysical origin for candidates observed primarily by a single detector, and suggest a straightforward resolution using a noise model designed to provide a conservative assessment given the observed data. We also describe a procedure to assess candidates observed in a single detector when multiple detectors are observing. We apply these methods to search for binary black hole (BBH) and binary neutron star (BNS) mergers in the open LIGO data spanning 2015-2017. The most promising candidate from our search is 170817+03:02:46UTC (probability of astrophysical origin $p_{\rm astro} \sim 0.4$): if astrophysical, this is consistent with a BBH merger with primary mass $67_{-15}^{+21}\,M_{\odot}$, suggestive of a hierarchical merger origin. We also apply our method to the analysis of GW190425 and find $p_{\rm astro} \sim 0.5$, though this value is highly dependent on assumptions about the noise and signal models.


title: Unsupervised Domain Adaptation through Inter-modal Rotation for RGB-D Object Recognition

abstract: Unsupervised Domain Adaptation (DA) exploits the supervision of a label-rich source dataset to make predictions on an unlabeled target dataset by aligning the two data distributions. In robotics, DA is used to take advantage of automatically generated synthetic data, that come with "free" annotation, to make effective predictions on real data. However, existing DA methods are not designed to cope with the multi-modal nature of RGB-D data, which are widely used in robotic vision. We propose a novel RGB-D DA method that reduces the synthetic-to-real domain shift by exploiting the inter-modal relation between the RGB and depth image. Our method consists of training a convolutional neural network to solve, in addition to the main recognition task, the pretext task of predicting the relative rotation between the RGB and depth image. To evaluate our method and encourage further research in this area, we define two benchmark datasets for object categorization and instance recognition. With extensive experiments, we show the benefits of leveraging the inter-modal relations for RGB-D DA.


title: Exploring EOSIO via Graph Characterization

abstract: Designed for commercial decentralized applications (DApps), EOSIO is a Delegated Proof-of-Stake (DPoS) based blockchain system. It has overcome some shortages of the traditional blockchain systems like Bitcoin and Ethereum with its outstanding features (e.g., free for usage, high throughput and eco-friendly), and thus becomes one of the mainstream blockchain systems. Though there exist billions of transactions in EOSIO, the ecosystem of EOSIO is still relatively unexplored. To fill this gap, we conduct a systematic graph analysis on the early EOSIO by investigating its four major activities, namely account creation, account vote, money transfer and contract authorization. We obtain some novel observations via graph metric analysis, and our results reveal some abnormal phenomenons like voting gangs and sham transactions.


title: Block Distributed Compressive Sensing Based Doubly Selective Channel Estimation and Pilot Design for Large-Scale MIMO Systems

abstract: The doubly selective (DS) channel estimation in the large-scale multiple-input multiple-output (MIMO) systems is a challenging problem due to the large number of the channel coefficients to be estimated, which requires unaffordable and prohibitive pilot overhead. In this paper, firstly we conduct the analysis about the common sparsity of the basis expansion model (BEM) coefficients among all the BEM orders and all the transmit-receive antenna pairs. Then a novel pilot pattern is proposed, which inserts the guard pilots to deal with the inter carrier interference (ICI) under the superimposed pilot pattern. Moreover, by exploiting the common sparsity of the BEM coefficients among different BEM orders and different antennas, we propose a block distributed compressive sensing (BDCS) based DS channel estimator for the large-scale MIMO systems. Its structured sparsity leads to the reduction of the pilot overhead under the premise of guaranteeing the accuracy of the estimation. Furthermore, taking consideration of the block structure, a pilot design algorithm referred to as block discrete stochastic optimization (BDSO) is proposed. It optimizes the pilot positions by reducing the coherence among different blocks of the measurement matrix. Besides, a linear smoothing method is extended to large-scale MIMO systems to improve the accuracy of the estimation. Simulation results verify the performance gains of our proposed estimator and the pilot design algorithm compared with the existing schemes.


title: Almost Optimal Model-Free Reinforcement Learning via Reference-Advantage Decomposition

abstract: We study the reinforcement learning problem in the setting of finite-horizon episodic Markov Decision Processes (MDPs) with $S$ states, $A$ actions, and episode length $H$. We propose a model-free algorithm UCB-Advantage and prove that it achieves $\tilde{O}(\sqrt{H^2SAT})$ regret where $T = KH$ and $K$ is the number of episodes to play. Our regret bound improves upon the results of [Jin et al., 2018] and matches the best known model-based algorithms as well as the information theoretic lower bound up to logarithmic factors. We also show that UCB-Advantage achieves low local switching cost and applies to concurrent reinforcement learning, improving upon the recent results of [Bai et al., 2019].


title: Data Poisoning Attacks on Federated Machine Learning

abstract: Federated machine learning which enables resource constrained node devices (e.g., mobile phones and IoT devices) to learn a shared model while keeping the training data local, can provide privacy, security and economic benefits by designing an effective communication protocol. However, the communication protocol amongst different nodes could be exploited by attackers to launch data poisoning attacks, which has been demonstrated as a big threat to most machine learning models. In this paper, we attempt to explore the vulnerability of federated machine learning. More specifically, we focus on attacking a federated multi-task learning framework, which is a federated learning framework via adopting a general multi-task learning framework to handle statistical challenges. We formulate the problem of computing optimal poisoning attacks on federated multi-task learning as a bilevel program that is adaptive to arbitrary choice of target nodes and source attacking nodes. Then we propose a novel systems-aware optimization method, ATTack on Federated Learning (AT2FL), which is efficiency to derive the implicit gradients for poisoned data, and further compute optimal attack strategies in the federated machine learning. Our work is an earlier study that considers issues of data poisoning attack for federated learning. To the end, experimental results on real-world datasets show that federated multi-task learning model is very sensitive to poisoning attacks, when the attackers either directly poison the target nodes or indirectly poison the related nodes by exploiting the communication protocol.


title: Mask R-CNN Based Object Detection for Intelligent Wireless Power Transfer

abstract: Resonant Beam Charging (RBC) is a promising multi-Watt and multi-meter wireless power transfer method with safety, mobility and simultaneously-charging capability. However, RBC system operation relies on information availability including power receiver location, class label and the receiver number. Since smartphone is the most widely-used mobile device, we propose a Mask R-CNN based smartphone detection model in the RBC system. Experiments illustrate that our model reduces the smartphone scanning time to one third. Thus, this machine learningdetectionapproachprovidesanintelligentwaytoimprove the user experience in wireless power transfer for mobile and Internet of Things (IoT) devices.


title: A semiclassical theory of the chemical potential for the Atomic Elements

abstract: The chemical potiential for the ground states of the atomic elements have been calculated within the semiclassical approximation The present work closely follows Schwinger and Englert's semiclassical treatment of atomic structure.


title: Securing Multi-User Broadcast Wiretap Channels with Finite CSI Feedback

abstract: In this work, we investigate the problem of secure broadcasting over block-fading wiretap channels with limited channel knowledge at the transmitter. More particularly, we analyze the effect of having a finite rate feedback on the throughput of multi-user broadcast wiretap channels. We consider that the transmitter is only provided by a $b$-bits feedback of the main channel state information (CSI) sent by each legitimate receiver, at the beginning of each fading block, over error-free public links with limited capacity. Also, we assume that the transmitter is aware of the statistics of the eavesdropper's CSI but not of its channel's realizations. Under these assumptions of CSI uncertainty, we characterize the ergodic secrecy capacity of the system when a common message is broadcasted to all legitimate receivers, the ergodic secrecy sum-capacity when multiple independent messages are transmitted, and the ergodic secrecy capacity region for the broadcast channel with confidential messages (BCCM). In all three scenarios, we show that as long as the transmitter has some knowledge of the main CSI, obtained even through a 1-bit CSI feedback, a non-zero secrecy rate can still be achieved. The impact of having the feedback sent over a binary erasure channel (BEC) is also investigated for the BCCM case. Here again, and even with the possibility of having the feedback bits erased, a positive secrecy rate can still be achieved as long as the erasure event is not a probability-one event. An asymptotic analysis of the obtained results is provided for the high SNR regime, and the scaling law of the system, when the number of legitimate receivers is large, is also presented.


title: Example-Guided Image Synthesis across Arbitrary Scenes using Masked Spatial-Channel Attention and Self-Supervision

abstract: Example-guided image synthesis has recently been attempted to synthesize an image from a semantic label map and an exemplary image. In the task, the additional exemplar image provides the style guidance that controls the appearance of the synthesized output. Despite the controllability advantage, the existing models are designed on datasets with specific and roughly aligned objects. In this paper, we tackle a more challenging and general task, where the exemplar is an arbitrary scene image that is semantically different from the given label map. To this end, we first propose a Masked Spatial-Channel Attention (MSCA) module which models the correspondence between two arbitrary scenes via efficient decoupled attention. Next, we propose an end-to-end network for joint global and local feature alignment and synthesis. Finally, we propose a novel self-supervision task to enable training. Experiments on the large-scale and more diverse COCO-stuff dataset show significant improvements over the existing methods. Moreover, our approach provides interpretability and can be readily extended to other content manipulation tasks including style and spatial interpolation or extrapolation.


title: Dark Energy, Dark Matter and Baryogenesis from a Model of a Complex Axion Field

abstract: We introduce and study a model designed to simultaneously shed light on the mysteries connected with Baryogenesis, Dark Matter and Dark Energy. The model describes a self-interacting complex axion field whose imaginary part, a pseudo-scalar axion, couples to the instanton density of gauge fields including the hypermagnetic field. This coupling may give rise to baryogenesis in the early universe. After tracing out the gauge and matter degrees of freedom, a non-trivial effective potential for the angular component of the axion field is obtained. It is proposed that oscillations of this component around a minimum of its effective potential can be interpreted as Dark Matter. The absolute value of the axion field rolls slowly towards $0$. At late times, it can give rise to Dark Energy.


title: ExerSense: Real-Tme Physical Exercise Segmentation, Classification, and Counting Algorithm Using an IMU Sensor

abstract: Even though it is well known that physical exercises have numerous emotional and physical health benefits, maintaining a regular exercise routine is quite challenging. Fortunately, there exist technologies that promote physical activity. Nonetheless, almost all of these technologies only target a narrow set of physical activities (e.g., either running or walking but not both) and are only applicable either in indoor or in outdoor environments, but do not work well in both environments. This paper introduces a real-time segmentation and classification algorithm that recognizes physical exercises and that works well in both indoor and outdoor environments. The proposed algorithm achieves a 95\% classification accuracy for five indoor and outdoor exercises, including segmentation error. This accuracy is similar or better than previous works that handled only indoor workouts and those use a vision-based approach. Moreover, while comparable machine learning-based approaches need a lot of training data, the proposed correlation-based method needs one sample of motion data of each target exercises.


title: Reconstruction in an imaging calorimeter for HL-LHC

abstract: The CMS endcap calorimeter upgrade for the High Luminosity LHC in 2027 uses silicon sensors to achieve radiation tolerance, with the further benefit of a very high readout granularity. Small scintillator tiles with individual SiPM readout are used in regions permitted by the radiation levels. A reconstruction framework is being developed to fully exploit the granularity and other significant features of the detector like precision timing, especially in the high pileup environment of HL-LHC. An iterative clustering framework (TICL) has been put in place, and is being actively developed. The framework takes as input the clusters of energy deposited in individual calorimeter layers delivered by the CLUE algorithm, which has recently been revised and tuned. Mindful of the projected extreme pressure on computing capacity in the HL-LHC era, the algorithms are being designed with modern parallel architectures in mind. Important speedup has recently been obtained for the clustering algorithm by running it on GPUs. Machine learning techniques are being developed and integrated into the reconstruction framework. This paper will describe the approaches being considered and show first results.


title: Phase coherence and phase jumps in the Schwabe cycle

abstract: Guided by the working hypothesis that the Schwabe cycle of solar activity is synchronized by the 11.07 years alignment cycle of the tidally dominant planets Venus, Earth and Jupiter, we reconsider the phase diagrams of sediment accumulation rates in Lake Holzmaar, and of methanesulfonate (MSA) data in the Greenland ice core GISP2, which are available for the period 10000-9000 cal. BP. Since some half-cycle phase jumps appearing in the output signals are, very likely, artifacts of applying a biologically substantiated transfer function, the underlying solar input signal with a dominant 11.04 years periodicity can be considered as mainly phase-coherent over the 1000 years period in the early Holocene. For more recent times, we show that the re-introduction of a hypothesized "lost cycle" at the beginning of the Dalton minimum would lead to a real phase jump. Similarly, by analyzing various series of $^{14}$C and $^{10}$Be data and comparing them with Schove's historical cycle maxima, we support the existence of another "lost cycle" around 1565, also connected with a real phase jump. Viewed synoptically, our results lend greater plausibility to the starting hypothesis of a tidally synchronized solar cycle, which at times can undergo phase jumps, although the competing explanation in terms of a non-linear solar dynamo with increased coherence cannot be completely ruled out.


title: A survey on sufficient optimality conditions for delayed optimal control problems

abstract: The aim of this work is to make a survey on recent sufficient optimality conditions for optimal control problems with time delays in both state and control variables. The results are obtained by transforming delayed optimal control problems into equivalent non-delayed problems. Such approach allows to use standard theorems that ensure sufficient optimality conditions for non-delayed optimal control problems. Examples are given with the purpose to illustrate the results.


title: Characterizing Boundedness in Chase Variants

abstract: Existential rules are a positive fragment of first-order logic that generalizes function-free Horn rules by allowing existentially quantified variables in rule heads. This family of languages has recently attracted significant interest in the context of ontology-mediated query answering. Forward chaining, also known as the chase, is a fundamental tool for computing universal models of knowledge bases, which consist of existential rules and facts. Several chase variants have been defined, which differ on the way they handle redundancies. A set of existential rules is bounded if it ensures the existence of a bound on the depth of the chase, independently from any set of facts. Deciding if a set of rules is bounded is an undecidable problem for all chase variants. Nevertheless, when computing universal models, knowing that a set of rules is bounded for some chase variant does not help much in practice if the bound remains unknown or even very large. Hence, we investigate the decidability of the k-boundedness problem, which asks whether the depth of the chase for a given set of rules is bounded by an integer k. We identify a general property which, when satisfied by a chase variant, leads to the decidability of k-boundedness. We then show that the main chase variants satisfy this property, namely the oblivious, semi-oblivious (aka Skolem), and restricted chase, as well as their breadth-first versions. This paper is under consideration for publication in Theory and Practice of Logic Programming.


title: Magnetized particle motion around 4-D Einstein-Gauss-Bonnet Black Hole

abstract: In this paper, we have investigated the dynamics of magnetized particles around 4-D Einstein-Gauss-Bonnet black hole immersed in an external asymptotically uniform magnetic field. We have shown that the magnetic interaction parameter responsible for circular orbits decreases for negative values of the Gauss-Bonnet parameter $\alpha$ and the range where magnetized particle's stable circular orbits are allowed increases for the positive values of the parameter $\alpha$. The study of the collisions of magnetized, charged and neutral particles has shown that the center-of-mass energy of the particles increases in the presence of positive Gauss-Bonnet parameter. Finally, we show how the magnetic interaction and Gauss-Bonnet parameter may mimic the effect of rotation of the Kerr black hole giving the same ISCO radius for magnetized particles. Detailed analysis of the ISCO show that spin of Kerr black hole can not be mimicked by the effects of magnetic interaction and the Gauss-Bonnet parameters when $\alpha<-4.37$ and the spin parameter $a > 0.237$.


title: The high-energy emission from HD~93129A near periastron

abstract: We conducted an observational campaign towards one of the most massive and luminous colliding wind binaries in the Galaxy, HD~93129A, close to its periastron passage in 2018. During this time the source was predicted to be in its maximum of high-energy emission. Here we present our data analysis from the X-ray satellites \textit{Chandra} and \textit{NuSTAR} and the $\gamma$-ray satellite \textit{AGILE}. High-energy emission coincident with HD~93129A was detected in the X-ray band up to $\sim$18~keV, whereas in the $\gamma$-ray band only upper limits were obtained. We interpret the derived fluxes using a non-thermal radiative model for the wind-collision region. We establish a conservative upper limit for the fraction of the wind kinetic power that is converted into relativistic electron acceleration, $f_\mathrm{NT,e} < 0.02$. In addition, we set a lower limit for the magnetic field in the wind-collision region as $B_\mathrm{WCR} > 0.3$~G. We also argue a putative interpretation of the emission from which we estimate $f_\mathrm{NT,e} \approx 0.006$ and $B_\mathrm{WCR} \approx 0.5$~G. We conclude that multi-wavelength, dedicated observing campaigns during carefully selected epochs are a powerful tool for characterising the relativistic particle content and magnetic field intensity in colliding wind binaries.


title: On the Relevance of Wait-free Coordination Algorithms in Shared-Memory HPC:The Global Virtual Time Case

abstract: High-performance computing on shared-memory/multi-core architectures could suffer from non-negligible performance bottlenecks due to coordination algorithms, which are nevertheless necessary to ensure the overall correctness and/or to support the execution of housekeeping operations, e.g. to recover computing resources (e.g., memory). Although more complex in design/development, a paradigm switch from classical coordination algorithms to wait-free ones could significantly boost the performance of HPC applications. In this paper we explore the relevance of this paradigm shift in shared-memory architectures, by focusing on the context of Parallel Discrete Event Simulation, where the Global Virtual Time (GVT) represents a fundamental coordination algorithm. It allows to compute the lower bound on the value of the logical time passed through by all the entities participating in a parallel/distributed computation. Hence it can be used to discriminate what events belong to the past history of the computation---thus being considered as committed---and allowing for memory recovery (e.g. of obsolete logs that were taken in order to support state recoverability) and non-revokable operations (e.g. I/O). We compare the reference (blocking) algorithm for shared memory, the one proposed by by Fujimoto and Hybinette \cite{Fuj97}, with an innovative wait-free implementation, emphasizing on what design choices must be made to enforce this paradigm shift, and what are the performance implications of removing critical sections in coordination algorithms.


title: Solution-processed GaSe nanoflake-based films for photoelectrochemical water splitting and photoelectrochemical-type photodetectors

abstract: Gallium selenide (GaSe) is a layered compound, which has been exploited in nonlinear optical applications and photodetectors due to its anisotropic structure and pseudo-direct optical gap. Theoretical studies predicted that its two-dimensional (2D) form is a potential photocatalyst for water splitting reactions. Herein, we first report the photoelectrochemical (PEC) characterization of GaSe nanoflakes (single-/few-layer flakes), produced via liquid phase exfoliation, for hydrogen evolution reaction (HER) and oxygen evolution reaction (OER) in both acidic and alkaline media. In 0.5 M H2SO4, the GaSe photoelectrodes display the best PEC performance, i.e. a ratiometric power-saved metric for HER ({\Phi}saved,HER) of 0.09% and a ratiometric power-saved metric for OER ({\Phi}saved,OER) of 0.25%. When used as PEC-type photodetectors, GaSe photoelectrodes show a responsivity of ~0.16 A W-1 upon 455 nm illumination at light intensity of 63.5 uW cm-2 and applied potential of -0.3 V vs. reversible hydrogen electrode (RHE). The stability analysis of the GaSe photodetectors evidences a durable operation over tens of cathodic linear sweep voltammetry scans in 0.5 M H2SO4 for HER. Viceversa, degradation effects have been observed in both alkaline and anodic operation due to highly oxidizing environment and O2-induced (photo-)oxidation effects. Our results provide new insight into PEC properties of GaSe nanoflakes for their exploitation in photoelectrocatalysis, PEC-type photodetectors and (bio)sensors.


title: Leveraging Cognitive Search Patterns to Enhance Automated Natural Language Retrieval Performance

abstract: The search of information in large text repositories has been plagued by the so-called document-query vocabulary gap, i.e. the semantic discordance between the contents in the stored document entities on the one hand and the human query on the other hand. Over the past two decades, a significant body of works has advanced technical retrieval prowess while several studies have shed light on issues pertaining to human search behavior. We believe that these efforts should be conjoined, in the sense that automated retrieval systems have to fully emulate human search behavior and thus consider the procedure according to which users incrementally enhance their initial query. To this end, cognitive reformulation patterns that mimic user search behaviour are highlighted and enhancement terms which are statistically collocated with or lexical-semantically related to the original terms adopted in the retrieval process. We formalize the application of these patterns by considering a query conceptual representation and introducing a set of operations allowing to operate modifications on the initial query. A genetic algorithm-based weighting process allows placing emphasis on terms according to their conceptual role-type. An experimental evaluation on real-world datasets against relevance, language, conceptual and knowledge-based models is conducted. We also show, when compared to language and relevance models, a better performance in terms of mean average precision than a word embedding-based model instantiation.


title: Constraint on Vector Coherent Oscillation Dark Matter with Kinetic Function

abstract: A spatially uniform vector condensate can be formed during inflation if the vector boson is coupled to the inflaton through nontrivial kinetic function. The coherent oscillation of such a massive vector boson is a dark matter candidate. In this paper we consider the case where the vector boson energy density increases during inflation and show that the curvature/isocurvature perturbation gives stringent constraint on this scenario.


title: LineaRE: Simple but Powerful Knowledge Graph Embedding for Link Prediction

abstract: The task of link prediction for knowledge graphs is to predict missing relationships between entities. Knowledge graph embedding, which aims to represent entities and relations of a knowledge graph as low dimensional vectors in a continuous vector space, has achieved promising predictive performance. If an embedding model can cover different types of connectivity patterns and mapping properties of relations as many as possible, it will potentially bring more benefits for link prediction tasks. In this paper, we propose a novel embedding model, namely LineaRE, which is capable of modeling four connectivity patterns (i.e., symmetry, antisymmetry, inversion, and composition) and four mapping properties (i.e., one-to-one, one-to-many, many-to-one, and many-to-many) of relations. Specifically, we regard knowledge graph embedding as a simple linear regression task, where a relation is modeled as a linear function of two low-dimensional vector-presented entities with two weight vectors and a bias vector. Since the vectors are defined in a real number space and the scoring function of the model is linear, our model is simple and scalable to large knowledge graphs. Experimental results on multiple widely used real-world datasets show that the proposed LineaRE model significantly outperforms existing state-of-the-art models for link prediction tasks.


title: On the spectral gap and the diameter of Cayley graphs

abstract: We obtain a new bound connecting the first non--trivial eigenvalue of the Laplace operator of a graph and the diameter of the graph, which is effective for graphs with small diameter or for graphs, having the number of maximal paths comparable to the expectation.


title: Geometric Deviation From L\'evy's Occupation Time Arcsine Law

abstract: We prove a geometric extension of L\'evy's occupation time arcsine law near a hypersurface on a Riemannian manifold. The deviation from the classic arcsine law is of the order of the square-root of the time horizon and is expressed explicitly in terms of the mean curvature of the hypersurface and the local time of the underlying standard Brownian motion.


title: Multidimensional Iterative Filtering: a new approach for investigating plasma turbulence in numerical simulations

abstract: Turbulent space and astrophysical plasmas exhibit a complex dynamics, which involves nonlinear coupling across different temporal and spatial scales. There is growing evidence that impulsive events, such as magnetic reconnection instabilities, lead to a spatially localized enhancement of energy dissipation, thus speeding up the energy transfer at small scales. Capturing such a diverse dynamics is challenging. Here, we employ the Multidimensional Iterative Filtering (MIF) method, a novel technique for the analysis of nonstationary multidimensional signals. Unlike other traditional methods (e.g., based on Fourier or wavelet decomposition), MIF does not require any previous assumption on the functional form of the signal to be identified. Using MIF, we carry out a multiscale analysis of Hall-magnetohydrodynamic (HMHD) and hybrid particle-in-cell (HPIC) numerical simulations of decaying plasma turbulence. The results assess the ability of MIF to spatially identify and separate the different scales (the MHD inertial range, the sub-ion kinetic, and the dissipation scales) of the plasma dynamics. Furthermore, MIF decomposition allows to detect localized current structures and to characterize their contribution to the statistical and spectral properties of turbulence. Overall, MIF arises as a very promising technique for the study of turbulent plasma environments.


title: The effect of the early kinetic decoupling in a fermionic dark matter model

abstract: We study the effect of the early kinetic decoupling in a model of fermionic dark matter (DM) that interacts with the standard model particles only by exchanging the Higgs boson. There are two DM-Higgs couplings, namely CP-conserving and CP-violating couplings. If the mass of the DM is slightly below half of the Higgs boson mass, then the couplings are suppressed to obtain the measured value of the DM energy density by the freeze-out mechanism. In addition, the scattering processes of DM off particles in the thermal bath are suppressed by the small momentum transfer if the CP-violating DM-Higgs coupling is larger than the CP-conserving one. Due to the suppression, the temperature of the DM can differ from the temperature of the thermal bath. By solving coupled equations for the number density and temperature of the DM, we calculate the DM-Higgs couplings that reproduce the right amount of the DM relic abundance. We find that the couplings have to be larger than the one obtained without taking into account the difference in the temperatures. A consequence of the enhancement of the DM-Higgs couplings is the enhancement of the Higgs invisible decay branching ratio. The enhancement is testable at current and future collider experiments.


title: A Novel Graphic Bending Transformation on Benchmark

abstract: Classical benchmark problems utilize multiple transformation techniques to increase optimization difficulty, e.g., shift for anti centering effect and rotation for anti dimension sensitivity. Despite testing the transformation invariance, however, such operations do not really change the landscape's "shape", but rather than change the "view point". For instance, after rotated, ill conditional problems are turned around in terms of orientation but still keep proportional components, which, to some extent, does not create much obstacle in optimization. In this paper, inspired from image processing, we investigate a novel graphic conformal mapping transformation on benchmark problems to deform the function shape. The bending operation does not alter the function basic properties, e.g., a unimodal function can almost maintain its unimodality after bent, but can modify the shape of interested area in the search space. Experiments indicate the same optimizer spends more search budget and encounter more failures on the conformal bent functions than the rotated version. Several parameters of the proposed function are also analyzed to reveal performance sensitivity of the evolutionary algorithms.


title: Towards Analysis-friendly Face Representation with Scalable Feature and Texture Compression

abstract: It plays a fundamental role to compactly represent the visual information towards the optimization of the ultimate utility in myriad visual data centered applications. With numerous approaches proposed to efficiently compress the texture and visual features serving human visual perception and machine intelligence respectively, much less work has been dedicated to studying the interactions between them. Here we investigate the integration of feature and texture compression, and show that a universal and collaborative visual information representation can be achieved in a hierarchical way. In particular, we study the feature and texture compression in a scalable coding framework, where the base layer serves as the deep learning feature and enhancement layer targets to perfectly reconstruct the texture. Based on the strong generative capability of deep neural networks, the gap between the base feature layer and enhancement layer is further filled with the feature level texture reconstruction, aiming to further construct texture representation from feature. As such, the residuals between the original and reconstructed texture could be further conveyed in the enhancement layer. To improve the efficiency of the proposed framework, the base layer neural network is trained in a multi-task manner such that the learned features enjoy both high quality reconstruction and high accuracy analysis. We further demonstrate the framework and optimization strategies in face image compression, and promising coding performance has been achieved in terms of both rate-fidelity and rate-accuracy.


title: PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization

abstract: Achieving peak performance in a computer system requires optimizations in every layer of the system, be it hardware or software. A detailed understanding of the underlying hardware, and especially the processor, is crucial to optimize software. One key criterion for the performance of a processor is its ability to exploit instruction-level parallelism. This ability is determined by the port mapping of the processor, which describes the execution units of the processor for each instruction. Processor manufacturers usually do not share the port mappings of their microarchitectures. While approaches to automatically infer port mappings from experiments exist, they are based on processor-specific hardware performance counters that are not available on every platform. We present PMEvo, a framework to automatically infer port mappings solely based on the measurement of the execution time of short instruction sequences. PMEvo uses an evolutionary algorithm that evaluates the fitness of candidate mappings with an analytical throughput model formulated as a linear program. Our prototype implementation infers a port mapping for Intel's Skylake architecture that predicts measured instruction throughput with an accuracy that is competitive to existing work. Furthermore, it finds port mappings for AMD's Zen+ architecture and the ARM Cortex-A72 architecture, which are out of scope of existing techniques.


title: Dynamics of a droplet driven by an internal active device

abstract: A liquid droplet, immersed into a Newtonian fluid, can be propelled solely by internal flow. In a simple model, this flow is generated by a collection of point forces, which represent externally actuated devices or model autonomous swimmers. We work out the general framework to compute the self-propulsion of the droplet as a function of the actuating forces and their positions within the droplet. A single point force, F with general orientation and position, r_0, gives rise to both, translational and rotational motion of the droplet. We show that the translational mobility is anisotropic and the rotational mobility can be nonmonotonic as a function of | r_0|, depending on the viscosity contrast. Due to the linearity of the Stokes equation, superposition can be used to discuss more complex arrays of point forces. We analyse force dipoles, such as a stresslet, a simple model of a biflagellate swimmer and a rotlet, representing a helical swimmer, driven by an external magnetic field. For a general force distribution with arbitrary high multipole moments the propulsion properties of the droplet depend only on a few low order multipoles: up to the quadrupole for translational and up to a special octopole for rotational motion. The coupled motion of droplet and device is discussed for a few exemplary cases. We show in particular that a biflagellate swimmer, modeled as a stresslet, achieves a steady comoving state, where the position of the device relative to the droplet remains fixed. In fact there are two fixpoints, symmetric with respect to the center of the droplet. A tiny external force selects one of them and allows to switch between forward and backward motion.


title: Web-Schr\"odinger: Program for the interactive solution of the time dependent and stationary two dimensional (2D) Schr{\"o}dinger equation

abstract: Web-Schr{\"o}dinger is an interactive client-server software for the solution of the time-dependent and time-independent (stationary) Schr{\"o}dinger equation. The program itself runs on a server computer and can be used through the Internet with a simple Web browser. Nothing is installed on the user's computer. The user can load, run, and modify ready-made example files, or prepare her/his own configuration(s), which can be saved on her/his own computer for later use. Several users can access the program parallelly and each can have independent sessions. Typical run times are in the second, or minute range.


title: Finite groups with an affine map of large order

abstract: Let $G$ be a group. A function $G\rightarrow G$ of the form $x\mapsto x^{\alpha}g$ for a fixed automorphism $\alpha$ of $G$ and a fixed $g\in G$ is called an affine map of $G$. In this paper, we study finite groups $G$ with an affine map of large order. More precisely, we show that if $G$ admits an affine map of order larger than $\frac{1}{2}|G|$, then $G$ is solvable of derived length at most $3$. We also show that more generally, for each $\rho\in\left(0,1\right]$, if $G$ admits an affine map of order at least $\rho|G|$, then the largest solvable normal subgroup of $G$ has derived length at most $4\lfloor\log_2(\rho^{-1})\rfloor+3$.


title: Devolutionary genetic algorithms with application to the minimum labeling Steiner tree problem

abstract: This paper characterizes and discusses devolutionary genetic algorithms and evaluates their performances in solving the minimum labeling Steiner tree (MLST) problem. We define devolutionary algorithms as the process of reaching a feasible solution by devolving a population of super-optimal unfeasible solutions over time. We claim that distinguishing them from the widely used evolutionary algorithms is relevant. The most important distinction lies in the fact that in the former type of processes, the value function decreases over successive generation of solutions, thus providing a natural stopping condition for the computation process. We show how classical evolutionary concepts, such as crossing, mutation and fitness can be adapted to aim at reaching an optimal or close-to-optimal solution among the first generations of feasible solutions. We additionally introduce a novel integer linear programming formulation of the MLST problem and a valid constraint used for speeding up the devolutionary process. Finally, we conduct an experiment comparing the performances of devolutionary algorithms to those of state of the art approaches used for solving randomly generated instances of the MLST problem. Results of this experiment support the use of devolutionary algorithms for the MLST problem and their development for other NP-hard combinatorial optimization problems.


title: Learning Self-Awareness for Autonomous Vehicles: Exploring Multisensory Incremental Models

abstract: The technology for autonomous vehicles is close to replacing human drivers by artificial systems endowed with high-level decision-making capabilities. In this regard, systems must learn about the usual vehicle's behavior to predict imminent difficulties before they happen. An autonomous agent should be capable of continuously interacting with multi-modal dynamic environments while learning unseen novel concepts. Such environments are not often available to train the agent on it, so the agent should have an understanding of its own capacities and limitations. This understanding is usually called self-awareness. This paper proposes a multi-modal self-awareness modeling of signals coming from different sources. This paper shows how different machine learning techniques can be used under a generic framework to learn single modality models by using Dynamic Bayesian Networks. In the presented case, a probabilistic switching model and a bank of generative adversarial networks are employed to model a vehicle's positional and visual information respectively. Our results include experiments performed on a real vehicle, highlighting the potentiality of the proposed approach at detecting abnormalities in real scenarios.


title: Dynamic Pricing and Mean Field Analysis for Controlling Age of Information

abstract: Today many mobile users in various zones are invited to sense and send back real-time useful information (e.g., traffic observation and sensor data) to keep the freshness of the content updates in such zones. However, due to the sampling cost in sensing and transmission, a user may not have the incentive to contribute the real-time information to help reduce the age of information (AoI). We propose dynamic pricing for each zone to offer age-dependent monetary returns and encourage users to sample information at different rates over time. This dynamic pricing design problem needs to well balance the monetary payments as rewards to users and the AoI evolution over time, and is challenging to solve especially under the incomplete information about users' arrivals and their private sampling costs. After formulating the problem as a nonlinear constrained dynamic program, to avoid the curse of dimensionality, we first propose to approximate the dynamic AoI reduction as a time-average term and successfully solve the approximate dynamic pricing in closed-form. Further, by providing the steady-state analysis for an infinite time horizon, we show that the pricing scheme (though in closed-form) can be further simplified to an $\varepsilon$-optimal version without recursive computing over time. Finally, we extend the AoI control from a single zone to many zones with heterogeneous user arrival rates and initial ages, where each zone cares not only its own AoI dynamics but also the average AoI of all the zones in a mean field game system to provide a holistic service. Accordingly, we propose decentralized mean field pricing for each zone to self-operate by using a mean field term to estimate the average age dynamics of all the zones, which does not even require many zones to exchange their local data with each other.


title: Learning Relation Ties with a Force-Directed Graph in Distant Supervised Relation Extraction

abstract: Relation ties, defined as the correlation and mutual exclusion between different relations, are critical for distant supervised relation extraction. Existing approaches model this property by greedily learning local dependencies. However, they are essentially limited by failing to capture the global topology structure of relation ties. As a result, they may easily fall into a locally optimal solution. To solve this problem, in this paper, we propose a novel force-directed graph based relation extraction model to comprehensively learn relation ties. Specifically, we first build a graph according to the global co-occurrence of relations. Then, we borrow the idea of Coulomb's Law from physics and introduce the concept of attractive force and repulsive force to this graph to learn correlation and mutual exclusion between relations. Finally, the obtained relation representations are applied as an inter-dependent relation classifier. Experimental results on a large scale benchmark dataset demonstrate that our model is capable of modeling global relation ties and significantly outperforms other baselines. Furthermore, the proposed force-directed graph can be used as a module to augment existing relation extraction systems and improve their performance.


title: Properties of magnetized neutral pions at zero and finite temperature in nonlocal chiral quark models

abstract: The behavior of $\pi^0$ meson properties in the presence of a uniform external magnetic field is studied in the context of a nonlocal extension of the Polyakov-Nambu-Jona-Lasinio model. The analysis includes the $\pi^0$ mass, the effective $\pi^0$-quark coupling and the pion-to-vacuum hadronic form factors, both at zero and finite temperature. Numerical results are compared with previous calculations carried out within the local NJL model, when available. The validity of chiral relations and the features of deconfinement and chiral symmetry restoration transitions are discussed.


title: Load on the Typical Poisson Voronoi Cell with Clustered User Distribution

abstract: In this letter, we characterize the distribution of the number of users associated with the typical base station (BS), termed the typical cell load, in a cellular network where the BSs are distributed as a homogeneous Poisson point process (PPP) and the users are distributed as an independent Poisson cluster process (PCP). In this setting, we derive the exact expressions for the first two moments of the typical cell load. Given the computational complexity of evaluating the higher moments, we derive easy-to-use approximations for the probability generating function (PGF) of the typical cell load, which can be inverted to obtain the probability mass function (PMF).


title: $\mathbb Q$-curves over odd degree number fields

abstract: By reformulating and extending results of Elkies, we prove some results on $\mathbb Q$-curves over number fields of odd degree. We show that, over such fields, the only prime isogeny degrees~$\ell$ which an elliptic curve without CM may have are those degrees which are already possible over~$\mathbb Q$ itself (in particular, $\ell\le37$), and we show the existence of a bound on the degrees of cyclic isogenies between $\mathbb Q$-curves depending only on the degree of the field. We also prove that the only possible torsion groups of $\mathbb Q$-curves over number fields of degree not divisible by a prime $\ell\leq 7$ are the $15$ groups that appear as torsion groups of elliptic curves over $\mathbb Q$. Complementing these theoretical results we give an algorithm for establishing whether any given elliptic curve $E$ is a $\mathbb Q$-curve, which involves working only over $\mathbb Q(j(E))$.


title: Derived gluing construction of chiral algebras

abstract: We discuss the gluing construction of class $\mathcal{S}$ chiral algebras in derived setting. The gluing construction in non-derived setting was introduced by Arakawa to construct a family of vertex algebras of which the associated varieties give genus zero Moore-Tachikawa symplectic varieties. Motivated by the higher genus case, we introduce a dg vertex algebra version $\mathsf{MT}_{\mathrm{ch}}$ of the category of Moore-Tachikawa symplectic varieties, where a morphism is given by a dg vertex algebra equipped with action of the universal affine vertex algebra, and composition of morphisms is given by the BRST reduction. We also show that the procedure taking the associated scheme of gives a functor from $\mathsf{MT}_{\mathrm{ch}}$ to the category $\mathsf{MT}$ of derived Moore-Tachikawa varieties, which would imply compatibility of gluing constructions in both categories.


title: Solar neutrinos as indicators of the Sun's activity

abstract: Opportunity of the solar flares (SF's) prediction observing the solar neutrino fluxes is investigated. In three neutrino generations the evolution of the neutrino flux traveling the coupled sunspots (CS's) which are the SF source is considered. It is assumed that the neutrinos possess both the dipole magnetic moment and the anapole moment while the magnetic field above the CS's may reach the values $10^5-10^6$ Gs, displays the twisting nature and has the nonpotential character. The possible resonance conversions of the solar neutrino flux are examined. Since the $\nu_{eL}\to \nu_{\mu L}$ resonance takes place before the convective zone, its existence can in no way be connected with the SF. However, when the solar neutrino flux moves through the CS's in the preflare period, then it may undergo the additional resonance conversions and, as a result, depleting the electron neutrinos flux may be observed.


title: CommUnet: U-net decoder for convolutional codes in communication

abstract: In recent years, deep neural networks have played a major role solving various challenges in two dimensional image processing.Fully Convolutional Networks (FCN) such as U-net have been shown to be highly successful at segmentation tasks for medical images analysis and denoising images taken in dark venues. This paper harnesses this well-known deep neural network for the channel decoding challenge recently proven to be suitable for deep neural networks.Previous work have successfully managed to decode convolutional codes using different architectures,such as Recurrent Neural Networks(RNN) and Fully Connected Neural Networks(FCNN) with promising results.However,these approaches are extremely costly in latency,computational resources and memory.This paper shows that taking the approach used in two dimensional image processing,by simple manipulation on the data in the preprocessing phase,achieves better results in a Bit Error Rate(BER) measurement with a large discount on the latency and the number of parameters required to maintain the neural decoder.


title: Analysis of the spectral symbol associated to discretization schemes of linear self-adjoint differential operators

abstract: Given a linear self-adjoint differential operator $\mathcal{L}$ along with a discretization scheme (like Finite Differences, Finite Elements, Galerkin Isogeometric Analysis, etc.), in many numerical applications it is crucial to understand how good the (relative) approximation of the whole spectrum of the discretized operator $\mathcal{L}^{(\mathbf{n})}$ is, compared to the spectrum of the continuous operator $\mathcal{L}$. The theory of Generalized Locally Toeplitz sequences allows to compute the spectral symbol function $\omega$ associated to the discrete matrix $\mathcal{L}^{(\mathbf{n})}$. We prove that the symbol $\omega$ can measure, asymptotically, the maximum spectral relative error $\mathcal{E}\geq 0$. It measures how the scheme is far from a good relative approximation of the whole spectrum of $\mathcal{L}$, and it suggests a suitable (possibly non-uniform) grid such that, if coupled to an increasing refinement of the order of accuracy of the scheme, guarantees $\mathcal{E}=0$.


title: Almost exact energies for the Gaussian-2 set with the semistochastic heat-bath configuration interaction method

abstract: The recently developed semistochastic heat-bath configuration interaction (SHCI) method is a systematically improvable selected configuration interaction plus perturbation theory method capable of giving essentially exact energies for larger systems than is possible with other such methods. We compute SHCI atomization energies for 55 molecules which have been used as a test set in prior studies because their atomization energies are known from experiment. Basis sets from cc-pVDZ to cc-pV5Z are used, totaling up to 500 orbitals and a Hilbert space of $10^{32}$ Slater determinants for the largest molecules. For each basis, an extrapolated energy well within chemical accuracy (1 kcal/mol or 1.6 mHa/mol) of the exact energy for that basis is computed using only a tiny fraction of the entire Hilbert space. We also use our almost exact energies to benchmark coupled-cluster [CCSD(T)] energies. The energies are extrapolated to the complete basis set limit and compared to the experimental atomization energies. The extrapolations are done both without and with a basis-set correction based on density-functional theory. The mean absolute deviations from experiment for these extrapolations are 0.46 kcal/mol and 0.51 kcal/mol, respectively. Orbital optimization methods used to obtain improved convergence of the SHCI energies are also discussed.


title: On the uncertainty of real-time predictions of epidemic growths: a COVID-19 case study for China and Italy

abstract: While COVID-19 is rapidly propagating around the globe, the need for providing real-time forecasts of the epidemics pushes fits of dynamical and statistical models to available data beyond their capabilities. Here we focus on statistical predictions of COVID-19 infections performed by fitting asymptotic distributions to actual data. By taking as a case-study the epidemic evolution of total COVID-19 infections in Chinese provinces and Italian regions, we find that predictions are characterized by large uncertainties at the early stages of the epidemic growth. Those uncertainties significantly reduce after the epidemics peak is reached. Differences in the uncertainty of the forecasts at a regional level can be used to highlight the delay in the spread of the virus. Our results warn that long term extrapolation of epidemics counts must be handled with extreme care as they crucially depend not only on the quality of data, but also on the stage of the epidemics, due to the intrinsically non-linear nature of the underlying dynamics. These results suggest that real-time epidemiological projections should include wide uncertainty ranges and urge for the needs of compiling high-quality datasets of infections counts, including asymptomatic patients.


title: Exploring Distributed Control with the NK Model

abstract: The NK model has been used widely to explore aspects of natural evolution and complex systems. This paper introduces a modified form of the NK model for exploring distributed control in complex systems such as organisations, social networks, collective robotics, etc. Initial results show how varying the size and underlying functional structure of a given system affects the performance of different distributed control structures and decision making, including within dynamically formed structures and those with differing numbers of control nodes.


title: Equilibrium configuration of a rectangular obstacle immersed in a channel flow

abstract: Fluid flows around an obstacle generate vortices which, in turn, generate lift forces on the obstacle. Therefore, even in a perfectly symmetric framework equilibrium positions may be asymmetric. We show that this is not the case for a Poiseuille flow in an unbounded 2D channel, at least for small Reynolds number and flow rate. We consider both the cases of vertically moving obstacles and obstacles rotating around a fixed pin.


title: Cyber-Physical Mobility Lab: An Open-Source Platform for Networked and Autonomous Vehicles

abstract: This paper introduces our Cyber-Physical Mobility Lab (CPM Lab). It is an open-source development environment for networked and autonomous vehicles with focus on networked decision-making, trajectory planning, and control. The CPM Lab hosts 20 physical model-scale vehicles ({\mu}Cars) which we can seamlessly extend by unlimited simulated vehicles. The code and construction plans are publicly available to enable rebuilding the CPM Lab. Our four-layered architecture enables the seamless use of the same software in simulations and in experiments without any further adaptions. A Data Distribution Service (DDS) based middleware allows adapting the number of vehicles during experiments in a seamless manner. The middleware is also responsible for synchronizing all entities following a logical execution time approach to achieve determinism and reproducibility of experiments. This approach makes the CPM Lab a unique platform for rapid functional prototyping of networked decision-making algorithms. The CPM Lab allows researchers as well as students from different disciplines to see their ideas developing into reality. We demonstrate its capabilities using two example experiments. We are working on a remote access to the CPM Lab via a webinterface.


title: Towards ultra-sensitive SQUIDs based on sub-micrometer-sized Josephson Junctions

abstract: We recently demonstrated a 1$^{\textrm{st}}$-order axial gradiometer SQUID system, which is operated in a liquid He dewar with negligible noise contribution. The achieved close to SQUID-limited measured coupled energy sensitivity $\varepsilon_{c}$ of $\sim 30\,h$ corresponds to a white field noise below 180~aT~Hz${^{-1/2}}$. In order to further improve the SQUID noise performance, the junction capacitance was reduced by decreasing its lateral size from $2.5~\mu$m to below $1~\mu$m. This was realized by extending the fabrication process for submicrometer-sized Josephson Junctions based on the HfTi self-shunted junction technology to an SIS process with AlO$_{\textrm{x}}$ as the insulating layer. We achieved energy sensitivities of 4.7$\,h$ and 20$\,h$ at 4.2~K for uncoupled and coupled SQUIDs, respectively. We also investigated the temperature dependence of the noise of the uncoupled SQUIDs and reached an energy sensitivity of 0.65$\,h$ in the white noise regime at 400~mK.


title: Kupershmidt-(dual-)Nijenhuis structures on a Lie algebra with a representation

abstract: In this paper, first we study infinitesimal deformations of a Lie algebra with a representation and introduce the notion of a Nijenhuis pair, which gives a trivial deformation of a Lie algebra with a representation. Then we introduce the notion of a Kupershmidt-(dual-)Nijenhuis structure on a Lie algebra with a representation, which is a generalization of the $r$-$n$ structure ($r$-matrix-Nijenhuis structure) introduced by Ravanpak, Rezaei-Aghdam and Haghighatdoost. We show that a Kupershmidt-(dual-)Nijenhuis structure gives rise to a hierarchy of Kupershmidt operators. Finally, we define a Rota-Baxter-Nijenhuis structure to be a Kupershmidt-Nijenhuis structure on a Lie algebra with respect to the adjoint representation, and study the relation between Rota-Baxter-Nijenhuis structures and $r$-matrix-Nijenhuis structures.


title: Rigorous Explanation of Inference on Probabilistic Graphical Models

abstract: Probabilistic graphical models, such as Markov random fields (MRF), exploit dependencies among random variables to model a rich family of joint probability distributions. Sophisticated inference algorithms, such as belief propagation (BP), can effectively compute the marginal posteriors. Nonetheless, it is still difficult to interpret the inference outcomes for important human decision making. There is no existing method to rigorously attribute the inference outcomes to the contributing factors of the graphical models. Shapley values provide an axiomatic framework, but naively computing or even approximating the values on general graphical models is challenging and less studied. We propose GraphShapley to integrate the decomposability of Shapley values, the structure of MRFs, and the iterative nature of BP inference in a principled way for fast Shapley value computation, that 1) systematically enumerates the important contributions to the Shapley values of the explaining variables without duplicate; 2) incrementally compute the contributions without starting from scratches. We theoretically characterize GraphShapley regarding independence, equal contribution, and additivity. On nine graphs, we demonstrate that GraphShapley provides sensible and practical explanations.


title: Area covered by disks in small-bounded continuum percolating systems: An application to the string percolation model

abstract: In string percolation model, the study of colliding systems at high energies is based on a continuum percolation theory in two dimensions where the number of strings distributed in the surface of interest is strongly determined by the size and the energy of the colliding particles. It is also expected that the surface where the disks are lying be finite, defining a system without periodic boundary conditions. In this work, we report modifications to the fraction of the area covered by disks in continuum percolating systems due to a finite number of disks and bounded by different geometries: circle, ellipse, triangle, square and pentagon, which correspond to the first Fourier modes of the shape fluctuation of the initial state after the particle collision. We find that the deviation of the fraction of area covered by disks from its corresponding value in the thermodynamic limit satisfies a universal behavior, where the free parameters depend on the density profile, number of disks and the shape of the boundary. Consequently, it is also found that the color suppression factor of the string percolation model is modified by a damping function related to the small-bounded effects. Corrections to the temperature and the speed of sound defined in string systems are also shown for small and elliptically bounded systems.


title: Frequency-Weighted Robust Tensor Principal Component Analysis

abstract: Robust tensor principal component analysis (RTPCA) can separate the low-rank component and sparse component from multidimensional data, which has been used successfully in several image applications. Its performance varies with different kinds of tensor decompositions, and the tensor singular value decomposition (t-SVD) is a popularly selected one. The standard t-SVD takes the discrete Fourier transform to exploit the residual in the 3rd mode in the decomposition. When minimizing the tensor nuclear norm related to t-SVD, all the frontal slices in frequency domain are optimized equally. In this paper, we incorporate frequency component analysis into t-SVD to enhance the RTPCA performance. Specially, different frequency bands are unequally weighted with respect to the corresponding physical meanings, and the frequency-weighted tensor nuclear norm can be obtained. Accordingly we rigorously deduce the frequency-weighted tensor singular value threshold operator, and apply it for low rank approximation subproblem in RTPCA. The newly obtained frequency-weighted RTPCA can be solved by alternating direction method of multipliers, and it is the first time that frequency analysis is taken in tensor principal component analysis. Numerical experiments on synthetic 3D data, color image denoising and background modeling verify that the proposed method outperforms the state-of-the-art algorithms both in accuracy and computational complexity.


title: Relative merits and limiting factors for x-ray and electron microscopy of thick, hydrated organic materials (revised)

abstract: Electron and x-ray microscopes allow one to image the entire, unlabeled structure of hydrated materials at a resolution well beyond what visible light microscopes can achieve. However, both approaches involve ionizing radiation, so that radiation damage must be considered as one of the limits to imaging. Drawing upon earlier work, we describe here a unified approach to estimating the image contrast (and thus the required exposure and corresponding radiation dose) in both x-ray and electron microscopy. This approach accounts for factors such as plural and inelastic scattering, and (in electron microscopy) the use of energy filters to obtain so-called "zero loss" images. As expected, it shows that electron microscopy offers lower dose for specimens thinner than about 1 micron (such as for studies of macromolecules, viruses, bacteria and archaebacteria, and thin sectioned material), while x-ray microscopy offers superior characteristics for imaging thicker specimen such as whole eukaryotic cells, thick-sectioned tissues, and organs. The required radiation dose scales strongly as a function of the desired spatial resolution, allowing one to understand the limits of live and frozen hydrated specimen imaging. Finally, we consider the factors limiting x-ray microscopy of thicker materials, suggesting that specimens as thick as a whole mouse brain can be imaged with x-ray microscopes without significant image degradation should appropriate image reconstruction methods be identified. The as-published article [Ultramicroscopy 184, 293--309 (2018); doi:10.1016/j.ultramic.2017.10.003] had some minor mistakes that we correct here, with all changes from the as-published article shown in blue.


title: Nontrivial linear projections of the Grassmannian Gr_3(C^6)

abstract: A typical linear projection of the Grassmannian in its Plucker embedding is injective, unless its image is a projective space. A notable exception are self-adjoint linear projections, which have even degree. We consider linear projections of Gr_3(C^6) with low-dimensional centers of projection. When the center has dimension less than five, we show that the projection has degree 1. When the center has dimension five and the projection has degree greater than 1, we show that it is self-adjoint.


title: Channel Modeling for UAV-based Optical Wireless Links with Nonzero Boresight Pointing Errors

abstract: The channel modeling of unnamed aerial vehicle (UAV)-based free-space optical (FSO) links with nonzero boresight pointing error is the subject of this paper. In particular, utilizing log-normal turbulence model, we propose a novel closed-form statistical channel model for UAV-based FSO links that takes into account the effect of nonzero boresight pointing errors. Subsequently, utilizing Gamma-Gamma turbulence model, we propose a novel channel characterization for such links that is valid under moderate to strong turbulence conditions. The accuracy of the proposed models is verified via Monte-Carlo simulations. The proposed models are more tractable and suitable for analysis of such UAV-based FSO links.


title: Two-dimensional Topological Semimetals Protected by Symmorphic Symmetries

abstract: Two-dimensional (2D) band crossing semimetals (BCSMs) could be used to build a range of novel nanoscale devices such as superlenses and transistors. We find that symmorphic symmetry can protect a new type of robust 2D BCSMs, unlike the previously proposed 2D essential BCSMs protected by non-symmorphic symmetry [Young et al., Phys. Rev. Lett. 115, 126803 (2015)]. This type of symmorphic symmetry protected (SSP) 2D essential BCSMs cannot be pair annihilated without destroying the crystalline symmetries, as opposed to the 2D BCSMs caused by the accidental band crossing. Through group theory analysis, we find that 2D SSP BCSMs can only exist at the K (K') point of Brillouin zone (BZ) of four layer groups and identify nonmagnetic 2D FeB2 as a candidate. Interestingly, nonmagnetic 2D SSP BCSMs can host a single pair of band crossing points (BCPs), whereas nonmagnetic three-dimensional (3D) Weyl semimetals (WSMs) have at least two pairs of band crossing Weyl points. It is found that the single pair of BCPs are robust against any kinds of strain. Furthermore, our calculation suggests that essential 2D SSP BCSMs can be used to realize electric field control of spin-texture, thus are promising candidates for spintronic devices.


title: The physics of a small-scale tearing mode in collisionless slab plasmas

abstract: Microtearing modes have been widely reported as a tearing parity electron temperature gradient driven plasma instability, which leads to fine scale tearing of the magnetic flux surfaces thereby resulting in reconnection of magnetic field lines and formation of magnetic islands. In slab geometry it has previously been shown that the drive mechanism requires a finite collision frequency. However, we find in linear gyrokinetic simulations that a collisionless fine-scale tearing parity instability exists even at low and zero collision frequency. Detailed studies reveal that these slab modes are also driven by electron temperature gradient but are sensitive to electron finite Larmor radius effects, and have a radial wavenumber much smaller than the binormal wavenumber, which is comparable to the ion Larmor radius. Furthermore, they exist even in the electrostatic limit and electromagnetic effects actually have a stabilising influence on this collisionless tearing mode. An analytic model shows that this collisionless small scale tearing mode is consistent with a tearing parity slab electron temperature gradient (ETG) mode, which can be more unstable than the twisting parity ETG mode that is often studied. This small-scale tearing parity mode can lead to magnetic islands, which, in turn, can influence turbulent transport in magnetised plasmas.


title: Spectral Analysis of the Koopman Operator for Partial Differential Equations

abstract: We provide an overview of the Koopman operator analysis for a class of partial differential equations describing relaxation of the field variable to a stable stationary state. We introduce Koopman eigenfunctionals of the system and use the notion of conjugacy to develop spectral expansion of the Koopman operator. For linear systems such as the diffusion equation, the Koopman eigenfunctionals can be expressed as linear functionals of the field variable. The notion of inertial manifolds is shown to correspond to joint zero level sets of Koopman eigenfunctionals, and the notion of isostables is defined as the level sets of the slowest decaying Koopman eigenfunctional. Linear diffusion equation, nonlinear Burgers equation, and nonlinear phase-diffusion equation are analyzed as examples.


title: Propensity Score Weighting for Covariate Adjustment in Randomized Clinical Trials

abstract: Chance imbalance in baseline characteristics is common in randomized clinical trials. Regression adjustment such as the analysis of covariance (ANCOVA) is often used to account for imbalance and increase precision of the treatment effect estimate. An objective alternative is through inverse probability weighting (IPW) of the propensity scores. Although IPW and ANCOVA are asymptotically equivalent, the former may demonstrate inferior performance in finite samples. In this article, we point out that IPW is a special case of the general class of balancing weights, and advocate to use overlap weighting (OW) for covariate adjustment. The OW method has a unique advantage of completely removing chance imbalance when the propensity score is estimated by logistic regression. We show that the OW estimator attains the same semiparametric variance lower bound as the most efficient ANCOVA estimator and the IPW estimator for a continuous outcome, and derive closed-form variance estimators for OW when estimating additive and ratio estimands. Through extensive simulations, we demonstrate OW consistently outperforms IPW in finite samples and improves the efficiency over ANCOVA and augmented IPW when the degree of treatment effect heterogeneity is moderate or when the outcome model is incorrectly specified. We apply the proposed OW estimator to the Best Apnea Interventions for Research (BestAIR) randomized trial to evaluate the effect of continuous positive airway pressure on patient health outcomes. All the discussed propensity score weighting methods are implemented in the R package PSweight.


title: Tensor Networks for Medical Image Classification

abstract: With the increasing adoption of machine learning tools like neural networks across several domains, interesting connections and comparisons to concepts from other domains are coming to light. In this work, we focus on the class of Tensor Networks, which has been a work horse for physicists in the last two decades to analyse quantum many-body systems. Building on the recent interest in tensor networks for machine learning, we extend the Matrix Product State tensor networks (which can be interpreted as linear classifiers operating in exponentially high dimensional spaces) to be useful in medical image analysis tasks. We focus on classification problems as a first step where we motivate the use of tensor networks and propose adaptions for 2D images using classical image domain concepts such as local orderlessness of images. With the proposed locally orderless tensor network model (LoTeNet), we show that tensor networks are capable of attaining performance that is comparable to state-of-the-art deep learning methods. We evaluate the model on two publicly available medical imaging datasets and show performance improvements with fewer model hyperparameters and lesser computational resources compared to relevant baseline methods.


title: A Survey and Annotated Bibliography of Workflow Scheduling in Computing Infrastructures: Community, Keyword, and Article Reviews -- Extended Technical Report

abstract: Workflows are prevalent in today's computing infrastructures. The workflow model support various different domains, from machine learning to finance and from astronomy to chemistry. Different Quality-of-Service (QoS) requirements and other desires of both users and providers makes workflow scheduling a tough problem, especially since resource providers need to be as efficient as possible with their resources to be competitive. To a newcomer or even an experienced researcher, sifting through the vast amount of articles can be a daunting task. Questions regarding the difference techniques, policies, emerging areas, and opportunities arise. Surveys are an excellent way to cover these questions, yet surveys rarely publish their tools and data on which it is based. Moreover, the communities that are behind these articles are rarely studied. We attempt to address these shortcomings in this work. We focus on four areas within workflow scheduling: 1) the workflow formalism, 2) workflow allocation, 3) resource provisioning, and 4) applications and services. Each part features one or more taxonomies, a view of the community, important and emerging keywords, and directions for future work. We introduce and make open-source an instrument we used to combine and store article meta-data. Using this meta-data, we 1) obtain important keywords overall and per year, per community, 2) identify keywords growing in importance, 3) get insight into the structure and relations within each community, and 4) perform a systematic literature survey per part to validate and complement our taxonomies.


title: AMP-Net: Denoising based Deep Unfolding for Compressive Image Sensing

abstract: Most compressive sensing (CS) reconstruction methods can be divided into two categories, i.e. model-based methods and classical deep network methods. By unfolding the iterative optimization algorithm for model-based methods onto networks, deep unfolding methods have the good interpretation of model-based methods and the high speed of classical deep network methods. In this paper, to solve the visual image CS problem, we propose a deep unfolding model dubbed AMP-Net. Rather than learning regularization terms, it is established by unfolding the iterative denoising process of the well-known approximate message passing algorithm. Furthermore, AMP-Net integrates deblocking modules in order to eliminate the blocking artifacts that usually appear in CS of visual images. In addition, the sampling matrix is jointly trained with other network parameters to enhance the reconstruction performance. Experimental results show that the proposed AMP-Net has better reconstruction accuracy than other state-of-the-art methods with high reconstruction speed and a small number of network parameters.