title: Existence and Ulam-Hyers Mittag-Leffler stability of $\psi $-Hilfer fractional functional integrodifferential equation

abstract: This paper is committed to establishing the assumptions essential for the existence and uniqueness results of a fractional functional integrodifferential equation (FFIDE) having a derivative of generalized Hilfer type. Using the Picard operator method, and Banach fixed point theorem, we obtain the existence and uniqueness solution to the proposed problem. Along with this, the Ulam-Hyers Mittag-Leffler (UHML) stability is discussed via Pachpatte's inequality. For supporting our results, an illustrative example will be introduced.


title: Learned Image Compression with Discretized Gaussian Mixture Likelihoods and Attention Modules

abstract: Image compression is a fundamental research field and many well-known compression standards have been developed for many decades. Recently, learned compression methods exhibit a fast development trend with promising results. However, there is still a performance gap between learned compression algorithms and reigning compression standards, especially in terms of widely used PSNR metric. In this paper, we explore the remaining redundancy of recent learned compression algorithms. We have found accurate entropy models for rate estimation largely affect the optimization of network parameters and thus affect the rate-distortion performance. Therefore, in this paper, we propose to use discretized Gaussian Mixture Likelihoods to parameterize the distributions of latent codes, which can achieve a more accurate and flexible entropy model. Besides, we take advantage of recent attention modules and incorporate them into network architecture to enhance the performance. Experimental results demonstrate our proposed method achieves a state-of-the-art performance compared to existing learned compression methods on both Kodak and high-resolution datasets. To our knowledge our approach is the first work to achieve comparable performance with latest compression standard Versatile Video Coding (VVC) regarding PSNR. More importantly, our approach generates more visually pleasant results when optimized by MS-SSIM. This project page is at this https URL https://github.com/ZhengxueCheng/Learned-Image-Compression-with-GMM-and-Attention


title: Simulation of Turbulent Flow around a Generic High-Speed Train using Hybrid Models of RANS Numerical Method with Machine Learning

abstract: In the present paper, an aerodynamic investigation of a high-speed train is performed. In the first section of this article, a generic high-speed train against a turbulent flow is simulated, numerically. The Reynolds-Averaged Navier-Stokes (RANS) equations combined with the turbulence model are applied to solve incompressible turbulent flow around a high-speed train. Flow structure, velocity and pressure contours and streamlines at some typical wind directions are the most important results of this simulation. The maximum and minimum values are specified and discussed. Also, the pressure coefficient for some critical points on the train surface is evaluated. In the following, the wind direction influence the aerodynamic key parameters as drag, lift, and side forces at the mentioned wind directions are analyzed and compared. Moreover, the effects of velocity changes (50, 60, 70, 80 and 90 m/s) are estimated and compared on the above flow and aerodynamic parameters. In the second section of the paper, various data-driven methods including Gene Expression Programming (GEP), Gaussian Process Regression (GPR), and random forest (RF), are applied for predicting output parameters. So, drag, lift, and side forces and also minimum and a maximum of pressure coefficients for mentioned wind directions and velocity are predicted and compared using statistical parameters. Obtained results indicated that RF in all coefficients of wind direction and most coefficients of free stream velocity provided the most accurate predictions. As a conclusion, RF may be recommended for the prediction of aerodynamic coefficients.


title: An acoustic and shock wave capturing compact high-order gas-kinetic scheme with spectral-like resolution

abstract: In this paper, a compact high-order gas-kinetic scheme (GKS) with spectral resolution will be presented and used in the simulation of acoustic and shock waves. For accurate simulation, the numerical scheme is required to have excellent dissipation-dispersion preserving property, while the wave modes, propagation characteristics, and wave speed of the numerical solution should be kept as close as possible to the exact solution of governing equations. For compressible flow simulation with shocks, the numerical scheme has to be equipped with proper numerical dissipation to make a crispy transition in the shock layer. Based on the high-order gas evolution model, the GKS provides a time accurate solution at a cell interface, from which both time accurate flux function and the time evolving flow variables can be obtained. The GKS updates explicitly both cell-averaged conservative flow variables and the cell-averaged gradients by applying Gauss-theorem along the boundary of the control volume. Based on the cell-averaged flow variables and cell-averaged gradients, a reconstruction with compact stencil can be obtained. With the same stencil of a second-order scheme, a reconstruction up to 8th-order spacial accuracy can be constructed, which include the nonlinear and linear reconstruction for the non-equilibrium and equilibrium states respectively. The GKS unifies the nonlinear and linear reconstruction through a time evolution process at a cell interface from the non-equilibrium state to an equilibrium one. In the region between these two limits, the contribution from nonlinear and linear reconstructions depends on the weighting functions of $\exp(-\Delta t/\tau)$ and $(1-\exp(-\Delta t /\tau))$, where $\Delta t$ is the time step and $\tau$ is the particle collision time, which is enhanced in the shock region. As a result, both shock and acoustic wave can be captured accurately in GKS.


title: The dynamical and thermodynamical origin of dissipative chaos

abstract: Chaos is usually referred to the sensitivity to initial conditions in which the nonlinearity plays a crucial role. Beyond such a mathematical description, the understanding of the underlying physical origin of the chaos is still not very clear. Here we study the dissipative chaos from the perspective of the nonequilibrium dynamics. This was not fully investigated in the traditional chaos theory, despite of the Lorenz's original discovery of chaos from the nonequilibrium atmosphere. We found that the nonequilibriumness as the degree of detailed balance breaking can be quantified by the appearance of the steady state probability flux in the state space. We uncovered that the dynamical origin of the onset and offset of the dissipative chaos such as Lorentz attractor is from the sudden appearance and disappearance of such nonequilibrium flux. We also uncovered that the dissipation associated with the flux quantified by the entropy production rate gives the thermodynamical origin of dissipative chaos. The sharp changes in the degree of nonequilibriumness by the flux and the entropy production rate also provide alternative quantitative indicators for the onset and offset of the dissipative chaos.


title: Projection operators in statistical mechanics: a pedagogical approach

abstract: The Mori-Zwanzig projection operator formalism is one of the central tools of nonequilibrium statistical mechanics, allowing to derive macroscopic equations of motion from the microscopic dynamics through a systematic coarse-graining procedure. It is important as a method in physical research and gives many insights into the general structure of nonequilibrium transport equations and the general procedure of microscopic derivations. Therefore, it is a valuable ingredient of basic and advanced courses in statistical mechanics. However, accessible introductions to this method - in particular in its more advanced forms - are extremely rare. In this article, we give a simple and systematic introduction to the Mori-Zwanzig formalism, which allows students to understand the methodology in the form it is used in current research. This includes both basic and modern versions of the theory. Moreover, we relate the formalism to more general aspects of statistical mechanics and quantum mechanics. Thereby, we explain how this method can be incorporated into a lecture course on statistical mechanics as a way to give a general introduction to the study of nonequilibrium systems. Applications, in particular to spin relaxation and dynamical density functional theory, are also discussed.


title: Role of the Soffer bound in determination of transversity and the tensor charge

abstract: The transversity and the tensor charge of the nucleon, currently under active investigation experimentally and theoretically, are fundamental quantities in hadron physics as well as for our comprehension of the nucleon structure. Some tension between the values of the tensor charge, as computed on the basis of phenomenological extractions and lattice QCD calculations, has been observed. In this letter, by means of an explicit example, we study the role of assumptions, usually adopted in phenomenological parametrizations, and we show that, by relaxing some of them, such a tension could be eased.


title: A Machine Learning Solution for Beam Tracking in mmWave Systems

abstract: Utilizing millimeter-wave (mmWave) frequencies for wireless communication in \emph{mobile} systems is challenging since it requires continuous tracking of the beam direction. Recently, beam tracking techniques based on channel sparsity and/or Kalman filter-based techniques were proposed where the solutions use assumptions regarding the environment and device mobility that may not hold in practical scenarios. In this paper, we explore a machine learning-based approach to track the angle of arrival (AoA) for specific paths in realistic scenarios. In particular, we use a recurrent neural network (R-NN) structure with a modified cost function to track the AoA. We propose methods to train the network in sequential data, and study the performance of our proposed solution in comparison to an extended Kalman filter based solution in a realistic mmWave scenario based on stochastic channel model from the QuaDRiGa framework. Results show that our proposed solution outperforms an extended Kalman filter-based method by reducing the AoA outage probability, and thus reducing the need for frequent beam search.


title: Machine learning materials physics: Multi-resolution neural networks learn the free energy and nonlinear elastic response of evolving microstructures

abstract: Many important multi-component crystalline solids undergo mechanochemical spinodal decomposition: a phase transformation in which the compositional redistribution is coupled with structural changes of the crystal, resulting in dynamically evolving microstructures. The ability to rapidly compute the macroscopic behavior based on these detailed microstructures is of paramount importance for accelerating material discovery and design. Here, our focus is on the macroscopic, nonlinear elastic response of materials harboring microstructure. Because of the diversity of microstructural patterns that can form, there is interest in taking a purely computational approach to predicting their macroscopic response. However, the evaluation of macroscopic, nonlinear elastic properties purely based on direct numerical simulations (DNS) is computationally very expensive, and hence impractical for material design when a large number of microstructures need to be tested. A further complexity of a hierarchical nature arises if the elastic free energy and its variation with strain is a small-scale fluctuation on the dominant trajectory of the total free energy driven by microstructural dynamics. To address these challenges, we present a data-driven approach, which combines advanced neural network (NN) models with DNS to predict the homogenized, macroscopic, mechanical free energy and stress fields arising in a family of multi-component crystalline solids that develop microstructure. The hierarchical structure of the free energy's evolution induces a multi-resolution character to the machine learning paradigm: We construct knowledge-based neural networks (KBNNs) with either pre-trained fully connected deep neural networks (DNNs), or pre-trained convolutional neural networks (CNNs) that describe the dominant characteristic of the data to fully represent the hierarchically evolving free energy.


