title: Using machine learning to reduce ensembles of geological models for oil and gas exploration

abstract: Exploration using borehole drilling is a key activity in determining the most appropriate locations for the petroleum industry to develop oil fields. However, estimating the amount of Oil In Place (OIP) relies on computing with a very significant number of geological models, which, due to the ever increasing capability to capture and refine data, is becoming infeasible. As such, data reduction techniques are required to reduce this set down to a smaller, yet still fully representative ensemble. In this paper we explore different approaches to identifying the key grouping of models, based on their most important features, and then using this information select a reduced set which we can be confident fully represent the overall model space. The result of this work is an approach which enables us to describe the entire state space using only 0.5\% of the models, along with a series of lessons learnt. The techniques that we describe are not only applicable to oil and gas exploration, but also more generally to the HPC community as we are forced to work with reduced data-sets due to the rapid increase in data collection capability.


title: The NVIDIA PilotNet Experiments

abstract: Four years ago, an experimental system known as PilotNet became the first NVIDIA system to steer an autonomous car along a roadway. This system represents a departure from the classical approach for self-driving in which the process is manually decomposed into a series of modules, each performing a different task. In PilotNet, on the other hand, a single deep neural network (DNN) takes pixels as input and produces a desired vehicle trajectory as output; there are no distinct internal modules connected by human-designed interfaces. We believe that handcrafted interfaces ultimately limit performance by restricting information flow through the system and that a learned approach, in combination with other artificial intelligence systems that add redundancy, will lead to better overall performing systems. We continue to conduct research toward that goal. This document describes the PilotNet lane-keeping effort, carried out over the past five years by our NVIDIA PilotNet group in Holmdel, New Jersey. Here we present a snapshot of system status in mid-2020 and highlight some of the work done by the PilotNet group.


title: Active Testing: An Unbiased Evaluation Method for Distantly Supervised Relation Extraction

abstract: Distant supervision has been a widely used method for neural relation extraction for its convenience of automatically labeling datasets. However, existing works on distantly supervised relation extraction suffer from the low quality of test set, which leads to considerable biased performance evaluation. These biases not only result in unfair evaluations but also mislead the optimization of neural relation extraction. To mitigate this problem, we propose a novel evaluation method named active testing through utilizing both the noisy test set and a few manual annotations. Experiments on a widely used benchmark show that our proposed approach can yield approximately unbiased evaluations for distantly supervised relation extractors.


title: Modeling electrochemical systems with weakly imposed Dirichlet boundary conditions

abstract: Finite element modeling of charged species transport has enabled analysis, design, and optimization of a diverse array of electrochemical and electrokinetic devices. These systems are represented by the Poisson-Nernst-Planck equations coupled with the Navier-Stokes equation, with a key quantity of interest being the current at the system boundaries. Accurately computing the current flux is challenging due to the small critical dimension of the boundary layers (small Debye layer) that require fine mesh resolution at the boundaries. We resolve this challenge by using the Dirichlet-to-Neumanntransformation to weakly impose the Dirichlet conditions for the Poisson-Nernst-Planck equations. The results obtained with weakly imposed Dirichlet boundary conditions showed excellent agreement with those obtained when conventional boundary conditions with highly resolved mesh we reemployed. Furthermore, the calculated current flux showed faster mesh convergence using weakly imposed conditions compared to the conventionally imposed Dirichlet boundary conditions. We illustrate the approach on canonical 3D problems that otherwise would have been computationally intractable to solve accurately. This approach substantially reduces the computational cost of model-ing electrochemical systems.


title: The origin of exchange bias in multigranular non-collinear IrMn$_3$/CoFe thin films

abstract: Antiferromagnetic spintronic devices have the potential to outperform conventional ferromagnetic devices due to their ultrafast dynamics and high data density. A challenge in designing these devices is the control and detection of the orientation of the anti-ferromagnet. One of the most promising ways to achieve this is through the exchange bias effect. This is of particular importance in large scale multigranular devices. Due to the large system sizes, previously, only micromagnetic simulations have been possible, these have an assumed distribution of antiferromagnetic anisotropy directions. Here, we use an atomistic model where the distribution of antiferromagnetic anisotropy directions occurs naturally and the exchange bias occurs due to the intrinsic disorder in the antiferromagnet. We perform large scale simulations, generating realistic values of exchange bias. We find a strong temperature dependance of the exchange bias, which approaches zero at the blocking temperature while the coercivity has a peak at the blocking temeprature due to the superparamagnetic flipping of the antiferromagnet during the hysteresis loop. We find a large discrepancy between the exchange bias predicted from a geometric model of the antiferromagnetic interface indicating the importance of grain edge effects in multigranular exchange biased systems. The grain size dependence shows the expected peak due to a competition between the superparamagnetic nature of small grains and reduction in the statistical imbalance in the number of interfacial spins for larger grain sizes. Our simulations confirm the existence of single antiferromagnetic domains within each grain. The model gives insights into the physical origin of exchange bias and provides a route to developing optimised nanoscale antiferromagnetic spintronic devices.


title: Dependency of XC functionals and role of 3s(2p) orbitals of Co(Si) as core/valence states on the vibrational and thermodynamic properties of CoSi

abstract: First-principles phonon calculations along with density functional theory (DFT) play an important role to study the dynamical and thermal properties of materials. Here, we investigate the effect of exchange correlation (XC) functionals on the vibrational and thermodynamic properties of CoSi. The role of 3s(2p) orbitals of Co(Si) as core/valence states on the phonon properties of this compound is also studied. Phonon calculations are carried out by finite displacement method with supercell approach using equilibrium crystal structures obtained from DFT calculations. The calculated results are compared with the existing experiment. Three XC functionals, viz., LDA, PBEsol and SCAN are used for calculating the phonon dispersion, phonon density of states (DOS)/partial DOS and thermal properties of this compound. SCAN is found to give the highest phonon frequency of $\sim$56 meV which is in good agreement with the experimental value, while LDA (PBEsol) gives $\sim$54 ($\sim$55) meV. The zero-point energy is calculated as $\sim$ 10 kJ/mol for all the functionals. The Debye temperatures ($\Theta_{D}$) are computed as $\sim$626 K, $\sim$638 K and $\sim$650 K for LDA, PBEsol and SCAN, respectively. The $\Theta_{D}$ obtained from LDA gives the good agreement with the reported value. The phonon dispersion and phonon DOS are found to be dependent whether 3s(2p) orbitals of Co(Si) are considered as core or valence states. But, this orbital dependency is seemed to be insignificant on the thermal properties of this compound.


title: iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?

abstract: The vertex-centric programming model, designed to improve the programmability in graph processing application writing, has attracted great attention over the years. However, shared memory frameworks that implement the vertex-centric interface all expose a common tradeoff: programmability against memory efficiency and performance. Our approach, iPregel, preserves vertex-centric programmability, while implementing optimisations for performance, and designing these so they are transparent to a user's application code, hence not impacting programmability. In this paper, we evaluate iPregel against FemtoGraph, whose characteristics are identical, an asynchronous counterpart GraphChi and the vertex-subset-centric framework Ligra. Our experiments include three of the most popular vertex-centric benchmark applications over 4 real-world publicly accessible graphs, which cover orders of magnitude between a million to a billion edges, measuring execution time and peak memory usage. Finally, we evaluate the programmability of each framework by comparing against Google's original Pregel framework. Experiments demonstrate that iPregel, like FemtoGraph, does not sacrifice vertex-centric programmability for additional performance and memory efficiency optimisations, which contrasts against GraphChi and Ligra. Sacrificing vertex-centric programmability allowed the latter to benefit from substantial performance and memory efficiency gains. We demonstrate that iPregel is up to 2300 times faster than FemtoGraph, as well as generating a memory footprint up to 100 times smaller. Ligra and GraphChi are up to 17000 and 700 times faster than FemtoGraph but, when comparing against iPregel, this maximum speed-up drops to 10. Furthermore, with PageRank, iPregel is the fastest overall. For memory efficiency, iPregel provides the same memory efficiency as Ligra and 3 to 6 times lighter than GraphChi on average.


title: Sub-second time evolution of Type III solar radio burst sources at fundamental and harmonic frequencies

abstract: Recent developments in astronomical radio telescopes opened new opportunities in imaging and spectroscopy of solar radio bursts at sub-second timescales. Imaging in narrow frequency bands has revealed temporal variations in the positions and source sizes that do not fit into the standard picture of type III solar radio bursts, and require a better understanding of radio-wave transport. In this paper, we utilise 3D Monte Carlo ray-tracing simulations that account for the anisotropic density turbulence in the inhomogeneous solar corona to quantitatively explain the image dynamics at the fundamental (near plasma frequency) and harmonic (double) plasma emissions observed at \sim 32~MHz. Comparing the simulations with observations, we find that anisotropic scattering from an instantaneous emission point source can account for the observed time profiles, centroid locations, and source sizes of the fundamental component of type III radio bursts (generated where f_{pe} \approx 32~MHz). The best agreement with observations is achieved when the ratio of the perpendicular to the parallel component of the wave vector of anisotropic density turbulence is around 0.25. Harmonic emission sources observed at the same frequency (\sim 32~MHz, but generated where f_{pe} \approx 16~MHz) have apparent sizes comparable to those produced by the fundamental emission, but demonstrate a much slower temporal evolution. The simulations of radio-wave propagation make it possible to quantitatively explain the variations of apparent source sizes and positions at sub-second time-scales both for the fundamental and harmonic emissions, and can be used as a diagnostic tool for the plasma turbulence in the upper corona.


title: Kerr-type nonlinear optical isolators bypassing dynamic reciprocity

