Harder's conjecture I. Let f be a primitive form with respect to SL 2(Z) . Then we propose a conjecture on the congruence between the Klingen Eisenstein lift of the Duke Imamoglu Ikeda lift of f and a certain lift of a vector valued Hecke eigenform with respect to Sp 2(Z) . This conjecture implies Harder's conjecture. We prove the above conjecture in some cases.


Existence of absolutely continuous spectrum for Galton Watson random trees. We establish a quantitative criterion for an operator defined on a Galton Watson random tree for having an absolutely continuous spectrum. For the adjacency operator, this criterion requires that the offspring distribution has a relative variance below a threshold. As a byproduct, we prove that the adjacency operator of a supercritical Poisson Galton Watson tree has a non trivial absolutely continuous part if the average degree is large enough. We also prove that its Karp and Sipser core has purely absolutely spectrum on an interval if the average degree is large enough. We finally illustrate our criterion on the Anderson model on a d regular infinite tree with d ge 3 and give a quantitative version of Klein's Theorem on the existence of absolutely continuous spectrum at disorder smaller that C sqrt d for some absolute constant C.


A Class of Explicit optimal contracts in the face of shutdown. What type of delegation contract should be offered when facing a risk of the magnitude of the pandemic we are currently experiencing and how does the likelihood of an exogenous early termination of the relationship modify the terms of a full commitment contract? We study these questions by considering a dynamic principal agent model that naturally extends the classical Holmstr "o m Milgrom setting to include a risk of default whose origin is independent of the inherent agency problem. We obtain an explicit characterization of the optimal wage along with the optimal action provided by the agent. The optimal contract is linear by offering both a fixed share of the output which is similar to the standard shutdown free Holmstr "o m Milgrom model and a linear prevention mechanism that is proportional to the random lifetime of the contract. We then tweak the model to add a possibility for risk mitigation through investment and study its optimality.


Paint Transformer Feed Forward Neural Painting with Stroke Prediction. Neural painting refers to the procedure of producing a series of strokes for a given image and non photo realistically recreating it using neural networks. While reinforcement learning (RL) based agents can generate a stroke sequence step by step for this task, it is not easy to train a stable RL agent. On the other hand, stroke optimization methods search for a set of stroke parameters iteratively in a large search space such low efficiency significantly limits their prevalence and practicality. Different from previous methods, in this paper, we formulate the task as a set prediction problem and propose a novel Transformer based framework, dubbed Paint Transformer, to predict the parameters of a stroke set with a feed forward network. This way, our model can generate a set of strokes in parallel and obtain the final painting of size 512 512 in near real time. More importantly, since there is no dataset available for training the Paint Transformer, we devise a self training pipeline such that it can be trained without any off the shelf dataset while still achieving excellent generalization capability. Experiments demonstrate that our method achieves better painting performance than previous ones with cheaper training and inference costs. Codes and models are available.


Stability of Self similar Solutions to Geometric Flows. We show that self similar solutions for the mean curvature flow, surface diffusion and Willmore flow of entire graphs are stable upon perturbations of initial data with small Lipschitz norm. Roughly speaking, the perturbed solutions are asymptotically self similar as time tends to infinity. Our results are built upon the global analytic solutions constructed by Koch and Lamm cite KochLamm , the compactness arguments adapted by Asai and Giga cite Giga2014 , and the spatial equi decay properties on certain weighted function spaces. The proof for all of the above flows are achieved in a unified framework by utilizing the estimates of the linearized operator.


Lower Bound for Sculpture Garden Problem. The purpose of the current study is to investigate a special case of art gallery problem, namely Sculpture Garden Problem. In the said problem, for a given polygon P , the ultimate goal is to place the minimum number of guards to define the interior polygon P by applying a monotone Boolean formula composed of the guards. As the findings indicate, the conjecture about the issue that in the worst case, n 2 guards are required to describe any n gon (Eppstein et al. 2007) can be conclusively proved.


A weighted composition semigroup related to three open problems. The semi group of weighted composition operators (W n) n geq 1 where W nf(z) (1 z ldots z n 1 )f(z n) on the classical Hardy Hilbert space H 2 of the open unit disk is related to the Riemann Hypothesis (RH) and the Periodic Dilation Completeness Problem (PDCP) from harmonic analysis. We show how (W n) n geq 1 is also related to the Invariant Subspace Problem (ISP) from operator theory and obtain results on cyclic vectors, spectra, invariant and reducing subspaces. In particular we show that several basic questions related to the semigroup (W n) n geq 1 are equivalent to the RH.


Beyond tight deadlines what are the business causes for technical debt?. What are the business causes behind tight deadlines? What drives the prioritization of features that pushes quality matters to the back burner? We conducted a survey with 71 experienced practitioners and did a thematic analysis of the open ended answers to the question "Could you give examples of how business may contribute to technical debt?" Business related causes were organized into two categories pure business and business IT gap, and they were related to 'tight deadlines' and 'features over quality', the most frequently cited management reasons for technical debt. We contribute a cause effect model which relates the various business causes of technical debt to each other and explains their impact on technical debt.


Bounds on the Number of Graphical Partitions. We narrow in on the number of graphical partitions for which there is no known generating function by manipulating the well known generating function for Frobenius partitions.


Calibrated Multiple Output Quantile Regression with Representation Learning. We develop a method to generate predictive regions that cover a multivariate response variable with a user specified probability. Our work is composed of two components. First, we use a deep generative model to learn a representation of the response that has a unimodal distribution. Existing multiple output quantile regression approaches are effective in such cases, so we apply them on the learned representation, and then transform the solution to the original space of the response. This process results in a flexible and informative region that can have an arbitrary shape, a property that existing methods lack. Second, we propose an extension of conformal prediction to the multivariate response setting that modifies any method to return sets with a pre specified coverage level. The desired coverage is theoretically guaranteed in the finite sample case for any distribution. Experiments conducted on both real and synthetic data show that our method constructs regions that are significantly smaller (sometimes by a factor of 100) compared to existing techniques.


Convergence rates of RLT and Lasserre type hierarchies for the generalized moment problem over the simplex and the sphere. We consider the generalized moment problem (GMP) over the simplex and the sphere. This is a rich setting and it contains NP hard problems as special cases, like constructing optimal cubature schemes and rational optimization. Using the Reformulation Linearization Technique (RLT) and Lasserre type hierarchies, relaxations of the problem are introduced and analyzed. For our analysis we assume throughout the existence of a dual optimal solution as well as strong duality. For the GMP over the simplex we prove a convergence rate of O(1 r) for a linear programming, RLT type hierarchy, where r is the level of the hierarchy, using a quantitative version of P 'olya's Positivstellensatz. As an extension of a recent result by Fang and Fawzi Math. Program., 2020, https doi.org 10.1007 s10107 020 01537 7 we prove the Lasserre hierarchy of the GMP Math. Program., Vol. 112, 65 92, 2008 over the sphere has a convergence rate of O(1 r 2) . Moreover, we show the introduced linear RLT relaxation is a generalization of a hierarchy for minimizing forms of degree d over the simplex, introduced by de Klerk, Laurent and Parrilo J. Theoretical Computer Science, Vol. 361, 210 225, 2006 .


Accurate quantification of blood flow wall shear stress using simulation based imaging a synthetic, comparative study. Simulation based imaging (SBI) is a blood flow imaging technique that optimally fits a computational fluid dynamics (CFD) simulation to low resolution, noisy magnetic resonance (MR) flow data to produce a high resolution velocity field. In this work, we study the effectivity of SBI in predicting wall shear stress (WSS) relative to standard magnetic resonance imaging (MRI) postprocessing techniques using two synthetic numerical experiments flow through an idealized, two dimensional stenotic vessel and a model of an adult aorta. In particular, we study the sensitivity of these two approaches with respect to the Reynolds number of the underlying flow, the resolution of the MRI data, and the noise in the MRI data. We found that the SBI WSS reconstruction 1) is insensitive to Reynolds number over the range considered (Re leq 1000), 2) improves as the amount of MRI data increases and provides accurate reconstructions with as little as three MRI voxels per diameter, and 3) degrades linearly as the noise in the data increases with a slope determined by the resolution of the MRI data. We also consider the sensitivity of SBI to the resolution of the CFD mesh and found there is flexibility in the mesh used for SBI, although the WSS reconstruction becomes more sensitive to other parameters, particularly the resolution of the MRI data, for coarser meshes. This indicates a fundamental trade off between scan time (i.e., MRI data quality and resolution) and reconstruction time using SBI, which is inherently different than the trade off between scan time and reconstruction quality observed in standard MRI postprocessing techniques.


On singularity of energy measures for symmetric diffusions with full off diagonal heat kernel estimates II Some borderline examples. We present a concrete family of fractals, which we call the (two dimensional) thin scale irregular Sierpi ' n ski gaskets and each of which is equipped with a canonical strongly local regular symmetric Dirichlet form. We prove that any fractal K in this family satisfies the full off diagonal heat kernel estimates with some space time scale function Psi K and the singularity of the associated energy measures with respect to the canonical volume measure (uniform distribution) on K , and also that the decay rate of r 2 Psi K (r) to 0 as r downarrow 0 can be made arbitrarily slow by suitable choices of K . These results together support the energy measure singularity dichotomy conjecture Ann. Probab. 48 (2020), no. 6, 2920 2951, Conjecture 2.15 stating that, if the full off diagonal heat kernel estimates with space time scale function Psi satisfying lim r downarrow 0 r 2 Psi(r) 0 hold for a strongly local regular symmetric Dirichlet space with complete metric, then the associated energy measures are singular with respect to the reference measure of the Dirichlet space.


