title: DMD: A Large-Scale Multi-Modal Driver Monitoring Dataset for Attention and Alertness Analysis

abstract: Vision is the richest and most cost-effective technology for Driver Monitoring Systems (DMS), especially after the recent success of Deep Learning (DL) methods. The lack of sufficiently large and comprehensive datasets is currently a bottleneck for the progress of DMS development, crucial for the transition of automated driving from SAE Level-2 to SAE Level-3. In this paper, we introduce the Driver Monitoring Dataset (DMD), an extensive dataset which includes real and simulated driving scenarios: distraction, gaze allocation, drowsiness, hands-wheel interaction and context data, in 41 hours of RGB, depth and IR videos from 3 cameras capturing face, body and hands of 37 drivers. A comparison with existing similar datasets is included, which shows the DMD is more extensive, diverse, and multi-purpose. The usage of the DMD is illustrated by extracting a subset of it, the dBehaviourMD dataset, containing 13 distraction activities, prepared to be used in DL training processes. Furthermore, we propose a robust and real-time driver behaviour recognition system targeting a real-world application that can run on cost-efficient CPU-only platforms, based on the dBehaviourMD. Its performance is evaluated with different types of fusion strategies, which all reach enhanced accuracy still providing real-time response.


title: Towards Ultra-Low-Latency mmWave Wi-Fi for Multi-User Interactive Virtual Reality

abstract: The need for cables with high-fidelity Virtual Reality (VR) headsets remains a stumbling block on the path towards interactive multi-user VR. Due to strict latency constraints, designing fully wireless headsets is challenging, with the few commercially available solutions being expensive. These solutions use proprietary millimeter wave (mmWave) communications technologies, as extremely high frequencies are needed to meet the throughput and latency requirements of VR applications. In this work, we investigate whether such a system could be built using specification-compliant IEEE 802.11ad hardware, which would significantly reduce the cost of wireless mmWave VR solutions. We present a theoretical framework to calculate attainable live VR video bitrates for different IEEE 802.11ad channel access methods, using 1 or more head-mounted displays connected to a single Access Point (AP). Using the ns-3 simulator, we validate our theoretical framework, and demonstrate that a properly configured IEEE 802.11ad AP can support at least 8 headsets receiving a 4K video stream for each eye, with transmission latency under 1 millisecond.


title: An Introduction To The Mathematics Of The Imaging Modalities Using Small Scaled Contrast Agents

abstract: In the recent years, we witness a great interest in imaging, in a wide sense, using contrast agents. One of the reasons is that many imaging modalities, as the ones related to medical sciences, suffer from several shortcomings. The most serious one is the issue of instability. Indeed, it is, nowadays, a common certainty that classical inverse problems of recovering objects from remote measurements are, mostly, highly unstable. To recover the stability, it is advised to create, whenever possible, the missing contrasts in the targets to image. In this survey paper, we follow this direction and propose an approach how to analyze mathematically the effect of the injected agents on the different fields under consideration. These contrast agents are small-sized particles modeled with materials that enjoy high contrasts as compared to the ones of the background. These two properties allow them, under critical scales of size/contrast, to create local spots when excited from far. These local spots can be remotely recovered in stable ways. The accessible information on the target are encoded in theses spots. After stating a class of such imaging modalities that enter into this framework, as the acoustic imaging, photo-acoustic imaging, optical imaging and more, we provide detailed analysis for first two modalities where the contrast agents are micro-bubbles and nano-particles respectively.


title: Statistical properties of eigenvalues of an ensemble of pseudo-Hermitian Gaussian matrices

abstract: We investigate the statistical properties of eigenvalues of pseudo-Hermitian random matrices whose eigenvalues are real or complex conjugate. It is shown that when the spectrum splits into separated sets of real and complex conjugate eigenvalues, the real ones show characteristics of an intermediate incomplete spectrum, that is, of a so-called thinned ensemble. On the other hand, the complex ones show repulsion compatible with cubic-order repulsion of non normal matrices for the real matrices, but higher order repulsion for the complex and quaternion matrices.


title: Revisiting the production of $J/\psi$ pairs at the LHC

abstract: We consider the prompt double $J/\psi$ production in $pp$ collisions at the LHC in the framework of $k_T$-factorization QCD approach. Using the fragmentation mechanism, we evaluate the color octet contributions to the production cross sections taking into account the combinatorial effects of multiple gluon radiation in the initial state driven by the Ciafaloni-Catani-Fiorani-Marchesini evolution equation. We demonstrate the importance of these contributions in a certain kinematical region covered by the CMS and ATLAS measurements. On the other hand, the experimental data taken by the LHCb Collaboration at forward rapidities and moderate transverse momenta can be described well by ${\cal O}(\alpha_s^4)$ color singlet terms and contributions from the double parton scattering mechanism. The extracted value of the effective cross section $\sigma_{\rm eff} = 17.5 \pm 4.1$~mb is compatible with many other estimations based on different final states.


title: The minimal seesaw and leptogenesis models

abstract: Given its briefness and predictability, the minimal seesaw -- a simplified version of the canonical seesaw mechanism with only two right-handed neutrino fields -- has been studied in depth and from many perspectives, and now it is being pushed close to a position of directly facing experimental tests. This article is intended to provide an up-to-date review of various phenomenological aspects of the minimal seesaw and its associated leptogenesis mechanism in neutrino physics and cosmology. Our focus is on possible flavor structures of such benchmark seesaw and leptogenesis scenarios and confronting their predictions with current neutrino oscillation data and cosmological observations. In this connection particular attention will be paid to the topics of lepton number violation, lepton flavor violation, discrete flavor symmetries, CP violation and antimatter of the Universe.


title: Limitations of Implicit Bias in Matrix Sensing: Initialization Rank Matters

abstract: In matrix sensing, we first numerically identify the sensitivity to the initialization rank as a new limitation of the implicit bias of gradient flow. We will partially quantify this phenomenon mathematically, where we establish that the gradient flow of the empirical risk is implicitly biased towards low-rank outcomes and successfully learns the planted low-rank matrix, provided that the initialization is low-rank and within a specific "capture neighborhood". This capture neighborhood is far larger than the corresponding neighborhood in local refinement results; the former contains all models with zero training error whereas the latter is a small neighborhood of a model with zero test error. These new insights enable us to design an alternative algorithm for matrix sensing that complements the high-rank and near-zero initialization scheme which is predominant in the existing literature.


title: Collision Free Navigation with Interacting, Non-Communicating Obstacles

abstract: In this paper we consider the problem of navigation and motion control in an area densely populated with other agents. We propose an algorithm that, without explicit communication and based on the information it has, computes the best control action for all the agents and implements its own. Notably, the host agent (the agent executing the algorithm) computes the differences between the other agents' computed and observed control actions and treats them as known disturbances that are fed back into a robust control barrier function (RCBF) based quadratic program. A feedback loop is created because the computed control action for another agent depends on the previously used disturbance estimate. In the case of two interacting agents, stability of the feedback loop is proven and a performance guarantee in terms of constraint adherence is established. This holds whether the other agent executes the same algorithm or not.


title: Unified approach to the generalized Tur\'an problem and supersaturation

abstract: In this paper we introduce a unifying approach to the generalized Tur\'an problem and supersaturation results in graph theory. The supersaturation-extremal function $satex(n, F : m, G)$ is the least number of copies of a subgraph $G$ an $n$-vertex graph can have, which contains at least $m$ copies of $F$ as a subgraph. We present a survey, discuss previously known results and obtain several new ones focusing mainly on proof methods, extremal structure and phase transition phenomena. Finally we point out some relation with extremal questions concerning hypergraphs, particularly Berge-type results.


title: MetaDistiller: Network Self-Boosting via Meta-Learned Top-Down Distillation

abstract: Knowledge Distillation (KD) has been one of the most popu-lar methods to learn a compact model. However, it still suffers from highdemand in time and computational resources caused by sequential train-ing pipeline. Furthermore, the soft targets from deeper models do notoften serve as good cues for the shallower models due to the gap of com-patibility. In this work, we consider these two problems at the same time.Specifically, we propose that better soft targets with higher compatibil-ity can be generated by using a label generator to fuse the feature mapsfrom deeper stages in a top-down manner, and we can employ the meta-learning technique to optimize this label generator. Utilizing the softtargets learned from the intermediate feature maps of the model, we canachieve better self-boosting of the network in comparison with the state-of-the-art. The experiments are conducted on two standard classificationbenchmarks, namely CIFAR-100 and ILSVRC2012. We test various net-work architectures to show the generalizability of our MetaDistiller. Theexperiments results on two datasets strongly demonstrate the effective-ness of our method.


title: Document-editing Assistants and Model-based Reinforcement Learning as a Path to Conversational AI

abstract: Intelligent assistants that follow commands or answer simple questions, such as Siri and Google search, are among the most economically important applications of AI. Future conversational AI assistants promise even greater capabilities and a better user experience through a deeper understanding of the domain, the user, or the user's purposes. But what domain and what methods are best suited to researching and realizing this promise? In this article we argue for the domain of voice document editing and for the methods of model-based reinforcement learning. The primary advantages of voice document editing are that the domain is tightly scoped and that it provides something for the conversation to be about (the document) that is delimited and fully accessible to the intelligent assistant. The advantages of reinforcement learning in general are that its methods are designed to learn from interaction without explicit instruction and that it formalizes the purposes of the assistant. Model-based reinforcement learning is needed in order to genuinely understand the domain of discourse and thereby work efficiently with the user to achieve their goals. Together, voice document editing and model-based reinforcement learning comprise a promising research direction for achieving conversational AI.


title: A Blast From the Past: Personalizing Predictions of Video-Induced Emotions using Personal Memories as Context

