title: A gender equality paradox in academic publishing: Countries with a higher proportion of female first-authored journal articles have larger first author gender disparities between fields

abstract: Current attempts to address the shortfall of female researchers in Science, Technology, Engineering and Mathematics (STEM) have not yet succeeded despite other academic subjects having female majorities. This article investigates the extent to which gender disparities are subject-wide or nation-specific by a first author gender comparison of 30 million articles from all 27 Scopus broad fields within the 31 countries with the most Scopus-indexed articles 2014-18. The results show overall and geocultural patterns as well as individual national differences. Almost half of the subjects were always more male (7; e.g., Mathematics) or always more female (6; e.g., Immunology & Microbiology) than the national average. A strong overall trend (Spearman correlation 0.546) is for countries with a higher proportion of female first-authored research to also have larger differences in gender disparities between fields (correlation 0.314 for gender ratios). This confirms the international gender equality paradox previously found for degree subject choices: increased gender equality overall associates with moderately greater gender differentiation between subjects. This is consistent with previous USA-based claims that gender differences in academic careers are partly due to (socially constrained) gender differences in personal preferences. Radical solutions may therefore be needed for some STEM subjects to overcome gender disparities.


title: A restricted nonlocal operator bridging together the Laplacian and the Fractional Laplacian

abstract: In this work we introduce volume constraint problems involving the nonlocal operator $(-\Delta)_{\delta}^{s}$, closely related to the fractional Laplacian $(-\Delta)^{s}$, and depending upon a parameter $\delta>0$ called horizon. We study the associated linear and spectral problems and the behavior of these volume constraint problems when $\delta\to0^+$ and $\delta\to+\infty$. Through these limit processes on $(-\Delta)_{\delta}^{s}$ we derive spectral convergence to the local Laplacian and to the fractional Laplacian as $\delta\to 0^+$ and $\delta \to +\infty$ respectively, as well as we prove the convergence of solutions of these problems to solutions of a local Dirichlet problem involving $(-\Delta)$ as $\delta\to0^+$ or to solutions of a nonlocal fractional Dirichlet problem involving $(-\Delta)^s$ as $\delta\to+\infty$.


title: DAN-SNR: A Deep Attentive Network for Social-Aware Next Point-of-Interest Recommendation

abstract: Next (or successive) point-of-interest (POI) recommendation has attracted increasing attention in recent years. Most of the previous studies attempted to incorporate the spatiotemporal information and sequential patterns of user check-ins into recommendation models to predict the target user's next move. However, none of these approaches utilized the social influence of each user's friends. In this study, we discuss a new topic of next POI recommendation and present a deep attentive network for social-aware next POI recommendation called DAN-SNR. In particular, the DAN-SNR makes use of the self-attention mechanism instead of the architecture of recurrent neural networks to model sequential influence and social influence in a unified manner. Moreover, we design and implement two parallel channels to capture short-term user preference and long-term user preference as well as social influence, respectively. By leveraging multi-head self-attention, the DAN-SNR can model long-range dependencies between any two historical check-ins efficiently and weigh their contributions to the next destination adaptively. Also, we carried out a comprehensive evaluation using large-scale real-world datasets collected from two popular location-based social networks, namely Gowalla and Brightkite. Experimental results indicate that the DAN-SNR outperforms seven competitive baseline approaches regarding recommendation performance and is of high efficiency among six neural-network- and attention-based methods.


title: Limiting Bias from Test-Control Interference in Online Marketplace Experiments

abstract: In an A/B test, the typical objective is to measure the total average treatment effect (TATE), which measures the difference between the average outcome if all users were treated and the average outcome if all users were untreated. However, a simple difference-in-means estimator will give a biased estimate of the TATE when outcomes of control units depend on the outcomes of treatment units, an issue we refer to as test-control interference. Using a simulation built on top of data from Airbnb, this paper considers the use of methods from the network interference literature for online marketplace experimentation. We model the marketplace as a network in which an edge exists between two sellers if their goods substitute for one another. We then simulate seller outcomes, specifically considering a "status quo" context and "treatment" context that forces all sellers to lower their prices. We use the same simulation framework to approximate TATE distributions produced by using blocked graph cluster randomization, exposure modeling, and the Hajek estimator for the difference in means. We find that while blocked graph cluster randomization reduces the bias of the naive difference-in-means estimator by as much as 62%, it also significantly increases the variance of the estimator. On the other hand, the use of more sophisticated estimators produces mixed results. While some provide (small) additional reductions in bias and small reductions in variance, others lead to increased bias and variance. Overall, our results suggest that experiment design and analysis techniques from the network experimentation literature are promising tools for reducing bias due to test-control interference in marketplace experiments.


title: Bayesian machine scientist to compare data collapses for the Nikuradse dataset

abstract: Ever since Nikuradse's experiments on turbulent friction in 1933, there have been theoretical attempts to describe his measurements by collapsing the data into single-variable functions. However, this approach, which is common in other areas of physics and in other fields, is limited by the lack of rigorous quantitative methods to compare alternative data collapses. Here, we address this limitation by using an unsupervised method to find analytic functions that optimally describe each of the data collapses for the Nikuradse dataset. By descaling these analytic functions, we show that a low dispersion of the scaled data does not guarantee that a data collapse is a good description of the original data. In fact, we find that, out of all the proposed data collapses, the original one proposed by Prandtl and Nikuradse over 80 years ago provides the best description of the data so far, and that it also agrees well with recent experimental data, provided that some model parameters are allowed to vary across experiments.


title: Randomized spectral co-clustering for large-scale directed networks

abstract: Directed networks are broadly used to represent asymmetric relationships among units. Co-clustering aims to cluster the senders and receivers of directed networks simultaneously. In particular, the well-known spectral clustering algorithm could be modified as the spectral co-clustering to co-cluster directed networks. However, large-scale networks pose great computational challenges to it. In this paper, we leverage sketching techniques and derive two randomized spectral co-clustering algorithms, one \emph{random-projection-based} and the other \emph{random-sampling-based}, to accelerate the co-clustering of large-scale directed networks. We theoretically analyze the resulting algorithms under two generative models -- the stochastic co-block model and the degree-corrected stochastic co-block model, and establish their approximation error rates and misclustering error rates, indicating better bounds than the state-of-the-art results of co-clustering literature. Numerically, we design and conduct simulations to support our theoretical results and test the efficiency of the algorithms on real networks with up to millions of nodes. A publicly available R package \textsf{RandClust} is developed for better usability and reproducibility of the proposed methods.


title: CNN based Road User Detection using the 3D Radar Cube

abstract: This letter presents a novel radar based, single-frame, multi-class detection method for moving road users (pedestrian, cyclist, car), which utilizes low-level radar cube data. The method provides class information both on the radar target- and object-level. Radar targets are classified individually after extending the target features with a cropped block of the 3D radar cube around their positions, thereby capturing the motion of moving parts in the local velocity distribution. A Convolutional Neural Network (CNN) is proposed for this classification step. Afterwards, object proposals are generated with a clustering step, which not only considers the radar targets' positions and velocities, but their calculated class scores as well. In experiments on a real-life dataset we demonstrate that our method outperforms the state-of-the-art methods both target- and object-wise by reaching an average of 0.70 (baseline: 0.68) target-wise and 0.56 (baseline: 0.48) object-wise F1 score. Furthermore, we examine the importance of the used features in an ablation study.


title: An algorithmic weakening of the Erd\H{o}s-Hajnal conjecture

abstract: We study the approximability of the Maximum Independent Set (MIS) problem in $H$-free graphs (that is, graphs which do not admit $H$ as an induced subgraph). As one motivation we investigate the following conjecture: for every fixed graph $H$, there exists a constant $\delta > 0$ such that MIS can be $n^{1 - \delta}$-approximated in $H$-free graphs, where $n$ denotes the number of vertices of the input graph. We first prove that a constructive version of the celebrated Erd\H{o}s-Hajnal conjecture implies ours. We then prove that the set of graphs $H$ satisfying our conjecture is closed under the so-called graph substitution. This, together with the known polynomial-time algorithms for MIS in $H$-free graphs (e.g. $P_6$-free and fork-free graphs), implies that our conjecture holds for many graphs $H$ for which the Erd\H{o}s-Hajnal conjecture is still open. We then focus on improving the constant $\delta$ for some graph classes: we prove that the classical Local Search algorithm provides an $OPT^{1-\frac{1}{t}}$-approximation in $K_{t,t}$-free graphs (hence a $\sqrt{OPT}$-approximation in $C_4$-free graphs), and, while there is a simple $\sqrt{n}$-approximation in triangle-free graphs, it cannot be improved to $n^{\frac{1}{4}-\varepsilon}$ for any $\varepsilon > 0$ unless $NP \subseteq BPP$. More generally, we show that there is a constant $c$ such that MIS in graphs of girth $\gamma$ cannot be $n^{\frac{c}{\gamma}}$-approximated. Up to a constant factor in the exponent, this matches the ratio of a known approximation algorithm by Monien and Speckenmeyer, and by Murphy. To the best of our knowledge, this is the first strong (i.e., $\Omega(n^\delta)$ for some $\delta > 0$) inapproximability result for Maximum Independent Set in a proper hereditary class.


title: Fluctuations and correlations of transmission eigenchannels in diffusive media

abstract: Selective excitation of a diffusive system's transmission eigenchannels enables manipulation of its internal energy distribution. The fluctuations and correlations of the eigenchannels' spatial profiles, however, remain unexplored so far. Here we show that the depth profiles of high-transmission eigenchannels exhibit low realization-to-realization fluctuations. Furthermore, our experimental and numerical studies reveal the existence of inter-channel correlations, which are significant for low-transmission eigenchannels. Because high-transmission eigenchannels are robust and independent from other eigenchannels, they can reliably deliver energy deep inside turbid media.