Time Lag Evidence of Anti Abortion Decree and Perturbation of Births Distribution. A Benford Law Approach. This study analyzes the case of Romanian births, jointly distributed by age groups of mother and father covering 1958 2019 under the potential influence of significant disruptors. Significant events such as anti abortion laws application or abrogation, communism fall, and migration and their impact are analyzed. While in practice we may find pro and contra examples, a general controversy arises regarding whether births should or should not obey the Benford Law (BL). Moreover, the significant disruptors' impacts are not detailed discussed in such analysis. I find the distribution of births is First Digit Benford Law (BL1) conformant on the entire sample, but mixed results regarding the BL obedience in the dynamic analysis and by main sub periods. Even though many disruptors are analyzed, only the 1967 Anti abortion Decree has a significant impact. I capture an average lag of 15 years between the event, the Anti abortion Decree, and the start of distortion of the births distribution. The distortion persists around 25 years, almost the entire fertility life (15 to 39) for the majority of the people from the cohorts born in 1967 1968.


Attention based neural re ranking approach for next city in trip recommendations. This paper describes an approach to solving the next destination city recommendation problem for a travel reservation system. We propose a two stages approach a heuristic approach for candidates selection and an attention neural network model for candidates re ranking. Our method was inspired by listwise learning to rank methods and recent developments in natural language processing and the transformer architecture in particular. We used this approach to solve the Booking.com recommendations challenge Our team achieved 5th place on the challenge using this method, with 0.555 accuracy 4 value on the closed part of the dataset.


Hidden Backdoor Attack against Semantic Segmentation Models. Deep neural networks (DNNs) are vulnerable to the emph backdoor attack , which intends to embed hidden backdoors in DNNs by poisoning training data. The attacked model behaves normally on benign samples, whereas its prediction will be changed to a particular target label if hidden backdoors are activated. So far, backdoor research has mostly been conducted towards classification tasks. In this paper, we reveal that this threat could also happen in semantic segmentation, which may further endanger many mission critical applications ( e.g. , autonomous driving). Except for extending the existing attack paradigm to maliciously manipulate the segmentation models from the image level, we propose a novel attack paradigm, the emph fine grained attack , where we treat the target label ( i.e. , annotation) from the object level instead of the image level to achieve more sophisticated manipulation. In the annotation of poisoned samples generated by the fine grained attack, only pixels of specific objects will be labeled with the attacker specified target class while others are still with their ground truth ones. Experiments show that the proposed methods can successfully attack semantic segmentation models by poisoning only a small proportion of training data. Our method not only provides a new perspective for designing novel attacks but also serves as a strong baseline for improving the robustness of semantic segmentation methods.


Noncommutative Riemann hypothesis. In this note, making use of noncommutative l adic cohomology, we extend the generalized Riemann hypothesis from the realm of algebraic geometry to the broad setting of geometric noncommutative schemes in the sense of Orlov. As a first application, we prove that the generalized Riemann hypothesis is invariant under derived equivalences and homological projective duality. As a second application, we prove the noncommutative generalized Riemann hypothesis in some new cases.


Quantitative Security Risk Modeling and Analysis with RisQFLan. Domain specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible. In this paper, we present a tool supported approach to quantitative graph based security risk modeling and analysis based on attack defense trees. Our approach is based on QFLan, a successful domain specific approach to support quantitative modeling and analysis of highly configurable systems, whose domain specific components have been decoupled to facilitate the instantiation of the QFLan approach in the domain of graph based security risk modeling and analysis. Our approach incorporates distinctive features from three popular kinds of attack trees, namely enhanced attack trees, capabilities based attack trees and attack countermeasure trees, into the domain specific modeling language. The result is a new framework, called RisQFLan, to support quantitative security risk modeling and analysis based on attack defense diagrams. By offering either exact or statistical verification of probabilistic attack scenarios, RisQFLan constitutes a significant novel contribution to the existing toolsets in that domain. We validate our approach by highlighting the additional features offered by RisQFLan in three illustrative case studies from seminal approaches to graph based security risk modeling analysis based on attack trees.


High Accuracy RGB D Face Recognition via Segmentation Aware Face Depth Estimation and Mask Guided Attention Network. Deep learning approaches have achieved highly accurate face recognition by training the models with very large face image datasets. Unlike the availability of large 2D face image datasets, there is a lack of large 3D face datasets available to the public. Existing public 3D face datasets were usually collected with few subjects, leading to the over fitting problem. This paper proposes two CNN models to improve the RGB D face recognition task. The first is a segmentation aware depth estimation network, called DepthNet, which estimates depth maps from RGB face images by including semantic segmentation information for more accurate face region localization. The other is a novel mask guided RGB D face recognition model that contains an RGB recognition branch, a depth map recognition branch, and an auxiliary segmentation mask branch with a spatial attention module. Our DepthNet is used to augment a large 2D face image dataset to a large RGB D face dataset, which is used for training an accurate RGB D face recognition model. Furthermore, the proposed mask guided RGB D face recognition model can fully exploit the depth map and segmentation mask information and is more robust against pose variation than previous methods. Our experimental results show that DepthNet can produce more reliable depth maps from face images with the segmentation mask. Our mask guided face recognition model outperforms state of the art methods on several public 3D face datasets.


Numerical Eigensolver for Solving Eigenmodes of Cavity Resonators Filled With both Electric and Magnetic Lossy, Anisotropic Media. This article presents the numerical eigensolver to find the resonant frequencies of 3 D closed cavity resonators filled with both electric and magnetic lossy, anisotropic media. By introducing a dummy variable with zero value in the 3 D linear vector Maxwell eigenvalue problem for the electric field, we enforce the divergence free condition for electric flux density in a weak sense. In addition, by introducing a dummy variable with constant value in the 3 D linear vector Maxwell eigenvalue problem for the magnetic field, we enforce the divergence free condition for magnetic flux density in a weak sense. Moreover, it is theoretically proved that the novel method of introducing dummy variables can be free of all the spurious modes in solving eigenmodes of the 3 D closed cavity problem. Numerical experiments show that the numerical eigensolver supported by this article can eliminate all the spurious modes, including spurious dc modes.


Generalized Few Shot Object Detection without Forgetting. Recently few shot object detection is widely adopted to deal with data limited situations. While most previous works merely focus on the performance on few shot categories, we claim that detecting all classes is crucial as test samples may contain any instances in realistic applications, which requires the few shot detector to learn new concepts without forgetting. Through analysis on transfer learning based methods, some neglected but beneficial properties are utilized to design a simple yet effective few shot detector, Retentive R CNN. It consists of Bias Balanced RPN to debias the pretrained RPN and Re detector to find few shot class objects without forgetting previous knowledge. Extensive experiments on few shot detection benchmarks show that Retentive R CNN significantly outperforms state of the art methods on overall performance among all settings as it can achieve competitive results on few shot classes and does not degrade the base class performance at all. Our approach has demonstrated that the long desired never forgetting learner is available in object detection.


Where to go next Learning a Subgoal Recommendation Policy for Navigation Among Pedestrians. Robotic navigation in environments shared with other robots or humans remains challenging because the intentions of the surrounding agents are not directly observable and the environment conditions are continuously changing. Local trajectory optimization methods, such as model predictive control (MPC), can deal with those changes but require global guidance, which is not trivial to obtain in crowded scenarios. This paper proposes to learn, via deep Reinforcement Learning (RL), an interaction aware policy that provides long term guidance to the local planner. In particular, in simulations with cooperative and non cooperative agents, we train a deep network to recommend a subgoal for the MPC planner. The recommended subgoal is expected to help the robot in making progress towards its goal and accounts for the expected interaction with other agents. Based on the recommended subgoal, the MPC planner then optimizes the inputs for the robot satisfying its kinodynamic and collision avoidance constraints. Our approach is shown to substantially improve the navigation performance in terms of number of collisions as compared to prior MPC frameworks, and in terms of both travel time and number of collisions compared to deep RL methods in cooperative, competitive and mixed multiagent scenarios.


Traveling waves near Couette flow for the 2D Euler equation. In this paper we reveal the existence of a large family of new, nontrivial and smooth traveling waves for the 2D Euler equation at an arbitrarily small distance from the Couette flow in H s , with s 3 2 , at the level of the vorticity. The speed of these waves is of order 1 with respect to this distance. This result strongly contrasts with the setting of very high regularity in Gevrey spaces (see arXiv 1306.5028), where the problem exhibits an inviscid damping mechanism that leads to relaxation of perturbations back to nearby shear flows. It also complements the fact that there not exist nontrivial traveling waves in the H frac 3 2 neighborhoods of Couette flow (see arXiv 1004.5149).


A Dynamic Program for a Team of Two Agents with Nested Information. In this paper, we investigate a sequential dynamic team problem consisting of two agents with a nested information structure. We use a combination of the person by person and prescription approach to derive structural results for optimal control strategies for the team. We then use these structural results to present a dynamic programming (DP) decomposition to derive the optimal control strategies for a finite time horizon. We show that our DP utilizes the nested information structure to simplify the computation of the optimal control laws for the team at the final time step.