abstract: Magnetic-free optical isolators are critical components for the realization of integrated optical systems. The underlying physics of passive nonlinear optical isolators is not solely about breaking the Lorentz reciprocity without requiring any external bias. Indeed, one major obstacle to the operation of Kerr-type nonlinear optical isolators was found to be the so-called dynamic reciprocity, of which the serious outcome is that a backward signal cannot be isolated in the presence of a forward strong signal. In this work, we advocate the novel concept of velocity-selective nonlinearity to bypass such dynamic reciprocity. Using a proof-of-principle platform with warm rubidium atoms in an asymmetric cavity, we experimentally achieve the isolation of a backward signal in the presence of a strong forward signal, with experimental observations in agreement with our theoretical simulations. This work has thus made one essential step towards functioning Kerr-type passive optical isolators.


title: DIFER: Differentiable Automated Feature Engineering

abstract: Feature engineering, a crucial step of machine learning, aims to extract useful features from raw data to improve data quality. In recent years, great efforts have been devoted to Automated Feature Engineering (AutoFE) to replace expensive human labor. However, existing methods are computationally demanding due to treating AutoFE as a coarse-grained black-box optimization problem over a discrete space. In this work, we propose an efficient gradient-based method called DIFER to perform differentiable automated feature engineering in a continuous vector space. DIFER selects potential features based on evolutionary algorithm and leverages an encoder-predictor-decoder controller to optimize existing features. We map features into the continuous vector space via the encoder, optimize the embedding along the gradient direction induced by the predicted score, and recover better features from the optimized embedding by the decoder. Extensive experiments on classification and regression datasets demonstrate that DIFER can significantly improve the performance of various machine learning algorithms and outperform current state-of-the-art AutoFE methods in terms of both efficiency and performance.


title: Adaptive optical focusing through perturbed scattering media with dynamic mutation algorithm

abstract: Optical focusing through/inside scattering media, like multimode fiber and biological tissues, has significant impact in biomedicine yet considered challenging due to strong scattering nature of light. Previously, promising progress has been made, benefiting from the iterative optical wavefront shaping, with which deep-tissue high-resolution optical focusing becomes possible. Most of iterative algorithms can overcome noise perturbations but fail to effectively adapt beyond the noise, e.g. sudden strong perturbations. Re-optimizations are usually needed for significant decorrelated medium since these algorithms heavily rely on the optimization in the previous iterations. Such ineffectiveness is probably due to the absence of a metric that can gauge the deviation of the instant wavefront from the optimum compensation based on the concurrently measured optical focusing. In this study, a square rule of binary-amplitude modulation, directly relating the measured focusing performance with the error in the optimized wavefront, is theoretically proved and experimentally validated. With this simple rule, it is feasible to quantify how many pixels on the spatial light modulator incorrectly modulate the wavefront for the instant status of the medium or the whole system. As an example of application, we propose a novel algorithm, dynamic mutation algorithm, with high adaptability against perturbations by probing how far the optimization has gone toward the theoretically optimum. The diminished focus of scattered light can be effectively recovered when perturbations to the medium cause significant drop of the focusing performance, which no existing algorithms can achieve due to their inherent strong dependence on previous optimizations. With further improvement, this study may boost or inspire many applications, like high-resolution imaging and stimulation, in instable scattering environments.


title: Extracting Galaxy Merger Timescales II: A new fitting formula

abstract: Predicting the merger timescale ($\tau_{\rm merge}$) of merging dark matter halos, based on their orbital parameters and the structural properties of their hosts, is a fundamental problem in gravitational dynamics that has important consequences for our understanding of cosmological structure formation and galaxy formation. Previous models predicting $\tau_{\rm merge}$ have shown varying degrees of success when compared to the results of cosmological $N$-body simulations. We build on this previous work and propose a new model for $\tau_{\rm merge}$ that draws on insights derived from these simulations. We find that published predictions can provide reasonable estimates for $\tau_{\rm merge}$ based on orbital properties at infall, but tend to underpredict $\tau_{\rm merge}$ inside the host virial radius ($R_{200}$) because tidal stripping is neglected, and overpredict it outside $R_{200}$ because the host mass is underestimated. Furthermore, we find that models that account for orbital angular momentum via the circular radius $R_{\rm circ}$ underpredict (overpredict) $\tau_{\rm merge}$ for bound (unbound) systems. By fitting for the dependence of $\tau_{\rm merge}$ on various orbital and host halo properties,we derive an improved model for $\tau_{\rm merge}$ that can be applied to a merging halo at any point in its orbit. Finally, we discuss briefly the implications of our new model for $\tau_{\rm merge}$ for semi-analytical galaxy formation modelling.


title: Microscopical justification of Solid-State Wetting and Dewetting

abstract: The continuum model related to the Winterbottom problem, i.e., the problem of determining the equilibrium shape of crystalline drops resting on a substrate, is derived in dimension two by means of a rigorous discrete-to-continuum passage by $\Gamma$-convergence of atomistic models taking into consideration the atomic interactions of the drop particles both among themselves and with the fixed substrate atoms. As a byproduct of the analysis effective expressions for the drop surface anisotropy and the drop/substrate adhesion parameter appearing in the continuum model are characterized in terms of the atomistic potentials, which are chosen of Heitmann-Radin sticky-disc type. Furthermore, a threshold condition only depending on such potentials is determined distinguishing the wetting regime, where discrete minimizers are explicitly characterized as configurations contained in a layer with a one-atom thickness, i.e., the wetting layer, on the substrate, from the dewetting regime. In the latter regime, also in view of a proven conservation of mass in the limit as the number of atoms tends to infinity, proper scalings of the minimizers of the atomistic models converge (up to extracting a subsequence and performing translations on the substrate surface) to a bounded minimizer of the Winterbottom continuum model satisfying the volume constraint.


title: Discovering Pattern Structure Using Differentiable Compositing

abstract: Patterns, which are collections of elements arranged in regular or near-regular arrangements, are an important graphic art form and widely used due to their elegant simplicity and aesthetic appeal. When a pattern is encoded as a flat image without the underlying structure, manually editing the pattern is tedious and challenging as one has to both preserve the individual element shapes and their original relative arrangements. State-of-the-art deep learning frameworks that operate at the pixel level are unsuitable for manipulating such patterns. Specifically, these methods can easily disturb the shapes of the individual elements or their arrangement, and thus fail to preserve the latent structures of the input patterns. We present a novel differentiable compositing operator using pattern elements and use it to discover structures, in the form of a layered representation of graphical objects, directly from raw pattern images. This operator allows us to adapt current deep learning based image methods to effectively handle patterns. We evaluate our method on a range of patterns and demonstrate superiority in the context of pattern manipulations when compared against state-of-the-art


title: Arbitrarily high-order exponential cut-off methods for preserving maximum principle of parabolic equations

abstract: A new class of high-order maximum principle preserving numerical methods is proposed for solving parabolic equations, with application to the semilinear Allen--Cahn equation. The proposed method consists of a $k$th-order multistep exponential integrator in time, and a lumped mass finite element method in space with piecewise $r$th-order polynomials and Gauss--Lobatto quadrature. At every time level, the extra values violating the maximum principle are eliminated at the finite element nodal points by a cut-off operation. The remaining values at the nodal points satisfy the maximum principle and are proved to be convergent with an error bound of $O(\tau^k+h^r)$. The accuracy can be made arbitrarily high-order by choosing large $k$ and $r$. Extensive numerical results are provided to illustrate the accuracy of the proposed method and the effectiveness in capturing the pattern of phase-field problems.


title: Averaging Principles for Markovian Models of Plasticity

abstract: Mathematical models of biological neural networks are associated to a rich and complex class of stochastic processes. In this paper, we consider a simple {\em plastic} neural network whose {\em connectivity/synaptic strength} $(W(t))$ depends on a set of activity-dependent processes to model {\em synaptic plasticity}, a well-studied mechanism from neuroscience. A general class of stochastic models has been introduced in \cite{robert_mathematical_2020} to study the stochastic process $(W(t))$. It has been observed experimentally that its dynamics occur on much slower timescale than that of the main cellular processes. The purpose of this paper is to establish limit theorems for the distribution of $(W(t))$ with respect to the fast timescale of neuronal processes. The central result of the paper is an averaging principle for the stochastic process $(W(t))$. Mathematically, the key variable is the point process whose jumps occur at the instants of neuronal spikes. A thorough analysis of several of its unbounded additive functionals is achieved in the slow-fast limit. Additionally, technical results on interacting shot-noise processes are developed and used in the general proof of the averaging principle.


title: Remarks on Shelah's classification theory and Quillen's negation

abstract: We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain morphisms associated with linear orders, in a certain category extending the categories of topological spaces and of simplicial sets. This suggests an approach to a homotopy theory for model theory.


title: An X-ray View of Two Infrared Dark Clouds G034.43+00.24 and G035.39-00.33

abstract: We present a high spatial resolution Chandra X-ray study of two Infrared Dark Clouds (IRDCs), G034.43+00.24 and G035.39-00.33, which are expected to be in the early phases of star cluster formation. We detect 112 and 209 valid X-ray point sources towards G034.43+00.24 and G035.39-00.33, respectively. We cross-match the X-ray point sources with 2MASS, GLIMPSE and WISE catalogs and find 53% and 59% of the X-ray sources in G034.43+00.24 and in G035.39-00.33 have corresponding infrared counterparts, respectively. These sources are probable members of young massive clusters in formation, and using stellar isochrones we estimate that a population of 1--2 Myr old, intermediate to high mass young stellar objects (YSOs) exist in both IRDCs. Two and ten Class II counterparts to X-ray sources were identified in G034.43+00.24 and in G035.39-00.33, respectively, which are located in or near dark filaments. The X-ray Luminosity Function (XLF) of G035.39-00.33 implies that the total mass consists of up to $\sim1,700\:M_\odot$ of stars, using the XLF of the well-studied Orion Nebula Cluster as calibrator. This corresponds to a star formation efficiency of at most 5%, indicating the system is still very much gas dominated and in an early stage of the star formation process. The population of G034.43+00.24 is less well determined due to the lower sensitivity of its observations.