title: Interspecies information systems

abstract: This article introduces a new class of socio-technical systems, interspecies information systems (IIS) by describing several examples of these systems emerging through the use of commercially available data-driven animal-centered technology. When animal-centered technology, such as pet wearables, cow health monitoring, or even wildlife drones captures animal data and inform humans of actions to take towards animals, interspecies information systems emerge. I discuss the importance of understanding them as information systems rather than isolated technology or technology-mediated interactions, and propose a conceptual model capturing the key components and information flow of a general interspecies information system. I conclude by proposing multiple practical challenges that are faced in the successful design, engineering and use of any interspecies information systems where animal data informs human actions.


title: Learning to Update Natural Language Comments Based on Code Changes

abstract: We formulate the novel task of automatically updating an existing natural language comment based on changes in the body of code it accompanies. We propose an approach that learns to correlate changes across two distinct language representations, to generate a sequence of edits that are applied to the existing comment to reflect the source code modifications. We train and evaluate our model using a dataset that we collected from commit histories of open-source software projects, with each example consisting of a concurrent update to a method and its corresponding comment. We compare our approach against multiple baselines using both automatic metrics and human evaluation. Results reflect the challenge of this task and that our model outperforms baselines with respect to making edits.


title: Revisiting Sequence-to-Sequence Video Object Segmentation with Multi-Task Loss and Skip-Memory

abstract: Video Object Segmentation (VOS) is an active research area of the visual domain. One of its fundamental sub-tasks is semi-supervised / one-shot learning: given only the segmentation mask for the first frame, the task is to provide pixel-accurate masks for the object over the rest of the sequence. Despite much progress in the last years, we noticed that many of the existing approaches lose objects in longer sequences, especially when the object is small or briefly occluded. In this work, we build upon a sequence-to-sequence approach that employs an encoder-decoder architecture together with a memory module for exploiting the sequential data. We further improve this approach by proposing a model that manipulates multi-scale spatio-temporal information using memory-equipped skip connections. Furthermore, we incorporate an auxiliary task based on distance classification which greatly enhances the quality of edges in segmentation masks. We compare our approach to the state of the art and show considerable improvement in the contour accuracy metric and the overall segmentation accuracy.


title: Algebraic Approach to Directed Rough Sets

abstract: In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general parthood that are upper-directed, reflexive and antisymmetric for a better behaved groupoidal semantics over the set of roughly equivalent objects by the first author. Another distinct algebraic semantics over the set of approximations, and a new knowledge interpretation are also invented in this research by her. Because of minimal conditions imposed on the relations, neighborhood granulations are used in the construction of all approximations (granular and pointwise). Necessary and sufficient conditions for the lattice of local upper approximations to be completely distributive are proved by the second author. These results are related to formal concept analysis. Applications to student centered learning and decision making are also outlined.


title: Local Constancy of Intersection Numbers

abstract: We prove that, in certain situations, intersection numbers on formal schemes that come in profinite families vary locally constantly in the parameter. To this end, we define the product $S\times M$ of a profinite set $S$ with a locally noetherian formal scheme $M$ and study intersections thereon. Our application is to the Arithmetic Fundamental Lemma of W. Zhang where the result helps to remove a restriction in its recent proof, cf. arXiv:1909.02697.


title: New infinite families of $N$th-order superintegrable systems separating in Cartesian coordinates

abstract: A study is presented of superintegrable quantum systems in two-dimensional Euclidean space $E_2$ allowing the separation of variables in Cartesian coordinates. In addition to the Hamiltonian $H$ and the second order integral of motion $X$, responsible for the separation of variables, they allow a third integral that is a polynomial of order $N\, (N\geq3)$ in the components $p_1, p_2$ of the linear momentum. We focus on doubly exotic potentials, i.e. potentials $V(x, y) = V_1(x) + V_2(y)$ where neither $V_1(x)$ nor $V_2(y)$ satisfy any linear ordinary differential equation. We present two new infinite families of superintegrable systems in $E_2$ with integrals of order $N$ for which $V_1(x)$ and $V_2(y)$ are given by the solution of a nonlinear ODE that passes the Painlev\'e test. This was verified for $3\leq N \leq 10$. We conjecture that this will hold for any doubly exotic potential and for all $N$, and that moreover the potentials will always actually have the Painlev\'e property.


title: Mass Correction to Chiral Kinetic Equations

abstract: We study fermion mass correction to chiral kinetic equations in electromagnetic fields. Different from the chiral limit where fermion number density is the only independent distribution, the number and spin densities are coupled to each other for massive fermion systems. To the first order in $\hbar$, we derived the quantum correction to the classical on-shell condition and the Boltzmann-type transport equations. To the linear order in the fermion mass, the mass correction does not change the structure of the chiral kinetic equations and behaves like additional collision terms. While the mass correction exists already at classical level in general electromagnetic fields, it is only a first order quantum correction in the study of chiral magnetic effect.


title: Racial/ethnic and socioeconomic disparities of Covid-19 attacks rates in Suffolk County communities

abstract: We investigated the dependence of Covid-19 attack rates on demographic and socioeconomic factors for the communities in Suffolk County (Long Island, New York State), presently the 5th most-affected county in the United States. Confirming the previous observations that minorities are disproportionately impacted by the Covid-19 disease, we found that the attack rate is strongly correlated with the minority population proportion, with an alarmingly high $\sim4$-fold attack rate increase for Black and Hispanic populations.


title: Measuring turbulent motion in planet-forming disks with ALMA: A detection around DM Tau and non-detections around MWC 480 and V4046 Sgr

abstract: Turbulence is a crucial factor in many models of planet formation, but it has only been directly constrained among a small number of planet forming disks. Building on the upper limits on turbulence placed in disks around HD 163296 and TW Hya, we present ALMA CO J=2-1 line observations at $\sim0.3"$ (20-50 au) resolution and 80 ms$^{-1}$ channel spacing of the disks around DM Tau, MWC 480, and V4046 Sgr. Using parametric models of disk structure, we robustly detect non-thermal gas motions around DM Tau of between 0.25 c$_s$ and 0.33 c$_s$, with the range dominated by systematic effects, making this one of the only systems with directly measured non-zero turbulence. Using the same methodology, we place stringent upper limits on the non-thermal gas motion around MWC 480 ($<$0.08c$_s$) and V4046 Sgr ($<$0.12 c$_s$). The preponderance of upper limits in this small sample, and the modest turbulence levels consistent with dust studies, suggest that weak turbulence ($\alpha\lesssim10^{-3}$) may be a common, albeit not universal, feature of planet-forming disks. We explore the particular physical conditions around DM Tau that could lead this system to be more turbulent than the others.


title: Newton polytopes and numerical algebraic geometry

abstract: We develop a collection of numerical algorithms which connect ideas from polyhedral geometry and algebraic geometry. The first algorithm we develop functions as a numerical oracle for the Newton polytope of a hypersurface and is based on ideas of Hauenstein and Sottile. Additionally, we construct a numerical tropical membership algorithm which uses the former algorithm as a subroutine. Based on recent results of Esterov, we give an algorithm which recursively solves a sparse polynomial system when the support of that system is either lacunary or triangular. Prior to explaining these results, we give necessary background on polytopes, algebraic geometry, monodromy groups of branched covers, and numerical algebraic geometry.


title: Cheaper Pre-training Lunch: An Efficient Paradigm for Object Detection

abstract: In this paper, we propose a general and efficient pre-training paradigm, Montage pre-training, for object detection. Montage pre-training needs only the target detection dataset while taking only 1/4 computational resources compared to the widely adopted ImageNet pre-training.To build such an efficient paradigm, we reduce the potential redundancy by carefully extracting useful samples from the original images, assembling samples in a Montage manner as input, and using an ERF-adaptive dense classification strategy for model pre-training. These designs include not only a new input pattern to improve the spatial utilization but also a novel learning objective to expand the effective receptive field of the pretrained model. The efficiency and effectiveness of Montage pre-training are validated by extensive experiments on the MS-COCO dataset, where the results indicate that the models using Montage pre-training are able to achieve on-par or even better detection performances compared with the ImageNet pre-training.


title: Best Practices for IoT Security: What Does That Even Mean?

abstract: Best practices for Internet of Things (IoT) security have recently attracted considerable attention worldwide from industry and governments, while academic research has highlighted the failure of many IoT product manufacturers to follow accepted practices. We explore not the failure to follow best practices, but rather a surprising lack of understanding, and void in the literature, on what (generically) "best practice" means, independent of meaningfully identifying specific individual practices. Confusion is evident from guidelines that conflate desired outcomes with security practices to achieve those outcomes. How do best practices, good practices, and standard practices differ? Or guidelines, recommendations, and requirements? Can something be a best practice if it is not actionable? We consider categories of best practices, and how they apply over the lifecycle of IoT devices. For concreteness in our discussion, we analyze and categorize a set of 1014 IoT security best practices, recommendations, and guidelines from industrial, government, and academic sources. As one example result, we find that about 70\% of these practices or guidelines relate to early IoT device lifecycle stages, highlighting the critical position of manufacturers in addressing the security issues in question. We hope that our work provides a basis for the community to build on in order to better understand best practices, identify and reach consensus on specific practices, and then find ways to motivate relevant stakeholders to follow them.


title: Adjoint orbits of $\mathfrak{sl}(2,\mathbb{R})$ and their geometry

