Taking Stock of the Present and Future of Smart Technologies for Older Adults and Caregivers. Technology has the opportunity to assist older adults as they age in place, coordinate caregiving resources, and meet unmet needs through access to resources. Currently, older adults use consumer technologies to support everyday life, however these technologies are not always accessible or as useful as they can be. Indeed, industry has attempted to create smart home technologies with older adults as a target user group, however these solutions are often more focused on the technical aspects and are short lived. In this paper, we advocate for older adults being involved in the design process from initial ideation to product development to deployment. We encourage federally funded researchers and industry to create compensated, diverse older adult advisory boards to address stereotypes about aging while ensuring their needs are considered. We envision artificial intelligence systems that augment resources instead of replacing them especially in under resourced communities. Older adults rely on their caregiver networks and community organizations for social, emotional, and physical support thus, AI should be used to coordinate resources better and lower the burden of connecting with these resources. Although sociotechnical smart systems can help identify needs of older adults, the lack of affordable research infrastructure and translation of findings into consumer technology perpetuates inequities in designing for diverse older adults. In addition, there is a disconnect between the creation of smart sensing systems and creating understandable, actionable data for older adults and caregivers to utilize. We ultimately advocate for a well coordinated research effort across the United States that connects older adults, caregivers, community organizations, and researchers together to catalyze innovative and practical research for all stakeholders.


Best of Both Worlds Practical and Theoretically Optimal Submodular Maximization in Parallel. For the problem of maximizing a monotone, submodular function with respect to a cardinality constraint k on a ground set of size n , we provide an algorithm that achieves the state of the art in both its empirical performance and its theoretical properties, in terms of adaptive complexity, query complexity, and approximation ratio that is, it obtains, with high probability, query complexity of O(n) in expectation, adaptivity of O( log(n)) , and approximation ratio of nearly 1 1 e . The main algorithm is assembled from two components which may be of independent interest. The first component of our algorithm, LINEARSEQ, is useful as a preprocessing algorithm to improve the query complexity of many algorithms. Moreover, a variant of LINEARSEQ is shown to have adaptive complexity of O( log (n k) ) which is smaller than that of any previous algorithm in the literature. The second component is a parallelizable thresholding procedure THRESHOLDSEQ for adding elements with gain above a constant threshold. Finally, we demonstrate that our main algorithm empirically outperforms, in terms of runtime, adaptive rounds, total queries, and objective values, the previous state of the art algorithm FAST in a comprehensive evaluation with six submodular objective functions.


Semantic Role Labeling as Dependency Parsing Exploring Latent Tree Structures Inside Arguments. Semantic role labeling is a fundamental yet challenging task in the NLP community. Recent works of SRL mainly fall into two lines 1) BIO based and 2) span based. Despite effectiveness, they share some intrinsic drawbacks of not explicitly considering internal argument structures, which may potentially hinder the model's expressiveness. To remedy this, we propose to reduce SRL to a dependency parsing task and regard the flat argument spans as latent subtrees. In particular, we equip our formulation with a novel span constrained TreeCRF model to make tree structures span aware, and further extend it to the second order case. Experiments on CoNLL05 and CoNLL12 benchmarks reveal that the results of our methods outperform all previous works and achieve the state of the art.


High repetition rate and coherent Free Electron Laser in the tender X rays based on the Echo Enabled Harmonic Generation of an Ultra Violet Oscillator pulse. Fine time resolved analysis of matter i.e. spectroscopy and photon scattering in the linear response regime requires a fs scale pulsed, high repetition rate, fully coherent X ray source. A seeded Free Electron Laser (FEL) driven by a Super Conducting Linac, generating 10 8 10 10 coherent photons at 2 5 keV with abou 0.5 MHz of repetition rate, can address this need. The seeding scheme proposed is the Echo Enabled Harmonic Generation, alimented by a FEL Oscillator working at 13.6 nm with a cavity based on Mo Si mirrors. The whole chain of the X ray generation is here described by means of start to end simulations. Comparisons with the Self Amplified Spontaneus Emission and a fresh bunch harmonic cascade performed with similar electron beams show the validity of this scheme.


DEVI Open source Human Robot Interface for Interactive Receptionist Systems. Humanoid robots that act as human robot interfaces equipped with social skills can assist people in many of their daily activities. Receptionist robots are one such application where social skills and appearance are of utmost importance. Many existing robot receptionist systems suffer from high cost and they do not disclose internal architectures for further development for robot researchers. Moreover, there does not exist customizable open source robot receptionist frameworks to be deployed for any given application. In this paper we present an open source robot receptionist intelligence core "DEVI"(means 'lady' in Sinhala), that provides researchers with ease of creating customized robot receptionists according to the requirements (cost, external appearance, and required processing power). Moreover, this paper also presents details on a prototype implementation of a physical robot using the DEVI system. The robot can give directional guidance with physical gestures, answer basic queries using a speech recognition and synthesis system, recognize and greet known people using face recognition and register new people in its database, using a self learning neural network. Experiments conducted with DEVI show the effectiveness of the proposed system.


Bermuda Triangles GNNs Fail to Detect Simple Topological Structures. Most graph neural network architectures work by message passing node vector embeddings over the adjacency matrix, and it is assumed that they capture graph topology by doing that. We design two synthetic tasks, focusing purely on topological problems triangle detection and clique distance on which graph neural networks perform surprisingly badly, failing to detect those "bermuda" triangles. Datasets and their generation scripts are publicly available on github.com FujitsuLaboratories bermudatriangles and dataset.labs.fujitsu.com.


The cobar construction as an E infty bialgebra model of the based loop space. In the fifties, Adams introduced a comparison map from his cobar construction on the (simplicial) singular chains of a pointed space to the cubical singular chains on its based loop space. This comparison map is a quasi isomorphism of algebras, which was shown by Baues to be one of bialgebras by considering Serre's cubical coproduct. In this work we generalize Baues result proving that Adams' comparison map is a quasi isomorphism of E infty bialgebras, i.e. of monoids in the category of E infty coalgebras. We also show that Hess Tonks' extended cobar construction on the chains of a general reduced simplicial set is quasi isomorphic as an E infty coalgebra to the chains on the associated Kan loop group.


Split spin factor algebras. Motivated by Yabe's classification of symmetric 2 generated axial algebras of Monster type, we introduce a large class of algebras of Monster type ( alpha, frac 1 2 ) , generalising Yabe's mathrm III ( alpha, frac 1 2 , delta) family. Our algebras bear a striking similarity with Jordan spin factor algebras with the difference being that we asymmetrically split the identity as a sum of two idempotents. We investigate the properties of this algebra, including the existence of a Frobenius form and ideals. In the 2 generated case, where our algebra is isomorphic to one of Yabe's examples, we use our new viewpoint to identify the axet, that is, the closure of the two generating axes.


From DNNs to GANs Review of efficient hardware architectures for deep learning. In recent times, the trend in very large scale integration (VLSI) industry is multi dimensional, for example, reduction of energy consumption, occupancy of less space, precise result, less power dissipation, faster response. To meet these needs, the hardware architecture should be reliable and robust to these problems. Recently, neural network and deep learning has been started to impact the present research paradigm significantly which consists of parameters in the order of millions, nonlinear function for activation, convolutional operation for feature extraction, regression for classification, generative adversarial networks. These operations involve huge calculation and memory overhead. Presently available DSP processors are incapable of performing these operations and they mostly face the problems, for example, memory overhead, performance drop and compromised accuracy. Moreover, if a huge silicon area is powered to accelerate the operation using parallel computation, the ICs will be having significant chance of burning out due to the considerable generation of heat. Hence, novel dark silicon constraint is developed to reduce the heat dissipation without sacrificing the accuracy. Similarly, different algorithms have been adapted to design a DSP processor compatible for fast performance in neural network, activation function, convolutional neural network and generative adversarial network. In this review, we illustrate the recent developments in hardware for accelerating the efficient implementation of deep learning networks with enhanced performance. The techniques investigated in this review are expected to direct future research challenges of hardware optimization for high performance computations.


Two tractable models of non stationary light scattering by subwavelength particles and their application to Fano resonances. We introduce two tractable analytical models to describe dynamic effects at resonant light scattering by subwavelength particles. One of them is based on generalization of the temporal coupled mode theory, and the other employs the normal mode approach. We show that sharp variations in the envelope of the incident pulse may initiate unusual, counterintuitive dynamics of the scattering associated with interference of modes with fast and slow relaxation. To exhibit the power of the models, we apply them to explain the dynamic light scattering of a square envelope pulse by an infinite circular cylinder made of GaP , when the pulse carrier frequency lies in the vicinity of the destructive interference at the Fano resonances. We observe and explain intensive sharp spikes in scattering cross section just behind the leading and trailing edges of the incident pulse. The latter occurs when the incident pulse is over and is explained by the electromagnetic energy released in the particle at the previous scattering stages. The accuracy of the models is checked against their comparison with results of the direct numerical integration of the complete set of Maxwell's equations and occurs very high. The models' advantages and disadvantages are revealed, and the ways to apply them to other types of dynamic resonant scattering are discussed.


beta Barium Borate (BBO) Absorption in the 0.188 6.22 mu m Range. The crystal of beta Barium Borate is widely used for nonlinear light wavelength conversion like harmonics generation and parametric amplification when pumped by the pulsed lasers and as electro optically switched Pockels cells. Modern lasers produce hundreds of watts of average power, thus thermal effects become important. In this work, absorption of the crystal is obtained by reviewing published data, results of measurements performed by the author and data provided by the optics industry.