title: Threats and Corrective Measures for IoT Security with Observance of Cybercrime: A Survey

abstract: Internet of Things (IoT) is the utmost assuring framework to facilitate human life with quality and comfort. IoT has contributed significantly to numerous application areas. The stormy expansion of smart devices and their credence for data transfer using wireless mechanics boosts their susceptibility to cyber-attacks. Consequently, the rate of cybercrime is increasing day by day. Hence, the study of IoT security threats and possible corrective measures can benefit the researchers to identify appropriate solutions to deal with various challenges in cybercrime investigation. IoT forensics plays a vital role in cybercrime investigations. This review paper presents an overview of the IoT framework consisting of IoT architecture, protocols, and technologies. Various security issues at each layer and corrective measures are also discussed in detail. This paper also presents the role of IoT forensics in cybercrime investigation in various domains like smart homes, smart cities, automated vehicles, healthcare, etc. Along with the role of advanced technologies like Artificial Intelligence, Machine Learning, Cloud computing, Edge computing, Fog computing, and Blockchain technology in cybercrime investigation are also discussed. At last, various open research challenges in IoT to assist cybercrime investigation are explained, which provide a new direction for further research.


title: About Robustness of Control Systems Embedding an Internal Model

abstract: Robustness is a basic property of any control system. In the context of linear output regulation, it was proved that embedding an internal model of the exogenous signals is necessary and sufficient to achieve tracking of the desired reference signals in spite of external disturbances and parametric uncertainties. This result is commonly known as "internal model principle". A complete extension of such linear result to general nonlinear systems is still an open problem, which is exacerbated by the large number of alternative definitions of uncertainty and desired control goals that are possible in a nonlinear setting. In this paper, we develop a general framework in which all these different notions can be formally characterized in a unifying way. Classical results are reinterpreted in the proposed setting, and new results and insights are presented with a focus on robust rejection/tracking of arbitrary harmonic content. Moreover, we show by counter-example that, in the relevant case of continuous unstructured uncertainties, there are problems for which no smooth finite-dimensional robust regulator exists ensuring exact regulation.


title: A note on transitive union-closed families

abstract: We show that the Union-Closed Conjecture holds for the union-closed family generated by the cyclic translates of any fixed set.


title: Effect of different monomer precursors with identical functionality on the properties of the polymer network

abstract: Thermo-mechanical properties of polymer networks depend on functionality of the monomer precursors -- an association that is frequently exploited in materials science. We use molecular simulations to generate spatial networks from chemically different monomers with identical functionality and show that such networks have several universal graph-theoretical properties as well as near universal Young's modulus. The vitrification temperature is shown to be universal only up to a certain density of the network, as measured by the bond conversion. The latter observation is explained by the fact that monomer's tendency to coil enhances formation of topological holes, which, when accumulated in the network, amount to a percolating cell complex restricting network's mobility. This higher-order percolation occurs late after gelation and is shown to coincide with the onset of brittleness, as indicated by a sudden increase in the glass transition temperature. This phenomenon may signify a new type of phase transition in polymer materials.


title: A Combined Source Integral Equation with Weak Form Combined Source Condition

abstract: A combined source integral equation (CSIE) is constructed on the basis of the electric field integral equation (EFIE) to solve electromagnetic radiation and scattering problems containing perfect electrically conducting bodies. It is discretized with Rao-Wilton-Glisson basis functions only, for both electric and magnetic surface current densities. The combined source condition, which ensures the uniqueness of the solution and circumvents the interior resonance problem, is implemented as a weak form side condition. Compared to the common combined field integral equation, the proposed CSIE shows superior accuracy for sharp edges as well as structures with the interior resonance problem. Furthermore, the iterative solver convergence of the CSIE is faster than for the EFIE, which shows about the same accuracy as the CSIE. Results of numerical scattering simulations are presented to demonstrate the accuracy of the presented CSIE.


title: Strict comparison for the Lyapunov exponents of the simple random walk in random potentials

abstract: We consider the simple random walk in i.i.d. nonnegative potentials on the $d$-dimensional cubic lattice $\mathbb{Z}^d$ ($d \geq 1$). In this model, the so-called Lyapunov exponent describes the cost of traveling for the simple random walk in the potential. The Lyapunov exponent depends on the distribution function of the potential, and the aim of this article is to prove that the Lyapunov exponent is strictly monotone in the distribution function of the potential with the order according to strict dominance. Furthermore, the comparison for the Lyapunov exponent also provides that for the rate function of this model.


title: Solid shell prism elements based on hierarchical, heterogeneous, and anisotropic shape functions

abstract: The formulation of a new prism finite element is presented for the nonlinear analysis of solid shells subject to large strains and large displacements. The element is based on hierarchical, heterogeneous, and anisotropic shape functions. As with other solid shell formulations, only displacement degrees of freedom are required to describe the shell kinematics and general three-dimensional material laws can be adopted. However, the novelty of this formulation is the ability to capture complex shell behaviour and avoid locking phenomena, without the need to use reduced integration or adopt additional natural strain or enhanced strain fields. Thus, this element is ideally suited for geometrically and physically nonlinear problems. This is achieved by constructing independent approximation shape functions on both the prism element's triangular faces and through the thickness, where the latter is associated with a local coordinate system that convects with deformation of the shell. The element is extremely efficient, with the hierarchical property lending itself to an efficient and highly scalable multigrid solver, and the heterogeneity property enables local p-adaptivity. The paper demonstrates performance of the element for a number of linear and geometrically nonlinear problems, benchmarked against well established problems in the literature. The formulation has been implemented in the MoFEM.


title: Directed Variational Cross-encoder Network for Few-shot Multi-image Co-segmentation

abstract: In this paper, we propose a novel framework for multi-image co-segmentation using class agnostic meta-learning strategy by generalizing to new classes given only a small number of training samples for each new class. We have developed a novel encoder-decoder network termed as DVICE (Directed Variational Inference Cross Encoder), which learns a continuous embedding space to ensure better similarity learning. We employ a combination of the proposed DVICE network and a novel few-shot learning approach to tackle the small sample size problem encountered in co-segmentation with small datasets like iCoseg and MSRC. Furthermore, the proposed framework does not use any semantic class labels and is entirely class agnostic. Through exhaustive experimentation over multiple datasets using only a small volume of training data, we have demonstrated that our approach outperforms all existing state-of-the-art techniques.


title: A new phenomenon in graphene: The pseudospinorial Zitterbewegung

abstract: We foretell a new pseudospin-dependent phenomenon in mono-layer graphene (MLG), which is numerically simulated \emph{via} an innovator nano-spintronic device. We proposed a novel theoretical procedure for describing the dynamics of Dirac fermions, departing from classic theoretical modelling. More importantly, we have found appealing evidences of wiggling anti-phase oscillations in the probability density time-distribution for each sub-lattice state, which we called pseudospinorial Zitterbewegung effect (PZBE). The PZBE undergoes modulated by a robust transient character, with decay time of femtoseconds. Interestingly, several features of the PZBE become tunable, even up to fully vanishing it at the vicinity of the Dirac points, as well as for a symmetric pseudospin configuration. We have observed evidences of perfect Klein tunneling and perfect anti-Klein backscattering in a single simulation, which is unprecedented for Q1D-MLG, as far as we know.


title: Modeling Support for Domain-Specific Application Definition

abstract: In this paper we present the modeling support infrastructure for domain-specific application definition. This consists of a set of meta-models and the associated generators to allow the definition of reusable and domain-specific behavior blocks, which can later be used to compose complex behaviors. In addition we also present the related visual languages that facilitate the creation of these models.


title: Time-Energy Uncertainty Limit for spin-related wavepacket evolution

abstract: In this report we study the quantum transport of charge carriers for low dimensional systems with spin-orbit coupling by means of Heisenberg's inequalities. To develop our analysis, an accurate \emph{gendanken} experiment was carefully put together, mainly based on the spin-field effect transistor phenomenology and taking into account several wide accepted approaches on quantum mechanical limited determinism. While verifying the applicability of time-energy uncertainty relation (TEUR) during electronic wavepacket's evolution through a semiconductor quantum wire, some qualitative information related the dynamic behavior of the system is found. The problem is also approached in the framework of the stationary phase method to guarantee robust coherence for wavepacket's evolution, which lately implies certain restrictions on the incident energy values for the envisioned cases. Tailoring different input parameters such as: incoming particles spin polarization, barrier thickness and Rashba's spin-orbit interaction (R-SOI) strength, we have observed appealing effects while the packet evolves through a quasi-1D heterostructure. Hopefully some of them could be of help in spintronics device designing. We have obtained most of the numerical simulation results, within the so-called conservation zone. However, for certain barrier thicknesses, some values drop into the forbidden area regarding the clear theoretical limit imposed by the TEUR. As an expected bonus throughout our theoretical validation of the TEUR, spin splitting due to finite values of R-SOI was nicely noticed.


title: Radial percolation reveals that Cancer Stem Cells are trapped in the core of tumorspheres

abstract: Using geometrical arguments it is shown that Cancer Stem Cells (CSC) must be confined inside solid tumors under natural situations. Aided by an agent-based model and percolation theory, the probability for a CSC to be at the border of a colony is estimated. This probability is estimated as a function of the CSCs self-renewal probability $p_s$, i.e. the chance that an CSC become non-differentiate after mitosis. In the most common situations, $p_s$ is small and CSCs are mostly destined to produce differentiated cells at a very low rate. The results presented here show that CSCs form a small core in the center of the cancer cell colony, becoming quiescent due to the lack of space to proliferate, which stabilizes their population size. This result provides a simple explanation for the CSC niche size that dispenses with the need of quorum sensing or other proposed signalling mechanisms. It is also supports the hypothesis that metastases are likely to start at the very beginning of the tumoral development.