title: A target-fixed immersed-boundary formulation for rigid bodies interacting with fluid flow

abstract: We present an immersed boundary projection method formulated in a body-fixed frame of reference for flow-structure interaction (FSI) problems involving rigid bodies with complex geometries. The body-fixed formulation is aimed at maximizing the accuracy of surface stresses on the FSI body (the target) on during spatial and temporal discretization. The incompressible vorticity equations and Newton's equations of motion are coupled implicitly so that the method remains stable for low solid-to-fluid mass ratios. The influence of fictitious fluid inside the rigid bodies is considered and the spurious oscillations in surface stresses are filtered to impose physically correct rigid body dynamics. Similar to many predecessors of the immersed boundary projection method, the resulting discrete system is solved efficiently using a block-LU decomposition. We then validate the method with two-dimensional test problems of a neutrally buoyant cylinder migrating in a planar Couette flow and a freely falling or rising cylindrical rigid body.


title: Learning Reusable Options for Multi-Task Reinforcement Learning

abstract: Reinforcement learning (RL) has become an increasingly active area of research in recent years. Although there are many algorithms that allow an agent to solve tasks efficiently, they often ignore the possibility that prior experience related to the task at hand might be available. For many practical applications, it might be unfeasible for an agent to learn how to solve a task from scratch, given that it is generally a computationally expensive process; however, prior experience could be leveraged to make these problems tractable in practice. In this paper, we propose a framework for exploiting existing experience by learning reusable options. We show that after an agent learns policies for solving a small number of problems, we are able to use the trajectories generated from those policies to learn reusable options that allow an agent to quickly learn how to solve novel and related problems.


title: Dissecting Catastrophic Forgetting in Continual Learning by Deep Visualization

abstract: Interpreting the behaviors of Deep Neural Networks (usually considered as a black box) is critical especially when they are now being widely adopted over diverse aspects of human life. Taking the advancements from Explainable Artificial Intelligent, this paper proposes a novel technique called Auto DeepVis to dissect catastrophic forgetting in continual learning. A new method to deal with catastrophic forgetting named critical freezing is also introduced upon investigating the dilemma by Auto DeepVis. Experiments on a captioning model meticulously present how catastrophic forgetting happens, particularly showing which components are forgetting or changing. The effectiveness of our technique is then assessed; and more precisely, critical freezing claims the best performance on both previous and coming tasks over baselines, proving the capability of the investigation. Our techniques could not only be supplementary to existing solutions for completely eradicating catastrophic forgetting for life-long learning but also explainable.


title: Security-Constrained Multi-Objective Optimal Power Flow for a Hybrid AC/VSC-MTDC System with Lasso-based Contingency Filtering

abstract: In order to coordinate the economy and voltage quality of a meshed AC/VSC-MTDC system, a new corrective security-constrained multi-objective optimal power flow (SC-MOPF) method is presented in this paper. A parallel SC-MOPF model with N-1 security constraints is proposed for corrective control actions of the meshed AC/DC system, in which the minimization of the generation cost and voltage deviation are used as objective functions. To solve this model, a novel parallel bi-criterion evolution indicator based evolutionary algorithm (BCE-IBEA) algorithm is developed to seek multiple well-spread Pareto-optimal solutions through the introduction of parallel computation. In this process, a least absolute shrinkage and selection operator (Lasso)-based N-1 contingency filtering scheme with a composite security index is developed to efficiently screen out the most severe cases from all contingencies. And thereby, the best compromise solutions reflecting the preferences of different decision makers are automatically determined via an integrated decision making technique. Case studies in the modified IEEE 14- and 300- bus systems demonstrate that the presented approach manages to address this SC-MOPF problem with significantly improved computational efficiency.


title: Stagioni: Temperature management to enable near-sensor processing for energy-efficient high-fidelity imaging

abstract: Vision processing on traditional architectures is inefficient due to energy-expensive off-chip data movement. Many researchers advocate pushing processing close to the sensor to substantially reduce data movement. However, continuous near-sensor processing raises the sensor temperature, impairing the fidelity of imaging/vision tasks. We characterize the thermal implications of using 3D stacked image sensors with near-sensor vision processing units. Our characterization reveals that near-sensor processing reduces system power but degrades image quality. For reasonable image fidelity, the sensor temperature needs to stay below a threshold, situationally determined by application needs. Fortunately, our characterization also identifies opportunities -- unique to the needs of near-sensor processing -- to regulate temperature based on dynamic visual task requirements and rapidly increase capture quality on demand. Based on our characterization, we propose and investigate two thermal management strategies -- stop-capture-go and seasonal migration -- for imaging-aware thermal management. We present parameters that govern the policy decisions and explore the trade-offs between system power and policy overhead. Our evaluation shows that our novel dynamic thermal management strategies can unlock the energy-efficiency potential of near-sensor processing. For our evaluated tasks, our strategies save up to 53% of system power with negligible performance impact and sustained image fidelity.


title: Homogeneous and Inhomogeneous Formulations of Nonrelativistic Potential Scattering

abstract: Advantage is taken of the arbitrariness in energy reference to consider anew integral transcriptions of Schrodinger's equation in the presence of potentials which at infinity acquire constant, nonvanishing values. It is found possible to present for the probability amplitude $\psi$ a linear integral equation which is entirely devoid of explicit reference to the wave function incident from infinity, and thus differs markedly from the prevailing inhomogeneous formulation. Identity of the homogeneous equation with an inhomogeneous statement which is at the same time available is affirmed in general terms with the aid of the Fourier transformation, and is then still further reinforced by application of both formalisms to the particular example of a spherical potential barrier/well. Identical, closed-form outcomes are gotten in each case for wave function eigenmode expansion coefficients on both scatterer interior and exterior. Admittedly, the solution procedure is far simpler in the inhomogeneous setting, wherein it exhibits the aspect of a direct, leapfrog advance, unburdened by any implicit algebraic entanglement. By contrast, the homogeneous path, of considerably greater length, insists, at each mode index, upon an exterior/interior coefficient entanglement, an entanglement which, happily, is no more severe than that of a non-singular two-by-two linear system. Each such two-by-two linear system reproduces of course the output already gotten under the inhomogeneous route, and is indeed identical to the two-by-two system encountered during the routine procedure wherein continuity is demanded at the barrier/well interface of both $\psi$ and its radial derivative.


title: A Survey on Machine Reading Comprehension Systems

abstract: Machine reading comprehension is a challenging task and hot topic in natural language processing. Its goal is to develop systems to answer the questions regarding a given context. In this paper, we present a comprehensive survey on different aspects of machine reading comprehension systems, including their approaches, structures, input/outputs, and research novelties. We illustrate the recent trends in this field based on 241 reviewed papers from 2016 to 2020. Our investigations demonstrate that the focus of research has changed in recent years from answer extraction to answer generation, from single to multi-document reading comprehension, and from learning from scratch to using pre-trained embeddings. We also discuss the popular datasets and the evaluation metrics in this field. The paper ends with investigating the most cited papers and their contributions.


title: A Hybrid MPI-CUDA Approach for Nonequispaced Discrete Fourier Transformation

abstract: Nonequispaced discrete Fourier transformation (NDFT) is widely applied in all aspects of computational science and engineering. The computational efficiency and accuracy of NDFT has always been a critical issue in hindering its comprehensive applications both in intensive and in extensive aspects of scientific computing. In our previous work (2018, S.-C. Yang et al., Appl. Comput. Harmon. Anal. 44, 273), a CUNFFT method was proposed and it shown outstanding performance in handling NDFT at intermediate scale based on CUDA (Compute Unified Device Architecture) technology. In the current work, we further improved the computational efficiency of the CUNTTF method using an efficient MPI-CUDA hybrid parallelization (HP) scheme of NFFT to achieve a cutting-edge treatment of NDFT at super extended scale. Within this HP-NFFT method, the spatial domain of NDFT is decomposed into several parts according to the accumulative feature of NDFT and the detailed number of CPU and GPU nodes. These decomposed NDFT subcells are independently calculated on different CPU nodes using a MPI process-level parallelization mode, and on different GPU nodes using a CUDA threadlevel parallelization mode and CUNFFT algorithm. A massive benchmarking of the HP-NFFT method indicates that this method exhibit a dramatic improvement in computational efficiency for handling NDFT at super extended scale without loss of computational precision. Furthermore, the HP-NFFT method is validated via the calculation of Madelung constant of fluorite crystal structure, and thereafter verified that this method is robust for the calculation of electrostatic interactions between charged ions in molecular dynamics simulation systems.

categories: cs.MS cond-mat.soft physics.chem-ph physics.comp-ph


title: Quaternionic inverse Fourier Transforms on LCA Groups

abstract: In this paper the inverse of the quaternionic Fourier transform on locally compact abelian groups is verified.


title: Hand bone conduction sound study by using the DSP Logger MX 300

abstract: Bone conduction is the transmission of acoustic energy to the inner ear by different paths involving the bones of the skull. In this work, we use the path the hand provides in order to transmit the sound coming from the cell phone using Bluetooth system. The aim of this work was to study the vibrations produced by a sound transmitted through bone conduction between a mobile phone and the hand analyzed with the DSP Logger MX equipment.


title: Stability for small data: the drift model of the conformal method

abstract: The conformal method in general relativity aims to successfully parametrise the set of all initial data associated with globally hyperbolic spacetimes. One such mapping was suggested by David Maxwell. I verify that the solutions of the corresponding conformal system are stable, in the sense that they present a priori bounds under perturbations of the system's coefficients. This result holds in dimensions $3\leq n\leq 5$, when the metric is conformally flat, the drift is small. A scalar field with suitably high potential is considered in this case.


title: Exploring Adversarial Attack in Spiking Neural Networks with Spike-Compatible Gradient