abstract: Let $\mathrm{SL}(n,\mathbb{R})$ be the special linear group and $\mathfrak{sl}(n,\mathbb{R})$ its Lie algebra. We study geometric properties associated to the adjoint orbits in the simplest non-trivial case, namely, those of $\mathfrak{sl}(2,\mathbb{R})$. In particular, we show that just three possibilities arise: either the adjoint orbit is a one-sheeted hyperboloid, or a two-sheeted hyperboloid, or else a cone. In addition, we introduce a specific potential and study the corresponding gradient vector field and its dynamics when we restricted to the adjoint orbit. We conclude by describing the symplectic structure on these adjoint orbits coming from the well known Kirillov-Kostant-Souriau symplectic form on coadjoint orbits.


title: Measurement of CKM matrix elements in single top quark $t$-channel production in proton-proton collisions at $\sqrt{s} = $ 13 TeV

abstract: The first direct, model-independent measurement is presented of the modulus of the Cabibbo-Kobayashi-Maskawa (CKM) matrix elements $|V_\mathrm{tb}|$, $|V_\mathrm{td}|$, and $|V_\mathrm{ts}|$, in final states enriched in single top quark $t$-channel events. The analysis uses proton-proton collision data from the LHC, collected during 2016 by the CMS experiment, at a centre-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. Processes directly sensitive to these matrix elements are considered at both the production and decay vertices of the top quark. In the standard model hypothesis of CKM unitarity, a lower limit of $|V_\mathrm{tb}|$ $>$ 0.970 is measured at the 95% confidence level. Several theories beyond the standard model are considered, and by releasing all constraints among the involved parameters, the values $|V_\mathrm{tb}| =$ 0.988 $\pm$ 0.024, and $|V_\mathrm{td}|^2 + |V_\mathrm{ts}|^2 =$ 0.06 $\pm$ 0.06, where the uncertainties include both statistical and systematic components, are measured.


title: Sparse Structures for Multivariate Extremes

abstract: Extreme value statistics provides accurate estimates for the small occurrence probabilities of rare events. While theory and statistical tools for univariate extremes are well-developed, methods for high-dimensional and complex data sets are still scarce. Appropriate notions of sparsity and connections to other fields such as machine learning, graphical models and high-dimensional statistics have only recently been established. This article reviews the new domain of research concerned with the detection and modeling of sparse patterns in rare events. We first describe the different forms of extremal dependence that can arise between the largest observations of a multivariate random vector. We then discuss the current research topics including clustering, principal component analysis and graphical modeling for extremes. Identification of groups of variables which can be concomitantly extreme is also addressed. The methods are illustrated with an application to flood risk assessment.


title: Aim Low, Shoot High: Evading Aimbot Detectors by Mimicking User Behavior

abstract: Current schemes to detect cheating in online games often build on the assumption that the applied cheat takes actions that are drastically different from normal behavior. For instance, an Aimbot for a first-person shooter is used by an amateur player to increase his/her capabilities many times over. Attempts to evade detection would require to reduce the intended effect such that the advantage is presumably lowered into insignificance. We argue that this is not necessarily the case and demonstrate how a professional player is able to make use of an adaptive Aimbot that mimics user behavior to gradually increase performance and thus evades state-of-the-art detection mechanisms. We show this in a quantitative and qualitative evaluation with two professional "Counter-Strike: Global Offensive" players, two open-source Anti-Cheat systems, and the commercially established combination of VAC, VACnet, and Overwatch.


title: A Named Entity Based Approach to Model Recipes

abstract: Traditional cooking recipes follow a structure which can be modelled very well if the rules and semantics of the different sections of the recipe text are analyzed and represented accurately. We propose a structure that can accurately represent the recipe as well as a pipeline to infer the best representation of the recipe in this uniform structure. The Ingredients section in a recipe typically lists down the ingredients required and corresponding attributes such as quantity, temperature, and processing state. This can be modelled by defining these attributes and their values. The physical entities which make up a recipe can be broadly classified into utensils, ingredients and their combinations that are related by cooking techniques. The instruction section lists down a series of events in which a cooking technique or process is applied upon these utensils and ingredients. We model these relationships in the form of tuples. Thus, using a combination of these methods we model cooking recipe in the dataset RecipeDB to show the efficacy of our method. This mined information model can have several applications which include translating recipes between languages, determining similarity between recipes, generation of novel recipes and estimation of the nutritional profile of recipes. For the purpose of recognition of ingredient attributes, we train the Named Entity Relationship (NER) models and analyze the inferences with the help of K-Means clustering. Our model presented with an F1 score of 0.95 across all datasets. We use a similar NER tagging model for labelling cooking techniques (F1 score = 0.88) and utensils (F1 score = 0.90) within the instructions section. Finally, we determine the temporal sequence of relationships between ingredients, utensils and cooking techniques for modeling the instruction steps.


title: Quasi-Normal Modes and Stability of Einstein-Born-Infeld Black Holes in de Sitter Space

abstract: We study gravitational perturbations of electrically charged black holes in (3+1)-dimensional Einstein-Born-Infeld gravity with a positive cosmological constant. For the axial perturbations, we obtain a set of decoupled Schrodinger-type equations, whose formal expressions, in terms of metric functions, are the same as those without cosmological constant, corresponding to the Regge-Wheeler equation in the proper limit. We compute the quasi-normal modes (QNMs) of the decoupled perturbations using the Schutz-Iyer-Will's WKB method. We discuss the stability of the charged black holes by investigating the dependence of quasi-normal frequencies on the parameters of the theory, correcting some errors in the literature. It is found that all the axial perturbations are stable for the cases where the WKB method applies. There are cases where the conventional WKB method does not apply, like the three-turning-points problem, so that a more generalized formalism is necessary for studying their QNMs and stabilities. We find that, for the degenerate horizons with the "point-like" horizons at the origin, the QNMs are quite long-lived, close to the quasi-resonance modes, in addition to the "frozen" QNMs for the Nariai-type horizons and the usual (short-lived) QNMs for the extremal black hole horizons. This is a genuine effect of the branch which does not have the general relativity limit. We also study the exact solution near the (charged) Nariai limit and find good agreements even far beyond the limit for the imaginary frequency parts.


title: EfficientPose: Scalable single-person pose estimation

abstract: Single-person human pose estimation facilitates markerless movement analysis in sports, as well as in clinical applications. Still, state-of-the-art models for human pose estimation generally do not meet the requirements of real-life applications. The proliferation of deep learning techniques has resulted in the development of many advanced approaches. However, with the progresses in the field, more complex and inefficient models have also been introduced, which have caused tremendous increases in computational demands. To cope with these complexity and inefficiency challenges, we propose a novel convolutional neural network architecture, called EfficientPose, which exploits recently proposed EfficientNets in order to deliver efficient and scalable single-person pose estimation. EfficientPose is a family of models harnessing an effective multi-scale feature extractor and computationally efficient detection blocks using mobile inverted bottleneck convolutions, while at the same time ensuring that the precision of the pose configurations is still improved. Due to its low complexity and efficiency, EfficientPose enables real-world applications on edge devices by limiting the memory footprint and computational cost. The results from our experiments, using the challenging MPII single-person benchmark, show that the proposed EfficientPose models substantially outperform the widely-used OpenPose model both in terms of accuracy and computational efficiency. In particular, our top-performing model achieves state-of-the-art accuracy on single-person MPII, with low-complexity ConvNets.


title: Cost Automata, Safe Schemes, and Downward Closures

abstract: In this work we prove decidability of the model-checking problem for safe recursion schemes against properties defined by alternating B-automata. We then exploit this result to show how to compute downward closures of languages of finite trees recognized by safe recursion schemes. Higher-order recursion schemes are an expressive formalism used to define languages of finite and infinite ranked trees by means of fixed points of lambda terms. They extend regular and context-free grammars, and are equivalent in expressive power to the simply typed $\lambda Y$-calculus and collapsible pushdown automata. Safety in a syntactic restriction which limits their expressive power. The class of alternating B-automata is an extension of alternating parity automata over infinite trees; it enhances them with counting features that can be used to describe boundedness properties.


title: On the Generalization Capability of Evolved Counter-propagation Neuro-controllers for Robot Navigation

abstract: Evolving Counter-Propagation Neuro-Controllers (CPNCs), rather than the traditional Feed-Forward Neuro-Controllers (FFNCs), has recently been suggested and tested using simulated robot navigation. It has been demon-strated that both convergence rate and final performance obtained by evolving CPNCs are superior to those obtained by evolving FFNCs. In this paper the maze generalization features of both types of evolved navigation controllers are examined. For this purpose the controllers are tested in an environment that drastically differs from the one used for their training. Moreover, a comparison is carried out of results obtained by single-objective and multi-objective evolution approaches. Using a simulated case-study, the maze generalization capability of the evolved CPNCs is highlighted in both the single and multi-objective cases. In contrast, the evolved FFNCs are found to lack such capabilities in both approaches.


title: Supernova neutrino scattering off Gadolinium odd isotopes in water Cherenkov detectors

abstract: In this work, the supernova neutrino(SN) charged-current interactions with Gd odd isotopes (A=155 and 157) are studied. We use measured spectra and the quasiparticle-phonon model (MQPM) to calculate the charged current response of odd Gd isotopes to supernova neutrinos. Flux-averaged cross-sections are obtained considering quasi-thermal neutrino spectra.


title: Towards Discourse Parsing-inspired Semantic Storytelling

abstract: Previous work of ours on Semantic Storytelling uses text analytics procedures including Named Entity Recognition and Event Detection. In this paper, we outline our longer-term vision on Semantic Storytelling and describe the current conceptual and technical approach. In the project that drives our research we develop AI-based technologies that are verified by partners from industry. One long-term goal is the development of an approach for Semantic Storytelling that has broad coverage and that is, furthermore, robust. We provide first results on experiments that involve discourse parsing, applied to a concrete use case, "Explore the Neighbourhood!", which is based on a semi-automatically collected data set with documents about noteworthy people in one of Berlin's districts. Though automatically obtaining annotations for coherence relations from plain text is a non-trivial challenge, our preliminary results are promising. We envision our approach to be combined with additional features (NER, coreference resolution, knowledge graphs