Polynomial Delay Enumeration of Large Maximal Matchings. Enumerating matchings is a classical problem in the field of enumeration algorithms. There are polynomial delay enumeration algorithms for several settings, such as enumerating perfect matchings, maximal matchings, and (weighted) matchings in specific orders. In this paper, we present polynomial delay enumeration algorithms for maximal matchings with cardinality at least given threshold t . Our algorithm enumerates all such matchings in O(nm) delay with exponential space, where n and m are the number of vertices and edges of an input graph, respectively. We also present a polynomial delay and polynomial space enumeration algorithm for this problem. As a variant of this algorithm, we give an algorithm that enumerates all maximal matchings in non decreasing order of its cardinality and runs in O(nm) delay.


On Liouville type theorems for the stationary MHD and the Hall MHD systems in mathbb R 3 . In this paper we prove a Liouville type theorem for the stationary MHD and the stationary Hall MHD systems. Assuming suitable growth condition at infinity for the mean oscillations for the potential functions, we show that the solutions are trivial. These results generalize the previous results obtained by two of the current authors in 6 . To prove our main theorems we use a refined iteration argument.


Estimating Expected Calibration Errors. Uncertainty in probabilistic classifiers predictions is a key concern when models are used to support human decision making, in broader probabilistic pipelines or when sensitive automatic decisions have to be taken. Studies have shown that most models are not intrinsically well calibrated, meaning that their decision scores are not consistent with posterior probabilities. Hence being able to calibrate these models, or enforce calibration while learning them, has regained interest in recent literature. In this context, properly assessing calibration is paramount to quantify new contributions tackling calibration. However, there is room for improvement for commonly used metrics and evaluation of calibration could benefit from deeper analyses. Thus this paper focuses on the empirical evaluation of calibration metrics in the context of classification. More specifically it evaluates different estimators of the Expected Calibration Error ( ECE ), amongst which legacy estimators and some novel ones, proposed in this paper. We build an empirical procedure to quantify the quality of these ECE estimators, and use it to decide which estimator should be used in practice for different settings.


Auditing Fairness and Imputation Impact in Predictive Analytics for Higher Education. Nowadays, colleges and universities use predictive analytics in a variety of ways to increase student success rates. Despite the potentials for predictive analytics, there exist two major barriers to their adoption in higher education (a) the lack of democratization in deployment, and (b) the potential to exacerbate inequalities. Education researchers and policymakers encounter numerous challenges in deploying predictive modeling in practice. These challenges present in different steps of modeling including data preparation, model development, and evaluation. Nevertheless, each of these steps can introduce additional bias to the system if not appropriately performed. Most large scale and nationally representative education data sets suffer from a significant number of incomplete responses from the research participants. Missing Values are the frequent latent causes behind many data analysis challenges. While many education related studies addressed the challenges of missing data, little is known about the impact of handling missing values on the fairness of predictive outcomes in practice. In this paper, we set out to first assess the disparities in predictive modeling outcome for college student success, then investigate the impact of imputation techniques on the model performance and fairness using a comprehensive set of common metrics. The comprehensive analysis of a real large scale education dataset reveals key insights on the modeling disparity and how different imputation techniques fundamentally compare to one another in terms of their impact on the fairness of the student success predictive outcome.


Oops I Took A Gradient Scalable Sampling for Discrete Distributions. We propose a general and scalable approximate sampling strategy for probabilistic models with discrete variables. Our approach uses gradients of the likelihood function with respect to its discrete inputs to propose updates in a Metropolis Hastings sampler. We show empirically that this approach outperforms generic samplers in a number of difficult settings including Ising models, Potts models, restricted Boltzmann machines, and factorial hidden Markov models. We also demonstrate the use of our improved sampler for training deep energy based models on high dimensional discrete data. This approach outperforms variational auto encoders and existing energy based models. Finally, we give bounds showing that our approach is near optimal in the class of samplers which propose local updates.


Local Mending. In this work we introduce the graph theoretic notion of mendability for each locally checkable graph problem we can define its mending radius, which captures the idea of how far one needs to modify a partial solution in order to "patch a hole." We explore how mendability is connected to the existence of efficient algorithms, especially in distributed, parallel, and fault tolerant settings. It is easy to see that O(1) mendable problems are also solvable in O( log n) rounds in the LOCAL model of distributed computing. One of the surprises is that in paths and cycles, a converse also holds in the following sense if a problem Pi can be solved in O( log n) , there is always a restriction Pi' subseteq Pi that is still efficiently solvable but that is also O(1) mendable. We also explore the structure of the landscape of mendability. For example, we show that in trees, the mending radius of any locally checkable problem is O(1) , Theta( log n) , or Theta(n) , while in general graphs the structure is much more diverse.


SKID RAW Skill Discovery from Raw Trajectories. Integrating robots in complex everyday environments requires a multitude of problems to be solved. One crucial feature among those is to equip robots with a mechanism for teaching them a new task in an easy and natural way. When teaching tasks that involve sequences of different skills, with varying order and number of these skills, it is desirable to only demonstrate full task executions instead of all individual skills. For this purpose, we propose a novel approach that simultaneously learns to segment trajectories into reoccurring patterns and the skills to reconstruct these patterns from unlabelled demonstrations without further supervision. Moreover, the approach learns a skill conditioning that can be used to understand possible sequences of skills, a practical mechanism to be used in, for example, human robot interactions for a more intelligent and adaptive robot behaviour. The Bayesian and variational inference based approach is evaluated on synthetic and real human demonstrations with varying complexities and dimensionality, showing the successful learning of segmentations and skill libraries from unlabelled data.


The Schwarz Lemma An Odyssey. Expository notes on the Schwarz lemma born out of some lectures given on the subject.


Trajectory Constrained Deep Latent Visual Attention for Improved Local Planning in Presence of Heterogeneous Terrain. We present a reward predictive, model based deep learning method featuring trajectory constrained visual attention for use in mapless, local visual navigation tasks. Our method learns to place visual attention at locations in latent image space which follow trajectories caused by vehicle control actions to enhance predictive accuracy during planning. The attention model is jointly optimized by the task specific loss and an additional trajectory constraint loss, allowing adaptability yet encouraging a regularized structure for improved generalization and reliability. Importantly, visual attention is applied in latent feature map space instead of raw image space to promote efficient planning. We validated our model in visual navigation tasks of planning low turbulence, collision free trajectories in off road settings and hill climbing with locking differentials in the presence of slippery terrain. Experiments involved randomized procedural generated simulation and real world environments. We found our method improved generalization and learning efficiency when compared to no attention and self attention alternatives.


On the last digits of tetrations of base 2 k and 5 k . In this paper will be proved the existence of a formula to reduce a tetration of base 2 k and 5 k mod 10 n . Indeed, last digits of a tetration are the same starting from a certain hyper exponent In order to compute the last digits of those expressions we reduce them mod 10 n . Lots of different formulas will be derived, for different cases of k (where k is the exponent of the base of the tetration). This kind of operation is fascinating, because the tetration grows very fast. But using these formulas we can actually have informations about the last digits of those expressions. It's possible to use these results on a software in order to reduce tetrations mod 10 n faster.


Open Ended Automatic Programming Through Combinatorial Evolution. Combinatorial evolution the creation of new things through the combination of existing things can be a powerful way to evolve rather than design technical objects such as electronic circuits. Intriguingly, this seems to be an ongoing and thus open ended process creating novelty with increasing complexity. Here, we employ combinatorial evolution in software development. While current approaches such as genetic programming are efficient in solving particular problems, they all converge towards a solution and do not create anything new anymore afterwards. Combinatorial evolution of complex systems such as languages and technology are considered open ended. Therefore, open ended automatic programming might be possible through combinatorial evolution. We implemented a computer program simulating combinatorial evolution of code blocks stored in a database to make them available for combining. Automatic programming in the sense of algorithm based code generation is achieved by evaluating regular expressions. We found that reserved keywords of a programming language are suitable for defining the basic code blocks at the beginning of the simulation. We also found that placeholders can be used to combine code blocks and that code complexity can be described in terms of the importance to the programming language. As in a previous combinatorial evolution simulation of electronic circuits, complexity increased from simple keywords and special characters to more complex variable declarations, class definitions, methods, and classes containing methods and variable declarations. Combinatorial evolution, therefore, seems to be a promising approach for open ended automatic programming.


An Immuno epidemiological Model Linking Between host and Within host Dynamics of Cholera. Cholera, a severe gastrointestinal infection caused by the bacterium Vibrio cholerae, remains a major threat to public health with a yearly estimated global burden of 2.9 million cases. Although the majority of existing models for the disease focus on its population dynamics, it's important to link the multiple scales of the disease to gain better perspectives on its spread and control. In this study, we formulate an immuno epidemiological model for cholera linking the between host and within host dynamics of the disease. The within host model utilizes time scale methods to differentiate the pathogen dynamics from the dynamics of the immune response. Bifurcation analysis of the within host system reveals the necessary conditions for the existence of both the Hopf and saddle node bifurcations. Contrary to other within host models, the current approach allows for the elimination of the pathogen after a finite time. The epidemic model takes into account the direct human to human transmission route of the infection as well as the transmission via the environment. It is represented by a dynamical system structured on the immune status, which is a function derived from the within host immune response. The basic reproduction number is derived and the stability of equilibrium points analysed. Analysis of the endemic equilibrium reveals additional constraints that lead to its stability. Without loss of immunity, the endemic equilibrium, if it exists, is globally asymptotically stable.