abstract: A key challenge in the accurate prediction of viewers' emotional responses to video stimuli in real-world applications is accounting for person- and situation-specific variation. An important contextual influence shaping individuals' subjective experience of a video is the personal memories that it triggers in them. Prior research has found that this memory influence explains more variation in video-induced emotions than other contextual variables commonly used for personalizing predictions, such as viewers' demographics or personality. In this article, we show that (1) automatic analysis of text describing their video-triggered memories can account for variation in viewers' emotional responses, and (2) that combining such an analysis with that of a video's audiovisual content enhances the accuracy of automatic predictions. We discuss the relevance of these findings for improving on state of the art approaches to automated affective video analysis in personalized contexts.


title: Automatic Generation of Chatbots for Conversational Web Browsing

abstract: In this paper, we describe the foundations for generating a chatbot out of a website equipped with simple, bot-specific HTML annotations. The approach is part of what we call conversational web browsing, i.e., a dialog-based, natural language interaction with websites. The goal is to enable users to use content and functionality accessible through rendered UIs by "talking to websites" instead of by operating the graphical UI using keyboard and mouse. The chatbot mediates between the user and the website, operates its graphical UI on behalf of the user, and informs the user about the state of interaction. We describe the conceptual vocabulary and annotation format, the supporting conversational middleware and techniques, and the implementation of a demo able to deliver conversational web browsing experiences through Amazon Alexa.


title: Creating optimal conditions for reproducible data analysis in R with 'fertile'

abstract: The advancement of scientific knowledge increasingly depends on ensuring that data-driven research is reproducible: that two people with the same data obtain the same results. However, while the necessity of reproducibility is clear, there are significant behavioral and technical challenges that impede its widespread implementation, and no clear consensus on standards of what constitutes reproducibility in published research. We present fertile, an R package that focuses on a series of common mistakes programmers make while conducting data science projects in R, primarily through the RStudio integrated development environment. fertile operates in two modes: proactively (to prevent reproducibility mistakes from happening in the first place), and retroactively (analyzing code that is already written for potential problems). Furthermore, fertile is designed to educate users on why their mistakes are problematic and how to fix them.


title: Penerapan Metode SVM-Based Machine Learning Untuk Menganalisa Pengguna Data Trafik Internet (Studi Kasus Jaringan Internet Wlan Mahasiswa Bina Darma)

abstract: Internet usage is an important requirement that supports the performance and activities on campus. To control internet usage, it is necessary to know the distribution of internet usage. By utilizing a number of machine learning algorithms and WEKA software, the research is carried out by observation and taking data from wifi hotspots on campus. The classification method using SVM-Based utilizes the classification method owned by Support Vector Machine (SVM). This study aims to classify data on internet usage so that from this classification can be known destination network, protocol, and bandwidth that are widely accessed at certain times. Internet traffic data is retrieved through Wireshark software. Whereas data processing and data processing of internet traffic is processed by WEKA. The results showed: 1) UBD internet usage in the week I 133,196 users, week II 304,042 users,2) Use of Destination Network 24,150 and Use of Protocol 37,321,3) Destination networks that are often addressed are 172.21.206.143 (the week I) and 172.21.172.234 (week II), protocols that are often used by TCP, and4) SVM method is a good data mining method for classifying network packet patterns so as to produce network traffic classification according to destination network and protocol.


title: On the profinite rigidity of surface groups and surface words

abstract: Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology.


title: The Effect of Environment on Type Ia Supernovae in the Dark Energy Survey Three-Year Cosmological Sample

abstract: Analyses of type Ia supernovae (SNe Ia) have found puzzling correlations between their standardised luminosities and host galaxy properties: SNe Ia in high-mass, passive hosts appear brighter than those in lower-mass, star-forming hosts. We examine the host galaxies of SNe Ia in the Dark Energy Survey three-year spectroscopically-confirmed cosmological sample, obtaining photometry in a series of "local" apertures centred on the SN, and for the global host galaxy. We study the differences in these host galaxy properties, such as stellar mass and rest-frame $U-R$ colours, and their correlations with SN Ia parameters including Hubble residuals. We find all Hubble residual steps to be $>3\sigma$ in significance, both for splitting at the traditional environmental property sample median and for the step of maximum significance. For stellar mass, we find a maximal local step of $0.098\pm0.018$ mag; $\sim 0.03$ mag greater than the largest global stellar mass step in our sample ($0.070 \pm 0.017$ mag). When splitting at the sample median, differences between local and global $U-R$ steps are small, both $\sim 0.08$ mag, but are more significant than the global stellar mass step ($0.057\pm0.017$ mag). We split the data into sub-samples based on SN Ia light curve parameters: stretch ($x_1$) and colour ($c$), finding that redder objects ($c > 0$) have larger Hubble residual steps, for both stellar mass and $U-R$, for both local and global measurements, of $\sim0.14$ mag. Additionally, the bluer (star-forming) local environments host a more homogeneous SN Ia sample, with local $U-R$ r.m.s. scatter as low as $0.084 \pm 0.017$ mag for blue ($c < 0$) SNe Ia in locally blue $U-R$ environments.


title: Power spectrum multipole expansion for HI intensity mapping experiments: unbiased parameter estimation

abstract: We assess the performance of the multipole expansion formalism in the case of single-dish HI intensity mapping, including instrumental and foreground removal effects. This formalism is used to provide MCMC forecasts for a range of HI and cosmological parameters, including redshift space distortions and the Alcock-Paczynski effect. We first determine the range of validity of our power spectrum modelling by fitting to simulation data, concentrating on the monopole, quadrupole, and hexadecapole contributions. We then show that foreground subtraction effects can lead to severe biases in the determination of cosmological parameters, in particular the parameters relating to the transverse BAO rescaling, the growth rate and the HI bias ($\alpha_\perp$, $\overline{T}_\text{HI} f\sigma_8$, and $\overline{T}_\text{HI} b_\text{HI} \sigma_8$, respectively). We attempt to account for these biases by constructing a 2-parameter foreground modelling prescription, and find that our prescription leads to unbiased parameter estimation at the expense of increasing the estimated uncertainties on cosmological parameters. In addition, we confirm that instrumental and foreground removal effects significantly impact the theoretical covariance matrix, and cause the covariance between different multipoles to become non-negligible. Finally, we show the effect of including higher-order multipoles in our analysis, and how these can be used to investigate the presence of instrumental and systematic effects in HI intensity mapping data.


title: New Normal: Cooperative Paradigm for Covid-19 Timely Detection and Containment using Internet of Things and Deep Learning

abstract: The spread of the novel coronavirus (COVID-19) has caused trillions of dollars in damages to the governments and health authorities by affecting the global economies. The purpose of this study is to introduce a connected smart paradigm that not only detects the possible spread of viruses but also helps to restart businesses/economies, and resume social life. We are proposing a connected Internet of Things ( IoT) based paradigm that makes use of object detection based on convolution neural networks (CNN), smart wearable and connected e-health to avoid current and future outbreaks. First, connected surveillance cameras feed continuous video stream to the server where we detect the inter-object distance to identify any social distancing violations. A violation activates area-based monitoring of active smartphone users and their current state of illness. In case a confirmed patient or a person with high symptoms is present, the system tracks exposed and infected people and appropriate measures are put into actions. We evaluated the proposed scheme for social distancing violation detection using YOLO (you only look once) v2 and v3, and for infection spread tracing using Python simulation.


title: Histopathology of Third Trimester Placenta from SARS-CoV-2-Positive Women

abstract: Background: This study aims to investigate whether maternal SARS-CoV-2 status affect placental pathology. Methods: A retrospective case-control study was conducted by reviewing charts and slides of placentas between April 1 to July 24, 2020. Clinical history of COVID-19 were searched in Pathology Database (CoPath). Controls were matched with SARS-CoV-2-negative women with singleton deliveries in the 3rd-trimester. Individual and group, pathological features were extracted from placental pathology reports. Results: Twenty-one 3rd-trimester, placentas from SARS-CoV-2-positive women were identified and compared to 20 placentas from SARS-CoV-2-negative women. There were no significant differences in individual or group gross or microscopic pathological features between the groups. Within the SARS-CoV-2+ group, there are no differences between symptomatic and asymptomatic women. Conclusion: Placentas from SARS-CoV-2-positive women do not demonstrate a specific pathological pattern. Pregnancy complicated with COVID-19 during the 3rd trimester does not have a demonstrable effect on placental structure and pathology.


title: Macroscopic limit of a kinetic model describing the switch in T cell migration modes via binary interactions

abstract: Experimental results on the immune response to cancer indicate that activation of cytotoxic T lymphocytes (CTLs) through interactions with dendritic cells (DCs) can trigger a change in CTL migration patterns. In particular, while CTLs in the pre-activation state move in a non-local search pattern, the search pattern of activated CTLs is more localised. In this paper, we develop a kinetic model for such a switch in CTL migration modes. The model is formulated as a coupled system of balance equations for the one-particle distribution functions of CTLs in the pre-activation state, activated CTLs and DCs. CTL activation is modelled via binary interactions between CTLs in the pre-activation state and DCs. Moreover, cell motion is represented as a velocity-jump process, with the running time of CTLs in the pre-activation state following a long-tailed distribution, which is consistent with a L\'evy walk, and the running time of activated CTLs following a Poisson distribution, which corresponds to Brownian motion. We formally show that the macroscopic limit of the model comprises a coupled system of balance equations for the cell densities whereby activated CTL movement is described via a classical diffusion term, whilst a fractional diffusion term describes the movement of CTLs in the pre-activation state. The modelling approach presented here and its possible generalisations are expected to find applications in the study of the immune response to cancer and in other biological contexts in which switch from non-local to localised migration patterns occurs.


title: Marchuk's models of infection diseases: new developments

abstract: We consider mathematical models of infection diseases built by G.I. Marchuk in his well known book on immunology. These models are in the form of systems of ordinary delay differential equations. We add a distributed control in one of the equations describing the dynamics of the antibody concentration rate. Distributed control looks here naturally since the change of this concentration rather depends on the corresponding average value of the difference of the current and normal antibody concentrations on the time interval than on their difference at the point t only.


