title: Dimensional reduction of higher-point conformal blocks

abstract: Recently, with the help of Parisi-Sourlas supersymmetry an intriguing relation was found expressing the four-point scalar conformal block of a (d-2)-dimensional CFT in terms of a five-term linear combination of blocks of a d-dimensional CFT, with constant coefficients. We extend this dimensional reduction relation to all higher-point scalar conformal blocks of arbitrary topology restricted to scalar exchanges. We show that the constant coefficients appearing in the finite term higher-point dimensional reduction obey an interesting factorization property allowing them to be determined in terms of certain graphical Feynman-like rules and the associated finite set of vertex and edge factors. Notably, these rules can be fully determined by considering the explicit power-series representation of just three particular conformal blocks: the four-point block, the five-point block and the six-point block of the so-called OPE/snowflake topology. In principle, this method can be applied to obtain the arbitrary-point dimensional reduction of conformal blocks with spinning exchanges as well. We also show how to systematically extend the dimensional reduction relation of conformal partial waves to higher-points.


title: COVID-19's (mis)information ecosystem on Twitter: How partisanship boosts the spread of conspiracy narratives on German speaking Twitter

abstract: In late 2019, the gravest pandemic in a century began spreading across the world. A state of uncertainty related to what has become known as SARS-CoV-2 has since fueled conspiracy narratives on social media about the origin, transmission and medical treatment of and vaccination against the resulting disease, COVID-19. Using social media intelligence to monitor and understand the proliferation of conspiracy narratives is one way to analyze the distribution of misinformation on the pandemic. We analyzed more than 9.5M German language tweets about COVID-19. The results show that only about 0.6% of all those tweets deal with conspiracy theory narratives. We also found that the political orientation of users correlates with the volume of content users contribute to the dissemination of conspiracy narratives, implying that partisan communicators have a higher motivation to take part in conspiratorial discussions on Twitter. Finally, we showed that contrary to other studies, automated accounts do not significantly influence the spread of misinformation in the German speaking Twitter sphere. They only represent about 1.31% of all conspiracy-related activities in our database.


title: Generalized Lomb-Scargle analysis of $\rm{^{123}I}$ and $\rm{^{99m}Tc}$ decay rate measurements

abstract: We apply the generalized Lomb-Scargle periodogram to the $\rm{^{123}I}$ and $\rm{^{99m}Tc}$ decay rate measurements based on data taken at the Bronson Methodist Hospital. The aim of this exercise was to carry out an independent search for sinusoidal modulation for these radionuclei (to complement the analysis in Borrello et al) at frequencies for which other radionuclei have shown periodicities. We do not find evidence for such a modulation at any frequencies, including annual modulation or at frequencies associated with solar rotation. Our analysis codes and datasets have been made publicly available.


title: Large Deviation Principle for the Whittaker 2d Growth Model

abstract: The Whittaker 2d growth model is a triangular continuous Markov diffusion process that appears in many scientific contexts. It has been theoretically intriguing to establish a large deviation principle for this 2d process with a scaling factor. The main challenge is the spatiotemporal interactions and dynamics that may depend on potential sample-path intersections. We develop such a principle with a novel rate function. Our approach is mainly based on Schider's Theorem, contraction principle, and special treatment for intersecting sample paths.

categories: math.PR cs.IT math-ph math.IT math.MP math.ST stat.TH


title: Load Balancing and Mutisource Routing in Information-Centric-Networking

abstract: Information-Centric Networking is still an incomplete paradigm which introduces a large variety of new topics and approaches over the traditional networking. Since it is a relatively new concept which promises for easier and faster data access many aspects of it have been studied intensely in recent years. Nonetheless, load balancing is one of the least focused but high potency, open-ended areas. The aim of this project is to present an alternative technique to load balancing in the domain of pre-suggested routing method LSCR (Link State Content Routing). We suggested multi-path interest and multi-source data packet routing on the bases of Forwarding and Routing Tables of LSCR and packet routing protocol of Source Routing. We have developed a simulator software to implement and test the multi-path routing algorithm. Multi-path routing and LSCR are compared with regard to the load of the links, package loss, package delay and overall network performance.


title: Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization

abstract: As control systems become increasingly more complex, there exists a pressing need to find systematic ways of verifying them. To address this concern, there has been significant work in developing test generation schemes for black-box control architectures. These schemes test a black-box control architecture's ability to satisfy its control objectives, when these objectives are expressed as operational specifications through temporal logic formulae. Our work extends these prior, model based results by lower bounding the probability by which the black-box system will satisfy its operational specification, when subject to a pre-specified set of environmental phenomena. We do so by systematically generating tests to minimize a Lipschitz continuous robustness measure for the operational specification. We demonstrate our method with experimental results, wherein we show that our framework can reasonably lower bound the probability of specification satisfaction.


title: Stochastic Stability of a Recency Weighted Sampling Dynamic

abstract: We introduce and study a model of long-run convention formation for rare interactions. Players in this model form beliefs by observing a recency-weighted sample of past interactions, to which they noisily best respond. We propose a continuous state Markov model, well-suited for our setting, and develop a methodology that is relevant for a larger class of similar learning models. We show that the model admits a unique asymptotic distribution which concentrates its mass on some minimal CURB block configuration. In contrast to existing literature of long-run convention formation, we focus on behavior inside minimal CURB blocks and provide conditions for convergence to (approximate) mixed equilibria conventions inside minimal CURB blocks.


title: On the Lifting Property for $C^*$-algebras