title: An Effective Strategy to Enable Argyrodite Sulfides as Superb Solid-State Electrolytes: Safeguarding Remarkable Ionic Conductivity and Interfacial Stability with Electrodes

abstract: The argyrodite sulfides are getting more and more attractive as highly promising solid-state electrolytes (SSEs) for high-performance all-solid-state batteries (ASSBs), owing to their high ionic conductivity, adequate plasticity, and decent mechanical strength. However, their poor incompatibility with Li metal anode and high voltage cathodes and as well as serious sensitivity to air significantly hinder their practical applications. Herein, we have devised an effective strategy to overcome these challenging shortcomings through modification of chalcogen chemistry under the guidance of theoretical modeling. The resultant Li6.25PS4O1.25Cl0.75 delivered excellent electrochemical compatibility with both pure Li anode and high-voltage LiCoO2 cathode, without detrimental impact upon the superb ionic conductivity of the pristine sulfide. Furthermore, the current SSE also exhibited highly improved stability to oxygen and moisture in air, with further advantage being more insulating to electrons. The remarkably enhanced compatibility with electrodes is attributed to in situ formation of solid anode electrolyte interphase (AEI) and cathode electrolyte interphase (CEI) layers. The formation of in situ AEI enabled ultra-stable Li plating/stripping at a record high current density up to 1 mAh cm-2 in Li|Li6.25PS4O1.25Cl0.75|Li symmetric cells over 1800 hours. The in situ CEI facilitated protection of the SSE from decomposition at elevated voltage. Consequently, the synergistic effect of AEI and CEI helped the LiCoO2|Li6.25PS4O1.25Cl0.75|Li battery cell to achieve markedly better cycling stability than that using the pristine Li6PS5Cl as SSE, at a high areal loading of the active cathode material (4 mg cm-2). This work adds a desirable SSE in the argyrodite sulfide family, so that high-performance solid battery cells could even be fabricated in ambient air.


title: Modeling and Implementation of Quadcopter Autonomous Flight Based on Alternative Methods to Determine Propeller Parameters

abstract: To properly simulate and implement a quadcopter flight control for intended load and flight conditions, the quadcopter model must have parameters on various relationships including propeller thrust-torque, thrust-PWM, and thrust--angular speed to a certain level of accuracy. Thrust-torque modeling requires an expensive reaction torque measurement sensor. In the absence of sophisticated equipment, the study comes up with alternative methods to complete the quadcopter model. The study also presents a method of modeling the rotational aerodynamic drag on the quadcopter. Although the resulting model of the reaction torque generated by the quadcopter's propellers and the model of the drag torque acting on the quadcopter body that are derived using the methods in this study may not yield the true values of these quantities, the experimental modeling techniques presented in this work ensure that the derived dynamic model for the quadcopter will nevertheless behave identically with the true model for the quadcopter. The derived dynamic model is validated by basic flight controller simulation and actual flight implementation. The model is used as basis for a quadcopter design, which eventually is used for test purposes of basic flight control. This study serves as a baseline for fail-safe control of a quadcopter experiencing an unexpected motor failure.


title: MithraDetective: A System for Cherry-picked Trendlines Detection

abstract: Given a data set, misleading conclusions can be drawn from it by cherry-picking selected samples. One important class of conclusions is a trend derived from a data set of values over time. Our goal is to evaluate whether the 'trends' described by the extracted samples are representative of the true situation represented in the data. We demonstrate MithraDetective, a system to compute a support score to indicate how cherry-picked a statement is; that is, whether the reported trend is well-supported by the data. The system can also be used to discover more supported alternatives. MithraDetective provides an interactive visual interface for both tasks.


title: Crystal plasticity modeling of non-Schmid yield behavior: from Ni3Al single crystals to Ni-based superalloys

abstract: A Crystal Plasticity Finite Element (CPFE) framework is proposed for modeling the non-Schmid yield behavior of L12 type Ni3Al crystals and Ni-based superalloys. This framework relies on the estimation of the non-Schmid model parameters directly from the orientation- and temperature-dependent experimental yield stress data. The inelastic deformation model for Ni3Al crystals is extended to the precipitate phase of Ni-based superalloys in a homogenized dislocation density based crystal plasticity framework. The framework is used to simulate the orientation- and temperature-dependent yield of Ni3Al crystals and single crystal Ni-based superalloy, CMSX-4, in the temperature range 260-1304 K. Model predictions of the yield stress are in general agreement with experiments. Model predictions are also made regarding the tension-compression asymmetry and the dominant slip mechanism at yield over the standard stereographic triangle at various temperatures for both these materials. These predictions provide valuable insights regarding the underlying (orientation- and temperature-dependent) slip mechanisms at yield. In this regard, the non-Schmid model may also serve as a standalone analytical model for predicting the yield stress, the tension-compression asymmetry and the underlying slip mechanism at yield as a function of orientation and temperature.


title: On the spectrum and ergodicity of a neutral multi-allelic Moran model

abstract: The purpose of this paper is to provide a complete description of the eigenvalues of the generator of a neutral multi-type Moran model, and the applications to the study of the speed of convergence to stationarity. The Moran model we consider is a non-reversible in general, continuous-time Markov chain with an unknown stationary distribution. Specifically, we consider $N$ individuals such that each one of them is of one type among $K$ possible allelic types. The individuals interact in two ways: by an independent irreducible mutation process and by a reproduction process, where a pair of individuals is randomly chosen, one of them dies and the other reproduces. Our main result provides explicit expressions for the eigenvalues of the infinitesimal generator matrix of the Moran process, in terms of the eigenvalues of the jump rate matrix. As consequences of this result, we study the convergence in total variation of the process to stationarity and show a lower bound for the mixing time of the Moran process. Furthermore, we study in detail the spectral decomposition of the neutral multi-allelic Moran model with parent independent mutation scheme, which is the unique mutation scheme that makes the neutral Moran process reversible. Under the parent independent mutation, we also prove the existence of a cutoff phenomenon in the chi-square and the total variation distances when initially all the individuals are of the same type and the number of individuals tends to infinity. Additionally, in the absence of reproduction, we prove that the total variation distance to stationarity of the parent independent mutation process when initially all the individuals are of the same type has a Gaussian profile.


title: Is $N=2$ Large?

abstract: We study $\theta$ dependence of the vacuum energy for the 4d SU(2) pure Yang-Mills theory by lattice numerical simulations. The response of topological excitations to the smearing procedure is investigated in detail, in order to extract topological information from smeared gauge configurations. We determine the first two coefficients in the $\theta$ expansion of the vacuum energy, the topological susceptibility $\chi$ and the first dimensionless coefficient $b_2$, in the continuum limit. We find consistency of the SU(2) results with the large $N$ scaling. By analytic continuing the number of colors, $N$, to non-integer values, we infer the phase diagram of the vacuum structure of SU(N) gauge theory as a function of $N$ and $\theta$. Based on the numerical results, we provide quantitative evidence that 4d SU(2) Yang-Mills theory at $\theta = \pi$ is gapped with spontaneous breaking of the CP symmetry.


title: Model Optimization for A Dynamic Rail Transport System on an Asymmetric Multi-Core System

abstract: The problem of optimization of the rolling dynamics model is considered. That providing safe movement at high frequency when interacting with the railway. Moreover, allowing to evaluate the dynamic parameters when designing new and modernizing existing locomotives. The object of this research is a rail transport dynamic system model. The article's purpose is to increase the efficiency of the digital hardware in the rolling stock loop model by optimizing the organization of the computing process. The mathematical model analysis of the object made it possible to attribute it to the class of hard real-time systems. The computation of the model phase variables with different frequencies is necessary to optimize the simulation time of the train movements and is performed by splitting the original algorithm into parallel threads. The developed planning algorithm and the cyclic schedule implementation for the model of a dynamic real-time object consider microarchitecture solutions of symmetric multiprocessor systems with shared memory and methods for optimizing software tools. The experiments confirmed the operability of the optimized model. Also, allow us to recommend it for practical use in studying objects and determine the dynamic force of trolley structural elements during operation. Analysis of the optimized model simulation results, using cyclic schedules shows the correspondence of the obtained simulation results to the standard. The main advantage of the model is the increase in productivity when performing data processing by reducing the processor time. The optimized cyclic schedule algorithm of the semi-natural modeling platform is used for the subsequent development of the control system in real and accelerated time scales.


title: Countably perfectly meager sets

abstract: We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of $X$, there exists an $F_\sigma$-set $F$ in $X$ such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each $n$. We give various characterizations and examples of countably perfectly meager sets. We prove that not every universally meager set is countably perfectly meager correcting an earlier result of Bartoszy\'nski.


title: Electron-phonon coupling in APd3O4: A = Ca, Sr, and Sr0.85Li0.15

abstract: Here we have investigated the role of electron-phonon coupling on the Raman spectrum of narrow bandgap semiconductors APd3O4 (A = Ca, Sr) and hole-doped system Sr0.85Li0.15Pd3O4. Four Raman active phonons are observed at room temperature for all three compounds as predicted by factor group analysis. The lowest energy phonon (~190/202 cm-1) associated with Pd vibrations is observed to exhibit an asymmetric Fano-like lineshape in all the three compounds, indicating the presence of an interaction between the phonon and the electronic continuum. The origin of the electronic continuum states and electron-phonon coupling are discussed based on our laser power- and temperature-dependent Raman results. We have observed an enhanced strength of electron-phonon coupling in Sr0.85Li0.15Pd3O4 at low temperatures which can be attributed to the metallicity in this doped compound.