Progress in the short term earthquake forecasting by integrating KaY wave analysis and satellite observations. Following N.Kozyrev's idea about the influence of the gravitational fields of the Sun and the Moon on the Earth's crust, we consider a low frequency resonance of the Earth's crust blocks is happening before the occurrence of the earthquake. The resonance affects several geophysical parameters and is associated with many short term precursory phenomena the most notable are the release of underground gases (radon), the air temperature rises, change of thermal radiation in the troposphere, and an increase in the electron density in the ionosphere. During the final stage of the earthquake genesis, long period gravity seismic waves called the Kozyrev Yagodin ( KaY ) wave are formed and moves from the periphery to the epicenter of the future earthquake. We discuss that by integrating information from different stages of earthquake genesis the network observations of KaY waves and satellite thermal radiation, we significantly could advance the accuracy and reliability of short term earthquake forecasting, previously unachievable.


Introduction to Electromagnetism. The purpose of this course is to provide an introduction to Electromagnetic Theory. The foundations of electrodynamics starting from the nature of electrical force up to the level of Maxwell equations solutions are presented. It starts with the introduction of the concept of a field, which plays a very important role in the understanding of electricity and magnetism. In addition, moving electric charge is discussed as a topic of special importance in accelerator physics.


Shifted insertion algorithms for primed words. This article studies new insertion algorithms that associate pairs of shifted tableaux to finite integer sequences in which certain terms may be primed. When primes are ignored in the input word these algorithms reduce to known correspondences, namely, a shifted form of Edelman Greene insertion, Sagan Worley insertion, and Haiman's shifted mixed insertion. The latter maps have the property that when the input word varies such that one of the output tableaux is fixed, the other output tableau ranges over all (semi)standard tableaux of a given shape with no primed diagonal entries. Our algorithms have the same feature, but now with primes allowed on the diagonal. One application of this is to give another Littlewood Richardson rule for products of Schur Q functions. It is hoped that there will exist set valued generalizations of our bijections that can be used to understand products of K theoretic Schur Q functions.


Potential based Reward Shaping in Sokoban. Learning to solve sparse reward reinforcement learning problems is difficult, due to the lack of guidance towards the goal. But in some problems, prior knowledge can be used to augment the learning process. Reward shaping is a way to incorporate prior knowledge into the original reward function in order to speed up the learning. While previous work has investigated the use of expert knowledge to generate potential functions, in this work, we study whether we can use a search algorithm(A ) to automatically generate a potential function for reward shaping in Sokoban, a well known planning task. The results showed that learning with shaped reward function is faster than learning from scratch. Our results indicate that distance functions could be a suitable function for Sokoban. This work demonstrates the possibility of solving multiple instances with the help of reward shaping. The result can be compressed into a single policy, which can be seen as the first phrase towards training a general policy that is able to solve unseen instances.


Densely connected normalizing flows. Normalizing flows are bijective mappings between inputs and latent representations with a fully factorized distribution. They are very attractive due to exact likelihood valuation and efficient sampling. However, their effective capacity is often insufficient since the bijectivity constraint limits the model width. We address this issue by incrementally padding intermediate representations with noise. We precondition the noise in accordance with previous invertible units, which we describe as cross unit coupling. Our invertible glow like modules increase the model expressivity by fusing a densely connected block with Nystrom self attention. We refer to our architecture as DenseFlow since both cross unit and intra module couplings rely on dense connectivity. Experiments show significant improvements due to the proposed contributions and reveal state of the art density estimation under moderate computing budgets.


An algorithm for Hodge ideals. We present an algorithm to compute the Hodge ideals of mathbb Q divisors associated to any reduced effective divisor D . The computation of the Hodge ideals is based on an algorithm to compute parts of the V filtration of Malgrange and Kashiwara on iota mathscr O X( D) and the characterization of the Hodge ideals in terms of this V filtration. In particular, this gives a new algorithm to compute the multiplier ideals and the jumping numbers of any effective divisor.


Machine Learning Based Statistical Closure Models for Turbulent Dynamical Systems. We propose a Machine Learning (ML) non Markovian closure modeling framework for accurate predictions of statistical responses of turbulent dynamical systems subjected to external forcings. One of the difficulties in this statistical closure problem is the lack of training data, which is a configuration that is not desirable in supervised learning with neural network models. In this study with the 40 dimensional Lorenz 96 model, the shortage of data (in temporal) is due to the stationarity of the statistics beyond the decorrelation time, thus, the only informative content in the training data is on short time transient statistics. We adopted a unified closure framework on various truncation regimes, including and excluding the detailed dynamical equations for the variances. The closure frameworks employ a Long Short Term Memory architecture to represent the higher order unresolved statistical feedbacks with careful consideration to account for the intrinsic instability yet producing stable long time predictions. We found that this unified agnostic ML approach performs well under various truncation scenarios. Numerically, the ML closure model can accurately predict the long time statistical responses subjected to various time dependent external forces that are not (and maximum forcing amplitudes that are relatively larger than those) in the training dataset.


Reachability and Top k Reachability Queries with Transfer Decay. The prevalence of location tracking systems has resulted in large volumes of spatiotemporal data generated every day. Addressing reachability queries on such datasets is important for a wide range of applications (surveillance, public health, social networks, etc.) A spatiotemporal reachability query identifies whether a physical item (or information etc.) could have been transferred from the source object O S to the target object O T during a time interval I (either directly, or through a chain of intermediate transfers). In previous research on spatiotemporal reachability queries, the number of such transfers is not limited, and the weight of a piece of transferred information remains the same. This paper introduces novel reachability queries, which assume a scenario of information decay. Such queries arise when the value of information that travels through the chain of intermediate objects decreases with each transfer. To address such queries efficiently over large spatiotemporal datasets, we introduce the RICCdecay algorithm. Further, the decay scenario leads to an important extension if there are many different sources of information, the aggregate value of information an object can obtain varies. As a result, we introduce a top k reachability problem, identifying the k objects with the highest accumulated information. We also present the RICCtopK algorithm that can efficiently compute top k reachability with transfer decay queries. An experimental evaluation shows the efficiency of the proposed algorithms over previous approaches.


Path Planning for Manipulation using Experience driven Random Trees. Robotic systems may frequently come across similar manipulation planning problems that result in similar motion plans. Instead of planning each problem from scratch, it is preferable to leverage previously computed motion plans, i.e., experiences, to ease the planning. Different approaches have been proposed to exploit prior information on novel task instances. These methods, however, rely on a vast repertoire of experiences and fail when none relates closely to the current problem. Thus, an open challenge is the ability to generalise prior experiences to task instances that do not necessarily resemble the prior. This work tackles the above challenge with the proposition that experiences are "decomposable" and "malleable", i.e., parts of an experience are suitable to relevantly explore the connectivity of the robot task space even in non experienced regions. Two new planners result from this insight experience driven random trees (ERT) and its bi directional version ERTConnect. These planners adopt a tree sampling based strategy that incrementally extracts and modulates parts of a single path experience to compose a valid motion plan. We demonstrate our method on task instances that significantly differ from the prior experiences, and compare with related state of the art experience based planners. While their repairing strategies fail to generalise priors of tens of experiences, our planner, with a single experience, significantly outperforms them in both success rate and planning time. Our planners are implemented and freely available in the Open Motion Planning Library.


Silhouette based View embeddings for Gait Recognition under Multiple Views. Gait recognition under multiple views is an important computer vision and pattern recognition task. In the emerging convolutional neural network based approaches, the information of view angle is ignored to some extent. Instead of direct view estimation and training view specific recognition models, we propose a compatible framework that can embed view information into existing architectures of gait recognition. The embedding is simply achieved by a selective projection layer. Experimental results on two large public datasets show that the proposed framework is very effective.


Generating the plane Cremona groups by involutions. We prove that over any perfect field the plane Cremona group is generated by involutions.


The Effect of Super spreader Events in Epidemics. The spread of infectious epidemics is often accelerated by super spreader events. Understanding their effect is important, particularly in the context of standard epidemiological models, which require estimates for parameters such as R 0 . In this letter, we show that the effective value of R 0 in super spreader situations is significantly large, of the order of hundreds, suggesting a delta function like behavior during the event. Use of a well mixed room model supports these findings. They elucidate infection kinetic modeling in enclosed environments, which differ from the standard SIR model, and provide expressions for R 0 in terms of physical and operational parameters. The overall impact of super spreader events can be significant, depending on the state of the epidemic and how the infections generated by the event subsequently spread in the community.


Lower Bounds and properties for the average number of colors in the non equivalent colorings of a graph. We study the average number mathcal A (G) of colors in the non equivalent colorings of a graph G . We show some general properties of this graph invariant and determine its value for some classes of graphs. We then conjecture several lower bounds on mathcal A (G) and prove that these conjectures are true for specific classes of graphs such as triangulated graphs and graphs with maximum degree at most 2.


Model Theory and Groups. This is a largely expository paper about how groups arise or are of interest in model theory. Included are the following topics classifying groups definable in specific structures or theories and the relation to algebraic groups, groups definable in stable, simple and NIP theories, definable compactifications of groups, definable Galois theory (including differential Galois theory), connections with topological dynamics, model theory of the free group.