abstract: We characterize the lifting property (LP) of a separable $C^*$-algebra $A$ by a property of its maximal tensor product with other $C^*$-algebras, namely we prove that $A$ has the LP if and only if for any family $(\{D_i\mid i\in I\}$ of $C^*$-algebras the canonical map $$ {\ell_\infty(\{D_i\}) \otimes_{\max} A}\to {\ell_\infty(\{D_i \otimes_{\max} A\}) }$$ is isometric. Equivalently, this holds if and only if $M \otimes_{\max} A= M \otimes_{\rm nor} A$ for any von Neumann algebra $M$.


title: Quintessential Inflation for Exponential Type Potentials: Scaling and Tracker Behavior

abstract: We will show that for exponential type potentials, which are used to depict quintessential inflation, the solutions whose initial conditions take place during the slow roll phase in order to describe correctly the inflationary period do not belong to the basin of attraction of the scaling solution -a solution of the scalar field equation whose energy density scale as the one of the fluid component of the universe during radiation or the matter domination period-, meaning that a late time mechanism to exit this behavior and depict correctly the current cosmic acceleration is not needed.


title: GDPR Compliance for Blockchain Applications in Healthcare

abstract: The transparent and decentralized characteristics associated with blockchain can be both appealing and problematic when applied to a healthcare use-case. As health data is highly sensitive, it is also highly regulated to ensure the privacy of patients. At the same time, access to health data and interoperability is in high demand. Regulatory frameworks such as GDPR and HIPAA are, amongst other objectives, meant to contribute to mitigating the risk of privacy violations in health data. Blockchain features can likely improve interoperability and access control to health data, and at the same time, preserve or even increase, the privacy of patients. Blockchain applications should address compliance with the current regulatory framework to increase real-world feasibility. This exploratory work indicates that published proof-of-concepts in the health domain comply with GDRP, to an extent. Blockchain developers need to make design choices to be compliant with GDPR since currently, none available blockchain platform can show compliance out of the box.


title: How do people describe locations during a natural disaster: an analysis of tweets from Hurricane Harvey

abstract: Social media platforms, such as Twitter, have been increasingly used by people during natural disasters to share information and request for help. Hurricane Harvey was a category 4 hurricane that devastated Houston, Texas, USA in August 2017 and caused catastrophic flooding in the Houston metropolitan area. Hurricane Harvey also witnessed the widespread use of social media by the general public in response to this major disaster, and geographic locations are key information pieces described in many of the social media messages. A geoparsing system, or a geoparser, can be utilized to automatically extract and locate the described locations, which can help first responders reach the people in need. While a number of geoparsers have already been developed, it is unclear how effective they are in recognizing and geo-locating the locations described by people during natural disasters. To fill this gap, this work seeks to understand how people describe locations during a natural disaster by analyzing a sample of tweets posted during Hurricane Harvey. We then identify the limitations of existing geoparsers in processing these tweets, and discuss possible approaches to overcoming these limitations.


title: Presence of a Fundamental Acceleration Scale in Galaxy Clusters

abstract: An acceleration scale of order $10^{-10}\mathrm{m/s^2}$ is implicit in the baryonic Tully-Fisher and baryonic Faber-Jackson relations, independently of any theoretical preference or bias. We show that the existence of this scale in the baryonic Faber-Jackson relation is most apparent when data from pressure supported systems of vastly different scales including globular clusters, elliptical galaxies, and galaxy clusters are analyzed together. This suggests the relevance of the acceleration scale $10^{-10}\mathrm{m/s^2}$ to structure formation processes at many different length scales and could be pointing to a heretofore unknown property of dark matter.


title: Interaction-Based Trajectory Prediction Over a Hybrid Traffic Graph

abstract: Behavior prediction of traffic actors is an essential component of any real-world self-driving system. Actors' long-term behaviors tend to be governed by their interactions with other actors or traffic elements (traffic lights, stop signs) in the scene. To capture this highly complex structure of interactions, we propose to use a hybrid graph whose nodes represent both the traffic actors as well as the static and dynamic traffic elements present in the scene. The different modes of temporal interaction (e.g., stopping and going) among actors and traffic elements are explicitly modeled by graph edges. This explicit reasoning about discrete interaction types not only helps in predicting future motion, but also enhances the interpretability of the model, which is important for safety-critical applications such as autonomous driving. We predict actors' trajectories and interaction types using a graph neural network, which is trained in a semi-supervised manner. We show that our proposed model, TrafficGraphNet, achieves state-of-the-art trajectory prediction accuracy while maintaining a high level of interpretability.


title: Changing the universality class of the three-dimensional Edwards-Anderson spin-glass model by selective bond dilution

abstract: The three-dimensional Edwards-Anderson spin-glass model present strong spatial heterogeneities well characterized by the so-called backbone, a magnetic structure that arises as a consequence of the properties of the ground state and the low-excitation levels of such a frustrated Ising system. Using extensive Monte Carlo simulations and finite size scaling, we study how these heterogeneities affect the phase transition of the model. Although, we do not detect any significant difference between the critical behavior displayed by the whole system and that observed inside and outside the backbone, surprisingly, a selective bond dilution of the complement of this magnetic structure induces a change of the universality class, whereas no change is noted when the backbone is fully diluted. This finding suggests that the region surrounding the backbone plays a more relevant role in determining the physical properties of the Edwards-Anderson spin-glass model than previously thought. Furthermore, we show that when a selective bond dilution changes the universality class of the phase transition, the ground state of the model does not undergo any change. The opposite case is also valid, i. e., a dilution that does not change the critical behavior significantly affects the fundamental level.


title: Synergistic Longitudinal Acceleration and Transverse Oscillation in High-order Harmonic Generation

abstract: We propose and demonstrate that relativistic harmonics with a slowly decaying power law are generated from a femtosecond lase pulse incident parallel to a micro-scale overdense plasma. It is shown that due to the excitation of a strong surface wave, dense electron nanobunches are continuously accelerated forward while oscillating in the transverse laser field. Even around the stationary phase point, relativistic gamma factors of the nanobunches increase considerably, leading to a much stronger attosecond burst, compared to the case with constant gamma. Our two-dimensional particle-in-cell simulations and analytical theory show that this synergistic function promises a power-law harmonic spectrum $I_n/I_0 = n^{-1}$. This is much flatter than the other well-known radiation mechanisms and paves the way to unprecedentedly large energy attosecond pulses.


title: Benchmarking deep inverse models over time, and the neural-adjoint method

abstract: We consider the task of solving generic inverse problems, where one wishes to determine the hidden parameters of a natural system that will give rise to a particular set of measurements. Recently many new approaches based upon deep learning have arisen generating impressive results. We conceptualize these models as different schemes for efficiently, but randomly, exploring the space of possible inverse solutions. As a result, the accuracy of each approach should be evaluated as a function of time rather than a single estimated solution, as is often done now. Using this metric, we compare several state-of-the-art inverse modeling approaches on four benchmark tasks: two existing tasks, one simple task for visualization and one new task from metamaterial design. Finally, inspired by our conception of the inverse problem, we explore a solution that uses a deep learning model to approximate the forward model, and then uses backpropagation to search for good inverse solutions. This approach, termed the neural-adjoint, achieves the best performance in many scenarios.


title: Privacy-Preserving Dynamic Personalized Pricing with Demand Learning

abstract: The prevalence of e-commerce has made detailed customers' personal information readily accessible to retailers, and this information has been widely used in pricing decisions. When involving personalized information, how to protect the privacy of such information becomes a critical issue in practice. In this paper, we consider a dynamic pricing problem over $T$ time periods with an \emph{unknown} demand function of posted price and personalized information. At each time $t$, the retailer observes an arriving customer's personal information and offers a price. The customer then makes the purchase decision, which will be utilized by the retailer to learn the underlying demand function. There is potentially a serious privacy concern during this process: a third party agent might infer the personalized information and purchase decisions from price changes from the pricing system. Using the fundamental framework of differential privacy from computer science, we develop a privacy-preserving dynamic pricing policy, which tries to maximize the retailer revenue while avoiding information leakage of individual customer's information and purchasing decisions. To this end, we first introduce a notion of \emph{anticipating} $(\varepsilon, \delta)$-differential privacy that is tailored to dynamic pricing problem. Our policy achieves both the privacy guarantee and the performance guarantee in terms of regret. Roughly speaking, for $d$-dimensional personalized information, our algorithm achieves the expected regret at the order of $\tilde{O}(\varepsilon^{-1} \sqrt{d^3 T})$, when the customers' information is adversarially chosen. For stochastic personalized information, the regret bound can be further improved to $\tilde{O}(\sqrt{d^2T} + \varepsilon^{-2} d^2)$


title: Polychromatic angle resolved IBIC analysis of silicon power diodes

abstract: This paper describes both an experimental methodology based on the Ion Beam Induced Charge (IBIC) technique and the relevant interpretative model, which were adopted to characterize the electronic features of power diodes. IBIC spectra were acquired using different proton energies (from 1.2 to 2.0 MeV), angles of incidence, and applied bias voltages. The modulation of the ion probe range, combined with the modulation of the extensions of the depletion layer, allowed the charge collection efficiency scale to be accurately calibrated, the dead layer beneath the thick (6 micrometer) Al electrode and the minority carrier lifetime to be measured. The analysis was performed by using a simplified model extracted from the basic IBIC theory, which proved to be suitable to interpret the behaviour of the IBIC spectra as a function of all the experimental conditions and to characterize the devices, both for what concerns the electrostatics and the recombination processes.


title: Seagull: An Infrastructure for Load Prediction and Optimized Resource Allocation

abstract: Microsoft Azure is dedicated to guarantee high quality of service to its customers, in particular, during periods of high customer activity, while controlling cost. We employ a Data Science (DS) driven solution to predict user load and leverage these predictions to optimize resource allocation. To this end, we built the Seagull infrastructure that processes per-server telemetry, validates the data, trains and deploys ML models. The models are used to predict customer load per server (24h into the future), and optimize service operations. Seagull continually re-evaluates accuracy of predictions, fallback to previously known good models and triggers alerts as appropriate. We deployed this infrastructure in production for PostgreSQL and MySQL servers across all Azure regions, and applied it to the problem of scheduling server backups during low-load time. This minimizes interference with user-induced load and improves customer experience.


title: Analysing the impact of global demographic characteristics over the COVID-19 spread using class rule mining and pattern matching

abstract: Since the coronavirus disease (COVID-19) outbreak in December 2019, studies have been addressing diverse aspects in relation to COVID-19 and Variant of Concern 202012/01 (VOC 202012/01) such as potential symptoms and predictive tools. However, limited work has been performed towards the modelling of complex associations between the combined demographic attributes and varying nature of the COVID-19 infections across the globe. This study presents an intelligent approach to investigate the multi-dimensional associations between demographic attributes and COVID-19 global variations. We gather multiple demographic attributes and COVID-19 infection data (by 8 January 2021) from reliable sources, which are then processed by intelligent algorithms to identify the significant associations and patterns within the data. Statistical results and experts' reports indicate strong associations between COVID-19 severity levels across the globe and certain demographic attributes, e.g. female smokers, when combined together with other attributes. The outcomes will aid the understanding of the dynamics of disease spread and its progression, which in turn may support policy makers, medical specialists and society, in better understanding and effective management of the disease.


title: Measure Utility, Gain Trust: Practical Advice for XAI Researcher

abstract: Research into the explanation of machine learning models, i.e., explainable AI (XAI), has seen a commensurate exponential growth alongside deep artificial neural networks throughout the past decade. For historical reasons, explanation and trust have been intertwined. However, the focus on trust is too narrow, and has led the research community astray from tried and true empirical methods that produced more defensible scientific knowledge about people and explanations. To address this, we contribute a practical path forward for researchers in the XAI field. We recommend researchers focus on the utility of machine learning explanations instead of trust. We outline five broad use cases where explanations are useful and, for each, we describe pseudo-experiments that rely on objective empirical measurements and falsifiable hypotheses. We believe that this experimental rigor is necessary to contribute to scientific knowledge in the field of XAI.


title: Dynamical spin susceptibility in La2CuO4 studied by resonant inelastic x-ray scattering

abstract: Resonant inelastic X-ray scattering (RIXS) is a powerful probe of elementary excitations in solids. It is now widely applied to study magnetic excitations. However, its complex cross-section means that RIXS has been more difficult to interpret than inelastic neutron scattering (INS). Here we report high-resolution RIXS measurements of magnetic excitations of La2CuO4, the antiferromagnetic parent of one system of high-temperature superconductors. At high energies (~2 eV), the RIXS spectra show angular-dependent dd orbital excitations which are found to be in good agreement with single-site multiplet calculations. At lower energies (<0.3 eV), we show that the wavevector-dependent RIXS intensities are proportional to the product of the single-ion spin-flip cross section and the dynamical susceptibility of the spin-wave excitations. When the spin-flip crosssection is dividing out, the RIXS magnon intensities show a remarkable resemblance to INS data. Our results show that RIXS is a quantitative probe the dynamical spin susceptibility in cuprate and therefore should be used for quantitative investigation of other correlated electron materials.


title: Investigation of high-pressure turbulent jets using direct numerical simulation

abstract: Direct numerical simulations of free round jets at a Reynolds number ($Re_{D}$) of $5000$, based on jet diameter ($D$) and jet-exit bulk velocity ($U_{e}$), are performed to study jet turbulence characteristics at supercritical pressures. The jet consists of $\mathrm{N_{2}}$ that is injected into $\mathrm{N_{2}}$ at same temperature. To understand turbulent mixing, a passive scalar is transported with the flow at unity Schmidt number. Two sets of inflow conditions that model jets issuing from either a smooth contraction nozzle (laminar inflow) or a long pipe nozzle (turbulent inflow) are considered. By changing one parameter at a time, the simulations examine the jet-flow sensitivity to the thermodynamic condition (characterized in terms of the compressibility factor ($Z$) and the normalized isothermal compressibility), inflow condition, and ambient pressure ($p_{\infty}$) spanning perfect- to real-gas conditions. The inflow affects flow statistics in the near-field (containing the potential core closure and the transition region) as well as further downstream (containing fully-developed flow with self-similar statistics) at both atmospheric and supercritical $p_{\infty}$. The sensitivity to inflow is larger in the transition region, where the laminar-inflow jets exhibit dominant coherent structures that produce higher mean strain rates and higher turbulent kinetic energy than in turbulent-inflow jets. Decreasing $Z$ at a fixed supercritical $p_{\infty}$ enhances pressure and density fluctuations (normalized by local mean pressure and density, respectively), but the effect on velocity fluctuations depends also on local flow dynamics. When $Z$ is reduced, large mean strain rates in the transition region of laminar-inflow jets significantly enhance velocity fluctuations (normalized by local mean velocity) and scalar mixing, whereas the effects are minimal in jets from turbulent inflow.


title: Learning to Improve Image Compression without Changing the Standard Decoder

abstract: In recent years we have witnessed an increasing interest in applying Deep Neural Networks (DNNs) to improve the rate-distortion performance in image compression. However, the existing approaches either train a post-processing DNN on the decoder side, or propose learning for image compression in an end-to-end manner. This way, the trained DNNs are required in the decoder, leading to the incompatibility to the standard image decoders (e.g., JPEG) in personal computers and mobiles. Therefore, we propose learning to improve the encoding performance with the standard decoder. In this paper, We work on JPEG as an example. Specifically, a frequency-domain pre-editing method is proposed to optimize the distribution of DCT coefficients, aiming at facilitating the JPEG compression. Moreover, we propose learning the JPEG quantization table jointly with the pre-editing network. Most importantly, we do not modify the JPEG decoder and therefore our approach is applicable when viewing images with the widely used standard JPEG decoder. The experiments validate that our approach successfully improves the rate-distortion performance of JPEG in terms of various quality metrics, such as PSNR, MS-SSIM and LPIPS. Visually, this translates to better overall color retention especially when strong compression is applied. The codes are available at https://github.com/YannickStruempler/LearnedJPEG.


title: A Weighted Quiver Kernel using Functor Homology

abstract: In this paper, we propose a new homological method to study weighted directed networks. Our model of such networks is a directed graph $Q$ equipped with a weight function $w$ on the set $Q_{1}$ of arrows in $Q$. We require that the range $W$ of our weight function is equipped with an addition or a multiplication, i.e., $W$ is a monoid in the mathematical terminology. When $W$ is equipped with a representation on a vector space $M$, the standard method of homological algebra allows us to define the homology groups $H_{*}(Q,w;M)$. It is known that when $Q$ has no oriented cycles, $H_{n}(Q,w;M)=0$ for $n\ge 2$ and $H_{1}(Q,w;M)$ can be easily computed. This fact allows us to define a new graph kernel for weighted directed graphs. We made two sample computations with real data and found that our method is practically applicable.


title: A uniform lower bound on the norms of hyperplane projections of spherical polytopes

abstract: Let $K$ be a centrally symmetric spherical and simplicial polytope, whose vertices form a $\frac{1}{4n}-$net in the unit sphere in $\mathbb{R}^n$. We prove a uniform lower bound on the norms of all hyperplane projections $P: X \to X$, where $X$ is the $n$-dimensional normed space with the unit ball $K$. The estimate is given in terms of the determinant function of vertices and faces of $K$. In particular, if $N \geq n^{4n}$ and $K = \conv \{ \pm x_1, \pm x_2, \ldots, \pm x_N \}$, where $x_1, x_2, \ldots, x_N$ are independent random points distributed uniformly in the unit sphere, then every hyperplane projection $P: X \to X$ satisfies an inequality $\|P\|_X \geq 1+c_nN^{-(2n^2+4n+6)}$ (for some explicit constant $c_n$), with the probability at least $1 - \frac{3}{N}.$


title: Tropical pseudolinear and pseudoquadratic optimization as parametric mean-payoff games

abstract: We apply an approach based on parametric mean-payoff games to develop bisection and Newton schemes for solving problems of tropical pseudolinear and pseudoquadratic optimisation with general two-sided constraints.


title: Classification and understanding of cloud structures via satellite images with EfficientUNet

abstract: Climate change has been a common interest and the forefront of crucial political discussion and decision-making for many years. Shallow clouds play a significant role in understanding the Earth's climate, but they are challenging to interpret and represent in a climate model. By classifying these cloud structures, there is a better possibility of understanding the physical structures of the clouds, which would improve the climate model generation, resulting in a better prediction of climate change or forecasting weather update. Clouds organise in many forms, which makes it challenging to build traditional rule-based algorithms to separate cloud features. In this paper, classification of cloud organization patterns was performed using a new scaled-up version of Convolutional Neural Network (CNN) named as EfficientNet as the encoder and UNet as decoder where they worked as feature extractor and reconstructor of fine grained feature map and was used as a classifier, which will help experts to understand how clouds will shape the future climate. By using a segmentation model in a classification task, it was shown that with a good encoder alongside UNet, it is possible to obtain good performance from this dataset. Dice coefficient has been used for the final evaluation metric, which gave the score of 66.26\% and 66.02\% for public and private (test set) leaderboard on Kaggle competition respectively.


title: Epidemic Thresholds of Infectious Diseases on Tie-Decay Networks

abstract: In the study of infectious diseases on networks, researchers calculate epidemic thresholds to help forecast whether a disease will eventually infect a large fraction of a population. Because network structure typically changes in time, which fundamentally influences the dynamics of spreading processes on them and in turn affects epidemic thresholds for disease propagation, it is important to examine epidemic thresholds in temporal networks. Most existing studies of epidemic thresholds in temporal networks have focused on models in discrete time, but most real-world networked systems evolve continuously in time. In our work, we encode the continuous time-dependence of networks into the evaluation of the epidemic threshold of a susceptible--infected--susceptible (SIS) process by studying an SIS model on tie-decay networks. We derive the epidemic-threshold condition of this model, and we perform numerical experiments to verify it. We also examine how different factors---the decay coefficients of the tie strengths in a network, the frequency of interactions between nodes, and the sparsity of the underlying social network in which interactions occur---lead to decreases or increases of the critical values of the threshold and hence contribute to facilitating or impeding the spread of a disease. We thereby demonstrate how the features of tie-decay networks alter the outcome of disease spread.

categories: cs.SI math.DS nlin.AO physics.soc-ph q-bio.PE


title: A grammar of graphics framework for generalized parallel coordinate plots

abstract: Parallel coordinate plots (PCP) are a useful tool in exploratory data analysis of high-dimensional numerical data. The use of PCPs is limited when working with categorical variables or a mix of categorical and continuous variables. In this paper, we propose generalized parallel coordinate plots (GPCP) to extend the ability of PCPs from just numeric variables to dealing seamlessly with a mix of categorical and numeric variables in a single plot. In this process we find that existing solutions for categorical values only, such as hammock plots or parsets become edge cases in the new framework. By focusing on individual observation rather a marginal frequency we gain additional flexibility. The resulting approach is implemented in the R package ggpcp.


title: Logarithmic superdiffusivity of the 2-dimensional anisotropic KPZ equation

abstract: We study an anisotropic variant of the two-dimensional Kardar-Parisi-Zhang equation, that is relevant to describe growth of vicinal surfaces and has Gaussian, logarithmically rough, stationary states. While the folklore belief (based on one-loop Renormalization Group) is that the equation has the same scaling behaviour as the (linear) Edwards-Wilkinson equation, we prove that, on the contrary, the non-linearity induces the emergence of a logarithmic super-diffusivity. This phenomenon is similar in flavour to the super-diffusivity for two-dimensional fluids and driven particle systems.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP


title: DeepM&Mnet: Inferring the electroconvection multiphysics fields based on operator approximation by neural networks

abstract: Electroconvection is a multiphysics problem involving coupling of the flow field with the electric field as well as the cation and anion concentration fields. For small Debye lengths, very steep boundary layers are developed, but standard numerical methods can simulate the different regimes quite accurately. Here, we use electroconvection as a benchmark problem to put forward a new data assimilation framework, the DeepM&Mnet, for simulating multiphysics and multiscale problems at speeds much faster than standard numerical methods using pre-trained neural networks (NNs). We first pre-train DeepONets that can predict independently each field, given general inputs from the rest of the fields of the coupled system. DeepONets can approximate nonlinear operators and are composed of two sub-networks, a branch net for the input fields and a trunk net for the locations of the output field. DeepONets, which are extremely fast, are used as building blocks in the DeepM&Mnet and form constraints for the multiphysics solution along with some sparse available measurements of any of the fields. We demonstrate the new methodology and document the accuracy of each individual DeepONet, and subsequently we present two different DeepM&Mnet architectures that infer accurately and efficiently 2D electroconvection fields for unseen electric potentials. The DeepM&Mnet framework is general and can be applied for building any complex multiphysics and multiscale models based on very few measurements using pre-trained DeepONets in a plug-and-play mode.


title: Relaxing Common Belief for Social Networks

abstract: We propose a relaxation of common belief called factional belief that is suitable for the analysis of strategic coordination on social networks. We show how this definition can be used to analyze revolt games on general graphs, including by giving an efficient algorithm that characterizes a structural result about the possible equilibria of such games. This extends prior work on common knowledge and common belief, which has been too restrictive for use in understanding strategic coordination and cooperation in social network settings.


title: Dimension-free local convergence and perturbations for reflected Brownian motions

abstract: We describe and analyze a class of positive recurrent reflected Brownian motions (RBMs) in $\mathbb{R}^d_+$ for which local statistics converge to equilibrium at a rate independent of the dimension $d$. Under suitable assumptions on the reflection matrix, drift and diffusivity coefficients, dimension-independent stretched exponential convergence rates are obtained by estimating contractions in an underlying weighted distance between synchronously coupled RBMs. We also study the Symmetric Atlas model as a first step in obtaining dimension-independent convergence rates for RBMs not satisfying the above assumptions. By analyzing a pathwise derivative process and connecting it to a random walk in a random environment, we obtain polynomial convergence rates for the gap process of the Symmetric Atlas model started from appropriate perturbations of stationarity.


title: Analysis of a Markovian Queuing Model for Autonomous Signal-Free Intersection

abstract: We consider a novel, analytical queuing model for vehicle coordination at signal-free intersections. Vehicles arrive at an intersection according to Poisson processes, and the crossing times are constants dependent of vehicle types. We use this model to quantitatively relate key operational parameters (vehicle speed/acceleration, inter-vehicle headway) to key performance metrics (throughput and delay) under the first-come-first-serve rule. We use the Foster-Lyapunov drift condition to obtain stability criteria and an upper bound for average time delay. Based on these results, we compare the efficiency of signal free intersections with conventional vehicles and with connected and autonomous vehicles. We also validate our results in Simulation of Urban Mobility (SUMO).


title: Strong replica symmetry for high-dimensional disordered log-concave Gibbs measures

abstract: We consider a generic class of log-concave, possibly random, (Gibbs) measures. We prove the concentration of an infinite family of order parameters called multioverlaps. Because they completely parametrise the quenched Gibbs measure of the system, this implies a simple representation of the asymptotic Gibbs measures, as well as the decoupling of the variables in a strong sense. These results may prove themselves useful in several contexts. In particular in machine learning and high-dimensional inference, log-concave measures appear in convex empirical risk minimisation, maximum a-posteriori inference or M-estimation. We believe that they may be applicable in establishing some type of "replica symmetric formulas" for the free energy, inference or generalisation error in such settings.

categories: math.PR cond-mat.dis-nn cs.IT cs.LG math-ph math.IT math.MP


title: Stability, well-posedness and regularity of the homogeneous Landau equation for hard potentials

abstract: We establish the well-posedness and some quantitative stability of the spatially homogeneous Landau equation for hard potentials, using some specific Monge-Kantorovich cost, assuming only that the initial condition is a probability measure with a finite moment of order $p$ for some $p>2$. As a consequence, we extend previous regularity results and show that all non-degenerate measure-valued solutions to the Landau equation, with a finite initial energy, immediately admit analytic densities with finite entropy. Along the way, we prove that the Landau equation instantaneously creates Gaussian moments. We also show existence of weak solutions under the only assumption of finite initial energy.


title: Theoretical study on the electric field effect on magnetism of Pd/Co/Pt thin films

abstract: Based on first principles calculations we investigate the electronic and magnetic properties of Pt layers in Pd$(001)$/Co/Pt thin film structures exposed to an external electric field. Due to the Co underlayer, the surface Pt layers have induced moments that are modified by an external electric field. The field induced changes can be explained by the modified spin-dependent orbital hybridization that varies non-linearly with the field strength. We calculate the x-ray absorption and the x-ray magnetic circular dichroism spectra for an applied external electric field and examine its impact on the spectra in the Pt layer around the L$_{2}$ and L$_{3}$ edges. We also determine the layer dependent magneto-crystalline anisotropy and show that the anisotropy can be tuned easily in the different layers by the external electric field.


title: A Survey on Deep Learning Methods for Semantic Image Segmentation in Real-Time

abstract: Semantic image segmentation is one of fastest growing areas in computer vision with a variety of applications. In many areas, such as robotics and autonomous vehicles, semantic image segmentation is crucial, since it provides the necessary context for actions to be taken based on a scene understanding at the pixel level. Moreover, the success of medical diagnosis and treatment relies on the extremely accurate understanding of the data under consideration and semantic image segmentation is one of the important tools in many cases. Recent developments in deep learning have provided a host of tools to tackle this problem efficiently and with increased accuracy. This work provides a comprehensive analysis of state-of-the-art deep learning architectures in image segmentation and, more importantly, an extensive list of techniques to achieve fast inference and computational efficiency. The origins of these techniques as well as their strengths and trade-offs are discussed with an in-depth analysis of their impact in the area. The best-performing architectures are summarized with a list of methods used to achieve these state-of-the-art results.


title: Key role of the moire potential for the quasi-condensation of interlayer excitons in van der Waals heterostructures

abstract: Interlayer excitons confined in bilayer heterostructures of transition metal dichalcogenides (TMDs) offer a promising route to implement two-dimensional dipolar superfluids. Here, we study the experimental conditions necessary for the realisation of such collective state. Particularly, we show that the moire potential inherent to TMD bilayers yields an exponential increase of the excitons effective mass. To allow for exciton superfluidity at sizeable temperatures it is then necessary to intercalate a high-$\kappa$ dielectric between the monolayers confining electrons and holes. Thus the moire lattice depth is sufficiently weak for a superfluid phase to theoretically emerge below a critical temperature of around 10 K. Importantly, for realistic experimental parameters interlayer excitons quasi-condense in a state with finite momentum, so that the superfluid is optically inactive and flows spontaneously.


title: Symmetry analysis of trimer-based all-dielectric metasurfaces with toroidal dipole modes

abstract: Herein, we discuss the conditions for excitation of symmetry-protected toroidal dipole modes in all-dielectric metasurfaces composed of trimer or twin-trimer clusters of dielectric disks. Such metasurfaces permit enhanced light-matter interaction due to spatially confined light in resonant systems with a high-quality factor. To describe characteristics of toroidal modes existing in the clusters, we use the magnetic dipole moments approximation, group-theoretical methods, group representation theory, symmetry-adapted linear combination method, and circuit theory. To validate the obtained theoretical results, we fulfill both full-wave numerical simulations and microwave experiments. In particular, we have shown that the toroidal dipole mode appears as a quasi-dark state of the trimer. It can be excited in the metasurface by the field of a linearly polarized wave, providing the symmetry of the trimer is properly reduced. In the metasurface, the properties of the toroidal dipole mode are determined primarily by the parameters of a single trimer and are not a consequence of the periodicity of the array. The coupling of the toroidal dipole modes in the twin-trimers can appear in both bonding and anti-bonding fashion resulting in different orders of the net toroidal dipole moment. Due to the unique field configuration of these modes, the proposed metasurfaces can be considered as a platform for efficient light-matter interaction for enhanced absorption, nonlinear switching, and sensing.


title: Phase-Diffusion Equations for the Anisotropic Complex Ginzburg-Landau Equation

abstract: The anisotropic complex Ginzburg-Landau equation (ACGLE) describes slow modulations of patterns in anisotropic spatially extended systems near oscillatory (Hopf) instabilities with zero wavenumbers. Traveling wave solutions to the ACGLE become unstable near Benjamin-Feir-Newell instabilities. We determine two instability conditions in parameter space and study codimension-one (-two) bifurcations that occur if one (two) of the conditions is (are) met. We derive anisotropic Kuramoto-Sivashinsky-type equations that govern the phase of the complex solutions to the ACGLE and generate solutions to the ACGLE from solutions of the phase equations.


title: Effects of spatially-varying substrate anchoring on instabilities and dewetting of thin Nematic Liquid Crystal films

abstract: Partially wetting nematic liquid crystal (NLC) films on substrates are unstable to dewetting-type instabilities due to destablizing solid/NLC interaction forces. These instabilities are modified by the nematic nature of the films, which influences the effective solid/NLC interaction. In this work, we focus on the influence of imposed substrate anchoring on the instability development. The analysis is carried out within a long-wave formulation based on the Leslie-Ericksen description of NLC films. Linear stability analysis of the resulting equations shows that some features of the instability, such as emerging wavelengths, may not be influenced by the imposed substrate anchoring. Going further into the nonlinear regime, considered via large-scale GPU-based simulations, shows however that nonlinear effects may play an important role, in particular in the case of strong substrate anchoring anisotropy. Our simulations show that instability of the film develops in two stages: the first stage involves formation of ridges that are perpendicular to the local anchoring direction; and the second involves breakup of these ridges and formation of drops, whose final distribution is influenced by the anisotropy imposed by the substrate. Finally, we show that imposing more complex substrate anisotropy patterns allows us to reach basic understanding of the influence of substrate-imposed defects in director orientation on the instability evolution.


title: Learning from eXtreme Bandit Feedback

abstract: We study the problem of batch learning from bandit feedback in the setting of extremely large action spaces. Learning from extreme bandit feedback is ubiquitous in recommendation systems, in which billions of decisions are made over sets consisting of millions of choices in a single day, yielding massive observational data. In these large-scale real-world applications, supervised learning frameworks such as eXtreme Multi-label Classification (XMC) are widely used despite the fact that they incur significant biases due to the mismatch between bandit feedback and supervised labels. Such biases can be mitigated by importance sampling techniques, but these techniques suffer from impractical variance when dealing with a large number of actions. In this paper, we introduce a selective importance sampling estimator (sIS) that operates in a significantly more favorable bias-variance regime. The sIS estimator is obtained by performing importance sampling on the conditional expectation of the reward with respect to a small subset of actions for each instance (a form of Rao-Blackwellization). We employ this estimator in a novel algorithmic procedure -- named Policy Optimization for eXtreme Models (POXM) -- for learning from bandit feedback on XMC tasks. In POXM, the selected actions for the sIS estimator are the top-p actions of the logging policy, where p is adjusted from the data and is significantly smaller than the size of the action space. We use a supervised-to-bandit conversion on three XMC datasets to benchmark our POXM method against three competing methods: BanditNet, a previously applied partial matching pruning strategy, and a supervised learning baseline. Whereas BanditNet sometimes improves marginally over the logging policy, our experiments show that POXM systematically and significantly improves over all baselines.


title: Finding Matrix Sequences with a High Asymptotic Growth Rate for Linear Constrained Switching Systems

abstract: Linear constrained switching systems are linear switched systems whose switching sequences are constrained by a deterministic finite automaton. This work investigates how to generate a sequence of matrices with an asymptotic growth rate close to the constrained joint spectral radius (CJSR) for constrained switching systems, based on our previous result that reveals the equivalence of a constrained switching system and a lifted arbitrary switching system. By using the dual solution of a sum-of-squares optimization program, an algorithm is designed for the lifted arbitrary switching system to produce a sequence of matrices with an asymptotic growth rate that is close to the CJSR of the original constrained switching system. It is also shown that a type of existing algorithms designed for arbitrary switching systems can be applied to the lifted system such that the desired sequence of matrices can be generated for the constrained switching system. Several numerical examples are provided to illustrate the better performance of the proposed algorithms compared with existing ones.


title: A "Vertical" Generalization of the binary Goldbach's Conjecture as applied on primes with prime indexes of any order i (i-primes)

abstract: This article is a survey based on our earlier paper ("The 'Vertical' Generalization of the Binary Goldbach's Conjecture as Applied on 'Iterative' Primes with (Recursive) Prime Indexes (i-primeths)" [11]), a paper in which we have proposed a new generalization of the binary/"strong" Goldbach's Conjecture (GC) briefly called "the Vertical Goldbach's Conjecture" (VGC), which is essentially a meta-conjecture, as VGC states an in finite number of Goldbach-like conjectures stronger than GC, which all apply on "iterative" primes with recursive prime indexes (named "i-primes"). VGC was discovered by the author of this paper in 2007, after which it was improved and extended (by computational verifications) until the present (2020). VGC distinguishes as a very important "meta-conjecture" of primes because it states a new class containing an infinite number of conjectures stronger/stricter than GC. VGC has great potential importance in the optimization of the GC experimental verification (including other possible theoretical and practical applications in mathematics and physics). VGC can be also regarded as a very special self-similar property of the distribution of the primes. This present survey contains some new results on VGC.


title: Human-Object Interaction Detection:A Quick Survey and Examination of Methods

abstract: Human-object interaction detection is a relatively new task in the world of computer vision and visual semantic information extraction. With the goal of machines identifying interactions that humans perform on objects, there are many real-world use cases for the research in this field. To our knowledge, this is the first general survey of the state-of-the-art and milestone works in this field. We provide a basic survey of the developments in the field of human-object interaction detection. Many works in this field use multi-stream convolutional neural network architectures, which combine features from multiple sources in the input image. Most commonly these are the humans and objects in question, as well as the spatial quality of the two. As far as we are aware, there have not been in-depth studies performed that look into the performance of each component individually. In order to provide insight to future researchers, we perform an individualized study that examines the performance of each component of a multi-stream convolutional neural network architecture for human-object interaction detection. Specifically, we examine the HORCNN architecture as it is a foundational work in the field. In addition, we provide an in-depth look at the HICO-DET dataset, a popular benchmark in the field of human-object interaction detection. Code and papers can be found at https://github.com/SHI-Labs/Human-Object-Interaction-Detection.


title: Rogue waves with rational profiles in unstable condensate and its solitonic model

abstract: In this brief report we study numerically the spontaneous emergence of rogue waves in (i) modulationally unstable plane wave at its long-time statistically stationary state and (ii) bound-state multi-soliton solutions representing the solitonic model of this state [Gelash et al, PRL 123, 234102 (2019)]. Focusing our analysis on the cohort of the largest rogue waves, we find their practically identical dynamical and statistical properties for both systems, that strongly suggests that the main mechanism of rogue wave formation for the modulational instability case is multi-soliton interaction. Additionally, we demonstrate that most of the largest rogue waves are very well approximated -- simultaneously in space and in time -- by the amplitude-scaled rational breather solution of the second order.


title: Unsupervised Pre-training for Biomedical Question Answering

abstract: We explore the suitability of unsupervised representation learning methods on biomedical text -- BioBERT, SciBERT, and BioSentVec -- for biomedical question answering. To further improve unsupervised representations for biomedical QA, we introduce a new pre-training task from unlabeled data designed to reason about biomedical entities in the context. Our pre-training method consists of corrupting a given context by randomly replacing some mention of a biomedical entity with a random entity mention and then querying the model with the correct entity mention in order to locate the corrupted part of the context. This de-noising task enables the model to learn good representations from abundant, unlabeled biomedical text that helps QA tasks and minimizes the train-test mismatch between the pre-training task and the downstream QA tasks by requiring the model to predict spans. Our experiments show that pre-training BioBERT on the proposed pre-training task significantly boosts performance and outperforms the previous best model from the 7th BioASQ Task 7b-Phase B challenge.


title: Cosmological constraints from higher-redshift gamma-ray burst, HII starburst galaxy, and quasar (and other) data

abstract: We use higher-redshift gamma-ray burst (GRB), HII starburst galaxy (HIIG), and quasar angular size (QSO-AS) measurements to constrain six spatially flat and non-flat cosmological models. These three sets of cosmological constraints are mutually consistent. Cosmological constraints from a joint analysis of these data sets are largely consistent with currently-accelerating cosmological expansion as well as with cosmological constraints derived from a combined analysis of Hubble parameter ($H(z)$) and baryon acoustic oscillation (BAO, with Planck-determined baryonic matter density) measurements. A joint analysis of the $H(z)$ + BAO + QSO-AS + HIIG + GRB data provides fairly model-independent determinations of the non-relativistic matter density parameter $\Omega_{\rm m_0}=0.313\pm0.013$ and the Hubble constant $H_0=69.3\pm1.2\ \rm{km \ s^{-1} \ Mpc^{-1}}$. These data are consistent with the dark energy being a cosmological constant and with spatial hypersurfaces being flat, but they do not rule out mild dark energy dynamics or a little spatial curvature. We also investigate the effect of including quasar flux measurements in the mix and find no novel conclusions.


title: Horizontal transport in oil-spill modeling

abstract: Simulating oil transport in the ocean can be done successfully provided that accurate ocean currents and surface winds are available -- this is often too big of a challenge. Deficient ocean currents can sometimes be remediated by parameterizing missing physics -- this is often not enough. In this chapter, we focus on some of the main problems oil-spill modelers face, which is determining accurate trajectories when the velocity may be missing important physics, or when the velocity has localized errors that result in large trajectory errors. A foundation of physical mechanisms driving motion in the ocean may help identify currents lacking certain types of physics, and the remedy. Recent progress in our understanding of motion in the upper centimeters of the ocean supports unconventional parameterizations; we present as an example the 2003 Point Wells oil spill which had remained unexplained until recently. When the velocity realistically represents trajectory forcing mechanisms, advanced Lagrangian techniques that build on the theory of Lagrangian Coherent Structures can bypass localized velocity errors by identifying regions of attraction likely to dictate fluid deformation. The usefulness of Objective Eulerian Coherent Structures is demonstrated to the oil-spill modeling community by revisiting the 2010 Deepwater Horizon accident in the Gulf of Mexico and predicting a prominent transport pattern from an imperfect altimetry velocity eight days in advance.


title: On Tur\'{a}n numbers of the complete $4$-graphs

abstract: The Tur\'{a}n number $T(n,\alpha+1,r)$ is the minimum number of edges in an $n$-vertex $r$-graph whose independence number does not exceed $\alpha$. For each $r\geq 2$, there exists $t_*(r)$ such that $T(n,\alpha+1,r) = t_*(r) \: n^r \: \alpha^{1-r} \: (1+o(1))$ as $\alpha / r \to\infty$ and $n / \alpha \to\infty$. It is known that $t_*(2) = 1/2$, and the conjectured value of $t_*(3)$ is $2/3$. We prove that $t_*(4) < 0.706335\:$.


title: Limit geometry of complete projective special real manifolds

abstract: We study the limit geometry of complete projective special real manifolds. By limit geometry we mean the limit of the evolution of the defining polynomial and the centro-affine fundamental form along certain curves that leave every compact subset of the initial complete projective special real manifold. We obtain a list of possible limit geometries, which are themselves complete projective special real manifolds, and find a lower bound for the dimension of their respective symmetry groups. We further show that if the initial manifold has regular boundary behaviour, every possible limit geometry is isomorphic to $\mathbb{R}_{>0}\ltimes\mathbb{R}^{n-1}$.


title: Identification of the nature of excitons in PPDT2FBT using electroabsorption spectroscopy

abstract: Electroabsorption (EA) measurements can be used to identify the type of excitons contributing to the absorption spectra of semiconductors which have applications in optoelectronics. However, the inferences from the EA measurement greatly depend on the method of fitting and extraction of parameters from the measured spectra. We deconstruct the absorption spectrum by fitting multiple Gaussians and obtain the relative contribution of first and second derivative of each absorption band in EA spectrum, which gives indication of the Frenkel, charge transfer or mixed nature of the excitons involved. We check the applicability of the method for pentacene which is widely used and well studied organic semiconductor. We report EA measurements of poly[(2,5-bis(2-hexyldecyloxy)-phenylene)-alt-(5,6-difluoro-4,7-di(thiophen-2-yl)benzo[c]-[1,2,5]-thiadiazole)] (PPDT2FBT). Our analysis shows that besides the feature around 3.07 eV, which is strongly Frenkel-like, most of the absorption bands for PPDT2FBT are mixed states, having relatively high charge transfer contributions. Since charge transfer excitons have higher dissociation efficiencies, we infer PPDT2FBT to be a promising candidate for photovoltaic applications.


title: Deployable Tensegrity Lunar Tower

abstract: A tensegrity tower design to support a given payload for the moon mining operation is proposed in this paper. A non-linear optimization problem for the minimal-mass structure design is posed and solved, subject to the yielding constraints for strings and yielding and buckling constraints for bars in the presence of lunar gravity. The optimization variables for this non-linear problem are structural complexity and pre-stress in the strings. Apart from local failure constraints of yielding and buckling, global buckling is also considered. The structure designed as a deployable tower is a TnD1 tensegrity structure. A case study demonstrates the feasibility and advantage of the tower design. The principles developed in this paper are also applicable for building other structures on the Earth or other planets.


title: Travelling-wave behaviour in doubly nonlinear reaction-diffusion equations

abstract: We study a family of reaction-diffusion equations that present a doubly nonlinear character given by a combination of the $p$-Laplacian and the porous medium operators. We consider the so-called slow diffusion regime, corresponding to a degenerate behaviour at the level 0, \normalcolor in which nonnegative solutions with compactly supported initial data have a compact support for any later time. For some results we will also require $p\ge2$ to avoid the possibility of a singular behaviour away from 0. Problems in this family have a unique (up to translations) travelling wave with a finite front. When the initial datum is bounded, radially symmetric and compactly supported, we will prove that solutions converging to 1 (which exist, as we show, for all the reaction terms under consideration for wide classes of initial data) do so by approaching a translation of this unique traveling wave in the radial direction, but with a logarithmic correction in the position of the front when the dimension is bigger than one. As a corollary we obtain the asymptotic location of the free boundary and level sets in the non-radial case up to an error term of size $O(1)$. In dimension one we extend our results to cover the case of non-symmetric initial data, as well as the case of bounded initial data with supporting sets unbounded in one direction of the real line. A main technical tool of independent interest is an estimate for the flux. Most of our results are new even for the special cases of the porous medium equation and the $p$-Laplacian evolution equation.


title: Control oriented modeling of TCLs

abstract: Thermostatically controlled loads (TCLs) have the potential to be a valuable resource for the Balancing Authority (BA) of the future. Examples of TCLs include household appliances such as air conditioners, water heaters, and refrigerators. Since the rated power of each TCL is on the order of kilowatts, to provide meaningful service for the BA, it is necessary to control large collections of TCLs. To perform design of a distributed coordination/control algorithm, the BA requires a control oriented model that describes the relevant dynamics of an ensemble. Works focusing on solely modeling the ensemble date back to the 1980's, while works focusing on control oriented modeling are more recent. In this work, we contribute to the control oriented modeling literature. We leverage techniques from computational fluid dynamics (CFD) to discretize a pair of Fokker-Planck equations derived in earlier work [1]. The discretized equations are shown to admit a certain factorization, which makes the developed model useful for control design. In particular, the effects of weather and control are shown to independently effect the system dynamics.


title: Decentralized Age-of-Information Bandits

abstract: Age-of-Information (AoI) is a performance metric for scheduling systems that measures the freshness of the data available at the intended destination. AoI is formally defined as the time elapsed since the destination received the recent most update from the source. We consider the problem of scheduling to minimize the cumulative AoI in a multi-source multi-channel setting. Our focus is on the setting where channel statistics are unknown and we model the problem as a distributed multi-armed bandit problem. For an appropriately defined AoI regret metric, we provide analytical performance guarantees of an existing UCB-based policy for the distributed multi-armed bandit problem. In addition, we propose a novel policy based on Thomson Sampling and a hybrid policy that tries to balance the trade-off between the aforementioned policies. Further, we develop AoI-aware variants of these policies in which each source takes its current AoI into account while making decisions. We compare the performance of various policies via simulations.


title: A non-local coupling model involving three fractional laplacians

abstract: In this article we study a non-local diffusion problem that involves three different fractional Laplacian operators acting on two domains. Each domain has an associated operator that governs the diffusion on it, and the third operator serves as a coupling mechanism between the two of them. The model proposed is the gradient flow of a non-local energy functional. In the first part of the article we provide results about existence of solutions and the conservation of mass. The second part encompasses results about the Lp decay of the solutions. The third part is devoted to study the asymptotic behavior of the solutions of the problem when the two domains are a ball and its complementary. Exterior fractional Sobolev and Nash inequalities of independent interest are also provided in an appendix.


title: Characters of twisted fractional linear groups

abstract: We determine character tables for twisted fractional linear groups that form the `other' family in Zassenhaus' classification of finite sharply 3-transitive groups.


title: A model-based approach to assess epidemic risk

abstract: We study how international flights can facilitate the spread of an epidemic to a worldwide scale. We combine an infrastructure network of flight connections with a population density dataset to derive the mobility network, and then we define an epidemic framework to model the spread of the disease. Our approach combines a compartmental SEIRS model with a graph diffusion model to capture the clusteredness of the distribution of the population. The resulting model is characterised by the dynamics of a metapopulation SEIRS, with amplification or reduction of the infection rate which is determined also by the mobility of individuals. We use simulations to characterise and study a variety of realistic scenarios that resemble the recent spread of COVID-19. Crucially, we define a formal framework that can be used to design epidemic mitigation strategies: we propose an optimisation approach based on genetic algorithms that can be used to identify an optimal airport closure strategy, and that can be employed to aid decision making for the mitigation of the epidemic, in a timely manner.


title: More About QCD 3 On The World Sheet

abstract: In this article, we extend the world sheet treatment of planar QCD in 1+2 dimensions from an earlier work. The starting point is a field theory that lives on the world sheet, parametrized by the light cone variables. In the present work, we generalize and extend the variational approach introduced earlier to get sharper results. An iterative solution to the variational equations leads to a solitonic ground state, and fluctuations around this ground state signals formation of a string on the world sheet. At high energies, the asymptotic limit of the string trajectory is linear, with calculable corrections at lower energies.


title: Analysis of label noise in graph-based semi-supervised learning

abstract: In machine learning, one must acquire labels to help supervise a model that will be able to generalize to unseen data. However, the labeling process can be tedious, long, costly, and error-prone. It is often the case that most of our data is unlabeled. Semi-supervised learning (SSL) alleviates that by making strong assumptions about the relation between the labels and the input data distribution. This paradigm has been successful in practice, but most SSL algorithms end up fully trusting the few available labels. In real life, both humans and automated systems are prone to mistakes; it is essential that our algorithms are able to work with labels that are both few and also unreliable. Our work aims to perform an extensive empirical evaluation of existing graph-based semi-supervised algorithms, like Gaussian Fields and Harmonic Functions, Local and Global Consistency, Laplacian Eigenmaps, Graph Transduction Through Alternating Minimization. To do that, we compare the accuracy of classifiers while varying the amount of labeled data and label noise for many different samples. Our results show that, if the dataset is consistent with SSL assumptions, we are able to detect the noisiest instances, although this gets harder when the number of available labels decreases. Also, the Laplacian Eigenmaps algorithm performed better than label propagation when the data came from high-dimensional clusters.


title: Recognition and Synthesis of Object Transport Motion

abstract: Deep learning typically requires vast numbers of training examples in order to be used successfully. Conversely, motion capture data is often expensive to generate, requiring specialist equipment, along with actors to generate the prescribed motions, meaning that motion capture datasets tend to be relatively small. Motion capture data does however provide a rich source of information that is becoming increasingly useful in a wide variety of applications, from gesture recognition in human-robot interaction, to data driven animation. This project illustrates how deep convolutional networks can be used, alongside specialized data augmentation techniques, on a small motion capture dataset to learn detailed information from sequences of a specific type of motion (object transport). The project shows how these same augmentation techniques can be scaled up for use in the more complex task of motion synthesis. By exploring recent developments in the concept of Generative Adversarial Models (GANs), specifically the Wasserstein GAN, this project outlines a model that is able to successfully generate lifelike object transportation motions, with the generated samples displaying varying styles and transport strategies.


title: Beyond COVID-19: Network science and sustainable exit strategies

abstract: On May $28^{th}$ and $29^{th}$, a two day workshop was held virtually, facilitated by the Beyond Center at ASU and Moogsoft Inc. The aim was to bring together leading scientists with an interest in Network Science and Epidemiology to attempt to inform public policy in response to the COVID-19 pandemic. Epidemics are at their core a process that progresses dynamically upon a network, and are a key area of study in Network Science. In the course of the workshop a wide survey of the state of the subject was conducted. We summarize in this paper a series of perspectives of the subject, and where the authors believe fruitful areas for future research are to be found.


title: Simultaneous Relevance and Diversity: A New Recommendation Inference Approach

abstract: Relevance and diversity are both important to the success of recommender systems, as they help users to discover from a large pool of items a compact set of candidates that are not only interesting but exploratory as well. The challenge is that relevance and diversity usually act as two competing objectives in conventional recommender systems, which necessities the classic trade-off between exploitation and exploration. Traditionally, higher diversity often means sacrifice on relevance and vice versa. We propose a new approach, heterogeneous inference, which extends the general collaborative filtering (CF) by introducing a new way of CF inference, negative-to-positive. Heterogeneous inference achieves divergent relevance, where relevance and diversity support each other as two collaborating objectives in one recommendation model, and where recommendation diversity is an inherent outcome of the relevance inference process. Benefiting from its succinctness and flexibility, our approach is applicable to a wide range of recommendation scenarios/use-cases at various sophistication levels. Our analysis and experiments on public datasets and real-world production data show that our approach outperforms existing methods on relevance and diversity simultaneously.


title: Impact of LHC Higgs couplings measurements on bosonic decays of the neutral Higgs sector in the scNMSSM

abstract: We analyze the Next-to-minimal supersymmetric standard model with Grand unification boundary conditions under current theoretical and experimental constraints. We compute the mass spectrum of the model and focus on the three lightest particles in the Higgs sector (two CP-even scalars, $h_1, h_2$, and one CP-odd, $a_1$). The reduced couplings of such particles, singlet-doublet components, their branching ratios to bosons, and reduced cross-section to photons and massive gauge bosons via gluon fusion are thoroughly and systematically scrutinized. Our analysis is focused on the parameter space where the singlet-doublet coupling $\lambda$ is as large as possible (keeping the perturbativity bound intact) and the ratio between the vacuum expectation values of the up-type and down-type Higgses ($\tan{\beta}$) is as small as possible, which is the region representing the most natural case of the NMSSM. We show the impact of recent constraints from the LHC on the SM-Higgs couplings to bosons and fermions on the parameter space of the model and the consequent implications on the Higgs sector. The results show that while the model is still able to account for current data and provide an opportunity for discovery of extended Higgs sectors, recent LHC Higgs couplings constraints rule-out parts of the parameter space where $h_2$ (non-SM-like) and $a_1$ are non-singlet with masses below ~400 GeV.


title: 3-D Statistical Indoor Channel Model for Millimeter-Wave and Sub-Terahertz Bands

abstract: Millimeter-wave (mmWave) and Terahertz (THz) will be used in the sixth-generation (6G) wireless systems, especially for indoor scenarios. This paper presents an indoor three-dimensional (3-D) statistical channel model for mmWave and sub-THz frequencies, which is developed from extensive channel propagation measurements conducted in an office building at 28 GHz and 140 GHz in 2014 and 2019. Over 15,000 power delay profiles (PDPs) were recorded to study channel statistics such as the number of time clusters, cluster delays, and cluster powers. All the parameters required in the channel generation procedure are derived from empirical measurement data for 28 GHz and 140 GHz line-of-sight (LOS) and non-line-of-sight (NLOS) scenarios. The channel model is validated by showing that the simulated root mean square (RMS) delay spread and RMS angular spread yield good agreements with measured values. An indoor channel simulation software is built upon the popular NYUSIM outdoor channel simulator, which can generate realistic channel impulse response, PDP, and power angular spectrum.


title: Multiple polarization orders in individual twinned colloidal nanocrystals of centrosymmetric HfO2

abstract: Spontaneous polarization is essential for ferroelectric functionality in non-centrosymmetric crystals. High-integration-density ferroelectric devices require the stabilization of ferroelectric polarization in small volumes. Here, atomic-resolution transmission electron microscopy imaging reveals that twinning-induced symmetry breaking in colloidal nanocrystals of centrosymmetric HfO2 leads to the formation of multiple polarization orders, which are associated with sub-nanometer ferroelectric and antiferroelectric phases. The minimum size limit of the ferroelectric phase is found to be ~4 nm3. Density functional theory calculations indicate that transformations between the ferroelectric and antiferroelectric phases can be modulated by lattice strain and are energetically possible in either direction. The results of this work provide a route towards applications of HfO2 nanocrystals in information storage at densities that are more than an order of magnitude higher than the scaling limit defined by the nanocrystal size.


title: Symplectic scalar curvature on supermanifolds

abstract: We study the notion of symplectic scalar curvature on the supermanifold over an ordinary Fedosov manifold whose structural sheaf is that of differential forms. In this purely geometric context, we introduce two families of odd super-Fedosov structures, the first one is very general and uses a graded symmetric connection, leading to a vanishing odd symplectic scalar curvature, while the second one is based on a graded non-symmetric connection and has a non-trivial odd symplectic scalar curvature. As a simple example of the second case, we determine that curvature when the base Fedosov manifold is the torus.


title: Playing Carcassonne with Monte Carlo Tree Search

abstract: Monte Carlo Tree Search (MCTS) is a relatively new sampling method with multiple variants in the literature. They can be applied to a wide variety of challenging domains including board games, video games, and energy-based problems to mention a few. In this work, we explore the use of the vanilla MCTS and the MCTS with Rapid Action Value Estimation (MCTS-RAVE) in the game of Carcassonne, a stochastic game with a deceptive scoring system where limited research has been conducted. We compare the strengths of the MCTS-based methods with the Star2.5 algorithm, previously reported to yield competitive results in the game of Carcassonne when a domain-specific heuristic is used to evaluate the game states. We analyse the particularities of the strategies adopted by the algorithms when they share a common reward system. The MCTS-based methods consistently outperformed the Star2.5 algorithm given their ability to find and follow long-term strategies, with the vanilla MCTS exhibiting a more robust game-play than the MCTS-RAVE.


title: VATLD: A Visual Analytics System to Assess, Understand and Improve Traffic Light Detection

abstract: Traffic light detection is crucial for environment perception and decision-making in autonomous driving. State-of-the-art detectors are built upon deep Convolutional Neural Networks (CNNs) and have exhibited promising performance. However, one looming concern with CNN based detectors is how to thoroughly evaluate the performance of accuracy and robustness before they can be deployed to autonomous vehicles. In this work, we propose a visual analytics system, VATLD, equipped with a disentangled representation learning and semantic adversarial learning, to assess, understand, and improve the accuracy and robustness of traffic light detectors in autonomous driving applications. The disentangled representation learning extracts data semantics to augment human cognition with human-friendly visual summarization, and the semantic adversarial learning efficiently exposes interpretable robustness risks and enables minimal human interaction for actionable insights. We also demonstrate the effectiveness of various performance improvement strategies derived from actionable insights with our visual analytics system, VATLD, and illustrate some practical implications for safety-critical applications in autonomous driving.


title: Robust regression with covariate filtering: Heavy tails and adversarial contamination

abstract: We study the problem of linear regression where both covariates and responses are potentially (i) heavy-tailed and (ii) adversarially contaminated. Several computationally efficient estimators have been proposed for the simpler setting where the covariates are sub-Gaussian and uncontaminated; however, these estimators may fail when the covariates are either heavy-tailed or contain outliers. In this work, we show how to modify the Huber regression, least trimmed squares, and least absolute deviation estimators to obtain estimators which are simultaneously computationally and statistically efficient in the stronger contamination model. Our approach is quite simple, and consists of applying a filtering algorithm to the covariates, and then applying the classical robust regression estimators to the remaining data. We show that the Huber regression estimator achieves near-optimal error rates in this setting, whereas the least trimmed squares and least absolute deviation estimators can be made to achieve near-optimal error after applying a postprocessing step.


title: The similarity method and explicit solutions for the fractional space one-phase Stefan problems

abstract: In this paper we obtain self-similarity solutions for a one-phase one-dimensional fractional space one-phase Stefan problem in terms of the three parametric Mittag-Leffer function $E_{\alpha,m;l}(z)$. We consider Dirichlet and Newmann conditions at the fixed face, involving Caputo fractional space derivatives of order $0 < \alpha < 1$. We recover the solution for the classical one-phase Stefan problem when the order of the Caputo derivatives approaches one.


title: Equivalence of Hidden Markov Models with Continuous Observations

abstract: We consider Hidden Markov Models that emit sequences of observations that are drawn from continuous distributions. For example, such a model may emit a sequence of numbers, each of which is drawn from a uniform distribution, but the support of the uniform distribution depends on the state of the Hidden Markov Model. Such models generalise the more common version where each observation is drawn from a finite alphabet. We prove that one can determine in polynomial time whether two Hidden Markov Models with continuous observations are equivalent.


title: Moral Framing and Ideological Bias of News

abstract: News outlets are a primary source for many people to learn what is going on in the world. However, outlets with different political slants, when talking about the same news story, usually emphasize various aspects and choose their language framing differently. This framing implicitly shows their biases and also affects the reader's opinion and understanding. Therefore, understanding the framing in the news stories is fundamental for realizing what kind of view the writer is conveying with each news story. In this paper, we describe methods for characterizing moral frames in the news. We capture the frames based on the Moral Foundation Theory. This theory is a psychological concept which explains how every kind of morality and opinion can be summarized and presented with five main dimensions. We propose an unsupervised method that extracts the framing Bias and the framing Intensity without any external framing annotations provided. We validate the performance on an annotated twitter dataset and then use it to quantify the framing bias and partisanship of news.


title: Experimental Investigation of the Effects of Gas Oil and Benzene on the Geotechnical Properties of Sandy Soils

abstract: In recent years, contamination of soils by different hydrocarbon has drawn the attention of geotechnical engineers. However, to our knowledge, no systematic studies have been conducted to investigate the effects of gas oil and benzene contamination on the geotechnical properties of sandy soils. Therefore, the present study investigates the impact of gas oil and benzene contamination on the geotechnical properties of two kinds of sandy soil using several laboratory tests such as direct shear, compaction, and permeability tests. The compaction test results showed that optimum moisture content declined in oil-contaminated samples. Otherwise, the maximum dry density increased up to 5% oil content and then decreased by adding oil to the sandy soils. The direct shear test indicated that cohesion increased and friction angle decreased after oil contamination. The result of the permeability test revealed that contamination caused a decrease in permeability of sandy soil and the change was a function of oil content and viscosity of oils


title: Parametric UMAP embeddings for representation and semi-supervised learning

abstract: UMAP is a non-parametric graph-based dimensionality reduction algorithm using applied Riemannian geometry and algebraic topology to find low-dimensional embeddings of structured data. The UMAP algorithm consists of two steps: (1) Compute a graphical representation of a dataset (fuzzy simplicial complex), and (2) Through stochastic gradient descent, optimize a low-dimensional embedding of the graph. Here, we extend the second step of UMAP to a parametric optimization over neural network weights, learning a parametric relationship between data and embedding. We first demonstrate that Parametric UMAP performs comparably to its non-parametric counterpart while conferring the benefit of a learned parametric mapping (e.g. fast online embeddings for new data). We then explore UMAP as a regularization, constraining the latent distribution of autoencoders, parametrically varying global structure preservation, and improving classifier accuracy for semi-supervised learning by capturing structure in unlabeled data. Google Colab walkthrough: https://colab.research.google.com/drive/1WkXVZ5pnMrm17m0YgmtoNjM_XHdnE5Vp?usp=sharing


title: Quantum soundness of the classical low individual degree test

abstract: Low degree tests play an important role in classical complexity theory, serving as basic ingredients in foundational results such as $\mathsf{MIP} = \mathsf{NEXP}$ [BFL91] and the PCP theorem [AS98,ALM+98]. Over the last ten years, versions of these tests which are sound against quantum provers have found increasing applications to the study of nonlocal games and the complexity class~$\mathsf{MIP}^*$. The culmination of this line of work is the result $\mathsf{MIP}^* = \mathsf{RE}$ [arXiv:2001.04383]. One of the key ingredients in the first reported proof of $\mathsf{MIP}^* = \mathsf{RE}$ is a two-prover variant of the low degree test, initially shown to be sound against multiple quantum provers in [arXiv:1302.1242]. Unfortunately a mistake was recently discovered in the latter result, invalidating the main result of [arXiv:1302.1242] as well as its use in subsequent works, including [arXiv:2001.04383]. We analyze a variant of the low degree test called the low individual degree test. Our main result is that the two-player version of this test is sound against quantum provers. This soundness result is sufficient to re-derive several bounds on~$\mathsf{MIP}^*$ that relied on [arXiv:1302.1242], including $\mathsf{MIP}^* = \mathsf{RE}$.


title: The Relationship between Major Depression Symptom Severity and Sleep Collected Using a Wristband Wearable Device: Multi-centre Longitudinal Observational Study

abstract: Research in mental health has implicated sleep pathologies with depression. However, the gold standard for sleep assessment, polysomnography, is not suitable for long-term, continuous, monitoring of daily sleep, and methods such as sleep diaries rely on subjective recall, which is qualitative and inaccurate. Wearable devices, on the other hand, provide a low-cost and convenient means to monitor sleep in home settings. The main aim of this study was to devise and extract sleep features, from data collected using a wearable device, and analyse their correlation with depressive symptom severity and sleep quality, as measured by the self-assessed Patient Health Questionnaire 8-item. Daily sleep data were collected passively by Fitbit wristband devices, and depressive symptom severity was self-reported every two weeks by the PHQ-8. The data used in this paper included 2,812 PHQ-8 records from 368 participants recruited from three study sites in the Netherlands, Spain, and the UK.We extracted 21 sleep features from Fitbit data which describe sleep in the following five aspects: sleep architecture, sleep stability, sleep quality, insomnia, and hypersomnia. Linear mixed regression models were used to explore associations between sleep features and depressive symptom severity. The z-test was used to evaluate the significance of the coefficient of each feature. We tested our models on the entire dataset and individually on the data of three different study sites. We identified 16 sleep features that were significantly correlated with the PHQ-8 score on the entire dataset. Associations between sleep features and the PHQ-8 score varied across different sites, possibly due to the difference in the populations.


title: Deep learning analysis of intracranial EEG for recognizing drug effects and mechanisms of action

abstract: Drug-target interaction (DTI) prediction has become a foundational task in drug repositioning, polypharmacology, drug discovery, as well as drug resistance and side-effect prediction. DTI identification using machine learning is gaining popularity in these research areas. Through the years, numerous deep learning methods have been proposed for DTI prediction. Nevertheless, prediction accuracy and efficiency remain key challenges. Pharmaco-electroencephalogram (pharmaco-EEG) is considered valuable in the development of central nervous system-active drugs. Quantitative EEG analysis demonstrates high reliability in studying the effects of drugs on the brain. Earlier preclinical pharmaco-EEG studies showed that different types of drugs can be classified according to their mechanism of action on neural activity. Here, we propose a convolutional neural network for EEG-mediated DTI prediction. This new approach can explain the mechanisms underlying complicated drug actions, as it allows the identification of similarities in the mechanisms of action and effects of psychotropic drugs.


title: Two-dimensional Janus van der Waals heterojunctions: a review of recent research progresses

abstract: Two-dimensional Janus van der Waals (vdW) heterojunctions, referring to the junction containing at least one Janus material, are found to exhibit tuneable electronic structures, wide light adsorption spectra, controllable contact resistance, and sufficient redox potential due to the intrinsic polarization and unique interlayer coupling. These novel structures and properties are promising for the potential applications in electronics and energy conversion devices. To provide a comprehensive picture about the research progress and guide the following investigations, here we summarize their fundamental properties of different types of two-dimensional Janus vdW heterostructures including electronic structure, interface contact and optical properties, and discuss the potential applications in electronics and energy conversion devices. The further challenges and possible research directions of the novel heterojunctions are discussed at the end of this review.


title: Lower $N$-weighted Ricci curvature bound with $\varepsilon$-range and displacement convexity of entropies

abstract: In the present article, we provide a characterization of a lower $N$-weighted Ricci curvature bound for $N \in ]-\infty,1]\cup[n,+\infty]$ with $\varepsilon$-range introduced by Lu-Minguzzi-Ohta in terms of a convexity of entropies over Wasserstein space. We further derive various interpolation inequalities and functional inequalities.


title: AIM 2020 Challenge on Video Temporal Super-Resolution

abstract: Videos in the real-world contain various dynamics and motions that may look unnaturally discontinuous in time when the recordedframe rate is low. This paper reports the second AIM challenge on Video Temporal Super-Resolution (VTSR), a.k.a. frame interpolation, with a focus on the proposed solutions, results, and analysis. From low-frame-rate (15 fps) videos, the challenge participants are required to submit higher-frame-rate (30 and 60 fps) sequences by estimating temporally intermediate frames. To simulate realistic and challenging dynamics in the real-world, we employ the REDS_VTSR dataset derived from diverse videos captured in a hand-held camera for training and evaluation purposes. There have been 68 registered participants in the competition, and 5 teams (one withdrawn) have competed in the final testing phase. The winning team proposes the enhanced quadratic video interpolation method and achieves state-of-the-art on the VTSR task.


title: Optical features of AdS black holes in the novel 4D Einstein-Gauss-Bonnet gravity coupled to nonlinear electrodynamics

abstract: An alternative theory of gravity that has attracted much attention recently is the novel four-dimensional Einstein-Gauss-Bonnet (4D EGB) gravity. The theory is rescaled by the Gauss-Bonnet (GB) coupling constant $\alpha \rightarrow \alpha/(D - 4)$ in $ D $ dimensions and redefined as four-dimensional gravity in the limit $D \rightarrow 4$. Thus, in this manner, the GB term yields a non-trivial contribution to the gravitational dynamics. In fact, regularized black hole solutions and applications in the novel 4D EGB gravity have also been extensively explored. In this work, motivated by recent astrophysical observations, we present an in-depth study of the optical features of AdS black holes in the novel 4D EGB gravity coupled to exponential nonlinear electrodynamics (NED), such as the shadow geometrical shape, the energy emission rate, the deflection angle and quasinormal modes. Taking into account these dynamic quantities, we investigate the effects on the black hole solution by varying the parameters of the models. More specifically, we show that the variation of the GB and NED parameters, and of the cosmological constant, imprints specific signatures on the optical features of AdS black holes in the novel 4D EGB gravity coupled to nonlinear electrodynamics, thus leading to the possibility of directly testing these black hole models by using astrophysical observations.


title: Tree densities in sparse graph classes

abstract: What is the maximum number of copies of a fixed forest $T$ in an $n$-vertex graph in a graph class $\mathcal{G}$ as $n\to \infty$? We answer this question for a variety of sparse graph classes $\mathcal{G}$. In particular, we show that the answer is $\Theta(n^{\alpha_d(T)})$ where $\alpha_d(T)$ is the size of the largest stable set in the subforest of $T$ induced by the vertices of degree at most $d$, for some integer $d$ that depends on $\mathcal{G}$. For example, when $\mathcal{G}$ is the class of $k$-degenerate graphs then $d=k$; when $\mathcal{G}$ is the class of graphs containing no $K_{s,t}$-minor ($t\geq s$) then $d=s-1$; and when $\mathcal{G}$ is the class of $k$-planar graphs then $d=2$. All these results are in fact consequences of a single lemma in terms of a finite set of excluded subgraphs.


title: Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic

abstract: Beginning with a simple semantics for propositions, based on counting observations, it is shown that probabilistic and fuzzy logic correspond to two different heuristic assumptions regarding the combination of propositions whose evidence bases are not currently available. These two different heuristic assumptions lead to two different sets of formulas for propagating quantitative truth values through lattice operations. It is shown that these two sets of formulas provide a natural grounding for the multiplicative and additive operator-sets in linear logic. The standard rules of linear logic then emerge as consequences of the underlying semantics. The concept of linear logic as a ``logic of resources" is manifested here via the principle of ``conservation of evidence" -- the restrictions to weakening and contraction in linear logic serve to avoid double-counting of evidence (beyond any double-counting incurred via use of heuristic truth value functions).


title: Long-Tailed Classification by Keeping the Good and Removing the Bad Momentum Causal Effect

abstract: As the class size grows, maintaining a balanced dataset across many classes is challenging because the data are long-tailed in nature; it is even impossible when the sample-of-interest co-exists with each other in one collectable unit, e.g., multiple visual instances in one image. Therefore, long-tailed classification is the key to deep learning at scale. However, existing methods are mainly based on re-weighting/re-sampling heuristics that lack a fundamental theory. In this paper, we establish a causal inference framework, which not only unravels the whys of previous methods, but also derives a new principled solution. Specifically, our theory shows that the SGD momentum is essentially a confounder in long-tailed classification. On one hand, it has a harmful causal effect that misleads the tail prediction biased towards the head. On the other hand, its induced mediation also benefits the representation learning and head prediction. Our framework elegantly disentangles the paradoxical effects of the momentum, by pursuing the direct causal effect caused by an input sample. In particular, we use causal intervention in training, and counterfactual reasoning in inference, to remove the "bad" while keep the "good". We achieve new state-of-the-arts on three long-tailed visual recognition benchmarks: Long-tailed CIFAR-10/-100, ImageNet-LT for image classification and LVIS for instance segmentation.


title: Distributed Maximization of Submodular and Approximately Submodular Functions

abstract: We study the problem of maximizing a submodular function, subject to a cardinality constraint, with a set of agents communicating over a connected graph. We propose a distributed greedy algorithm that allows all the agents to converge to a near-optimal solution to the global maximization problem using only local information and communication with neighbors in the graph. The near-optimal solution approaches the (1-1/e) approximation of the optimal solution to the global maximization problem with an additive factor that depends on the number of communication steps in the algorithm. We then analyze convergence guarantees of the proposed algorithm. This analysis reveals a tradeoff between the number of communication steps and the performance of the algorithm. Finally, we extend our analysis to nonsubmodular settings, using the notion of approximate submodularity.