abstract: Recently, backpropagation through time inspired learning algorithms are widely introduced into SNNs to improve the performance, which brings the possibility to attack the models accurately given Spatio-temporal gradient maps. We propose two approaches to address the challenges of gradient input incompatibility and gradient vanishing. Specifically, we design a gradient to spike converter to convert continuous gradients to ternary ones compatible with spike inputs. Then, we design a gradient trigger to construct ternary gradients that can randomly flip the spike inputs with a controllable turnover rate, when meeting all zero gradients. Putting these methods together, we build an adversarial attack methodology for SNNs trained by supervised algorithms. Moreover, we analyze the influence of the training loss function and the firing threshold of the penultimate layer, which indicates a "trap" region under the cross-entropy loss that can be escaped by threshold tuning. Extensive experiments are conducted to validate the effectiveness of our solution. Besides the quantitative analysis of the influence factors, we evidence that SNNs are more robust against adversarial attack than ANNs. This work can help reveal what happens in SNN attack and might stimulate more research on the security of SNN models and neuromorphic devices.


title: Information Extraction based on Named Entity for Tourism Corpus

abstract: Tourism information is scattered around nowadays. To search for the information, it is usually time consuming to browse through the results from search engine, select and view the details of each accommodation. In this paper, we present a methodology to extract particular information from full text returned from the search engine to facilitate the users. Then, the users can specifically look to the desired relevant information. The approach can be used for the same task in other domains. The main steps are 1) building training data and 2) building recognition model. First, the tourism data is gathered and the vocabularies are built. The raw corpus is used to train for creating vocabulary embedding. Also, it is used for creating annotated data. The process of creating named entity annotation is presented. Then, the recognition model of a given entity type can be built. From the experiments, given hotel description, the model can extract the desired entity,i.e, name, location, facility. The extracted data can further be stored as a structured information, e.g., in the ontology format, for future querying and inference. The model for automatic named entity identification, based on machine learning, yields the error ranging 8%-25%.


title: Morphological Word Segmentation on Agglutinative Languages for Neural Machine Translation

abstract: Neural machine translation (NMT) has achieved impressive performance on machine translation task in recent years. However, in consideration of efficiency, a limited-size vocabulary that only contains the top-N highest frequency words are employed for model training, which leads to many rare and unknown words. It is rather difficult when translating from the low-resource and morphologically-rich agglutinative languages, which have complex morphology and large vocabulary. In this paper, we propose a morphological word segmentation method on the source-side for NMT that incorporates morphology knowledge to preserve the linguistic and semantic information in the word structure while reducing the vocabulary size at training time. It can be utilized as a preprocessing tool to segment the words in agglutinative languages for other natural language processing (NLP) tasks. Experimental results show that our morphologically motivated word segmentation method is better suitable for the NMT model, which achieves significant improvements on Turkish-English and Uyghur-Chinese machine translation tasks on account of reducing data sparseness and language complexity.


title: On The Photodesorption of CO$_2$ Ice Analogues: The Formation of Atomic C in The Ice and the Effect of The VUV Emission Spectrume

abstract: CO$_2$ ice has a phase transition at 35 K when its structure changes from amorphous to crystalline. Using Reflection absorption Infrared Spectroscopy (RAIRS), \"Oberg et al. observed that the photodesorption yield of CO$_2$ ice deposited at 60 K and irradiated at 18 K is 40% lower than that of CO$_2$ ice deposited and irradiated at 18 K. In this work, CO$_2$ ices were deposited at 16-60 K and UV-irradiated at 16 K to rule out the temperature effect and figure out the relationship between photodesorption yield and ice structure. IR spectroscopy is a common method used for measurement of the photodesorption yield in ices. We found that undetectable C atoms produced in irradiated CO$_2$ ice can account for 33% of the amount of depleted CO$_2$ molecules in the ice. A quantitative calibration of QMS was therefore performed to convert the measured ion current into photodesorption yield. During various irradiation periods, the dominant photodesorbing species were CO, O$_2$, and CO$_2$, and their photodesorption yields in CO$_2$ ices deposited at different temperature configurations were almost the same, indicating that ice morphology has no effect on the photodesorption yield of CO$_2$ ice. In addition, we found that the lower desorption yield reported by Mart\'in-Dom\'enech et al. is due to a linear relationship between the photodesorption yield and the combination of energy distribution of Microwave-Discharge Hydrogen-flow Lamp (MDHL) and UV absorption cross section of ices.


title: Instability and phase transitions of a rotating black hole in the presence of perfect fluid dark matter

abstract: In this paper, we study the thermodynamic features of a rotating black hole surrounded by perfect fluid dark matter. We analyze the critical behavior of the black hole by considering the known relationship between pressure and cosmological constant. We show that the black hole admits a first order phase transition and, both rotation and perfect fluid dark matter parameters have a significant impact on the critical quantities. We also introduce a new ad hoc pressure related to the perfect fluid dark matter and find a first order van der Waals like phase transition. In addition, using the sixth order WKB method, we investigate the massless scalar quasinormal modes (QNMs) for the static spherically symmetric black hole surrounded by dark matter. Using the finite difference scheme, the dynamical evolution of the QNMs is also discussed for different values of angular momentum and overtone parameters.


title: Modeling Historical AIS Data For Vessel Path Prediction: A Comprehensive Treatment

abstract: The prosperity of artificial intelligence has aroused intensive interests in intelligent/autonomous navigation, in which path prediction is a key functionality for decision supports, e.g. route planning, collision warning, and traffic regulation. For maritime intelligence, Automatic Identification System (AIS) plays an important role because it recently has been made compulsory for large international commercial vessels and is able to provide nearly real-time information of the vessel. Therefore AIS data based vessel path prediction is a promising way in future maritime intelligence. However, real-world AIS data collected online are just highly irregular trajectory segments (AIS message sequences) from different types of vessels and geographical regions, with possibly very low data quality. So even there are some works studying how to build a path prediction model using historical AIS data, but still, it is a very challenging problem. In this paper, we propose a comprehensive framework to model massive historical AIS trajectory segments for accurate vessel path prediction. Experimental comparisons with existing popular methods are made to validate the proposed approach and results show that our approach could outperform the baseline methods by a wide margin.


title: On Output Feedback Stabilization of Time-Varying Decomposable Systems with Switching Topology and Delay

abstract: This paper presents a new method for dynamic output feedback stabilizing controller design for decomposable systems with switching topology and delay. Our approach consists of two steps. In the first step, we model the decomposable systems with switching topology as equivalent LPV systems with a piecewise constant parameter. In the second step, we design stabilizing output feedbacks for these LPV systems in the presence of a time-varying output delay using a trajectory-based stability analysis approach. We do not impose any constraint on the delay derivative. Finally, we illustrate our approach by applying it to the consensus problem of non-holonomic agents.


title: Enhancement of nucleate boiling by combining the effects of surface structure and mixed wettability: A lattice Boltzmann study

abstract: The combination of microstructures and mixed wettability for enhancing nucleate boiling has attracted much attention in recent years. However, in the existing experimental and numerical studies, the tops of microstructures are entirely subjected to wettability modification, which makes the influences of mixed wettability dependant on the characteristic length of microstructures. In order to disclose the joint effects of surface structure and mixed wettability on nucleate boiling, in this work we propose an improved type of pillar-textured surface with mixed wettability, in which the tops of square pillars are partially subjected to wettability modification. Numerical investigation of the boiling heat transfer performance on the improved mixed-wettability surface is carried out using a three-dimensional thermal multiphase lattice Boltzmann model. The numerical results show that the width of the wettability-modified region plays an important role in the boiling performance of the improved mixed-wettability surface and the best boiling performance is achieved in the situation that the width of the wettability-modified region is sufficiently large but the bubble nucleated on the pillar top still does not interfere with the coalescence-departure mechanism of the bubbles nucleated around the pillar, which optimizes the joint effects of surface structure and mixed wettability for enhancing nucleate boiling. The influences of the shape of the wettability-modified region are also studied. Among the investigated shapes, the square is found to perform better than the other two shapes.


