title: Detecting Bad Smells in Use Case Descriptions

abstract: Use case modeling is very popular to represent the functionality of the system to be developed, and it consists of two parts: use case diagram and use case description. Use case descriptions are written in structured natural language (NL), and the usage of NL can lead to poor descriptions such as ambiguous, inconsistent and/or incomplete descriptions, etc. Poor descriptions lead to missing requirements and eliciting incorrect requirements as well as less comprehensiveness of produced use case models. This paper proposes a technique to automate detecting bad smells of use case descriptions, symptoms of poor descriptions. At first, to clarify bad smells, we analyzed existing use case models to discover poor use case descriptions concretely and developed the list of bad smells, i.e., a catalogue of bad smells. Some of the bad smells can be refined into measures using the Goal-Question-Metric paradigm to automate their detection. The main contribution of this paper is the automated detection of bad smells. We have implemented an automated smell detector for 22 bad smells at first and assessed its usefulness by an experiment. As a result, the first version of our tool got a precision ratio of 0.591 and recall ratio of 0.981.


title: Black Hole Zeroth Law in Higher Curvature Gravity

abstract: The zeroth law of black hole mechanics is an assertion of constancy of the surface gravity on a stationary Killing horizon. The Hawking temperature of the black hole horizon is proportional to the surface gravity. Therefore, the constancy of the surface gravity is reminiscent of the zeroth law of ordinary thermodynamics. In this work, we provide a proof of the zeroth law in Lanczos-Lovelock theories of gravity, where the Einstein Hilbert action is supplemented by higher curvature terms.


title: Fast Byzantine Gathering with Visibility in Graphs

abstract: We consider the gathering task by a team of $m$ synchronous mobile robots in a graph of $n$ nodes. Each robot has an identifier (ID) and runs its own deterministic algorithm, i.e., there is no centralized coordinator. We consider a particularly challenging scenario: there are $f$ Byzantine robots in the team that can behave arbitrarily, and even have the ability to change their IDs to any value at any time. There is no way to distinguish these robots from non-faulty robots, other than perhaps observing strange or unexpected behaviour. The goal of the gathering task is to eventually have all non-faulty robots located at the same node in the same round. It is known that no algorithm can solve this task unless there at least $f+1$ non-faulty robots in the team. In this paper, we design an algorithm that runs in polynomial time with respect to $n$ and $m$ that matches this bound, i.e., it works in a team that has exactly $f+1$ non-faulty robots. In our model, we have equipped the robots with sensors that enable each robot to see the subgraph (including robots) within some distance $H$ of its current node. We prove that the gathering task is solvable if this visibility range $H$ is at least the radius of the graph, and not solvable if $H$ is any fixed constant.


title: Modeling membrane morphological change during autophagosome formation

abstract: Autophagy is an intracellular degradation process that is mediated by de novo formation of autophagosomes. Autophagosome formation involves dynamic morphological changes; a disk-shaped membrane cisterna grows, bends to become a cup-shaped structure, and finally develops into a spherical autophagosome. We have constructed a theoretical model that integrates the membrane morphological change and entropic partitioning of putative curvature generators, which we have used to investigate the autophagosome formation process quantitatively. We show that the membrane curvature and the distribution of the curvature generators stabilize disk- and cup-shaped intermediate structures during autophagosome formation, which is quantitatively consistent with in vivo observations. These results suggest that various autophagy proteins with membrane curvature-sensing properties control morphological change by stabilizing these intermediate structures. Our model provides a framework for understanding autophagosome formation.


title: A Lagrangian Klein bottle you can't squeeze

abstract: Suppose you have a nonorientable Lagrangian surface L in a symplectic 4-manifold. How far can you deform the symplectic form before the smooth isotopy class of L contains no Lagrangians? I solve this question for a particular Lagrangian Klein bottle. I also discuss some related conjectures.


title: Strong transient flows generated by thermoplasmonic bubble nucleation

abstract: The challenge of inducing and controlling localized fluid flows for generic force actuation and for achieving efficient mass transport in microfluidics is key to the development of next generation miniaturized systems for chemistry and life sciences. Here we demonstrate a methodology for the robust generation and precise quantification of extremely strong flow transients driven by vapor bubble nucleation on spatially isolated plasmonic nanoantennas excited by light. The system is capable of producing peak flow speeds of the order mm/s at modulation rates up to 100 Hz in water, thus allowing for a variety of high-throughput applications. Analysis of flow dynamics and fluid viscosity dependence indicate that the transient originates in the rapid bubble expansion that follows nucleation rather than being strictly thermocapillary in nature.


title: Fundus Image Analysis for Age Related Macular Degeneration: ADAM-2020 Challenge Report

abstract: Age related macular degeneration (AMD) is one of the major causes for blindness in the elderly population. In this report, we propose deep learning based methods for retinal analysis using color fundus images for computer aided diagnosis of AMD. We leverage the recent state of the art deep networks for building a single fundus image based AMD classification pipeline. We also propose methods for the other directly relevant and auxiliary tasks such as lesions detection and segmentation, fovea detection and optic disc segmentation. We propose the use of generative adversarial networks (GANs) for the tasks of segmentation and detection. We also propose a novel method of fovea detection using GANs.


title: Statistical characterization and time-series modeling of seismic noise

abstract: Developing statistical models for seismic noise is an exercise of high value in seismic data analysis since these models play a critical role in detecting the onset of seismic events. A majority of these models are usually built on certain critical assumptions, namely, stationarity, linearity, and Gaussianity. Despite their criticality, very little reported literature exists on validating these assumptions on real seismic data. The objectives of this work are (i) to critically study these long-held assumptions and (ii) to propose a systematic procedure for developing appropriate time-series models. A rigorous statistical analysis reveals that these standard assumptions do not hold for most of the data sets under study; rather they exhibit additional special features such as heteroskedasticity and integrating effects. Resting on these novel discoveries, ARIMA-GARCH models are developed for seismic noise. Studies are carried out on $185$ real-time data sets over different time intervals to study the daily and seasonal variations in noise characteristics and model structure. Nearly all datasets tested positive for first-order non-stationarity, heteroskedasticity, and Gaussianity, while $19\%$ tested negative for linearity. Analysis of the structural uniformity of the developed models with respect to daily and seasonal variations is also presented.


title: Long-time dynamics of classical Patlak-Keller-Segel equation

abstract: When the spatial dimension $n =2$, it has been well-known that a global mild solution to classical Patlak-Keller-Segel equation (PKS equation for short) exists if and only if its initial total mass is not in supercritical regime. However, to study long-time behavior of a global mild solution to $2$D PKS equation usually requires finite-free-energy and finite-second-moment assumptions on initial data. In this article, we introduce a novel argument to push and stretch a space-time strip. By this way, we gain $L^1$-compactness of PKS equation expressed under similarity variables. As a consequence, we obtain global dynamics of 2D PKS equation in subcritical regime with no additional assumptions. As for the higher dimensional case in which the spatial dimension $n \geq 3$, we also characterize the long-time asymptotics of global mild solutions to PKS equation. With a finite-total-mass assumption on density of cells, any global mild solution to PKS equation will approach a self-similar profile when time is large, provided that there is a sequence of time going to infinity on which $L^\infty$-norm of the density of cells converges to zero. The self-similar profile in the higher dimensional case is given by the function $M\mathcal{G}_n$, where $M$ is the total mass of cells and $\mathcal{G}_n$ denotes the standard $n$-dimensional Gaussian probability density. Convergence rates to self-similar profiles are also discussed in any dimensions. Particularly in the higher dimensional case, the general convergence rate for $L^1$-initial data can be improved if the initial data has a finite second moment. In fact, when time is large and $n \geq 3$, we provide, in an optimal way, a higher-order approximation of global mild solutions to PKS equation if the initial density has a finite second moment. All convergence rates studied in this article are under the $L^p$-norm with $p \in [1,\infty]$.


title: Unfolding-Model-Based Visualization: Theory, Method and Applications

abstract: Multidimensional unfolding methods are widely used for visualizing item response data. Such methods project respondents and items simultaneously onto a low-dimensional Euclidian space, in which respondents and items are represented by ideal points, with person-person, item-item, and person-item similarities being captured by the Euclidian distances between the points. In this paper, we study the visualization of multidimensional unfolding from a statistical perspective. We cast multidimensional unfolding into an estimation problem, where the respondent and item ideal points are treated as parameters to be estimated. An estimator is then proposed for the simultaneous estimation of these parameters. Asymptotic theory is provided for the recovery of the ideal points, shedding lights on the validity of model-based visualization. An alternating projected gradient descent algorithm is proposed for the parameter estimation. We provide two illustrative examples, one on users' movie rating and the other on senate roll call voting.


title: An informativity approach to the data-driven algebraic regulator problem

abstract: In this paper, the classical algebraic regulator problem is studied in a data-driven context. The endosystem is assumed to be an unknown system that is interconnected to a known exosystem that generates disturbances and reference signals. The problem is to design a regulator so that the output of the (unknown) endosystem tracks the reference signal, regardless of its initial state and the incoming disturbances. In order to do this, we assume that we have a set of input-state data on a finite time-interval. We introduce the notion of data informativity for regulator design, and establish necessary and sufficient conditions for a given set of data to be informative. Also, formulas for suitable regulators are given in terms of the data. Our results are illustrated by means of two extended examples.


title: Models for the BPS Berry Connection

abstract: Motivated by the Nahm's construction, in this paper we present a systematic construction of Schr\"{o}dinger Hamiltonians for a spin-1/2 particle where the Berry connection in the ground-state sector becomes the Bogomolny-Prasad-Sommerfield (BPS) monopole of $SU(2)$ Yang-Mills-Higgs theory. Our construction enjoys a single arbitrary monotonic function, thereby creating infinitely many quantum-mechanical models that simulate the BPS monopole in the space of model parameters.