title: Causality of black holes in 4-dimensional Einstein-Gauss-Bonnet-Maxwell theory

abstract: We study charged black hole solutions in 4-dimensional (4D) Einstein-Gauss-Bonnet-Maxwell theory to the linearized perturbation level. We first compute the shear viscosity to entropy density ratio. We then demonstrate how bulk causal structure analysis imposes a upper bound on the Gauss-Bonnet coupling constant in the AdS space. Causality constrains the value of Gauss-Bonnet coupling constant $\alpha_{GB}$ to be bounded by $\alpha_{GB}\leq 0$ as $D\rightarrow 4$.


title: On the holographic phase transitions at finite topological charge

abstract: Exploring the significant impacts of topological charge on the holographic phase transitions and conductivity we start from an Einstein - Maxwell system coupled with a charged scalar field in Anti - de Sitter spacetime. In our set up, the corresponding black hole (BH) is chosen to be the topological AdS one where the pressure is identified with the cosmological constant. Our numerical computation shows that the process of condensation is favored at finite topological charge and, in particular, the pressure variation in the bulk generates a mechanism for changing the order of phase transitions in the boundary: the second order phase transitions occur at pressures higher than the critical pressure of the phase transition from small to large BHs while they become first order at lower pressures. This property is confirmed with the aid of holographic free energy. Finally, the frequency dependent conductivity exhibits a gap when the phase transition is second order and when the phase transition becomes first order this gap is either reduced or totally lost.


title: Machine Number Sense: A Dataset of Visual Arithmetic Problems for Abstract and Relational Reasoning

abstract: As a comprehensive indicator of mathematical thinking and intelligence, the number sense (Dehaene 2011) bridges the induction of symbolic concepts and the competence of problem-solving. To endow such a crucial cognitive ability to machine intelligence, we propose a dataset, Machine Number Sense (MNS), consisting of visual arithmetic problems automatically generated using a grammar model--And-Or Graph (AOG). These visual arithmetic problems are in the form of geometric figures: each problem has a set of geometric shapes as its context and embedded number symbols. Solving such problems is not trivial; the machine not only has to recognize the number, but also to interpret the number with its contexts, shapes, and relations (e.g., symmetry) together with proper operations. We benchmark the MNS dataset using four predominant neural network models as baselines in this visual reasoning task. Comprehensive experiments show that current neural-network-based models still struggle to understand number concepts and relational operations. We show that a simple brute-force search algorithm could work out some of the problems without context information. Crucially, taking geometric context into account by an additional perception module would provide a sharp performance gain with fewer search steps. Altogether, we call for attention in fusing the classic search-based algorithms with modern neural networks to discover the essential number concepts in future research.


title: The Structure of Cartan Subgroups in Lie Groups

abstract: We study properties and the structure of Cartan subgroups in a connected Lie group. We obtain a characterisation of Cartan subgroups which generalises W\"ustner's structure theorem for the same. We show that Cartan subgroups are same as those of the centralizers of maximal compact subgroups of the radical. Moreover, we describe a recipe for constructing Cartan subgroups containing certain nilpotent subgroups in a connected solvable Lie group. We characterise the Cartan subgroups in the quotient group modulo a closed normal subgroup as the images of the Cartan subgroups in the ambient group. We also study the density of the images of power maps on a connected Lie group and show that the image of any $k$-th power map has dense image if its restriction to a closed normal subgroup and the corresponding map on the quotient group have dense images.


title: QURATOR: Innovative Technologies for Content and Data Curation

abstract: In all domains and sectors, the demand for intelligent systems to support the processing and generation of digital content is rapidly increasing. The availability of vast amounts of content and the pressure to publish new content quickly and in rapid succession requires faster, more efficient and smarter processing and generation methods. With a consortium of ten partners from research and industry and a broad range of expertise in AI, Machine Learning and Language Technologies, the QURATOR project, funded by the German Federal Ministry of Education and Research, develops a sustainable and innovative technology platform that provides services to support knowledge workers in various industries to address the challenges they face when curating digital content. The project's vision and ambition is to establish an ecosystem for content curation technologies that significantly pushes the current state of the art and transforms its region, the metropolitan area Berlin-Brandenburg, into a global centre of excellence for curation technologies.


title: Estimates on translations and Taylor expansions in fractional Sobolev spaces

abstract: In this paper we study how the (normalised) Gagliardo semi-norms $[u]_{W^{s,p} (\mathbb{R}^n)}$ control translations. In particular, we prove that $\| u(\cdot + y) - u \|_{L^p (\mathbb{R}^n)} \le C [ u ] _{W^{s,p} (\mathbb{R}^n)} |y|^s$ for $n\geq1$, $s \in [0,1]$ and $p \in [1,+\infty]$, where $C$ depends only on $n$. We then obtain a corresponding higher-order version of this result: we get fractional rates of the error term in the Taylor expansion. We also present relevant implications of our two results. First, we obtain a direct proof of several compact embedding of $W^{s,p}(\mathbb{R}^n)$ where the Fr\'echet-Kolmogorov Theorem is applied with known rates. We also derive fractional rates of convergence of the convolution of a function with suitable mollifiers. Thirdly, we obtain fractional rates of convergence of finite-difference discretizations for $W^{s,p} (\mathbb{R}^n))$.


title: Detective: An Attentive Recurrent Model for Sparse Object Detection

abstract: In this work, we present Detective - an attentive object detector that identifies objects in images in a sequential manner. Our network is based on an encoder-decoder architecture, where the encoder is a convolutional neural network, and the decoder is a convolutional recurrent neural network coupled with an attention mechanism. At each iteration, our decoder focuses on the relevant parts of the image using an attention mechanism, and then estimates the object's class and the bounding box coordinates. Current object detection models generate dense predictions and rely on post-processing to remove duplicate predictions. Detective is a sparse object detector that generates a single bounding box per object instance. However, training a sparse object detector is challenging, as it requires the model to reason at the instance level and not just at the class and spatial levels. We propose a training mechanism based on the Hungarian algorithm and a loss that balances the localization and classification tasks. This allows Detective to achieve promising results on the PASCAL VOC object detection dataset. Our experiments demonstrate that sparse object detection is possible and has a great potential for future developments in applications where the order of the objects to be predicted is of interest.


title: Quantifying the Contextualization of Word Representations with Semantic Class Probing

abstract: Pretrained language models have achieved a new state of the art on many NLP tasks, but there are still many open questions about how and why they work so well. We investigate the contextualization of words in BERT. We quantify the amount of contextualization, i.e., how well words are interpreted in context, by studying the extent to which semantic classes of a word can be inferred from its contextualized embeddings. Quantifying contextualization helps in understanding and utilizing pretrained language models. We show that top layer representations achieve high accuracy inferring semantic classes; that the strongest contextualization effects occur in the lower layers; that local context is mostly sufficient for semantic class inference; and that top layer representations are more task-specific after finetuning while lower layer representations are more transferable. Finetuning uncovers task related features, but pretrained knowledge is still largely preserved.


title: Local Graph Clustering with Network Lasso

abstract: We study the statistical and computational properties of a network Lasso method for local graph clustering. The clusters delivered by nLasso can be characterized elegantly via network flows between cluster boundary and seed nodes. While spectral clustering methods are guided by a minimization of the graph Laplacian quadratic form, nLasso minimizes the total variation of cluster indicator signals. As demonstrated theoretically and numerically, nLasso methods can handle very sparse clusters (chain-like) which are difficult for spectral clustering. We also verify that a primal-dual method for nonsmooth optimization allows to approximate nLasso solutions with optimal worst-case convergence rate.


title: Depthwise Separable Convolutional ResNet with Squeeze-and-Excitation Blocks for Small-footprint Keyword Spotting

abstract: One difficult problem of keyword spotting is how to miniaturize its memory footprint while maintain a high precision. Although convolutional neural networks have shown to be effective to the small-footprint keyword spotting problem, they still need hundreds of thousands of parameters to achieve good performance. In this paper, we propose an efficient model based on depthwise separable convolution layers and squeeze-and-excitation blocks. Specifically, we replace the standard convolution by the depthwise separable convolution, which reduces the number of the parameters of the standard convolution without significant performance degradation. We further improve the performance of the depthwise separable convolution by reweighting the output feature maps of the first convolution layer with a so-called squeeze-and-excitation block. We compared the proposed method with five representative models on two experimental settings of the Google Speech Commands dataset. Experimental results show that the proposed method achieves the state-of-the-art performance. For example, it achieves a classification error rate of 3.29% with a number of parameters of 72K in the first experiment, which significantly outperforms the comparison methods given a similar model size. It achieves an error rate of 3.97% with a number of parameters of 10K, which is also slightly better than the state-of-the-art comparison method given a similar model size.


title: High-Temperature Electromagnetic and Thermal Characteristics of Graphene Composites

abstract: We describe a method for scalable synthesis of epoxy composites with graphene and few-layer graphene fillers, and report on the electromagnetic interference (EMI) shielding and thermal properties of such composites at elevated temperatures. The tested materials reveal excellent total EMI shielding of ~65 dB (~105 dB) at a thickness of 1 mm(~2 mm) in the X-band frequency range of f=8.2 GHz - 12.4 GHz. The room-temperature cross-plane thermal conductivity of the composite with ~19.5 vol.% of fillers was determined to be ~11.2 W/mK, which is a factor of x41 larger than that of the pristine epoxy. Interestingly, the EMI shielding efficiency improves further as the temperature increases to 520 K while the thermal conductivity remains approximately constant. The excellent EMI shielding and heat conduction characteristics of such multifunctional graphene composites at elevated temperatures are promising for packaging applications of microwave components where EMI shielding and thermal management are important design considerations.