title: An individual-level ground truth dataset for home location detection

abstract: Home detection, assigning a phone device to its home antenna, is a ubiquitous part of most studies in the literature on mobile phone data. Despite its widespread use, home detection relies on a few assumptions that are difficult to check without ground truth, i.e., where the individual that owns the device resides. In this paper, we provide an unprecedented evaluation of the accuracy of home detection algorithms on a group of sixty-five participants for whom we know their exact home address and the antennas that might serve them. Besides, we analyze not only Call Detail Records (CDRs) but also two other mobile phone streams: eXtended Detail Records (XDRs, the ``data'' channel) and Control Plane Records (CPRs, the network stream). These data streams vary not only in their temporal granularity but also they differ in the data generation mechanism', e.g., CDRs are purely human-triggered while CPR is purely machine-triggered events. Finally, we quantify the amount of data that is needed for each stream to carry out successful home detection for each stream. We find that the choice of stream and the algorithm heavily influences home detection, with an hour-of-day algorithm for the XDRs performing the best, and with CPRs performing best for the amount of data needed to perform home detection. Our work is useful for researchers and practitioners in order to minimize data requests and to maximize the accuracy of home antenna location.


title: Differential forms on smooth operadic algebras

abstract: The classical Hochschild--Kostant--Rosenberg (HKR) theorem computes the Hochschild homology and cohomology of smooth commutative algebras. In this paper, we generalise this result to other kinds of algebraic structures. Our main insight is that producing HKR isomorphisms for other types of algebras is directly related to computing quasi-free resolutions in the category of left modules over an operad; we establish that an HKR-type result follows as soon as this resolution is diagonally pure. As examples we obtain a permutative and a pre-Lie HKR theorem for smooth commutative and smooth brace algebras, respectively. We also prove an HKR theorem for operads obtained from a filtered distributive law, which recovers, in particular, all the aspects of the classical HKR theorem. Finally, we show that this property is Koszul dual to the operadic PBW property defined by V. Dotsenko and the second author (1804.06485).


title: Active star formation across the whole Large Magellanic Cloud triggered by tidally-driven colliding HI flows

abstract: The galactic tidal interaction is a possible mechanism to trigger the active star formation in galaxies. Recent analyses using the Hi data in the Large Magellanic Cloud (LMC) proposed that the tidally driven colliding HI flows, induced by the galactic interaction with the Small Magellanic Cloud (SMC), triggered high-mass star formation in the southeastern HI Ridge, including R136 and $\sim$400 O/WR stars, and the galactic center region hosting the N44 region. This study performed a comprehensive HI data analysis across the LMC and found that two Hi velocity components defined in the early studies (L- and D- components) are quasi-ubiquitous with signatures of interaction dynamically toward the other prominent HII regions, such as N11 and N79. We characterize the intimidate velocity range (I-component) between the two components as the decelerated gas by momentum conservation in the collisional interaction. The spatial distributions of the I-component and those of the O/WR stars have good agreements with each other whose fraction is more than $\sim$70% at a scale of $\sim$15 pc, which is significantly smaller than the typical GMC size. Based on the results of our new simulations of the LMC-SMC interaction, we propose that the interaction about 0.2 Gyr ago induced efficient infall of gas from the SMC to the LMC and consequently ended up with recent formation of high-mass stars due to collisions of HI gas in the LMC. The new numerical simulations of the gas dynamics successfully reproduce the current distribution of the L-component. This lends theoretical support for the present picture.


title: Aspects of functoriality in homological mirror symmetry for toric varieties

abstract: We study homological mirror symmetry for toric varieties, exploring the relationship between various Fukaya-Seidel categories which have been employed for constructing the mirror to a toric variety. In particular, we realize tropical Lagrangian sections as objects of a partially wrapped category and construct a Lagrangian correspondence mirror to the inclusion of a toric divisor. As a corollary, we prove that tropical sections generate the Fukaya-Seidel category, completing a Floer-theoretic proof of homological mirror symmetry for projective toric varieties. In the course of the proof, we develop techniques for constructing Lagrangian cobordisms and Lagrangian correspondences in Liouville domains, which may be of independent interest.


title: Edge behavior of two-dimensional Coulomb gases near a hard wall

abstract: We consider a two-dimensional Coulomb gas confined to a disk when the external potential is radially symmetric. In the presence of a hard-wall constraint effective to change the equilibrium, the density of the equilibrium measure acquires a singular component at the hard wall. In the determinantal case, we study the local statistics of Coulomb particles at the hard wall and prove that their local correlations are expressed in terms of "Laplace-type" integrals, which appear in the context of truncated unitary matrices in the regime of weak non-unitarity.


title: Assessment of Reward Functions in Reinforcement Learning for Multi-Modal Urban Traffic Control under Real-World limitations

abstract: Reinforcement Learning is proving a successful tool that can manage urban intersections with a fraction of the effort required to curate traditional traffic controllers. However, literature on the introduction and control of pedestrians to such intersections is scarce. Furthermore, it is unclear what traffic state variables should be used as reward to obtain the best agent performance. This paper robustly evaluates 30 different Reinforcement Learning reward functions for controlling intersections serving pedestrians and vehicles covering the main traffic state variables available via modern vision-based sensors. Some rewards proposed in previous literature solely for vehicular traffic are extended to pedestrians while new ones are introduced. We use a calibrated model in terms of demand, sensors, green times and other operational constraints of a real intersection in Greater Manchester, UK. The assessed rewards can be classified in 5 groups depending on the magnitudes used: queues, waiting time, delay, average speed and throughput in the junction. The performance of different agents, in terms of waiting time, is compared across different demand levels, from normal operation to saturation of traditional adaptive controllers. We find that those rewards maximising the speed of the network obtain the lowest waiting time for vehicles and pedestrians simultaneously, closely followed by queue minimisation, demonstrating better performance than other previously proposed methods.


title: Random Matrix Based Extended Target Tracking with Orientation: A New Model and Inference

abstract: In this study, we propose a novel extended target tracking algorithm which is capable of representing the extent of dynamic objects as an ellipsoid with a time-varying orientation angle. A diagonal positive semi-definite matrix is defined to model objects' extent within the random matrix framework where the diagonal elements have inverse-Gamma priors. The resulting measurement equation is non-linear in the state variables, and it is not possible to find a closed-form analytical expression for the true posterior because of the absence of conjugacy. We use the variational Bayes technique to perform approximate inference, where the Kullback-Leibler divergence between the true and the approximate posterior is minimized by performing fixed-point iterations. The update equations are easy to implement, and the algorithm can be used in real-time tracking applications. We illustrate the performance of the method in simulations and experiments with real data. The proposed method outperforms the state-of-the-art methods when compared with respect to accuracy and robustness.


title: On the Hardness of Average-case k-SUM

abstract: In this work, we show the first worst-case to average-case reduction for the classical $k$-SUM problem. A $k$-SUM instance is a collection of $m$ integers, and the goal of the $k$-SUM problem is to find a subset of $k$ elements that sums to $0$. In the average-case version, the $m$ elements are chosen uniformly at random from some interval $[-u,u]$. We consider the total setting where $m$ is sufficiently large (with respect to $u$ and $k$), so that we are guaranteed (with high probability) that solutions must exist. Much of the appeal of $k$-SUM, in particular connections to problems in computational geometry, extends to the total setting. The best known algorithm in the average-case total setting is due to Wagner (following the approach of Blum-Kalai-Wasserman), and achieves a run-time of $u^{O(1/\log k)}$. This beats the known (conditional) lower bounds for worst-case $k$-SUM, raising the natural question of whether it can be improved even further. However, in this work, we show a matching average-case lower-bound, by showing a reduction from worst-case lattice problems, thus introducing a new family of techniques into the field of fine-grained complexity. In particular, we show that any algorithm solving average-case $k$-SUM on $m$ elements in time $u^{o(1/\log k)}$ will give a super-polynomial improvement in the complexity of algorithms for lattice problems.


title: Consistency and Coherency Enhanced Story Generation

abstract: Story generation is a challenging task, which demands to maintain consistency of the plots and characters throughout the story. Previous works have shown that GPT2, a large-scale language model, has achieved good performance on story generation. However, we observe that several serious issues still exist in the stories generated by GPT2 which can be categorized into two folds: consistency and coherency. In terms of consistency, on one hand, GPT2 cannot guarantee the consistency of the plots explicitly. On the other hand, the generated stories usually contain coreference errors. In terms of coherency, GPT2 does not take account of the discourse relations between sentences of stories directly. To enhance the consistency and coherency of the generated stories, we propose a two-stage generation framework, where the first stage is to organize the story outline which depicts the story plots and events, and the second stage is to expand the outline into a complete story. Therefore the plots consistency can be controlled and guaranteed explicitly. In addition, coreference supervision signals are incorporated to reduce coreference errors and improve the coreference consistency. Moreover, we design an auxiliary task of discourse relation modeling to improve the coherency of the generated stories. Experimental results on a story dataset show that our model outperforms the baseline approaches in terms of both automatic metrics and human evaluation.


title: Some new methods to build group equivariant non-expansive operators in TDA

abstract: Group equivariant operators are playing a more and more relevant role in machine learning and topological data analysis. In this paper we present some new results concerning the construction of $G$-equivariant non-expansive operators (GENEOs) from a space $\varPhi$ of real-valued bounded continuous functions on a topological space $X$ to $\varPhi$ itself. The space $\varPhi$ represents our set of data, while $G$ is a subgroup of the group of all self-homeomorphisms of $X$, representing the invariance we are interested in.


title: Knowledge-Grounded Dialogue Generation with Pre-trained Language Models