Rate Splitting Random Access Mechanism for Massive Machine Type Communications in 5G Cellular Internet of Things. The cellular Internet of Things has resulted in the deployment of millions of machine type communication (MTC) devices. These massive number of devices must communicate with a single gNodeB (gNB) via the random access channel (RACH) mechanism. However, existing RACH mechanisms are inefficient when dealing with such large number of devices. To address this issue, we propose the rate splitting random access (RSRA) mechanism, which uses rate splitting and decoding in rate splitting multiple access (RSMA) to improve RACH success rates. The proposed mechanism divides the message into common and private messages and enhances the decoding performance. We demonstrate, using extensive simulations, that the proposed RSRA mechanism significantly improves the success rate of MTC in cellular IoT networks. We also evaluate the performance of the proposed mechanism with increasing number of devices and received power difference.


Extended virtual element method for two dimensional linear elastic fracture. In this paper, we propose an eXtended Virtual Element Method (X VEM) for two dimensional linear elastic fracture. This approach, which is an extension of the standard Virtual Element Method (VEM), facilitates mesh independent modeling of crack discontinuities and elastic crack tip singularities on general polygonal meshes. For elastic fracture in the X VEM, the standard virtual element space is augmented by additional basis functions that are constructed by multiplying standard virtual basis functions by suitable enrichment fields, such as asymptotic mixed mode crack tip solutions. The design of the X VEM requires an extended projector that maps functions lying in the extended virtual element space onto a set spanned by linear polynomials and the enrichment fields. An efficient scheme to compute the mixed mode stress intensity factors using the domain form of the interaction integral is described. The formulation permits integration of weakly singular functions to be performed over the boundary edges of the element. Numerical experiments are conducted on benchmark mixed mode linear elastic fracture problems that demonstrate the sound accuracy and optimal convergence in energy of the proposed formulation.


A single metagrating metastructure for wave based parallel analog computing. Wave based signal processing has witnessed a significant expansion of interest in a variety of science and engineering disciplines, as it provides new opportunities for achieving high speed and low power operations. Although flat optics desires integrable components to perform multiple missions, yet, the current wave based analog computers can engineer only the spatial content of the input signal where the processed signal obeys the traditional version of Snell's law. In this paper, we propose a multi functional metagrating to modulate both spatial and angular properties of the input signal whereby both symmetric and asymmetric optical transfer functions are realized using high order space harmonics. The performance of the designed compound metallic grating is validated through several investigations where closed form expressions are suggested to extract the phase and amplitude information of the diffractive modes. Several illustrative examples are demonstrated to show that the proposed metagrating allows for simultaneous parallel analog computing tasks such as first and second order spatial differentiation through a single multi channel structured surface. It is anticipated that the designed platform brings a new twist to the field of optical signal processing and opens up large perspectives for simple integrated image processing systems.


ChangeSim Towards End to End Online Scene Change Detection in Industrial Indoor Environments. We present a challenging dataset, ChangeSim, aimed at online scene change detection (SCD) and more. The data is collected in photo realistic simulation environments with the presence of environmental non targeted variations, such as air turbidity and light condition changes, as well as targeted object changes in industrial indoor environments. By collecting data in simulations, multi modal sensor data and precise ground truth labels are obtainable such as the RGB image, depth image, semantic segmentation, change segmentation, camera poses, and 3D reconstructions. While the previous online SCD datasets evaluate models given well aligned image pairs, ChangeSim also provides raw unpaired sequences that present an opportunity to develop an online SCD model in an end to end manner, considering both pairing and detection. Experiments show that even the latest pair based SCD models suffer from the bottleneck of the pairing process, and it gets worse when the environment contains the non targeted variations. Our dataset is available at http sammica.github.io ChangeSim .


Abelian varieties of prescribed order over finite fields. Given a prime power q and n gg 1 , we prove that every integer in a large subinterval of the Hasse Weil interval ( sqrt q 1) 2n ,( sqrt q 1) 2n is A( mathbb F q) for some geometrically simple ordinary principally polarized abelian variety A of dimension n over mathbb F q . As a consequence, we generalize a result of Howe and Kedlaya for mathbb F 2 to show that for each prime power q , every sufficiently large positive integer is realizable, i.e., A( mathbb F q) for some abelian variety A over mathbb F q . Our result also improves upon the best known constructions of sequences of simple abelian varieties with point counts towards the extremes of the Hasse Weil interval. A separate argument determines, for fixed n , the largest subinterval of the Hasse Weil interval consisting of realizable integers, asymptotically as q to infty this gives an asymptotically optimal improvement of a 1998 theorem of DiPippo and Howe. Our methods are effective We prove that if q le 5 , then every positive integer is realizable, and for arbitrary q , every positive integer ge q 3 sqrt q log q is realizable.


Improved multispecies Dougherty collisions. The Dougherty model Fokker Planck operator is extended to describe nonlinear full f collisions between multiple species in plasmas. Simple relations for cross species interactions are developed which obey conservation laws, and reproduce familiar velocity and temperature relaxation rates. This treatment of multispecies Dougherty collisions, valid for arbitrary mass ratios, satisfies the H Theorem unlike analogous Bhatnagar Gross Krook operators.


Local scaling limits of L 'evy driven fractional random fields. We obtain a complete description of local anisotropic scaling limits for a class of fractional random fields X on mathbb R 2 written as stochastic integral with respect to infinitely divisible random measure. The scaling procedure involves increments of X over points the distance between which in the horizontal and vertical directions shrinks as O( lambda) and O( lambda gamma) respectively as lambda downarrow 0 , for some gamma 0 . We consider two types of increments of X usual increment and rectangular increment, leading to the respective concepts of gamma tangent and gamma rectangent random fields. We prove that for above X both types of local scaling limits exist for any gamma 0 and undergo a transition, being independent of gamma gamma 0 and gamma gamma 0 , for some gamma 0 0 moreover, the "unbalanced" scaling limits ( gamma ne gamma 0 ) are (H 1,H 2) multi self similar with one of H i , i 1,2 , equal to 0 or 1 . The paper extends Pilipauskait .e and Surgailis (2017) and Surgailis (2020) on large scale anisotropic scaling of random fields on mathbb Z 2 and Benassi et al. (2004) on 1 tangent limits of isotropic fractional L 'evy random fields.


Constrained Secrecy Capacity of Finite Input Intersymbol Interference Wiretap Channels. We consider reliable and secure communication over intersymbol interference wiretap channels (ISI WTCs). In particular, we first examine the setup where the source at the input of an ISI WTC is unconstrained and then, based on a general achievability result for arbitrary wiretap channels, we derive an achievable secure information rate for this ISI WTC. Afterwards, we examine the setup where the source at the input of an ISI WTC is constrained to be a finite state machine source (FSMS) of a certain order and structure. Optimizing the parameters of this FSMS toward maximizing the secure information rate is a computationally intractable problem in general, and so, toward finding a local maximum, we propose an iterative algorithm that at every iteration replaces the secure information rate function by a suitable surrogate function whose maximum can be found efficiently. Although the secure information rates achieved in the unconstrained setup are expected to be larger than the secure information rates achieved in the constrained setup, the latter setup has the advantage of leading to efficient algorithms for estimating achievable secure rates and also has the benefit of being the basis of efficient encoding and decoding schemes.


A binary variant of gravitational search algorithm and its application to windfarm layout optimization problem. In the binary search space, GSA framework encounters the shortcomings of stagnation, diversity loss, premature convergence and high time complexity. To address these issues, a novel binary variant of GSA called A novel neighbourhood archives embedded gravitational constant in GSA for binary search space (BNAGGSA)' is proposed in this paper. In BNAGGSA, the novel fitness distance based social interaction strategy produces a self adaptive step size mechanism through which the agent moves towards the optimal direction with the optimal step size, as per its current search requirement. The performance of the proposed algorithm is compared with the two binary variants of GSA over 23 well known benchmark test problems. The experimental results and statistical analyses prove the supremacy of BNAGGSA over the compared algorithms. Furthermore, to check the applicability of the proposed algorithm in solving real world applications, a windfarm layout optimization problem is considered. Two case studies with two different wind data sets of two different wind sites is considered for experiments.


A chemical nano reactor based on a levitated nanoparticle in vacuum. A single levitated nanoparticle is used as a nano reactor for studying surface chemistry at the nanoscale. Optical levitation under controlled pressure, surrounding gas composition, and humidity provides extreme control over the nanoparticle, including dynamics, charge, and surface chemistry. Using a single nanoparticle avoids ensemble averages and allows to study how the presence of silanol groups at its surface affects the adsorption and desorption of water from the background gas with unprecedented real time, spatial, and temporal resolution. Here, we demonstrate the unique potential of this versatile platform by studying the Zhuravlev model in silica particles. In contrast to standard methods, our system allowed the first observation of an abrupt and irreversible change in scattering cross section, mass, and mechanical eigenfrequency during the dehydroxylation process, indicating changes in density, refractive index and volume.


Upper bounds for fractional joint moments of the Riemann zeta function. We establish upper bounds for the joint moments of the 2k text th power of the Riemann zeta function with the 2h text th power of its derivative for 0 leq h leq 1 and 1 leq k leq 2 . These bounds are expected to be sharp based upon predictions from random matrix theory.