title: The single- vs. two-gap scenario: the specific heat and the thermodynamic critical field of BeAu superconductor

abstract: The puzzling situation where some thermodynamic quantities require a single-gap description, while others need a more complex gap scenario, is discussed. Our approach reveals that in some cases, the conclusions based on measurements of only one thermodynamic quantity may lead to conflicting results. As an example, temperature evolutions of the electronic specific heat [$C_{\rm e}(T)$] and the thermodynamic critical field [$B_{\rm c}(T)$] of BeAu superconductor were reconsidered within the framework of the single-gap and the two-gap scenarios. The analysis shows that the single-gap approach describes the temperature dependencies of $C_{\rm e}(T)$ and the superfluid density $\rho_{\rm s}(T)$ satisfactorily. However it fails in the case of $B_{\rm c}(T)$. The self-consistent two-gap model, in contrast, is able to describe all of the mentioned thermodynamic quantities by using a similar set of parameters. Our results reveal that a proper description of the thermodynamic quantities, related to the superconducting pairing mechanism, requires the use of similar model containing the same set of parameters.


title: Pinning down the gauge boson couplings in $WW\gamma$ production using forward proton tagging

abstract: In this paper, we explore the potential of the LHC to measure the rate of $\mathrm{p}\mathrm{p}\rightarrow \mathrm{p}~ WW\gamma~\mathrm{p}$ process, also to probe the new effective couplings contributing to the $WW\gamma$ and $WW\gamma\gamma$ vertices. The analysis is performed at the $\sqrt{s}=13$ TeV, in the di-leptonic decay channel, and assuming 300 $fb^{-1}$ integrated luminosity (IL). In addition to the presence of two opposite sign leptons, a photon, and missing energy, the distinctive signature of this process is the presence of two intact protons flying few millimeters from the initial beam direction in both sides of interaction points which suppress the background process effectively. To exploit this feature of signal we benefit from forward detectors (FDs) placed about 200 meters from the interaction point to register the kinematics of tagged protons. In order to overcome the major sources of backgrounds, we introduced three categories of selection cuts dealing with objects that strike the central detector, protons hitting the FDs, and correlations of central objects and protons, respectively. We also evaluate the probability of pile-up protons to be tagged in the FDs as a function of the mean number of pile-up. Then the sensitivity of the LHC to observe this process and constraints on multi-boson effective couplings are extracted. The obtained expected limits show very good improvements for dimension-8 quartic couplings and competitive bounds on dimension-6 anomalous triple couplings w.r.t the current experimental limits. Therefore, we propose this process to the LHC experiments as a sensitive and complementary channel to study the multi-gauge boson couplings.


title: Explainable Deep CNNs for MRI-Based Diagnosis of Alzheimer's Disease

abstract: Deep Convolutional Neural Networks (CNNs) are becoming prominent models for semi-automated diagnosis of Alzheimer's Disease (AD) using brain Magnetic Resonance Imaging (MRI). Although being highly accurate, deep CNN models lack transparency and interpretability, precluding adequate clinical reasoning and not complying with most current regulatory demands. One popular choice for explaining deep image models is occluding regions of the image to isolate their influence on the prediction. However, existing methods for occluding patches of brain scans generate images outside the distribution to which the model was trained for, thus leading to unreliable explanations. In this paper, we propose an alternative explanation method that is specifically designed for the brain scan task. Our method, which we refer to as Swap Test, produces heatmaps that depict the areas of the brain that are most indicative of AD, providing interpretability for the model's decisions in a format understandable to clinicians. Experimental results using an axiomatic evaluation show that the proposed method is more suitable for explaining the diagnosis of AD using MRI while the opposite trend was observed when using a typical occlusion test. Therefore, we believe our method may address the inherent black-box nature of deep neural networks that are capable of diagnosing AD.


title: Continuum limit of lattice quasielectron wavefunctions

abstract: Trial states describing anyonic quasiholes in the Laughlin state were found early on, and it is therefore natural to expect that one should also be able to create anyonic quasielectrons. Nevertheless, the existing trial wavefunctions for quasielectrons show behaviors that are not compatible with the expected topological properties or their construction involves ad hoc elements. It was shown, however, that for lattice fractional quantum Hall systems, it is possible to find a relatively simple quasielectron wavefunction that has all the expected properties [New J. Phys. 20, 033029 (2018)]. This naturally poses the question: what happens to this wavefunction in the continuum limit? Here we demonstrate that, although one obtains a finite continuum wavefunction when the quasielectron is on top of a lattice site, such a limit of the lattice quasielectron does not exist in general. In particular, if the quasielectron is put anywhere else than on a lattice site, the lattice wavefunction diverges when the continuum limit is approached. The divergence can be removed by projecting the state on the lowest Landau level, but we find that the projected state does also not have the properties expected for anyonic quasielectrons. We hence conclude that the lattice quasielectron wavefunction does not solve the difficulty of finding trial states for anyonic quasielectrons in the continuum.


title: Hysteresis curves reveal the microscopic origin of cooperative CO$_2$ adsorption in diamine-appended metal-organic frameworks