abstract: We study knowledge-grounded dialogue generation with pre-trained language models. To leverage the redundant external knowledge under capacity constraint, we propose equipping response generation defined by a pre-trained language model with a knowledge selection module, and an unsupervised approach to jointly optimizing knowledge selection and response generation with unlabeled dialogues. Empirical results on two benchmarks indicate that our model can significantly outperform state-of-the-art methods in both automatic evaluation and human judgment.


title: Synchronization analysis between exchange rates on the basis of purchasing power parity using the Hilbert transform

abstract: Synchronization is a phenomenon in which a pair of fluctuations adjust their rhythms when interacting with each other. We measure the degree of synchronization between the U.S. dollar (USD) and euro exchange rates and between the USD and Japanese yen exchange rates on the basis of purchasing power parity (PPP) over time. We employ a method of synchronization analysis using the Hilbert transform, which is common in the field of nonlinear science. We find that the degree of synchronization is high most of the time, suggesting the establishment of PPP. The degree of synchronization does not remain high across periods with economic events with asymmetric effects, such as the U.S. real estate bubble.


title: Nonrelativistic one-particle problem on $q$-deformed Euclidean space

abstract: We consider time-dependent Schr\"{o}dinger equations for a free nonrelativistic particle on the three-dimensional $q$-deformed Euclidean space. We determine plane wave solutions to these Schr\"{o}dinger equations and show that they form a complete orthonormal system. We derive $q$-deformed expressions for propagators of a nonrelativistic particle. Considerations about expectation values for position or momentum of a nonrelativistic particle conclude our studies.


title: PLS for V2I Communications Using Friendly Jammer and Double kappa-mu Shadowed Fading

abstract: The concept of intelligent transportation systems (ITS) is considered to be a highly promising area of research due to its diversity of unique features. It is based mainly on the wireless vehicular network (WVN), where vehicles can perform sophisticated services such as sharing real-time safety information. To ensure high-quality service, WVN needs to solve the security challenges like eavesdropping, where malicious entities try to intercept the confidential transmitted signal. In this paper, we are going to provide a security scheme under the Double kappa-mu Shadowed fading. Our solution is based on the use of a friendly jammer that will transmit an artificial noise (AN) to jam the attacker's link and decrease its eavesdropping performances. To evaluate the efficiency of our solution, we investigated the outage probability for two special cases: Nakagami-m and Rician shadowed while taking into consideration the density of the blockage and the shadowing effects. We also studied the average secrecy capacity via deriving closed-form expressions of the ergodic capacity at the legitimate receiver and the attacker for the special case: Nakagami-m fading distribution.


title: Matching number, Hamiltonian graphs and discrete magnetic Laplacians

abstract: In this article, we relate the spectrum of the discrete magnetic Laplacian (DML) on a finite simple graph with two structural properties of the graph: the existence of a perfect matching and the existence of a Hamiltonian cycle of the underlying graph. In particular, we give a family of spectral obstructions parametrised by the magnetic potential for the graph to be matchable (i.e., having a perfect matching) or for the existence of a Hamiltonian cycle. We base our analysis on a special case of the spectral preorder introduced in [FCLP20a] and we use the magnetic potential as a spectral control parameter.


title: Blocking Probability Analysis for 5G New Radio (NR) Physical Downlink Control Channel

abstract: The 5th generation (5G) new radio (NR) is designed to support a wide range of use cases, requirements, and services from enhanced mobile broadband (eMBB) to ultra-reliable low-latency communications (URLLC). NR signals are designed to meet stringent requirements, and in particular the physical downlink control channel (PDCCH) which requires careful consideration. In this paper, we provide a comprehensive analysis on the PDCCH blocking probability in a network where multiple users need to be scheduled for receiving downlink control information. We evaluate the performance of blocking probability in terms of various network parameters including number of users, size of the control resource set (CORESET), and PDCCH aggregation levels (ALs). Our analysis reveals fundamental tradeoffs and key insights for efficient network design in terms of PDCCH blocking probability.


title: MESA: Boost Ensemble Imbalanced Learning with MEta-SAmpler

abstract: Imbalanced learning (IL), i.e., learning unbiased models from class-imbalanced data, is a challenging problem. Typical IL methods including resampling and reweighting were designed based on some heuristic assumptions. They often suffer from unstable performance, poor applicability, and high computational cost in complex tasks where their assumptions do not hold. In this paper, we introduce a novel ensemble IL framework named MESA. It adaptively resamples the training set in iterations to get multiple classifiers and forms a cascade ensemble model. MESA directly learns the sampling strategy from data to optimize the final metric beyond following random heuristics. Moreover, unlike prevailing meta-learning-based IL solutions, we decouple the model-training and meta-training in MESA by independently train the meta-sampler over task-agnostic meta-data. This makes MESA generally applicable to most of the existing learning models and the meta-sampler can be efficiently applied to new tasks. Extensive experiments on both synthetic and real-world tasks demonstrate the effectiveness, robustness, and transferability of MESA. Our code is available at https://github.com/ZhiningLiu1998/mesa.


title: Fluctuation relations for dissipative systems in constant external magnetic field: theory and molecular dynamics simulations

abstract: It has recently been pointed out that Hamiltonian particle systems in constant magnetic fields satisfy generalized time-reversal symmetries that enable to prove useful statistical relationships based on equilibrium phase-space probability distributions without the need to invert, as commonly considered necessary, the magnetic field. Among these relations, that hold without need of Casimir modifications, one finds the standard linear response Green-Kubo relations, and consequently the Onsager reciprocal relations. Going beyond linear response is also possible, for instance in terms of transient and steady state Fluctuation Relations (FRs). Here we highlight how the generalized time-reversal symmetries ensure that the (transient) FRs theory directly applies also for systems in external magnetic fields. Furthermore we show that transient FR can indeed be verified in nonequilibrium molecular dynamics simulations, for systems subjected to magnetic and electric fields, which are thermostatted \`a la Nos\'e-Hoover. The result is nontrivial because, since it is not immediate within which sizes and time scales the effects can actually be observable, it is not obvious what one may obtain by real molecular dynamics simulations.


title: Optimal Band Structure for Thermoelectrics with Realistic Scattering and Bands

abstract: Understanding how to optimize electronic band structures for thermoelectrics is a topic of long-standing interest in the community. Prior models have been limited to simplified bands and/or scattering models. In this study, we apply more rigorous scattering treatments to more realistic model band structures - upward-parabolic bands that inflect to an inverted parabolic behavior - including cases of multiple bands. In contrast to common descriptors (e.g., quality factor and complexity factor), the degree to which multiple pockets improve thermoelectric performance is bounded by interband scattering and the relative shapes of the bands. We establish that extremely anisotropic `flat-and-dispersive' bands, although best-performing in theory, may not represent a promising design strategy in practice. Critically, we determine optimum bandwidth, dependent on temperature and lattice thermal conductivity, from perfect transport cutoffs that can in theory significantly boost $zT$ beyond the values attainable through intrinsic band structures alone. Our analysis should be widely useful as the thermoelectric research community eyes $zT>3$.


title: Efficient and Compact Convolutional Neural Network Architectures for Non-temporal Real-time Fire Detection

abstract: Automatic visual fire detection is used to complement traditional fire detection sensor systems (smoke/heat). In this work, we investigate different Convolutional Neural Network (CNN) architectures and their variants for the non-temporal real-time bounds detection of fire pixel regions in video (or still) imagery. Two reduced complexity compact CNN architectures (NasNet-A-OnFire and ShuffleNetV2-OnFire) are proposed through experimental analysis to optimise the computational efficiency for this task. The results improve upon the current state-of-the-art solution for fire detection, achieving an accuracy of 95% for full-frame binary classification and 97% for superpixel localisation. We notably achieve a classification speed up by a factor of 2.3x for binary classification and 1.3x for superpixel localisation, with runtime of 40 fps and 18 fps respectively, outperforming prior work in the field presenting an efficient, robust and real-time solution for fire region detection. Subsequent implementation on low-powered devices (Nvidia Xavier-NX, achieving 49 fps for full-frame classification via ShuffleNetV2-OnFire) demonstrates our architectures are suitable for various real-world deployment applications.


title: Future Physics Perspectives on the Equation of State from Heavy Ion Collisions to Neutron Stars

abstract: With the computational power and algorithmic improvements available today, the ongoing STAR/RHIC and HADES/GSI experiments, the future FAIR and NICA facilities becoming operational, and the new precise measurements from NICER and LIGO/VIRGO, the high-energy nuclear physics and astrophysics communities are in the unique position to set very stringent constraints on the equation of state of strongly interacting matter. We review the state-of-the-art of different approaches used in the description of hot and ultradense baryonic matter in and out of equilibrium, and discuss the regions in the phase diagram where heavy-ion collisions and neutron star mergers can overlap. Future perspectives are discussed to help define a comprehensive, multi-disciplinary strategy to map out the phase diagram of strongly interacting matter from heavy ion collisions to neutron stars.

categories: nucl-th astro-ph.HE gr-qc hep-ph nucl-ex


title: Regional Synchronization during Economic Contraction: The Case of the U.S. and Japan

abstract: Two decades of studies have found significant regional differences in the timing of transitions in national business cycles and their durations. Earlier studies partly detect regional synchronization during business cycle expansions and contractions in Europe, the United States, and Japan. We examine this possibility applying a sophisticated method for identifying the time-varying degree of synchronization to regional business cycle data in the U.S. and Japan. The method is prominent in nonlinear sciences but has been infrequently applied in business cycle studies.We find that synchronization in regional business cycles increased during contractions and decreased during expansions throughout the period under study.Such asymmetry between the contraction and expansion phases of a business cycle will contribute our better understanding of the phenomenon of business cycles.


title: Imprints of the post recombination dissipation of helical magnetic field on the Cosmic Microwave Background Radiation

