title: Interpretable and Efficient Heterogeneous Graph Convolutional Network

abstract: Graph Convolutional Network (GCN) has achieved extraordinary success in learning effective task-specific representations of nodes in graphs. However, regarding Heterogeneous Information Network (HIN), existing HIN-oriented GCN methods still suffer from two deficiencies: (1) they cannot flexibly explore all possible meta-paths and extract the most useful ones for a target object, which hinders both effectiveness and interpretability; (2) they often need to generate intermediate meta-path based dense graphs, which leads to high computational complexity. To address the above issues, we propose an interpretable and efficient Heterogeneous Graph Convolutional Network (ie-HGCN) to learn the representations of objects in HINs. It is designed as a hierarchical aggregation architecture, i.e., object-level aggregation first, followed by type-level aggregation. The novel architecture can automatically extract useful meta-paths for each object from all possible meta-paths (within a length limit), which brings good model interpretability. It can also reduce the computational cost by avoiding intermediate HIN transformation and neighborhood attention. We provide theoretical analysis about the proposed ie-HGCN in terms of evaluating the usefulness of all possible meta-paths, its connection to the spectral graph convolution on HINs, and its quasi-linear time complexity. Extensive experiments on three real network datasets demonstrate the superiority of ie-HGCN over the state-of-the-art methods.


title: Dynamic Vortex-Mott Transition in 2D Superconducting Proximity Arrays

abstract: The paradigmatic Mott insulator arises in strongly correlated systems, where strong local repulsion localizes interacting particles in underlying egg-holder-like potential. The corresponding Mott transition reflects delocalization of the charges either by varying parameters of the system and temperature, or by applied current, the latter being referred to as the dynamic Mott transition. Recently, the dynamic Mott transition was experimentally observed on the vortex system trapped by the periodic proximity array and described in terms of non-Hermitian theory of nonequilibrium processes. Here we investigate numerically the vortex dynamic Mott transition in an proximity array implemented as an array of holes in a superconducting films and discover striking nonmonotonic behavior of the differential resistance as function of the applied current when deviating from the matching field corresponding to a unity filling factor.


title: Quantum Photovoltaic Cells Driven by Photon Pulses

abstract: We investigate the quantum thermodynamics of two quantum systems, a two-level system and a four-level quantum photocell, each driven by photon pulses as a quantum heat engine. We set these systems to be in thermal contact only with a cold reservoir while the heat (energy) source, conventionally given from a hot thermal reservoir, is supplied by a sequence of photon pulses. The dynamics of each system is governed by a coherent interaction due to photon pulses in terms of the Jaynes-Cummings Hamiltonian together with the system-bath interaction described by the Lindblad master equation. We calculate the thermodynamic quantities for the two-level system and the quantum photocell including the change in system energy, power delivered by photon pulses, power output to an external load, heat dissipated to a cold bath, and entropy production. We thereby demonstrate how a quantum photocell in the cold bath can operate as a continuum quantum heat engine with the sequence of photon pulses continuously applied. We specifically introduce the power efficiency of the quantum photocell in terms of the ratio of output power delivered to an external load with current and voltage to the input power delivered by the photon pulse. Our study indicates a possibility that a quantum system driven by external fields can act as an efficient quantum heat engine under non-equilibrium thermodynamics.


title: Beware the evolving 'intelligent' web service! An integration architecture tactic to guard AI-first components

abstract: Intelligent services provide the power of AI to developers via simple RESTful API endpoints, abstracting away many complexities of machine learning. However, most of these intelligent services-such as computer vision-continually learn with time. When the internals within the abstracted 'black box' become hidden and evolve, pitfalls emerge in the robustness of applications that depend on these evolving services. Without adapting the way developers plan and construct projects reliant on intelligent services, significant gaps and risks result in both project planning and development. Therefore, how can software engineers best mitigate software evolution risk moving forward, thereby ensuring that their own applications maintain quality? Our proposal is an architectural tactic designed to improve intelligent service-dependent software robustness. The tactic involves creating an application-specific benchmark dataset baselined against an intelligent service, enabling evolutionary behaviour changes to be mitigated. A technical evaluation of our implementation of this architecture demonstrates how the tactic can identify 1,054 cases of substantial confidence evolution and 2,461 cases of substantial changes to response label sets using a dataset consisting of 331 images that evolve when sent to a service.


title: Time-Independent Planning for Multiple Moving Agents

abstract: Typical Multi-agent Path Finding (MAPF) solvers assume that agents move synchronously, thus neglecting the reality gap in timing assumptions, e.g., delays caused by an imperfect execution of asynchronous moves. So far, two policies enforce a robust execution of MAPF plans taken as input: either by forcing agents to synchronize or by executing plans while preserving temporal dependencies. This paper proposes an alternative approach, called time-independent planning, which is both online and distributed. We represent reality as a transition system that changes configurations according to atomic actions of agents, and use it to generate a time-independent schedule. Empirical results in a simulated environment with stochastic delays of agents' moves support the validity of our proposal.


title: A note on HOMFLY polynomial of positive braid links

abstract: For a positive braid link, a link represented as a closed positive braids, we determine the first few coefficients of its HOMFLY polynomial in terms of geometric invariants such as, the maximum euler characteristics, the number of split factors, and the number of prime factors. Our results give improvements of known results for Conway and Jones polynomial of positive braid links. In Appendix, we present a simpler proof of theorem of Cromwell, a positive braid diagram represent composite link if and only if the the diagram is composite.


title: Decentralized Optimization On Time-Varying Directed Graphs Under Communication Constraints

abstract: We consider the problem of decentralized optimization where a collection of agents, each having access to a local cost function, communicate over a time-varying directed network and aim to minimize the sum of those functions. In practice, the amount of information that can be exchanged between the agents is limited due to communication constraints. We propose a communication-efficient algorithm for decentralized convex optimization that rely on sparsification of local updates exchanged between neighboring agents in the network. In directed networks, message sparsification alters column-stochasticity -- a property that plays an important role in establishing convergence of decentralized learning tasks. We propose a decentralized optimization scheme that relies on local modification of mixing matrices, and show that it achieves $\mathcal{O}(\frac{\mathrm{ln}T}{\sqrt{T}})$ convergence rate in the considered settings. Experiments validate theoretical results and demonstrate efficacy of the proposed algorithm.


title: Atmospheric Escape From TOI-700 d: Venus versus Earth Analogs

abstract: The recent discovery of an Earth-sized planet (TOI-700 d) in the habitable zone of an early-type M-dwarf by the Transiting Exoplanet Survey Satellite constitutes an important advance. In this Letter, we assess the feasibility of this planet to retain an atmosphere -- one of the chief ingredients for surface habitability -- over long timescales by employing state-of-the-art magnetohydrodynamic models to simulate the stellar wind and the associated rates of atmospheric escape. We take two major factors into consideration, namely, the planetary atmospheric composition and magnetic field. In all cases, we determine that the atmospheric ion escape rates are potentially a few orders of magnitude higher than the inner Solar system planets, but TOI-700 d is nevertheless capable of retaining a $1$ bar atmosphere over gigayear timescales for certain regions of the parameter space. The simulations show that the unmagnetized TOI-700 d with a 1 bar Earth-like atmosphere could be stripped away rather quickly ($<$ 1 gigayear), while the unmagnetized TOI-700 d with a 1 bar CO$_2$-dominated atmosphere could persist for many billions of years; we find that the magnetized Earth-like case falls in between these two scenarios. We also discuss the prospects for detecting radio emission of the planet (thereby constraining its magnetic field) and discerning the presence of an atmosphere.


title: TSML (Time Series Machine Learnng)

abstract: Over the past years, the industrial sector has seen many innovations brought about by automation. Inherent in this automation is the installation of sensor networks for status monitoring and data collection. One of the major challenges in these data-rich environments is how to extract and exploit information from these large volume of data to detect anomalies, discover patterns to reduce downtimes and manufacturing errors, reduce energy usage, predict faults/failures, effective maintenance schedules, etc. To address these issues, we developed TSML. Its technology is based on using the pipeline of lightweight filters as building blocks to process huge amount of industrial time series data in parallel.


title: TIME: Text and Image Mutual-Translation Adversarial Networks