Collective Bias Models in Two Tier Voting Systems and the Democracy Deficit. We analyse optimal voting weights in two tier voting systems. In our model, the overall population (or union) is split in groups (or member states) of different sizes. The individuals comprising the overall population constitute the first tier, and the council is the second tier. Each group has a representative in the council that casts votes on their behalf. By optimal weights', we mean voting weights in the council which minimise the democracy deficit, i.e. the expected deviation of the council vote from a (hypothetical) popular vote. We assume that the voters within each group interact via what we call a local collective bias or common belief (through tradition, common values, strong religious beliefs, etc.). We allow in addition an interaction across group borders via a global bias. Thus, the voting behaviour of each voter depends on the behaviour of all other voters. This correlation is stronger between voters in the same group, but in general not zero for voters in different groups. We call the respective voting measure a Collective Bias Model (CBM). The simple CBM' introduced by Kirsch (2007) and in particular the Impartial Culture and the Impartial Anonymous Culture are special cases of our general model. We compute the optimal weights for large groups rather explicitly. Those optimal weights are unique as long as there is no complete' correlation between the groups. If the correlation between voters in different groups is extremely strong, then the optimal weights are not unique at all. In fact, in this case, the weights are essentially arbitrary.


Benchmarking deep generative models for diverse antibody sequence design. Computational protein design, i.e. inferring novel and diverse protein sequences consistent with a given structure, remains a major unsolved challenge. Recently, deep generative models that learn from sequences alone or from sequences and structures jointly have shown impressive performance on this task. However, those models appear limited in terms of modeling structural constraints, capturing enough sequence diversity, or both. Here we consider three recently proposed deep generative frameworks for protein design (AR) the sequence based autoregressive generative model, (GVP) the precise structure based graph neural network, and Fold2Seq that leverages a fuzzy and scale free representation of a three dimensional fold, while enforcing structure to sequence (and vice versa) consistency. We benchmark these models on the task of computational design of antibody sequences, which demand designing sequences with high diversity for functional implication. The Fold2Seq framework outperforms the two other baselines in terms of diversity of the designed sequences, while maintaining the typical fold.


Sharpness of Seeger Sogge Stein orders for the weak (1,1) boundedness of Fourier integral operators. Let X and Y be two smooth manifolds of the same dimension. It was proved by Seeger, Sogge and Stein in cite SSS that the Fourier integral operators with real non degenerate phase functions in the class I mu 1(X,Y Lambda), mu leq (n 1) 2, are bounded from H 1 to L 1. The sharpness of the order (n 1) 2, for any elliptic operator was also proved in cite SSS and extended to other types of canonical relations in cite Ruzhansky1999 . That the operators in the class I mu 1(X,Y Lambda), mu leq (n 1) 2, satisfy the weak (1,1) inequality was proved by Tao cite Tao weak11 . In this note, we prove that the weak (1,1) inequality for the order (n 1) 2 is sharp for any elliptic Fourier integral operator, as well as its versions for canonical relations satisfying additional rank conditions.


OTB morph One Time Biometrics via Morphing applied to Face Templates. Cancelable biometrics refers to a group of techniques in which the biometric inputs are transformed intentionally using a key before processing or storage. This transformation is repeatable enabling subsequent biometric comparisons. This paper introduces a new scheme for cancelable biometrics aimed at protecting the templates against potential attacks, applicable to any biometric based recognition system. Our proposed scheme is based on time varying keys obtained from morphing random biometric information. An experimental implementation of the proposed scheme is given for face biometrics. The results confirm that the proposed approach is able to withstand against leakage attacks while improving the recognition performance.


Finer geometry of planar self affine sets. For a planar self affine set satisfying the strong separation condition, it has been recently proved that under mild assumptions the Hausdorff dimension equals the affinity dimension. In this article, we continue this line of research and our objective is to acquire more refined geometric information. In a large class of non carpet planar self affine sets, we characterize Ahlfors regularity, determine the Assouad dimension of the set and its projections, and estimate the Hausdorff dimension of slices. We also demonstrate that the Assouad dimension is not necessarily bounded above by the affinity dimension.


Unexpected Hydrophobicity on Self Assembled Monolayers Terminated with Two Hydrophilic Hydroxyl Groups. Current major approaches to access surface hydrophobicity include directly introducing hydrophobic nonpolar groups molecules into surface or elaborately fabricating surface roughness. Here, for the first time, molecular dynamics simulations show an unexpected hydrophobicity with a contact angle of 82 o on a flexible self assembled monolayer terminated only with two hydrophilic OH groups ( (OH) 2 ! !SAM ). This hydrophobicity is attributed to the formation of a hexagonal ice like H bonding structure in the OH matrix of (OH) 2 ! !SAM , which sharply reduces the hydrogen bonds between surface and water molecules above. The unique simple interface presented here offers a significant molecular level platform for examining the bio interfacial interactions ranging from biomolecules binding to cell adhesion.


Quadratic and symplectic structures on 3 (Hom) rho Lie algebras. Our purpose in this paper is the generalization of the notions of quadratic and symplectic structures to the case of 3 (Hom) rho Lie algebras. We describe some properties of them by expressing the related lemmas and theorems. Also, we introduce the concept of 3 pre (Hom) rho Lie algebras and define their representation.


Convergence analysis for gradient flows in the training of artificial neural networks with ReLU activation. Gradient descent (GD) type optimization schemes are the standard methods to train artificial neural networks (ANNs) with rectified linear unit (ReLU) activation. Such schemes can be considered as discretizations of gradient flows (GFs) associated to the training of ANNs with ReLU activation and most of the key difficulties in the mathematical convergence analysis of GD type optimization schemes in the training of ANNs with ReLU activation seem to be already present in the dynamics of the corresponding GF differential equations. It is the key subject of this work to analyze such GF differential equations in the training of ANNs with ReLU activation and three layers (one input layer, one hidden layer, and one output layer). In particular, in this article we prove in the case where the target function is possibly multi dimensional and continuous and in the case where the probability distribution of the input data is absolutely continuous with respect to the Lebesgue measure that the risk of every bounded GF trajectory converges to the risk of a critical point. In addition, in this article we show in the case of a 1 dimensional affine linear target function and in the case where the probability distribution of the input data coincides with the standard uniform distribution that the risk of every bounded GF trajectory converges to zero if the initial risk is sufficiently small. Finally, in the special situation where there is only one neuron on the hidden layer (1 dimensional hidden layer) we strengthen the above named result for affine linear target functions by proving that that the risk of every (not necessarily bounded) GF trajectory converges to zero if the initial risk is sufficiently small.


Harmonic analysis on certain spherical varieties. Braverman and Kazhdan proposed a conjecture, later refined by Ng o and broadened to the framework of spherical varieties by Sakellaridis, that asserts that affine spherical varieties admit Schwartz spaces, Fourier transforms, and Poisson summation formulae. The first author in joint work with B. Liu and later the first two authors proved these conjectures for certain spherical varieties Y built out of triples of quadratic spaces. However, in these works the Fourier transform was only proven to exist. In the present paper we give, for the first time, an explicit formula for the Fourier transform on Y. We also prove that it is unitary in the nonarchimedean case. As preparation for this result, we give explicit formulae for Fourier transforms on Braverman Kazhdan spaces attached to maximal parabolic subgroups of split, simple, simply connected groups. These Fourier transforms are of independent interest, for example, from the point of view of analytic number theory.


Internet of Things (IoT) Application Model for Smart Farming. Smart Farming has brought a major transformation in the agriculture process by using the Internet of Things (IoT) devices, emerging technologies such as cloud computing, fog computing, and data analytics. It allows farmers to have real time awareness of the farm and help them make smart and informed decisions. In this paper, we propose a distributed data flow (DDF) based model for the smart farming application that is composed of interdependent modules. We evaluate the proposed application model using two deployment strategies cloud based, and fog based where the application modules are deployed on the fog and the cloud data center respectively. We compare the cloud based and fog based strategy in terms of end to end latency and network usage.


SetSketch Filling the Gap between MinHash and HyperLogLog. MinHash and HyperLogLog are sketching algorithms that have become indispensable for set summaries in big data applications. While HyperLogLog allows counting different elements with very little space, MinHash is suitable for the fast comparison of sets as it allows estimating the Jaccard similarity and other joint quantities. This work presents a new data structure called SetSketch that is able to continuously fill the gap between both use cases. Its commutative and idempotent insert operation and its mergeable state make it suitable for distributed environments. Fast, robust, and easy to implement estimators for cardinality and joint quantities, as well as the ability to use SetSketch for similarity search, enable versatile applications. The presented joint estimator can also be applied to other data structures such as MinHash, HyperLogLog, or HyperMinHash, where it even performs better than the corresponding state of the art estimators in many cases.


Learning Multi granularity User Intent Unit for Session based Recommendation. Session based recommendation aims to predict a user's next action based on previous actions in the current session. The major challenge is to capture authentic and complete user preferences in the entire session. Recent work utilizes graph structure to represent the entire session and adopts Graph Neural Network to encode session information. This modeling choice has been proved to be effective and achieved remarkable results. However, most of the existing studies only consider each item within the session independently and do not capture session semantics from a high level perspective. Such limitation often leads to severe information loss and increases the difficulty of capturing long range dependencies within a session. Intuitively, compared with individual items, a session snippet, i.e., a group of locally consecutive items, is able to provide supplemental user intents which are hardly captured by existing methods. In this work, we propose to learn multi granularity consecutive user intent unit to improve the recommendation performance. Specifically, we creatively propose Multi granularity Intent Heterogeneous Session Graph which captures the interactions between different granularity intent units and relieves the burden of long dependency. Moreover, we propose the Intent Fusion Ranking module to compose the recommendation results from various granularity user intents. Compared with current methods that only leverage intents from individual items, IFR benefits from different granularity user intents to generate more accurate and comprehensive session representation, thus eventually boosting recommendation performance. We conduct extensive experiments on five session based recommendation datasets and the results demonstrate the effectiveness of our method.