abstract: Astrophysical magnetic fields decay primarily via two processes namely, ambipolar diffusion and turbulence. Constraints on the strength and the spectral index of non-helical magnetic fields have been derived earlier in the literature through the effect of the above mentioned processes on the Cosmic Microwave Background (CMB) radiation. A helical component of the magnetic field is also produced in various models of magnetogenesis, which can explain larger coherence length magnetic field. In this study, we focus on studying the effects of post recombination decay of maximally helical magnetic fields through ambipolar diffusion and decaying magnetic turbulence and the impact of this decay on CMB. We find that helical magnetic fields lead to changes in the evolution of baryon temperature and ionization fraction which in turn lead to modifications in the CMB temperature and polarization anisotropy. These modifications are different from those arising due to non-helical magnetic fields with the changes dependent on the strength and the spectral index of the magnetic field power spectra.


title: New Insights into the Nature of Nonlinear Gravitational Waves

abstract: We study the evolution equations for gravitational waves, which are derived using the full metric to raise and lower indices. This method ensures full consistency between the Ricci tensor and all gauge restrictions and requirements, and allows a meaningful expansion of all tensors up to second order, avoiding several inconsistencies and contradictions observed in previous work. Taking the harmonic gauge to second order in the perturbation theory results in a new nonlinear equation. We show that non-trivial solutions to this equation are necessarily non-plane wave modes with a non-zero trace. These solutions must contain both longitudinal and transverse components, as both are permitted by the gauge restrictions.


title: Empirical likelihood and uniform convergence rates for dyadic kernel density estimation

abstract: This paper studies the asymptotic properties of and alternative inference methods for kernel density estimation (KDE) for dyadic data. We first establish uniform convergence rates for dyadic KDE. Secondly, we propose a modified jackknife empirical likelihood procedure for inference. The proposed test statistic is asymptotically pivotal regardless of presence of dyadic clustering. The results are further extended to cover the practically relevant case of incomplete dyadic data. Simulations show that this modified jackknife empirical likelihood-based inference procedure delivers precise coverage probabilities even with modest sample sizes and with incomplete dyadic data. Finally, we illustrate the method by studying airport congestion in the United States.


title: General Relativity from Quantum Field Theory

abstract: The quantum field theoretic description of general relativity is a modern approach to gravity where gravitational force is carried by spin-2 gravitons. In the classical limit of this theory, general relativity as described by the Einstein field equations is obtained. This limit, where classical general relativity is derived from quantum field theory is the topic of this thesis. The Schwarzschild-Tangherlini metric, which describes the gravitational field of an inertial point particle in arbitrary space-time dimensions, $D$, is analyzed. The metric is related to the three-point vertex function of a massive scalar interacting with a graviton to all orders in $G_N$, and the one-loop contribution to this amplitude is computed from which the $G_N^2$ contribution to the metric is derived. To understand the gauge-dependence of the metric, covariant gauge is used which introduces the parameter, $\xi$, and the gauge-fixing function $G_\sigma$. In the classical limit, the gauge-fixing function turns out to be the coordinate condition, $G_\sigma=0$. As gauge-fixing function a novel family of gauges, which depends on an arbitrary parameter $\alpha$ and includes both harmonic and de Donder gauge, is used. Feynman rules for the graviton field are derived and important results are the graviton propagator in covariant gauge and a general formula for the n-graviton vertex in terms of the Einstein tensor. The Feynman rules are used both in deriving the Schwarzschild-Tangherlini metric from amplitudes and in the computation of the one-loop correction to the metric. The one-loop correction to the metric is independent of the covariant gauge parameter, $\xi$, and satisfies the gauge condition $G_\sigma=0$ where $G_\sigma$ is the family of gauges depending on $\alpha$. In space-time $D=5$ a logarithm appears in position space and this phenomena is analyzed in terms of redundant gauge freedom.


title: Lazy Search Trees

abstract: We introduce the lazy search tree data structure. The lazy search tree is a comparison-based data structure on the pointer machine that supports order-based operations such as rank, select, membership, predecessor, successor, minimum, and maximum while providing dynamic operations insert, delete, change-key, split, and merge. We analyze the performance of our data structure based on a partition of current elements into a set of gaps $\{\Delta_i\}$ based on rank. A query falls into a particular gap and splits the gap into two new gaps at a rank $r$ associated with the query operation. If we define $B = \sum_i |\Delta_i| \log_2(n/|\Delta_i|)$, our performance over a sequence of $n$ insertions and $q$ distinct queries is $O(B + \min(n \log \log n, n \log q))$. We show $B$ is a lower bound. Effectively, we reduce the insertion time of binary search trees from $\Theta(\log n)$ to $O(\min(\log(n/|\Delta_i|) + \log \log |\Delta_i|, \; \log q))$, where $\Delta_i$ is the gap in which the inserted element falls. Over a sequence of $n$ insertions and $q$ queries, a time bound of $O(n \log q + q \log n)$ holds; better bounds are possible when queries are non-uniformly distributed. As an extreme case of non-uniformity, if all queries are for the minimum element, the lazy search tree performs as a priority queue with $O(\log \log n)$ time insert and decrease-key operations. The same data structure supports queries for any rank, interpolating between binary search trees and efficient priority queues. Lazy search trees can be implemented to operate mostly on arrays, requiring only $O(\min(q, n))$ pointers. Via direct reduction, our data structure also supports the efficient access theorems of the splay tree, providing a powerful data structure for non-uniform element access, both when the number of accesses is small and large.


title: A Grid-based Representation for Human Action Recognition

abstract: Human action recognition (HAR) in videos is a fundamental research topic in computer vision. It consists mainly in understanding actions performed by humans based on a sequence of visual observations. In recent years, HAR have witnessed significant progress, especially with the emergence of deep learning models. However, most of existing approaches for action recognition rely on information that is not always relevant for this task, and are limited in the way they fuse the temporal information. In this paper, we propose a novel method for human action recognition that encodes efficiently the most discriminative appearance information of an action with explicit attention on representative pose features, into a new compact grid representation. Our GRAR (Grid-based Representation for Action Recognition) method is tested on several benchmark datasets demonstrating that our model can accurately recognize human actions, despite intra-class appearance variations and occlusion challenges.


title: Higher dimensional gap theorems for the maximum metric

abstract: Recently, the first author together with Jens Marklof studied generalizations of the classical three distance theorem to higher dimensional toral rotations, giving upper bounds in all dimensions for the corresponding numbers of distances with respect to any flat Riemannian metric. In dimension two they proved a five distance theorem, which is best possible. In this paper we establish analogous bounds, in all dimensions, for the maximum metric. We also show that in dimensions two and three our bounds are best possible.


title: Approximate information state for approximate planning and reinforcement learning in partially observed systems

abstract: We propose a theoretical framework for approximate planning and learning in partially observed systems. Our framework is based on the fundamental notion of information state. We provide two equivalent definitions of information state -- i) a function of history which is sufficient to compute the expected reward and predict its next value; ii) equivalently, a function of the history which can be recursively updated and is sufficient to compute the expected reward and predict the next observation. An information state always leads to a dynamic programming decomposition. Our key result is to show that if a function of the history (called approximate information state (AIS)) approximately satisfies the properties of the information state, then there is a corresponding approximate dynamic program. We show that the policy computed using this is approximately optimal with bounded loss of optimality. We show that several approximations in state, observation and action spaces in literature can be viewed as instances of AIS. In some of these cases, we obtain tighter bounds. A salient feature of AIS is that it can be learnt from data. We present AIS based multi-time scale policy gradient algorithms. and detailed numerical experiments with low, moderate and high dimensional environments.


title: Finding Physical Adversarial Examples for Autonomous Driving with Fast and Differentiable Image Compositing

abstract: There is considerable evidence that deep neural networks are vulnerable to adversarial perturbations applied directly to their digital inputs. However, it remains an open question whether this translates to vulnerabilities in real systems. For example, an attack on self-driving cars would in practice entail modifying the driving environment, which then impacts the video inputs to the car's controller, thereby indirectly leading to incorrect driving decisions. Such attacks require accounting for system dynamics and tracking viewpoint changes. We propose a scalable approach for finding adversarial modifications of a simulated autonomous driving environment using a differentiable approximation for the mapping from environmental modifications (rectangles on the road) to the corresponding video inputs to the controller neural network. Given the parameters of the rectangles, our proposed differentiable mapping composites them onto pre-recorded video streams of the original environment, accounting for geometric and color variations. Moreover, we propose a multiple trajectory sampling approach that enables our attacks to be robust to a car's self-correcting behavior. When combined with a neural network-based controller, our approach allows the design of adversarial modifications through end-to-end gradient-based optimization. Using the Carla autonomous driving simulator, we show that our approach is significantly more scalable and far more effective at identifying autonomous vehicle vulnerabilities in simulation experiments than a state-of-the-art approach based on Bayesian Optimization.


title: The cyclic homology of $k[x_1,x_2,\ldots,x_d]/(x_1,x_2,\ldots,x_d)^2$

abstract: The Hochschild homology of the ring $k[x_1,x_2,\ldots,x_d]/(x_1,x_2,\ldots,x_d)^2$ has been known and calculated several ways. This paper uses those calculations to calculate cyclic, negative cyclic, and periodic cyclic homology of $k[x_1,x_2,\ldots,x_d]/(x_1,x_2,\ldots,x_d)^2$ over $k$.


title: Lifelong update of semantic maps in dynamic environments