Boundary Knowledge Translation based Reference Semantic Segmentation. Given a reference object of an unknown type in an image, human observers can effortlessly find the objects of the same category in another image and precisely tell their visual boundaries. Such visual cognition capability of humans seems absent from the current research spectrum of computer vision. Existing segmentation networks, for example, rely on a humongous amount of labeled data, which is laborious and costly to collect and annotate besides, the performance of segmentation networks tend to downgrade as the number of the category increases. In this paper, we introduce a novel Reference semantic segmentation Network (Ref Net) to conduct visual boundary knowledge translation. Ref Net contains a Reference Segmentation Module (RSM) and a Boundary Knowledge Translation Module (BKTM). Inspired by the human recognition mechanism, RSM is devised only to segment the same category objects based on the features of the reference objects. BKTM, on the other hand, introduces two boundary discriminator branches to conduct inner and outer boundary segmentation of the target objectin an adversarial manner, and translate the annotated boundary knowledge of open source datasets into the segmentation network. Exhaustive experiments demonstrate that, with tens of finely grained annotated samples as guidance, Ref Net achieves results on par with fully supervised methods on six datasets.


Violating Kirchhoff's Law of Thermal Radiation in Semitransparent Structures. Kirchhoff's law of thermal radiation imposes a constraint on photon based energy harvesting processes since part of the incident energy flux is inevitably emitted back to the source. By breaking the reciprocity of the system, it is possible to overcome this restriction and improve the efficiency of energy harvesting. Here, we design and analyze a semitransparent emitter that fully absorbs normally incident energy from a given direction with zero backward and unity forward emissivity. The nearly ideal performance with wavelength scale thickness is achieved due to the magneto optical effect and the guided mode resonance engineered in the emitter structure. We derive the general requirements for the nonreciprocal emitter using the temporal coupled mode theory and the symmetry considerations. Finally, we provide a realistic emitter design based on a photonic crystal slab consisting of a magnetic Weyl semimetal and silicon.


A Gauss Seidel projection method with the minimal number of updates for stray field in micromagnetic simulations. Magnetization dynamics in magnetic materials is often modeled by the Landau Lifshitz equation, which is solved numerically in general. In micromagnetic simulations, the computational cost relies heavily on the time marching scheme and the evaluation of stray field. Explicit marching schemes are efficient but suffer from severe stability constraints, while nonlinear systems of equations have to be solved in implicit schemes though they are unconditionally stable. A better compromise between stability and efficiency is the semi implicit scheme, such as the Gauss Seidel projection method (GSPM) and the second order backward differentiation formula scheme (BDF2). At each marching step, GSPM solves several linear systems of equations with constant coefficients and updates the stray field several times, while BDF2 updates the stray field only once but solves a larger linear system of equations with variable coefficients and a nonsymmetric structure. In this work, we propose a new method, dubbed as GSPM BDF2, by combing the advantages of both GSPM and BDF2. Like GSPM, this method is first order accurate in time and second order accurate in space, and is unconditionally stable with respect to the damping parameter. However, GSPM BDF2 updates the stray field only once per time step, leading to an efficiency improvement of about 60 than the state of the art GSPM for micromagnetic simulations. For Standard Problem 4 and 5 from National Institute of Standards and Technology, GSPM BDF2 reduces the computational time over the popular software OOMMF by 82 and 96 , respectively. Thus, the proposed method provides a more efficient choice for micromagnetic simulations.


Visual Semantic Transformer for Scene Text Recognition. Modeling semantic information is helpful for scene text recognition. In this work, we propose to model semantic and visual information jointly with a Visual Semantic Transformer (VST). The VST first explicitly extracts primary semantic information from visual feature maps with a transformer module and a primary visual semantic alignment module. The semantic information is then joined with the visual feature maps (viewed as a sequence) to form a pseudo multi domain sequence combining visual and semantic information, which is subsequently fed into an transformer based interaction module to enable learning of interactions between visual and semantic features. In this way, the visual features can be enhanced by the semantic information and vice versus. The enhanced version of visual features are further decoded by a secondary visual semantic alignment module which shares weights with the primary one. Finally, the decoded visual features and the enhanced semantic features are jointly processed by the third transformer module obtaining the final text prediction. Experiments on seven public benchmarks including regular irregular text recognition datasets verifies the effectiveness our proposed model, reaching state of the art on four of the seven benchmarks.


Replicating analyses of item response curves using data from the Force and Motion Conceptual Evaluation. Ishimoto, Davenport, and Wittmann have previously reported analyses of data from student responses to the Force and Motion Conceptual Evaluation (FMCE), in which they used item response curves (IRCs) to make claims about American and Japanese students' relative likelihood to choose certain incorrect responses to some questions. We have used an independent data set of over 6,500 American students' responses to the FMCE to generate IRCs to test their claims. Converting the IRCs to vectors, we used dot product analysis to compare each response item quantitatively. For most questions, our analyses are consistent with Ishimoto, Davenport, and Wittmann, with some results suggesting more minor differences between American and Japanese students than previously reported. We also highlight the pedagogical advantages of using IRCs to determine the differences in response patterns for different populations to better understand student thinking prior to instruction.


Order flow and price formation. I present an overview of some recent advancements on the empirical analysis and theoretical modeling of the process of price formation in financial markets as the result of the arrival of orders in a limit order book exchange. After discussing critically the possible modeling approaches and the observed stylized facts of order flow, I consider in detail market impact and transaction cost of trades executed incrementally over an extended period of time, by comparing model predictions and recent extensive empirical results. I also discuss how the simultaneous presence of many algorithmic trading executions affects the quality and cost of trading.


On the dynamics of the contagious rate under isolation measures. The infection dynamics of a population under stationary isolation conditions is modeled. It is underlined that the stationary character of the isolation measures can be expected to imply that an effective SIR model with constant parameters should describe the infection process. Then, a derivation of this property is presented, assuming that the statistical fluctuations in the number of infection and recovered cases are disregarded. This effective SIR model shows a reduced population number and a constant beta parameter. The effects of also including the retardation between recovery and infection process is also considered. Next, it is shown that any solution of the effective SIR also solves the linear problem to which the SIR equations reduce when the total population is much larger than the number of the infected cases. Then, it is also argued that this equivalence follows for a specific contagious parameter beta(t) which time dependence is analytically derived here. Then, two equivalent predictive calculational methods for the infection dynamics under stationary isolation measures are proposed. The results represent a solutions for the known and challenging problem of defining the time dependence of the contagion parameter, when the SIR parameter N is assumed to be the whole population number. Finally, the model is applied to describe the known infection curves for countries that already had passed the epidemic process under strict stationary isolation measures. The cases of Iceland, New Zealand, Korea and Cuba were considered. Although, non subject to stationary isolation measures the cases of U.S.A. and Mexico are also examined due to their interest. The results support the argued validity of SIR model including retardation.


Systematic Mapping Protocol Reasoning Algorithms on Feature Model. Context The importance of the feature modeling for the software product lines considering the modeling and management of the variability. Objective Define a protocol to conduct a systematic mapping study to summarize and synthesize the evidence on reasoning algorithms for feature modeling. Method Application the protocol to conduct a systematic mapping study according the guidelines of K. Petersen. Results A validated protocol to conduct a systematic mapping study. Conclusions Initial findings show that a more detailed review for the different reasoning algorithms for feature modeling is needed.


ZoPE A Fast Optimizer for ReLU Networks with Low Dimensional Inputs. Deep neural networks often lack the safety and robustness guarantees needed to be deployed in safety critical systems. Formal verification techniques can be used to prove input output safety properties of networks, but when properties are difficult to specify, we rely on the solution to various optimization problems. In this work, we present an algorithm called ZoPE that solves optimization problems over the output of feedforward ReLU networks with low dimensional inputs. The algorithm eagerly splits the input space, bounding the objective using zonotope propagation at each step, and improves computational efficiency compared to existing mixed integer programming approaches. We demonstrate how to formulate and solve three types of optimization problems (i) minimization of any convex function over the output space, (ii) minimization of a convex function over the output of two networks in series with an adversarial perturbation in the layer between them, and (iii) maximization of the difference in output between two networks. Using ZoPE, we observe a 25 times speedup on property 1 of the ACAS Xu neural network verification benchmark and an 85 times speedup on a set of linear optimization problems. We demonstrate the versatility of the optimizer in analyzing networks by projecting onto the range of a generative adversarial network and visualizing the differences between a compressed and uncompressed network.


Protein Folding Neural Networks Are Not Robust. Deep neural networks such as AlphaFold and RoseTTAFold predict remarkably accurate structures of proteins compared to other algorithmic approaches. It is known that biologically small perturbations in the protein sequence do not lead to drastic changes in the protein structure. In this paper, we demonstrate that RoseTTAFold does not exhibit such a robustness despite its high accuracy, and biologically small perturbations for some input sequences result in radically different predicted protein structures. This raises the challenge of detecting when these predicted protein structures cannot be trusted. We define the robustness measure for the predicted structure of a protein sequence to be the inverse of the root mean square distance (RMSD) in the predicted structure and the structure of its adversarially perturbed sequence. We use adversarial attack methods to create adversarial protein sequences, and show that the RMSD in the predicted protein structure ranges from 0.119 r A to 34.162 r A when the adversarial perturbations are bounded by 20 units in the BLOSUM62 distance. This demonstrates very high variance in the robustness measure of the predicted structures. We show that the magnitude of the correlation (0.917) between our robustness measure and the RMSD between the predicted structure and the ground truth is high, that is, the predictions with low robustness measure cannot be trusted. This is the first paper demonstrating the susceptibility of RoseTTAFold to adversarial attacks.