title: Automated identification of metamorphic test scenarios for an ocean-modeling application

abstract: Metamorphic testing seeks to validate software in the absence of test oracles. Our application domain is ocean modeling, where test oracles often do not exist, but where symmetries of the simulated physical systems are known. In this short paper we present work in progress for automated generation of metamorphic test scenarios using machine learning. Metamorphic testing may be expressed as f(g(X))=h(f(X)) with f being the application under test, with input data X, and with the metamorphic relation (g, h). Automatically generated metamorphic relations can be used for constructing regression tests, and for comparing different versions of the same software application. Here, we restrict to h being the identity map. Then, the task of constructing tests means finding different g which we tackle using machine learning algorithms. These algorithms typically minimize a cost function. As one possible g is already known to be the identity map, for finding a second possible g, we construct the cost function to minimize for g being a metamorphic relation and to penalize for g being the identity map. After identifying the first metamorphic relation, the procedure is repeated with a cost function rewarding g that are orthogonal to previously found metamorphic relations. For experimental evaluation, two implementations of an ocean-modeling application will be subjected to the proposed method with the objective of presenting the use of metamorphic relations to test the implementations of the applications.


title: Sample-Efficient Automated Deep Reinforcement Learning

abstract: Despite significant progress in challenging problems across various domains, applying state-of-the-art deep reinforcement learning (RL) algorithms remains challenging due to their sensitivity to the choice of hyperparameters. This sensitivity can partly be attributed to the non-stationarity of the RL problem, potentially requiring different hyperparameter settings at various stages of the learning process. Additionally, in the RL setting, hyperparameter optimization (HPO) requires a large number of environment interactions, hindering the transfer of the successes in RL to real-world applications. In this work, we tackle the issues of sample-efficient and dynamic HPO in RL. We propose a population-based automated RL (AutoRL) framework to meta-optimize arbitrary off-policy RL algorithms. In this framework, we optimize the hyperparameters and also the neural architecture while simultaneously training the agent. By sharing the collected experience across the population, we substantially increase the sample efficiency of the meta-optimization. We demonstrate the capabilities of our sample-efficient AutoRL approach in a case study with the popular TD3 algorithm in the MuJoCo benchmark suite, where we reduce the number of environment interactions needed for meta-optimization by up to an order of magnitude compared to population-based training.


title: Intermittency, cascades and thin sets in three-dimensional Navier-Stokes turbulence