abstract: A robot understands its world through the raw information it senses from its surroundings. This raw information is not suitable as a shared representation between the robot and its user. A semantic map, containing high-level information that both the robot and user understand, is better suited to be a shared representation. We use the semantic map as the user-facing interface on our fleet of floor-cleaning robots. Jitter in the robot's sensed raw map, dynamic objects in the environment, and exploration of new space by the robot are common challenges for robots. Solving these challenges effectively in the context of semantic maps is key to enabling semantic maps for lifelong mapping. First, as a robot senses new changes and alters its raw map in successive runs, the semantics must be updated appropriately. We update the map using a spatial transfer of semantics. Second, it is important to keep semantics and their relative constraints consistent even in the presence of dynamic objects. Inconsistencies are automatically determined and resolved through the introduction of a map layer of meta-semantics. Finally, a discovery phase allows the semantic map to be updated with new semantics whenever the robot uncovers new information. Deployed commercially on thousands of floor-cleaning robots in real homes, our user-facing semantic maps provide a intuitive user experience through a lifelong mapping robot.


title: Discriminability of Single-Layer Graph Neural Networks

abstract: Network data can be conveniently modeled as a graph signal, where data values are assigned to the nodes of a graph describing the underlying network topology. Successful learning from network data requires methods that effectively exploit this graph structure. Graph neural networks (GNNs) provide one such method and have exhibited promising performance on a wide range of problems. Understanding why GNNs work is of paramount importance, particularly in applications involving physical networks. We focus on the property of discriminability and establish conditions under which the inclusion of pointwise nonlinearities to a stable graph filter bank leads to an increased discriminative capacity for high-eigenvalue content. We define a notion of discriminability tied to the stability of the architecture, show that GNNs are at least as discriminative as linear graph filter banks, and characterize the signals that cannot be discriminated by either.


title: Multiscale modelling of magnetostatic effects on magnetic nanoparticles with application to hyperthermia

abstract: We extend a renormalization group-based course-graining method for micromagnetic simulations to include properly scaled magnetostatic interactions. We apply the method in simulations of dynamic hysteresis loops at clinically relevant sweep rates and at 310 K of iron oxide nanoparticles (NPs) of the kind that have been used in preclinical studies of magnetic hyperthermia. The coarse-graining method, along with a time scaling involving sweep rate and Gilbert damping parameter, allow us to span length scales from the unit cell to NPs approximately 50 nm in diameter with reasonable simulation times. For both NPs and the nanorods composing them, we report effective uniaxial anisotropy strengths and saturation magnetizations, which differ from those of the bulk materials magnetite and maghemite of which they are made, on account of the combined non-trivial effects of temperature, inter-rod exchange, magnetostatic interactions and the degree of orientational order within the nanorod composites. The effective parameters allow treating the NPs as single macrospins, and we find for the test case of calculating loops for two aligned NPs that using the dipole approximation is sufficient for distances beyond 1.5 times the NP diameter. We also present a study on relating integration time step to micromagnetic cell size, finding that the optimal time step size scales approximately linearly with cell volume.


title: Ab initio relativistic treatment of the intercombination $a^3\Pi-X^1\Sigma^+$ Cameron system of the CO molecule

abstract: The intercombination $a^3\Pi - X^1\Sigma^+$ Cameron system of carbon monoxide has been computationally studied in the framework of multi-reference Fock space coupled cluster method with the use of generalized relativistic pseudopotential model for the effective introducing the relativity in all-electron correlation treatment. The extremely weak $a^3\Pi_{\Omega=0^+,1} - X^1\Sigma^+$ transition probabilities and radiative lifetimes of the metastable $a^3\Pi$ state were calculated and compared with their previous theoretical and experimental counterparts. The impact of a presumable variation of the fine structure constant $\alpha=e^2/\hbar c$ on transition strength of the Cameron system has been numerically evaluated as well.


title: Against Scale: Provocations and Resistances to Scale Thinking

abstract: At the heart of what drives the bulk of innovation and activity in Silicon Valley and elsewhere is scalability. This unwavering commitment to scalability -- to identify strategies for efficient growth -- is at the heart of what we refer to as "scale thinking." Whether people are aware of it or not, scale thinking is all-encompassing. It is not just an attribute of one's product, service, or company, but frames how one thinks about the world (what constitutes it and how it can be observed and measured), its problems (what is a problem worth solving versus not), and the possible technological fixes for those problems. This paper examines different facets of scale thinking and its implication on how we view technology and collaborative work. We argue that technological solutions grounded in scale thinking are unlikely to be as liberatory or effective at deep, systemic change as their purveyors imagine. Rather, solutions which resist scale thinking are necessary to undo the social structures which lie at the heart of social inequality. We draw on recent work on mutual aid networks and propose questions to ask of collaborative work systems as a means to evaluate technological solutions and guide designers in identifying sites of resistance to scale thinking.


title: Effects of minimal length on Berry phase and spin-orbit interactions

abstract: The effect of Generalized Uncertainty Principle (GUP) on Berry phase is studied using the perturbation approach and up to the first order of approximation. Thereinafter, the obtained results are extended to a quantum ring in which two types of spin-orbit interactions, including Rashba and Dresselhaus interactions, can be felt by electrons. Comparing the final results with the accuracy of Berry phase detectors, one can find an upper bound on GUP parameter as $\beta_{0}<10^{46}$ and $\beta_{0}<10^{51}$ from Rashba and Dresselhaus interactions, respectively, in agreement with previous results.


title: Weight-Covariance Alignment for Adversarially Robust Neural Networks

abstract: Stochastic Neural Networks (SNNs) that inject noise into their hidden layers have recently been shown to achieve strong robustness against adversarial attacks. However, existing SNNs are usually heuristically motivated, and often rely on adversarial training, which is computationally costly. We propose a new SNN that achieves state-of-the-art performance without relying on adversarial training, and enjoys solid theoretical justification. Specifically, while existing SNNs inject learned or hand-tuned isotropic noise, our SNN learns an anisotropic noise distribution to optimize a learning-theoretic bound on adversarial robustness. We evaluate our method on a number of popular benchmarks, show that it can be applied to different architectures, and that it provides robustness to a variety of white-box and black-box attacks, while being simple and fast to train compared to existing alternatives.


title: From Local Structures to Size Generalization in Graph Neural Networks

abstract: Graph neural networks (GNNs) can process graphs of different sizes, but their ability to generalize across sizes, specifically from small to large graphs, is still not well understood. In this paper, we identify an important type of data where generalization from small to large graphs is challenging: graph distributions for which the local structure depends on the graph size. This effect occurs in multiple important graph learning domains, including social and biological networks. We first prove that when there is a difference between the local structures, GNNs are not guaranteed to generalize across sizes: there are "bad" global minima that do well on small graphs but fail on large graphs. We then study the size-generalization problem empirically and demonstrate that when there is a discrepancy in local structure, GNNs tend to converge to non-generalizing solutions. Finally, we suggest two approaches for improving size generalization, motivated by our findings. Notably, we propose a novel Self-Supervised Learning (SSL) task aimed at learning meaningful representations of local structures that appear in large graphs. Our SSL task improves classification accuracy on several popular datasets.


title: Global null-controllability for stochastic semilinear parabolic equations

abstract: In this paper, we prove the small-time global null-controllability of forward (resp. backward) semilinear stochastic parabolic equations with globally Lipschitz nonlinearities in the drift and diffusion terms (resp. in the drift term). In particular, we solve the open question posed by S. Tang and X. Zhang, in 2009. We propose a new twist on a classical strategy for controlling linear stochastic systems. By employing a new refined Carleman estimate, we obtain a controllability result in a weighted space for a linear system with source terms. The main novelty here is that the Carleman parameters are made explicit and are then used in a Banach fixed point method. This allows to circumvent the well-known problem of the lack of compactness embeddings for the solutions spaces arising in the study of controllability problems for stochastic PDEs.


title: GOAT: GPU Outsourcing of Deep Learning Training With Asynchronous Probabilistic Integrity Verification Inside Trusted Execution Environment

abstract: Machine learning models based on Deep Neural Networks (DNNs) are increasingly deployed in a wide range of applications ranging from self-driving cars to COVID-19 treatment discovery. To support the computational power necessary to learn a DNN, cloud environments with dedicated hardware support have emerged as critical infrastructure. However, there are many integrity challenges associated with outsourcing computation. Various approaches have been developed to address these challenges, building on trusted execution environments (TEE). Yet, no existing approach scales up to support realistic integrity-preserving DNN model training for heavy workloads (deep architectures and millions of training examples) without sustaining a significant performance hit. To mitigate the time gap between pure TEE (full integrity) and pure GPU (no integrity), we combine random verification of selected computation steps with systematic adjustments of DNN hyper-parameters (e.g., a narrow gradient clipping range), hence limiting the attacker's ability to shift the model parameters significantly provided that the step is not selected for verification during its training phase. Experimental results show the new approach achieves 2X to 20X performance improvement over pure TEE based solution while guaranteeing a very high probability of integrity (e.g., 0.999) with respect to state-of-the-art DNN backdoor attacks.


title: Nonmonotonic confining potential and eigenvalue density transition for generalized random matrix model

abstract: We consider several limiting cases of the joint probability distribution for a random matrix ensemble with an additional interaction term controlled by an exponent $\gamma$ (called the $\gamma$-ensembles). The effective potential, which is essentially the single-particle confining potential for an equivalent ensemble with $\gamma=1$ (called the Muttalib-Borodin ensemble), is a crucial quantity defined in solution to the Riemann-Hilbert problem associated with the $\gamma$-ensembles. It enables us to numerically compute the eigenvalue density of $\gamma$-ensembles for all $\gamma > 0$. We show that one important effect of the two-particle interaction parameter $\gamma$ is to generate or enhance the non-monotonicity in the effective single-particle potential. For suitable choices of the initial single-particle potentials, reducing $\gamma$ can lead to a large non-monotonicity in the effective potential, which in turn leads to significant changes in the density of eigenvalues. For a disordered conductor, this corresponds to a systematic decrease in the conductance with increasing disorder. This suggests that appropriate models of $\gamma$-ensembles can be used as a possible framework to study the effects of disorder on the distribution of conductances.