Learning Oriented Remote Sensing Object Detection via Naive Geometric Computing. Detecting oriented objects along with estimating their rotation information is one crucial step for analyzing remote sensing images. Despite that many methods proposed recently have achieved remarkable performance, most of them directly learn to predict object directions under the supervision of only one (e.g. the rotation angle) or a few (e.g. several coordinates) groundtruth values individually. Oriented object detection would be more accurate and robust if extra constraints, with respect to proposal and rotation information regression, are adopted for joint supervision during training. To this end, we innovatively propose a mechanism that simultaneously learns the regression of horizontal proposals, oriented proposals, and rotation angles of objects in a consistent manner, via naive geometric computing, as one additional steady constraint (see Figure 1). An oriented center prior guided label assignment strategy is proposed for further enhancing the quality of proposals, yielding better performance. Extensive experiments demonstrate the model equipped with our idea significantly outperforms the baseline by a large margin to achieve a new state of the art result without any extra computational burden during inference. Our proposed idea is simple and intuitive that can be readily implemented. Source codes and trained models are involved in supplementary files.


An extension of the Geometric Modulus Principle to holomorphic and harmonic functions. Kalantari's Geometric Modulus Principle describes the local behavior of the modulus of a polynomial. Specifically, if p(z) a 0 sum j k n a j left(z z 0 right) j, a 0a ka n neq 0 , then the complex plane near z z 0 comprises 2k sectors of angle frac pi k , alternating between arguments of ascent (angles theta where p(z 0 te i theta ) p(z 0) for small t ) and arguments of descent (where the opposite inequality holds). In this paper, we generalize the Geometric Modulus Principle to holomorphic and harmonic functions. As in Kalantari's original paper, we use these extensions to give succinct, elegant new proofs of some classical theorems from analysis.


Read, Retrospect, Select An MRC Framework to Short Text Entity Linking. Entity linking (EL) for the rapidly growing short text (e.g. search queries and news titles) is critical to industrial applications. Most existing approaches relying on adequate context for long text EL are not effective for the concise and sparse short text. In this paper, we propose a novel framework called Multi turn Multiple choice Machine reading comprehension (M3 ) to solve the short text EL from a new perspective a query is generated for each ambiguous mention exploiting its surrounding context, and an option selection module is employed to identify the golden entity from candidates using the query. In this way, M3 framework sufficiently interacts limited context with candidate entities during the encoding process, as well as implicitly considers the dissimilarities inside the candidate bunch in the selection stage. In addition, we design a two stage verifier incorporated into M3 to address the commonly existed unlinkable problem in short text. To further consider the topical coherence and interdependence among referred entities, M3 leverages a multi turn fashion to deal with mentions in a sequence manner by retrospecting historical cues. Evaluation shows that our M3 framework achieves the state of the art performance on five Chinese and English datasets for the real world short text EL.


DBIA Data free Backdoor Injection Attack against Transformer Networks. Recently, transformer architecture has demonstrated its significance in both Natural Language Processing (NLP) and Computer Vision (CV) tasks. Though other network models are known to be vulnerable to the backdoor attack, which embeds triggers in the model and controls the model behavior when the triggers are presented, little is known whether such an attack is still valid on the transformer models and if so, whether it can be done in a more cost efficient manner. In this paper, we propose DBIA, a novel data free backdoor attack against the CV oriented transformer networks, leveraging the inherent attention mechanism of transformers to generate triggers and injecting the backdoor using the poisoned surrogate dataset. We conducted extensive experiments based on three benchmark transformers, i.e., ViT, DeiT and Swin Transformer, on two mainstream image classification tasks, i.e., CIFAR10 and ImageNet. The evaluation results demonstrate that, consuming fewer resources, our approach can embed backdoors with a high success rate and a low impact on the performance of the victim transformers. Our code is available at https anonymous.4open.science r DBIA 825D.


Body Size and Depth Disambiguation in Multi Person Reconstruction from Single Images. We address the problem of multi person 3D body pose and shape estimation from a single image. While this problem can be addressed by applying single person approaches multiple times for the same scene, recent works have shown the advantages of building upon deep architectures that simultaneously reason about all people in the scene in a holistic manner by enforcing, e.g., depth order constraints or minimizing interpenetration among reconstructed bodies. However, existing approaches are still unable to capture the size variability of people caused by the inherent body scale and depth ambiguity. In this work, we tackle this challenge by devising a novel optimization scheme that learns the appropriate body scale and relative camera pose, by enforcing the feet of all people to remain on the ground floor. A thorough evaluation on MuPoTS 3D and 3DPW datasets demonstrates that our approach is able to robustly estimate the body translation and shape of multiple people while retrieving their spatial arrangement, consistently improving current state of the art, especially in scenes with people of very different heights


Multimotion Visual Odometry (MVO). Visual motion estimation is a well studied challenge in autonomous navigation. Recent work has focused on addressing multimotion estimation in highly dynamic environments. These environments not only comprise multiple, complex motions but also tend to exhibit significant occlusion. Estimating third party motions simultaneously with the sensor egomotion is difficult because an object's observed motion consists of both its true motion and the sensor motion. Most previous works in multimotion estimation simplify this problem by relying on appearance based object detection or application specific motion constraints. These approaches are effective in specific applications and environments but do not generalize well to the full multimotion estimation problem (MEP). This paper presents Multimotion Visual Odometry (MVO), a multimotion estimation pipeline that estimates the full SE(3) trajectory of every motion in the scene, including the sensor egomotion, without relying on appearance based information. MVO extends the traditional visual odometry (VO) pipeline with multimotion segmentation and tracking techniques. It uses physically founded motion priors to extrapolate motions through temporary occlusions and identify the reappearance of motions through motion closure. Evaluations on real world data from the Oxford Multimotion Dataset (OMD) and the KITTI Vision Benchmark Suite demonstrate that MVO achieves good estimation accuracy compared to similar approaches and is applicable to a variety of multimotion estimation challenges.


There are no valid points of criticism in Tyshkovskiy and Panchin's response (10.1002 bies.202000325) to our paper "The genetic structure of SARS CoV 2 does not rule out a laboratory origin" (DOI 10.1002 bies.202000240). Tyshkovskiy and Panchin have recently published a commentary on our paper in which they outline several "points of disagreement with the Segreto Deigin hypothesis". As our paper is titled "The genetic structure of SARS CoV 2 does not rule out a laboratory origin", points of disagreement should provide evidence that rules out a laboratory origin. However, Tyshkovskiy and Panchin provide no such evidence and instead attempt to criticize our arguments that highlight aspects of SARS CoV 2 that could be consistent with the lab leak hypothesis. Strikingly, Tyshkovskiy and Panchin's main point of criticism is based on a false premise that we have claimed RaTG13 to be a direct progenitor of SARS CoV 2, and their other points of criticism are either incorrect or irrelevant to our hypotheses. Thus, the genetic structure of SARS CoV 2 remains consistent with both natural or laboratory origin, which means that both the zoonotic and the lab leak hypothesis need to be investigated equally thoroughly.


Pollicott Ruelle resolvent and Sobolev regularity. In this note we compute the threshold regularity for meromorphic continuation of the Pollicott Ruelle resolvent of an Anosov flow as an operator on anisotropic Sobolev spaces, in the setting of lifts to general vector bundles. These thresholds are related to the Sobolev regularity needed for the decay of correlations.


Reconstruction of People in Loose Clothing. 3D human body reconstruction from monocular images is an interesting and ill posed problem in computer vision with wider applications in multiple domains. In this paper, we propose SHARP, a novel end to end trainable network that accurately recovers the detailed geometry and appearance of 3D people in loose clothing from a monocular image. We propose a sparse and efficient fusion of a parametric body prior with a non parametric peeled depth map representation of clothed models. The parametric body prior constraints our model in two ways first, the network retains geometrically consistent body parts that are not occluded by clothing, and second, it provides a body shape context that improves prediction of the peeled depth maps. This enables SHARP to recover fine grained 3D geometrical details with just L1 losses on the 2D maps, given an input image. We evaluate SHARP on publicly available Cloth3D and THuman datasets and report superior performance to state of the art approaches.


Probabilistic Deep Learning to Quantify Uncertainty in Air Quality Forecasting. Data driven forecasts of air quality have recently achieved more accurate short term predictions. Despite their success, most of the current data driven solutions lack proper quantifications of model uncertainty that communicate how much to trust the forecasts. Recently, several practical tools to estimate uncertainty have been developed in probabilistic deep learning. However, there have not been empirical applications and extensive comparisons of these tools in the domain of air quality forecasts. Therefore, this work applies state of the art techniques of uncertainty quantification in a real world setting of air quality forecasts. Through extensive experiments, we describe training probabilistic models and evaluate their predictive uncertainties based on empirical performance, reliability of confidence estimate, and practical applicability. We also propose improving these models using "free" adversarial training and exploiting temporal and spatial correlation inherent in air quality data. Our experiments demonstrate that the proposed models perform better than previous works in quantifying uncertainty in data driven air quality forecasts. Overall, Bayesian neural networks provide a more reliable uncertainty estimate but can be challenging to implement and scale. Other scalable methods, such as deep ensemble, Monte Carlo (MC) dropout, and stochastic weight averaging Gaussian (SWAG), can perform well if applied correctly but with different tradeoffs and slight variations in performance metrics. Finally, our results show the practical impact of uncertainty estimation and demonstrate that, indeed, probabilistic models are more suitable for making informed decisions. Code and dataset are available at url https github.com Abdulmajid Murad deep probabilistic forecast