title: Modeling and optimization of radiative cooling based thermoelectric generators

abstract: The possibility of night-time power generation has recently stimulated interest in using the radiative sky cooling mechanism with thermoelectric generators (TEG). These passive, low-temperature difference devices have been shown to generate electricity at night with no active input of heat needed, instead using the ambient air itself as the heat source. Here, we optimize both the geometry and operating conditions of radiative cooling driven thermoelectric (RC-TE) generators. We determine the optimal operating conditions, including maximum power point and maximum efficiency point, by developing a combined thermal and electrical model. Our results show that the optimal operating condition results in larger power output than was previously expected. Moreover, we show that maximum power density occurs when the area ratio between cooler and P or N element reaches an optimal value. Finally, we perform a parametric study that takes account of environmental and structural parameters to improve the performance of the RC-TE device, including enhancing heat transfer between the hot surface and ambient air, suppressing the cooling loss of the radiative cooler, and optimizing the geometry of individual thermocouples. Our work identifies how to maximize the output of RC-TE devices and provides comprehensive guidance on making use of this new passive power generation method.


title: Coexisting Hidden and self-excited attractors in an economic system of integer or fractional order

abstract: In this paper the dynamics of an economic system with foreign financing, of integer or fractional order, are analyzed. The symmetry of the system determines the existence of two pairs of coexisting attractors. The integer-order version of the system proves to have several combinations of coexisting hidden attractors with self-excited attractors. Because one of the system variables represents the foreign capital in ow, the presence of hidden attractors could be of a real interest in economic models. The fractional-order variant presents another interesting coexistence of attractors in the fractional order space.


title: Remarks on infinite towers of gravitational memories

abstract: An infinite tower of gravitational memories was proposed in \cite{Compere:2019odm} by considering the matter-induced vacuum transition in the impulsive limit. We give an alternative realization of the infinite towers of gravitational memories in Newman-Penrose formalism. We also demonstrate that the memories at each order can be associated to the same supertranslation instead of infinite towers of supertranslations or superrotations.


title: Interior-point methods for unconstrained geometric programming and scaling problems

abstract: We provide a condition-based analysis of two interior-point methods for unconstrained geometric programs, a class of convex programs that arise naturally in applications including matrix scaling, matrix balancing, and entropy maximization. Our condition numbers are natural geometric quantities associated with the Newton polytope of the geometric program, and lead to diameter bounds on approximate minimizers. We also provide effective bounds on the condition numbers both in general and under combinatorial assumptions on the Newton polytope. In this way, we generalize the iteration complexity of recent interior-point methods for matrix scaling and matrix balancing. Recently, there has been much work on algorithms for certain optimization problems on Lie groups, known as capacity and scaling problems. For commutative groups, these problems reduce to unconstrained geometric programs, which serves as a particular source of motivation for our work.


title: Defect Prediction of Railway Wheel Flats based on Hilbert Transform and Wavelet Packet Decomposition

abstract: For efficient railway operation and maintenance, the demand for onboard monitoring systems is increasing with technological advances in high-speed trains. Wheel flats, one of the common defects, can be monitored in real-time through accelerometers mounted on each axle box so that the criteria of relevant standards are not exceeded. This study aims to identify the location and height of a single wheel flat based on non-stationary axle box acceleration (ABA) signals, which are generated through a train dynamics model with flexible wheelsets. The proposed feature extraction method is applied to extract the root mean square distribution of decomposed ABA signals on a balanced binary tree as orthogonal energy features using the Hilbert transform and wavelet packet decomposition. The neural network-based defect prediction model is created to define the relationship between input features and output labels. For insufficient input features, data augmentation is performed by the linear interpolation of existing features. The performance of defect prediction is evaluated in terms of the accuracy of detection and localization and improved by augmented input features and highly decomposed ABA signals. The results show that the trained neural network can predict the height and location of a single wheel flat from orthogonal energy features with high accuracy.


title: An Empirical Study of In-App Advertising Issues Based on Large Scale App Review Analysis

abstract: In-app advertising closely relates to app revenue. Reckless ad integration could adversely impact app reliability and user experience, leading to loss of income. It is very challenging to balance the ad revenue and user experience for app developers. In this paper, we present a large-scale analysis on ad-related user feedback. The large user feedback data from App Store and Google Play allow us to summarize ad-related app issues comprehensively and thus provide practical ad integration strategies for developers. We first define common ad issues by manually labeling a statistically representative sample of ad-related feedback, and then build an automatic classifier to categorize ad-related feedback. We study the relations between different ad issues and user ratings to identify the ad issues poorly scored by users. We also explore the fix durations of ad issues across platforms for extracting insights into prioritizing ad issues for ad maintenance. We summarize 15 types of ad issues by manually annotating 903/36,309 ad-related user reviews. From a statistical analysis of 36,309 ad-related reviews, we find that users care most about the number of unique ads and ad display frequency during usage. Besides, users tend to give relatively lower ratings when they report the security and notification related issues. Regarding different platforms, we observe that the distributions of ad issues are significantly different between App Store and Google Play. Moreover, some ad issue types are addressed more quickly by developers than other ad issues. We believe the findings we discovered can benefit app developers towards balancing ad revenue and user experience while ensuring app reliability.


title: Uniqueness and two shared set problems of L-Function and certain class of meromorphic function

abstract: Starting with a question of Yuan-Li-Yi [Value distribution of L-functions and uniqueness questions of F. Gross, Lithuanian Math. J., 58(2)(2018), 249-262] we have studied the uniqueness of a meromorphic function f and an L-function L sharing two finite sets. At the time of execution of our work, we have pointed out a serious lacuna in the proof of a recent result of a of Sahoo-Halder [ Some results on L-functions related to sharing two finite sets, Comput. Methods Funct. Theo., 19(2019), 601-612] which makes most of the part of the Sahoo-Halder's paper under question. In context of our choice of sets, we have rectified Sahoo-Halder's result in a convenient manner.


title: Competence-Based Student Modelling with Dynamic Bayesian Networks

abstract: We present a general method for using a competences map, created by defining generalization/specialization and inclusion/part-of relationships between competences, in order to build an overlay student model in the form of a dynamic Bayesian network in which conditional probability distributions are defined per relationship type. We have created a competences map for a subset of the transversal competences defined as educational goals for the Mexican high school system, then we have built a dynamic Bayesian student model as said before, and we have use it to trace the development of the corresponding competences by some hypothetical students exhibiting representative performances along an online course (low to medium performance, medium to high performance but with low final score, and two terms medium to high performance). The results obtained suggest that the proposed way for constructing dynamic Bayesian student models on the basis of competences maps could be useful to monitor competence development by real students in online course.


title: Using Video Game Development to Motivate Program Design and Algebra Among Inner-City High School Students

abstract: Introducing inner-city high school students to program design presents unique challenges. The typical assumptions of an introductory programming course, like students understand what variables and functions are, may not be safe. Therefore, asking students to define functions as part of the program design process may be an overwhelming task. Many students do not understand that a function is an abstraction over similar expressions and that parameters represent the differences among these expressions. This articles presents a novel approach to teaching program design to high school students while simultaneously reinforcing high school algebra. The approach is based on a design recipe to help students develop the abstractions that lead to functions. Using a bottom-up approach, students are taught how to abstract over similar expressions. They are then taught how to use high school algebra concepts, like compound functions and function composition, to also design functions. In addition, the article also presents empirical data collected from students to measure their reaction to the course. For the students in the course, the empirical data suggests that high school algebra concepts are successfully reinforced and that students feel they become better problem solvers, find programming intellectually stimulating, and walk away with an interest in programming.


title: Rogue waves on the double periodic background in Hirota equation

abstract: We construct rogue wave solutions on the double periodic background for the Hirota equation through one fold Darboux transformation formula. We consider two types of double periodic solutions as seed solutions. We identify the squared eigenfunctions and eigenvalues that appear in the one fold Darboux transformation formula through an algebraic method with two eigenvalues. We then construct the desired solution in two steps. In the first step, we create double periodic waves as the background. In the second step, we build rogue wave solution on the top of this double periodic solution. We present the localized structures for two different values of the arbitrary parameter each one with two different sets of eigenvalues.


title: Hierarchy of energy scales and field-tunable order by disorder in dipolar-octupolar pyrochlores