Privacy Preserving Decentralized Exchange Marketplaces. Decentralized exchange markets leveraging blockchain have been proposed recently to provide open and equal access to traders, improve transparency and reduce systemic risk of centralized exchanges. However, they compromise on the privacy of traders with respect to their asset ownership, account balance, order details and their identity. In this paper, we present Rialto, a fully decentralized privacy preserving exchange marketplace with support for matching trade orders, on chain settlement and market price discovery. Rialto provides confidentiality of order rates and account balances and unlinkability between traders and their trade orders, while retaining the desirable properties of a traditional marketplace like front running resilience and market fairness. We define formal security notions and present a security analysis of the marketplace. We perform a detailed evaluation of our solution, demonstrate that it scales well and is suitable for a large class of goods and financial instruments traded in modern exchange markets.


Parametricity for Nested Types and GADTs. This paper considers parametricity and its consequent free theorems for nested data types. Rather than representing nested types via their Church encodings in a higher kinded or dependently typed extension of System F, we adopt a functional programming perspective and design a Hindley Milner style calculus with primitives for constructing nested types directly as fixpoints. Our calculus can express all nested types appearing in the literature, including truly nested types. At the level of terms, it supports primitive pattern matching, map functions, and fold combinators for nested types. Our main contribution is the construction of a parametric model for our calculus. This is both delicate and challenging. In particular, to ensure the existence of semantic fixpoints interpreting nested types, and thus to establish a suitable Identity Extension Lemma for our calculus, our type system must explicitly track functoriality of types, and cocontinuity conditions on the functors interpreting them must be appropriately threaded throughout the model construction. We also prove that our model satisfies an appropriate Abstraction Theorem, as well as that it verifies all standard consequences of parametricity in the presence of primitive nested types. We give several concrete examples illustrating how our model can be used to derive useful free theorems, including a short cut fusion transformation, for programs over nested types. Finally, we consider generalizing our results to GADTs, and argue that no extension of our parametric model for nested types can give a functorial interpretation of GADTs in terms of left Kan extensions and still be parametric.


Study of Beam Loss Monitors (BLM) in Storage Ring. The Beam Loss Monitors (BLM) are designed to measure the position and amount of beam loss in accelerators. In this article, we have studied the 3 GeV electron losses in the storage ring and secondary particles from the losses on the beam pipe. We have compared ionization chamber, NaI and Si radiation detectors as BLM and selected Si detector for further studies. We have calculated electron deflection angle due to magnetic field mismatches in dipole magnets, quadrupoles and sextupoles and assumed that electron beam is deflected and hit the beam pipe with the angle of 3 degrees with respect to the beam axis. The number and energy of photons and secondary particles on beam pipe and in Si detector are calculated by the MCNP code and reported in this paper.


Polarization purity for active stabilization of diode laser injection lock. Injection locking of diode lasers is commonly used to amplify low power laser light, but is extremely sensitive to perturbations in the laser current and temperature. To counter such perturbations, active stabilization is often applied to the current of the injection locked diode. We observe that the diode laser's polarization extinction ratio (PER) greatly increases when injection locked, and therefore the PER provides a measure of injection lock quality. We report robust active stabilization of a diode laser injection lock based on the PER, demonstrating the technique at 399 nm wavelength where injection locking is typically less stable than at longer wavelengths. The PER provides a feedback error signal that is compatible with standard PID servo controllers, requires no additional optical components beyond the optical isolator typically used in injection locking, and enables a large feedback bandwidth.


Semantic Feature Matching for Robust Mapping in Agriculture. Visual Simultaneous Localization and Mapping (SLAM) systems are an essential component in agricultural robotics that enable autonomous navigation and the construction of accurate 3D maps of agricultural fields. However, lack of texture, varying illumination conditions, and lack of structure in the environment pose a challenge for Visual SLAM systems that rely on traditional feature extraction and matching algorithms such as ORB or SIFT. This paper proposes 1) an object level feature association algorithm that enables the creation of 3D reconstructions robustly by taking advantage of the structure in robotic navigation in agricultural fields, and 2) An object level SLAM system that utilizes recent advances in deep learning based object detection and segmentation algorithms to detect and segment semantic objects in the environment used as landmarks for SLAM. We test our SLAM system on a stereo image dataset of a sorghum field. We show that our object based feature association algorithm enables us to map 78 of a sorghum range on average. In contrast, with traditional visual features, we achieve an average mapped distance of 38 . We also compare our system against ORB SLAM2, a state of the art visual SLAM algorithm.


Efficient Analysis of Chemical Reaction Networks Dynamics based on Input Output Monotonicity. Motivation A Chemical Reaction Network (CRN) is a set of chemical reactions, which can be very complex and difficult to analyze. Indeed, dynamical properties of CRNs can be described by a set of non linear differential equations that rarely can be solved in closed form, but that can instead be used to reason on the system dynamics. In this context, one of the possible approaches is to perform numerical simulations, which may require a high computational effort. In particular, in order to investigate some dynamical properties, such as robustness or global sensitivity, many simulations have to be performed by varying the initial concentration of chemical species. Results In order to reduce the computational effort required when many simulations are needed to assess a property, we exploit a new notion of monotonicity of the output of the system (the concentration of a target chemical species at the steady state) with respect to the input (the initial concentration of another chemical species). To assess such monotonicity behavior, we propose a new graphical approach that allows us to state sufficient conditions for ensuring that the monotonicity property holds. Our sufficient conditions allow us to efficiently verify the monotonicity property by exploring a graph constructed on the basis of the reactions involved in the network. Once established, our monotonicity property allows us to drastically reduce the number of simulations required to assess some dynamical properties of the CRN.


Is Label Smoothing Truly Incompatible with Knowledge Distillation An Empirical Study. This work aims to empirically clarify a recently discovered perspective that label smoothing is incompatible with knowledge distillation. We begin by introducing the motivation behind on how this incompatibility is raised, i.e., label smoothing erases relative information between teacher logits. We provide a novel connection on how label smoothing affects distributions of semantically similar and dissimilar classes. Then we propose a metric to quantitatively measure the degree of erased information in sample's representation. After that, we study its one sidedness and imperfection of the incompatibility view through massive analyses, visualizations and comprehensive experiments on Image Classification, Binary Networks, and Neural Machine Translation. Finally, we broadly discuss several circumstances wherein label smoothing will indeed lose its effectiveness. Project page http zhiqiangshen.com projects LS and KD index.html.


Strong field control of plasmonic properties in core shell nanoparticles. The strong field control of plasmonic nanosystems opens up new perspectives for nonlinear plasmonic spectroscopy and petahertz electronics. Questions, however, remain regarding the nature of nonlinear light matter interactions at sub wavelength spatial and ultrafast temporal scales. Addressing this challenge, we investigated the strong field control of the plasmonic response of Au nanoshells with a SiO 2 core to an intense laser pulse. We show that the photoelectron energy spectrum from these core shell nanoparticles displays a striking transition between the weak and strong field regime. This observed transition agrees with the prediction of our modified Mie theory simulation that incorporates the nonlinear dielectric nanoshell response. The demonstrated intensity dependent optical control of the plasmonic response in prototypical core shell nanoparticles paves the way towards ultrafast switching and opto electronic signal modulation with more complex nanostructures.


Universal Off Policy Evaluation. When faced with sequential decision making problems, it is often useful to be able to predict what would happen if decisions were made using a new policy. Those predictions must often be based on data collected under some previously used decision making rule. Many previous methods enable such off policy (or counterfactual) estimation of the expected value of a performance measure called the return. In this paper, we take the first steps towards a universal off policy estimator (UnO) one that provides off policy estimates and high confidence bounds for any parameter of the return distribution. We use UnO for estimating and simultaneously bounding the mean, variance, quantiles median, inter quantile range, CVaR, and the entire cumulative distribution of returns. Finally, we also discuss Uno's applicability in various settings, including fully observable, partially observable (i.e., with unobserved confounders), Markovian, non Markovian, stationary, smoothly non stationary, and discrete distribution shifts.


SPI Automated Identification of Security Patches via Commits. Security patches in open source software, providing security fixes to identified vulnerabilities, are crucial in protecting against cyberattacks. Despite the National Vulnerability Database (NVD) publishes identified vulnerabilities, a vast majority of vulnerabilities and their corresponding security patches remain beyond public exposure, e.g., in the open source libraries that are heavily relied on by developers. An extensive security patches dataset could help end users such as security companies, e.g., building a security knowledge base, or researchers, e.g., aiding in vulnerability research. To curate security patches including undisclosed patches at a large scale and low cost, we propose a deep neural network based approach built upon commits of open source repositories. We build security patch datasets that include 38,291 security related commits and 1,045 CVE patches from four C libraries. We manually verify each commit, among the 38,291 security related commits, to determine if they are security related. We devise a deep learning based security patch identification system that consists of two neural networks one commit message neural network that utilizes pretrained word representations learned from our commits dataset and one code revision neural network that takes code before and after revision and learns the distinction on the statement level. Our evaluation results show that our system outperforms SVM and K fold stacking algorithm, achieving as high as 87.93 F1 score and precision of 86.24 . We deployed our pipeline and learned model in an industrial production environment to evaluate the generalization ability of our approach. The industrial dataset consists of 298,917 commits from 410 new libraries that range from a wide functionality. Our experiment results and observation proved that our approach identifies security patches effectively among open sourced projects.