Asymptotic error in the eigenfunction expansion for the Green's function of a Sturm Liouville problem. We study the asymptotic error arising when approximating the Green's function of a Sturm Liouville problem through a truncation of its eigenfunction expansion, both for the Green's function of a regular Sturm Liouville problem and for the Green's function associated with the Hermite polynomials, the associated Laguerre polynomials, and the Jacobi polynomials, respectively. We prove that the asymptotic error obtained on the diagonal can be expressed in terms of the coefficients of the related second order Sturm Liouville differential equation, and that the suitable scaling exponent which yields a non degenerate limit on the diagonal depends on the asymptotic behaviour of the corresponding eigenvalues. We further consider the asymptotic error away from the diagonal and analyse which scaling exponents ensure that it remains at zero. For the Hermite polynomials, the associated Laguerre polynomials, and the Jacobi polynomials, a Christoffel Darboux type formula, which we establish for all classical orthogonal polynomial systems, allows us to obtain a better control away from the diagonal than what a sole application of known asymptotic formulae gives. As a consequence of our study for regular Sturm Liouville problems, we identify the fluctuations for the Karhunen Lo eve expansion of Brownian motion.


FIXME Enhance Software Reliability with Hybrid Approaches in Cloud. With the promise of reliability in cloud, more enterprises are migrating to cloud. The process of continuous integration deployment (CICD) in cloud connects developers who need to deliver value faster and more transparently with site reliability engineers (SREs) who need to manage applications reliably. SREs feed back development issues to developers, and developers commit fixes and trigger CICD to redeploy. The release cycle is more continuous than ever, thus the code to production is faster and more automated. To provide this higher level agility, the cloud platforms become more complex in the face of flexibility with deeper layers of virtualization. However, reliability does not come for free with all these complexities. Software engineers and SREs need to deal with wider information spectrum from virtualized layers. Therefore, providing correlated information with true positive evidences is critical to identify the root cause of issues quickly in order to reduce mean time to recover (MTTR), performance metrics for SREs. Similarity, knowledge, or statistics driven approaches have been effective, but with increasing data volume and types, an individual approach is limited to correlate semantic relations of different data sources. In this paper, we introduce FIXME to enhance software reliability with hybrid diagnosis approaches for enterprises. Our evaluation results show using hybrid diagnosis approach is about 17 better in precision. The results are helpful for both practitioners and researchers to develop hybrid diagnosis in the highly dynamic cloud environment.


SiMPLeR A Series Elastic Manipulator with Passive Variable Stiffness for Legged Robots. We propose a mechanically simple and cheap design for a series elastic actuator with controllable stiffness. Such characteristics are necessary for animals for running, jumping, throwing, and manipulation, yet in robots, variable stiffness actuators are either complicated or mimicked at low bandwidth through feedback controllers. A robust and simple design is needed to build reliable and cheap robots with animal capabilities. The key insight of our design is attaching torsional springs to timing belts to create a variable stiffness linear spring. In an antagonistic pair, varying the distance between motor and joint then varies the actuator stiffness. We build a prototype of our proposed actuator, show the theoretical behavior matches the experimental characterization, and demonstrate an application to robotic one legged hopping.


Clustering of Pain Dynamics in Sickle Cell Disease from Sparse, Uneven Samples. Irregularly sampled time series data are common in a variety of fields. Many typical methods for drawing insight from data fail in this case. Here we attempt to generalize methods for clustering trajectories to irregularly and sparsely sampled data. We first construct synthetic data sets, then propose and assess four methods of data alignment to allow for application of spectral clustering. We also repeat the same process for real data drawn from medical records of patients with sickle cell disease patients whose subjective experiences of pain were tracked for several months via a mobile app. We find that different methods for aligning irregularly sampled sparse data sets can lead to different optimal numbers of clusters, even for synthetic data with known properties. For the case of sickle cell disease, we find that three clusters is a reasonable choice, and these appear to correspond to (1) a low pain group with occasionally acute pain, (2) a group which experiences moderate mean pain that fluctuates often from low to high, and (3) a group that experiences persistent high levels of pain. Our results may help physicians and patients better understand and manage patients' pain levels over time, and we expect that the methods we develop will apply to a wide range of other data sources in medicine and beyond.


Evolution of states of an infinite particle system with nonlocal branching. We study the evolution of states of an infinite system of point particles dwelling in a locally compact Polish space X . Each particle produces at random a finite cloud' of offsprings distributed over X according to some law, and disappears afterwards. The system's states are probability measures on an appropriate space of locally finite counting measures on X . Their evolution is obtained by solving the corresponding Fokker Planck equation. We prove that this equation has a unique solution and discuss some of its properties. Our pivotal idea of dealing with infinite systems consists in passing to tempered counting measures by imposing appropriate restrictions on the branching. In this approach, we first solve a nonlinear evolution equation in the space of bounded continuous functions on X so called log Laplace equation. Next we solve the Kolmogorov equation which is then used to solve the Fokker Planck equation and thus describe the evolution in question.


SegFormer Simple and Efficient Design for Semantic Segmentation with Transformers. We present SegFormer, a simple, efficient yet powerful semantic segmentation framework which unifies Transformers with lightweight multilayer perception (MLP) decoders. SegFormer has two appealing features 1) SegFormer comprises a novel hierarchically structured Transformer encoder which outputs multiscale features. It does not need positional encoding, thereby avoiding the interpolation of positional codes which leads to decreased performance when the testing resolution differs from training. 2) SegFormer avoids complex decoders. The proposed MLP decoder aggregates information from different layers, and thus combining both local attention and global attention to render powerful representations. We show that this simple and lightweight design is the key to efficient segmentation on Transformers. We scale our approach up to obtain a series of models from SegFormer B0 to SegFormer B5, reaching significantly better performance and efficiency than previous counterparts. For example, SegFormer B4 achieves 50.3 mIoU on ADE20K with 64M parameters, being 5x smaller and 2.2 better than the previous best method. Our best model, SegFormer B5, achieves 84.0 mIoU on Cityscapes validation set and shows excellent zero shot robustness on Cityscapes C. Code will be released at github.com NVlabs SegFormer.


Multi Objective Meta Learning. Meta learning with multiple objectives can be formulated as a Multi Objective Bi Level optimization Problem (MOBLP) where the upper level subproblem is to solve several possible conflicting targets for the meta learner. However, existing studies either apply an inefficient evolutionary algorithm or linearly combine multiple objectives as a single objective problem with the need to tune combination weights. In this paper, we propose a unified gradient based Multi Objective Meta Learning (MOML) framework and devise the first gradient based optimization algorithm to solve the MOBLP by alternatively solving the lower level and upper level subproblems via the gradient descent method and the gradient based multi objective optimization method, respectively. Theoretically, we prove the convergence properties of the proposed gradient based optimization algorithm. Empirically, we show the effectiveness of the proposed MOML framework in several meta learning problems, including few shot learning, neural architecture search, domain adaptation, and multi task learning.


L 2 blowup estimates of the plate equation. We consider the Cauchy problems in n dimensional Euclidean space for the plate equation with a weighted L 1 initial data. We derive optimal estimates of the L 2 norm of solutions for n 1, 2, 3, 4. In particular, such obtained results express infinite time blowup properties in the case when the 0 th moment of the initial velocity does not vanish. The idea to derive them is strongly inspired from an already developed technique by the author's collaborative works.


Anomaly Detection in Multi Agent Trajectories for Automated Driving. Human drivers can recognise fast abnormal driving situations to avoid accidents. Similar to humans, automated vehicles are supposed to perform anomaly detection. In this work, we propose the spatio temporal graph auto encoder for learning normal driving behaviours. Our innovation is the ability to jointly learn multiple trajectories of a dynamic number of agents. To perform anomaly detection, we first estimate a density function of the learned trajectory feature representation and then detect anomalies in low density regions. Due to the lack of multi agent trajectory datasets for anomaly detection in automated driving, we introduce our dataset using a driving simulator for normal and abnormal manoeuvres. Our evaluations show that our approach learns the relation between different agents and delivers promising results compared to the related works. The code, simulation and the dataset are publicly available on https github.com againerju maad highway.


A novel segmentation dataset for signatures on bank checks. The dataset presented provides high resolution images of real, filled out bank checks containing various complex backgrounds, and handwritten text and signatures in the respective fields, along with both pixel level and patch level segmentation masks for the signatures on the checks. The images of bank checks were obtained from different sources, including other publicly available check datasets, publicly available images on the internet, as well as scans and images of real checks. Using the GIMP graphics software, pixel level segmentation masks for signatures on these checks were manually generated as binary images. An automated script was then used to generate patch level masks. The dataset was created to train and test networks for extracting signatures from bank checks and other similar documents with very complex backgrounds.


AAformer Auto Aligned Transformer for Person Re Identification. In person re identification, extracting part level features from person images has been verified to be crucial. Most of existing CNN based methods only locate the human parts coarsely, or rely on pre trained human parsing models and fail in locating the identifiable non human parts (e.g., knapsack). In this paper, we introduce an alignment scheme in Transformer architecture for the first time and propose the Auto Aligned Transformer (AAformer) to automatically locate both the human parts and non human ones at patch level. We introduce the "part tokens", which are learnable vectors, to extract part features in Transformer. A part token only interacts with a local subset of patches in self attention and learns to be the part representation. To adaptively group the image patches into different subsets, we design the Auto Alignment. Auto Alignment employs a fast variant of Optimal Transport algorithm to online cluster the patch embeddings into several groups with the part tokens as their prototypes. We harmoniously integrate the part alignment into the self attention and the output part tokens can be directly used for retrieval. Extensive experiments validate the effectiveness of part tokens and the superiority of AAformer over various state of the art methods.