abstract: Focusing on text-to-image (T2I) generation, we propose Text and Image Mutual-Translation Adversarial Networks (TIME), a lightweight but effective model that jointly learns a T2I generator G and an image captioning discriminator D under the Generative Adversarial Network framework. While previous methods tackle the T2I problem as a uni-directional task and use pre-trained language models to enforce the image--text consistency, TIME requires neither extra modules nor pre-training. We show that the performance of G can be boosted substantially by training it jointly with D as a language model. Specifically, we adopt Transformers to model the cross-modal connections between the image features and word embeddings, and design an annealing conditional hinge loss that dynamically balances the adversarial learning. In our experiments, TIME achieves state-of-the-art (SOTA) performance on the CUB and MS-COCO dataset (Inception Score of 4.91 and Fr\'echet Inception Distance of 14.3 on CUB), and shows promising performance on MS-COCO on image captioning and downstream vision-language tasks.


title: A highly scalable particle tracking algorithm using partitioned global address space (PGAS) programming for extreme-scale turbulence simulations

abstract: A new parallel algorithm utilizing partitioned global address space (PGAS) programming model to achieve high scalability is reported for particle tracking in direct numerical simulations of turbulent flow. The work is motivated by the desire to obtain Lagrangian information necessary for the study of turbulent dispersion at the largest problem sizes feasible on current and next-generation multi-petaflop supercomputers. A large population of fluid particles is distributed among parallel processes dynamically, based on instantaneous particle positions such that all of the interpolation information needed for each particle is available either locally on its host process or neighboring processes holding adjacent sub-domains of the velocity field. With cubic splines as the preferred interpolation method, the new algorithm is designed to minimize the need for communication, by transferring between adjacent processes only those spline coefficients determined to be necessary for specific particles. This transfer is implemented very efficiently as a one-sided communication, using Co-Array Fortran (CAF) features which facilitate small data movements between different local partitions of a large global array. Detailed benchmarks are obtained on the Cray petascale supercomputer Blue Waters at the University of Illinois, Urbana-Champaign. For operations on the particles in a $8192^3$ simulation ($0.55$ trillion grid points) on $262,144$ Cray XE6 cores, the new algorithm is found to be orders of magnitude faster relative to a prior algorithm in which each particle is tracked by the same parallel process at all times. Improving support of PGAS models on major compilers suggests that this algorithm will be of wider applicability on most upcoming supercomputers.


title: Extrapolative-Interpolative Cycle-Consistency Learning for Video Frame Extrapolation

abstract: Video frame extrapolation is a task to predict future frames when the past frames are given. Unlike previous studies that usually have been focused on the design of modules or construction of networks, we propose a novel Extrapolative-Interpolative Cycle (EIC) loss using pre-trained frame interpolation module to improve extrapolation performance. Cycle-consistency loss has been used for stable prediction between two function spaces in many visual tasks. We formulate this cycle-consistency using two mapping functions; frame extrapolation and interpolation. Since it is easier to predict intermediate frames than to predict future frames in terms of the object occlusion and motion uncertainty, interpolation module can give guidance signal effectively for training the extrapolation function. EIC loss can be applied to any existing extrapolation algorithms and guarantee consistent prediction in the short future as well as long future frames. Experimental results show that simply adding EIC loss to the existing baseline increases extrapolation performance on both UCF101 and KITTI datasets.


title: Designing and Analysis of A Wi-Fi Data Offloading Strategy Catering for the Preference of Mobile Users

abstract: In recent years, offloading mobile traffic through Wi-Fi has emerged as a potential solution to lower down the communication cost for mobile users. Users hope to reduce the cost while keeping the delay in an acceptable range through Wi-Fi offloading. Also, different users have different sensitivities to the cost and the delay performance. How to make a proper cost-delay tradeoff according to the user's preference is the key issue in the design of the offloading strategy. To address this issue, we propose a preference-oriented offloading strategy for current commercial terminals, which transmit traffic only via one channel simultaneously. We model the strategy as a three-state M/MMSP/1 queueing system, of which the service process is a Markov modulated service process (MMSP), and obtain the structured solutions by establishing a hybrid embedded Markov chain. Our analysis shows that, given the user's preference, there exists an optimal deadline to maximize the utility, which is defined as the linear combination of the cost and the delay. We also provide a method to select the optimal deadline. Our simulation demonstrates that this strategy with the optimal deadline can achieve a good performance.


title: Quasiparticle properties of a single alpha particle in cold neutron matter

abstract: Light clusters such as alpha particles and deuterons are predicted to occur in hot nuclear matter as encountered in intermediate-energy heavy-ion collisions and protoneutron stars. To examine the in-medium properties of such light clusters, we consider a much simplified system in which like an impurity, a single alpha particle is embedded in a zero-temperature, dilute gas of non-interacting neutrons. By adopting a non-selfconsistent ladder approximation for the effective interaction between the impurity and the gas, which is often used for analyses of Fermi polarons in a gas of ultracold atoms, we calculate the quasiparticle properties of the impurity, i.e., the energy shift, effective mass, quasiparticle residue, and damping rate.


title: Neutron skin of $^{48}$Ca consistent with experimental data on skins

abstract: [Background]: In our previous paper, we predicted $r_{\rm skin}$, $r_{\rm p}$, $r_{\rm n}$, $r_{\rm m}$ for $^{40-60,62,64}$Ca after determining the neutron dripline, using the Gogny-D1S HFB with and without the angular momentum projection (AMP). We found that effects of the AMP are small. Very lately, Tanaka {\it et al.} measured interaction cross sections $\sigma_{\rm I}$ for $^{42-51}$Ca, determined $r_{\rm m}$ from the $\sigma_{\rm I}$, and deduced skin $r_{\rm skin}$ and $r_{\rm n}$ from the $r_{\rm m}$ and the $r_{\rm p}(\rm {exp})$ evaluated from the electron scattering. Comparing our results with the data, we find for $^{42-48}$Ca that GHFB and GHFB+AMP reproduce the data on $r_{\rm skin}$, $r_{\rm n}$, $r_{\rm m}$, but not for $r_{\rm p}(\rm {exp})$. [Aim]: Our purpose is to determine a value of $r_{\rm skin}^{48}$ by using GHFB+AMP and the constrained GHFB (cGHFB) in which the calculated value is fitted to $r_{\rm p}(\rm {exp})$. [Results]: For $^{42,44,46,48}$Ca, cGHFB hardly changes $r_{\rm skin}$, $r_{\rm m}$, $r_{\rm n}$ calculated with GHFB+AMP, except for $r_{\rm skin}^{48}$. For $r_{\rm skin}^{48}$, the cGHFB result is $r_{\rm skin}^{48}=0.190$fm, while $r_{\rm skin}^{48}=0.159$fm for GHFB+AMP. We should take the upper and the lower bound of GHFB+AMP and cGHFB. The result $r_{\rm skin}^{48}=0.159-0.190$fm consists with the $r_{\rm skin}^{48}(\sigma_{\rm I})$ and the data $r_{\rm skin}^{48}(\rm $E1$pE)$ obtained from high-resolution $E1$ polarizability experiment ($E1$pE). Using the $r_{\rm skin}^{48}$-$r_{\rm skin}^{208}$ relation with strong correlation of Ref.[3], we transform the data $r_{\rm skin}^{208}$ determined by PREX and $E1$pE to the corresponding values, $r_{\rm skin}^{48}(\rm tPREX)$ and $r_{\rm skin}^{48}(\rm t$E1$pE)$. Our result is consistent also for $r_{\rm skin}^{48}(\rm tPREX)$ and $r_{\rm skin}^{48}(\rm t$E1$pE)$.


title: Non-SUSY Gepner Models with Vanishing Cosmological Constant

abstract: In this article we discuss a construction of non-SUSY type II string vacua with the vanishing cosmological constant at the one loop level based on the generic Gepner models for Calabi-Yau 3-folds. We make an orbifolding of the Gepner models by $Z_2 \times Z_4$, which asymmetrically acts with some discrete torsions incorporated. We demonstrate that the obtained type II string vacua indeed lead to the vanishing cosmological constant at the one loop, whereas any space-time supercharges cannot be constructed as long as assuming the chiral forms such as '$Q^{\alpha}_L \equiv \oint dz J_L^{\alpha}(z)$'. We further discuss possible generalizations of the models described above.


title: Bayesian model selection in the $\mathcal{M}$-open setting -- Approximate posterior inference and probability-proportional-to-size subsampling for efficient large-scale leave-one-out cross-validation

abstract: Comparison of competing statistical models is an essential part of psychological research. From a Bayesian perspective, various approaches to model comparison and selection have been proposed in the literature. However, the applicability of these approaches strongly depends on the assumptions about the model space $\mathcal{M}$, the so-called model view. Furthermore, traditional methods like leave-one-out cross-validation (LOO-CV) estimate the expected log predictive density (ELPD) of a model to investigate how the model generalises out-of-sample, which quickly becomes computationally inefficient when sample size becomes large. Here, we provide a tutorial on approximate Pareto-smoothed importance sampling leave-one-out cross-validation (PSIS-LOO), a computationally efficient method for Bayesian model comparison. First, we discuss several model views and the available Bayesian model comparison methods in each. We then use Bayesian logistic regression as a running example how to apply the method in practice, and show that it outperforms other methods like LOO-CV or information criteria in terms of computational effort while providing similarly accurate ELPD estimates. In a second step, we show how even large-scale models can be compared efficiently by using posterior approximations in combination with probability-proportional-to-size subsampling. We show how to compare competing models based on the ELPD estimates provided, and how to conduct posterior predictive checks to safeguard against overconfidence in one of the models under consideration. We conclude that the method is attractive for mathematical psychologists who aim at comparing several competing statistical models, which are possibly high-dimensional and in the big-data regime.


title: On The Geological Time Evolution of Volcanism in the Inner Solar System

abstract: We have studied the geological time evolution of volcanism in Earth and other inner solar system planetary bodies (Mercury, Moon, Mars and Venus) in both geophysical and biophysical perspective. The record of Large Igneous Provinces in Earth and other planetary objects suggest the existence of increasing, decreasing and cessation phases of major volcanic activity over geological time scales. We have extended the existing scale of measuring intensity of volcanic eruptions based on Earth based observations to accommodate intense and extreme volcanic activity. The mass of a rocky planetary object is found to be related to the magnitude of the internal heat, occurrences of Large Igneous Provinces and the duration of major volcanic activity from relevant data available for the inner solar system. The internal heat magnitude may also decide the intensity of volcanism in these planetary objects. The time evolution of volcanism in Earth and Mars has probably influenced the origin of life and biological evolution in these planets.


title: Co-Heterogeneous and Adaptive Segmentation from Multi-Source and Multi-Phase CT Imaging Data: A Study on Pathological Liver and Lesion Segmentation

abstract: In medical imaging, organ/pathology segmentation models trained on current publicly available and fully-annotated datasets usually do not well-represent the heterogeneous modalities, phases, pathologies, and clinical scenarios encountered in real environments. On the other hand, there are tremendous amounts of unlabelled patient imaging scans stored by many modern clinical centers. In this work, we present a novel segmentation strategy, co-heterogenous and adaptive segmentation (CHASe), which only requires a small labeled cohort of single phase imaging data to adapt to any unlabeled cohort of heterogenous multi-phase data with possibly new clinical scenarios and pathologies. To do this, we propose a versatile framework that fuses appearance based semi-supervision, mask based adversarial domain adaptation, and pseudo-labeling. We also introduce co-heterogeneous training, which is a novel integration of co-training and hetero modality learning. We have evaluated CHASe using a clinically comprehensive and challenging dataset of multi-phase computed tomography (CT) imaging studies (1147 patients and 4577 3D volumes). Compared to previous state-of-the-art baselines, CHASe can further improve pathological liver mask Dice-Sorensen coefficients by ranges of $4.2\% \sim 9.4\%$, depending on the phase combinations: e.g., from $84.6\%$ to $94.0\%$ on non-contrast CTs.


title: Regional boundary gradient strategic sensors in Neumann conditions

abstract: The main idea of this paper is to explore and present the original results related to the notion of regional boundary gradient strategic sensors in distributed parameter system for Neumann problem. Thus, this systems is described by parabolic state space partial differential equations where the dynamic is governed by strongly continuous semi-group in Hilbert space. In addition, we give the sufficient conditions which are guaranteed the characterizations for such sensors in order that regional boundary approximately gradient observability can be achieved and proved. The obtained results are applied to two-dimensional circular in a part of considered system domain with various cases of sensors locations are tackled and studied.


title: Empowering the Earth system by technology: Using thermodynamics of the Earth system to illustrate a possible sustainable future of the planet

abstract: With the use of the appropriate technology, such as photovoltaics and seawater desalination, humans have the ability to sustainably increase their production of food and energy while minimising detrimental impacts on the Earth system.


title: Rapid accumulation of colloidal microspheres flowing over microfabricated barriers

abstract: Accumulation of particles while flowing past constrictions is a ubiquitous phenomenon observed in diverse systems. Some of the common examples are jamming of salt crystals near the orifice of salt shakers, clogging of filter systems, gridlock in traffics etc. For controlled studies, accumulation events are often examined as clogging process in microfluidic channels. Experimental studies thus far have provided with various physical insights, however, they fail to address commonly encountered accumulation events relevant to human health such as dental and arterial plaques. We simulate arterial plaque like accumulation events by flowing colloidal microspheres over micro-structured barriers in microfluidic environment. Our experiments reveal the role of electrostatic, contact and hydrodynamic forces in facilitating plaque-like build up events. A decrease in Debye length (electrostatic repulsion) between interacting surface by two orders leads to only a minor increase in accumulation. In contrast, an increase in the roughness by 3 times results in dramatic rise of accumulation.


title: Topological Anderson insulators in two-dimensional non-Hermitian disordered systems

abstract: The interplay among topology, disorder, and non-Hermiticity can induce some exotic topological and localization phenomena. Here we investigate this interplay in a two-dimensional non-Hermitian disordered Chern-insulator model with two typical kinds of non-Hermiticities, the nonreciprocal hopping and on-site gain-and-loss effects. The topological phase diagrams are obtained by numerically calculating two topological invariants in the real space, which are the disorder-averaged open-bulk Chern number and the generalized Bott index, respectively. We reveal that the nonreciprocal hopping (the gain-and-loss effect) can enlarge (reduce) the topological regions and the topological Anderson insulators induced by disorders can exist under both kinds of non-Hermiticities. Furthermore, we study the localization properties of the system in the topologically nontrivial and trivial regions by using the inverse participation ratio and the expansion of single particle density distribution.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.quant-gas quant-ph


title: A Security Policy Model Transformation and Verification Approach for Software Defined Networking

abstract: Software defined networking (SDN) has been adopted to enforce the security of large-scale and complex networks because of its programmable, abstract, centralized intelligent control and global and real-time traffic view. However, the current SDN-based security enforcement mechanisms require network managers to fully understand the underlying configurations of network. Facing the increasingly complex and huge SDN networks, we urgently need a novel security policy management mechanism which can be completely transparent to any underlying information. That is it can permit network managers to define upper-level security policies without containing any underlying information of network, and by means of model transformation system, these upper-level security policies can be transformed into their corresponding lower-level policies containing underlying information automatically. Moreover, it should ensure system model updated by the generated lower-level policies can hold all of security properties defined in upper-level policies. Based on these insights, we propose a security policy model transformation and verification approach for SDN in this paper. We first present the formal definition of a security policy model (SPM) which can be used to specify the security policies used in SDN. Then, we propose a model transformation system based on SDN system model and mapping rules, which can enable network managers to convert SPM model into corresponding underlying network configuration policies automatically, i.e., flow table model (FTM). In order to verify SDN system model updated by the generated FTM models can hold the security properties defined in SPM models, we design a security policy verification system based on model checking. Finally, we utilize a comprehensive case to illustrate the feasibility of the proposed approach.


title: Benefits and Cyber-Vulnerability of Demand Response System in Real-Time Grid Operations

abstract: With improvement in smart grids through two-way communication, demand response (DR) has gained significant attention due to the inherent flexibility provided by shifting non-critical loads from peak periods to off-peak periods, which can greatly improve grid reliability and reduce cost of energy. Operators utilize DR to enhance operational flexibility and alleviate network congestion. However, the intelligent two-way communication is susceptible to cyber-attacks. This paper studies the benefits of DR in security-constrained economic dispatch (SCED) and then the vulnerability of the system to line overloads when cyber-attack targets DR signals. This paper proposes a false demand response signal and load measurement injection (FSMI) cyber-attack model that sends erroneous DR signals while hacking measurements to make the attack undetectable. Simulation results on the IEEE 24-bus system (i) demonstrate the cost-saving benefits of demand response, and (ii) show significant line overloads when the demand response signals are altered under an FSMI attack.


title: A connection between bacterial chemotactic network and optimal filtering

abstract: The chemotactic network of Escherichia coli has been studied extensively both biophysically and information-theoretically. Nevertheless, the connection between these two aspects is still elusive. In this work, we report such a connection by showing that a standard biochemical model of the chemotactic network is mathematically equivalent to an information-theoretically optimal filtering dynamics. Moreover, we demonstrate that an experimentally observed nonlinear response relation can be reproduced from the optimal dynamics. These results suggest that the biochemical network of E. coli chemotaxis is designed to optimally extract gradient information in a noisy condition.


title: A Structural Model for Contextual Code Changes

abstract: We address the problem of predicting edit completions based on a learned model that was trained on past edits. Given a code snippet that is partially edited, our goal is to predict a completion of the edit for the rest of the snippet. We refer to this task as the EditCompletion task and present a novel approach for tackling it. The main idea is to directly represent structural edits. This allows us to model the likelihood of the edit itself, rather than learning the likelihood of the edited code. We represent an edit operation as a path in the program's Abstract Syntax Tree (AST), originating from the source of the edit to the target of the edit. Using this representation, we present a powerful and lightweight neural model for the EditCompletion task. We conduct a thorough evaluation, comparing our approach to a variety of representation and modeling approaches that are driven by multiple strong models such as LSTMs, Transformers, and neural CRFs. Our experiments show that our model achieves a 28% relative gain over state-of-the-art sequential models and 2x higher accuracy than syntactic models that learn to generate the edited code, as opposed to modeling the edits directly. Our code, dataset, and trained models are publicly available at https://github.com/tech-srl/c3po/ .


title: Census of bounded curvature paths

abstract: A bounded curvature path is a continuously differentiable piece-wise $C^2$ path with bounded absolute curvature connecting two points in the tangent bundle of a surface. These paths have been widely considered in computer science and engineering since the bound on curvature models the trajectory of the motion of robots under turning circle constraints. Analyzing global properties of spaces of bounded curvature paths is not a simple matter since the length variation between length minimizers of arbitrary close endpoints or directions is in many cases discontinuous. In this note, we develop a simple technology allowing us to partition the space of spaces of bounded curvature paths into one-parameter families. These families of spaces are classified in terms of the type of connected components their elements have (homotopy classes, isotopy classes, or isolated points) as we vary a parameter defined in the reals. Consequently, we answer a question raised by Dubins (Pac J Math 11(2), 1961).


title: Insertion-Based Modeling for End-to-End Automatic Speech Recognition

abstract: End-to-end (E2E) models have gained attention in the research field of automatic speech recognition (ASR). Many E2E models proposed so far assume left-to-right autoregressive generation of an output token sequence except for connectionist temporal classification (CTC) and its variants. However, left-to-right decoding cannot consider the future output context, and it is not always optimal for ASR. One of the non-left-to-right models is known as non-autoregressive Transformer (NAT) and has been intensively investigated in the area of neural machine translation (NMT) research. One NAT model, mask-predict, has been applied to ASR but the model needs some heuristics or additional component to estimate the length of the output token sequence. This paper proposes to apply another type of NAT called insertion-based models, that were originally proposed for NMT, to ASR tasks. Insertion-based models solve the above mask-predict issues and can generate an arbitrary generation order of an output sequence. In addition, we introduce a new formulation of joint training of the insertion-based models and CTC. This formulation reinforces CTC by making it dependent on insertion-based token generation in a non-autoregressive manner. We conducted experiments on three public benchmarks and achieved competitive performance to strong autoregressive Transformer with a similar decoding condition.


title: On small analytic relations

abstract: We study the class of analytic binary relations on Polish spaces, compared with the notions of continuous reducibility or injective continuous reducibility. In particular, we characterize when a locally countable Borel relation is $\Sigma$ 0 $\xi$ (or $\Pi$ 0 $\xi$), when $\xi$ $\ge$ 3, by providing a concrete finite antichain basis. We give a similar characterization for arbitrary relations when $\xi$ = 1. When $\xi$ = 2, we provide a concrete antichain of size continuum made of locally countable Borel relations minimal among non-$\Sigma$ 0 2 (or non-$\Pi$ 0 2) relations. The proof of this last result allows us to strengthen a result due to Baumgartner in topological Ramsey theory on the space of rational numbers. We prove that positive results hold when $\xi$ = 2 in the acyclic case. We give a general positive result in the non-necessarily locally countable case, with another suitable acyclicity assumption. We provide a concrete finite antichain basis for the class of uncountable analytic relations. Finally, we deduce from our positive results some antichain basis for graphs, of small cardinality (most of the time 1 or 2).


title: Give Me Convenience and Give Her Death: Who Should Decide What Uses of NLP are Appropriate, and on What Basis?

abstract: As part of growing NLP capabilities, coupled with an awareness of the ethical dimensions of research, questions have been raised about whether particular datasets and tasks should be deemed off-limits for NLP research. We examine this question with respect to a paper on automatic legal sentencing from EMNLP 2019 which was a source of some debate, in asking whether the paper should have been allowed to be published, who should have been charged with making such a decision, and on what basis. We focus in particular on the role of data statements in ethically assessing research, but also discuss the topic of dual use, and examine the outcomes of similar debates in other scientific disciplines.


title: Soft congestion approximation to the one-dimensional constrained Euler equations

abstract: This article is concerned with the analysis of the one-dimensional compressible Euler equations with a singular pressure law, the so-called hard sphere equation of state. The result is twofold. First, we establish the existence of bounded weak solutions by means of a viscous regularization and refined compensated compactness arguments. Second, we investigate the smooth setting by providing a detailed description of the impact of the singular pressure on the breakdown of the solutions. In this smooth framework, we rigorously justify the singular limit towards the free-congested Euler equations, where the compressible (free) dynamics is coupled with the incompressible one in the constrained (i.e. congested) domain.


title: Concurrent Segmentation and Object Detection CNNs for Aircraft Detection and Identification in Satellite Images

abstract: Detecting and identifying objects in satellite images is a very challenging task: objects of interest are often very small and features can be difficult to recognize even using very high resolution imagery. For most applications, this translates into a trade-off between recall and precision. We present here a dedicated method to detect and identify aircraft, combining two very different convolutional neural networks (CNNs): a segmentation model, based on a modified U-net architecture, and a detection model, based on the RetinaNet architecture. The results we present show that this combination outperforms significantly each unitary model, reducing drastically the false negative rate.


title: Hyperbolic Mapping of Human Proximity Networks

abstract: Human proximity networks are temporal networks representing the close-range proximity among humans in a physical space. They have been extensively studied in the past 15 years as they are critical for understanding the spreading of diseases and information among humans. Here we address the problem of mapping human proximity networks into hyperbolic spaces. Each snapshot of these networks is often very sparse, consisting of a small number of interacting (i.e., non-zero degree) nodes. Yet, we show that the time-aggregated representation of such systems over sufficiently large periods can be meaningfully embedded into the hyperbolic space, using methods developed for traditional (non-mobile) complex networks. We justify this compatibility theoretically and validate it experimentally. We produce hyperbolic maps of six different real systems, and show that the maps can be used to identify communities, facilitate efficient greedy routing on the temporal network, and predict future links with significant precision. Further, we show that epidemic arrival times are positively correlated with the hyperbolic distance from the infection sources in the maps. Thus, hyperbolic embedding could also provide a new perspective for understanding and predicting the behavior of epidemic spreading in human proximity systems.


title: On the pointwise periodicity of multiplicative and additive functions

abstract: We study the problem of estimating the number of points of coincidences of an idealized gap on the set of integers under a given multiplicative function $g:\mathbb{N}\longrightarrow \mathbb{C}$ respectively additive function $f:\mathbb{N}\longrightarrow \mathbb{C}$. We obtain various lower bounds depending on the length of the period, by varying the worst growth rates of the ratios of their consecutive values.


title: Role of diffusive surface scattering in nonlocal plasmonics

abstract: The recent generalised nonlocal optical response (GNOR) theory for plasmonics is analysed, and its main input parameter, namely the complex hydrodynamic convection-diffusion constant, is quantified in terms of enhanced Landau damping due to diffusive surface scattering of electrons at the surface of the metal. GNOR has been successful in describing plasmon damping effects, in addition to the frequency shifts originating from induced-charge screening, through a phenomenological electron diffusion term implemented into the traditional hydrodynamic Drude model of nonlocal plasmonics. Nevertheless, its microscopic derivation and justification is still missing. Here we discuss how the inclusion of a diffusion-like term in standard hydrodynamics can serve as an efficient vehicle to describe Landau damping without resorting to computationally demanding quantum-mechanical calculations, and establish a direct link between this term and the Feibelman $d$ parameter for the centroid of charge. Our approach provides a recipe to connect the phenomenological fundamental GNOR parameter to a frequency-dependent microscopic surface-response function. We therefore tackle one of the principal limitations of the model, and further elucidate its range of validity and limitations, thus facilitating its proper application in the framework of nonclassical plasmonics.


title: Arbitrary Style Transfer via Multi-Adaptation Network

abstract: Arbitrary style transfer is a significant topic with research value and application prospect. A desired style transfer, given a content image and referenced style painting, would render the content image with the color tone and vivid stroke patterns of the style painting while synchronously maintaining the detailed content structure information. Style transfer approaches would initially learn content and style representations of the content and style references and then generate the stylized images guided by these representations. In this paper, we propose the multi-adaptation network which involves two self-adaptation (SA) modules and one co-adaptation (CA) module: the SA modules adaptively disentangle the content and style representations, i.e., content SA module uses position-wise self-attention to enhance content representation and style SA module uses channel-wise self-attention to enhance style representation; the CA module rearranges the distribution of style representation based on content representation distribution by calculating the local similarity between the disentangled content and style features in a non-local fashion. Moreover, a new disentanglement loss function enables our network to extract main style patterns and exact content structures to adapt to various input images, respectively. Various qualitative and quantitative experiments demonstrate that the proposed multi-adaptation network leads to better results than the state-of-the-art style transfer methods.


title: Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example

abstract: Due to the deprecation of APIs in the Android operating system,developers have to update usages of the APIs to ensure that their applications work for both the past and current versions of Android.Such updates may be widespread, non-trivial, and time-consuming. Therefore, automation of such updates will be of great benefit to developers. AppEvolve, which is the state-of-the-art tool for automating such updates, relies on having before- and after-update examples to learn from. In this work, we propose an approach named CocciEvolve that performs such updates using only a single after-update example. CocciEvolve learns edits by extracting the relevant update to a block of code from an after-update example. From preliminary experiments, we find that CocciEvolve can successfully perform 96 out of 112 updates, with a success rate of 85%.


title: Qualitative classification of extraterrestrial civilizations

abstract: Abridged: The interest towards searches for extraterrestrial civilizations (ETCs) was boosted by the discovery of thousands of exoplanets. We turn to the classification of ETCs for new considerations that may help to design better strategies for ETCs searches. We take a basic taxonomic approach to ETCs and investigate the implications of the new classification on ETCs observational patterns. We use as a counter-example to our qualitative classification the quantitative scheme of Kardashev. We propose a classification based on the abilities of ETCs to modify their environment and to integrate with it: Class 0 uses the environment as it is, Class 1 modifies the it to fit its needs, Class 2 modifies itself to fit the environment and Class 3 ETC is fully integrated with the environment. Combined with the classical Kardashev's scale our scheme forms a 2d scheme for interpreting ETC properties. The new framework makes it obvious that the available energy is not an unique measure of ETCs, it may not even correlate with how well that energy is used. The possibility for progress without increased energy consumption implies lower detectability, so the existence of a Kardashev Type III ETC in the Milky Way cannot be ruled out. This reasoning weakens the Fermi paradox, allowing the existence of advanced, yet not energy hungry, low detectability ETCs. The integration of ETCs with environment makes it impossible to tell apart technosignatures from natural phenomena. Thus, the most likely opportunity for SETI searches is to look for beacons, specifically set up by them for young civilizations like us (if they want to do that is a matter of speculation). The other SETI window is to search for ETCs at technological level close to ours. To rephrase the saying of A. Clarke, sufficiently advanced civilizations are indistinguishable from nature.


title: Zoom in to the details of human-centric videos

abstract: Presenting high-resolution (HR) human appearance is always critical for the human-centric videos. However, current imagery equipment can hardly capture HR details all the time. Existing super-resolution algorithms barely mitigate the problem by only considering universal and low-level priors of im-age patches. In contrast, our algorithm is under bias towards the human body super-resolution by taking advantage of high-level prior defined by HR human appearance. Firstly, a motion analysis module extracts inherent motion pattern from the HR reference video to refine the pose estimation of the low-resolution (LR) sequence. Furthermore, a human body reconstruction module maps the HR texture in the reference frames onto a 3D mesh model. Consequently, the input LR videos get super-resolved HR human sequences are generated conditioned on the original LR videos as well as few HR reference frames. Experiments on an existing dataset and real-world data captured by hybrid cameras show that our approach generates superior visual quality of human body compared with the traditional method.


title: Variants of confluent q-hypergeometric equations

abstract: Variants of the q-hypergeometric equation were introduced in our previous paper with Hatano. In this paper, we consider degenerations of the variant of the q-hypergeometric equation, which is a q-analogue of confluence of singularities in the setting of the differential equation. We also consider degenerations of solutions to the q-difference equations.


title: Sybil-proof Answer Querying Mechanism

abstract: We study a question answering problem on a social network, where a requester is seeking an answer from the agents on the network. The goal is to design reward mechanisms to incentivize the agents to propagate the requester's query to their neighbours if they don't have the answer. Existing mechanisms are vulnerable to Sybil-attacks, i.e., an agent may get more reward by creating fake identities. Hence, we combat this problem by first proving some impossibility results to resolve Sybil-attacks and then characterizing a class of mechanisms which satisfy Sybil-proofness (prevents Sybil-attacks) as well as other desirable properties. Except for Sybil-proofness, we also consider cost minimization for the requester and agents' collusions.


title: Education Games To Learn Basic Algorithm With Near Isometric Projection Method

abstract: Basic programming and algorithm learning is one of the compulsory subjects required for students majoring in computers. As this lesson is knowledge base, it is very important and essential that before learn programmings languages students must be encourages to learn it to avoid difficulties that by using the algorithm learning games application with Near Isometric Projection, Students or prospective students become more interested in learning algorithms and programming. In this study, basic learning algorithms focused on the material Sequencing, Overloading, Procedures, Recursive Loops and Conditionals, which are made so that it can make it easier for students to learn the basics of programming algorithms. The simulated results show that proposed Education Games with Near Isometric Projection method reach 83.87% statement of agreement that application games to learn basic programming algorithms were interesting and helped them to understand basic algorithm after testing using UAT. Testing with User Acceptance Test for 30 students of Multimedia Nusantara University


title: Unbounded expectations to some von Neumann algebras

abstract: For any injective von Neumann algebra R and any discrete, countable group G, which acts by *-automorphisms on R, we construct an idempotent mapping of an ultra-weakly dense subspace of B(H) onto the reducerd crossed product von Neumann algebra, such that it is R-bimodular and satisfies some nice relations with respect to positivity. In the case of an amenable group our unbounded expectation turns into a usual conditional expectation of norm 1.


title: Lessons learned in a decade of research software engineering GPU applications

abstract: After years of using Graphics Processing Units (GPUs) to accelerate scientific applications in fields as varied as tomography, computer vision, climate modeling, digital forensics, geospatial databases, particle physics, radio astronomy, and localization microscopy, we noticed a number of technical, socio-technical, and non-technical challenges that Research Software Engineers (RSEs) may run into. While some of these challenges, such as managing different programming languages within a project, or having to deal with different memory spaces, are common to all software projects involving GPUs, others are more typical of scientific software projects. Among these challenges we include changing resolutions or scales, maintaining an application over time and making it sustainable, and evaluating both the obtained results and the achieved performance. %In this paper, we present the challenges and lessons learned from research software engineering GPU applications.


title: Oligopoly Dynamics

abstract: The present notes summarise the oligopoly dynamics lectures professor Lu\'is Cabral gave at the Bank of Portugal in September and October 2017. The lectures discuss a set industrial organisation problems in a dynamic environment, namely learning by doing, switching costs, price wars, networks and platforms, and ladder models of innovation. Methodologically, the materials cover analytical solutions of known points (e.g., $\delta = 0$), the discussion of firms' strategies based on intuitions derived directly from their value functions with no model solving, and the combination of analytical and numerical procedures to reach model solutions. State space analysis is done for both continuous and discrete cases. All errors are my own.


title: 3D-OGSE: Online Safe and Smooth Trajectory Generation using Generalized Shape Expansion in Unknown 3-D Environments

abstract: In this paper, we present an online motion planning algorithm (3D-OGSE) for generating smooth, collision-free trajectories over multiple planning iterations for 3-D agents operating in an unknown obstacle-cluttered 3-D environment. Our approach constructs a safe-region, termed 'generalized shape', at each planning iteration, which represents the obstacle-free region based on locally-sensed environment information. A collision-free path is computed by sampling points in the generalized shape and is used to generate a smooth, time-parametrized trajectory by minimizing snap. The generated trajectories are constrained to lie within the generalized shape, which ensures the agent maneuvers in the locally obstacle-free space. As the agent reaches boundary of 'sensing shape' in a planning iteration, a re-plan is triggered by receding horizon planning mechanism that also enables initialization of the next planning iteration. Theoretical guarantee of probabilistic completeness over the entire environment and of completely collision-free trajectory generation is provided. We evaluate the proposed method in simulation on complex 3-D environments with varied obstacle-densities. We observe that each re-planing computation takes $\sim$1.4 milliseconds on a single thread of an Intel Core i5-8500 3.0 GHz CPU. In addition, our method is found to perform 4-10 times faster than several existing algorithms. In simulation over complex scenarios such as narrow passages also we observe less conservative behavior.


title: Biocompatible technique for nanoscale magnetic field sensing with Nitrogen-Vacancy centers

abstract: The possibility of using Nitrogen-vacancy centers in diamonds to measure nanoscale magnetic fields with unprecedented sensitivity is one of the most significant achievements of quantum sensing. Here we present an innovative experimental set-up, showing an achieved sensitivity comparable to the state of the art ODMR protocols if the sensing volume is taken into account. The apparatus allows magnetic sensing in biological samples such as individual cells, as it is characterized by a small sensing volume and full bio-compatibility. The sensitivity at different optical powers is studied to extend this technique to the intercellular scale.


title: Kernel-based approximation of the Koopman generator and Schr\"odinger operator

abstract: Many dimensionality and model reduction techniques rely on estimating dominant eigenfunctions of associated dynamical operators from data. Important examples include the Koopman operator and its generator, but also the Schr\"odinger operator. We propose a kernel-based method for the approximation of differential operators in reproducing kernel Hilbert spaces and show how eigenfunctions can be estimated by solving auxiliary matrix eigenvalue problems. The resulting algorithms are applied to molecular dynamics and quantum chemistry examples. Furthermore, we exploit that, under certain conditions, the Schr\"odinger operator can be transformed into a Kolmogorov backward operator corresponding to a drift-diffusion process and vice versa. This allows us to apply methods developed for the analysis of high-dimensional stochastic differential equations to quantum mechanical systems.

categories: math.DS cs.NA math-ph math.MP math.NA stat.ML


title: Sparse Identification of Nonlinear Dynamical Systems via Reweighted $\ell_1$-regularized Least Squares

abstract: This work proposes an iterative sparse-regularized regression method to recover governing equations of nonlinear dynamical systems from noisy state measurements. The method is inspired by the Sparse Identification of Nonlinear Dynamics (SINDy) approach of {\it [Brunton et al., PNAS, 113 (15) (2016) 3932-3937]}, which relies on two main assumptions: the state variables are known {\it a priori} and the governing equations lend themselves to sparse, linear expansions in a (nonlinear) basis of the state variables. The aim of this work is to improve the accuracy and robustness of SINDy in the presence of state measurement noise. To this end, a reweighted $\ell_1$-regularized least squares solver is developed, wherein the regularization parameter is selected from the corner point of a Pareto curve. The idea behind using weighted $\ell_1$-norm for regularization -- instead of the standard $\ell_1$-norm -- is to better promote sparsity in the recovery of the governing equations and, in turn, mitigate the effect of noise in the state variables. We also present a method to recover single physical constraints from state measurements. Through several examples of well-known nonlinear dynamical systems, we demonstrate empirically the accuracy and robustness of the reweighted $\ell_1$-regularized least squares strategy with respect to state measurement noise, thus illustrating its viability for a wide range of potential applications.


title: Conserved charges in general relativity

abstract: We present a precise definition of a conserved quantity from an arbitrary covariantly conserved current available in a general curved spacetime with Killing vectors. This definition enables us to define energy and momentum for matter by the volume integral. As a result we can compute charges of Schwarzschild and BTZ black holes by the volume integration of a delta function singularity. Employing the definition we also compute the total energy of a static compact star. It contains both the gravitational mass known as the Misner-Sharp mass in the Oppenheimer-Volkoff equation and the gravitational binding energy. We show that the gravitational binding energy has the negative contribution at maximum by 68% of the gravitational mass in the case of a constant density. We finally comment on a definition of generators associated with a vector field on a general curved manifold.


title: Numerical study of the Serre-Green-Naghdi equations and a fully dispersive counterpart

abstract: We perform numerical experiments on the Serre-Green-Naghdi (SGN) equations and a fully dispersive "Whitham-Green-Naghdi" (WGN) counterpart in dimension 1. In particular, solitary wave solutions of the WGN equations are constructed and their stability, along with the explicit ones of the SGN equations, is studied. Additionally, the emergence of modulated oscillations and the possibility of a blow-up of solutions in various situations is investigated. We argue that a simple numerical scheme based on a Fourier spectral method combined with the Krylov subspace iterative technique GMRES to address the elliptic problem and a fourth order explicit Runge-Kutta scheme in time allows to address efficiently even computationally challenging problems.


title: Poincar{\'e} series and linking of Legendrian knots

abstract: On a negatively curved surface, we show that the Poincar{\'e} series counting geodesic arcs orthogonal to some pair of closed geodesic curves has a meromorphic continuation to the whole complex plane. When both curves are homologically trivial, we prove that the Poincar{\'e} series has an explicit rational value at 0 interpreting it in terms of linking number of Legendrian knots. In particular, for any pair of points on the surface, the lengths of all geodesic arcs connecting the two points determine its genus, and, for any pair of homologically trivial closed geodesics, the lengths of all geodesic arcs orthogonal to both geodesics determine the linking number of the two geodesics.


title: Establishing a New State-of-the-Art for French Named Entity Recognition

abstract: The French TreeBank developed at the University Paris 7 is the main source of morphosyntactic and syntactic annotations for French. However, it does not include explicit information related to named entities, which are among the most useful information for several natural language processing tasks and applications. Moreover, no large-scale French corpus with named entity annotations contain referential information, which complement the type and the span of each mention with an indication of the entity it refers to. We have manually annotated the French TreeBank with such information, after an automatic pre-annotation step. We sketch the underlying annotation guidelines and we provide a few figures about the resulting annotations.


title: Pair Formation in Insect Swarms Driven by Adaptive Long-Range Interactions

abstract: In swarms of flying insects, the motions of individuals are largely uncoordinated with those of their neighbors, unlike the highly ordered motion of bird flocks. However, it has been observed that insects may transiently form pairs with synchronized relative motion while moving through the swarm. The origin of this phenomenon remains an open question. In particular, it is not known if pairing is a new behavioral process or whether it is a natural byproduct of typical swarming behavior. Here, using an "adaptive-gravity" model that proposes that insects interact via long-range gravity-like acoustic attractions that are modulated by the total background sound (via "adaptivity" or fold-change detection) and that reproduces measured features of real swarms, we show that pair formation can indeed occur without the introduction of additional behavioral rules. In the model, pairs form robustly whenever two insects happen to move together from the center of the swarm (where the background sound is high) toward the swarm periphery (where the background sound is low). Due to adaptivity, the attraction between the pair increases as the background sound decreases, thereby forming a bound state since their relative kinetic energy is smaller than their pair-potential energy. When the pair moves into regions of high background sound, however, the process is reversed and the pair may break up. Our results suggest that pairing should appear generally in biological systems with long-range attraction and adaptive sensing, such as during chemotaxis-driven cellular swarming.


title: Emergence of Transient Domain Wall Skyrmions after Ultrafast Demagnetisation

abstract: It is known that ultrafast laser pulses can be used to deterministically switch magnetisation and create skyrmions, however the deterministic creation of a single N\'eel skyrmion after ultrafast demagnetisation remains an open question. Here we show domain wall skyrmions also emerge in systems with broken inversion symmetry after exposure to an ultrafast laser pulse, carrying an integer topological charge. Whilst domain wall skyrmions do not appear in the relaxed state due to quick thermal decay following an Arrhenius law, they play a key role in controlling the final skyrmion population through annihilations with skyrmions of opposite topological charge, with the resultant skyrmion states following a Poisson distribution. Using single-shot linearly polarised laser pulses, as well as a train of circularly polarised laser pulses, we show that when a high degree of disorder is created, the possibility of nucleating a single N\'eel skyrmion is accompanied by the possibility of nucleating a skyrmion with domain wall skyrmion pair, which results in a self-annihilation collapse.


title: MOPO: Model-based Offline Policy Optimization

abstract: Offline reinforcement learning (RL) refers to the problem of learning policies entirely from a large batch of previously collected data. This problem setting offers the promise of utilizing such datasets to acquire policies without any costly or dangerous active exploration. However, it is also challenging, due to the distributional shift between the offline training data and those states visited by the learned policy. Despite significant recent progress, the most successful prior methods are model-free and constrain the policy to the support of data, precluding generalization to unseen states. In this paper, we first observe that an existing model-based RL algorithm already produces significant gains in the offline setting compared to model-free approaches. However, standard model-based RL methods, designed for the online setting, do not provide an explicit mechanism to avoid the offline setting's distributional shift issue. Instead, we propose to modify the existing model-based RL methods by applying them with rewards artificially penalized by the uncertainty of the dynamics. We theoretically show that the algorithm maximizes a lower bound of the policy's return under the true MDP. We also characterize the trade-off between the gain and risk of leaving the support of the batch data. Our algorithm, Model-based Offline Policy Optimization (MOPO), outperforms standard model-based RL algorithms and prior state-of-the-art model-free offline RL algorithms on existing offline RL benchmarks and two challenging continuous control tasks that require generalizing from data collected for a different task. The code is available at https://github.com/tianheyu927/mopo.


title: Spatial organisation of French research from the scholarly publication standpoint (1999-2017): Long-standing dynamics and policy-induced disorder

abstract: In social processes, long-term trends can be influenced or disrupted by various factors, including public policy. When public policies depend on a misrepresentation of trends in the areas they are aimed at, they become random and disruptive, which can be interpreted as a source of disorder. Here we consider policies on the spatial organization of the French Higher Education and Research system, which reflects the authorities' hypothesis that scientific excellence is the prerogative of a few large urban agglomerations. By geographically identifying all the French publications listed in the Web of Science databases between 1999 and 2017, we highlight a spatial deconcentration trend, which has slowed down in recent years due to a freezed growth of the teaching force. This deconcentration continues, however, to sustain the growth of scientific production in small and medium-sized towns. An examination of the large conurbations shows the relative decline of sites that nevertheless have been highlighted as examples to be followed by the Excellence policies (Strasbourg among others). The number of students and faculty has grown less there, and it is a plaussible explanation for the relative decline in scientific production. We show that the publication output of a given site depends directly and strongly on the number of researchers hosted there. Based on precise data at the French level, our results confirm what is already known at world scale. In conclusion, we question the amount of disorder resulting from policies aligned with poorly assessed trends.


title: Convexity of the class of currents with finite relative energy

abstract: We prove the convexity of the class of currents with finite relative energy. A key ingredient is an integration by parts formula for relative non-pluripolar products which is of independent interest.


title: Maker-Breaker resolving game

abstract: A set of vertices $W$ of a graph $G$ is a resolving set if every vertex of $G$ is uniquely determined by its vector of distances to $W$. In this paper, the Maker-Breaker resolving game is introduced. The game is played on a graph $G$ by Resolver and Spoiler who alternately select a vertex of $G$ not yet chosen. Resolver wins if at some point the vertices chosen by him form a resolving set of $G$, whereas Spoiler wins if the Resolver cannot form a resolving set of $G$. The outcome of the game is denoted by $o(G)$ and $R_{\rm MB}(G)$ (resp. $S_{\rm MB}(G)$) denotes the minimum number of moves of Resolver (resp. Spoiler) to win when Resolver has the first move. The corresponding invariants for the game when Spoiler has the first move are denoted by $R'_{\rm MB}(G)$ and $S'_{\rm MB}(G)$. Invariants $R_{\rm MB}(G)$, $R'_{\rm MB}(G)$, $S_{\rm MB}(G)$, and $S'_{\rm MB}(G)$ are compared among themselves and with the metric dimension ${\rm dim}(G)$. A large class of graphs $G$ is constructed for which $R_{\rm MB}(G) > {\rm dim}(G)$ holds. The effect of twin equivalence classes and pairing resolving sets on the Maker-Breaker resolving game is described. As an application $o(G)$, as well as $R_{\rm MB}(G)$ and $R'_{\rm MB}(G)$ (or $S_{\rm MB}(G)$ and $S'_{\rm MB}(G)$), are determined for several graph classes, including trees, complete multi-partite graphs, grid graphs, and torus grid graphs.


title: Poly-YOLO: higher speed, more precise detection and instance segmentation for YOLOv3

abstract: We present a new version of YOLO with better performance and extended with instance segmentation called Poly-YOLO. Poly-YOLO builds on the original ideas of YOLOv3 and removes two of its weaknesses: a large amount of rewritten labels and inefficient distribution of anchors. Poly-YOLO reduces the issues by aggregating features from a light SE-Darknet-53 backbone with a hypercolumn technique, using stairstep upsampling, and produces a single scale output with high resolution. In comparison with YOLOv3, Poly-YOLO has only 60% of its trainable parameters but improves mAP by a relative 40%. We also present Poly-YOLO lite with fewer parameters and a lower output resolution. It has the same precision as YOLOv3, but it is three times smaller and twice as fast, thus suitable for embedded devices. Finally, Poly-YOLO performs instance segmentation using bounding polygons. The network is trained to detect size-independent polygons defined on a polar grid. Vertices of each polygon are being predicted with their confidence, and therefore Poly-YOLO produces polygons with a varying number of vertices.


title: Median bias reduction in cumulative link models

abstract: This paper presents a novel estimation approach for cumulative link models, based on median bias reduction as developed in Kenne Pagui et al. (2017). The median bias reduced estimator is obtained as solution of an estimating equation based on an adjustment of the score. It allows to obtain higher-order median centering of maximum likelihood estimates without requiring their finiteness. Moreover, the estimator is equivariant under componentwise monotone reparameterizations and the method is effective in preventing boundary estimates. We evaluate the properties of the median bias reduced estimator through simulation studies and compare it with the two main competitors, the maximum likelihood and the mean bias reduced (Firth, 1993) estimators. Finally, we show an application where the proposed estimator is able to solve the boundary estimates problem.


title: On the Monotonicity of a Nondifferentially Mismeasured Binary Confounder

abstract: Suppose that we are interested in the average causal effect of a binary treatment on an outcome when this relationship is confounded by a binary confounder. Suppose that the confounder is unobserved but a nondifferential proxy of it is observed. We show that, under certain monotonicity assumption that is empirically verifiable, adjusting for the proxy produces a measure of the effect that is between the unadjusted and the true measures.


title: Non-acyclic ${\rm SL}_2$-representations of twist knots, $-3$-Dehn surgeries, and $L$-functions

abstract: We study irreducible ${\rm SL}_2$-representations of twist knots. We first determine all non-acyclic ${\rm SL}_2(\mathbb{C})$-representations, which turn out to lie on a line denoted as $x=y$ in $\mathbb{R}^2$. Our main tools are character variety, Reidemeister torsion, and Chebyshev polynomials. We also verify a certain common tangent property, which yields a result on the $L$-functions of universal deformations, that is, the orders of the associated knot modules. Secondly, we prove that a representation is on the line $x=y$ if and only if it factors through the $(-3)$-Dehn surgery, and is non-acyclic if and only if the image of a certain element is of order 3. Finally, we study absolutely irreducible non-acyclic representations $\overline{\rho}$ over a finite field with characteristic $p>2$ to concretely determine all non-trivial $L$-functions $L_{\rho}$ of the universal deformations over a CDVR. We show among other things that $L_{\rho}$ $\dot{=}$ $k_n(x)^2$ holds for a certain series $k_n(x)$ of polynomials.


title: A Quantitative Survey of Communication Optimizations in Distributed Deep Learning

abstract: Nowadays, large and complex deep learning (DL) models are increasingly trained in a distributed manner across multiple worker machines, in which extensive communications between workers pose serious scaling problems. In this article, we present a quantitative survey of communication optimization techniques for data parallel distributed DL. We first identify the major communication challenges and classify the existing solutions into three levels, namely the learning algorithm, the system architecture, and the network infrastructure. We present the state-of-the-art communication optimization techniques and conduct a comparative study of seven common lossless distributed DL methods on a 32-GPU cluster with 100Gbps InfiniBand (IB). We show that (1) the DL models with low model intensity (such as BERT and BERT-Large) are difficult to scale out even with the best available lossless algorithm over 100Gbps IB; (2) the system architecture and scheduling algorithms have a critical impact on the scaling property. We conclude the article with discussions on the open issues for further investigations.


title: More Robust Pricing of European Options Based on Fourier Cosine Series Expansions

abstract: We present an alternative formula to price European options through cosine series expansions, under models with a known characteristic function such as the Heston stochastic volatility model. It is more robust across strikes and as fast as the original COS method.


title: CLOCS: Contrastive Learning of Cardiac Signals Across Space, Time, and Patients

abstract: The healthcare industry generates troves of unlabelled physiological data. This data can be exploited via contrastive learning, a self-supervised pre-training method that encourages representations of instances to be similar to one another. We propose a family of contrastive learning methods, CLOCS, that encourages representations across space, time, \textit{and} patients to be similar to one another. We show that CLOCS consistently outperforms the state-of-the-art methods, BYOL and SimCLR, when performing a linear evaluation of, and fine-tuning on, downstream tasks. We also show that CLOCS achieves strong generalization performance with only 25\% of labelled training data. Furthermore, our training procedure naturally generates patient-specific representations that can be used to quantify patient-similarity.


title: Comparison of entangling protocols in ABC-type spin chains

abstract: In this contribution we consider an advantageous building block with potential for various quantum applications: a device based on coupled spins capable of generating and sharing out an entangled pair of qubits. Our model device is a dimerised spin chain with three weakly coupled embedded sites (defects). Three different entangling protocols were proposed for this chain in [1] and [2], one producing a Cluster state and two generating a Bell state, depending on the initial state injection. Here we compare the robustness of such protocols as quantum entangling gates against different types of fabrication (static energy fluctuations) and operation (timing injection delays) errors.


title: Structure dynamics of evolving scientific networks

abstract: Co-authorship networks have been extensively studied in network science as they pose as a perfect example of how single elements of a system give rise to collective phenomena on an intricate, non-trivial structure of interactions. However, co-authorship networks are, in fact, one-mode projections of original bipartite networks, which we call here scientific networks, where authors are agents connected to artifacts - the papers they have published. Nonetheless, few studies take into account the structure of the original bipartite network to understand and explain the topological properties of the projected network. Here, we create bipartite networks using extensive datasets from the American Physical Society (APS) dating back to 1893 up to 2015 inclusive, and from arXiv (1986-2015). We look at the time evolution of publications and at the dynamic structure of scientific networks considering four major features of bipartite networks, namely degree distributions, density, redundancy and cycles. We show how such features shape the formation of co-authorship networks and their observed structural properties. While the structure of the networks of most disciplines does not show significant changes over time, the appearance of large collaborations, in physics, generate largely skewed degree distributions of top nodes. The latter, in turn, induces massive cliques in the projection, triggering considerable densification of the co-authorship network, while the density of the original bipartite network remains at the same levels.


title: Notes on the SWIFT method based on Shannon Wavelets for Option Pricing

abstract: This note shows that the cosine expansion based on the Vieta formula is equivalent to a discretization of the Parseval identity. We then evaluate the use of simple direct algorithms to compute the Shannon coefficients for the payoff. Finally, we explore the efficiency of a Filon quadrature instead of the Vieta formula for the coefficients related to the probability density function.


title: How does the presence of stevia glycosides impact surface bubbles stability?

abstract: The addition of sweeteners in fizzy beverages not only affects the sugar content but also the bubbles stability. In this article, we propose a model experiment, in which the lifetime of hundreds of single bubbles is measured, to assess the stability of bubbles in solutions containing either sucrose or sweeteners. We show that the bubbles are indeed more stable in presence of sweeteners, which are surface active molecules and adsorb at the interface. Additionally, we test an antifoam at different concentrations and show that our experiment allows to identify the best concentration to reproduce the stability obtained in sucrose when we replace this latter by a sweetener.


title: Radio-frequency stress-induced modulation of CdTe/ZnTe quantum dots

abstract: We demonstrate radio-frequency tuning of the energy of individual CdTe/ZnTe quantum dots (QDs) by Surface Acoustic Waves (SAWs). Despite the very weak piezoelectric coefficient of ZnTe, SAW in the GHz range can be launched on a ZnTe surface using interdigitated transducers deposited on a c-axis oriented ZnO layer grown on ZnTe containing CdTe QDs. The photoluminescence (PL) of individual QDs is used as a nanometer-scale sensor of the acoustic strain field. The energy of QDs is modulated by SAW in the GHz range and leads to characteristic broadening of time-integrated PL spectra. The dynamic modulation of the QD PL energy can also be detected in the time domain using phase-locked time domain spectroscopy. This technique is in particular used for monitoring complex local acoustic fields resulting from the superposition of two or more SAW pulses in a cavity. Under magnetic field, the dynamic spectral tuning of a single QD by SAW can be used to generate single photons with alternating circular polarization controlled in the GHz range.


title: Geometrical congruence and efficient greedy navigability of complex networks

abstract: Hyperbolic networks are supposed to be congruent with their underlying latent geometry and following geodesics in the hyperbolic space is believed equivalent to navigate through topological shortest paths (TSP). This assumption of geometrical congruence is considered the reason for nearly maximally efficient greedy navigation of hyperbolic networks. Here, we propose a complex network measure termed geometrical congruence (GC) and we show that there might exist different TSP, whose projections (pTSP) in the hyperbolic space largely diverge, and significantly differ from the respective geodesics. We discover that, contrary to current belief, hyperbolic networks do not demonstrate in general geometrical congruence and efficient navigability which, in networks generated with nPSO model, seem to emerge only for power-law exponent close to 2. We conclude by showing that GC measure can impact also real networks analysis, indeed it significantly changes in structural brain connectomes grouped by gender or age.


title: Antidepressant-like Effects of Neuropeptide SF (NPSF)

abstract: Neuropeptide SF (NPSF) is a member of RFamide neuropeptides that play diverse roles in central nervous system. Little is know about the effects of NPSF on brain functions. Antidepressant-like effect of NPSF was studied in modified mice FST. NPSF showed the antidepressant-like effects by decreasing the immobility time and increasing the climbing and swimming time. Furthermore, the involvement of the adrenergic, serotonergic, cholinergic or dopaminergic receptors in the antidepressant-like effect of NPSF was studied in modified mice FST. Mice were pretreated with a non-selective {\alpha}-adrenergic receptor antagonist phenoxybenzamine, a \b{eta}-adrenergic receptor antagonist, propranolol, a non-selective 5-HT2 serotonergic receptor antagonist, cyproheptadine, nonselective muscarinic acetylcholine receptor antagonist, atropine, or D2, D3, D4 dopamine receptor antagonist, haloperidol. The present results confirmed that the antidepressant-like effect of NPSF is mediated, at least in part, by an interaction of the {\alpha}-adrenergic, 5-HT2 serotonergic, muscarinic acetylcholine receptors and D2, D3, D4 dopamine receptor in a modified mouse FST.


title: Rate-Splitting Multiple Access for Downlink Multi-Antenna Communications: Physical Layer Design and Link-level Simulations

abstract: Rate-Splitting Multiple Access (RSMA) is an emerging flexible, robust and powerful multiple access scheme for downlink multi-antenna wireless networks. RSMA relies on multi-antenna Rate-Splitting (RS) strategies at the transmitter and Successive Interference Cancellation (SIC) at the receivers, and has the unique ability to partially decode interference and partially treat interference as noise so as to softly bridge the two extremes of fully decoding interference (as in Non-Orthogonal Multiple Access, NOMA) and treating interference as noise (as in Space Division Multiple Access, SDMA or Multi-User Multiple-Input Multiple-Output, MU-MIMO). RSMA has been shown to provide significant room for spectral efficiency, energy efficiency, Quality-of-Service enhancements, robustness to Channel State Information (CSI) imperfections, as well as feedback overhead and complexity reduction, in a wide range of network loads (underloaded and overloaded regimes) and user deployments (with a diversity of channel directions, channel strengths and qualities). RSMA is also deeply rooted and motivated by recent advances in understanding the fundamental limits of multi-antenna networks with imperfect CSI at the Transmitter (CSIT). In this work, we leverage recent results on the optimization of RSMA and design for the first time its physical layer, accounting for modulation, coding (using polar codes), message split, adaptive modulation and coding, and SIC receiver. Link-level evaluations confirm the significant throughput benefits of RSMA over various baselines as SDMA and NOMA.


title: How to Retrain Recommender System? A Sequential Meta-Learning Method

abstract: Practical recommender systems need be periodically retrained to refresh the model with new interaction data. To pursue high model fidelity, it is usually desirable to retrain the model on both historical and new data, since it can account for both long-term and short-term user preference. However, a full model retraining could be very time-consuming and memory-costly, especially when the scale of historical data is large. In this work, we study the model retraining mechanism for recommender systems, a topic of high practical values but has been relatively little explored in the research community. Our first belief is that retraining the model on historical data is unnecessary, since the model has been trained on it before. Nevertheless, normal training on new data only may easily cause overfitting and forgetting issues, since the new data is of a smaller scale and contains fewer information on long-term user preference. To address this dilemma, we propose a new training method, aiming to abandon the historical data during retraining through learning to transfer the past training experience. Specifically, we design a neural network-based transfer component, which transforms the old model to a new model that is tailored for future recommendations. To learn the transfer component well, we optimize the "future performance" -- i.e., the recommendation accuracy evaluated in the next time period. Our Sequential Meta-Learning(SML) method offers a general training paradigm that is applicable to any differentiable model. We demonstrate SML on matrix factorization and conduct experiments on two real-world datasets. Empirical results show that SML not only achieves significant speed-up, but also outperforms the full model retraining in recommendation accuracy, validating the effectiveness of our proposals. We release our codes at: https://github.com/zyang1580/SML.


title: Continuity between Cauchy and Bolzano: Issues of antecedents and priority

abstract: In a paper published in 1970, Grattan-Guinness argued that Cauchy, in his 1821 book Cours d'Analyse, may have plagiarized Bolzano's book Rein analytischer Beweis (RB), first published in 1817. That paper was subsequently discredited in several works, but some of its assumptions still prevail today. In particular, it is usually considered that Cauchy did not develop his notion of the continuity of a function before Bolzano developed his in RB, and that both notions are essentially the same. We argue that both assumptions are incorrect, and that it is implausible that Cauchy's initial insight into that notion, which eventually evolved to an approach using infinitesimals, could have been borrowed from Bolzano's work. Furthermore, we account for Bolzano's interest in that notion and focus on his discussion of a definition by K\"astner (in Section 183 of his 1766 book), which the former seems to have misrepresented at least partially. Cauchy's treatment of continuity goes back at least to his 1817 course summaries, refuting a key component of Grattan-Guinness' plagiarism hypothesis (that Cauchy may have lifted continuity from RB after reading it in a Paris library in 1818). We explore antecedents of Cauchy and Bolzano continuity in the writings of K\"astner and earlier authors.


title: Regular Black Hole Interior Spacetime Supported by Three-Form Field

abstract: In this paper, we show that a minimally coupled 3-form endowed with a proper potential can support a regular black hole interior. By choosing an appropriate form for the metric function representing the radius of the 2-sphere, we solve for the 3-form field and its potential. Using the obtained solution, we construct an interior black hole spacetime which is everywhere regular. The singularity is replaced with a Nariai-type spacetime, whose topology is $\text{dS}_2 \times \text{S}^2$, in which the radius of the 2-sphere is constant. So long as the interior continues to expand indefinitely, the geometry becomes essentially compactified. The 2-dimensional de Sitter geometry appears despite the negative potential of the 3-form field. Such a dynamical compactification could shed some light on the origin of de Sitter geometry of our Universe, exacerbated by the Swampland conjecture. In addition, we show that the spacetime is geodesically complete. The geometry is singularity-free due to the violation of the null energy condition.


title: Nonmyopic and pseudo-nonmyopic approaches to optimal sequential design in the presence of covariates

abstract: In sequential experiments, subjects become available for the study over a period of time, and covariates are often measured at the time of arrival. We consider the setting where the sample size is fixed but covariate values are unknown until subjects enrol. Given a model for the outcome, a sequential optimal design approach can be used to allocate treatments to minimize the variance of the treatment effect. We extend existing optimal design methodology so it can be used within a nonmyopic framework, where treatment allocation for the current subject depends not only on the treatments and covariates of the subjects already enrolled in the study, but also the impact of possible future treatment assignments. The nonmyopic approach is computationally expensive as it requires recursive formulae. We propose a pseudo-nonmyopic approach which has a similar aim to the nonmyopic approach, but does not involve recursion and instead relies on simulations of future possible decisions. Our simulation studies show that the myopic approach is the most efficient for the logistic model case with a single binary covariate and binary treatment.


title: Generalized quasidisks and conformality: progress and challenges

abstract: In this notes, we survey the recent developments on theory of generalized quasidisks. Based on the more or less standard techniques used earlier, we also provide some minor improvements on the recorded results. A few nature questions were posed.


title: Catching Attention with Automatic Pull Quote Selection

abstract: To advance understanding on how to engage readers, we advocate the novel task of automatic pull quote selection. Pull quotes are a component of articles specifically designed to catch the attention of readers with spans of text selected from the article and given more salient presentation. This task differs from related tasks such as summarization and clickbait identification by several aspects. We establish a spectrum of baseline approaches to the task, ranging from handcrafted features to a neural mixture-of-experts to cross-task models. By examining the contributions of individual features and embedding dimensions from these models, we uncover unexpected properties of pull quotes to help answer the important question of what engages readers. Human evaluation also supports the uniqueness of this task and the suitability of our selection models. The benefits of exploring this problem further are clear: pull quotes increase enjoyment and readability, shape reader perceptions, and facilitate learning. Code to reproduce this work is available at https://github.com/tannerbohn/AutomaticPullQuoteSelection.


title: Relativistic quantum bouncing particles in a homogeneous gravitational field

abstract: In this paper, we study the relativistic effect on the wave functions for a bouncing particle in a gravitational field. Motivated by the equivalence principle, we investigate the Klein-Gordon and Dirac equations in Rindler coordinates with the boundary conditions mimicking a uniformly accelerated mirror in Minkowski space. In the nonrelativistic limit, all these models in the comoving frame reduce to the familiar eigenvalue problem for the Schr\"odinger equation with a fixed floor in a linear gravitational potential, as expected. We find that the transition frequency between two energy levels of a bouncing Dirac particle is greater than the counterpart of a Klein-Gordon particle, while both are greater than their nonrelativistic limit. The different corrections to eigen-energies of particles of different nature are associated with the different behaviors of their wave functions around the mirror boundary.


title: Machine learning and predicting the time dependent dynamics of local yielding in dry foams

abstract: The yielding of dry foams is enabled by small elementary yield events on the bubble scale, "T1"s. We study the large scale detection of these in an expanding 2D flow geometry using artificial intelligence (AI) and nearest neighbour analysis. A good level of accuracy is reached by the AI approach using only a single frame, with the maximum score for vertex centered images highlighting the important role the vertices play in the local yielding of foams. We study the predictability of T1s ahead of time and show that this is possible on a timescale related to the waiting time statistics of T1s in local neighborhoods. The local T1 event predictability development is asymmetric in time, and measures the variation of the local property to yielding and similarly the existence of a relaxation timescale post local yielding.


title: High-resolution tunneling spin transport characteristics of topologically distinct magnetic skyrmionic textures from theoretical calculations

abstract: High-resolution tunneling electron spin transport properties (longitudinal spin current (LSC) and spin transfer torque (STT) maps) of topologically distinct real-space magnetic skyrmionic textures are reported by employing a 3D-WKB combined scalar charge and vector spin transport theory in the framework of spin-polarized scanning tunneling microscopy (SP-STM). For our theoretical investigation metastable skyrmionic spin structures with various topological charges ($Q=-3,-2,-1,0,1,2$) in the (Pt$_{0.95}$Ir$_{0.05}$)/Fe/Pd(111) ultrathin magnetic film are considered. Using an out-of-plane magnetized SP-STM tip it is found that the maps of the LSC vectors acting on the spins of the magnetic textures and all STT vector components exhibit the same topology as the skyrmionic objects. In contrast, an in-plane magnetized tip generally does not result in spin transport vector maps that are topologically equivalent to the underlying spin structure, except for the LSC vectors acting on the spins of the skyrmionic textures at a specific relation between the spin polarizations of the sample and the tip. The magnitudes of the spin transport vector quantities exhibit close relations to charge current SP-STM images irrespectively of the skyrmionic topologies. Moreover, we find that the STT efficiency (torque/current ratio) acting on the spins of the skyrmions can reach large values up to $\sim$25 meV/$\mu$A ($\sim$0.97 $h/e$) above the rim of the magnetic objects, but it considerably varies between large and small values depending on the lateral position of the SP-STM tip above the topological spin textures. A simple expression for the STT efficiency is introduced to explain its variation. Our calculated spin transport vectors can be used for the investigation of spin-polarized tunneling-current-induced spin dynamics of topologically distinct surface magnetic skyrmionic textures.


title: Leveraging Energy Saving Capabilities of Current EEE Interfaces via Pre-Coalescing

abstract: The low power idle mode implemented by Energy Efficient Ethernet (EEE) allows network interfaces to save up to 90% of their nominal energy consumption when idling. There is an ample body of research that recommends the use of frame coalescing algorithms---that enter the low power mode as soon as there is no more traffic waiting to be sent, and delay the exit from this mode until there is an acceptable amount of traffic queued---to minimize energy usage while maintaining an acceptable performance. However, EEE capable hardware from several manufactures delays the entrance to the low power mode for a considerable amount of time (hysteresis). In this paper we augment existing EEE energy models to account for the hysteresis delay and show that, using the configuration ranges provided by manufacturers, most existing EEE networking devices are unable to obtain significant energy savings. To improve their energy efficiency, we propose to implement frame coalescing directly at traffic sources, before reaching the network interface. We also derive the optimum coalescing parameters to obtain a given target energy consumption at the EEE device when its configuration parameters are known in advance.


title: On the spatially asymptotic structure of time-periodic solutions to the Navier-Stokes equations

abstract: The asymptotic behavior of weak time-periodic solutions to the Navier-Stokes equations with a drift term in the three-dimensional whole space is investigated. The velocity field is decomposed into a time-independent and a remaining part, and separate asymptotic expansions are derived for both parts and their gradients. One observes that the behavior at spatial infinity is determined by the corresponding Oseen fundamental solutions.


title: Finite-time stabilization in optimal time of homogeneous quasilinear hyperbolic systems in one dimensional space

abstract: We consider the finite-time stabilization of homogeneous quasilinear hyperbolic systems with one side controls and with nonlinear boundary condition at the other side. We present time-independent feedbacks leading to the finite-time stabilization in any time larger than the optimal time for the null controllability of the linearized system if the initial condition is sufficiently small. One of the key technical points is to establish the local well-posedness of quasilinear hyperbolic systems with nonlinear, non-local boundary conditions.


title: BRENDA: Browser Extension for Fake News Detection

abstract: Misinformation such as fake news has drawn a lot of attention in recent years. It has serious consequences on society, politics and economy. This has lead to a rise of manually fact-checking websites such as Snopes and Politifact. However, the scale of misinformation limits their ability for verification. In this demonstration, we propose BRENDA a browser extension which can be used to automate the entire process of credibility assessments of false claims. Behind the scenes BRENDA uses a tested deep neural network architecture to automatically identify fact check worthy claims and classifies as well as presents the result along with evidence to the user. Since BRENDA is a browser extension, it facilities fast automated fact checking for the end user without having to leave the Webpage.