abstract: Diamine-appended metal{organic frameworks (MOFs) of the form Mg2(dobpdc)(diamine)2 adsorb CO2 in a cooperative fashion, exhibiting an abrupt change in CO2 occupancy with pressure or temperature. This change is accompanied by hysteresis. While hysteresis is suggestive of a firstorder phase transition, we show that hysteretic temperature-occupancy curves associated with this material are qualitatively unlike the curves seen in the presence of a phase transition; they are instead consistent with CO2 chain polymerization, within one-dimensional channels in the MOF, in the absence of a phase transition. Our simulations of a microscopic model reproduce this dynamics, and point the way toward rational control, in and out of equilibrium, of cooperative adsorption in this industrially important class of materials.


title: Internet-human infrastructures: Lessons from Havana's StreetNet

abstract: We propose a mixed-methods approach to understanding the human infrastructure underlying StreetNet (SNET), a distributed, community-run intranet that serves as the primary 'Internet' in Havana, Cuba. We bridge ethnographic studies and the study of social networks and organizations to understand the way that power is embedded in the structure of Havana's SNET. By quantitatively and qualitatively unpacking the human infrastructure of SNET, this work reveals how distributed infrastructure necessarily embeds the structural aspects of inequality distributed within that infrastructure. While traditional technical measurements of networks reflect the social, organizational, spatial, and technical constraints that shape the resulting network, ethnographies can help uncover the texture and role of these hidden supporting relationships. By merging these perspectives, this work contributes to our understanding of network roles in growing and maintaining distributed infrastructures, revealing new approaches to understanding larger, more complex Internet-human infrastructures---including the Internet and the WWW.


title: Simple reflexive modules over finite-dimensional algebras

abstract: Let A be a finite-dimensional algebra. If A is self-injective, then all modules are reflexive. Marczinzik recently has asked whether A has to be self-injective in case all the simple modules are reflexive. Here, we exhibit an 8-dimensional algebra which is not self-injective, but such that all simple modules are reflexive (actually, for this example, the simple modules are the only non-projective indecomposable modules which are reflexive). In addition, we present some properties of simple reflexive modules in general. Marczinzik had motivated his question by providing large classes of algebras such that any algebra in the class which is not self-injective has simple modules which are not reflexive. However, as it turns out, most of these classes have the property that any algebra in the class which is not self-injective has simple modules which are not even torsionless.


title: Convex Representation Learning for Generalized Invariance in Semi-Inner-Product Space

abstract: Invariance (defined in a general sense) has been one of the most effective priors for representation learning. Direct factorization of parametric models is feasible only for a small range of invariances, while regularization approaches, despite improved generality, lead to nonconvex optimization. In this work, we develop a convex representation learning algorithm for a variety of generalized invariances that can be modeled as semi-norms. Novel Euclidean embeddings are introduced for kernel representers in a semi-inner-product space, and approximation bounds are established. This allows invariant representations to be learned efficiently and effectively as confirmed in our experiments, along with accurate predictions.


title: Computational methods for nonlocal mean field games with applications

abstract: We introduce a novel framework to model and solve mean-field game systems with nonlocal interactions. Our approach relies on kernel-based representations of mean-field interactions and feature-space expansions in the spirit of kernel methods in machine learning. We demonstrate the flexibility of our approach by modeling various interaction scenarios between agents. Additionally, our method yields a computationally efficient saddle-point reformulation of the original problem that is amenable to state-of-the-art convex optimization methods such as the primal-dual hybrid gradient method (PDHG). We also discuss potential applications of our methods to multi-agent trajectory planning problems.


title: Compromise-free Bayesian neural networks

abstract: We conduct a thorough analysis of the relationship between the out-of-sample performance and the Bayesian evidence (marginal likelihood) of Bayesian neural networks (BNNs), as well as looking at the performance of ensembles of BNNs, both using the Boston housing dataset. Using the state-of-the-art in nested sampling, we numerically sample the full (non-Gaussian and multimodal) network posterior and obtain numerical estimates of the Bayesian evidence, considering network models with up to 156 trainable parameters. The networks have between zero and four hidden layers, either $\tanh$ or $ReLU$ activation functions, and with and without hierarchical priors. The ensembles of BNNs are obtained by determining the posterior distribution over networks, from the posterior samples of individual BNNs re-weighted by the associated Bayesian evidence values. There is good correlation between out-of-sample performance and evidence, as well as a remarkable symmetry between the evidence versus model size and out-of-sample performance versus model size planes. Networks with $ReLU$ activation functions have consistently higher evidences than those with $\tanh$ functions, and this is reflected in their out-of-sample performance. Ensembling over architectures acts to further improve performance relative to the individual BNNs.


title: Neural Network-Based Collaborative Filtering for Question Sequencing

abstract: E-Learning systems (ELS) and Intelligent Tutoring Systems (ITS) play a significant part in today's education programs. Sequencing questions is the art of generating a personalized quiz for a target learner. A personalized test will enrich the learner's experience and will contribute to a more effective and efficient learning process. In this paper, we used the Neural Collaborative Filtering (NCF) model to generate question sequencing and compare it to a pair-wise memory-based question sequencing algorithm - EduRank. The NCF model showed significantly better ranking results than the EduRank model with an Average precision correlation score of 0.85 compared to 0.8.


title: Automated Abstraction of Operation Processes from Unstructured Text for Simulation Modeling

abstract: Abstraction of operation processes is a fundamental step for simulation modeling. To reliably abstract an operation process, modelers rely on text information to study and understand details of operations. Aiming at reducing modelers' interpretation load and ensuring the reliability of the abstracted information, this research proposes a systematic methodology to automate the abstraction of operation processes. The methodology applies rule-based information extraction to automatically extract operation process-related information from unstructured text and creates graphical representations of operation processes using the extracted information. To demonstrate the applicability and feasibility of the proposed methodology, a text description of an earthmoving operation is used to create its corresponding graphical representation. Overall, this research enhances the state-of-the-art simulation modeling through achieving automated abstraction of operation processes, which largely reduces modelers' interpretation load and ensures the reliability of the abstracted operation processes.


title: Learning to Guide Random Search

abstract: We are interested in derivative-free optimization of high-dimensional functions. The sample complexity of existing methods is high and depends on problem dimensionality, unlike the dimensionality-independent rates of first-order methods. The recent success of deep learning suggests that many datasets lie on low-dimensional manifolds that can be represented by deep nonlinear models. We therefore consider derivative-free optimization of a high-dimensional function that lies on a latent low-dimensional manifold. We develop an online learning approach that learns this manifold while performing the optimization. In other words, we jointly learn the manifold and optimize the function. Our analysis suggests that the presented method significantly reduces sample complexity. We empirically evaluate the method on continuous optimization benchmarks and high-dimensional continuous control problems. Our method achieves significantly lower sample complexity than Augmented Random Search, Bayesian optimization, covariance matrix adaptation (CMA-ES), and other derivative-free optimization algorithms.


title: High latitude emission from structured jet of Gamma-Ray Bursts observed off-axis

abstract: The X-ray emission of gamma-ray bursts (GRBs) is often characterized by an initial steep decay, followed by a nearly constant emission phase (so called "plateau") which can extend up to thousands of seconds. While the steep decay is usually interpreted as the tail of the prompt gamma-ray flash, the long-lasting plateau is commonly associated to the emission from the external shock sustained by energy injection from a long lasting central engine. A recent study proposed an alternative interpretation, ascribing both the steep decay and the plateau to high-latitude emission (HLE) from a "structured jet" whose energy and bulk Lorentz factor depend on the angular distance from the jet symmetry axis. In this work we expand over this idea and explore more realistic conditions: (a) the finite duration of the prompt emission, (b) the angular dependence of the optical depth and (c) the lightcurve dependence on the observer viewing angle. We find that, when viewed highly off-axis, the structured jet HLE lightcurve is smoothly decaying with no clear distinction between the steep and flat phase, as opposed to the on-axis case. For a realistic choice of physical parameters, the effects of a latitude-dependent Thomson opacity and finite duration of the emission have a marginal effect on the overall lightcurve evolution. We discuss the possible HLE of GW170817, showing that the emission would have faded away long before the first Swift-XRT observations. Finally, we discuss the prospects for the detection of HLE from off-axis GRBs by present and future wide-field X-ray telescopes and X-ray surveys, such as eROSITA and the mission concept THESEUS.


title: Privacy Preserving Distributed Energy Trading

abstract: The smart grid incentivizes distributed agents with local generation (e.g., smart homes, and microgrids) to establish multi-agent systems for enhanced reliability and energy consumption efficiency. Distributed energy trading has emerged as one of the most important multi-agent systems on the power grid by enabling agents to sell their excessive local energy to each other or back to the grid. However, it requests all the agents to disclose their sensitive data (e.g., each agent's fine-grained local generation and demand load). In this paper, to the best of our knowledge, we propose the first privacy preserving distributed energy trading framework, Private Energy Market (PEM), in which all the agents privately compute an optimal price for their trading (ensured by a Nash Equilibrium), and allocate pairwise energy trading amounts without disclosing sensitive data (via novel cryptographic protocols). Specifically, we model the trading problem as a non-cooperative Stackelberg game for all the agents (i.e., buyers and sellers) to determine the optimal price, and then derive the pairwise trading amounts. Our PEM framework can privately perform all the computations among all the agents without a trusted third party. We prove the privacy, individual rationality, and incentive compatibility for the PEM framework. Finally, we conduct experiments on real datasets to validate the effectiveness and efficiency of the PEM.


title: Gesture controlled environment using sixth sense technology and its implementation in IoT

abstract: This paper proposes an idea of building an interface to merge the existing technologies like Image processing, Internet of Things, Sixth sense, etc. at one place to reduce the hardware restrictions imposed on a user and improve the responsiveness of the system. The wearable device comprises of a camera, a projector, and its own gesture-controlled environment having smart tools based on trending techniques like gesture recognition, color marker detection, and speech recognition. The interface is trained using machine learning. It is also interfaced with an IoT based lab to access the lab controls remotely, enhance the security, and to connect devices present in the lab.


title: The first Hubble diagram and cosmological constraints using superluminous supernova

abstract: We present the first Hubble diagram of superluminous supernovae (SLSNe) out to a redshift of two, together with constraints on the matter density, $\Omega_{\rm M}$, and the dark energy equation-of-state parameter, $w(\equiv p/\rho)$. We build a sample of 20 cosmologically useful SLSNe~I based on light curve and spectroscopy quality cuts. We confirm the robustness of the peak decline SLSN~I standardization relation with a larger dataset and improved fitting techniques than previous works. We then solve the SLSN model based on the above standardisation via minimisation of the $\chi^2$ computed from a covariance matrix which includes statistical and systematic uncertainties. For a spatially flat $\Lambda$CDM cosmological model, we find $\Omega_{\rm M}=0.38^{+0.24}_{-0.19}$, with a rms of 0.27 mag for the residuals of the distance moduli. For a $w_0w_a$CDM cosmological model, the addition of SLSNe~I to a `baseline' measurement consisting of Planck temperature together with type Ia supernovae, results in a small improvement in the constraints of $w_0$ and $w_a$ of 4\%. We present simulations of future surveys with 868 and 492 SLSNe I (depending on the configuration used) and show that such a sample can deliver cosmological constraints in a flat $\Lambda$CDM model with the same precision (considering only statistical uncertainties) as current surveys that use type Ia supernovae, while providing a factor 2-3 improvement in the precision of the constraints on the time variation of dark energy, $w_0$ and $w_a$. This paper represents the proof-of-concept for superluminous supernova cosmology, and demonstrates they can provide an independent test of cosmology in the high-redshift ($z>1$) universe.


title: The vortex-driven dynamics of droplets within droplets

abstract: Understanding the fluid-structure interaction is crucial for an optimal design and manufacturing of soft mesoscale materials. Multi-core emulsions are a class of soft fluids assembled from cluster configurations of deformable oil-water double droplets (cores), often employed as building-blocks for the realisation of devices of interest in bio-technology, such as drug-delivery, tissue engineering and regenerative medicine. Here, we study the physics of multi-core emulsions flowing in microfluidic channels and report numerical evidence of a surprisingly rich variety of driven non-equilibrium states (NES), whose formation is caused by a dipolar fluid vortex triggered by the sheared structure of the flow carrier within the microchannel. The observed dynamic regimes range from long-lived NES at low core-area fraction, characterised by a planetary-like motion of the internal drops, to short-lived ones at high core-area fraction, in which a pre-chaotic motion results from multi-body collisions of inner drops, as combined with self-consistent hydrodynamic interactions. The onset of pre-chaotic behavior is marked by transitions of the cores from one vortex to another, a process that we interpret as manifestations of the system to maximize its entropy by filling voids, as they arise dynamically within the capsule.


title: Feedback from tissue mechanics self-organizes efficient outgrowth of plant organ

abstract: Plant organ outgrowth superficially appears like the continuous mechanical deformation of a sheet of cells. Yet, how precisely cells as individual mechanical entities can act to morph a tissue reliably and efficiently into three dimensions during outgrowth is still puzzling especially when cells are tightly connected as in plant tissue. In plants, the mechanics of cells within a tissue is particularly well defined as individual cell growth is essentially the mechanical yielding of cell-wall in response to internal turgor pressure. Cell wall stiffness is controlled by biological signalling and, hence, cell growth is observed to respond to mechanical stresses building up within a tissue. What is the role of the mechanical feedback during morphing of tissue in three dimensions? Here, we develop a three dimensional vertex model to investigate tissue mechanics at the onset of organ outgrowth at the tip of a plant shoot. We find that organ height is primarily governed by the ratio of growth rates of faster growing cells initiating the organ to slower growing cells surrounding them. Remarkably, the outgrowth rate is higher when cells growth responds to the tissue-wide mechanical stresses. Our quantitative analysis of simulation data shows that tissue mechanical feedback on cell growth can act via twofold mechanism. First, the feedback guides patterns of cellular growth. Second, the feedback modifies the stress patterns on the cells, consequently amplifying and propagating growth anisotropies. This mechanism may allow plants to grow organs efficiently out of the meristem by reorganizing the cellular growth rather than inflating growth rates.


title: Invariant surfaces with coordinate finite-type Gauss map in simply isotropic space

abstract: We consider the extrinsic geometry of surfaces in simply isotropic space, a three-dimensional space equipped with a rank 2 metric of index zero. Since the metric is degenerate, a surface normal cannot be unequivocally defined based on metric properties only. To understand the contrast between distinct choices of an isotropic Gauss map, here we study surfaces with a Gauss map whose coordinates are eigenfunctions of the surface Laplace-Beltrami operator. We take into account two choices, the so-called minimal and parabolic normals, and show that when applied to simply isotropic invariant surfaces the condition that the coordinates of the corresponding Gauss map are eigenfunctions leads to planes, certain cylinders, or surfaces with constant isotropic mean curvature. Finally, we also investigate (non-necessarily invariant) surfaces with harmonic Gauss map and show this characterizes constant mean curvature surfaces.


title: Extending Partial 1-Planar Drawings

abstract: Algorithmic extension problems of partial graph representations such as planar graph drawings or geometric intersection representations are of growing interest in topological graph theory and graph drawing. In such an extension problem, we are given a tuple $(G,H,\mathcal{H})$ consisting of a graph $G$, a connected subgraph $H$ of $G$ and a drawing $\mathcal{H}$ of $H$, and the task is to extend $\mathcal{H}$ into a drawing of $G$ while maintaining some desired property of the drawing, such as planarity. In this paper we study the problem of extending partial 1-planar drawings, which are drawings in the plane that allow each edge to have at most one crossing. In addition we consider the subclass of IC-planar drawings, which are 1-planar drawings with independent crossings. Recognizing 1-planar graphs as well as IC-planar graphs is \NP-complete and the \NP-completeness easily carries over to the extension problem. Therefore, our focus lies on establishing the tractability of such extension problems in a weaker sense than polynomial-time tractability. Here, we show that both problems are fixed-parameter tractable when parameterized by the number of edges missing from $H$, i.e., the edge deletion distance between $H$ and $G$. The second part of the paper then turns to a more powerful parameterization which is based on measuring the vertex+edge deletion distance between the partial and complete drawing, i.e., the minimum number of vertices and edges that need to be deleted to obtain $H$ from $G$.


title: Online MinCut: Competitive and Regret Analysis

abstract: In this paper we study the mincut problem in the online setting. We consider two distinct models: A) competitive analysis and B) regret analysis. In the competitive setting we consider the vertex arrival model; whenever a new vertex arrives it's neighborhood with respect to the set of known vertices is revealed. An online algorithm must make an irrevocable decision to determine the side of the cut that the vertex must belong to in order to minimize the size of the final cut. Various models are considered. 1) For classical and advice models we give tight bounds on the competitive ratio of deterministic algorithms. 2) Next we consider few semi-adversarial inputs: random order of arrival with adversarially generated and sparse graphs. 3) Lastly we derive some structural properties of \mc-type problems with respect to greedy strategies. Finally we consider a non-stationary regret setting with a variational budget $V_T$ and give tights bounds on the regret function. Specifically, we show that if $V_T$ is sublinear in $T$ (number of rounds) then there is a deterministic algorithm achieving a sublinear regret bound ($O(V_T)$). Further, this is optimal, even if randomization is allowed.


title: An Almost Optimal Approximation Algorithm for Monotone Submodular Multiple Knapsack

abstract: We study the problem of maximizing a monotone submodular function subject to a Multiple Knapsack constraint. The input is a set $I$ of items, each has a non-negative weight, and a set of bins of arbitrary capacities. Also, we are given a submodular, monotone and non-negative function $f$ over subsets of the items. The objective is to find a packing of a subset of items $A \subseteq I$ in the bins such that $f(A)$ is maximized. Our main result is an almost optimal polynomial time $(1-e^{-1}-\varepsilon)$-approximation algorithm for the problem, for any $\varepsilon>0$. The algorithm relies on a structuring technique which converts a general multiple knapsack constraint to a constraint in which the bins are partitioned into groups of exponentially increasing cardinalities, each consisting of bins of uniform capacity. We derive the result by combining structuring with a refined analysis of techniques for submodular optimization subject to knapsack constraints.


title: Polytropic gas modelling at kinetic and macroscopic levels

abstract: In this paper, we consider the kinetic model of continuous type describing a polyatomic gas in two different settings corresponding to a different choice of the functional space used to define macroscopic quantities. Such a model introduces a single continuous variable supposed to capture all the phenomena related to the more complex structure of a molecule having more than one atom, such as internal degrees of freedom in a collision. In particular, we provide a direct comparison of these two settings, and show their equivalence after the distribution function is rescaled and the cross section is reformulated. We then focus on the kinetic model for which the rigorous existence and uniqueness result in the space homogeneous case is recently proven. Using the cross section proposed in that analysis together with the maximum entropy principle, we establish macroscopic models of six and fourteen fields. In the case of six moments, we calculate the exact, nonlinear, production term and prove its total agreement with extended thermodynamics, as it satisfies the entropy residual inequality on the whole range of model validity. Moreover, for the fourteen moments model, we provide new expressions for relaxation times and transport coefficients in a linearized setting, that yield both matching with the experimental data for dependence of the shear viscosity upon temperature and a satisfactory agreement with the theoretical value of the Prandtl number, on the room temperature range when only translational and rotational modes of molecules are taken into account, as much as on higher temperatures when vibrational modes appear as well.


title: A First Instagram Dataset on COVID-19

abstract: The novel coronavirus (COVID-19) pandemic outbreak is drastically shaping and reshaping many aspects of our life, with a huge impact on our social life. In this era of lockdown policies in most of the major cities around the world, we see a huge increase in people and professional engagement in social media. Social media is playing an important role in news propagation as well as keeping people in contact. At the same time, this source is both a blessing and a curse as the coronavirus infodemic has become a major concern, and is already a topic that needs special attention and further research. In this paper, we provide a multilingual coronavirus (COVID-19) Instagram dataset that we have been continuously collected since March 30, 2020. We are making our dataset available to the research community at Github. We believe that this contribution will help the community to better understand the dynamics behind this phenomenon in Instagram, as one of the major social media. This dataset could also help study the propagation of misinformation related to this outbreak.


title: Improved Adversarial Training via Learned Optimizer

abstract: Adversarial attack has recently become a tremendous threat to deep learning models. To improve the robustness of machine learning models, adversarial training, formulated as a minimax optimization problem, has been recognized as one of the most effective defense mechanisms. However, the non-convex and non-concave property poses a great challenge to the minimax training. In this paper, we empirically demonstrate that the commonly used PGD attack may not be optimal for inner maximization, and improved inner optimizer can lead to a more robust model. Then we leverage a learning-to-learn (L2L) framework to train an optimizer with recurrent neural networks, providing update directions and steps adaptively for the inner problem. By co-training optimizer's parameters and model's weights, the proposed framework consistently improves the model robustness over PGD-based adversarial training and TRADES.


title: Redefining the Phase Space for Ideal Gas Systems Resolves the Gibbs Paradox

abstract: For an ideal gas consisting N molecules within a volume V, the volume accessible to each molecule at an instantaneous time is V/N. The rest of the volume, (N-1)(V/N), is occupied by other (N-1) molecules. The textbook assumption that a molecule can access any location inside the volume V at one instantaneous in time is wrong leading to the Gibbs paradox. By taking into account the correct physical space for individual molecules, the partition function for the N-molecule system is obtained without using any correction factor which gives rise to the correct entropy of the system. There is thus no need to argue about the distinguishability of molecules. Entropy of mixing two quantities of ideal gasses is zero no matter the gasses are the same type or different types. With the appropriate assignment of the phase space, the entropy of the system has the expected property of being extensive and the Gibbs paradox is removed.


title: Virtues of Including Hydrogen in the Patterns of Element Abundances in Solar Energetic Particles

abstract: We revisit a multi-spacecraft study of the element abundances of solar energetic particles (SEPs) in the 23 January 2012 event, where the power-law pattern of enhancements versus the mass-to-charge ratio A/Q for the elements C through Fe was partly disrupted by a break near Mg, which turned out to be an unfortunate distraction. In the current article we find that extending that least-squares fits for C - Fe down to H at A/Q = 1 lends much more credence to the power laws, even though H itself was not included in the fits. We also investigate the extent of an adiabatically invariant "reservoir" of magnetically-trapped particles behind the shock wave in this event.


title: Duality of graded graphs through operads

abstract: Pairs of graded graphs, together with the Fomin property of graded graph duality, are rich combinatorial structures providing among other a framework for enumeration. The prototypical example is the one of the Young graded graph of integer partitions, allowing us to connect number of standard Young tableaux and numbers of permutations. Here, we use operads, that algebraic devices abstracting the notion of composition of combinatorial objects, to build pairs of graded graphs. For this, we first construct a pair of graded graphs where vertices are syntax trees, the elements of free nonsymmetric operads. This pair of graphs is dual for a new notion of duality called $\phi$-diagonal duality, similar to the ones introduced by Fomin. We also provide a general way to build pairs of graded graphs from operads, wherein underlying posets are analogous to the Young lattice. Some examples of operads leading to new pairs of graded graphs involving integer compositions, Motzkin paths, and $m$-trees are considered.


title: Deep DIH : Statistically Inferred Reconstruction of Digital In-Line Holography by Deep Learning

abstract: Digital in-line holography is commonly used to reconstruct 3D images from 2D holograms for microscopic objects. One of the technical challenges that arise in the signal processing stage is removing the twin image that is caused by the phase-conjugate wavefront from the recorded holograms. Twin image removal is typically formulated as a non-linear inverse problem due to the irreversible scattering process when generating the hologram. Recently, end-to-end deep learning-based methods have been utilized to reconstruct the object wavefront (as a surrogate for the 3D structure of the object) directly from a single-shot in-line digital hologram. However, massive data pairs are required to train deep learning models for acceptable reconstruction precision. In contrast to typical image processing problems, well-curated datasets for in-line digital holography does not exist. Also, the trained model highly influenced by the morphological properties of the object and hence can vary for different applications. Therefore, data collection can be prohibitively cumbersome in practice as a major hindrance to using deep learning for digital holography. In this paper, we proposed a novel implementation of autoencoder-based deep learning architecture for single-shot hologram reconstruction solely based on the current sample without the need for massive datasets to train the model. The simulations results demonstrate the superior performance of the proposed method compared to the state of the art single-shot compressive digital in-line hologram reconstruction method.


title: Reconstruct, Rasterize and Backprop: Dense shape and pose estimation from a single image

abstract: This paper presents a new system to obtain dense object reconstructions along with 6-DoF poses from a single image. Geared towards high fidelity reconstruction, several recent approaches leverage implicit surface representations and deep neural networks to estimate a 3D mesh of an object, given a single image. However, all such approaches recover only the shape of an object; the reconstruction is often in a canonical frame, unsuitable for downstream robotics tasks. To this end, we leverage recent advances in differentiable rendering (in particular, rasterization) to close the loop with 3D reconstruction in camera frame. We demonstrate that our approach---dubbed reconstruct, rasterize and backprop (RRB) achieves significantly lower pose estimation errors compared to prior art, and is able to recover dense object shapes and poses from imagery. We further extend our results to an (offline) setup, where we demonstrate a dense monocular object-centric egomotion estimation system.


title: A Step in the Direction of Resolving the Paradox of Perdew-Zunger Self-interaction Correction. II. Gauge Consistency of the Energy Density at Three Levels of Approximation

abstract: The Perdew-Zunger(PZ) self-interaction correction (SIC) was designed to correct the one-electron limit of any approximate density functional for the exchange-correlation (xc) energy, while yielding no correction to the exact functional. Unfortunately, it spoils the slowly-varying-in-space limits of the uncorrected approximate functionals, where those functionals are right by construction. The right limits can be restored by locally scaling down the energy density of the PZ SIC in many-electron regions, but then a spurious correction to the exact functional would be found unless the self-Hartree and exact self-xc terms of the PZ SIC energy density were expressed in the same gauge. Only the local density approximation satisfies the same-gauge condition for the energy density, which explains why the recent local-scaling SIC (LSIC) is found here to work excellently for atoms and molecules only with this basic approximation, and not with the more advanced generalized gradient approximations (GGAs) and meta-GGAs, which lose the Hartree gauge via simplifying integrations by parts. The transformation of energy density that achieves the Hartree gauge for the exact xc functional can also be applied to approximate functionals. Doing so leads to a simple scaled-down self-interaction (sdSIC) correction that is typically much more accurate than PZ SIC in tests for many molecular properties (including equilibrium bond lengths). The present work shows unambiguously that the largest errors of PZ SIC applied to standard functionals at three levels of approximation can be removed by restoring their correct slowly-varying-density limits. It also confirms the relevance of these limits to atoms and molecules.


title: Recurrent Events Analysis With Data Collected at Informative Clinical Visits in Electronic Health Records

abstract: Although increasingly used as a data resource for assembling cohorts, electronic health records (EHRs) pose many analytic challenges. In particular, a patient's health status influences when and what data are recorded, generating sampling bias in the collected data. In this paper, we consider recurrent event analysis using EHR data. Conventional regression methods for event risk analysis usually require the values of covariates to be observed throughout the follow-up period. In EHR databases, time-dependent covariates are intermittently measured during clinical visits, and the timing of these visits is informative in the sense that it depends on the disease course. Simple methods, such as the last-observation-carried-forward approach, can lead to biased estimation. On the other hand, complex joint models require additional assumptions on the covariate process and cannot be easily extended to handle multiple longitudinal predictors. By incorporating sampling weights derived from estimating the observation time process, we develop a novel estimation procedure based on inverse-rate-weighting and kernel-smoothing for the semiparametric proportional rate model of recurrent events. The proposed methods do not require model specifications for the covariate processes and can easily handle multiple time-dependent covariates. Our methods are applied to a kidney transplant study for illustration.


title: Neural Network Solutions to Differential Equations in Non-Convex Domains: Solving the Electric Field in the Slit-Well Microfluidic Device

abstract: The neural network method of solving differential equations is used to approximate the electric potential and corresponding electric field in the slit-well microfluidic device. The device's geometry is non-convex, making this a challenging problem to solve using the neural network method. To validate the method, the neural network solutions are compared to a reference solution obtained using the finite element method. Additional metrics are presented that measure how well the neural networks recover important physical invariants that are not explicitly enforced during training: spatial symmetries and conservation of electric flux. Finally, as an application-specific test of validity, neural network electric fields are incorporated into particle simulations. Conveniently, the same loss functional used to train the neural networks also seems to provide a reliable estimator of the networks' true errors, as measured by any of the metrics considered here. In all metrics, deep neural networks significantly outperform shallow neural networks, even when normalized by computational cost. Altogether, the results suggest that the neural network method can reliably produce solutions of acceptable accuracy for use in subsequent physical computations, such as particle simulations.


title: Asymptotics of the Lebesgue constants for a $d$-dimensional simplex

abstract: In this paper an asymptotic formula is given for the Lebesgue constants generated by the anisotropically dilated $d$-dimensional simplex. Contrary to many preceding results established only in dimension two, the obtained ones are proved in any dimension. Also, the "rational" and "irrational" parts are both united and separated in one formula.


title: Dynamics of Three Species Food Chain Model with Holling type II Functional Response

abstract: In this work, we revisit the classical Holling type II three species food chain model with a different viewpoint. Two critical parameters $\lambda_1$ and $\lambda_2$ dependent on other six parameters are defined. We show that local stabilities and existence of all equilibria can be reformulated by $\lambda_1$ and $\lambda_2$, and the complete classifications of parameters and its corresponding dynamics are given. Three global extinction results are showed by comparison principle analytically. Moreover, some interesting numerical simulations, including the chaotic phenomena, and the bi-stability phenomena, including equilibrium-cycle bi-stability and cycle-cycle bi-stability, are presented numerically. Finally, a brief discussion and biological implications are given.


title: MCQA: Multimodal Co-attention Based Network for Question Answering

abstract: We present MCQA, a learning-based algorithm for multimodal question answering. MCQA explicitly fuses and aligns the multimodal input (i.e. text, audio, and video), which forms the context for the query (question and answer). Our approach fuses and aligns the question and the answer within this context. Moreover, we use the notion of co-attention to perform cross-modal alignment and multimodal context-query alignment. Our context-query alignment module matches the relevant parts of the multimodal context and the query with each other and aligns them to improve the overall performance. We evaluate the performance of MCQA on Social-IQ, a benchmark dataset for multimodal question answering. We compare the performance of our algorithm with prior methods and observe an accuracy improvement of 4-7%.


title: MixText: Linguistically-Informed Interpolation of Hidden Space for Semi-Supervised Text Classification

abstract: This paper presents MixText, a semi-supervised learning method for text classification, which uses our newly designed data augmentation method called TMix. TMix creates a large amount of augmented training samples by interpolating text in hidden space. Moreover, we leverage recent advances in data augmentation to guess low-entropy labels for unlabeled data, hence making them as easy to use as labeled data.By mixing labeled, unlabeled and augmented data, MixText significantly outperformed current pre-trained and fined-tuned models and other state-of-the-art semi-supervised learning methods on several text classification benchmarks. The improvement is especially prominent when supervision is extremely limited. We have publicly released our code at https://github.com/GT-SALT/MixText.


title: A Smartphone enabled Approach to Manage COVID-19 Lockdown and Economic Crisis

abstract: The emergence of novel COVID-19 causing an overload in health system and high mortality rate. The key priority is to contain the epidemic and prevent the infection rate. In this context, many countries are now in some degree of lockdown to ensure extreme social distancing of entire population and hence slowing down the epidemic spread. Further, authorities use case quarantine strategy and manual second/third contact-tracing to contain the COVID-19 disease. However, manual contact tracing is time consuming and labor-intensive task which tremendously overload public health systems. In this paper, we developed a smartphone-based approach to automatically and widely trace the contacts for confirmed COVID-19 cases. Particularly, contact-tracing approach creates a list of individuals in the vicinity and notifying contacts or officials of confirmed COVID-19 cases. This approach is not only providing awareness to individuals they are in the proximity to the infected area, but also tracks the incidental contacts that the COVID-19 carrier might not recall. Thereafter, we developed a dashboard to provide a plan for government officials on how lockdown/mass quarantine can be safely lifted, and hence tackling the economic crisis. The dashboard used to predict the level of lockdown area based on collected positions and distance measurements of the registered users in the vicinity. The prediction model uses K-means algorithm as an unsupervised machine learning technique for lockdown management.


title: High friction limit for Euler-Korteweg and Navier-Stokes-Korteweg models via relative entropy approach

abstract: The aim of this paper is to investigate the singular relaxation limits for the Euler-Korteweg and the Navier-Stokes-Korteweg system in the high friction regime. We shall prove that the viscosity term is present only in higher orders in the proposed scaling and therefore it does not affect the limiting dynamics, and the two models share the same equilibrium equation. The analysis of the limit is carried out using the relative entropy techniques in the framework of weak, finite energy solutions of the relaxation models converging toward smooth solutions of the equilibrium. The results proved here take advantage of the enlarged formulation of the models in terms of the drift velocity introduced in [6], generalizing in this way the ones proved in [15] for the Euler-Korteweg model.