An averaging principle for a completely integrable stochastic Hamiltonian system. We investigate the effective behaviour of a small transversal perturbation of order epsilon to a completely integrable stochastic Hamiltonian system, by which we mean a stochastic differential equation whose diffusion vector fields are formed from a completely integrable family of Hamiltonian functions H i, i 1, dots n . An averaging principle is shown to hold and the action component of the solution converges, as epsilon to 0 , to the solution of a deterministic system of differential equations when the time is rescaled at 1 epsilon . An estimate for the rate of the convergence is given. In the case when the perturbation is a Hamiltonian vector field, the limiting deterministic system is constant in which case we show that the action component of the solution scaled at 1 epsilon 2 converges to that of a limiting stochastic differentiable equation.


Extending Multi Sense Word Embedding to Phrases and Sentences for Unsupervised Semantic Applications. Most unsupervised NLP models represent each word with a single point or single region in semantic space, while the existing multi sense word embeddings cannot represent longer word sequences like phrases or sentences. We propose a novel embedding method for a text sequence (a phrase or a sentence) where each sequence is represented by a distinct set of multi mode codebook embeddings to capture different semantic facets of its meaning. The codebook embeddings can be viewed as the cluster centers which summarize the distribution of possibly co occurring words in a pre trained word embedding space. We introduce an end to end trainable neural model that directly predicts the set of cluster centers from the input text sequence during test time. Our experiments show that the per sentence codebook embeddings significantly improve the performances in unsupervised sentence similarity and extractive summarization benchmarks. In phrase similarity experiments, we discover that the multi facet embeddings provide an interpretable semantic representation but do not outperform the single facet baseline.


Quantifying uncertainty about global and regional economic impacts of climate change. The economic impacts of climate change are highly uncertain. Two of the most important uncertainties are the sensitivity of the climate system and the so called damage functions, which relate climate change to economic damages and benefits. Despite broad awareness of these uncertainties, it is unclear which of them is most important, both on the global as well as the regional level. Here we apply different damage functions to data from climate models with vastly different climate sensitivities, and find that uncertainty in both climate sensitivity and economic damage per degree of warming are of similar importance for the global economic impact. Increasing the climate sensitivity or the sensitivity of the damage function both increases the economic damages globally. Yet, at the country level the effect varies depending on the initial temperature as well as how much the country warms. Our findings emphasise the importance of including these uncertainties in estimates of future economic impacts, as they both are vital for the resulting impacts and thus policy implications.


Recurrent Video Deblurring with Blur Invariant Motion Estimation and Pixel Volumes. For the success of video deblurring, it is essential to utilize information from neighboring frames. Most state of the art video deblurring methods adopt motion compensation between video frames to aggregate information from multiple frames that can help deblur a target frame. However, the motion compensation methods adopted by previous deblurring methods are not blur invariant, and consequently, their accuracy is limited for blurry frames with different blur amounts. To alleviate this problem, we propose two novel approaches to deblur videos by effectively aggregating information from multiple video frames. First, we present blur invariant motion estimation learning to improve motion estimation accuracy between blurry frames. Second, for motion compensation, instead of aligning frames by warping with estimated motions, we use a pixel volume that contains candidate sharp pixels to resolve motion estimation errors. We combine these two processes to propose an effective recurrent video deblurring network that fully exploits deblurred previous frames. Experiments show that our method achieves the state of the art performance both quantitatively and qualitatively compared to recent methods that use deep learning.


Explicit estimates for zeta(s) in the critical strip under the Riemann Hypothesis. Assuming the Riemann Hypothesis, we provide effective upper and lower estimates for left zeta(s) right right to the critical line. As an application we make explicit Titchmarsh's conditional bound for the Mertens function and Montgomery Vaughan's conditional bound for the number of k free numbers.


A note on Bernstein Sato ideals. We define the Bernstein Sato ideal associated to a tuple of ideals and we relate it to the jumping points of the corresponding mixed multiplier ideals.


Membranes with thin and heavy inclusions asymptotics of spectra. We study the asymptotic behaviour of eigenvalues and eigenfunctions of 2D vibrating systems with mass density perturbed in a vicinity of closed curves. The threshold case in which resonance frequencies of the membrane and thin inclusion coincide or closely situated is investigated. The perturbed eigenvalue problem can be realized as a family of self adjoint operators acting on varying Hilbert spaces. However the so called limit operator which is ultimately responsible for the asymptotics of eigenvalues and eigenfunctions is non self adjoint and possesses the Jordan chains of length 2 . Apart from the lack of self adjointness, the operator has non compact resolvent. As a consequence, its spectrum has a complicated structure, for instance, the spectrum contains a countable set of eigenvalues with infinite multiplicity.


Grounded Language Image Pre training. This paper presents a grounded language image pre training (GLIP) model for learning object level, language aware, and semantic rich visual representations. GLIP unifies object detection and phrase grounding for pre training. The unification brings two benefits 1) it allows GLIP to learn from both detection and grounding data to improve both tasks and bootstrap a good grounding model 2) GLIP can leverage massive image text pairs by generating grounding boxes in a self training fashion, making the learned representation semantic rich. In our experiments, we pre train GLIP on 27M grounding data, including 3M human annotated and 24M web crawled image text pairs. The learned representations demonstrate strong zero shot and few shot transferability to various object level recognition tasks. 1) When directly evaluated on COCO and LVIS (without seeing any images in COCO during pre training), GLIP achieves 49.8 AP and 26.9 AP, respectively, surpassing many supervised baselines. 2) After fine tuned on COCO, GLIP achieves 60.8 AP on val and 61.5 AP on test dev, surpassing prior SoTA. 3) When transferred to 13 downstream object detection tasks, a 1 shot GLIP rivals with a fully supervised Dynamic Head. Code will be released at https github.com microsoft GLIP.


Approximate observability and back and forth observer of a PDE model of crystallisation process. In this paper, we are interested in the estimation of Particle Size Distributions (PSDs) during a batch crystallization process in which particles of two different shapes coexist and evolve simultaneously. The PSDs are estimated thanks to a measurement of an apparent Chord Length Distribution (CLD), a measure that we model for crystals of spheroidal shape. Our main result is to prove the approximate observability of the infinite dimensional system in any positive time. Under this observability condition, we are able to apply a Back and Forth Nudging (BFN) algorithm to reconstruct the PSD.


On PyTorch Implementation of Density Estimators for von Mises Fisher and Its Mixture. The von Mises Fisher (vMF) is a well known density model for directional random variables. The recent surge of the deep embedding methodologies for high dimensional structured data such as images or texts, aimed at extracting salient directional information, can make the vMF model even more popular. In this article, we will review the vMF model and its mixture, provide detailed recipes of how to train the models, focusing on the maximum likelihood estimators, in Python PyTorch. In particular, implementation of vMF typically suffers from the notorious numerical issue of the Bessel function evaluation in the density normalizer, especially when the dimensionality is high, and we address the issue using the MPMath library that supports arbitrary precision. For the mixture learning, we provide both minibatch based large scale SGD learning, as well as the EM algorithm which is a full batch estimator. For each estimator methodology, we test our implementation on some synthetic data, while we also demonstrate the use case in a more realistic scenario of image clustering. Our code is publicly available in https github.com minyoungkim21 vmf lib.


A Monte Carlo method for solving the electromagnetic scattering problem in dielectric bodies. In this work, we develop a novel Monte Carlo method for solving the electromagnetic scattering problem. The method is based on a formal solution of the scattering problem as a modified Born series whose coefficients are found by a conformal transformation. The terms of the Born series are approximated by sampling random elements of its matrix representation, computed by the Method of Moments. Unlike other techniques as the Fast Multiple Method, this Monte Carlo method does not require communications between processors, which makes it suitable for large parallel executions.


Interpolated family of non group like simple integral fusion rings of Lie type. This paper computes the generic fusion rules of the Grothendieck ring of Rep(PSL(2,q)), q prime power, by applying the Schur orthogonality relations on the generic character table. It then proves that this family of fusion rings interpolates to all integers q 1, providing (when q is not prime power) the first example of infinite family of non group like simple integral fusion rings. Furthermore, they pass all the known criteria of (unitary) categorification. This provides infinitely many serious candidates for solving the famous open problem of whether there exists an integral fusion category which is not weakly group theoretical. A braiding criterion is finally discussed.


An Orthogonal Classifier for Improving the Adversarial Robustness of Neural Networks. Neural networks are susceptible to artificially designed adversarial perturbations. Recent efforts have shown that imposing certain modifications on classification layer can improve the robustness of the neural networks. In this paper, we explicitly construct a dense orthogonal weight matrix whose entries have the same magnitude, thereby leading to a novel robust classifier. The proposed classifier avoids the undesired structural redundancy issue in previous work. Applying this classifier in standard training on clean data is sufficient to ensure the high accuracy and good robustness of the model. Moreover, when extra adversarial samples are used, better robustness can be further obtained with the help of a special worst case loss. Experimental results show that our method is efficient and competitive to many state of the art defensive approaches. Our code is available at url https github.com MTandHJ roboc .


Toward Collaborative Reinforcement Learning Agents that Communicate Through Text Based Natural Language. Communication between agents in collaborative multi agent settings is in general implicit or a direct data stream. This paper considers text based natural language as a novel form of communication between multiple agents trained with reinforcement learning. This could be considered first steps toward a truly autonomous communication without the need to define a limited set of instructions, and natural collaboration between humans and robots. Inspired by the game of Blind Leads, we propose an environment where one agent uses natural language instructions to guide another through a maze. We test the ability of reinforcement learning agents to effectively communicate through discrete word level symbols and show that the agents are able to sufficiently communicate through natural language with a limited vocabulary. Although the communication is not always perfect English, the agents are still able to navigate the maze. We achieve a BLEU score of 0.85, which is an improvement of 0.61 over randomly generated sequences while maintaining a 100 maze completion rate. This is a 3.5 times the performance of the random baseline using our reference set.