Monitoring Indoor Activity of Daily Living Using Thermal Imaging A Case Study. Monitoring indoor activities of daily living (ADLs) of a person is neither an easy nor an accurate process. It is subjected to dependency on sensor type, power supply stability, and connectivity stability without mentioning artifacts introduced by the person himself. Multiple challenges have to be overcome in this field, such as monitoring the precise spatial location of the person, and estimating vital signs like an individuals average temperature. Privacy is another domain of the problem to be thought of with care. Identifying the persons posture without a camera is another challenge. Posture identification assists in the persons fall detection. Thermal imaging could be a proper solution for most of the mentioned challenges. It provides monitoring both the persons average temperature and spatial location while maintaining privacy. In this research, we propose an IoT system for monitoring an indoor ADL using thermal sensor array (TSA). Three classes of ADLs are introduced, which are daily activity, sleeping activity and no activity respectively. Estimating person average temperature using TSAs is introduced as well in this paper. Results have shown that the three activity classes can be identified as well as the persons average temperature during day and night. The persons spatial location can be determined while his her privacy is maintained as well.


NxMTransformer Semi Structured Sparsification for Natural Language Understanding via ADMM. Natural Language Processing (NLP) has recently achieved success by using huge pre trained Transformer networks. However, these models often contain hundreds of millions or even billions of parameters, bringing challenges to online deployment due to latency constraints. Recently, hardware manufacturers have introduced dedicated hardware for NxM sparsity to provide the flexibility of unstructured pruning with the runtime efficiency of structured approaches. NxM sparsity permits arbitrarily selecting M parameters to retain from a contiguous group of N in the dense representation. However, due to the extremely high complexity of pre trained models, the standard sparse fine tuning techniques often fail to generalize well on downstream tasks, which have limited data resources. To address such an issue in a principled manner, we introduce a new learning framework, called NxMTransformer, to induce NxM semi structured sparsity on pretrained language models for natural language understanding to obtain better performance. In particular, we propose to formulate the NxM sparsity as a constrained optimization problem and use Alternating Direction Method of Multipliers (ADMM) to optimize the downstream tasks while taking the underlying hardware constraints into consideration. ADMM decomposes the NxM sparsification problem into two sub problems that can be solved sequentially, generating sparsified Transformer networks that achieve high accuracy while being able to effectively execute on newly released hardware. We apply our approach to a wide range of NLP tasks, and our proposed method is able to achieve 1.7 points higher accuracy in GLUE score than current practices. Moreover, we perform detailed analysis on our approach and shed light on how ADMM affects fine tuning accuracy for downstream tasks. Finally, we illustrate how NxMTransformer achieves performance improvement with knowledge distillation.


Offline Software and Computing for the SPD experiment. The SPD (Spin Physics Detector) is a planned spin physics experiment in the second interaction point of the NICA collider that is under construction at JINR. The main goal of the experiment is the test of basic of the QCD via the study of the polarized structure of the nucleon and spin related phenomena in the collision of longitudinally and transversely polarized protons and deuterons at the center of mass energy up to 27 GeV and luminosity up to 10 32 1 (cm 2 s). The data rate at the maximum design luminosity is expected to reach 0.2 Tbit s. Current approaches to SPD computing and offline software will be presented. The plan of the computing and software R D in the scope of the SPD TDR preparation will be discussed.


UserIdentifier Implicit User Representations for Simple and Effective Personalized Sentiment Analysis. Global models are trained to be as generalizable as possible, with user invariance considered desirable since the models are shared across multitudes of users. As such, these models are often unable to produce personalized responses for individual users, based on their data. Contrary to widely used personalization techniques based on few shot learning, we propose UserIdentifier, a novel scheme for training a single shared model for all users. Our approach produces personalized responses by adding fixed, non trainable user identifiers to the input data. We empirically demonstrate that this proposed method outperforms the prefix tuning based state of the art approach by up to 13 , on a suite of sentiment analysis datasets. We also show that, unlike prior work, this method needs neither any additional model parameters nor any extra rounds of few shot fine tuning.


Caching at the Edge Outage Probability. Caching at the edge of wireless networks is a keytechnology to reduce traffic in the backhaul link. However, aconcentrated amount of requests during peak periods may causethe outage of the system, meaning that the network is not ableto serve the whole set of demands. The outage probability is afundamental metric to take into account during the networkdesign. In this paper, we derive the analytical expression ofthe outage probability as a function of the total amount ofusers requests, library size, requests distribution, cache size andcapacity constraints on the backhaul resources. In particular, wefocus on a scenario where end users have no direct connectionto the master node which holds the complete library of contentthat can be requested. A general formulation of the outage isderived and studied for two relevant caching schemes, i.e. therandom caching scheme and the most popular caching schemes.The exact closed form expressions presented in this paper provideuseful insights on how requests, memory and resources can bebalanced when the parameters of a cache enabled network haveto designed


Special values of L functions on regular arithmetic schemes of dimension 1 . We construct a well behaved Weil 'etale complex for a large class of mathbb Z constructible sheaves on a regular irreducible scheme U of finite type over mathbb Z and of dimension 1 . We then give a formula for the special value at s 0 of the L function associated to any mathbb Z constructible sheaf on U in terms of Euler characteristics of Weil 'etale cohomology for smooth proper curves, we obtain the formula of arXiv 2009.14504. We deduce a special value formula for Artin L functions twisted by a singular irreducible scheme X of finite type over mathbb Z and of dimension 1 . This generalizes and improves all results in arXiv 1611.01720 as a special case, we obtain a special value formula for the arithmetic zeta function of X .


Counting rational points on elliptic curves with a rational 2 torsion point. Let E mathbb Q be an elliptic curve over the rational numbers. It is known, by the work of Bombieri and Zannier, that if E has full rational 2 torsion, the number N E(B) of rational points with Weil height bounded by B is exp left(O left( frac log B sqrt log log B right) right) . In this paper we exploit the method of descent via 2 isogeny to extend this result to elliptic curves with just one nontrivial rational 2 torsion point. Moreover, we make use of a result of Petsche to derive the stronger upper bound N E (B) exp left(O left( frac log B log log B right) right) for these curves and to remove a deep transcendence theory ingredient from the proof.


Infill topology and shape optimisation of lattice skin structures. Lattice skin structures composed of a thin shell skin and a lattice infill are widespread in nature and large scale engineering due to their efficiency and exceptional mechanical properties. Recent advances in additive manufacturing, or 3D printing, make it possible to create lattice skin structures of almost any size with arbitrary shape and geometric complexity. We propose a novel gradient based approach to optimising both the shape and infill of lattice skin structures to improve their efficiency further. The respective gradients are computed by fully considering the lattice skin coupling while the lattice topology and shape optimisation problems are solved in a sequential manner. The shell is modelled as a Kirchhoff Love shell and analysed using isogeometric subdivision surfaces, whereas the lattice is modelled as a pin jointed truss. The lattice consists of many cells, possibly of different sizes, with each containing a small number of struts. We propose a penalisation approach akin to the SIMP (solid isotropic material with penalisation) method for topology optimisation of the lattice. Furthermore, a corresponding sensitivity filter and a lattice extraction technique are introduced to ensure the stability of the optimisation process and to eliminate scattered struts of small cross sectional areas. The developed topology optimisation technique is suitable for non periodic, non uniform lattices. For shape optimisation of both the shell and the lattice, the geometry of the lattice skin structure is parameterised using the free form deformation technique. The topology and shape optimisation problems are solved in an iterative, sequential manner. The effectiveness of the proposed approach and the influence of different algorithmic parameters are demonstrated with several numerical examples.


Influence of non Hermitian mode topology on refractive index sensing with plasmonic waveguides. We evaluate the sensing properties of plasmonic waveguide sensors by calculating their resonant transmission spectra in different regions of the non Hermitian eigenmode space. We elucidate the pitfalls of using modal dispersion calculations in isolation to predict plasmonic sensor performance, which we address by using a simple model accounting for eigenmode excitation and propagation. Our transmission calculations show that resonant wavelength and spectral width crucially depend on the length of the sensing region, so that no single criterion obtained from modal dispersion calculations alone can be used as a proxy for sensitivity. Furthermore, we find that the optimal detection limits occur where directional coupling is supported, where the narrowest spectra occur. Such narrow spectral features can only be measured by filtering out all higher order modes at the output, e.g., via a single mode waveguide. Our calculations also confirm a characteristic square root dependence of the eigenmode splitting with respect to the permittivity perturbation at the exceptional point, which we show can be identified through the sensor beat length at resonance. This work provides a convenient framework for designing and characterizing plasmonic waveguide sensors when comparing with experimental measurements.


Rearchitecting Kubernetes for the Edge. Recent years have seen Kubernetes emerge as a primary choice for container orchestration. Kubernetes largely targets the cloud environment but new use cases require performant, available and scalable orchestration at the edge. Kubernetes stores all cluster state in etcd, a strongly consistent key value store. We find that at larger etcd cluster sizes, offering higher availability, write request latency significantly increases and throughput decreases similarly. Coupled with approximately 30 of Kubernetes requests being writes, this directly impacts the request latency and availability of Kubernetes, reducing its suitability for the edge. We revisit the requirement of strong consistency and propose an eventually consistent approach instead. This enables higher performance, availability and scalability whilst still supporting the broad needs of Kubernetes. This aims to make Kubernetes much more suitable for performance critical, dynamically scaled edge solutions.