title: Why Moli\`ere most likely did write his plays

abstract: As for Shakespeare, a hard-fought debate has emerged about Moli\`ere, a supposedly uneducated actor who, according to some, could not have written the masterpieces attributed to him. In the past decades, the century-old thesis according to which Pierre Corneille would be their actual author has become popular, mostly because of new works in computational linguistics. These results are reassessed here through state-of-the-art attribution methods. We study a corpus of comedies in verse by major authors of Moli\`ere and Corneille's time. Analysis of lexicon, rhymes, word forms, affixes, morphosyntactic sequences, and function words do not give any clue that another author among the major playwrights of the time would have written the plays signed under the name Moli\`ere.


title: Deep learning for brake squeal: vibration detection, characterization and prediction

abstract: Despite significant advances in modeling of friction-induced vibrations and brake squeal, the majority of industrial research and design is still conducted experimentally, since many aspects of squeal and its mechanisms involved remain unknown. We report here for the first time on novel strategies for handling data-intensive vibration testings to gain better insights into friction brake system vibrations and noise generation mechanisms. Machine learning-based methods to detect and characterize vibrations, to understand sensitivities and to predict brake squeal are applied with the aim to illustrate how interdisciplinary approaches can leverage the potential of data science techniques for classical mechanical engineering challenges. In the first part, a deep learning brake squeal detector is developed to identify several classes of typical friction noise recordings. The detection method is rooted in recent computer vision techniques for object detection based on convolutional neural networks. It allows to overcome limitations of classical approaches that solely rely on instantaneous spectral properties of the recorded noise. Results indicate superior detection and characterization quality when compared to a state-of-the-art brake squeal detector. In the second part, a recurrent neural network is employed to learn the parametric patterns that determine the dynamic stability of an operating brake system. Given a set of multivariate loading conditions, the RNN learns to predict the noise generation of the structure. The validated RNN represents a virtual twin model for the squeal behavior of a specific brake system. It is found that this model can predict the occurrence and the onset of brake squeal with high accuracy and that it can identify the complicated patterns and temporal dependencies in the loading conditions that drive the dynamical structure into regimes of instability.


title: RBF-FD analysis of 2D time-domain acoustic wave propagation in heterogeneous media

abstract: Radial Basis Function-generated Finite Differences (RBF-FD) is a popular variant of local strong-form meshless methods that do not require a predefined connection between the nodes, making it easier to adapt node-distribution to the problem under consideration. This paper investigates an RBF-FD solution of time-domain acoustic wave propagation in the context of seismic modeling in the Earth's subsurface. Through a number of numerical tests, ranging from homogeneous to highly-heterogeneous velocity models including non-smooth irregular topography, we demonstrate that the present approach can be further generalized to solve large-scale seismic modeling and full waveform inversion problems in arbitrarily complex models enabling more robust interpretations of geophysical observations


title: Why and How to Balance Alignment and Diversity of Requirements Engineering Practices in Automotive

abstract: In large-scale automotive companies, various requirements engineering (RE) practices are used across teams. RE practices manifest in Requirements Information Models (RIM) that define what concepts and information should be captured for requirements. Collaboration of practitioners from different parts of an organization is required to define a suitable RIM that balances support for diverse practices in individual teams with the alignment needed for a shared view and team support on system level. There exists no guidance for this challenging task. This paper presents a mixed methods study to examine the role of RIMs in balancing alignment and diversity of RE practices in four automotive companies. Our analysis is based on data from systems engineering tools, 11 semi-structured interviews, and a survey to validate findings and suggestions. We found that balancing alignment and diversity of RE practices is important to consider when defining RIMs. We further investigated enablers for this balance and actions that practitioners take to achieve it. From these factors, we derived and evaluated recommendations for managing RIMs in practice that take into account the lifecycle of requirements and allow for diverse practices across sub-disciplines in early development, while enforcing alignment of requirements that are close to release.


title: Multi-scale Domain-adversarial Multiple-instance CNN for Cancer Subtype Classification with Unannotated Histopathological Images

abstract: We propose a new method for cancer subtype classification from histopathological images, which can automatically detect tumor-specific features in a given whole slide image (WSI). The cancer subtype should be classified by referring to a WSI, i.e., a large-sized image (typically 40,000x40,000 pixels) of an entire pathological tissue slide, which consists of cancer and non-cancer portions. One difficulty arises from the high cost associated with annotating tumor regions in WSIs. Furthermore, both global and local image features must be extracted from the WSI by changing the magnifications of the image. In addition, the image features should be stably detected against the differences of staining conditions among the hospitals/specimens. In this paper, we develop a new CNN-based cancer subtype classification method by effectively combining multiple-instance, domain adversarial, and multi-scale learning frameworks in order to overcome these practical difficulties. When the proposed method was applied to malignant lymphoma subtype classifications of 196 cases collected from multiple hospitals, the classification performance was significantly better than the standard CNN or other conventional methods, and the accuracy compared favorably with that of standard pathologists.


title: Improving Few-shot Learning by Spatially-aware Matching and CrossTransformer

abstract: Current few-shot learning models capture visual object relations in the so-called meta-learning setting under a fixed-resolution input. However, such models have a limited generalization ability under the scale and location mismatch between objects, as only few samples from target classes are provided. Therefore, the lack of a mechanism to match the scale and location between pairs of compared images leads to the performance degradation. The importance of image contents varies across coarse-to-fine scales depending on the object and its class label, e.g., generic objects and scenes rely on their global appearance while fine-grained objects rely more on their localized visual patterns. In this paper, we study the impact of scale and location mismatch in the few-shot learning scenario, and propose a novel Spatially-aware Matching (SM) scheme to effectively perform matching across multiple scales and locations, and learn image relations by giving the highest weights to the best matching pairs. The SM is trained to activate the most related locations and scales between support and query data. We apply and evaluate SM on various few-shot learning models and backbones for comprehensive evaluations. Furthermore, we leverage an auxiliary self-supervisory discriminator to train/predict the spatial- and scale-level index of feature vectors we use. Finally, we develop a novel transformer-based pipeline to exploit self- and cross-attention in a spatially-aware matching process. Our proposed design is orthogonal to the choice of backbone and/or comparator.


title: Structural, optical, and electrical properties of unintentionally doped NiO layers grown on MgO by plasma-assisted molecular beam epitaxy

abstract: NiO layers were grown on MgO(100), MgO(110), and MgO(111) substrates by plasma-assisted molecular beam epitaxy under Ni-flux limited growth conditions. Single crystalline growth with a cube-on-cube epitaxial relationship was confirmed by X-ray diffraction measurements for all used growth conditions and substrates except MgO(111). A detailed growth series on MgO(100) was prepared using substrate temperatures ranging from 20 {\deg}C to 900 {\deg}C to investigate the influence on the layer characteristics. Energy-dispersive X-ray spectroscopy indicated close-to-stoichiometric layers with an oxygen content of ~47 at. % and ~50 at. % grown under low and high O-flux, respectively. All NiO layers had a root-mean-square surface roughness below 1 nm, measured by atomic force microscopy, except for rougher layers grown at 900 {\deg}C or using molecular oxygen. Growth at 900 {\deg}C led to a significant diffusion of Mg from the substrate into the film. The relative intensity of the quasi-forbidden one-phonon Raman peak is introduced as a gauge of the crystal quality, indicating the highest layer quality for growth at low oxygen flux and high growth temperature, likely due to the resulting high adatom diffusion length during growth. The optical and electrical properties were investigated by spectroscopic ellipsometry and resistance measurements, respectively. All NiO layers were transparent with an optical bandgap around 3.6 eV and semi-insulating at room temperature. However, changes upon exposure to reducing or oxidizing gases of the resistance of a representative layer at elevated temperature were able to confirm p-type conductivity, highlighting their suitability as a model system for research on oxide-based gas sensing.


title: q-Deformation and free statistics for interaction of a field and a particle

abstract: Emerging of free (or quantum Boltzmann) statistics for a model of quantum particle interacting with quantum field is described in the stochastic limit without dipole approximation. The quantum field is considered in a Gaussian (for example temperature) state. Entangled operators which describe interaction of the field and the particle satisfy the q-deformed relations which in the stochastic limit generate free statistics.


title: GeoBroker: Leveraging Geo-Contexts for IoT Data Distribution

abstract: In the Internet of Things, the relevance of data often depends on the geographic context of data producers and consumers. Today's data distribution services, however, mostly focus on data content and not on geo-context, which could help to reduce the dissemination of excess data in many IoT scenarios. In this paper, we propose to use the geo-context information associated with devices to control data distribution. We define what geo-context dimensions exist and compare our definition with concepts from related work. Furthermore, we designed GeoBroker, a data distribution service that uses the location of things, as well as geofences for messages and subscriptions, to control data distribution. This way, we enable new IoT application scenarios while also increasing overall system efficiency for scenarios where geo-contexts matter by delivering only relevant messages. We evaluate our approach based on a proof-of-concept prototype and several experiments.


title: Dislocation Based Mechanics: the various contributions of Dislocation Dynamics simulations

abstract: Plastic deformation In crystalline materials is controlled by the motion and interactions of dislocations [AND 17]. Discrete Dislocation Dynamics (DDD) simulations have now existed for about 25 years to investigate plastic flow at the mesoscale, which lies at a critical position between two very different scales. At small scale, atomistic simulations are particularly adapted to investigate the core structure or mobility of individual dislocations, while continuous approaches can simulate the complete and continuous mechanical behaviour at the scale of the components. the purpose of DDD is to simulate the evolution of large dislocation ensembles in reaction to an external load and to assess the collective behaviour of dislocations.


title: Classifying ecosystem disservices and comparing their effects with ecosystem services in Beijing, China

abstract: To completely understand the effects of urban ecosystems, the effects of ecosystem disservices should be considered along with the ecosystem services and require more research attention. In this study, we tried to better understand its formation through the use of cascade flowchart and classification systems and compare their effects with ecosystem services. It is vitally important to differentiate final and intermediate ecosystem disservices for understanding the negative effects of the ecosystem on human well-being. The proposed functional classification of EDS (i.e. provisioning, regulating and cultural EDS) should also help better bridging EDS and ES studies. In addition, we used Beijing as a case study area to value the EDS caused by urban ecosystems and compare the findings with ES values. The results suggested that although EDS caused great financial loss the potential economic gain from ecosystem services still significantly outweigh the loss. Our study only sheds light on valuating the net effects of urban ecosystems. In the future, we believe that EDS valuation should be at least equally considered in ecosystem valuation studies to create more comprehensive and sustainable development policies, land use proposals and management plans.


title: The SmartSHARK Ecosystem for Software Repository Mining

abstract: Software repository mining is the foundation for many empirical software engineering studies. The collection and analysis of detailed data can be challenging, especially if data shall be shared to enable replicable research and open science practices. SmartSHARK is an ecosystem that supports replicable and reproducible research based on software repository mining.


title: (Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 2 : bounds on treewidth

abstract: A {\em theta} is a graph made of three internally vertex-disjoint chordless paths $P_1 = a \dots b$, $P_2 = a \dots b$, $P_3 = a \dots b$ of length at least~2 and such that no edges exist between the paths except the three edges incident to $a$ and the three edges incident to $b$. A {\em pyramid} is a graph made of three chordless paths $P_1 = a \dots b_1$, $P_2 = a \dots b_2$, $P_3 = a \dots b_3$ of length at least~1, two of which have length at least 2, vertex-disjoint except at $a$, and such that $b_1b_2b_3$ is a triangle and no edges exist between the paths except those of the triangle and the three edges incident to~$a$. An \emph{even hole} is a chordless cycle of even length. For three non-negative integers $i\leq j\leq k$, let $S_{i,j,k}$ be the tree with a vertex $v$, from which start three paths with $i$, $j$, and $k$ edges respectively. We denote by $K_t$ the complete graph on $t$ vertices. We prove that for all non-negative integers $i, j, k$, the class of graphs that contain no theta, no $K_3$, and no $S_{i, j, k}$ as induced subgraphs have bounded treewidth. We prove that for all non-negative integers $i, j, k, t$, the class of graphs that contain no even hole, no pyramid, no $K_t$, and no $S_{i, j, k}$ as induced subgraphs have bounded treewidth. To bound the treewidth, we prove that every graph of large treewidth must contain a large clique or a minimal separator of large cardinality.


title: The plethory of operations in complex topological K-theory

abstract: We provide a concrete introduction to the topologised, graded analogue of an algebraic structure known as a plethory, originally due to Tall and Wraith. Stacey and Whitehouse showed this structure is present on the cohomology operations for a suitable generalised cohomology theory. We compute an explicit expression for the plethory of operations for complex topological K-theory. This is formulated in terms of a plethory enhanced with structure corresponding to the looping of operations. In this context we show that the familiar lambda operations generate all the operations.


title: Performance of parallel-in-time integration for Rayleigh B\'enard Convection

abstract: Rayleigh-B\'enard convection (RBC) is a fundamental problem of fluid dynamics, with many applications to geophysical, astrophysical, and industrial flows. Understanding RBC at parameter regimes of interest requires complex physical or numerical experiments. Numerical simulations require large amounts of computational resources; in order to more efficiently use the large numbers of processors now available in large high performance computing clusters, novel parallelisation strategies are required. To this end, we investigate the performance of the parallel-in-time algorithm Parareal when used in numerical simulations of RBC. We present the first parallel-in-time speedups for RBC simulations at finite Prandtl number. We also investigate the problem of convergence of Parareal with respect to to statistical numerical quantities, such as the Nusselt number, and discuss the importance of reliable online stopping criteria in these cases.


title: A new sigmoidal fractional derivative for regularization

abstract: In this paper, we propose a new fractional derivative, which is based on a Caputo-type derivative with a smooth kernel. We show that the proposed fractional derivative reduces to the classical derivative and has a smoothing effect which is compatible with $\ell_{1}$ regularization. Moreover, it satisfies some classical properties.


title: Asymptotic stability of peakons for the Novikov equation

abstract: The Novikov equation is a Camassa-Holm type equation with cubic nonlinearity. This paper aims to prove the asymptotic stability of peakons solutions under $H^1(\mathbb{R})$-perturbations satisfying that their associated momentum density defines a non-negative Radon measure. Motivated by Molinet's work, we shall first prove a Liouville property for $H^1(\mathbb{R})$ global solutions belonging to a certain class of almost localized functions. More precisely, we show that such solutions have to be a peakon. The main difficulty in our analysis in comparison to the Camassa-Holm case comes from the fact that the momentum is not conserved and may be unbounded along the trajectory. Also, to prove the Liouville property, we used a new Lyapunov functional not related to the (not conserved) momentum of the equation.


title: A Note on Portfolio Optimization with Quadratic Transaction Costs

abstract: In this short note, we consider mean-variance optimized portfolios with transaction costs. We show that introducing quadratic transaction costs makes the optimization problem more difficult than using linear transaction costs. The reason lies in the specification of the budget constraint, which is no longer linear. We provide numerical algorithms for solving this issue and illustrate how transaction costs may considerably impact the expected returns of optimized portfolios.


title: Chained Representation Cycling: Learning to Estimate 3D Human Pose and Shape by Cycling Between Representations

abstract: The goal of many computer vision systems is to transform image pixels into 3D representations. Recent popular models use neural networks to regress directly from pixels to 3D object parameters. Such an approach works well when supervision is available, but in problems like human pose and shape estimation, it is difficult to obtain natural images with 3D ground truth. To go one step further, we propose a new architecture that facilitates unsupervised, or lightly supervised, learning. The idea is to break the problem into a series of transformations between increasingly abstract representations. Each step involves a cycle designed to be learnable without annotated training data, and the chain of cycles delivers the final solution. Specifically, we use 2D body part segments as an intermediate representation that contains enough information to be lifted to 3D, and at the same time is simple enough to be learned in an unsupervised way. We demonstrate the method by learning 3D human pose and shape from un-paired and un-annotated images. We also explore varying amounts of paired data and show that cycling greatly alleviates the need for paired data. While we present results for modeling humans, our formulation is general and can be applied to other vision problems.


title: The optical tweezer of ferroelectric skyrmions

abstract: Strong magneto-electric coupling in two-dimensional helical materials leads to a peculiar type of topologically protected solutions -- skyrmions. Coupling between the net ferroelectric polarization and magnetization allows control of the magnetic texture with an external electric field. In this work we propose the model of optical tweezer -- a particular configuration of an external electric field and Gaussian laser beam that can trap or release the skyrmions in a highly controlled manner. Functionality of such a tweezer is visualized by micromagnetic simulations and model analysis.


title: On the behavior of $1$-Laplacian Ratio Cuts on nearly rectangular domains

abstract: Given a connected set $\Omega_0 \subset \mathbb{R}^2$, define a sequence of sets $(\Omega_n)_{n=0}^{\infty}$ where $\Omega_{n+1}$ is the subset of $\Omega_n$ where the first eigenfunction of the (properly normalized) Neumann $p-$Laplacian $ -\Delta^{(p)} \phi = \lambda_1 |\phi|^{p-2} \phi$ is positive (or negative). For $p=1$, this is also referred to as the Ratio Cut of the domain. We conjecture that, unless $\Omega_0$ is an isosceles right triangle, these sets converge to the set of rectangles with eccentricity bounded by 2 in the Gromov-Hausdorff distance as long as they have a certain distance to the boundary $\partial \Omega_0$. We establish some aspects of this conjecture for $p=1$ where we prove that (1) the 1-Laplacian spectral cut of domains sufficiently close to rectangles of a given aspect ratio is a circular arc that is closer to flat than the original domain (leading eventually to quadrilaterals) and (2) quadrilaterals close to a rectangle of aspect ratio $2$ stay close to quadrilaterals and move closer to rectangles in a suitable metric. We also discuss some numerical aspects and pose many open questions.


title: A new self-consistent approach of quantum turbulence in superfluid helium

abstract: We present the Fully cOUpled loCAl model of sUperfLuid Turbulence (FOUCAULT) that describes the dynamics of finite temperature superfluids. The superfluid component is described by the vortex filament method while the normal fluid is governed by a modified Navier-Stokes equation. The superfluid vortex lines and normal fluid components are fully coupled in a self-consistent manner by the friction force, which induces local disturbances in the normal fluid in the vicinity of vortex lines. The main focus of this work is the numerical scheme for distributing the friction force to the mesh points where the normal fluid is defined and for evaluating the velocity of the normalfluid on the Lagrangian discretization points along the vortex lines. In particular, we show that if this numerical scheme is not careful enough, spurious results may occur. The new scheme which we propose to overcome these difficulties is based on physical principles. Finally, we apply the new method to the problem of the motion of a superfluid vortex ring in a stationary normal fluid and in a turbulent normal fluid.


title: Post-linear metric of a solar system body

abstract: A precise modeling of light trajectories in the solar system on the sub-micro-arcsecond and nano-arcsecond scale of accuracy requires the metric tensor of solar system bodies in post-linear approximation. The Multipolar Post-Minkowskian formalism represents a framework for determining the metric density in the exterior of a compact source of matter, which can be regarded as massive solar system body. The knowledge of the metric density, frequently been called gothic metric, allows to deduce the metric tensor. Some aspects are considered about how to determine the metric density and the metric tensor from the field equations of gravity.


title: ARA : Aggregated RAPPOR and Analysis for Centralized Differential Privacy

abstract: Differential privacy(DP) has now become a standard in case of sensitive statistical data analysis. The two main approaches in DP is local and central. Both the approaches have a clear gap in terms of data storing,amount of data to be analyzed, analysis, speed etc. Local wins on the speed. We have tested the state of the art standard RAPPOR which is a local approach and supported this gap. Our work completely focuses on that part too. Here, we propose a model which initially collects RAPPOR reports from multiple clients which are then pushed to a Tf-Idf estimation model. The Tf-Idf estimation model then estimates the reports on the basis of the occurrence of "on bit" in a particular position and its contribution to that position. Thus it generates a centralized differential privacy analysis from multiple clients. Our model successfully and efficiently analyzed the major truth value every time.


title: Normalization, Taylor expansion and rigid approximation of $\lambda$-terms

abstract: The aim of this work is to characterize three fundamental normalization proprieties in lambda-calculus trough the Taylor expansion of $ \lambda$-terms. The general proof strategy consists in stating the dependence of ordinary reduction strategies on their resource counterparts and in finding a convenient resource term in the Taylor expansion that behaves well under the considered kind of reduction.


title: Optimal Options for Multi-Task Reinforcement Learning Under Time Constraints

abstract: Reinforcement learning can greatly benefit from the use of options as a way of encoding recurring behaviours and to foster exploration. An important open problem is how can an agent autonomously learn useful options when solving particular distributions of related tasks. We investigate some of the conditions that influence optimality of options, in settings where agents have a limited time budget for learning each task and the task distribution might involve problems with different levels of similarity. We directly search for optimal option sets and show that the discovered options significantly differ depending on factors such as the available learning time budget and that the found options outperform popular option-generation heuristics.


title: Zeros of $p$-adic hypergeometric functions, $p$-adic analogues of Kummer's and Pfaff's identities

abstract: We classify all the zeros and non-zero values of a family of hypergeometric series in the $p$-adic setting. These values of hypergeometric series in the $p$-adic setting lead to transformations of hypergeometric series in the $p$-adic setting which can be described as $p$-adic analogues of Kummer's and Pfaff's linear transformations on classical hypergeometric series. We also evaluate certain summation identities for hypergeometric series in the $p$-adic setting as well as Gaussian hypergeometric series.


title: Exploring Benefits of Transfer Learning in Neural Machine Translation

abstract: Neural machine translation is known to require large numbers of parallel training sentences, which generally prevent it from excelling on low-resource language pairs. This thesis explores the use of cross-lingual transfer learning on neural networks as a way of solving the problem with the lack of resources. We propose several transfer learning approaches to reuse a model pretrained on a high-resource language pair. We pay particular attention to the simplicity of the techniques. We study two scenarios: (a) when we reuse the high-resource model without any prior modifications to its training process and (b) when we can prepare the first-stage high-resource model for transfer learning in advance. For the former scenario, we present a proof-of-concept method by reusing a model trained by other researchers. In the latter scenario, we present a method which reaches even larger improvements in translation performance. Apart from proposed techniques, we focus on an in-depth analysis of transfer learning techniques and try to shed some light on transfer learning improvements. We show how our techniques address specific problems of low-resource languages and are suitable even in high-resource transfer learning. We evaluate the potential drawbacks and behavior by studying transfer learning in various situations, for example, under artificially damaged training corpora, or with fixed various model parts.


title: Persistence by Parts: Multiscale Feature Detection via Distributed Persistent Homology

abstract: A method is presented for the distributed computation of persistent homology, based on an extension of the generalized Mayer-Vietoris principle to filtered spaces. Cellular cosheaves and spectral sequences are used to compute global persistent homology based on local computations indexed by a scalar field. These techniques permit computation localized not merely by geography, but by other features of data points, such as density. As an example of the latter, the construction is used in the multi-scale analysis of point clouds to detect features of varying sizes that are overlooked by standard persistent homology.


title: Accelerating Multiscale Simulation of Complex Geomodels by Use of Dynamically Adapted Basis Functions

abstract: A number of different multiscale methods have been developed as a robust alternative to upscaling and as a means for accelerated reservoir simulation of high-resolution geomodels. In their basic setup, multiscale methods use a restriction operator to construct a reduced system of flow equations on a coarser grid, and a prolongation operator to map pressure unknowns from the coarse grid back to the original simulation grid. The prolongation operator consists of basis functions computed numerically by solving localized flow problems. One can use the resulting multiscale solver both as a CPR-preconditioner in fully implicit simulators or as an efficient approximate iterative linear solver in a sequential setting. The latter approach has been successful implemented in a commercial simulator. Recently, we have shown that you can obtain significantly faster convergence if you instead of using a single pair of prolongation-restriction operators apply a sequence of such operators, where some of the operators adapt to faults, fractures, facies, or other geobodies. Herein, we present how you can accelerate the convergence even further, if you also include additional basis functions that capture local changes in the pressure.


title: Long-term multi-frequency maser observations of the intermediate-mass young stellar object G107.298+5.639

abstract: Periodic flares of maser emission are thought to be induced either by variations of the seed photon flux in young binary systems or the pump rate regulated by stellar and accretion luminosities. We seek to study the variability of four maser transitions of three different species in G107.298+5.639 to constrain the dominant mechanism of periodic flares. Light curves of the 6.7 GHz methanol and 22.2 GHz water vapour maser were obtained with the Torun 32m radio telescope over 39 and 34 cycles, respectively. The target was also monitored at the 1.6 GHz hydroxyl transitions with the Nan\c{c}ay radio telescope over 13 cycles. All these maser lines were imaged using VLBI arrays. The study confirms alternating flares of the methanol and water masers with a period of 34.4d and reveals the synchronised behaviour of the methanol and hydroxyl masers in this source. The observed spatial distribution of the methanol maser cloudlets and the measured time delays of the flares of individual features imply a ring-like structure of radius 240au and thickness 30au. Internal proper motions indicate that the velocity of methanol cloudlets is dominated by a disc-wind component of about 5km/s. The methanol emission detected during only one VLBI observation is located in a region about 550au from a central star, which also exhibits OH maser flares. The erratic appearance of methanol features can be related to a powering object of relatively low luminosity which, during some variability cycles, can excite molecules only in the nearest part of the disc. A careful analysis of the maser and infrared light curves reveal a strong correlation between the 6.7 GHz line and the infrared flux densities supporting a radiative pumping of the maser. The synchronised behaviour of the hydroxyl and methanol transitions indicates a common pumping mechanism for the periodic flares of G107.298+5.639.


title: Performance Evaluation of a Substrate Integrated Waveguide Antenna for Vehicular Networks

abstract: This paper describes the design and evaluation of a Substrate Integrated Waveguide (SIW) antenna operating at 2.4 GHz. This antenna was designed as a possible solution for the implementation of the vehicular networks (VANETs). The main advantages of the SIW antennas, such as their simplicity, small size and low cost, make this kind of antennas particularly suitable for using in wireless nodes where the size is a critical factor. For example, in Vehicular Networks (VANETs) which is one of the most promising wireless communication systems. We present in this paper the design of the SIW antenna using the software ANSYS HFSS as well as the results of the assessment of some parameters like the radiation pattern, operation frequency and bandwidth. Also, we present the simulation of a VANET that include the designed parameters of the SIW antenna in order to evaluate its integration into the vehicular nodes. This simulation was performed in the NS2 simulator and some network performance metrics, like packet delay and the packet loss rate, were evaluated. Other additional software, for example MOVE and SUMO, were also used to generate the routes and the movement of the vehicles


title: Coherence and one-relator products of locally indicable groups

abstract: We extend several results of Helfer, Wise, Louder and Wilton related to coherence in one-relator groups to the more general setting of one-relator products of locally indicable groups. The methods developed to do so also give rise to a new proof of a theorem of Brodsky.


title: Machine learning technique to improve anti-neutrino detection efficiency for the ISMRAN experiment

abstract: The Indian Scintillator Matrix for Reactor Anti-Neutrino detection - ISMRAN experiment aims to detect electron anti-neutrinos ($\bar\nu_e$) emitted from a reactor via inverse beta decay reaction (IBD). The setup, consisting of 1 ton segmented Gadolinium foil wrapped plastic scintillator array, is planned for remote reactor monitoring and sterile neutrino search. The detection of prompt positron and delayed neutron from IBD will provide the signature of $\bar\nu_e$ event in ISMRAN. The number of segments with energy deposit ($\mathrm{N_{bars}}$) and sum total of these deposited energies are used as discriminants for identifying prompt positron event and delayed neutron capture event. However, a simple cut based selection of above variables leads to a low $\bar\nu_e$ signal detection efficiency due to overlapping region of $\mathrm{N_{bars}}$ and sum energy for the prompt and delayed events. Multivariate analysis (MVA) tools, employing variables suitably tuned for discrimination, can be useful in such scenarios. In this work we report the results from an application of artificial neural network -- the multilayer perceptron (MLP), particularly the Bayesian extension -- MLPBNN, to the simulated signal and background events in ISMRAN. The results from application of MLP to classify prompt positron events from delayed neutron capture events on Hydrogen, Gadolinium nuclei and also from the typical reactor $\gamma$-ray and fast neutron backgrounds is reported. An enhanced efficiency of $\sim$91$\%$ with a background rejection of $\sim$73$\%$ for prompt selection and an efficiency of $\sim$89$\%$ with a background rejection of $\sim$71$\%$ for the delayed capture event, is achieved using the MLPBNN classifier for the ISMRAN experiment.


title: Deep Snake for Real-Time Instance Segmentation

abstract: This paper introduces a novel contour-based approach named deep snake for real-time instance segmentation. Unlike some recent methods that directly regress the coordinates of the object boundary points from an image, deep snake uses a neural network to iteratively deform an initial contour to match the object boundary, which implements the classic idea of snake algorithms with a learning-based approach. For structured feature learning on the contour, we propose to use circular convolution in deep snake, which better exploits the cycle-graph structure of a contour compared against generic graph convolution. Based on deep snake, we develop a two-stage pipeline for instance segmentation: initial contour proposal and contour deformation, which can handle errors in object localization. Experiments show that the proposed approach achieves competitive performances on the Cityscapes, KINS, SBD and COCO datasets while being efficient for real-time applications with a speed of 32.3 fps for 512$\times$512 images on a 1080Ti GPU. The code is available at https://github.com/zju3dv/snake/.


title: Efficient Reordered Nonlinear Gauss-Seidel Solvers With Higher Order For Black-Oil Models

abstract: The fully implicit method is the most commonly used approach to solve black-oil problems in reservoir simulation. The method requires repeated linearization of large nonlinear systems and produces ill-condi\-tioned linear systems. We present a strategy to reduce computational time that relies on two key ideas: (\textit{i}) a sequential formulation that decouples flow and transport into separate subproblems, and (\textit{ii}) a highly efficient Gauss--Seidel solver for the transport problems. This solver uses intercell fluxes to reorder the grid cells according to their upstream neighbors, and groups cells that are mutually dependent because of counter-current flow into local clusters. The cells and local clusters can then be solved in sequence, starting from the inflow and moving gradually downstream, since each new cell or local cluster will only depend on upstream neighbors that have already been computed. Altogether, this gives optimal localization and control of the nonlinear solution process. This method has been successfully applied to real-field problems using the standard first-order finite volume discretization. Here, we extend the idea to first-order dG methods on fully unstructured grids. We also demonstrate proof of concept for the reordering idea by applying it to the full simulation model of the Norne oil field, using a prototype variant of the open-source OPM Flow simulator.


title: Solitons supported by intensity-dependent dispersion

abstract: Soliton solutions are studied for paraxial wave propagation with intensity-dependent dispersion. Although the corresponding Lagrangian density has a singularity, analytical solutions, derived by the pseudo-potential method and the corresponding phase diagram, exhibit one- and two-humped solitons with almost perfect agreement to numerical solutions. The results obtained in this work reveal a hitherto unexplored area of soliton physics associated with nonlinear corrections to wave dispersion.


title: Chemistry under EUV Irradiation of H$_2$-CO-N$_2$ Gas Mixtures: Implications for Photochemistry in the Outer CSE of Evolved Stars

abstract: {CircumStellar Envelopes (CSEs) of stars are complex chemical objects for which theoretical models encounter difficulties in elaborating a comprehensive overview of the occurring chemical processes. Along with photodissociation, ion-neutral reactions and dissociative recombination might play an important role in controlling molecular growth in outer CSEs. The aim of this work is to provide experimental insights into pathways of photochemistry-driven molecular growth within outer CSEs to draw a more complete picture of the chemical processes occurring within these molecule-rich environments. A simplified CSE environment was therefore reproduced in the laboratory through gas-phase experiments exposing relevant gas mixtures to an Extreme UltraViolet (EUV) photon source. This photochemical reactor should ultimately allow us to investigate chemical processes and their resulting products occurring under conditions akin to outer CSEs. We used a recently developed EUV lamp coupled to the APSIS photochemical cell to irradiate CSE relevant gas mixtures of H$_2$, CO and N$_2$, at one wavelength, 73.6 nm. The detection and identification of chemical species in the photochemical reactor was achieved through in-situ mass spectrometry analysis of neutral and cationic molecules. We find that exposing CO-N$_2$-H$_2$ gas mixtures to EUV photons at 73.6 nm induces photochemical reactions that yield the formation of complex, neutral and ionic species. Our work shows that N$_2$H$^+$ can be formed through photochemistry along with highly oxygenated ion molecules like HCO$^+$ in CSE environments. We also observe neutral N-rich organic species including triazole and aromatic molecules. These results confirm the suitability of our experimental setting to investigate photochemical reactions and provide fundamental insights into the mechanisms of molecular growth in the outer CSEs.


title: Infrared spectroscopy study of the in-plane response of YBa2Cu3O6.6 in magnetic fields up to 30 Tesla

abstract: With Terahertz and Infrared spectroscopy we studied the in-plane response of an underdoped YBa2Cu3O6.6 single crystal with Tc=58(1) K in high magnetic fields up to B=30 Tesla applied along the c-axis. Our goal was to investigate the field-induced suppression of superconductivity and to observe the signatures of the three dimensional (3d) incommensurate copper charge density wave (Cu-CDW) which was previously shown to develop at such high magnetic fields. Our study confirms that a B-field in excess of 20 Tesla gives rise to a full suppression of the macroscopic response of the superconducting condensate. However, it reveals surprisingly weak signatures of the 3d Cu-CDW at high magnetic fields. At 30 Tesla there is only a weak reduction of the spectral weight of the Drude-response (by about 3%) that is accompanied by an enhancement of two narrow electronic modes around 90 and 240 cm-1, that are interpreted in terms of pinned phase modes of the CDW along the a- and b-direction, respectively, and of the so-called mid-infrared (MIR) band. The pinned phased modes and the MIR band are strong features already without magnetic field which suggests that prominent but short-ranged and slowly fluctuating (compared to the picosecond IR-time scale) CDW correlations exist all along, i.e., even at zero magnetic field.


title: Braid monodromy of univariate fewnomials

abstract: Let $\mathcal{C}_d\subset \mathbb{C}^{d+1}$ be the space of non-singular, univariate polynomials of degree $d$. The Vi\`{e}te map $\mathscr{V} : \mathcal{C}_d \rightarrow Sym_d(\mathbb{C})$ sends a polynomial to its unordered set of roots. It is a classical fact that the induced map $\mathscr{V}_*$ at the level of fundamental groups realises an isomorphism between $\pi_1(\mathcal{C}_d)$ and the Artin braid group $B_d$. For fewnomials, or equivalently for the intersection $\mathcal{C}$ of $\mathcal{C}_d$ with a collection of coordinate hyperplanes in $\mathbb{C}^{d+1}$, the image of the map $\mathscr{V} _* : \pi_1(\mathcal{C}) \rightarrow B_d$ is not known in general. In the present paper, we show that the map $\mathscr{V} _*$ is surjective provided that the support of the corresponding polynomials spans $\mathbb{Z}$ as an affine lattice. If the support spans a strict sublattice of index $b$, we show that the image of $\mathscr{V} _*$ is the expected wreath product of $\mathbb{Z}/b\mathbb{Z}$ with $B_{d/b}$. From these results, we derive an application to the computation of the braid monodromy for collections of univariate polynomials depending on a common set of parameters.


title: On the absence of remainders in the Wiener-Ikehara and Ingham-Karamata theorems: a constructive approach

abstract: We construct explicit counterexamples that show that it is impossible to get any remainder, other than the classical ones, in the Wiener-Ikehara theorem and the Ingham-Karamata theorem under just an additional analytic continuation hypothesis to a half-plane (or even to the whole complex plane).


title: Remarks on input-to-state stability of collocated systems with saturated feedback

abstract: We investigate input-to-state stability (ISS) of infinite-dimensional collocated control systems subject to saturated feedback. Here, the unsaturated closed loop is dissipative and uniformly globally asymptotically stable. Under an additional assumption on the linear system, we show ISS for the saturated one. We discuss the sharpness of the conditions in light of existing results in the literature.


title: Time evolution in quantum systems and stochastics

abstract: The time evolution problem for non-self adjoint second order differential operators is studied by means of the path integral formulation. Explicit computation of the path integral via the use of certain underlying stochastic differential equations, which naturally emerge when computing the path integral, leads to a universal expression for the associated measure regardless of the form of the differential operators. The discrete non-linear hierarchy (DNLS) is then considered and the corresponding hierarchy of solvable, in principle, SDEs is extracted. The first couple members of the hierarchy correspond to the discrete stochastic transport and heat equations. The discrete stochastic Burgers equation is also obtained through the analogue of the Cole-Hopf transformation. The continuum limit is also discussed.


title: Nonasymptotic elastoinertial turbulence for asymptotic drag reduction

abstract: Polymer-induced drag reduction is bounded by an asymptotic limit of maximum drag reduction (MDR). For decades, researchers have presumed that MDR reflects the convergence to an ultimate flow state that is not further changed by polymers. Our simulation shows that, as drag reduction converges to its invariant limit, the underlying dynamics continues to evolve with no sign of convergence. The stage of asymptotic drag reduction is not represented by any single flow state, but encompasses states with varying dynamical patterns, all of which are partially sustained by polymer elasticity.


title: Two-dimensional antiferroelectric tunnel junction

abstract: Ferroelectric tunnel junctions (FTJs), which consist of two metal electrodes separated by a thin ferroelectric barrier, have recently aroused significant interest for technological applications as nanoscale resistive switching devices. So far, most of existing FTJs have been based on perovskite-oxide barrier layers. The recent discovery of the two-dimensional (2D) van der Waals ferroelectric materials opens a new route to realize tunnel junctions with new functionalities and nm-scale dimensions. Due to the weak coupling between the atomic layers in these materials, the relative dipole alignment between them can be controlled by applied voltage. This allows transitions between ferroelectric and antiferroelectric orderings, resulting in significant changes of the electronic structure. Here, we propose to realize 2D antiferroelectric tunnel junctions (AFTJs), which exploit this new functionality, based on bilayer In$_2$X$_3$ (X = S, Se, Te) barriers and different 2D electrodes. Using first-principles density functional theory calculations, we demonstrate that the In$_2$X$_3$ bilayers exhibit stable ferroelectric and antiferroelectric states separated by sizable energy barriers, thus supporting a non-volatile switching between these states. Using quantum-mechanical modeling of the electronic transport, we explore in-plane and out-of-plane tunneling across the In$_2$S$_3$ van der Waals bilayers, and predict giant tunneling electroresistance (TER) effects and multiple non-volatile resistance states driven by ferroelectric-antiferroelectric order transitions. Our proposal opens a new route to realize nanoscale memory devices with ultrahigh storage density using 2D AFTJs.


title: Wirelessly Powered Cell-free IoT: Analysis and Optimization

abstract: In this paper, we propose a wirelessly powered Internet of Things (IoT) system based on the cell-free massive MIMO technology. In such a system, during the downlink phase, the sensors harvest radio-frequency (RF) energy emitted by the distributed access points (APs). During the uplink phase, sensors transmit data to the APs using the harvested energy. Collocated massive MIMO and small-cell IoT can be treated as special cases of cell-free IoT. We derive the tight closed-form lower bound on the amount of harvested energy, and the closed-form expression of SINR as the metrics of power transfer and data transmission, respectively. To improve the energy efficiency, we jointly optimize the uplink and downlink power control coefficients to minimize the total transmit energy consumption while meeting the target SINRs. Extended simulation results show that cell-free IoT outperforms collocated massive MIMO and small-cell IoT both in terms of the per user throughput for uplink, and the amount of energy harvested for downlink. Moreover, significant gains can be achieved by the proposed joint power control in terms of both per user throughput and energy consumption.


title: Housing Investment, Stock Market Participation and Household Portfolio choice: Evidence from China's Urban Areas

abstract: This paper employs the survey data of CHFS (2013) to investigate the impact of housing investment on household stock market participation and portfolio choice. The results show that larger housing investment encourages the household participation in the stock market, but reduces the proportion of their stockholding. The above conclusion remains true even when the endogeneity problem is controlled with risk attitude classification, Heckman model test and subsample regression. This study shows that the growth in the housing market will not lead to stock market development because of lack of household financial literacy and the low expected yield on stock market.


title: Kerr black hole surrounded by a cloud of strings and its weak gravitational lensing in Rastall gravity

abstract: In this paper, an exact solution of Kerr black hole surrounded by a cloud of strings in Rastall gravity is obtained by Newman-Janis algorithm without complexification, and the influence of the string parameter $a_0$ on the black hole thermodynamics is studied. Furthermore, according to this black hole solution, we investigate the effect of a cloud of strings on gravitational deflection of massive particles. For a receiver and a source at infinite distance from the lens object, we use an osculating Riemannian manifold method. While the distance is finite, we apply the generalized Jacobi metric method. For the case between the two situations, the Jacobi-Maupertuis Randers-Finsler metric and Gauss-Bonnet theorem are employed. We find that the string parameter $a_0$ has obviously modification on the gravitational deflection of massive particles. Our result is reduced to the deflection angle of light by Kerr black hole surrounded by a cloud of strings in general relativity.


title: Monitoring of the radio galaxy M87 during a low emission state from 2012 to 2015 with MAGIC

abstract: M87 is one of the closest (z=0.00436) extragalactic sources emitting at very-high-energies (VHE, E > 100 GeV). The aim of this work is to locate the region of the VHE gamma-ray emission and to describe the observed broadband spectral energy distribution (SED) during the low VHE gamma-ray state. The data from M87 collected between 2012 and 2015 as part of a MAGIC monitoring programme are analysed and combined with multi-wavelength data from Fermi-LAT, Chandra, HST, EVN, VLBA and the Liverpool Telescope. The averaged VHE gamma-ray spectrum can be fitted from 100GeV to 10TeV with a simple power law with a photon index of (-2.41 $\pm$ 0.07), while the integral flux above 300GeV is $(1.44 \pm 0.13) \times 10^{-12} cm^{-2} s^{-1}$. During the campaign between 2012 and 2015, M87 is generally found in a low emission state at all observed wavelengths. The VHE gamma-ray flux from the present 2012-2015 M87 campaign is consistent with a constant flux with some hint of variability ($\sim3\sigma$) on a daily timescale in 2013. The low-state gamma-ray emission likely originates from the same region as the flare-state emission. Given the broadband SED, both a leptonic synchrotron self Compton and a hybrid photo-hadronic model reproduce the available data well, even if the latter is preferred. We note, however, that the energy stored in the magnetic field in the leptonic scenario is very low suggesting a matter dominated emission region.


title: Compressed Super-Resolution I: Maximal Rank Sum-of-Squares

abstract: Let $\mu(t) = \sum_{\tau\in S} \alpha_\tau \delta(t-\tau)$ denote an $|S|$-atomic measure defined on $[0,1]$, satisfying $\min_{\tau\neq \tau'}|\tau - \tau'|\geq |S|\cdot n^{-1}$. Let $\eta(\theta) = \sum_{\tau\in S} a_\tau D_n(\theta - \tau) + b_\tau D'_n(\theta - \tau)$, denote the polynomial obtained from the Dirichlet kernel $D_n(\theta) = \frac{1}{n+1}\sum_{|k|\leq n} e^{2\pi i k \theta}$ and its derivative by solving the system $\left\{\eta(\tau) = 1, \eta'(\tau) = 0,\; \forall \tau \in S\right\}$. We provide evidence that for sufficiently large $n$, $\Delta> |S|^2 n^{-1}$, the non negative polynomial $1 - |\eta(\theta)|^2$ which vanishes at the atoms $\tau \in S$, and is bounded by $1$ everywhere else on the $[0,1]$ interval, can be written as a sum-of-squares with associated Gram matrix of rank $n-|S|$. Unlike previous work, our approach does not rely on the Fejer-Riesz Theorem, which prevents developing intuition on the Gram matrix, but requires instead a lower bound on the singular values of a (truncated) large ($O(1e10)$) matrix. Despite the memory requirements which currently prevent dealing with such a matrix efficiently, we show how such lower bounds can be derived through Power iterations and convolutions with special functions for sizes up to $O(1e7)$. We also provide numerical simulations suggesting that the spectrum remains approximately constant with the truncation size as soon as this size is larger than $100$.


title: Functional separation of variables in nonlinear PDEs: General approach, new solutions of diffusion-type equations

abstract: The study gives a brief overview of existing modifications of the method of functional separation of variables for nonlinear PDEs. It proposes a more general approach to the construction of exact solutions to nonlinear equations of applied mathematics and mathematical physics, based on a special transformation with an integral term and the generalized splitting principle. The effectiveness of this approach is illustrated by nonlinear diffusion-type equations that contain reaction and convective terms with variable coefficients. The focus is on equations of a fairly general form that depend on one, two or three arbitrary functions (such nonlinear PDEs are most difficult to analyze and find exact solutions). A number of new functional separable solutions and generalized traveling wave solutions are described (more than 30 exact solutions have been presented in total). It is shown that the method of functional separation of variables can, in certain cases, be more effective than (i) the nonclassical method of symmetry reductions based on an invariant surface condition, and (ii) the method of differential constraints based on a single differential constraint. The exact solutions obtained can be used to test various numerical and approximate analytical methods of mathematical physics and mechanics.


title: The Optimal Dynamic Reinsurance Strategies in Multidimensional Portfolio

abstract: The present paper addresses the issue of choosing an optimal dynamic reinsurance policy, which is state-dependent, for an insurance company that operates under multiple insurance business lines. The optimal survival function is characterized as the unique nondecreasing viscosity solution of the associated Hamilton-Jacobi-Bellman equation (HJB) equation with limit one at infinity. The finite difference method (FDM) has been utilized for the numerical solution of the optimal survival function and optimal dynamic reinsurance strategies and the proof for the convergence of the numerical solution to the survival probability function is provided.


title: Are skip connections necessary for biologically plausible learning rules?

abstract: Backpropagation is the workhorse of deep learning, however, several other biologically-motivated learning rules have been introduced, such as random feedback alignment and difference target propagation. None of these methods have produced a competitive performance against backpropagation. In this paper, we show that biologically-motivated learning rules with skip connections between intermediate layers can perform as well as backpropagation on the MNIST dataset and are robust to various sets of hyper-parameters.


title: Theoretical investigation of the bow shock location for the solar wind interacting with the unmagnetized planet

abstract: Martian bow shocks, the solar wind interacting with an unmagnetized planet, are studied. We theoretically investigated how solar parameters, such as the solar wind dynamic pressure and the solar extreme ultraviolet (EUV) flux, influence the bow shock location, which is still currently not well understood. We present the formula for the location of the bow shock nose of the unmagnetized planet. The bow shock location, the sum of the ionopause location and bow shock standoff distance, is calculated in the gasdynamics approach. The ionopause location is determined using thermal pressure continuity, i.e., the solar wind thermal pressure equal to the ionospheric pressure, according to tangential discontinuity. The analytical formula of the ionopause nose location and the ionopause profile around the nose are obtained. The standoff distance is calculated using the empirical model. Our derived formula shows that the shock nose location is a function of the scale height of ionosphere, the dynamic pressure of the solar wind and the peak ionospheric pressure. The theoretical model implies that the shock nose location is more sensitive to the solar EUV flux than solar wind dynamics pressure. Further, we theoretically show that the bow shock location is proportional to the solar wind dynamic pressure to the power of negative C, where C is about the ratio of the ionospheric scale height to the distance between bow shock nose and the planet center. This theory matches the gasdynamics simulation and is consistent with the spacecraft measurement result by Mars Express [Hall, et al. (2016) J. Geophys. Res. Space Physics, 121, 11,474-11,494].


title: Superfield realization of hidden $R$-symmetry in extended supersymmetric gauge theories and its applications

abstract: We present the explicit superfield realizations of the hidden $SU(4)$ and $O(5)$ $R$-symmetries in $4D, {\cal N}=4$ and $5D, {\cal N}=2$ supersymmetric Yang-Mills theories in the harmonic superspace approach. The $R$-symmetry transformations are constructed and their algebraic structure is studied. It is shown that such transformations are consistent with both manifest and hidden supersymmetry transformations. These symmetries can serve as an alternative tool for constructing the relevant complete low-energy superfield effective actions determined earlier from the hidden supersymmetry considerations.


title: About one inverse problem for a Hill's equation with double eigenvalues

abstract: In this paper, we establish necessary and sufficient conditions for the doubleness all of the eigenvalues, except the lowest, periodic and anti-periodic problems for Hill's equation in terms of the complex-valued potential $q(x)$.


title: Atomic-scale defects in the two-dimensional ferromagnet CrI$_3$ from first principles

abstract: The family of atomically thin magnets holds great promise for a number of prospective applications in magneto-optoelectronics, with CrI$_3$ arguably being its most prototypical member. However, the formation of defects in this system remains unexplored to date. Here, we investigate native point defects in monolayer CrI$_3$ by means of first-principles calculations. We consider a large set of intrinsic impurities and address their atomic structure, thermodynamic stability, diffusion and aggregation tendencies as well as local magnetic moments. Under thermodynamic equilibrium, the most stable defects are found to be either Cr or I atomic vacancies along with their complexes, depending on the chemical potential conditions. These defects are predicted to be quite mobile at room temperature and to exhibit a strong tendency to agglomerate. In addition, our calculations indicate that the defect-induced deviation from the nominal stoichiometry largely impacts the local magnetic moments, thereby suggesting a marked interplay between magnetism and disorder in CrI$_3$. Overall, this work portrays a comprehensive picture of intrinsic point defects in monolayer CrI$_3$ from a theoretical perspective.


title: Global existence of finite energy weak solutions to the Quantum Navier-Stokes equations with non-trivial far-field behavior

abstract: We prove global existence of finite energy weak solutions to the quantum Navier-Stokes equations in the whole space with non trivial far-field condition in dimensions d = 2,3. The vacuum regions are included in the weak formulation of the equations. Our method consists in an invading domains approach. More precisely, by using a suitable truncation argument we construct a sequence of approximate solutions. The energy and the BD entropy bounds allow for the passage to the limit in the truncated formulation leading to a finite energy weak solution. Moreover, the result is also valid in the case of compressible Navier-Stokes equations with degenerate viscosity.