The box dimension of degenerate spiral trajectories of a class of ordinary differential equations. In this paper we initiate the study of the box dimension of degenerate spiral trajectories of a class of ordinary differential equations. A class of singularities of focus type with two zero eigenvalues (nilpotent or more degenerate) has been studied. We find the box dimension of a polynomial degenerate focus of type (n,n) by exploiting the well known fractal results for alpha power spirals. In the general (m,n) case, we formulate a conjecture about the box dimension of a degenerate focus. Further, we reduce the fractal analysis of planar nilpotent contact points to the study of the box dimension of a slow fast spiral generated by their "entry exit" function. There exists a bijective correspondence between the box dimension of the slow fast spiral and the codimension of contact points. We also construct a three dimensional vector field that contains a degenerate spiral, called an elliptical power spiral, as a trajectory.


Cumulants asymptotics for the zeros counting measure of real Gaussian processes. We compute the exact asymptotics for the cumulants of linear statistics associated with the zeros counting measure of a large class of real Gaussian processes. Precisely, we show that if the underlying covariance function is regular and square integrable, the cumulants of order higher than two of these statistics asymptotically vanish. This result implies in particular that the number of zeros of such processes satisfies a central limit theorem. Our methods refines the recent approach by T. Letendre and M. Ancona and allows us to prove a stronger quantitative asymptotics, under weaker hypotheses on the underlying process. The proof exploits in particular the elegant interplay between the combinatorial structures of cumulants and factorial moments in order to simplify the determination of the asymptotics of nodal observables. The class of processes addressed by our main theorem englobes as motivating examples random Gaussian trigonometric polynomials, random orthogonal polynomials and the universal Gaussian process with sinc kernel on the real line, for which the asymptotics of higher moments of the number of zeros were so far only conjectured.


Pre training of Deep RL Agents for Improved Learning under Domain Randomization. Visual domain randomization in simulated environments is a widely used method to transfer policies trained in simulation to real robots. However, domain randomization and augmentation hamper the training of a policy. As reinforcement learning struggles with a noisy training signal, this additional nuisance can drastically impede training. For difficult tasks it can even result in complete failure to learn. To overcome this problem we propose to pre train a perception encoder that already provides an embedding invariant to the randomization. We demonstrate that this yields consistently improved results on a randomized version of DeepMind control suite tasks and a stacking environment on arbitrary backgrounds with zero shot transfer to a physical robot.


Modeling complex systems A case study of compartmental models in epidemiology. Compartmental epidemic models have been widely used for predicting the course of epidemics, from estimating the basic reproduction number to guiding intervention policies. Studies commonly acknowledge these models' assumptions but less often justify their validity in the specific context in which they are being used. Our purpose is not to argue for specific alternatives or modifications to compartmental models, but rather to show how assumptions can constrain model outcomes to a narrow portion of the wide landscape of potential epidemic behaviors. This concrete examination of well known models also serves to illustrate general principles of modeling that can be applied in other contexts.


PAGnol An Extra Large French Generative Model. Access to large pre trained models of varied architectures, in many different languages, is central to the democratization of NLP. We introduce PAGnol, a collection of French GPT models. Using scaling laws, we efficiently train PAGnol XL (1.5B parameters) with the same computational budget as CamemBERT, a model 13 times smaller. PAGnol XL is the largest model trained to date for the French language. We plan to train increasingly large and performing versions of PAGnol, exploring the capabilities of French extreme scale models. For this first release, we focus on the pre training and scaling calculations underlining PAGnol. We fit a scaling law for compute for the French language, and compare it with its English counterpart. We find the pre training dataset significantly conditions the quality of the outputs, with common datasets such as OSCAR leading to low quality offensive text. We evaluate our models on discriminative and generative tasks in French, comparing to other state of the art French and multilingual models, and reaching the state of the art in the abstract summarization task. Our research was conducted on the public GENCI Jean Zay supercomputer, and our models up to the Large are made publicly available.


SLGPT Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. Finding bugs in a commercial cyber physical system (CPS) development tool such as Simulink is hard as its codebase contains millions of lines of code and complete formal language specifications are not available. While deep learning techniques promise to learn such language specifications from sample models, deep learning needs a large number of training data to work well. SLGPT addresses this problem by using transfer learning to leverage the powerful Generative Pre trained Transformer 2 (GPT 2) model, which has been pre trained on a large set of training data. SLGPT adapts GPT 2 to Simulink with both randomly generated models and models mined from open source repositories. SLGPT produced Simulink models that are both more similar to open source models than its closest competitor, DeepFuzzSL, and found a super set of the Simulink development toolchain bugs found by DeepFuzzSL.


Comparison theorems for Kan, faintly universal and strongly universal derived functors. We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we show that Kan and faint derived functors coincide when we use the classical Kan homotopy category, and when we use the Quillen homotopy category, Kan and strong derived functors coincide. Our comparison results are based on the fact that the Kan homotopy category is a weak localization and that the Quillen homotopy category is a strict localization.


LQG Mean Field Games with a Markov Chain as its common noise. This paper studies Mean Field Games with a common noise given by a continuous time Markov chain under a quadratic cost structure. The theory reveals the Markovian structure of the random equilibrium measure flow, which can be used to characterize the equilibrium via a finite dimensional system. The counterpart is the N player game characterized via an ODE system, whose dimension has a polynomial growth in the number of players. The convergence of the N player game towards Mean Field Games is proved by explicitly embedding the N player game into one specific probability space.


A Legendre spectral viscosity (LSV) method applied to shock capturing for high order flux reconstruction schemes. A novel approach to shock capturing for high order flux reconstruction schemes is derived based on the mathematical formalism of the filtered governing equations. While the latter perspective is only typically used for turbulence modeling in the context of Large Eddy Simulations (LES), the novel Legendre Spectral Viscosity (LSV) sub filter scale (SFS) closure model is capable of performing simulations in the presence of shock discontinuities. The LSV method exploits the set of hierarchical basis functions formed by the Legendre polynomials to extract the information on the energy content near the resolution limit and estimate the overall magnitude of the required SFS dissipative terms, resulting in a scheme that dynamically activates only in cells where nonlinear behavior is important. Additionally, the modulation of such terms in the Legendre spectral space allows for the concentration of the dissipative action at small scales. The proposed method is tested in canonical shock dominated flow setups in both one and two dimensions. These include the 1D Burgers' problem, a 1D shock tube, a 1D shock entropy wave interaction, a 2D inviscid shock vortex interaction and a 2D double Mach reflection. Results showcase a high degree of resolution power, achieving accurate results with a small number of degrees of freedom, and robustness, being able to capture shocks associated with the Burgers' equation and the 1D shock tube within a single cell with orders 120 and higher.


Almost compact and compact embeddings of variable exponent spaces. Let Omega be an open subset of mathbb R N , and let p, , q Omega rightarrow left 1, infty right be measurable functions. We give a necessary and sufficient condition for the embedding of the variable exponent space L p( cdot ) left( Omega right) in L q( cdot ) left( Omega right) to be almost compact. This leads to a condition on Omega, , p and q sufficient to ensure that the Sobolev space W 1,p( cdot ) left( Omega right) based on L p( cdot ) left( Omega right) is compactly embedded in L q( cdot ) left( Omega right) compact embedding results of this type already in the literature are included as special cases.


A Novel Strategy for GaN on Diamond Device with a High Thermal Boundary Conductance. To achieve high device performance and high reliability for the gallium nitride (GaN) based high electron mobility transistors (HEMTs), efficient heat dissipation is important but remains challenging. Enormous efforts have been made to transfer a GaN device layer onto a diamond substrate with a high thermal conductivity by bonding. In this work, two GaN diamond bonded composites are prepared via modified surface activated bonding (SAB) at room temperature with silicon interlayers of different thicknesses (15 nm and 22 nm). Before and after post annealing process at 800 oC, thermal boundary conductance (TBC) across the bonded interface including the interlayer and the stress of GaN layer are investigated by time domain thermoreflectance and Raman spectroscopy, respectively. After bonding, the 15 nm Si interlayer achieved a higher TBC. The post annealing significantly increased the TBC of both interfaces, while the TBC of 22 nm silicon interlayer increased greater and became higher than that of 15 nm. Detailed investigation of the microstructure and composition of the interfaces were carried out to understand the difference in interfacial thermal conduction. The obtained stress was no more than 230 MPa for both before and after the annealing, and this high thermal stability of the bonded composites indicates that the room temperature bonding can realize a GaN on diamond template suitable for further epitaxial growth or device process. This work brings a novel strategy of SAB followed by high temperature annealing to fabricate a GaN on diamond device with a high TBC.


Towards Better Model Understanding with Path Sufficient Explanations. Feature based local attribution methods are amongst the most prevalent in explainable artificial intelligence (XAI) literature. Going beyond standard correlation, recently, methods have been proposed that highlight what should be minimally sufficient to justify the classification of an input (viz. pertinent positives). While minimal sufficiency is an attractive property, the resulting explanations are often too sparse for a human to understand and evaluate the local behavior of the model, thus making it difficult to judge its overall quality. To overcome these limitations, we propose a novel method called Path Sufficient Explanations Method (PSEM) that outputs a sequence of sufficient explanations for a given input of strictly decreasing size (or value) from original input to a minimally sufficient explanation which can be thought to trace the local boundary of the model in a smooth manner, thus providing better intuition about the local model behavior for the specific input. We validate these claims, both qualitatively and quantitatively, with experiments that show the benefit of PSEM across all three modalities (image, tabular and text). A user study depicts the strength of the method in communicating the local behavior, where (many) users are able to correctly determine the prediction made by a model.