abstract: Visual manifestations of intermittency in computations of three dimensional Navier-Stokes fluid turbulence appear as the low-dimensional or `thin' filamentary sets on which vorticity and strain accumulate as energy cascades down to small scales. In order to study this phenomenon, the first task of this paper is to investigate how weak solutions of the Navier-Stokes equations can be associated with a cascade and, as a consequence, with an infinite sequence of inverse length scales. It turns out that this sequence converges to a finite limit. The second task is to show how these results scale with integer dimension $D=1,\,2,\,3$ and, in the light of the occurrence of thin sets, to discuss the mechanism of how the fluid might find the smoothest, most dissipative class of solutions rather than the most singular.


title: Evaluation of Software Product Quality Metrics

abstract: Computing devices and associated software govern everyday life, and form the backbone of safety critical systems in banking, healthcare, automotive and other fields. Increasing system complexity, quickly evolving technologies and paradigm shifts have kept software quality research at the forefront. Standards such as ISO's 25010 express it in terms of sub-characteristics such as maintainability, reliability and security. A significant body of literature attempts to link these subcharacteristics with software metric values, with the end goal of creating a metric-based model of software product quality. However, research also identifies the most important existing barriers. Among them we mention the diversity of software application types, development platforms and languages. Additionally, unified definitions to make software metrics truly language-agnostic do not exist, and would be difficult to implement given programming language levels of variety. This is compounded by the fact that many existing studies do not detail their methodology and tooling, which precludes researchers from creating surveys to enable data analysis on a larger scale. In our paper, we propose a comprehensive study of metric values in the context of three complex, open-source applications. We align our methodology and tooling with that of existing research, and present it in detail in order to facilitate comparative evaluation. We study metric values during the entire 18-year development history of our target applications, in order to capture the longitudinal view that we found lacking in existing literature. We identify metric dependencies and check their consistency across applications and their versions. At each step, we carry out comparative evaluation with existing research and present our results.


title: Parker Solar Probe Observations of Suprathermal Electron Flux Enhancements Originating from Coronal Hole Boundaries

abstract: Reconnection between pairs of solar magnetic flux elements, one open and the other a closed loop, is theorised to be a crucial process for both maintaining the structure of the corona and producing the solar wind. This 'interchange reconnection' is expected to be particularly active at the open-closed boundaries of coronal holes (CHs). Previous analysis of solar wind data at 1AU indicated that peaks in the flux of suprathermal electrons at slow-fast stream interfaces may arise from magnetic connection to the CH boundary, rather than dynamic effects such as compression. Further, offsets between the peak and stream interface locations are suggested to be the result of interchange reconnection at the source. As a preliminary test of these suggestions, we analyse two solar wind streams observed during the first Parker Solar Probe (PSP) perihelion encounter, each associated with equatorial CH boundaries (one leading and one trailing with respect to rotation). Each stream features a peak in suprathermal electron flux, the locations and associated plasma properties of which are indicative of a solar origin, in agreement with previous suggestions from 1AU observations. Discrepancies between locations of the flux peaks and other features suggest these peaks may too be shifted by source region interchange reconnection. Our interpretation of each event is compatible with a global pattern of open flux transport, although random footpoint motions or other explanations remain feasible. These exploratory results highlight future opportunities for statistical studies regarding interchange reconnection and flux transport at CH boundaries with modern near-Sun missions.


title: 1st Place Solution of LVIS Challenge 2020: A Good Box is not a Guarantee of a Good Mask

abstract: This article introduces the solutions of the team lvisTraveler for LVIS Challenge 2020. In this work, two characteristics of LVIS dataset are mainly considered: the long-tailed distribution and high quality instance segmentation mask. We adopt a two-stage training pipeline. In the first stage, we incorporate EQL and self-training to learn generalized representation. In the second stage, we utilize Balanced GroupSoftmax to promote the classifier, and propose a novel proposal assignment strategy and a new balanced mask loss for mask head to get more precise mask predictions. Finally, we achieve 41.5 and 41.2 AP on LVIS v1.0 val and test-dev splits respectively, outperforming the baseline based on X101-FPN-MaskRCNN by a large margin.


title: Biomedical named entity recognition using BERT in the machine reading comprehension framework

abstract: Recognition of biomedical entities from literature is a challenging research focus, which is the foundation for extracting a large amount of biomedical knowledge existing in unstructured texts into structured formats. Using the sequence labeling framework to implement biomedical named entity recognition (BioNER) is currently a conventional method. This method, however, often cannot take full advantage of the semantic information in the dataset, and the performance is not always satisfactory. In this work, instead of treating the BioNER task as a sequence labeling problem, we formulate it as a machine reading comprehension (MRC) problem. This formulation can introduce more prior knowledge utilizing well-designed queries, and no longer need decoding processes such as conditional random fields (CRF). We conduct experiments on six BioNER datasets, and the experimental results demonstrate the effectiveness of our method. Our method achieves state-of-the-art (SOTA) performance on the BC4CHEMD, BC5CDR-Chem, BC5CDR-Disease, NCBI-Disease, BC2GM and JNLPBA datasets, achieving F1-scores of 92.92%, 94.19%, 87.83%, 90.04%, 85.48% and 78.93%, respectively.


title: Process Mining Meets Causal Machine Learning: Discovering Causal Rules from Event Logs

abstract: This paper proposes an approach to analyze an event log of a business process in order to generate case-level recommendations of treatments that maximize the probability of a given outcome. Users classify the attributes in the event log into controllable and non-controllable, where the former correspond to attributes that can be altered during an execution of the process (the possible treatments). We use an action rule mining technique to identify treatments that co-occur with the outcome under some conditions. Since action rules are generated based on correlation rather than causation, we then use a causal machine learning technique, specifically uplift trees, to discover subgroups of cases for which a treatment has a high causal effect on the outcome after adjusting for confounding variables. We test the relevance of this approach using an event log of a loan application process and compare our findings with recommendations manually produced by process mining experts.


title: The inadequacy of a magnetohydrodynamic approach to the Biermann Battery

abstract: Magnetic fields can be generated in plasmas by the Biermann battery when the electric field produced by the electron pressure gradient has a curl. The commonly employed magnetohydrodynamic (MHD) model of the Biermann battery breaks down when the electron distribution function is distorted away from Maxwellian. Using both MHD and kinetic simulations of a laser-plasma interaction relevant to inertial confinement fusion we have shown that this distortion can reduce the Biermann-producing electric field by around 50\%. More importantly, the use of a flux limiter in an MHD treatment to deal with the effect of the non-Maxwellian electron distribution on electron thermal transport leads to a completely unphysical prediction of the Biermann-producing electric field and so results in erroneous predictions for the generated magnetic field.


title: Phase transition in the binary mixture of jammed particles with large size dispersity

abstract: It has been well established that particulate systems show the jamming transition and critical scaling behaviors associated with it. However, our knowledge is limited to (nearly) monodisperse systems. Recently, a binary mixture of jammed particles with large size dispersity was studied, and it was suggested that two distinct jammed phases appeared. Here, we conduct a thorough numerical study on this system with a special focus on the statistics of and finite-size effects on the fraction of small particles that participate in the rigid network. We present strong evidence that two distinct jammed phases appear depending on the pressure and composition of two species, which are separated by the first-order phase transition. In one of two phases, only large particles are jammed, whereas both small and large particles are jammed in the other phase. We also describe the phase diagram in the pressure-composition plane, where the first-order phase transition line terminates at a critical point. In addition, we investigate the mechanical properties in terms of the elastic moduli over the phase diagram and find that discontinuous changes in elastic moduli emerge across the phase transition. Remarkably, despite the discontinuities, the elastic moduli in each jammed phase exhibit identical scaling laws to those in the monodisperse systems.


title: Can AutoML outperform humans? An evaluation on popular OpenML datasets using AutoML Benchmark

abstract: In the last few years, Automated Machine Learning (AutoML) has gained much attention. With that said, the question arises whether AutoML can outperform results achieved by human data scientists. This paper compares four AutoML frameworks on 12 different popular datasets from OpenML; six of them supervised classification tasks and the other six supervised regression ones. Additionally, we consider a real-life dataset from one of our recent projects. The results show that the automated frameworks perform better or equal than the machine learning community in 7 out of 12 OpenML tasks.


title: Detection-Aware Trajectory Generation for a Drone Cinematographer

abstract: This work investigates an efficient trajectory generation for chasing a dynamic target, which incorporates the detectability objective. The proposed method actively guides the motion of a cinematographer drone so that the color of a target is well-distinguished against the colors of the background in the view of the drone. For the objective, we define a measure of color detectability given a chasing path. After computing a discrete path optimized for the metric, we generate a dynamically feasible trajectory. The whole pipeline can be updated on-the-fly to respond to the motion of the target. For the efficient discrete path generation, we construct a directed acyclic graph (DAG) for which a topological sorting can be determined analytically without the depth-first search. The smooth path is obtained in quadratic programming (QP) framework. We validate the enhanced performance of state-of-the-art object detection and tracking algorithms when the camera drone executes the trajectory obtained from the proposed method.


title: The influence of line opacity treatment in STELLA on supernova light curves

abstract: We systematically explore the effect of the treatment of line opacity on supernova light curves. We find that it is important to consider line opacity for both scattering and absorption (i.e. thermalisation which mimics the effect of fluorescence.) We explore the impact of degree of thermalisation on three major types of supernovae: Type Ia, Type II-peculiar, and Type II-plateau. For that we use radiative transfer code STELLA and analyse broad-band light curves in the context of simulations done with the spectral synthesis code ARTIS and in the context a few examples of observed supernovae of each type. We found that the plausible range for the ratio between absorption and scattering in the radiation hydrodynamics code STELLA is (0.8-1):(0.2-0), i.e. the recommended thermalisation parameter is 0.9.


title: MAX CUT in Weighted Random Intersection Graphs and Discrepancy of Sparse Random Set Systems

abstract: Let $V$ be a set of $n$ vertices, ${\cal M}$ a set of $m$ labels, and let $\mathbf{R}$ be an $m \times n$ matrix of independent Bernoulli random variables with success probability $p$. A random instance $G(V,E,\mathbf{R}^T\mathbf{R})$ of the weighted random intersection graph model is constructed by drawing an edge with weight $[\mathbf{R}^T\mathbf{R}]_{v,u}$ between any two vertices $u,v$ for which this weight is larger than 0. In this paper we study the average case analysis of Weighted Max Cut, assuming the input is a weighted random intersection graph, i.e. given $G(V,E,\mathbf{R}^T\mathbf{R})$ we wish to find a partition of $V$ into two sets so that the total weight of the edges having one endpoint in each set is maximized. We initially prove concentration of the weight of a maximum cut of $G(V,E,\mathbf{R}^T\mathbf{R})$ around its expected value, and then show that, when the number of labels is much smaller than the number of vertices, a random partition of the vertices achieves asymptotically optimal cut weight with high probability (whp). Furthermore, in the case $n=m$ and constant average degree, we show that whp, a majority type algorithm outputs a cut with weight that is larger than the weight of a random cut by a multiplicative constant strictly larger than 1. Then, we highlight a connection between the computational problem of finding a weighted maximum cut in $G(V,E,\mathbf{R}^T\mathbf{R})$ and the problem of finding a 2-coloring with minimum discrepancy for a set system $\Sigma$ with incidence matrix $\mathbf{R}$. We exploit this connection by proposing a (weak) bipartization algorithm for the case $m=n, p=\frac{\Theta(1)}{n}$ that, when it terminates, its output can be used to find a 2-coloring with minimum discrepancy in $\Sigma$. Finally, we prove that, whp this 2-coloring corresponds to a bipartition with maximum cut-weight in $G(V,E,\mathbf{R}^T\mathbf{R})$.


title: Symmetric and Spectral Realizations of Highly Symmetric Graphs

abstract: A realization of a graph $G=(V,E)$ is a map $v\colon V\to\Bbb R^d$ that assigns to each vertex a point in $d$-dimensional Euclidean space. We study graph realizations from the perspective of representation theory (expressing certain symmetries), spectral graph theory (satisfying certain self-stress conditions) and rigidity theory (admitting deformations that do not alter the symmetry properties). We explore the connections between these perspectives, with a focus on realizations of highly symmetric graphs (arc-transitive/distance-transitive) and the question of how much symmetry is necessary to ensure that a realization is balanced, spectral, rigid etc. We include many examples to give a broad overview of the possibilities and restrictions of symmetric and spectral graph realizations.


title: Remote Joint Strong Coordination and Reliable Communication

abstract: We consider a three-node network, in which two agents wish to communicate over a noisy channel, while controlling the distribution observed by a third external agent. We use strong coordination to constrain the distribution, and we provide a complete characterization of the "remote strong coordination and reliable communication" region.


title: Acoustic frequency combs using gas bubble cluster oscillations in liquids: a proof of concept

abstract: We propose a new approach to the generation of acoustic frequency combs (AFC) -- signals with spectra containing equidistant coherent peaks. AFCs are essential for a number of sensing and measurement applications, where the established technology of optical frequency combs suffers from fundamental physical limitations. Our proof-of-principle experiments demonstrate that nonlinear oscillations of a gas bubble cluster in water insonated by a low-pressure single-frequency ultrasound wave produce signals with spectra consisting of equally spaced peaks originating from the interaction of the driving ultrasound wave with the response of the bubble cluster at its natural frequency. The so-generated AFC posses essential characteristics of optical frequency combs and thus, similar to their optical counterparts, can be used to measure various physical, chemical and biological quantities.


title: MixBoost: Synthetic Oversampling with Boosted Mixup for Handling Extreme Imbalance

abstract: Training a classification model on a dataset where the instances of one class outnumber those of the other class is a challenging problem. Such imbalanced datasets are standard in real-world situations such as fraud detection, medical diagnosis, and computational advertising. We propose an iterative data augmentation method, MixBoost, which intelligently selects (Boost) and then combines (Mix) instances from the majority and minority classes to generate synthetic hybrid instances that have characteristics of both classes. We evaluate MixBoost on 20 benchmark datasets, show that it outperforms existing approaches, and test its efficacy through significance testing. We also present ablation studies to analyze the impact of the different components of MixBoost.


title: Secure Strong Coordination

abstract: We consider a network of two nodes separated by a noisy channel, in which the source and its reconstruction have to be strongly coordinated, while simultaneously satisfying the strong secrecy condition with respect to an outside observer of the noisy channel. In the case of non-causal encoding and decoding, we propose a joint source-channel coding scheme for the secure strong coordination region. Furthermore, we provide a complete characterization of the secure strong coordination region when the decoder has to reliably reconstruct the source sequence and the legitimate channel is more capable than the channel of the eavesdropper.


title: Auto-Classifier: A Robust Defect Detector Based on an AutoML Head

abstract: The dominant approach for surface defect detection is the use of hand-crafted feature-based methods. However, this falls short when conditions vary that affect extracted images. So, in this paper, we sought to determine how well several state-of-the-art Convolutional Neural Networks perform in the task of surface defect detection. Moreover, we propose two methods: CNN-Fusion, that fuses the prediction of all the networks into a final one, and Auto-Classifier, which is a novel proposal that improves a Convolutional Neural Network by modifying its classification component using AutoML. We carried out experiments to evaluate the proposed methods in the task of surface defect detection using different datasets from DAGM2007. We show that the use of Convolutional Neural Networks achieves better results than traditional methods, and also, that Auto-Classifier out-performs all other methods, by achieving 100% accuracy and 100% AUC results throughout all the datasets.


title: Equal partners do better in defensive alliances

abstract: Cyclic dominance offers not just a way to maintain biodiversity, but also serves as a sort of defensive alliance against an external invader. Interestingly, a new level of competition can be observed when two cyclic loops are present. Here the inner invasion speed plays a decisive role on the evolutionary outcome, because faster invasion rate provides an evolutionary advantage to an alliance. In this Letter we demonstrate that the heterogeneity of inner invasion rates makes an alliance vulnerable against a loop where group members are equal. Quite surprisingly, a loop where invasion rates are uniform can still dominate an alliance formed by heteregeneous rates even if the average speed of invasion is significantly higher in the latter group. At a specific range of parameter space, when intergroup invasion or the average inner invasion is moderate, the heterogeneous alliance with higher internal invasion speed may prevail, or the system terminates onto a novel 4- or 5-species solution.

categories: q-bio.PE cond-mat.stat-mech cs.GT nlin.PS physics.soc-ph


title: Deep Learning in Science

abstract: Much of the recent success of Artificial Intelligence (AI) has been spurred on by impressive achievements within a broader family of machine learning methods, commonly referred to as Deep Learning (DL). This paper provides insights on the diffusion and impact of DL in science. Through a Natural Language Processing (NLP) approach on the arXiv.org publication corpus, we delineate the emerging DL technology and identify a list of relevant search terms. These search terms allow us to retrieve DL-related publications from Web of Science across all sciences. Based on that sample, we document the DL diffusion process in the scientific system. We find i) an exponential growth in the adoption of DL as a research tool across all sciences and all over the world, ii) regional differentiation in DL application domains, and iii) a transition from interdisciplinary DL applications to disciplinary research within application domains. In a second step, we investigate how the adoption of DL methods affects scientific development. Therefore, we empirically assess how DL adoption relates to re-combinatorial novelty and scientific impact in the health sciences. We find that DL adoption is negatively correlated with re-combinatorial novelty, but positively correlated with expectation as well as variance of citation performance. Our findings suggest that DL does not (yet?) work as an autopilot to navigate complex knowledge landscapes and overthrow their structure. However, the 'DL principle' qualifies for its versatility as the nucleus of a general scientific method that advances science in a measurable way.


title: Cherenkov radiation and emission of surface polaritons from charges moving paraxially outside a dielectric cylindrical waveguide

abstract: We investigate the radiation from a charged particle moving outside a dielectric cylinder parallel to its axis. It is assumed that the cylinder is immersed into a homogeneous medium. The expressions are given for the vector potential and for the electric and magnetic fields. The spectral distributions are studied for three types of the radiations: (i) Cherenkov radiation (CR) in the exterior medium, (ii) radiation on the guided modes of the dielectric cylinder, and (iii) emission of surface polaritons. Unlike the first two types of radiations, there is no velocity threshold for the generation of surface polaritons. The corresponding radiation is present in the spectral range where the dielectric permittivities of the cylinder and surrounding medium have opposite signs. The spectral range of the emitted surface polaritons becomes narrower with decreasing energy of the particle. The general results are illustrated for a special case of the Drude model for dispersion of the dielectric permittivity of the cylinder. We show that the presence of the cylinder may lead to the appearance of strong narrow peaks in the spectral distribution of the CR in the exterior medium. The conditions are specified for the appearance of those peaks and the corresponding heights and widths are analytically estimated. The collective effects of particles in bunches are discussed.


title: Matrices, Bratteli Diagrams and Hopf-Galois Extensions

abstract: We show that the matrix embeddings in Bratteli diagrams are iterated direct sums of Hopf-Galois extensions (quantum principle bundles) for certain abelian groups. The corresponding strong universal connections are computed. We show that $ M_{n}(\mathbb{C})$ is a trivial quantum principle bundle for the Hopf algebra $ \mathbb{C}[\mathbb{Z}_{n} \times \mathbb{Z}_{n}] $. We conclude with an application relating known calculi on groups to calculi on matrices.


title: Asymptotic behavior of 2D stably stratified fluids with a damping term in the velocity equation

abstract: This article is concerned with the asymptotic behavior of the two-dimensional inviscid Boussinesq equations with a damping term in the velocity equation. Precisely, we provide the time-decay rates of the smooth solutions to that system. The key ingredient is a careful analysis of the Green kernel of the linearized problem in Fourier space, combined with bilinear estimates and interpolation inequalities for handling the nonlinearity.


title: DESC: Domain Adaptation for Depth Estimation via Semantic Consistency

abstract: Accurate real depth annotations are difficult to acquire, needing the use of special devices such as a LiDAR sensor. Self-supervised methods try to overcome this problem by processing video or stereo sequences, which may not always be available. Instead, in this paper, we propose a domain adaptation approach to train a monocular depth estimation model using a fully-annotated source dataset and a non-annotated target dataset. We bridge the domain gap by leveraging semantic predictions and low-level edge features to provide guidance for the target domain. We enforce consistency between the main model and a second model trained with semantic segmentation and edge maps, and introduce priors in the form of instance heights. Our approach is evaluated on standard domain adaptation benchmarks for monocular depth estimation and show consistent improvement upon the state-of-the-art.


title: A resolution of singularities for the orbit spaces $G_{n,2}/T^n$

abstract: The problem of the description of the orbit space $X_{n} = G_{n,2}/T^n$ for the standard action of the torus $T^n$ on a complex Grassmann manifold $G_{n,2}$ is widely known and it appears in diversity of mathematical questions. A point $x\in X_{n}$ is said to be a critical point if the stabilizer of its corresponding orbit is nontrivial. In this paper, the notion of singular points of $X_n$ is introduced which opened the new approach to this problem. It is showed that for $n>4$ the set of critical points $\text{Crit}X_n$ belongs to our set of singular points $\text{Sing}X_{n}$, while the case $n=4$ is somewhat special for which $\text{Sing}X_4\subset \text{Crit}X_4$, but there are critical points which are not singular. The central result of this paper is the construction of the smooth manifold $U_n$ with corners, $\dim U_n = \dim X_n$ and an explicit description of the projection $p_{n} : U_{n}\to X_{n}$ which in the defined sense resolve all singular points of the space $X_n$. Thus, we obtain the description of the orbit space $G_{n,2}/T^n$ combinatorial structure. Moreover, the $T^n$-action on $G_{n,2}$ is a seminal example of complexity $(n-3)$ - action. Our results demonstrate the method for general description of orbit spaces for torus actions of positive complexity.


title: Ultrafast non-volatile flash memory based on van der Waals heterostructures

abstract: Flash memory has become a ubiquitous solid-state memory device, it is widely used in portable digital devices, computers, and enterprise applications. The development of the information age has put forward higher requirements for memory speed and retention performance. Here, we demonstrate an ultrafast non-volatile memory based on MoS2/h-BN/multi-layer graphene (MLG) van der Waals heterostructures, which has an atomic-level flat interface and achieves ultrafast writing/erasing speed (~20 ns), surpassing the reported state-of-the-art flash memory (~100 ns). The ultrafast flash memory could lay the foundation for the next-generation of high-speed non-volatile memory.


title: On necessary and sufficient conditions relating the adjoint of a column to a row of linear relations

abstract: A row and a column of two linear relations in Hilbert spaces are presented respectively as a sum and an intersection of two linear relations. As an application, necessary and sufficient conditions for the adjoint of a column to be a row are examined. Several outcomes are discussed as well.


title: How close are shell models to the 3D Navier-Stokes equations?

abstract: Shell models have found wide application in the study of hydrodynamic turbulence because they are easily solved numerically even at very large Reynolds numbers. Although bereft of spatial variation, they accurately reproduce the main statistical properties of fully-developed homogeneous and isotropic turbulence. Moreover, they enjoy regularity properties which still remain open for the three-dimensional (3D) Navier-Stokes equations (NSEs). The goal of this study is to make a rigorous comparison between shell models and the NSEs. It turns out that only the estimate of the mean energy dissipation rate is the same in both systems. The estimates of the velocity and its higher-order derivatives display a weaker Reynolds number dependence for shell models than for the 3D NSEs. Indeed, the velocity-derivative estimates for shell models are found to be equivalent to those corresponding to a velocity gradient averaged version of the 3D Navier-Stokes equations (VGA-NSEs), while the velocity estimates are even milder. Numerical simulations over a wide range of Reynolds numbers confirm the estimates for shell models.


title: A fast centrality-meter for heavy-ion collisions at the CBM experiment

abstract: A new method of event characterization based on Deep Learning is presented. The PointNet models can be used for fast, online event-by-event impact parameter determination at the CBM experiment. For this study, UrQMD and the CBM detector simulation are used to generate Au+Au collision events at 10 AGeV which are then used to train and evaluate PointNet based architectures. The models can be trained on features like the hit position of particles in the CBM detector planes, tracks reconstructed from the hits or combinations thereof. The Deep Learning models reconstruct impact parameters from 2-14 fm with a mean error varying from -0.33 to 0.22 fm. For impact parameters in the range of 5-14 fm, a model which uses the combination of hit and track information of particles has a relative precision of 4-9 % and a mean error of -0.33 to 0.13 fm. In the same range of impact parameters, a model with only track information has a relative precision of 4-10 % and a mean error of -0.18 to 0.22 fm. This new method of event-classification is shown to be more accurate and less model dependent than conventional methods and can utilize the performance boost of modern GPU processor units.


title: Solitons of Some Nonlinear Sigma-Like Models

abstract: We present a set of differential identities for some class of matrices. These identities are used to derive the $N$-soliton solutions for the Pohlmeyer nonlinear sigma-model, two-dimensional self-dual Yang-Mills equations and some modification of the vector Calapso equation.


title: Symmetric polynomials and exterior power of a polynomial ring in one variable

abstract: In this article we consider the exterior power and the symmetric tensors of the polynomial ring in one variable. The structure of an associative semigraded algebra of this polynomial ring induces on the symmetric tensors the structure of an associative semigraded algebra, and on the exterior power induces structure of a semigraded module over semigraded algebra of symmetric tensors. The algebra of symmetric polynomials is isomorphic to the algebra of the symmetric tensors of polynomial ring in one variables. We obtained the explicit expression for symmetric polynomials via elementary symmetric polynomials and the explicit expression for elements of the exterior power via elementary symmetric polynomials and elements of the exterior power of the lower polynomial degree.


title: C2 representations of the solar background coefficients for the model S-AtmoI

abstract: We construct C2 representations of the background quantities that characterize the interior of the Sun and its atmosphere starting from the data-points of the standard solar model S. This model is further extended considering an isothermal atmosphere, that we refer to as model AtmoI. It is not trivial to build the C2 representations of the parameters from a discrete set of values, in particular in the transition region between the end of model S and the atmosphere. This technical work is needed as a crucial building block to study theoretically and numerically the propagation of waves in the Sun, using the equations of solar oscillations (also referred to as Galbrun's equation in aeroacoustics). The constructed models are available at http://phaidra.univie.ac.at/o:1097638.


title: Layer-specific Optimization for Mixed Data Flow with Mixed Precision in FPGA Design for CNN-based Object Detectors

abstract: Convolutional neural networks (CNNs) require both intensive computation and frequent memory access, which lead to a low processing speed and large power dissipation. Although the characteristics of the different layers in a CNN are frequently quite different, previous hardware designs have employed common optimization schemes for them. This paper proposes a layer-specific design that employs different organizations that are optimized for the different layers. The proposed design employs two layer-specific optimizations: layer-specific mixed data flow and layer-specific mixed precision. The mixed data flow aims to minimize the off-chip access while demanding a minimal on-chip memory (BRAM) resource of an FPGA device. The mixed precision quantization is to achieve both a lossless accuracy and an aggressive model compression, thereby further reducing the off-chip access. A Bayesian optimization approach is used to select the best sparsity for each layer, achieving the best trade-off between the accuracy and compression. This mixing scheme allows the entire network model to be stored in BRAMs of the FPGA to aggressively reduce the off-chip access, and thereby achieves a significant performance enhancement. The model size is reduced by 22.66-28.93 times compared to that in a full-precision network with a negligible degradation of accuracy on VOC, COCO, and ImageNet datasets. Furthermore, the combination of mixed dataflow and mixed precision significantly outperforms the previous works in terms of both throughput, off-chip access, and on-chip memory requirement.


title: Analysis of probing techniques for sparse approximation and trace estimation of decaying matrix functions

abstract: The computation of matrix functions $f(A)$, or related quantities like their trace, is an important but challenging task, in particular for large and sparse matrices $A$. In recent years, probing methods have become an often considered tool in this context, as they allow to replace the computation of $f(A)$ or $\text{tr}(f(A))$ by the evaluation of (a small number of) quantities of the form $f(A)v$ or $v^Tf(A)v$, respectively. These tasks can then efficiently be solved by standard techniques like, e.g., Krylov subspace methods. It is well-known that probing methods are particularly efficient when $f(A)$ is approximately sparse, e.g., when the entries of $f(A)$ show a strong off-diagonal decay, but a rigorous error analysis is lacking so far. In this paper we develop new theoretical results on the existence of sparse approximations for $f(A)$ and error bounds for probing methods based on graph colorings. As a by-product, by carefully inspecting the proofs of these error bounds, we also gain new insights into when to stop the Krylov iteration used for approximating $f(A)v$ or $v^Tf(A)v$, thus allowing for a practically efficient implementation of the probing methods.


title: The derived deformation theory of a point

abstract: We provide a prorepresenting object for the noncommutative derived deformation problem of deforming a module $X$ over a differential graded algebra. Roughly, we show that the corresponding deformation functor is homotopy prorepresented by the dual bar construction on the derived endomorphism algebra of $X$. We specialise to the case when $X$ is one-dimensional over the base field, and introduce the notion of framed deformations, which rigidify the problem slightly and allow us to obtain derived analogues of the results of Ed Segal's thesis. Our main technical tool is Koszul duality, following Pridham and Lurie's interpretation of derived deformation theory. Along the way we prove that a large class of dgas are quasi-isomorphic to their Koszul double dual, which we interpret as a derived completion functor; this improves a theorem of Lu-Palmieri-Wu-Zhang. We also adapt our results to the setting of multi-pointed deformation theory, and furthermore give an analysis of universal prodeformations. As an application, we give a deformation-theoretic interpretation to Braun-Chuang-Lazarev's derived quotient.


title: Large Dimensional Analysis and Improvement of Multi Task Learning

abstract: Multi Task Learning (MTL) efficiently leverages useful information contained in multiple related tasks to help improve the generalization performance of all tasks. This article conducts a large dimensional analysis of a simple but, as we shall see, extremely powerful when carefully tuned, Least Square Support Vector Machine (LSSVM) version of MTL, in the regime where the dimension $p$ of the data and their number $n$ grow large at the same rate. Under mild assumptions on the input data, the theoretical analysis of the MTL-LSSVM algorithm first reveals the "sufficient statistics" exploited by the algorithm and their interaction at work. These results demonstrate, as a striking consequence, that the standard approach to MTL-LSSVM is largely suboptimal, can lead to severe effects of negative transfer but that these impairments are easily corrected. These corrections are turned into an improved MTL-LSSVM algorithm which can only benefit from additional data, and the theoretical performance of which is also analyzed. As evidenced and theoretically sustained in numerous recent works, these large dimensional results are robust to broad ranges of data distributions, which our present experiments corroborate. Specifically, the article reports a systematically close behavior between theoretical and empirical performances on popular datasets, which is strongly suggestive of the applicability of the proposed carefully tuned MTL-LSSVM method to real data. This fine-tuning is fully based on the theoretical analysis and does not in particular require any cross validation procedure. Besides, the reported performances on real datasets almost systematically outperform much more elaborate and less intuitive state-of-the-art multi-task and transfer learning methods.


title: Multimodal brain tumor classification

abstract: Cancer is a complex disease that provides various types of information depending on the scale of observation. While most tumor diagnostics are performed by observing histopathological slides, radiology images should yield additional knowledge towards the efficacy of cancer diagnostics. This work investigates a deep learning method combining whole slide images and magnetic resonance images to classify tumors. In particular, our solution comprises a powerful, generic and modular architecture for whole slide image classification. Experiments are prospectively conducted on the 2020 Computational Precision Medicine challenge, in a 3-classes unbalanced classification task. We report cross-validation (resp. validation) balanced-accuracy, kappa and f1 of 0.913, 0.897 and 0.951 (resp. 0.91, 0.90 and 0.94). For research purposes, including reproducibility and direct performance comparisons, our finale submitted models are usable off-the-shelf in a Docker image available at https://hub.docker.com/repository/docker/marvinler/cpm_2020_marvinler.


title: The Benjamin-Feir instability in the infinite depth

abstract: We prove that a Stokes' periodic wave of sufficiently small amplitude, traveling under gravity at the free surface of a two dimensional, infinitely deep, and irrotational flow, is spectrally unstable to slow modulation, rigorously justifying Benjamin and Feir's formal argument.


title: On the origin of electron accumulation layer at clean InAs(111) surfaces

abstract: In this paper, we provide a comprehensive theoretical analysis of the electronic structure of InAs(111) surfaces with a special attention paid to the energy region close to the fundamental bandgap. Starting from the bulk electronic structure of InAs as calculated using PBE functional with included Hubbard correction and spin-orbit coupling, we deliver proper values for the bandgap, split-off energy, as well as effective electron, light- and heavy-hole masses in full consistency with available experimental results. On the basis of optimized atomic surfaces we recover scanning tunneling microscopy images, which being supplied with accessible experimental data make it possible to speculate on the formation of electron accumulation layer for both As- and In-terminated InAs(111) surfaces. Moreover, these results are accompanied by band structure simulations of conduction band states.


title: Probabilistic Forecasting for Daily Electricity Loads and Quantiles for Curve-to-Curve Regression

abstract: Probabilistic forecasting of electricity load curves is of fundamental importance for effective scheduling and decision making in the increasingly volatile and competitive energy markets. We propose a novel approach to construct probabilistic predictors for curves (PPC), which leads to a natural and new definition of quantiles in the context of curve-to-curve linear regression. There are three types of PPC: a predictive set, a predictive band and a predictive quantile, all of which are defined at a pre-specified nominal probability level. In the simulation study, the PPC achieve promising coverage probabilities under a variety of data generating mechanisms. When applying to one day ahead forecasting for the French daily electricity load curves, PPC outperform several state-of-the-art predictive methods in terms of forecasting accuracy, coverage rate and average length of the predictive bands. The predictive quantile curves provide insightful information which is highly relevant to hedging risks in electricity supply management.


title: A reduced order model for a stable embedded boundary parametrized Cahn-Hilliard phase-field system based on cut finite elements

abstract: In the present work, we investigate a cut finite element method for the parameterized system of second-order equations stemming from the splitting approach of a fourth order nonlinear geometrical PDE, namely the Cahn-Hilliard system. We manage to tackle the instability issues of such methods whenever strong nonlinearities appear and to utilize their flexibility of the fixed background geometry -- and mesh -- characteristic, through which, one can avoid e.g. in parametrized geometries the remeshing on the full order level, as well as, transformations to reference geometries on the reduced level. As a final goal, we manage to find an efficient global, concerning the geometrical manifold, and independent of geometrical changes, reduced order basis. The POD-Galerkin approach exhibits its strength even with pseudo-random discontinuous initial data verified by numerical experiments.


title: Bubble needs strings

abstract: In this paper, we want to emphasize the pivotal role played by strings in the model realizing de Sitter using an expanding bubble, proposed and subsequently developed in arXiv:1807.01570, arXiv:1907.04268, and arXiv:2001.07433. Contrary to the Randall-Sundrum model of brane-localized gravity, we use the end points of radially stretched strings to obtain matter sourcing gravity induced on the bubble wall. This allows us to reinterpret the possible volume divergence coming from naive dimensional reduction as mass renormalization in four dimensional particle physics. Furthermore, we argue that the residual time dependence in the bulk, pointed out by some recent work as a possible shortcoming of such models, is automatically cured in presence of these stringy sources.


title: Service Rate Region: A New Aspect of Coded Distributed System Design

abstract: Erasure coding has been recognized as a powerful method to mitigate delays due to slow or straggling nodes in distributed systems. This work shows that erasure coding of data objects can flexibly handle skews in the request rates. Coding can help boost the \emph{service rate region}, that is, increase the overall volume of data access requests that the system can handle. This paper aims to postulate the service rate region as an important consideration in the design of erasure-coded distributed systems. We highlight several open problems that can be grouped into two broad threads: 1) characterizing the service rate region of a given code and finding the optimal request allocation, and2) designing the underlying erasure code for a given service rate region. As contributions along the first thread, we characterize the rate regions of maximum-distance-separable, locally repairable, and Simplex codes. We show the effectiveness of hybrid codes that combine replication and erasure coding in terms of code design. We also discover fundamental connections between multi-set batch codes and the problem of maximizing the service rate region.


title: SCG-Net: Self-Constructing Graph Neural Networks for Semantic Segmentation

abstract: Capturing global contextual representations by exploiting long-range pixel-pixel dependencies has shown to improve semantic segmentation performance. However, how to do this efficiently is an open question as current approaches of utilising attention schemes or very deep models to increase the models field of view, result in complex models with large memory consumption. Inspired by recent work on graph neural networks, we propose the Self-Constructing Graph (SCG) module that learns a long-range dependency graph directly from the image and uses it to propagate contextual information efficiently to improve semantic segmentation. The module is optimised via a novel adaptive diagonal enhancement method and a variational lower bound that consists of a customized graph reconstruction term and a Kullback-Leibler divergence regularization term. When incorporated into a neural network (SCG-Net), semantic segmentation is performed in an end-to-end manner and competitive performance (mean F1-scores of 92.0% and 89.8% respectively) on the publicly available ISPRS Potsdam and Vaihingen datasets is achieved, with much fewer parameters, and at a lower computational cost compared to related pure convolutional neural network (CNN) based models.


title: Gravitational dynamics in the Higgs-dark matter sector toy model: the field theoretic perspective

abstract: The objective of the paper was to examine gravitational evolutions in the Higgs--dark matter sector toy model. The real part of the Higgs doublet was modelled by a neutral scalar. Two dark matter candidates introduced were the dark photon and a charged complex scalar. Non-minimal couplings of both scalars to gravity were included. The coupling channels between the ordinary and dark matter sectors were kinetic mixing between the electromagnetic and dark $U(1)$ fields and the Higgs portal coupling among the scalars. The structures of emerging singular spacetimes were either of Schwarzschild or Reissner-Nordstr\"{o}m types. The non-minimal scalar--gravity couplings led to an appearance of timelike portions of apparent horizons where they transform from spacelike to null. The features of dynamical black holes were described as functions of the model parameters. The black holes formed later and their radii and masses were smaller as the mass parameter of the complex scalar increased. The dependencies on the coupling of the Higgs field to gravity exhibited extrema, which were a maximum for the time of the black holes formation and minima in the cases of their radii and masses. A set of quantities associated with an observer moving with the evolving matter was proposed. The energy density, radial pressure and pressure anisotropy within dynamical spacetimes get bigger as the singularity is approached. The increase is more considerable in the Reissner-Nordstr\"{o}m spacetimes. The apparent horizon local temperature changes monotonically in the minimally coupled case and non-monotonically when non-minimal scalar--gravity couplings are involved.


title: Heightmap Reconstruction of Macula on Color Fundus Images Using Conditional Generative Adversarial Networks

abstract: For screening, 3D shape of the eye retina often provides structural information and can assist ophthalmologists to diagnose diseases. However, fundus images which are one the most common screening modalities for retina diagnosis lack this information due to their 2D nature. Hence, in this work, we try to infer about this 3D information or more specifically its heights. Recent approaches have used shading information for reconstructing the heights but their output is not accurate since the utilized information is not sufficient. Additionally, other methods were dependent on the availability of more than one image of the eye which is not available in practice. In this paper, motivated by the success of Conditional Generative Adversarial Networks(cGANs) and deeply supervised networks, we propose a novel architecture for the generator which enhances the details in a sequence of steps. Comparisons on our dataset illustrate that the proposed method outperforms all of the state-of-the-art methods in image translation and medical image translation on this particular task. Additionally, clinical studies also indicate that the proposed method can provide additional information for ophthalmologists for diagnosis.


title: On nonlinear Schr\"{o}dinger equations on the hyperbolic space

abstract: We study existence of weak solutions for certain classes of nonlinear Schr\"{o}dinger equations on the Poincar\'{e} ball model $\mathbb{B}^N$, $N\geq 3$. By using the Palais principle of symmetric criticality and suitable group theoretical arguments, we establish the existence of a nontrivial (weak) solution.


title: Echoes in a Single Quantum Kerr-nonlinear Oscillator

abstract: Quantum Kerr-nonlinear oscillator is a paradigmatic model in cavity and circuit quantum electrodynamics, and quantum optomechanics. We theoretically study the echo phenomenon in a single impulsively excited ("kicked") Kerr-nonlinear oscillator. We reveal two types of echoes, "quantum" and "classical" ones, emerging on the long and short time-scales, respectively. The mechanisms of the echoes are discussed, and their sensitivity to dissipation is considered. These echoes may be useful for studying decoherence processes in a number of systems related to quantum information processing.


title: Cyber Situation Awareness Monitoring and Proactive Response for Enterprises on the Cloud

abstract: The cloud model allows many enterprises able to outsource computing resources at an affordable price without having to commit the expense upfront. Although the cloud providers are responsible for the security of the cloud, there are still many security concerns due to inherently complex model the cloud providers operate on (e.g.,multi-tenancy). In addition, the enterprises whose services have migrated into the cloud have a preference for their own cybersecurity situation awareness capability on top of the security mechanisms provided by the cloud providers. In this way, the enterprises can monitor the performance of the security offerings of the cloud and have a choice to decide and select potential response strategies more appropriate to the enterprise in the presence of the attack where the defense provided by the cloud doesn't work for them. However, some response strategies, such as Moving Target Defense (MTD) techniques shown to be effective to secure cloud, cannot be deployed by the enterprise themselves. In this paper, we propose a framework that enables better collaboration between enterprises and cloud providers. Our proposed framework, which offers more in-depth security analysis based on the set of most advanced security metrics, allows the security experts of the enterprise to obtain better situational awareness in the cloud. With better and more effective situation awareness of cloud security, our framework can support better decision making and further allows to deploy more appropriate threat responses to protect the outsourced resources. We also propose a secure protocol which can facilitate more secure communication between the enterprises and cloud provider. Using our proposed secure protocol, which is based on authentication and key exchange mechanism, the enterprises can send a secure request to the cloud provider to perform a selected defensive strategy.


title: The Influence of Motility on Bacterial Accumulation in a Microporous Channel

abstract: We study the transport of bacteria in a porous media modeled by a square channel containing one cylindrical obstacle via molecular dynamics simulations coupled to a lattice Boltzmann fluid. Our bacteria model is a rod-shaped rigid body which is propelled by a force-free mechanism. To account for the behavior of living bacteria, the model also incorporates a run-and-tumble process. The model bacteria are capable of hydrodynamically interacting with both of the channel walls and the obstacle. This enables the bacteria to get reoriented when experiencing a shear-flow. We demonstrate that this model is capable of reproducing the bacterial accumulation on the rear side of an obstacle, as has recently been experimentally observed by [G. L. Mino, et al., Advances in Microbiology 8, 451 (2018)] using E.coli bacteria. By systematically varying the external flow strength and the motility of the bacteria, we resolve the interplay between the local flow strength and the swimming characteristics that lead to the accumulation. Moreover, by changing the geometry of the channel, we also reveal the important role of the interactions between the bacteria and the confining walls for the accumulation process.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.flu-dyn


title: Derived metrics for the game of Go -- intrinsic network strength assessment and cheat-detection

abstract: The widespread availability of superhuman AI engines is changing how we play the ancient game of Go. The open-source software packages developed after the AlphaGo series shifted focus from producing strong playing entities to providing tools for analyzing games. Here we describe two ways of how the innovations of the second generation engines (e.g.~score estimates, variable komi) can be used for defining new metrics that help deepen our understanding of the game. First, we study how much information the search component contributes in addition to the raw neural network policy output. This gives an intrinsic strength measurement for the neural network. Second, we define the effect of a move by the difference in score estimates. This gives a fine-grained, move-by-move performance evaluation of a player. We use this in combating the new challenge of detecting online cheating.


title: Deep Learning Optimized Sparse Antenna Activation for Reconfigurable Intelligent Surface Assisted Communication

abstract: To capture the communications gain of the massive radiating elements with low power cost, the conventional reconfigurable intelligent surface (RIS) usually works in passive mode. However, due to the cascaded channel structure and the lack of signal processing ability, it is difficult for RIS to obtain the individual channel state information and optimize the beamforming vector. In this paper, we add signal processing units for a few antennas at RIS to partially acquire the channels. To solve the crucial active antenna selection problem, we construct an active antenna selection network that utilizes the probabilistic sampling theory to select the optimal locations of these active antennas. With this active antenna selection network, we further design two deep learning (DL) based schemes, i.e., the channel extrapolation scheme and the beam searching scheme, to enable the RIS communication system. The former utilizes the selection network and a convolutional neural network to extrapolate the full channels from the partial channels received by the active RIS antennas, while the latter adopts a fully-connected neural network to achieve the direct mapping between the partial channels and the optimal beamforming vector with maximal transmission rate. Simulation results are provided to demonstrate the effectiveness of the designed DL-based schemes.


title: PIV measurements using refraction at a solid/fluid interface

abstract: Laser light sheet refraction at the fluid flow/window interface is proposed to proceed fluorescent PIV measurements, in particular for cases for which optical access limits the possibilities of illuminating a flow with a planar collimated light sheet. The study of the laser sheet propagation for the present measurement method is led with ray tracing to quantify the illumination intensity. To describe the limitations of this developed PIV version (the R-PIV), we proposed a cross-correlation model (CCM) for analysing image pairs and that is an extension of the ones used in the cases of $\mu$-PIV or P-PIV techniques. This cross-correlation model accounts for the R-PIV optical constraints as 1) in-depth and longitudinal inhomogeneities of the light sheet refraction at the location of the object plane or 2) integration in depth of the fluorescence from seeding particles. This refracted PIV (R-PIV) and the P-PIV techniques are further compared in the case of an academic pipe flow whose analytic solution is known. Our extended cross-correlation model function is finally applied, knowing the theoretical flow velocity, the flow illumination and the seeding flow parameters, to analyse some error levels in determining the real flow velocity field.


title: Reflection principles, generic large cardinals, and the Continuum Problem

abstract: Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle should hold, seems to support the trichotomy on the possible size of the continuum. In this article, we examine the situation with the reflection principles and related notions of generic large cardinals.


title: Existence and Size of the Giant Component in Inhomogeneous Random K-out Graphs

abstract: Random K-out graphs are receiving attention as a model to construct sparse yet well-connected topologies in distributed systems including sensor networks, federated learning, and cryptocurrency networks. In response to the growing heterogeneity in emerging real-world networks, where nodes differ in resources and requirements, inhomogeneous random K-out graphs, denoted by $H(n;\mu,K_n)$, were proposed recently. Motivated by practical settings where establishing links is costly and only a bounded choice of $K_n$ is feasible ($K_n = O(1)$), we study the size of the largest connected sub-network of $H(n;\mu,K_n)$, We first show that the trivial condition of $K_n \geq 2$ for all $n$ is sufficient to ensure that $H(n;\mu,K_n)$, contains a giant component of size $n-O(1)$ whp. Next, to model settings where nodes can fail or get compromised, we investigate the size of the largest connected sub-network in $H(n;\mu,K_n)$, when $d_n$ nodes are selected uniformly at random and removed from the network. We show that if $d_n=O(1)$, a giant component of size $n- \OO(1)$ persists for all $K_n \geq 2$ whp. Further, when $d_n=o(n)$ nodes are removed from $H(n;\mu,K_n)$, the remaining nodes contain a giant component of size $n(1-o(1))$ whp for all $K_n \geq 2$. We present numerical results to demonstrate the size of the largest connected component when the number of nodes is finite.


title: Comparison principles by monotonicity and duality for constant coefficient nonlinear potential theory and PDEs

abstract: We prove comparison principles for nonlinear potential theories in euclidian spaces in a very straightforward manner from duality and monotonicity. We shall also show how to deduce comparison principles for nonlinear differential operators, a program seemingly different from the first. However, we shall marry these two points of view, for a wide variety of equations, under something called the correspondence principle. In potential theory one is given a constraint set F on the 2-jets of a function, and the boundary of F gives a differential equation. There are many differential operators, suitably organized around F, which give the same equation. So potential theory gives a great strengthening and simplification to the operator theory. Conversely, the set of operators associated to F can have much to say about the potential theory. An object of central interest here is that of monotonicity, which explains and unifies much of the theory. We shall always assume that the maximal monotonicity cone for a potential theory has interior. This is automatic for gradient-free equations where monotonicity is simply the standard degenerate ellipticity and properness assumptions. We show that for each such potential theory F there is an associated canonical operator, defined on the entire 2-jet space and having all the desired properties. Furthermore, comparison holds for this operator on any domain which admits a regular strictly M-subharmonic function, where M is a monotonicity subequation for F. On the operator side there is an important dichotomy into the unconstrained cases and constrained cases, where the operator must be restricted to a proper subset of 2-jet space. These two cases are best illustrated by the canonical operators and Dirichlet-Garding operators, respectively. The article gives many, many examples from pure and applied mathematics, and also from theoretical physics.


title: Evaluation of a Skill-based Control Architecture for a Visual Inspection-oriented Aerial Platform

abstract: The periodic inspection of vessels is a fundamental task to ensure their integrity and avoid maritime accidents. Currently, these inspections represent a high cost for the ship owner, in addition to the danger that this kind of hostile environment entails for the surveyors. In these situations, robotic platforms turn out to be useful not only for safety reasons, but also to reduce vessel downtimes and simplify the inspection procedures. Under this context, in this paper we report on the evaluation of a new control architecture devised to drive an aerial platform during these inspection procedures. The control architecture, based on an extensive use of behaviour-based high-level control, implements visual inspection-oriented functionalities, while releases the operator from the complexities of inspection flights and ensures the integrity of the platform. Apart from the control software, the full system comprises a multi-rotor platform equipped with a suitable set of sensors to permit teleporting the surveyor to the areas that need inspection. The paper provides an extensive set of testing results in different scenarios, under different operational conditions and over real vessels, in order to demonstrate the suitability of the platform for this kind of tasks.


title: New twinlike models for scalar fields

abstract: This work investigates twinlike scalar field models that support kinks with the same energy density and stability. We find the first order equations compatible with the equations of motion. We use them to calculate the conditions under which they attain the twinlike character. The linear stability is also investigated, and there we show that the addition of extra requirements may lead to the same stability under small fluctuations.


title: Data Series Indexing Gone Parallel

abstract: Data series similarity search is a core operation for several data series analysis applications across many different domains. However, the state-of-the-art techniques fail to deliver the time performance required for interactive exploration, or analysis of large data series collections. In this Ph.D. work, we present the first data series indexing solutions, for both on-disk and in-memory data, that are designed to inherently take advantage of multi-core architectures, in order to accelerate similarity search processing times. Our experiments on a variety of synthetic and real data demonstrate that our approaches are up to orders of magnitude faster than the alternatives. More specifically, our on-disk solution can answer exact similarity search queries on 100GB datasets in a few seconds, and our in-memory solution in a few milliseconds, which enables real-time, interactive data exploration on very large data series collections.


title: KP integrability of triple Hodge integrals. I. From Givental group to hierarchy symmetries

abstract: In this paper, we investigate a relation between the Givental group of rank one and the Heisenberg-Virasoro symmetry group of the KP hierarchy. We prove, that only a two-parameter family of the Givental operators can be identified with elements of the Heisenberg-Virasoro symmetry group. This family describes triple Hodge integrals satisfying the Calabi-Yau condition. Using the identification of the elements of two groups we prove that the generating function of triple Hodge integrals satisfying the Calabi-Yau condition and its $\Theta$-version are tau-functions of the KP hierarchy. This generalizes the result of Kazarian on KP integrability in the case of linear Hodge integrals.


title: Few-shot Object Detection with Feature Attention Highlight Module in Remote Sensing Images

abstract: In recent years, there are many applications of object detection in remote sensing field, which demands a great number of labeled data. However, in many cases, data is extremely rare. In this paper, we proposed a few-shot object detector which is designed for detecting novel objects based on only a few examples. Through fully leveraging labeled base classes, our model that is composed of a feature-extractor, a feature attention highlight module as well as a two-stage detection backend can quickly adapt to novel classes. The pre-trained feature extractor whose parameters are shared produces general features. While the feature attention highlight module is designed to be light-weighted and simple in order to fit the few-shot cases. Although it is simple, the information provided by it in a serial way is helpful to make the general features to be specific for few-shot objects. Then the object-specific features are delivered to the two-stage detection backend for the detection results. The experiments demonstrate the effectiveness of the proposed method for few-shot cases.


title: Modification method for single-stage object detectors that allows to exploit the temporal behaviour of a scene to improve detection accuracy

abstract: A simple modification method for single-stage generic object detection neural networks, such as YOLO and SSD, is proposed, which allows for improving the detection accuracy on video data by exploiting the temporal behavior of the scene in the detection pipeline. It is shown that, using this method, the detection accuracy of the base network can be considerably improved, especially for occluded and hidden objects. It is shown that a modified network is more prone to detect hidden objects with more confidence than an unmodified one. A weakly supervised training method is proposed, which allows for training a modified network without requiring any additional annotated data.


title: Calculation of oblate spheroidal wave functions with complex argument

abstract: A previous article showed that alternative expressions for calculating oblate spheroidal radial functions of both kinds can provide accurate values over very large parameter ranges using double precision arithmetic, even where the traditional expressions fail. The size parameter c was assumed real. This paper considers the case where c = cr + ici is complex with an imaginary part ci often used to represent losses in wave behavior. The methods for c real modified to complex arithmetic work reasonably well as long as ci is very small. This paper describes the substantial changes necessary to obtain useful results for larger values of ci. It shows that accurate eigenvalues can usually be obtained even though the matrix methods used to obtain them for c real provide increasingly inaccurate values, primarily for those with relatively small magnitude, as ci increases. It also shows that some of the eigenvalues can be prolate-like with values that are well approximated using asymptotic estimates for prolate eigenvalues where c is replaced with -ic. A method to order the eigenvalues is presented. The modifications necessary to compute accurately the radial and angular functions for complex c are discussed. A resulting Fortran program coblfcn provides useful function values for a reasonably wide range of c, the order m, and the radial coordinate when using double precision arithmetic. The results can be improved by using quadruple precision for the Bouwkamp procedure to ensure accurate double precision eigenvalues. Further improvement is obtained using full quadruple precision. Coblfcn is freely available at www.mathieuandspheroidalwavefunctions.com


title: On some applications of strongly compact Prikry forcing

abstract: We work with symmetric inner models of forcing extensions based on strongly compact Prikry forcing to extend some known results.


title: Universal $T/B$ scaling behavior of heavy fermion compounds

abstract: In our mini-review, we address manifestations of $T/B$ scaling behavior of heavy-fermion (HF) compounds, where $T$ and $B$ are respectively temperature and magnetic field. Using experimental data and the fermion condensation theory, we show that this scaling behavior is typical of HF compounds including HF metals, quasicrystals, and quantum spin liquids. We demonstrate that such scaling behavior holds down to the lowest temperature and field values, so that $T/B$ varies in a wide range, provided the HF compound is located near the topological fermion condensation quantum phase transition (FCQPT). Due to the topological properties of FCQPT, the effective mass $M^*$ exhibits a universal behavior, and diverges as $T$ goes to zero. Such a behavior of $M^*$ has important technological applications. We also explain how to extract the universal scaling behavior from experimental data collected on different heavy-fermion compounds. As an example, we consider the HF metal $\rm YbCo_2Ge_4$, and show that its scaling behavior is violated at low temperatures. Our results obtained show good agreement with experimental facts.


title: Local well-posedness in Sobolev spaces for first-order barotropic causal relativistic viscous hydrodynamics

abstract: We study the theory of relativistic viscous hydrodynamics introduced in arXiv:1109.0985 and arXiv:1907.12695, which provided a causal and stable first-order theory of relativistic fluids with viscosity in the case of barotropic fluids. The local well-posedness of its equations of motion has been previously established in Gevrey spaces. Here, we improve this result by proving local well-posedness in Sobolev spaces.


title: On Drinfeld modular forms of higher rank V: The behavior of distinguished forms on the fundamental domain

abstract: \begin{document} \begin This paper continues work of the earlier articles with the same title. For two classes of modular forms $f$: \begin{itemize} \item para-Eisenstein series $\alpha_{k}$ and \item coefficient forms ${}_a \ell_{k}$, where $k \in \mathbb{N}$ and $a$ is a non-constant element of $\mathbb{F}_{q}[T]$, \end{itemize} the growth behavior on the fundamental domain and the zero loci $\Omega(f)$ as well as their images $\mathcal{BT}(f)$ in the Bruhat-Tits building $\mathcal{BT}$ are studied. We obtain a complete description for $f = \alpha_{k}$ and for those of the forms ${}_{a}\ell_{k}$ where $k \leq \deg a$. It turns out that in these cases, $\alpha_{k}$ and ${}_{a}\ell_{k}$ are strongly related, e.g., $\mathcal{BT}({}_{a}\ell_{k}) = \mathcal{BT}(\alpha_{k})$, and that $\mathcal{BT}(\alpha_{k})$ is the set of $\mathbb{Q}$-points of a full subcomplex of $\mathcal{BT}$ with nice properties. As a case study, we present in detail the outcome for the forms $\alpha_{2}$ in rank 3. \end{abstract} \maketitle \end{document}


title: Non-perturbative gauge invariant scalar fluctuations of the metric in Higgs inflation from complex geometrical scalar-tensor theory of gravity

abstract: In this letter we investigate gauge invariant scalar fluctuations of the metric in a non-perturbative formalism for a Higgs inflationary model recently introduced in the framework of a geometrical scalar-tensor theory of gravity. In this scenario the Higgs inflaton field has its origin in the Weyl scalar field of the background geometry. We found a nearly scale invariance of the power spectrum for linear scalar fluctuations of the metric. For certain parameters of the model we obtain values for the scalar spectral index $n_s$ and the scalar to tensor ratio $r$ that fit well with the Planck 2018 results. Besides we show that in this model the trans-planckian problem can be avoided.


title: Generalized Whittaker functions and Jacquet modules

abstract: Let $G$ be a reductive group over a non archimedean local field, and $\psi$ a non-degenerate character of the unipotent radical $U_0$ of a minimal parabolic subgroup $P_0=M_0U_0$. For $P=MU\supseteq P_0$, we show that the descent to the Jacquet module $J_P(\mathcal{W}(G,\psi))$ of Delorme's constant term map from the space $\mathcal{W}(G,\psi)$ of generalized Whittaker functions on $G$ to $\mathcal{W}(M,\psi_{|U_0\cap M})$ is the dual map of the inverse of the isomorphism of Bushnell and Henniart from $J_{P^-}(\mathcal{W}_c(G,\psi^{-1}))$ to $\mathcal{W}_c(M,\psi_{|U_0\cap M}^{-1})$ (in particular the constant term map is surjective). We give applications of this result. We also provide an integral version of Lapid and Mao's asymptotic expansion for integral generalized Whittaker functions in the context of $\ell$-adic representations.


title: On Population-Based Algorithms for Distributed Constraint Optimization Problems

abstract: Distributed Constraint Optimization Problems (DCOPs) are a widely studied class of optimization problems in which interaction between a set of cooperative agents are modeled as a set of constraints. DCOPs are NP-hard and significant effort has been devoted to developing methods for finding incomplete solutions. In this paper, we study an emerging class of such incomplete algorithms that are broadly termed as population-based algorithms. The main characteristic of these algorithms is that they maintain a population of candidate solutions of a given problem and use this population to cover a large area of the search space and to avoid local-optima. In recent years, this class of algorithms has gained significant attention due to their ability to produce high-quality incomplete solutions. With the primary goal of further improving the quality of solutions compared to the state-of-the-art incomplete DCOP algorithms, we present two new population-based algorithms in this paper. Our first approach, Anytime Evolutionary DCOP or AED, exploits evolutionary optimization meta-heuristics to solve DCOPs. We also present a novel anytime update mechanism that gives AED its anytime property. While in our second contribution, we show that population-based approaches can be combined with local search approaches. Specifically, we develop an algorithm called DPSA based on the Simulated Annealing meta-heuristic. We empirically evaluate these two algorithms to illustrate their respective effectiveness in different settings against the state-of-the-art incomplete DCOP algorithms including all existing population-based algorithms in a wide variety of benchmarks. Our evaluation shows AED and DPSA markedly outperform the state-of-the-art and produce up to 75% improved solutions.


title: On the differentiability of the minimal and maximal solution maps of elliptic quasi-variational inequalities

abstract: In this note, we prove that the minimal and maximal solution maps associated to elliptic quasi-variational inequalities of obstacle type are directionally differentiable with respect to the forcing term and for directions that are signed. Along the way, we show that the minimal and maximal solutions can be seen as monotone limits of solutions of certain variational inequalities and that the aforementioned directional derivatives can also be characterised as the monotone limits of sequences of directional derivatives associated to variational inequalities. We conclude the paper with some examples and an application to thermoforming.


title: First-principles study on structure and anisotropy of high N-atom density layer in 4H-SiC

abstract: A nitridation annealing process is well employed to reduce interface trap states that degrade the channel mobility of 4H-SiC/SiO${}_2$ metal-oxide-semiconductor field-effect transistor. In recent experiments, the existence of high N-atom density layers at the annealed interface is reported and their concentrations are known to be anisotropic in the crystal planes. Until now, the role of atomic structure and the electronic states surrounding the N atoms incorporated by the nitridation annealing process on the origin of anisotropy is not well understood. In this work, we propose a simplified atomic-scale model structure of 4H-SiC with the a high N-atom density layer ($\sim 10^{15}~\mathrm{atom}/\mathrm{cm}^2$), which is of the order of the experimental observation. We use bulk 4H-SiC as host crystal and consider several sets of the atomic configurations of the N-atom incorporated structure at the quasi cubic-($k$-) and hexagonal-($h$-)sites on $a$-, $m$-, and Si-(C-)planes. Based on the density functional theory calculations, we investigate the influence of the energy stability on the distribution directions. Although our bulk model is simplified compared to the realistic interface structures, we confirm significant difference among models and observe that the incorporation of N atoms on the $a$-face is stable. Furthermore, from the analysis of the electronic states, we suggest that this anisotropy of the formation energy originates from the change of the coordinating number due to the difference in geometric configurations of the N-atom incorporated structures.


title: Universal lower bounds on energy and momentum diffusion in liquids

abstract: Thermal energy can be conducted by different mechanisms including by single particles or collective excitations. Thermal conductivity is system-specific and shows a richness of behaviors currently explored in different systems including insulators, strange metals and cuprate superconductors. Here, we show that despite the seeming complexity of thermal transport, the thermal diffusivity $\alpha$ of liquids and supercritical fluids has a lower bound which is fixed by fundamental physical constants for each system as $\alpha_m=\frac{1}{4\pi}\frac{\hbar}{\sqrt{m_em}}$, where $m_e$ and $m$ are electron and molecule masses. The newly introduced elementary thermal diffusivity has an absolute lower bound dependent on $\hbar$ and the proton-to-electron mass ratio only. We back up this result by a wide range of experimental data. We also show that theoretical minima of $\alpha$ coincide with the fundamental lower limit of kinematic viscosity $\nu_m$. Consistent with experiments, this points to a universal lower bound for two distinct properties, energy and momentum diffusion, and a surprising correlation between the two transport mechanisms at their minima. We observe that $\alpha_m$ gives the minimum on the phase diagram except in the vicinity of the critical point, whereas $\nu_m$ gives the minimum on the entire phase diagram.


title: Resonance overlap and non-linear features of the beam-plasma system

abstract: The beam-plasma instability can be addressed as a reduced model in several contexts of plasma physics, from space to fusion plasma. In this paper, we review and refine some non-linear features of this model. Specifically, by analyzing the dependence of the non-linear velocity spread as a function of the linear growth rate, we discuss the effective size of the resonance in view of its role in the spectral overlap at saturation. The relevance of this characterization relies on the necessity of a quantitative determination of the overlap degree to discriminate among different transport regimes of the self consistent dynamics. The analysis is enriched with a study of the phase-space dynamics by means of the Lagrangian Coherent Structure technique, in order to define the transport barriers of the system describing the relevant features of the overlap process. Finally, we discuss relevant features related to the mode saturation levels.


title: SRQA: Synthetic Reader for Factoid Question Answering

abstract: The question answering system can answer questions from various fields and forms with deep neural networks, but it still lacks effective ways when facing multiple evidences. We introduce a new model called SRQA, which means Synthetic Reader for Factoid Question Answering. This model enhances the question answering system in the multi-document scenario from three aspects: model structure, optimization goal, and training method, corresponding to Multilayer Attention (MA), Cross Evidence (CE), and Adversarial Training (AT) respectively. First, we propose a multilayer attention network to obtain a better representation of the evidences. The multilayer attention mechanism conducts interaction between the question and the passage within each layer, making the token representation of evidences in each layer takes the requirement of the question into account. Second, we design a cross evidence strategy to choose the answer span within more evidences. We improve the optimization goal, considering all the answers' locations in multiple evidences as training targets, which leads the model to reason among multiple evidences. Third, adversarial training is employed to high-level variables besides the word embedding in our model. A new normalization method is also proposed for adversarial perturbations so that we can jointly add perturbations to several target variables. As an effective regularization method, adversarial training enhances the model's ability to process noisy data. Combining these three strategies, we enhance the contextual representation and locating ability of our model, which could synthetically extract the answer span from several evidences. We perform SRQA on the WebQA dataset, and experiments show that our model outperforms the state-of-the-art models (the best fuzzy score of our model is up to 78.56%, with an improvement of about 2%).