Integral operators induced by symbols with non negative Maclaurin coefficients mapping into H infty . For analytic functions g on the unit disc with non negative Maclaurin coefficients, we describe the boundedness and compactness of the integral operator T g(f)(z) int 0 zf( zeta)g'( zeta) ,d zeta from a space X of analytic functions in the unit disc to H infty , in terms of neat and useful conditions on the Maclaurin coefficients of g . The choices of X that will be considered contain the Hardy and the Hardy Littlewood spaces, the Dirichlet type spaces D p p 1 , as well as the classical Bloch and BMOA spaces.


Towards Handling Unconstrained User Preferences in Dialogue. A user input to a schema driven dialogue information navigation system, such as venue search, is typically constrained by the underlying database which restricts the user to specify a predefined set of preferences, or slots, corresponding to the database fields. We envision a more natural information navigation dialogue interface where a user has flexibility to specify unconstrained preferences that may not match a predefined schema. We propose to use information retrieval from unstructured knowledge to identify entities relevant to a user request. We update the Cambridge restaurants database with unstructured knowledge snippets (reviews and information from the web) for each of the restaurants and annotate a set of query snippet pairs with a relevance label. We use the annotated dataset to train and evaluate snippet relevance classifiers, as a proxy to evaluating recommendation accuracy. We show that with a pretrained transformer model as an encoder, an unsupervised supervised classifier achieves a weighted F1 of .661 .856.


Mobile Blockchain Decentralized Applications (DApps) A Case Study Of IPTM Blockchain Certificate Verification System. A variety of mobile devices and applications have spread the usability of blockchain solutions to over 5.27 billion unique mobile phone users. The rising of Bitcoin price up to USD 50,000 in March 2021 has made many blockchain mobile wallets and smart contracts DApps popular for current and future investment of cryptocurrency and digital asset managements. To understand the trend, this chapter will present the design and implementation of mobile blockchain DApps using Android Studio together with Ethereum smart contract as the digital asset management tool. Java Android and Ethereum Web3 Java APIs will be demonstrated as a practical deployment of the mobile DApps. The logic and decision making of the mobile DApps will be demonstrated and coded as a smart contract. The source codes of the mobile DApps and smart contract were published in Github as open source codes for those who are interested to build and run the project.


Solids in the space of the Veronese surface in even characteristic. We classify the orbits of solids in the projective space text PG (5,q) , q even, under the setwise stabiliser K cong text PGL (3,q) of the Veronese surface. For each orbit, we provide an explicit representative S and determine two combinatorial invariants the point orbit distribution and the hyperplane orbit distribution. These invariants characterise the orbits except in two specific cases (in which the orbits are distinguished by their line orbit distributions). In addition, we determine the stabiliser of S in K , thereby obtaining the size of each orbit. As a consequence, we obtain a proof of the classification of pencils of conics in text PG (2,q) , q even, which to the best of our knowledge has been heretofore missing in the literature.


On Theoretical and Numerical Aspect of Fractional Differential Equations with Purely Integral Conditions. In this paper, we are interested in the study of a problem with fractional derivatives having boundary conditions of integral types. The problem represents a Caputo type advection diffusion equation where the fractional order derivative with respect to time with 1 alpha 2 . The method of the energy inequalities is used to prove the existence and the uniqueness of solutions of the problem. The finite difference method is also introduced to study the problem numerically in order to find an approximate solution of the considered problem. Some numerical examples are presented to show satisfactory results.


Getting a handle on the Conway knot. A knot is said to be slice if it bounds a smooth disk in the 4 ball. For 50 years, it was unknown whether a certain 11 crossing knot, called the Conway knot, was slice or not, and until recently, this was the only one of the thousands of knots with fewer than 13 crossings whose slice status remained a mystery. We will describe Lisa Piccirillo's proof that the Conway knot is not slice. The main idea of her proof is given in the title of this article.


Fed2 Feature Aligned Federated Learning. Federated learning learns from scattered data by fusing collaborative models from local nodes. However, the conventional coordinate based model averaging by FedAvg ignored the random information encoded per parameter and may suffer from structural feature misalignment. In this work, we propose Fed2, a feature aligned federated learning framework to resolve this issue by establishing a firm structure feature alignment across the collaborative models. Fed2 is composed of two major designs First, we design a feature oriented model structure adaptation method to ensure explicit feature allocation in different neural network structures. Applying the structure adaptation to collaborative models, matchable structures with similar feature information can be initialized at the very early training stage. During the federated learning process, we then propose a feature paired averaging scheme to guarantee aligned feature distribution and maintain no feature fusion conflicts under either IID or non IID scenarios. Eventually, Fed2 could effectively enhance the federated learning convergence performance under extensive homo and heterogeneous settings, providing excellent convergence speed, accuracy, and computation communication efficiency.


Asymptotic behavior of a doubly haptotactic cross diffusion model for oncolytic virotherapy. This paper considers a model for oncolytic virotherapy given by the doubly haptotactic cross diffusion system begin equation left begin array ll u t D u Delta u xi u nabla cdot(u nabla v) mu u u(1 u) rho uz, v t ( alpha u u alpha w w)v, w t D w Delta w xi w nabla cdot(w nabla v) w rho uz, z t D z Delta z delta z z rho uz beta w, end array right. end equation with positive parameters D u,D w,D z, xi u, xi w, delta z, rho , alpha u, alpha w, mu u, beta . When posed under no flux boundary conditions in a smoothly bounded domain Omega subset mathbb R 2 , and along with initial conditions involving suitably regular data, the global existence of classical solution to this system was asserted in Tao and Winkler (2020). Based on the suitable quasi Lyapunov functional, it is shown that when the virus replication rate beta 1 , the global classical solution (u,v,w,z) is uniformly bounded and exponentially stabilizes to the constant equilibrium (1, 0, 0, 0) in the topology (L infty( Omega)) 4 as t rightarrow infty .


From Identity to Difference A Quantitative Interpretation of the Identity Type. We explore a quantitative interpretation of 2 dimensional intuitionistic type theory (ITT) in which the identity type is interpreted as a "type of differences". We show that a fragment of ITT, that we call difference type theory (dTT), yields a general logical framework to talk about quantitative properties of programs like approximate equivalence and metric preservation. To demonstrate this fact, we show that dTT can be used to capture compositional reasoning in presence of errors, since any program can be associated with a "derivative" relating errors in input with errors in output. Moreover, after relating the semantics of dTT to the standard weak factorization systems semantics of ITT, we describe the interpretation of dTT in some quantitative models developed for approximate program transformations, incremental computing, program differentiation and differential privacy.


Collection and harmonization of system logs and prototypal Analytics services with the Elastic (ELK) suite at the INFN CNAF computing centre. The distributed Grid infrastructure for High Energy Physics experiments at the Large Hadron Collider (LHC) in Geneva comprises a set of computing centres, spread all over the world, as part of the Worldwide LHC Computing Grid (WLCG). In Italy, the Tier 1 functionalities are served by the INFN CNAF data center, which provides also computing and storage resources to more than twenty non LHC experiments. For this reason, a high amount of logs are collected each day from various sources, which are highly heterogeneous and difficult to harmonize. In this contribution, a working implementation of a system that collects, parses and displays the log information from CNAF data sources and the investigation of a Machine Learning based predictive maintenance system, is presented.


Multisymplectic variational integrators for barotropic and incompressible fluid models with constraints. We present a structure preserving discretization of the fundamental spacetime geometric structures of fluid mechanics in the Lagrangian description in 2D and 3D. Based on this, multisymplectic variational integrators are developed for barotropic and incompressible fluid models, which satisfy a discrete version of Noether theorem. We show how the geometric integrator can handle regular fluid motion in vacuum with free boundaries and constraints such as the impact against an obstacle of a fluid flowing on a surface. Our approach is applicable to a wide range of models including the Boussinesq and shallow water models, by appropriate choice of the Lagrangian.


Query by Example Keyword Spotting system using Multi head Attention and Softtriple Loss. This paper proposes a neural network architecture for tackling the query by example user defined keyword spotting task. A multi head attention module is added on top of a multi layered GRU for effective feature extraction, and a normalized multi head attention module is proposed for feature aggregation. We also adopt the softtriple loss a combination of triplet loss and softmax loss and showcase its effectiveness. We demonstrate the performance of our model on internal datasets with different languages and the public Hey Snips dataset. We compare the performance of our model to a baseline system and conduct an ablation study to show the benefit of each component in our architecture. The proposed work shows solid performance while preserving simplicity.


Development and Validation of a conceptual survey instrument to evaluate introductory physics students' understanding of thermodynamics. We discuss the development and validation of a conceptual multiple choice survey instrument called the Survey of Thermodynamic Processes and First and Second Laws (STPFaSL) suitable for introductory physics courses. The survey instrument uses common student difficulties with these concepts as resources in that the incorrect answers to the multiple choice questions were guided by them. After the development and validation of the survey instrument, the final version was administered at six different institutions. It was administered to introductory physics students in various traditionally taught calculus based and algebra based classes in paper pencil format before and after traditional lecture based instruction in relevant concepts. We also administered the survey instrument to upper level undergraduates majoring in physics and Ph.D. students for bench marking and for content validity and compared their performance with those of introductory students for whom the survey is intended. We find that although the survey instrument focuses on thermodynamics concepts covered in introductory courses, it is challenging even for advanced students. A comparison with the base line data on the validated survey instrument presented here can help instructors evaluate the effectiveness of innovative pedagogies designed to help students develop a solid grasp of these concepts.