Improved Hardness of BDD and SVP Under Gap (S)ETH. We show improved fine grained hardness of two key lattice problems in the ell p norm Bounded Distance Decoding to within an alpha factor of the minimum distance ( mathrm BDD p, alpha ) and the (decisional) gamma approximate Shortest Vector Problem ( mathrm SVP p, gamma ), assuming variants of the Gap (Strong) Exponential Time Hypothesis (Gap (S)ETH). Specifically, we show 1. For all p in 1, infty) , there is no 2 o(n) time algorithm for mathrm BDD p, alpha for any constant alpha alpha mathsf kn , where alpha mathsf kn 2 c mathsf kn 0.98491 and c mathsf kn is the ell 2 kissing number constant, unless non uniform Gap ETH is false. 2. For all p in 1, infty) , there is no 2 o(n) time algorithm for mathrm BDD p, alpha for any constant alpha alpha ddagger p , where alpha ddagger p is explicit and satisfies alpha ddagger p 1 for 1 leq p leq 2 , alpha ddagger p 1 for all p 2 , and alpha ddagger p to 1 2 as p to infty , unless randomized Gap ETH is false. 3. For all p in 1, infty) setminus 2 mathbb Z and all C 1 , there is no 2 n C time algorithm for mathrm BDD p, alpha for any constant alpha alpha dagger p, C , where alpha dagger p, C is explicit and satisfies alpha dagger p, C to 1 as C to infty for any fixed p in 1, infty) , unless non uniform Gap SETH is false. 4. For all p p 0 approx 2.1397 , p notin 2 mathbb Z , and all C C p , there is no 2 n C time algorithm for mathrm SVP p, gamma for some constant gamma 1 , where C p 1 is explicit and satisfies C p to 1 as p to infty , unless randomized Gap SETH is false.


SE DAE Style Enhanced Denoising Auto Encoder for Unsupervised Text Style Transfer. Text style transfer aims to change the style of sentences while preserving the semantic meanings. Due to the lack of parallel data, the Denoising Auto Encoder (DAE) is widely used in this task to model distributions of different sentence styles. However, because of the conflict between the target of the conventional denoising procedure and the target of style transfer task, the vanilla DAE can not produce satisfying enough results. To improve the transferability of the model, most of the existing works combine DAE with various complicated unsupervised networks, which makes the whole system become over complex. In this work, we design a novel DAE model named Style Enhanced DAE (SE DAE), which is specifically designed for the text style transfer task. Compared with previous complicated style transfer models, our model do not consist of any complicated unsupervised networks, but only relies on the high quality pseudo parallel data generated by a novel data refinement mechanism. Moreover, to alleviate the conflict between the targets of the conventional denoising procedure and the style transfer task, we propose another novel style denoising mechanism, which is more compatible with the target of the style transfer task. We validate the effectiveness of our model on two style benchmark datasets. Both automatic evaluation and human evaluation show that our proposed model is highly competitive compared with previous strong the state of the art (SOTA) approaches and greatly outperforms the vanilla DAE.


Controlling Entity Integrity with Key Sets. Codd's rule of entity integrity stipulates that every table has a primary key. Hence, the attributes of the primary key carry unique and complete value combinations. In practice, data cannot always meet such requirements. Previous work proposed the superior notion of key sets for controlling entity integrity. We establish a linear time algorithm for validating whether a given key set holds on a given data set, and demonstrate its efficiency on real world data. We establish a binary axiomatization for the associated implication problem, and prove its coNP completeness. However, the implication of unary by arbitrary key sets has better properties. The fragment enjoys a unary axiomatization and is decidable in quadratic time. Hence, we can minimize overheads before validating key sets. While perfect models do not always exist in general, we show how to compute them for any instance of our fragment. This provides computational support towards the acquisition of key sets.


Approximating Biobjective Minimization Problems Using General Ordering Cones. This article investigates the approximation quality achievable for biobjective minimization problems with respect to the Pareto cone by solutions that are (approximately) optimal with respect to larger ordering cones. When simultaneously considering alpha approximations for all closed convex ordering cones of a fixed inner angle gamma in frac pi 2, pi , an approximation guarantee between alpha and 2 alpha is achieved, which depends continuously on gamma . The analysis is best possible for any inner angle and it generalizes and unifies the known results that the set of supported solutions is a 2 approximation and that the efficient set itself is a 1 approximation. Moreover, it is shown that, for maximization problems, no approximation guarantee is achievable by considering larger ordering cones in the described fashion, which again generalizes a known result about the set of supported solutions.


Set Reconciliation for Blockchains with Slepian Wolf Coding Deletion Polar Codes. In this paper, we propose a polar coding based scheme for set reconciliation between two network nodes. The system is modeled as a well known Slepian Wolf setting induced by a fixed number of deletions. The set reconciliation process is divided into two phases 1) a deletion polar code is employed to help one node to identify the possible deletion indices, which may be larger than the number of genuine deletions 2) a lossless compression polar code is then designed to feedback those indices with minimum overhead. Our scheme can be viewed as a generalization of polar codes to some emerging network based applications such as the package synchronization in blockchains. Some connections with the existing schemes based on the invertible Bloom lookup tables (IBLTs) and network coding are also observed and briefly discussed.


A qualitative description of the horoboundary of the Teichm "uller metric. Two commonly studied compactifications of Teichm "uller spaces of finite type surfaces with respect to the Teichm "uller metric are the horofunction and visual compactifications. We show that these two compactifications are related, by proving that the horofunction compactification is finer than the visual compactification. This allows us to use the simplicity of the visual compactification to obtain topological properties of the horofunction compactification. Among other things, we show that the horoboundary of Teichm "uller space is path connected and that its Busemann points are not dense, we determine for which surfaces the horofunction compactification is isomorphic to the visual one, and we show that some horocycles diverge in the visual compactification based at some point. As an ingredient in one of the proofs we show that the extremal length is not C 2 varepsilon for any varepsilon 0 along some paths that are smooth with respect to the piecewise linear structure on measured foliations.


Massive scale Decoding for Text Generation using Lattices. Conditional neural text generation models generate high quality outputs, but often concentrate around a mode when what we really want is a diverse set of options. We present a search algorithm to construct lattices encoding a massive number of generation options. First, we restructure decoding as a best first search, which explores the space differently than beam search and improves efficiency by avoiding pruning paths. Second, we revisit the idea of hypothesis recombination we can identify pairs of similar generation candidates during search and merge them as an approximation. On both summarization and machine translation, we show that our algorithm encodes thousands of diverse options that remain grammatical and high quality into one lattice. This algorithm provides a foundation for building downstream generation applications on top of massive scale diverse outputs.


Challenges and approaches for mitigating byzantine attacks in federated learning. Recently emerged federated learning (FL) is an attractive distributed learning framework in which numerous wireless end user devices can train a global model with the data remained autochthonous. Compared with the traditional machine learning framework that collects user data for centralized storage, which brings huge communication burden and concerns about data privacy, this approach can not only save the network bandwidth but also protect the data privacy. Despite the promising prospect, byzantine attack, an intractable threat in conventional distributed network, is discovered to be rather efficacious against FL as well. In this paper, we conduct a comprehensive investigation of the state of the art strategies for defending against byzantine attacks in FL. We first provide a taxonomy for the existing defense solutions according to the techniques they used, followed by an across the board comparison and discussion. Then we propose a new byzantine attack method called weight attack to defeat those defense schemes, and conduct experiments to demonstrate its threat. The results show that existing defense solutions, although abundant, are still far from fully protecting FL. Finally, we indicate possible countermeasures for weight attack, and highlight several challenges and future research directions for mitigating byzantine attacks in FL.


Reactive helicity and reactive power in nanoscale optics Evanescent waves. Kerker conditions. Optical theorems and reactive dichroism. We put forward the complex helicity theorem. It constitutes a novel law that rules the build up of the reactive helicity through its zero time average flow. Its imaginary Poynting momentum accounts for the accretion of reactive power, are illustrated in evanescent waves and fields scattered from magnetodielectric dipolar nanoparticles. As for the former, we show that its reactive helicity may be experimentally observed as we introduce a reactive spin momentum and a reactive orbital momentum in terms of which we express the imaginary field momentum, whose transversal component produces an optical force on a magnetoelectric particle that, as we illustrate, may surpass and can be discriminated from, the known force due to the so called extraordinary momentum. We also uncover a non conservative force on such a magnetoelectric particle, acting in the decay direction of the evanescent wave, and that may also be discriminated from the standard gradient force thus making the reactive power of the wavefield also observable. Concerning the light scattered by magnetoelectric nanoparticles, we establish two optical theorems that govern the accretion of reactive helicity and reactive power on extinction of incident wave helicity and energy. Like a nule total internal plus external reactive power is at the root of a resonant scattered power, we show that a zero total reactive helicity underlies a resonant scattered helicity. The first Kerker condition, under which the particle becomes dual on illumination with circularly polarized light, we demonstrate to amount to a nule overall scattered reactive helicity. and emission. We discover a discriminatory property of the reactive helicity of chiral light incident on a chiral nanoparticle by excitation of the external reactive power. This for optical near field enantiomeric separation, we call reactive dichroism.