abstract: Dipolar-octupolar pyrochlore magnets in a strong external magnet field applied in the [110] direction are known to form a `chain' state, with subextensive degeneracy. Magnetic moments are correlated along one-dimensional chains carrying effective Ising degrees of freedom which are noninteracting on the mean-field level. Here, we investigate this phenomenon in detail, including the effects of quantum fluctuations. We identify two distinct types of chain phases, both featuring distinct subextensive, classical ground state degeneracy. Focussing on one of the two kinds, we discuss lifting of the classical degeneracy by quantum fluctuations. We map out the ground-state phase diagram as a function of the exchange couplings, using linear spin wave theory and real-space perturbation theory. We find a hierarchy of energy scales in the ground state selection, with the effective dimensionality of the system varying in an intricate way as the hierarchy is descended. We derive an effective two-dimensional anisotropic triangular lattice Ising model with only three free parameters which accounts for the observed behavior. Connecting our results to experiment, they are consistent with the observation of a disordered chain state in Nd$_2$Zr$_2$O$_7$. We also show that the presence of two distinct types of chain phases has consequences for the field-induced breakdown of the apparent $U(1)$ octupolar quantum liquid phase recently observed in Ce$_2$Sn$_2$O$_7$.


title: M3: Semantic API Migrations

abstract: Library migration is a challenging problem, where most existing approaches rely on prior knowledge. This can be, for example, information derived from changelogs or statistical models of API usage. This paper addresses a different API migration scenario where there is no prior knowledge of the target library. We have no historical changelogs and no access to its internal representation. To tackle this problem, this paper proposes a novel approach (M$^3$), where probabilistic program synthesis is used to semantically model the behavior of library functions. Then, we use an SMT-based code search engine to discover similar code in user applications. These discovered instances provide potential locations for API migrations. We evaluate our approach against 7 well-known libraries from varied application domains, learning correct implementations for 94 functions. Our approach is integrated with standard compiler tooling, and we use this integration to evaluate migration opportunities in 9 existing C/C++ applications with over 1MLoC. We discover over 7,000 instances of these functions, of which more than 2,000 represent migration opportunities.


title: The group structures of automorphism groups of elliptic function fields over finite fields and their applications to optimal locally repairable codes

abstract: The automorphism group of an elliptic curve over an algebraically closed field is well known. However, for various applications in coding theory and cryptography, we usually need to apply automorphisms defined over a finite field. Although we believe that the automorphism group of an elliptic curve over a finite field is well known in the community, we could not find this in the literature. Nevertheless, in this paper we show the group structure of the automorphism group of an elliptic curve over a finite field. More importantly, we characterize subgroups and abelian subgroups of the automorphism group of an elliptic curve over a finite field. Despite of theoretical interest on this topic, our research is largely motivated by constructions of optimal locally repairable codes. The first research to make use of automorphism group of function fields to construct optimal locally repairable codes was given in a paper \cite{JMX20} where automorphism group of a projective line was employed. The idea was further generated to an elliptic curve in \cite{MX19} where only automorphisms fixing the point at infinity were used. Because there are at most $24$ automorphisms of an elliptic curve fixing the point at infinity, the locality of optimal locally repairable codes from this construction is upper bounded by $23$. One of the main motivation to study subgroups and abelian subgroups of the automorphism group of an elliptic curve over a finite field is to remove the constraints on locality.


title: Magnetic field and prominences of the young, solar-like, ultra-rapid rotator V530 Per

abstract: We investigate signatures of magnetic fields and activity at the surface and in the prominence system of the ultra-rapid rotator V530 Per, a G-type solar-like member of the young open cluster $\alpha$~Persei. This object has a rotation period shorter than all stars with available magnetic maps. With a time-series of spectropolarimetric observations gathered with ESPaDOnS over 2 nights on the CFHT, we reconstruct the surface brightness and large-scale magnetic field of V530 Per using the Zeeman-Doppler imaging method, assuming an oblate stellar surface. We also estimate the short term evolution of the brightness distribution through latitudinal differential rotation. Using the same data set, we finally map the spatial distribution of prominences through tomography of the H\alpha emission. The brightness map is dominated by a large, dark spot near the pole, accompanied by a complex distribution of bright and dark features at lower latitudes. The magnetic field map is reconstructed as well, most of the large-scale magnetic field energy is stored in the toroidal field component. The main radial field structure is a positive region of about 500 G, at the location of the dark polar spot. The brightness map of V530 Per is sheared by solar-like differential rotation, with a roughly solar value for the difference in rotation rate between the pole and equator. \halpha~is observed in emission, and is mostly modulated by the stellar rotation period. The prominence system is organized in a ring at the approximate location of the co-rotation radius, with significant evolution between the two observing nights. V530 Per is the first example of a solar-type star to have its surface magnetic field and prominences mapped together, which will bring important observational constraints to better understand the role of slingshot prominences in the angular momentum evolution of the most active stars.


title: Quantum correction of gravitational constant

abstract: We suggest a scheme for considering the quantum correction of the gravitational constant. In the model, the gravitational constant originates from a coupling of the gravitational field with a scalar field. In this paper, we show that if the scalar field, as it should be in the real physical world, is a quantum field, then the gravitational constant will have a spacetime-dependent quantum correction, so that the quantum corrected physical constant is no longer a constant. The quantum correction of the gravitational constant is different in different spacetime. We calculate the quantum correction in the Schwarzschild spacetime, the $H_{3}$ (Euclidean $AdS_{3}$) spacetime, the $H_{3}/Z$ spacetime, the universe model, the de Sitter spacetime, and the Rindler spacetime.


title: Multi-scale approach for the prediction of atomic scale properties

abstract: Electronic nearsightedness is one of the fundamental principles governing the behavior of condensed matter and supporting its description in terms of local entities such as chemical bonds. Locality also underlies the tremendous success of machine-learning schemes that predict quantum mechanical observables -- such as the cohesive energy, the electron density, or a variety of response properties -- as a sum of atom-centred contributions, based on a short-range representation of atomic environments. One of the main shortcomings of these approaches is their inability to capture physical effects, ranging from electrostatic interactions to quantum delocalization, which have a long-range nature. Here we show how to build a multi-scale scheme that combines in the same framework local and non-local information, overcoming such limitations. We show that the simplest version of such features can be put in formal correspondence with a multipole expansion of permanent electrostatics. The data-driven nature of the model construction, however, makes this simple form suitable to tackle also different types of delocalized and collective effects. We present several examples that range from molecular physics, to surface science and biophysics, demonstrating the ability of this multi-scale approach to model interactions driven by electrostatics, polarization and dispersion, as well as the cooperative behavior of dielectric response functions.


title: Inverse catalysis effect of quark anomalous magnetic moment to chiral restoration and deconfinement phase transitions

abstract: The effect of quark anomalous magnetic moment (AMM) to chiral restoration and deconfinement phase transitions under magnetic fields is investigated in a Pauli-Villars regularized PNJL model. A linear-in-$B$ term for quark anomalous magnetic moment is introduced to the Lagrangian density of our model, and it plays the role of inverse catalysis to the phase transitions. With fixed magnetic field, the critical temperature decreases with quark AMM. When fixing quark AMM, the critical temperature increases with magnetic field for a small quark AMM, but decreases with magnetic field for a large quark AMM. The critical temperature of chiral restoration and deconfinement phase transitions is determined by the two competing factors, the catalysis effect of magnetic field and inverse catalysis of quark anomalous magnetic moment.


title: On the falsification of the pilot-wave interpretation of quantum mechanics and the meaning of the Born rule

abstract: Quantum mechanics has lacked a widely recognized interpretation since its birth. Many of these are still under consideration because interpretations are tough or impossible to disprove experimentally. We show how to distinguish experimentally ones assuming tiny, localized particles from those postulating realistic, non-local wave functions. It is possible thanks to a recently developed model of optical transmittance of ultra-diluted gas. This model considers the influence of each gas particle wave function on transmitted light. Its quantitative predictions are not indifferent to the interpretation of quantum mechanics. We also refer to the results of a recent experiment founded on this theory. They are in line with the predictions, which suggests the correctness of the model. Such results, if confirmed, rule out interpretations of the type of pilot-wave. In the paper, we briefly explain both the experiment and the model it is founded on. We also discuss the meaning of the Born rule.


title: Ice Giant System Exploration in the 2020s: An Introduction

abstract: The international planetary science community met in London in January 2020, united in the goal of realising the first dedicated robotic mission to the distant Ice Giants, Uranus and Neptune, as the only major class of Solar System planet yet to be comprehensively explored. Ice-Giant-sized worlds appear to be a common outcome of the planet formation process, and pose unique and extreme tests of our understanding of planetary origins, exotic water-rich planetary interiors, dynamic seasonal atmospheres, complex magnetospheric configurations, geologically-rich icy satellites (both natural and captured), and delicate planetary rings. This article introduces a special issue of Philosophical Transactions of the Royal Society A on Ice Giant System exploration at the start of the 2020s. We review the scientific potential and existing mission design concepts for an ambitious international partnership for exploring Uranus and/or Neptune in the coming decades.


title: Analytical view on N bodies interacting with quantum cavity in tight-binding model

abstract: Dynamics of N bodies interacting with quantum cavity is presented. The rotating frame approximation is not used and obtained solutions are the most basic in the framework of generalized Jaynes-Cummings tight-binding model. All presented solutions are entirely analytical and are expressed in terms of elementary functions. Presented scheme can easily be generalized into N bodies (qubits) with M energetic levels interacting with quantum electromagnetic cavity with K energetic levels. Presented framework can be used for construction of software modeling quantum communication between semi-conductor single-electron position-based qubits. Keywords: Jaynes-Cummings tight-binding model, quantum communication, Rabi oscillations, position-based qubit, CMOS quantum computer, single-electron devices


title: Multifaceted COVID-19 Outbreak

abstract: The time when everyone is struggling in the cruel hands of COVID19, we present the holistic view on the effects of this pandemic in certain aspects of life. A lot of literature exists in COVID-19, but most of them talk about the social and psychological side of the COVID problems. COVID-19 has affected our day-to-day life and its effects are extensive. Most of the literature presents the adverse effect of the pandemic, but there are very few state-of-the-art approaches that discuss its beneficial effects. We see the multiple faces of the pandemic in this paper. To the best of our knowledge, this is the first review that presents the pros and cons of the pandemic. We present a survey that surrounds over effects on education, environment, and religion. The positive side of COVID-19 raises an alarm for us to wake up and work in that direction.


title: An electrodiffusion model for Jaccard's theory in ice

abstract: Jaccards' theory describes the movement of both ionic and Bjerrum defects in ice. Standard descriptions of the theory are based on a chain model describing the movement of these defects along well-oriented chains of water molecules. However, this model contains several fundamental contradictions and does not result in the exact equations. We present an alternative model based on the electrodiffusion of the defects. The polarisation of the ice specimen favours these defects orientations that diffuse opposite to the electric drift of the same defect. This straightforward approach not only results in the correct equations, it also provides a better understanding of the defects' kinetics.


title: The role of AGN activity in the building up of the BCG at z~1.6

abstract: XDCPJ0044.0-2033 is one of the most massive galaxy cluster at z~1.6, for which a wealth of multi-wavelength photometric and spectroscopic data have been collected during the last years. I have reported on the properties of the galaxy members in the very central region (~70kpc x 70kpc) of the cluster, derived through deep HST photometry, SINFONI and KMOS IFU spectroscopy, together with Chandra X-ray, ALMA and JVLA radio data. In the core of the cluster, we have identified two groups of galaxies (Complex A and Complex B), seven of them confirmed to be cluster members, with signatures of ongoing merging. These galaxies show perturbed morphologies and, three of them show signs of AGN activity. In particular, two of them, located at the center of each complex, have been found to host luminous, obscured and highly accreting AGN (lambda=0.4-0.6) exhibiting broad Halpha line. Moreover, a third optically obscured type-2 AGN, has been discovered through BPT diagram in Complex A. The AGN at the center of Complex B is detected in X-ray while the other two, and their companions, are spatially related to radio emission. The three AGN provide one of the closest AGN triple at z>1 revealed so far with a minimum (maximum) projected distance of 10 kpc (40 kpc). The discovery of multiple AGN activity in a highly star-forming region associated to the crowded core of a galaxy cluster at z~1.6, suggests that these processes have a key role in shaping the nascent Brightest Cluster Galaxy, observed at the center of local clusters. According to our data, all galaxies in the core of XDCPJ0044.0-2033 could form a BCG of Mstar ~ 10^{12} Msun hosting a BH of 2 x 10^{8}-10^{9}Msun, in a time scale of the order of 2.5 Gyrs.


title: A uniformly robust staggered DG method for the unsteady Darcy-Forchheimer-Brinkman problem

abstract: In this paper we propose and analyze a uniformly robust staggered DG method for the unsteady Darcy-Forchheimer-Brinkman problem. Our formulation is based on velocity gradient-velocity-pressure and the resulting scheme can be flexibly applied to fairly general polygonal meshes. We relax the tangential continuity for velocity, which is the key ingredient in achieving the uniform robustness. We present well-posedness and error analysis for both the semi-discrete scheme and the fully discrete scheme, and the theories indicate that the error estimates for velocity are independent of pressure. Several numerical experiments are presented to confirm the theoretical findings.


title: Exact mean first-passage time on generalized Vicsek fractal

abstract: Fractal phenomena may be widely observed in a great number of complex systems. In this paper, we revisit the well-known Vicsek fractal, and study some of its structural properties for purpose of understanding how the underlying topology influences its dynamic behaviors. For instance, we analytically determine the exact solution to mean first-passage time for random walks on Vicsek fractal in a more light mapping-based manner than previous other methods, including typical spectral technique. More importantly, our method can be quite efficient to precisely calculate the solutions to mean first-passage time on all generalized versions of Vicsek fractal generated based on an arbitrary allowed seed, while other previous methods suitable for typical Vicsek fractal will become prohibitively complicated and even fail. Lastly, this analytic results suggest that the scaling relation between mean first-passage time and vertex number in generalized versions of Vicsek fractal keeps unchanged in the large graph size limit no matter what seed is selected.


title: How Much Ad Viewability is Enough? The Effect of Display Ad Viewability on Advertising Effectiveness

abstract: A large share of all online display advertisements (ads) are never seen by a human. For instance, an ad could appear below the page fold, where a user never scrolls. Yet, an ad is essentially ineffective if it is not at least somewhat viewable. Ad viewability - which refers to the pixel percentage-in-view and the exposure duration of an online display ad - has recently garnered great interest among digital advertisers and publishers. However, we know very little about the impact of ad viewability on advertising effectiveness. We work to close this gap by analyzing a large-scale observational data set with more than 350,000 ad impressions similar to the data sets that are typically available to digital advertisers and publishers. This analysis reveals that longer exposure durations (>10 seconds) and 100% visible pixels do not appear to be optimal in generating view-throughs. The highest view-through rates seem to be generated with relatively lower pixel/second-combinations of 50%/1, 50%/5, 75%/1, and 75%/5. However, this analysis does not account for user behavior that may be correlated with or even drive ad viewability and may therefore result in endogeneity issues. Consequently, we manipulated ad viewability in a randomized online experiment for a major European news website, finding the highest ad recognition rates among relatively higher pixel/second-combinations of 75%/10, 100%/5 and 100%/10. Everything below 75\% or 5 seconds performs worse. Yet, we find that it may be sufficient to have either a long exposure duration or high pixel percentage-in-view to reach high advertising effectiveness. Our results provide guidance to advertisers enabling them to establish target viewability rates more appropriately and to publishers who wish to differentiate their viewability products.


title: Strong convergence of the vorticity for the 2D Euler Equations in the inviscid limit

abstract: In this paper we prove the uniform-in-time $L^p$ convergence in the inviscid limit of a family $\omega^\nu$ of solutions of the $2D$ Navier-Stokes equations towards a renormalized/Lagrangian solution $\omega$ of the Euler equations. We also prove that, in the class of solutions with bounded vorticity, it is possible to obtain a rate for the convergence of $\omega^\nu$ to $\omega$ in $L^p$. Finally, we show that solutions of the Euler equations with $L^p$ vorticity, obtained in the vanishing viscosity limit, conserve the kinetic energy. The proofs are given by using both a (stochastic) Lagrangian approach and an Eulerian approach.


title: Siamese Network for RGB-D Salient Object Detection and Beyond

abstract: Existing RGB-D salient object detection (SOD) models usually treat RGB and depth as independent information and design separate networks for feature extraction from each. Such schemes can easily be constrained by a limited amount of training data or over-reliance on an elaborately designed training process. Inspired by the observation that RGB and depth modalities actually present certain commonality in distinguishing salient objects, a novel joint learning and densely cooperative fusion (JL-DCF) architecture is designed to learn from both RGB and depth inputs through a shared network backbone, known as the Siamese architecture. In this paper, we propose two effective components: joint learning (JL), and densely cooperative fusion (DCF). The JL module provides robust saliency feature learning by exploiting cross-modal commonality via a Siamese network, while the DCF module is introduced for complementary feature discovery. Comprehensive experiments using five popular metrics show that the designed framework yields a robust RGB-D saliency detector with good generalization. As a result, JL-DCF significantly advances the state-of-the-art models by an average of ~2.0% (max F-measure) across seven challenging datasets. In addition, we show that JL-DCF is readily applicable to other related multi-modal detection tasks, including RGB-T (thermal infrared) SOD and video SOD, achieving comparable or even better performance against state-of-the-art methods. We also link JL-DCF to the RGB-D semantic segmentation field, showing its capability of outperforming several semantic segmentation models on the task of RGB-D SOD. These facts further confirm that the proposed framework could offer a potential solution for various applications and provide more insight into the cross-modal complementarity task.


title: On Non-triviality of Units Transformations

abstract: There are some theoretical arguments about possible variations of fundamental constants with cosmic time. We review the fact that all conversion factors depend on these quantities and consider how their variations may affect transformations of units. We deal with the relevance of the issue to the cosmological constant problem.


title: The Dirichlet principle for the complex $k$-Hessian functional

abstract: We study the variational structure of the complex $k$-Hessian equation on bounded domain $X\subset \mathbb C^n$ with boundary $M=\partial X$. We prove that the Dirichlet problem $\sigma_k (\partial \bar{\partial} u) =0$ in $X$, and $u=f$ on $M$ is variational and we give an explicit construction of the associated functional $\mathcal{E}_k(u)$. Moreover we prove $\mathcal{E}_k(u)$ satisfies the Dirichlet principle. In a special case when $k=2$, our constructed functional $\mathcal{E}_2(u)$ involves the Hermitian mean curvature of the boundary, the notion first introduced and studied by X. Wang. Earlier work of J. Case and and the first author of this article introduced a boundary operator for the (real) $k$-Hessian functional which satisfies the Dirichlet principle. The present paper shows that there is a parallel picture in the complex setting.


title: Elastic and Inelastic Scattering of Cosmic-Rays on Sub-GeV Dark Matter

abstract: We revisit the signatures from collisions of cosmic-rays on sub-GeV dark matter (DM) in the Milky Way. In addition to the upscattered DM component that can be probed by existing DM and neutrino experiments widely discussed, we examine the associated signals in $\gamma$-rays and neutrinos that span a wide energy range due to the inelastic scatterings. Assuming a simple vector portal DM model for illustration, we compute both the upscattered DM flux by cosmic-ray protons, and the resulting emission of secondary $\gamma$-rays and high-energy neutrinos from proton excitation, hadronization, and the subsequent meson decay. We derive limits on coupling constants in the vector portal model using data from the $\gamma$-ray and high-energy neutrino telescopes including Fermi, H.E.S.S. and IceCube. These limits are compared to those obtained by considering the upscattered DM signals at the low-energy DM/neutrino detectors XENON1T/MiniBooNE and the IceCube. For this particular model, the limits are set predominantly by non-detection of the upscattered DM events in XENON1T, for most of the DM mass range due to the large scattering cross section at low energies. Nevertheless, our study demonstrates that the $\gamma$-ray and neutrino signals, traditionally considered as indirect probes for DM annihilation and decay, can also be directly used to constrain the DM--nucleon interaction in complementary to the direct search experiments.


title: How to "Improve" Prediction Using Behavior Modification

abstract: Many internet platforms that collect behavioral big data use it to predict user behavior for internal purposes and for their business customers (e.g., advertisers, insurers, security forces, governments, political consulting firms) who utilize the predictions for personalization, targeting, and other decision-making. Improving predictive accuracy is therefore extremely valuable. Data science researchers design algorithms, models, and approaches to improve prediction. Prediction is also improved with larger and richer data. Beyond improving algorithms and data, platforms can stealthily achieve better prediction accuracy by pushing users' behaviors towards their predicted values, using behavior modification techniques, thereby demonstrating more certain predictions. Such apparent "improved" prediction can result from employing reinforcement learning algorithms that combine prediction and behavior modification. This strategy is absent from the machine learning and statistics literature. Investigating its properties requires integrating causal with predictive notation. To this end, we incorporate Pearl's causal do(.) operator into the predictive vocabulary. We then decompose the expected prediction error given behavior modification, and identify the components impacting predictive power. Our derivation elucidates implications of such behavior modification to data scientists, platforms, their customers, and the humans whose behavior is manipulated. Behavior modification can make users' behavior more predictable and even more homogeneous; yet this apparent predictability might not generalize when business customers use predictions in practice. Outcomes pushed towards their predictions can be at odds with customers' intentions, and harmful to manipulated users.


title: A Two-level ADMM Algorithm for AC OPF with Global Convergence Guarantees

abstract: This paper proposes a two-level distributed algorithmic framework for solving the AC optimal power flow (OPF) problem with convergence guarantees. The presence of highly nonconvex constraints in OPF poses significant challenges to distributed algorithms based on the alternating direction method of multipliers (ADMM). In particular, convergence is not provably guaranteed for nonconvex network optimization problems like AC OPF. In order to overcome this difficulty, we propose a new distributed reformulation for AC OPF and a two-level ADMM algorithm that goes beyond the standard framework of ADMM. We establish the global convergence and iteration complexity of the proposed algorithm under mild assumptions. Extensive numerical experiments over some largest test cases from NESTA and PGLib-OPF (up to 30,000-bus systems) demonstrate advantages of the proposed algorithm over existing ADMM variants in terms of convergence, scalability, and robustness. Moreover, under appropriate parallel implementation, the proposed algorithm exhibits fast convergence comparable to or even better than the state-of-the-art centralized solver.


title: Structured Systems of Nonlinear Equations

abstract: In a "structured system" of equations, each equation depends on a specified subset of the variables. In this article, we explore properties common to "almost every" system with a fixed structure and how the properties can be read from the corresponding connection graph. A solution $p$ of a system $F(p)=c$ is called robust if it persists despite small changes in $F$. We establish methods for determining robustness that depends on the structure, as expressed in the properties of the corresponding directed graph of the structured system. The keys to understanding linear and nonlinear structured systems are subsets of variables that we call forward and backward bottlenecks. In particular, when robustness fails in a structured system, it is due to the existence of a unique "backward bottleneck", that we call a "minimax bottleneck". We present a numerical method for locating the minimax bottleneck. We show how to remove it by adding edges to the graph.


title: Properties Of Winning Tickets On Skin Lesion Classification

abstract: Skin cancer affects a large population every year -- automated skin cancer detection algorithms can thus greatly help clinicians. Prior efforts involving deep learning models have high detection accuracy. However, most of the models have a large number of parameters, with some works even using an ensemble of models to achieve good accuracy. In this paper, we investigate a recently proposed pruning technique called Lottery Ticket Hypothesis. We find that iterative pruning of the network resulted in improved accuracy, compared to that of the unpruned network, implying that -- the lottery ticket hypothesis can be applied to the problem of skin cancer detection and this hypothesis can result in a smaller network for inference. We also examine the accuracy across sub-groups -- created by gender and age -- and it was found that some sub-groups show a larger increase in accuracy than others.


title: Exploring Urban Form Through Openstreetmap Data: A Visual Introduction

abstract: This chapter introduces OpenStreetMap - a crowd-sourced, worldwide mapping project and geospatial data repository - to illustrate its usefulness in quickly and easily analyzing and visualizing planning and design outcomes in the built environment. It demonstrates the OSMnx toolkit for automatically downloading, modeling, analyzing, and visualizing spatial big data from OpenStreetMap. We explore patterns and configurations in street networks and buildings around the world computationally through visualization methods - including figure-ground diagrams and polar histograms - that help compress urban complexity into comprehensible artifacts that reflect the human experience of the built environment. Ubiquitous urban data and computation can open up new urban form analyses from both quantitative and qualitative perspectives.


title: Black holes and wormholes in $f(R)$ gravity with a kinetic curvature scalar

abstract: We study the chiral self-gravitating model (CSGM) of a special type in the spherically symmetric static spacetime in Einstein frame. Such CSGM is derived, by virtue of Weyl conformal transformation, from a gravity model in the Jordan frame corresponding to a modified $f(R)$ gravity with a kinetic scalar curvature. We investigate the model using harmonic coordinates and consider a special case of the scaling transformation from the Jordan frame. We find classes of solutions corresponding to a zero potential and we investigate horizons, centers and the asymptotic behavior of the obtained solutions. Other classes of solutions (for the potential not equal to zero) are found using a special relation (ansatz) between the metric components. Investigations of horizons, centers and asymptotic behavior of obtained solutions for this new case are performed as well. Comparative analysis with the solutions obtained earlier in literature is made.


title: $k$-ported vs. $k$-lane Broadcast, Scatter, and Alltoall Algorithms

abstract: In $k$-ported message-passing systems, a processor can simultaneously receive $k$ different messages from $k$ other processors, and send $k$ different messages to $k$ other processors that may or may not be different from the processors from which messages are received. Modern clustered systems may not have such capabilities. Instead, compute nodes consisting of $n$ processors can simultaneously send and receive $k$ messages from other nodes, by letting $k$ processors on the nodes concurrently send and receive at most one message. We pose the question of how to design good algorithms for this $k$-lane model, possibly by adapting algorithms devised for the traditional $k$-ported model. We discuss and compare a number of (non-optimal) $k$-lane algorithms for the broadcast, scatter and alltoall collective operations (as found in, e.g., MPI), and experimentally evaluate these on a small $36\times 32$-node cluster with a dual OmniPath network (corresponding to $k=2$). Results are preliminary.


title: Context-Dependent Implicit Authentication for Wearable Device User

abstract: As market wearables are becoming popular with a range of services, including making financial transactions, accessing cars, etc. that they provide based on various private information of a user, security of this information is becoming very important. However, users are often flooded with PINs and passwords in this internet of things (IoT) world. Additionally, hard-biometric, such as facial or finger recognition, based authentications are not adaptable for market wearables due to their limited sensing and computation capabilities. Therefore, it is a time demand to develop a burden-free implicit authentication mechanism for wearables using the less-informative soft-biometric data that are easily obtainable from the market wearables. In this work, we present a context-dependent soft-biometric-based wearable authentication system utilizing the heart rate, gait, and breathing audio signals. From our detailed analysis, we find that a binary support vector machine (SVM) with radial basis function (RBF) kernel can achieve an average accuracy of $0.94 \pm 0.07$, $F_1$ score of $0.93 \pm 0.08$, an equal error rate (EER) of about $0.06$ at a lower confidence threshold of 0.52, which shows the promise of this work.


title: Avoiding Negative Side Effects due to Incomplete Knowledge of AI Systems

abstract: Autonomous agents acting in the real-world often operate based on models that ignore certain aspects of the environment. The incompleteness of any given model -- handcrafted or machine acquired -- is inevitable due to practical limitations of any modeling technique for complex real-world settings. Due to the limited fidelity of its model, an agent's actions may have unexpected, undesirable consequences during execution. Learning to recognize and avoid such negative side effects of an agent's actions is critical to improve the safety and reliability of autonomous systems. Mitigating negative side effects is an emerging research topic that is attracting increased attention due to the rapid growth in the deployment of AI systems and their broad societal impacts. This article provides a comprehensive overview of different forms of negative side effects and the recent research efforts to address them. We identify key characteristics of negative side effects, highlight the challenges in avoiding negative side effects, and discuss recently developed approaches, contrasting their benefits and limitations. The article concludes with a discussion of open questions and suggestions for future research directions.


title: Good for the Many or Best for the Few? A Dilemma in the Design of Algorithmic Advice

abstract: Applications in a range of domains, including route planning and well-being, offer advice based on the social information available in prior users' aggregated activity. When designing these applications, is it better to offer: a) advice that if strictly adhered to is more likely to result in an individual successfully achieving their goal, even if fewer users will choose to adopt it? or b) advice that is likely to be adopted by a larger number of users, but which is sub-optimal with regard to any particular individual achieving their goal? We identify this dilemma, characterized as Goal-Directed vs. Adoption-Directed advice, and investigate the design questions it raises through an online experiment undertaken in four advice domains (financial investment, making healthier lifestyle choices, route planning, training for a 5k run), with three user types, and across two levels of uncertainty. We report findings that suggest a preference for advice favoring individual goal attainment over higher user adoption rates, albeit with significant variation across advice domains; and discuss their design implications.


title: Reconfigurable photonic RF filters based on integrated Kerr frequency comb sources

abstract: We demonstrate two categories of photonic radio frequency (RF) filters based on integrated optical micro-combs. The first one is based on the transversal filtering structure and the second one is based on the channelization technique. The large number of wavelengths brought about by the microcomb results in a significantly increased RF spectral resolution and a large instantaneous bandwidth for the RF filters. For the RF transversal filter, we demonstrated Q factor enhancement, improved out-of-band rejection, tunable centre frequency, and reconfigurable filtering shapes. While a high resolution of 117 MHz, a large RF instantaneous bandwidth of 4.64 GHz, and programmable RF transfer functions including binary-coded notch filters and RF equalizing filters with reconfigurable slopes are demonstrated for the RF channelized filter. The microcomb-based approaches feature a potentially much smaller cost and footprint, and is promising for integrated photonic RF filters.


title: Koopman Mode Decomposition of Oscillatory Temperature Field inside a Room

abstract: Koopman mode decomposition (KMD) is a technique of nonlinear time-series analysis capable of decomposing data on complex spatio temporal dynamics into multiple modes oscillating with single frequencies, called the Koopman modes (KMs). We apply KMD to measurement data on oscillatory dynamics of a temperature field inside a room that is a complex phenomenon ubiquitous in our daily lives and has a clear technological motivation in energy-efficient air conditioning. To characterize not only the oscillatory field (scalar field) but also associated heat flux (vector field), we introduce the notion of a temperature gradient using the spatial gradient of a KM. By estimating the temperature gradient directly from data, we show that KMD is capable of extracting a distinct structure of the heat flux embedded in the oscillatory temperature field, relevant in terms of air conditioning.


title: Isotopic ratios in the red giant component of the recurrent nova T Coronae Borealis

abstract: We report the determination of abundances and isotopic ratios for C, O and Si in the photosphere of the red giant component of the recurrent nova T Coronae Borealis from new 2.284--2.402 $\mu$m and 3.985--4.155 $\mu$m spectroscopy. Abundances and isotopic ratios in the photosphere may be affected by (i) processes in the red giant interior which are brought to the surface during dredge-up, (ii) contamination of the red giant, either during the common envelope phase of the binary evolution or by material synthesised in recurrent nova eruptions, or a combination of the two. We find that the abundances of C, O and Si are reasonably consistent with the expected composition of a red giant after first dredge-up, as is the $^{16}$O/$^{17}$O ratio. The $^{28}$Si/$^{29}$Si ratio is found to be $8.6\pm3.0$, and that for $^{28}$Si/$^{30}$Si is $21.5\pm3.0$. The $^{12}$C/$^{13}$C ratio ($10\pm2$) is somewhat lower than expected for first dredge-up. The $^{16}$O/$^{18}$O ratio ($41\pm3$) is highly inconsistent with that expected either from red giant evolution ($\sim550$) or from contamination of the red giant by the products of a nova thermonuclear runaway. In particular the C and O isotopic ratios taken in combination are a puzzle. We urge confirmation of our results using spectroscopy at high resolution. We also encourage a thorough theoretical study of the effects on the secondary star in a recurrent nova system of contamination by ejecta having anomalous abundances and isotopic ratios.


title: Computability by Monadic Second-Order Logic

abstract: A binary relation on graphs is recursively enumerable if and only if it can be computed by a formula in monadic second-order logic. The latter means that the formula defines a set of graphs, in the usual way, such that each "computation graph" in that set determines a pair consisting of an input graph and an output graph.


title: DeepFolio: Convolutional Neural Networks for Portfolios with Limit Order Book Data

abstract: This work proposes DeepFolio, a new model for deep portfolio management based on data from limit order books (LOB). DeepFolio solves problems found in the state-of-the-art for LOB data to predict price movements. Our evaluation consists of two scenarios using a large dataset of millions of time series. The improvements deliver superior results both in cases of abundant as well as scarce data. The experiments show that DeepFolio outperforms the state-of-the-art on the benchmark FI-2010 LOB. Further, we use DeepFolio for optimal portfolio allocation of crypto-assets with rebalancing. For this purpose, we use two loss-functions - Sharpe ratio loss and minimum volatility risk. We show that DeepFolio outperforms widely used portfolio allocation techniques in the literature.


title: CMEchaser, detecting line-of-sight occultations due to Coronal Mass Ejections

abstract: We present a python-based tool to detect the occultation of background sources by foreground Solar coronal mass ejections. The tool takes as input standard celestial coordinates of the source and translates those to the Helioprojective plane, and is thus well suited for use with a wide variety of background astronomical sources. This tool provides an easy means to search through a large archival dataset for such crossings and relies on the well-tested Astropy and Sunpy modules.


title: Enhancing Rumor Detection in Social Media Using Dynamic Propagation Structures

abstract: Social media, such as Facebook and Twitter, has become one of the most important channels for information dissemination. However, these social media platforms are often misused to spread rumors, which has brought about severe social problems, and consequently, there are urgent needs for automatic rumor detection techniques. Existing work on rumor detection concentrates more on the utilization of textual features, but diffusion structure itself can provide critical propagating information in identifying rumors. Previous works which have considered structural information, only utilize limited propagation structures. Moreover, few related research has considered the dynamic evolution of diffusion structures. To address these issues, in this paper, we propose a Neural Model using Dynamic Propagation Structures (NM-DPS) for rumor detection in social media. Firstly, we propose a partition approach to model the dynamic evolution of propagation structure and then use temporal attention based neural model to learn a representation for the dynamic structure. Finally, we fuse the structure representation and content features into a unified framework for effective rumor detection. Experimental results on two real-world social media datasets demonstrate the salience of dynamic propagation structure information and the effectiveness of our proposed method in capturing the dynamic structure.


title: Gallai-Ramsey numbers for graphs with five vertices and eight edges

abstract: A Gallai $k$-coloring is a $k$-edge coloring of a complete graph in which there are no rainbow triangles. For given graphs $G_1, G_2, G_3$ and nonnegative integers $r, s, t$ with that $k=r+s+t$, the $k$-colored Gallai-Ramsey number $gr_{k}(K_{3}: r\cdot G_1,~ s\cdot G_2, ~t\cdot G_3)$ is the minimum integer $n$ such that every Gallai $k$-colored $K_{n}$ contains a monochromatic copy of $G_1$ colored by one of the first $r$ colors or a monochromatic copy of $G_2$ colored by one of the middle $s$ colors or a monochromatic copy of $G_3$ colored by one of the last $t$ colors. In this paper, we determine the value of Gallai-Ramsey number in the case that $G_1=B_{3}^{+}$, $G_2=S_{3}^+$ and $G_3=K_3$. Then the Gallai-Ramsey number $gr_{k}(K_{3}: B_{3}^{+})$ is obtained. Thus the Gllai-Ramsey numbers for graphs with five vertices and eight edges are solved completely. Furthermore, the the Gallai-Ramsey numbers $gr_{k}(K_{3}: r\cdot B_3^+,~ (k-r)\cdot S_3^+)$, $gr_{k}(K_{3}: r\cdot B_3^+,~ (k-r)\cdot K_3)$ and $gr_{k}(K_{3}: s\cdot S_3^+,~ (k-s)\cdot K_3)$ are obtained, respecticely.


title: NOON states with ultracold bosonic atoms via resonance- and chaos-assisted tunneling

abstract: We theoretically investigate the generation of microscopic atomic NOON states, corresponding to the coherent |N,0> + |0,N> superposition with N ~ 5 particles, via collective tunneling of interacting ultracold bosonic atoms within a symmetric double-well potential in the self-trapping regime. We show that a periodic driving of the double well with suitably tuned amplitude and frequency parameters allows one to substantially boost this tunneling process without altering its collective character. The time scale to generate the NOON superposition, which corresponds to half the tunneling time and would be prohibitively large in the undriven double well for the considered atomic populations, can thereby be drastically reduced, which renders the realization of NOON states through this protocol experimentally feasible. Resonance- and chaos-assisted tunneling are identified as key mechanisms in this context. A quantitative semiclassical evaluation of their impact onto the collective tunneling process allows one to determine the optimal choice for the driving parameters in order to generate those NOON states as fast as possible.


title: Evolution of the self-injection process in the transition of an LWFA from self-modulation to blowout regime

abstract: Long wavelength infrared (LWIR) laser driven plasma wakefield accelerators are investigated here in the self-modulated laser wakefield acceleration (SM-LWFA) and blowout regimes using 3D Particle-in-Cell simulations. The simulation results show that in SM-LWFA regime, self-injection arises with wave breaking, whereas in the blowout regime, self-injection is not observed under the simulation conditions. The wave breaking process in SM-LWFA regime occurs at a field strength that is significantly below the 1D wave-breaking threshold. This process intensifies at higher laser power and plasma density and is suppressed at low plasma densities ($\leq 1\times10^{17}$ $cm^{-3}$ here). The produced electrons show spatial modulations with a period matching that of the laser wavelength, which is a clear signature of direct laser acceleration (DLA).


title: The two-dimensional continuum random field Ising model

abstract: In this paper we construct the two-dimensional continuum random field Ising model via scaling limits of a random field perturbation of the critical two-dimensional Ising model with diminishing disorder strength. Furthermore, we show that almost surely with respect to the continuum random field given by a white noise, the law of the magnetisation field is singular with respect to that of the two-dimensional continuum pure Ising model constructed by Camia, Garban and Newman.


title: Generation of Schr\"odinger cat states through photon-assisted Landau-Zener-St\"uckelberg interferometry

abstract: Schr\"odinger cat states are useful for many applications, ranging from quantum information processing to high-precision measurements. In this paper we propose a conceptually new method for creating such cat states, based on photon-assisted Landau-Zener-St\"uckelberg interferometry in a hybrid system consisting of a qubit coupled to a photon cavity. We show that by initializing the qubit in one of its basis states, performing three consecutive sweeps of the qubit energy splitting across the 1-photon resonance, and finally projecting the qubit to the same basis state, the parity of the photon field can be purified to very high degree; when the initial photon state is a coherent state, the final state will then be very close to a Schr\"odinger cat state. We present numerical simulations that confirm that our protocol could work with high fidelity ($\sim 0.99$) for coherent states of reasonable size ($|\alpha|^2 \sim 10$). Furthermore, we suggest that our protocol can also be used to transfer quantum information between the qubit and a superposition of orthogonal cat states in the cavity.


title: Perfect linear complexity profile and Apwenian sequences

abstract: Sequences with {\em perfect linear complexity profile} were defined more than thirty years ago in the study of measures of randomness for binary sequences. More recently {\em apwenian sequences}, first with values $\pm 1$, then with values in $\{0, 1\}$, were introduced in the study of Hankel determinants of automatic sequences. We explain that these two families of sequences are the same up to indexing, and give consequences and questions that this implies. We hope that this will help gathering two distinct communities of researchers.


title: Collaborative Fairness in Federated Learning

abstract: In current deep learning paradigms, local training or the Standalone framework tends to result in overfitting and thus poor generalizability. This problem can be addressed by Distributed or Federated Learning (FL) that leverages a parameter server to aggregate model updates from individual participants. However, most existing Distributed or FL frameworks have overlooked an important aspect of participation: collaborative fairness. In particular, all participants can receive the same or similar models, regardless of their contributions. To address this issue, we investigate the collaborative fairness in FL, and propose a novel Collaborative Fair Federated Learning (CFFL) framework which utilizes reputation to enforce participants to converge to different models, thus achieving fairness without compromising the predictive performance. Extensive experiments on benchmark datasets demonstrate that CFFL achieves high fairness, delivers comparable accuracy to the Distributed framework, and outperforms the Standalone framework.


title: NGC 2366 : An optical search for possible supernova remnants

abstract: The results of an optical search for supernova remnants (SNRs) in the nearby irregular galaxy NGC 2366 are presented. We took interference filter images and collected spectral data in three epochs with the f/7.7 1.5 m Russian Turkish Telescope (RTT150) at T\"{U}B\.{I}TAK National Observatory (TUG) located in Antalya, Turkey. The continuum-subtracted H$\alpha$ and continuum-subtracted [SII]$\lambda \lambda$6716, 6731 images and their ratios were used for the identification of SNRs. With [SII]/H$\alpha$ $\geq$ 0.4 criteria, four possible SNR candidates were identified in NGC 2366 with [SII]/H$\alpha$ ratios of $\sim$(0.68, 0.57, 0.55 and 0.75), H$\alpha$ intensities of $\sim$(2.10, 0.36, 0.14, 0.11)$\times 10^{-15}$ erg cm$^{-2}$ s$^{-1}$ [SII]$\lambda$6716/$\lambda$6731 average flux ratios of $\sim$(1.01 and 1.04), electron densities of $N_{\rm e}$ $\sim$(582 and 513) cm$^{-3}$ and [OIII] $\lambda$5007/H$\beta$ $\lambda$4861 $\sim$(3.6 and 2.6) line ratio values are obtained for two of the SNR candidates. A shock velocity $V_{\rm s}$ of 80 $\leq$ $V_{\rm s}$ $\leq$ 100 km s$^{-1}$ is reported. The spectral parameters are obtained for the first time for these possible SNR candidates. The locations of the four SNRs obtained here are found to be consistent with optical and radio results reported so far. One of the sources categorised earlier by XMM-Newton observations as an extended X-ray source position is found to be consistent with one of four possible SNR candidates reported here.


title: A natural interpretation on the data of $\Lambda_c\to\Sigma\pi$

abstract: Even though the Standard Model (SM) has achieved great success, its application to the field of low energies still lacks solid foundation due to our limited knowledge on non-perturbative QCD. Practically, all theoretical calculations of the hadronic transition matrix elements are based various phenomenological models. There indeed exist some anomalies in the field which are waiting for interpretations. The goal of this work is trying to solve one of the anomalies: the discrepancy between the theoretical prediction on the sign of the up-down asymmetry parameter of $\Lambda_c\to\Sigma\pi$ and the experimental measurement. In the literatures several authors calculated the rate and determined the asymmetry parameter within various schemes, but there exist obvious loopholes in those adopted scenarios. To solve the discrepancy between theory and data, we suggest that not only the direct transition process contributes to the observed $\Lambda_c\to\Sigma\pi$, but also other portals such as $\Lambda_c\to \Lambda\rho$ also play a substantial role via an isospin-conserving re-scattering $\Lambda\rho\to\Sigma\pi$. Taking into account of the effects induced by the final state interaction, we re-evaluate the relevant quantities. Our numerical results indicate that the new theoretical prediction based on this scenario involving an interference between the direct transition of $\Lambda_c\to\Sigma\pi$ and the portal $\Lambda_c\to\Lambda\rho\to\Sigma\pi$ can make both the decay rate and sign of the asymmetry parameter to be consistent with data.


title: Grid Quality Measures for Iterative Convergence

abstract: In this paper, we discuss two grid-quality measures, F- and G-measures, in relation to iterative convergence of an implicit unstructured-grid Navier-Stokes solver. The F-measure is a lower bound of a least-squares gradient, which is a purely geometrical quantity defined in each cell and thus can be computed for a given grid: faster convergence is expected for a grid with a lower value of the F-measure. The G-measure is a least-squares gradient of a specified function around each cell, with the minimum value of zero. Faster convergence is expected for a smaller value of the G-measure towards zero. In this paper, we investigate these measures for inviscid and viscous problems with unstructured grids in two dimensions.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Learning Condition Invariant Features for Retrieval-Based Localization from 1M Images

abstract: Image features for retrieval-based localization must be invariant to dynamic objects (e.g. cars) as well as seasonal and daytime changes. Such invariances are, up to some extent, learnable with existing methods using triplet-like losses, given a large number of diverse training images. However, due to the high algorithmic training complexity, there exists insufficient comparison between different loss functions on large datasets. In this paper, we train and evaluate several localization methods on three different benchmark datasets, including Oxford RobotCar with over one million images. This large scale evaluation yields valuable insights into the generalizability and performance of retrieval-based localization. Based on our findings, we develop a novel method for learning more accurate and better generalizing localization features. It consists of two main contributions: (i) a feature volume-based loss function, and (ii) hard positive and pairwise negative mining. On the challenging Oxford RobotCar night condition, our method outperforms the well-known triplet loss by 24.4% in localization accuracy within 5m.


title: Synchronizing Times for $k$-sets in Automata

abstract: An automaton is synchronizing if there is a word that maps all states onto the same state. \v{C}ern\'{y}'s conjecture on the length of the shortest such word is probably the most famous open problem in automata theory. We consider the closely related question of determining the minimum length of a word that maps $k$ states onto a single state. For synchronizing automata, we improve the upper bound on the minimum length of a word that sends some triple to a a single state from $0.5n^2$ to $\approx 0.19n^2$. We further extend this to an improved bound on the length of such a word for 4 states and 5 states. In the case of non-synchronizing automata, we give an example to show that the minimum length of a word that sends $k$ states to a single state can be as large as $\Theta\left(n^{k-1}\right)$.


title: Random tree-weighted graphs

abstract: For each $n \ge 1$, let $\mathrm{d}^n=(d^{n}(i),1 \le i \le n)$ be a sequence of positive integers with even sum $\sum_{i=1}^n d^n(i) \ge 2n$. Let $(G_n,T_n,\Gamma_n)$ be uniformly distributed over the set of simple graphs $G_n$ with degree sequence $\mathrm{d}^n$, endowed with a spanning tree $T_n$ and rooted along an oriented edge $\Gamma_n$ of $G_n$ which is not an edge of $T_n$. Under a finite variance assumption on degrees in $G_n$, we show that, after rescaling, $T_n$ converges in distribution to the Brownian continuum random tree as $n \to \infty$. Our main tool is a new version of Pitman's additive coalescent (https://doi.org/10.1006/jcta.1998.2919), which can be used to build both random trees with a fixed degree sequence, and random tree-weighted graphs with a fixed degree sequence. As an input to the proof, we also derive a Poisson approximation theorem for the number of loops and multiple edges in the superposition of a fixed graph and a random graph with a given degree sequence sampled according to the configuration model; we find this to be of independent interest.


title: Synchronized Attachment and the Darwinian Evolution of Coronaviruses CoV-1 and CoV-2

abstract: CoV2019 has evolved to be much more dangerous than CoV2003. Experiments suggest that structural rearrangements dramatically enhance CoV2019 activity. We identify a new first stage of infection which precedes structural rearrangements by using biomolecular evolutionary theory to identify sequence differences enhancing viral attachment rates. We find a small cluster of mutations which show that CoV-2 has a new feature that promotes much stronger viral attachment and enhances contagiousness. The extremely dangerous dynamics of human coronavirus infection is a dramatic example of evolutionary approach of self-organized networks to criticality. It may favor a very successful vaccine. The identified mutations can be used to test the present theory experimentally.


title: Uralic Language Identification (ULI) 2020 shared task dataset and the Wanca 2017 corpus

abstract: This article introduces the Wanca 2017 corpus of texts crawled from the internet from which the sentences in rare Uralic languages for the use of the Uralic Language Identification (ULI) 2020 shared task were collected. We describe the ULI dataset and how it was constructed using the Wanca 2017 corpus and texts in different languages from the Leipzig corpora collection. We also provide baseline language identification experiments conducted using the ULI 2020 dataset.


title: Complexity Aspects of Fundamental Questions in Polynomial Optimization

abstract: In this thesis, we settle the computational complexity of some fundamental questions in polynomial optimization. These include the questions of (i) finding a local minimum, (ii) testing local minimality of a point, and (iii) deciding attainment of the optimal value. Our results characterize the complexity of these three questions for all degrees of the defining polynomials left open by prior literature. Regarding (i) and (ii), we show that unless P=NP, there cannot be a polynomial-time algorithm that finds a point within Euclidean distance $c^n$ (for any constant $c$) of a local minimum of an $n$-variate quadratic program. By contrast, we show that a local minimum of a cubic polynomial can be found efficiently by semidefinite programming (SDP). We prove that second-order points of cubic polynomials admit an efficient semidefinite representation, even though their critical points are NP-hard to find. We also give an efficiently-checkable necessary and sufficient condition for local minimality of a point for a cubic polynomial. Regarding (iii), we prove that testing whether a quadratically constrained quadratic program with a finite optimal value has an optimal solution is NP-hard. We also show that testing coercivity of the objective function, compactness of the feasible set, and the Archimedean property associated with the description of the feasible set are all NP-hard. We also give a new characterization of coercive polynomials that lends itself to a hierarchy of SDPs. In our final chapter, we present an SDP relaxation for finding approximate Nash equilibria in bimatrix games. We show that for a symmetric game, a $1/3$-Nash equilibrium can be efficiently recovered from any rank-2 solution to this relaxation. We also propose SDP relaxations for NP-hard problems related to Nash equilibria, such as that of finding the highest achievable welfare under any Nash equilibrium.