Characterization of eventually periodic modules in the singularity categories. The singularity category of a ring makes only the modules of finite projective dimension vanish among the modules, so the singularity category is expected to characterize a homological property of modules of infinite projective dimension. In this paper, among such modules, we deal with eventually periodic modules over a left artin ring, and, as our main result, we characterize them in terms of morphisms in the singularity category. As applications, we first prove that, for the class of finite dimensional algebras over a field, being eventually periodic is preserved under singular equivalence of Morita type with level. Moreover, we determine which finite dimensional connected Nakayama algebras are eventually periodic when the ground field is algebraically closed.


Clustering Introductory Computer Science Exercises Using Topic Modeling Methods. Manually determining concepts present in a group of questions is a challenging and time consuming process. However, the process is an essential step while modeling a virtual learning environment since a mapping between concepts and questions using mastery level assessment and recommendation engines are required. We investigated unsupervised semantic models (known as topic modeling techniques) to assist computer science teachers in this task and propose a method to transform Computer Science 1 teacher provided code solutions into representative text documents, including the code structure information. By applying non negative matrix factorization and latent Dirichlet allocation techniques, we extract the underlying relationship between questions and validate the results using an external dataset. We consider the interpretability of the learned concepts using 14 university professors' data, and the results confirm six semantically coherent clusters using the current dataset. Moreover, the six topics comprise the main concepts present in the test dataset, achieving 0.75 in the normalized pointwise mutual information metric. The metric correlates with human ratings, making the proposed method useful and providing semantics for large amounts of unannotated code.


One Cycle Pruning Pruning ConvNets Under a Tight Training Budget. Introducing sparsity in a neural network has been an efficient way to reduce its complexity while keeping its performance almost intact. Most of the time, sparsity is introduced using a three stage pipeline 1) train the model to convergence, 2) prune the model according to some criterion, 3) fine tune the pruned model to recover performance. The last two steps are often performed iteratively, leading to reasonable results but also to a time consuming and complex process. In our work, we propose to get rid of the first step of the pipeline and to combine the two other steps in a single pruning training cycle, allowing the model to jointly learn for the optimal weights while being pruned. We do this by introducing a novel pruning schedule, named One Cycle Pruning, which starts pruning from the beginning of the training, and until its very end. Adopting such a schedule not only leads to better performing pruned models but also drastically reduces the training budget required to prune a model. Experiments are conducted on a variety of architectures (VGG 16 and ResNet 18) and datasets (CIFAR 10, CIFAR 100 and Caltech 101), and for relatively high sparsity values (80 , 90 , 95 of weights removed). Our results show that One Cycle Pruning consistently outperforms commonly used pruning schedules such as One Shot Pruning, Iterative Pruning and Automated Gradual Pruning, on a fixed training budget.


On orders of automorphisms of vertex transitive graphs. In this paper we investigate orders, longest cycles and the number of cycles of automorphisms of finite vertex transitive graphs. In particular, we show that the order of every automorphism of a connected vertex transitive graph with n vertices and of valence d , d le 4 , is at most c d n where c 3 1 and c 4 9 . Whether such a constant c d exists for valencies larger than 4 remains an unanswered question. Further, we prove that every automorphism g of a finite connected 3 valent vertex transitive graph Gamma , Gamma not cong K 3,3 , has a regular orbit, that is, an orbit of langle g rangle of length equal to the order of g . Moreover, we prove that in this case either Gamma belongs to a well understood family of exceptional graphs or at least 5 12 of the vertices of Gamma belong to a regular orbit of g . Finally, we give an upper bound on the number of orbits of a cyclic group of automorphisms C of a connected 3 valent vertex transitive graph Gamma in terms of the number of vertices of Gamma and the length of a longest orbit of C .


Discovery of Physics and Characterization of Microstructure from Data with Bayesian Hidden Physics Models. There has been a surge in the interest of using machine learning techniques to assist in the scientific process of formulating knowledge to explain observational data. We demonstrate the use of Bayesian Hidden Physics Models to first uncover the physics governing the propagation of acoustic impulses in metallic specimens using data obtained from a pristine sample. We then use the learned physics to characterize the microstructure of a separate specimen with a surface breaking crack flaw. Remarkably, we find that the physics learned from the first specimen allows us to understand the backscattering observed in the latter sample, a qualitative feature that is wholly absent from the specimen from which the physics were inferred. The backscattering is explained through inhomogeneities of a latent spatial field that can be recognized as the speed of sound in the media.


DRIVE One bit Distributed Mean Estimation. We consider the problem where n clients transmit d dimensional real valued vectors using d(1 o(1)) bits each, in a manner that allows the receiver to approximately reconstruct their mean. Such compression problems naturally arise in distributed and federated learning. We provide novel mathematical results and derive computationally efficient algorithms that are more accurate than previous compression techniques. We evaluate our methods on a collection of distributed and federated learning tasks, using a variety of datasets, and show a consistent improvement over the state of the art.


Cellular Noetherian algebras with finite global dimension are split quasi hereditary. We prove that cellular Noetherian algebras with finite global dimension are split quasi hereditary over a regular commutative Noetherian ring with finite Krull dimension and their quasi hereditary structure is unique, up to equivalence. In the process, we establish that a split quasi hereditary algebra is semi perfect if and only if the ground ring is a local commutative Noetherian ring. We give a formula to determine the global dimension of a split quasi hereditary algebra over a commutative regular Noetherian ring (with finite Krull dimension) in terms of the ground ring and finite dimensional split quasi hereditary algebras. For the general case, we give upper bounds for the finitistic dimension of split quasi hereditary algebras over arbitrary commutative Noetherian rings. We apply these results to Schur algebras over regular Noetherian rings and to Schur algebras over quotients rings of the integers.


Diagnosing Errors in Video Relation Detectors. Video relation detection forms a new and challenging problem in computer vision, where subjects and objects need to be localized spatio temporally and a predicate label needs to be assigned if and only if there is an interaction between the two. Despite recent progress in video relation detection, overall performance is still marginal and it remains unclear what the key factors are towards solving the problem. Following examples set in the object detection and action localization literature, we perform a deep dive into the error diagnosis of current video relation detection approaches. We introduce a diagnostic tool for analyzing the sources of detection errors. Our tool evaluates and compares current approaches beyond the single scalar metric of mean Average Precision by defining different error types specific to video relation detection, used for false positive analyses. Moreover, we examine different factors of influence on the performance in a false negative analysis, including relation length, number of subject object predicate instances, and subject object size. Finally, we present the effect on video relation performance when considering an oracle fix for each error type. On two video relation benchmarks, we show where current approaches excel and fall short, allowing us to pinpoint the most important future directions in the field. The tool is available at url https github.com shanshuo DiagnoseVRD .


cs.LG physics.app-ph physics.chem-ph physics.optics

Deep Learning for Bayesian Optimization of Scientific Problems with High Dimensional Structure. Bayesian optimization (BO) is a popular paradigm for global optimization of expensive black box functions, but there are many domains where the function is not completely black box. The data may have some known structure (e.g. symmetries) and or the data generation process can yield useful intermediate or auxiliary information in addition to the value of the optimization objective. However, surrogate models traditionally employed in BO, such as Gaussian Processes (GPs), scale poorly with dataset size and do not easily accommodate known structure or auxiliary information. Instead, we propose performing BO on complex, structured problems by using deep learning models with uncertainty, a class of scalable surrogate models that have the representation power and flexibility to handle structured data and exploit auxiliary information. We demonstrate BO on a number of realistic problems in physics and chemistry, including topology optimization of photonic crystal materials using convolutional neural networks, and chemical property optimization of molecules using graph neural networks. On these complex tasks, we show that neural networks often outperform GPs as surrogate models for BO in terms of both sampling efficiency and computational cost.


Squareplus A Softplus Like Algebraic Rectifier. We present squareplus, an activation function that resembles softplus, but which can be computed using only algebraic operations addition, multiplication, and square root. Because squareplus is 6x faster to evaluate than softplus on a CPU and does not require access to transcendental functions, it may have practical value in resource limited deep learning applications.


Upper bounds on the average number of colors in the non equivalent colorings of a graph. A coloring of a graph is an assignment of colors to its vertices such that adjacent vertices have different colors. Two colorings are equivalent if they induce the same partition of the vertex set into color classes. Let mathcal A (G) be the average number of colors in the non equivalent colorings of a graph G . We give a general upper bound on mathcal A (G) that is valid for all graphs G and a more precise one for graphs G of order n and maximum degree Delta(G) in 1,2,n 2 .


On H ' e thelyi K " u lshammer's conjecture for principal blocks. We prove that the number of irreducible ordinary characters in the principal p block of a finite group G of order divisible by p is always at least 2 sqrt p 1 . This confirms a conjecture of H ' e thelyi and K " u lshammer for principal blocks and provides an affirmative answer to Brauer's Problem 21 for principal blocks of bounded defect. Our proof relies on recent works of Mar ' o ti and Malle Mar ' o ti on bounding the conjugacy class number and the number of p' degree irreducible characters of finite groups, earlier works of Brou ' e Malle Michel and Cabanes Enguehard on the distribution of characters into unipotent blocks and e Harish Chandra series of finite reductive groups, and known cases of the Alperin McKay conjecture.


Entire solutions of linear systems of moment differential equations and related asymptotic growth at infinity. The general entire solution to a linear system of moment differential equations is obtained in terms of a moment kernel function for generalized summability, and the Jordan decomposition of the matrix defining the problem. The growth at infinity of any solution of the system is also determined, both globally and also following rays to infinity, determining the order and type of such solutions.


Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). Solidity smart contracts are programs that manage up to 2 160 users on a blockchain. Verifying a smart contract relative to all users is intractable due to state explosion. Existing solutions either restrict the number of users to under approximate behaviour, or rely on manual proofs. In this paper, we present local bundles that reduce contracts with arbitrarily many users to sequential programs with a few representative users. Each representative user abstracts concrete users that are locally symmetric to each other relative to the contract and the property. Our abstraction is semi automated. The representatives depend on communication patterns, and are computed via static analysis. A summary for the behaviour of each representative is provided manually, but a default summary is often sufficient. Once obtained, a local bundle is amenable to sequential static analysis. We show that local bundles are relatively complete for parameterized safety verification, under moderate assumptions. We implement local bundle abstraction in SmartACE, and show order of magnitude speedups compared to a state of the art verifier.


Sums of powers of binomials, their Ap 'ery limits, and Franel's suspicions. We explicitly determine the Ap 'ery limits for the sums of powers of binomial coefficients. As an application, we prove a weak version of Franel's conjecture on the order of the recurrences for these sequences. Namely, we prove the conjectured minimal order under the assumption that such a recurrence can be obtained via creative telescoping.


Predicting Efficiency Effectiveness Trade offs for Dense vs. Sparse Retrieval Strategy Selection. Over the last few years, contextualized pre trained transformer models such as BERT have provided substantial improvements on information retrieval tasks. Recent approaches based on pre trained transformer models such as BERT, fine tune dense low dimensional contextualized representations of queries and documents in embedding space. While these dense retrievers enjoy substantial retrieval effectiveness improvements compared to sparse retrievers, they are computationally intensive, requiring substantial GPU resources, and dense retrievers are known to be more expensive from both time and resource perspectives. In addition, sparse retrievers have been shown to retrieve complementary information with respect to dense retrievers, leading to proposals for hybrid retrievers. These hybrid retrievers leverage low cost, exact matching based sparse retrievers along with dense retrievers to bridge the semantic gaps between query and documents. In this work, we address this trade off between the cost and utility of sparse vs dense retrievers by proposing a classifier to select a suitable retrieval strategy (i.e., sparse vs. dense vs. hybrid) for individual queries. Leveraging sparse retrievers for queries which can be answered with sparse retrievers decreases the number of calls to GPUs. Consequently, while utility is maintained, query latency decreases. Although we use less computational resources and spend less time, we still achieve improved performance. Our classifier can select between sparse and dense retrieval strategies based on the query alone. We conduct experiments on the MS MARCO passage dataset demonstrating an improved range of efficiency effectiveness trade offs between purely sparse, purely dense or hybrid retrieval strategies, allowing an appropriate strategy to be selected based on a target latency and resource budget.


PhysFormer Facial Video based Physiological Measurement with Temporal Difference Transformer. Remote photoplethysmography (rPPG), which aims at measuring heart activities and physiological signals from facial video without any contact, has great potential in many applications (e.g., remote healthcare and affective computing). Recent deep learning approaches focus on mining subtle rPPG clues using convolutional neural networks with limited spatio temporal receptive fields, which neglect the long range spatio temporal perception and interaction for rPPG modeling. In this paper, we propose the PhysFormer, an end to end video transformer based architecture, to adaptively aggregate both local and global spatio temporal features for rPPG representation enhancement. As key modules in PhysFormer, the temporal difference transformers first enhance the quasi periodic rPPG features with temporal difference guided global attention, and then refine the local spatio temporal representation against interference. Furthermore, we also propose the label distribution learning and a curriculum learning inspired dynamic constraint in frequency domain, which provide elaborate supervisions for PhysFormer and alleviate overfitting. Comprehensive experiments are performed on four benchmark datasets to show our superior performance on both intra and cross dataset testings. One highlight is that, unlike most transformer networks needed pretraining from large scale datasets, the proposed PhysFormer can be easily trained from scratch on rPPG datasets, which makes it promising as a novel transformer baseline for the rPPG community. The codes will be released at https github.com ZitongYu PhysFormer.


Finite volume simulations of particle laden viscoelastic fluid flows application to hydraulic fracture processes. Accurately resolving the coupled momentum transfer between the liquid and solid phases of complex fluids is a fundamental problem in multiphase transport processes, such as hydraulic fracture operations. Specifically we need to characterize the dependence of the normalized average fluid particle force langle F rangle on the volume fraction of the dispersed solid phase and on the rheology of the complex fluid matrix. Here we use direct numerical simulations (DNS) to study the creeping flow ( Re ll 1 ) of viscoelastic fluids through static random arrays of monodisperse spherical particles using a finite volume Navier Stokes Cauchy momentum solver. The numerical study consists of N 150 different systems, in which the normalized average fluid particle force langle F rangle is obtained as a function of the volume fraction phi (0 phi leq 0.2) of the dispersed solid phase and the Weissenberg number Wi (0 leq Wi leq 4) . From these predictions a closure law langle F rangle(Wi, phi) for the drag force is derived for the quasi linear Oldroyd B viscoelastic fluid model which is, on average, within 5.7 of the DNS results. Additionally, a flow solver able to couple Eulerian and Lagrangian phases is developed, which incorporates the viscoelastic nature of the continuum phase and the closed form drag law. Two case studies were simulated using this solver, in order to assess the accuracy and robustness of the newly developed approach for handling particle laden viscoelastic flow configurations with O(10 5 10 6) rigid spheres that are representative of hydraulic fracture operations.


Embedding Deligne Mumford stacks into GIT quotient stacks of linear representations. We study how to use a suitably ample locally free sheaf over a proper Deligne Mumford stack to furnish an embedding of the stack into a geometric invariant theory (GIT) quotient stack constructed from a finite dimensional linear representation of the general linear group.


Learngene From Open World to Your Learning Task. Although deep learning has made significant progress on fixed large scale datasets, it typically encounters challenges regarding improperly detecting unknown unseen classes in the open world scenario, over parametrized, and overfitting small samples. Since biological systems can overcome the above difficulties very well, individuals inherit an innate gene from collective creatures that have evolved over hundreds of millions of years and then learn new skills through few examples. Inspired by this, we propose a practical collective individual paradigm where an evolution (expandable) network is trained on sequential tasks and then recognize unknown classes in real world. Moreover, the learngene, i.e., the gene for learning initialization rules of the target model, is proposed to inherit the meta knowledge from the collective model and reconstruct a lightweight individual model on the target task. Particularly, a novel criterion is proposed to discover learngene in the collective model, according to the gradient information. Finally, the individual model is trained only with few samples on the target learning tasks. We demonstrate the effectiveness of our approach in an extensive empirical study and theoretical analysis.


On deformation quantization of quadratic Poisson structures. We study the deformation complex of the dg wheeled properad of mathbb Z graded quadratic Poisson structures and prove that it is quasi isomorphic to the even M. Kontsevich graph complex. As a first application we show that the Grothendieck Teichm "uller group acts on the genus completion of that wheeled properad faithfully and essentially transitively. As a second application we classify all universal quantizations of mathbb Z graded quadratic Poisson structures together with the underlying (so called) homogeneous formality maps. In particular we show that two universal quantizations of Poisson structures are equivalent if the agree on generic quadratic Poisson structures.


GateKeeper GPU Fast and Accurate Pre Alignment Filtering in Short Read Mapping. At the last step of short read mapping, the candidate locations of the reads on the reference genome are verified to compute their differences from the corresponding reference segments using sequence alignment algorithms. Calculating the similarities and differences between two sequences is still computationally expensive since approximate string matching techniques traditionally inherit dynamic programming algorithms with quadratic time and space complexity. We introduce GateKeeper GPU, a fast and accurate pre alignment filter that efficiently reduces the need for expensive sequence alignment. GateKeeper GPU provides two main contributions first, improving the filtering accuracy of GateKeeper(state of the art lightweight pre alignment filter), second, exploiting the massive parallelism provided by the large number of GPU threads of modern GPUs to examine numerous sequence pairs rapidly and concurrently. GateKeeper GPU accelerates the sequence alignment by up to 2.9x and provides up to 1.4x speedup to the end to end execution time of a comprehensive read mapper (mrFAST). GateKeeper GPU is available at https github.com BilkentCompGen GateKeeper GPU


On the Performance Analysis of the Adversarial System Variant Approximation Method to Quantify Process Model Generalization. Process mining algorithms discover a process model from an event log. The resulting process model is supposed to describe all possible event sequences of the underlying system. Generalization is a process model quality dimension of interest. A generalization metric should quantify the extent to which a process model represents the observed event sequences contained in the event log and the unobserved event sequences of the system. Most of the available metrics in the literature cannot properly quantify the generalization of a process model. A recently published method 1 called Adversarial System Variant Approximation leverages Generative Adversarial Networks to approximate the underlying event sequence distribution of a system from an event log. While this method demonstrated performance gains over existing methods in measuring the generalization of process models, its experimental evaluations have been performed under ideal conditions. This paper experimentally investigates the performance of Adversarial System Variant Approximation under non ideal conditions such as biased and limited event logs. Moreover, experiments are performed to investigate the originally proposed sampling hyperparameter value of the method on its performance to measure the generalization. The results confirm the need to raise awareness about the working conditions of the Adversarial System Variant Approximation method. The outcomes of this paper also serve to initiate future research directions. 1 Theis, Julian, and Houshang Darabi. "Adversarial System Variant Approximation to Quantify Process Model Generalization." IEEE Access 8 (2020) 194410 194427.


Infinity Laplacian equations with singular absorptions. This work is devoted to the study of a novariational class of singular elliptic equations ruled by the infinity Laplacian. We provide optimal C 1, beta regularity along the singular free boundary, where in particular, the optimality is designed by the magnitude of the singularity. By virtue of a suitable penalization scheme and a construction of radial super solutions, existence and non degeneracy properties are provided where fine geometric consequences for the singular free boundary are further obtained.


RC RNN Reconfigurable Cache Architecture for Storage Systems Using Recurrent Neural Networks. Solid State Drives (SSDs) have significant performance advantages over traditional Hard Disk Drives (HDDs) such as lower latency and higher throughput. Significantly higher price per capacity and limited lifetime, however, prevents designers to completely substitute HDDs by SSDs in enterprise storage systems. SSD based caching has recently been suggested for storage systems to benefit from higher performance of SSDs while minimizing the overall cost. While conventional caching algorithms such as Least Recently Used (LRU) provide high hit ratio in processors, due to the highly random behavior of Input Output (I O) workloads, they hardly provide the required performance level for storage systems. In addition to poor performance, inefficient algorithms also shorten SSD lifetime with unnecessary cache replacements. Such shortcomings motivate us to benefit from more complex non linear algorithms to achieve higher cache performance and extend SSD lifetime. In this paper, we propose RC RNN, the first reconfigurable SSD based cache architecture for storage systems that utilizes machine learning to identify performance critical data pages for I O caching. The proposed architecture uses Recurrent Neural Networks (RNN) to characterize ongoing workloads and optimize itself towards higher cache performance while improving SSD lifetime. RC RNN attempts to learn characteristics of the running workload to predict its behavior and then uses the collected information to identify performance critical data pages to fetch into the cache. Experimental results show that RC RNN characterizes workloads with an accuracy up to 94.6 for SNIA I O workloads. RC RNN can perform similarly to the optimal cache algorithm by an accuracy of 95 on average, and outperforms previous SSD caching architectures by providing up to 7x higher hit ratio and decreasing cache replacements by up to 2x.


Isomorphism problems and groups of automorphisms for Ore extensions K x y delta (zero characteristic). Let L (f) K x y f frac d dx be an Ore extension of a polynomial algebra K x over a field K of characteristic zero where f in K x . For a given polynomial f , the automorphism group of the algebra L (f) is explicitly described. The polynomial case L (0) K x,y and the case of the Weyl algebra A 1 K x y frac d dx were done done by Jung (1942) and van der Kulk (1953), and Dixmier (1968), respectively. In 1997, Alev and Dumas proved that the algebras L (f) and L (g) are isomorphic iff g(x) l f( alpha x beta ) for some l, alpha in K backslash 0 and beta in K . In 2015, Benkart, Lopes and Ondrus gave a complete description of the set of automorphism groups of algebras L(f) . In this paper we complete the picture, i.e. em given the polynomial f we have the explicit description of the automorphism group of L (f) .


Revisiting Binary Local Image Description for Resource Limited Devices. The advent of a panoply of resource limited devices opens up new challenges in the design of computer vision algorithms with a clear compromise between accuracy and computational requirements. In this paper we present new binary image descriptors that emerge from the application of triplet ranking loss, hard negative mining and anchor swapping to traditional features based on pixel differences and image gradients. These descriptors, BAD (Box Average Difference) and HashSIFT, establish new operating points in the state of the art's accuracy vs. resources trade off curve. In our experiments we evaluate the accuracy, execution time and energy consumption of the proposed descriptors. We show that BAD bears the fastest descriptor implementation in the literature while HashSIFT approaches in accuracy that of the top deep learning based descriptors, being computationally more efficient. We have made the source code public.


Data Driven Inference of High Accuracy Isostable Based Dynamical Models in Response to External Inputs. Isostable reduction is a powerful technique that can be used to characterize behaviors of nonlinear dynamical systems in a basis of slowly decaying eigenfunctions of the Koopman operator. When the underlying dynamical equations are known, previously developed numerical techniques allow for high order accuracy computation of isostable reduced models. However, in situations where the dynamical equations are unknown, few general techniques are available that provide reliable estimates of the isostable reduced equations, especially in applications where large magnitude inputs are considered. In this work, a purely data driven inference strategy yielding high accuracy isostable reduced models is developed for dynamical systems with a fixed point attractor. By analyzing steady state outputs of nonlinear systems in response to sinusoidal forcing, both isostable response functions and isostable to output relationships can be estimated to arbitrary accuracy in an expansion performed in the isostable coordinates. Detailed examples are considered for a population of synaptically coupled neurons and for the one dimensional Burgers' equation. While linear estimates of the isostable response functions are sufficient to characterize the dynamical behavior when small magnitude inputs are considered, the high accuracy reduced order model inference strategy proposed here is essential when considering large magnitude inputs.


Abstraction, Reasoning and Deep Learning A Study of the "Look and Say" Sequence. The ability to abstract, count, and use System 2 reasoning are well known manifestations of intelligence and understanding. In this paper, we argue, using the example of the Look and Say" puzzle, that although deep neural networks can exhibit high competence' (as measured by accuracy) when trained on large data sets (2 million examples in our case), they do not show any sign on the deeper understanding of the problem, or what D. Dennett calls comprehension'. We report on two sets experiments first, computing the next element of the sequence, and ,then, the previous element. We view both problems as building a translator from one set of tokens to another. We apply both standard LSTMs and Transformer Attention based neural networks, using publicly available machine translation software. We observe that despite the amazing accuracy, the performance of the trained programs on the actual L S sequence is bad, and shows no understanding of the principles behind the sequences. The ramifications of this finding include (1) from the cognitive science perspective, we argue that we need better mathematical models of abstraction (2) the universality of neural networks should be re examined for functions acting on discrete data sets (3) we hypothesize topology can provide a definition of without the reference to the concept of distance.


Equivariant index bound for min max free boundary minimal surfaces. Given a three dimensional Riemannian manifold with boundary and a finite group of orientation preserving isometries of this manifold, we prove that the equivariant index of a free boundary minimal surface obtained via an equivariant min max procedure a la Simon Smith with n parameters is bounded above by n .


Hierarchical Topometric Representation of 3D Robotic Maps. In this paper, we propose a method for generating a hierarchical, volumetric topological map from 3D point clouds. There are three basic hierarchical levels in our map storey region volume . The advantages of our method are reflected in both input and output. In terms of input, we accept multi storey point clouds and building structures with sloping roofs or ceilings. In terms of output, we can generate results with metric information of different dimensionality, that are suitable for different robotics applications. The algorithm generates the volumetric representation by generating volumes from a 3D voxel occupancy map. We then add passage s (connections between volumes ), combine small volumes into a big region and use a 2D segmentation method for better topological representation. We evaluate our method on several freely available datasets. The experiments highlight the advantages of our approach.


MBDP A Model based Approach to Achieve both Robustness and Sample Efficiency via Double Dropout Planning. Model based reinforcement learning is a widely accepted solution for solving excessive sample demands. However, the predictions of the dynamics models are often not accurate enough, and the resulting bias may incur catastrophic decisions due to insufficient robustness. Therefore, it is highly desired to investigate how to improve the robustness of model based RL algorithms while maintaining high sampling efficiency. In this paper, we propose Model Based Double dropout Planning (MBDP) to balance robustness and efficiency. MBDP consists of two kinds of dropout mechanisms, where the rollout dropout aims to improve the robustness with a small cost of sample efficiency, while the model dropout is designed to compensate for the lost efficiency at a slight expense of robustness. By combining them in a complementary way, MBDP provides a flexible control mechanism to meet different demands of robustness and efficiency by tuning two corresponding dropout ratios. The effectiveness of MBDP is demonstrated both theoretically and experimentally.


Accuracy and stability analysis of the Semi Lagrangian method for stiff hyperbolic relaxation systems and kinetic BGK model. In this paper, we develop a family of third order asymptotic preserving (AP) and asymptotically accurate (AA) diagonally implicit Runge Kutta (DIRK) time discretization methods for the stiff hyperbolic relaxation systems and kinetic Bhatnagar Gross Krook (BGK) model in the semi Lagrangian (SL) setting. The methods are constructed based on an accuracy analysis of the SL scheme for stiff hyperbolic relaxation systems and kinetic BGK model in the limiting fluid regime when the Knudsen number approaches 0 . An extra order condition for the asymptotic third order accuracy in the limiting regime is derived. Linear Von Neumann stability analysis of the proposed third order DIRK methods are performed to a simplified two velocity linear kinetic model. Extensive numerical tests are presented to demonstrate the AA, AP and stability properties of our proposed schemes.


Stream level Latency Evaluation for Simultaneous Machine Translation. Simultaneous machine translation has recently gained traction thanks to significant quality improvements and the advent of streaming applications. Simultaneous translation systems need to find a trade off between translation quality and response time, and with this purpose multiple latency measures have been proposed. However, latency evaluations for simultaneous translation are estimated at the sentence level, not taking into account the sequential nature of a streaming scenario. Indeed, these sentence level latency measures are not well suited for continuous stream translation resulting in figures that are not coherent with the simultaneous translation policy of the system being assessed. This work proposes a stream level adaptation of the current latency measures based on a re segmentation approach applied to the output translation, that is successfully evaluated on streaming conditions for a reference IWSLT task.


Trajectory Based Meta Learning for Out Of Vocabulary Word Embedding Learning. Word embedding learning methods require a large number of occurrences of a word to accurately learn its embedding. However, out of vocabulary (OOV) words which do not appear in the training corpus emerge frequently in the smaller downstream data. Recent work formulated OOV embedding learning as a few shot regression problem and demonstrated that meta learning can improve results obtained. However, the algorithm used, model agnostic meta learning (MAML) is known to be unstable and perform worse when a large number of gradient steps are used for parameter updates. In this work, we propose the use of Leap, a meta learning algorithm which leverages the entire trajectory of the learning process instead of just the beginning and the end points, and thus ameliorates these two issues. In our experiments on a benchmark OOV embedding learning dataset and in an extrinsic evaluation, Leap performs comparably or better than MAML. We go on to examine which contexts are most beneficial to learn an OOV embedding from, and propose that the choice of contexts may matter more than the meta learning employed.


Asymptotic vanishing of syzygies of algebraic varieties. The purpose of this paper is to prove Ein Lazarsfeld's conjecture on asymptotic vanishing of syzygies of algebraic varieties. This result, together with Ein Lazarsfeld's asymptotic nonvanishing theorem, describes the overall picture of asymptotic behaviors of the minimal free resolutions of the graded section rings of line bundles on a projective variety as the positivity of the line bundles grows. Previously, Raicu reduced the problem to the case of products of three projective spaces, and we resolve this case here.


On a characterization of critical points of the scalar curvature functional. This is an English translation of the following paper, published several years ago Nikonorov Yu.G. On a characterization of critical points of the scalar curvature functional (Russian), Tr. Rubtsovsk. Ind. Inst., 7, 211 217 (2000), Zbl. 0956.53033. All inserted footnotes provide additional information related to the mentioned problem.


Robust Active Learning Sample Efficient Training of Robust Deep Learning Models. Active learning is an established technique to reduce the labeling cost to build high quality machine learning models. A core component of active learning is the acquisition function that determines which data should be selected to annotate. State of the art acquisition functions and more largely, active learning techniques have been designed to maximize the clean performance (e.g. accuracy) and have disregarded robustness, an important quality property that has received increasing attention. Active learning, therefore, produces models that are accurate but not robust. In this paper, we propose emph robust active learning , an active learning process that integrates adversarial training the most established method to produce robust models. Via an empirical study on 11 acquisition functions, 4 datasets, 6 DNN architectures, and 15105 trained DNNs, we show that robust active learning can produce models with the robustness (accuracy on adversarial examples) ranging from 2.35 to 63.85 , whereas standard active learning systematically achieves negligible robustness (less than 0.20 ). Our study also reveals, however, that the acquisition functions that perform well on accuracy are worse than random sampling when it comes to robustness. We, therefore, examine the reasons behind this and devise a new acquisition function that targets both clean performance and robustness. Our acquisition function named density based robust sampling with entropy (DRE) outperforms the other acquisition functions (including random) in terms of robustness by up to 24.40 (3.84 than random particularly), while remaining competitive on accuracy. Additionally, we prove that DRE is applicable as a test selection metric for model retraining and stands out from all compared functions by up to 8.21 robustness.


Evolutionary Algorithms for Designing Reversible Cellular Automata. Reversible Cellular Automata (RCA) are a particular kind of shift invariant transformations characterized by a dynamics composed only of disjoint cycles. They have many applications in the simulation of physical systems, cryptography and reversible computing. In this work, we formulate the search of a specific class of RCA namely, those whose local update rules are defined by conserved landscapes as an optimization problem to be tackled with Genetic Algorithms (GA) and Genetic Programming (GP). In particular, our experimental investigation revolves around three different research questions, which we address through a single objective, a multi objective, and a lexicographic approach. The results obtained from our experiments corroborate the previous findings and shed new light on 1) the difficulty of the associated optimization problem for GA and GP, 2) the relevance of conserved landscape CA in the domain of cryptography and reversible computing, and 3) the relationship between the reversibility property and the Hamming weight.


BioNavi NP Biosynthesis Navigator for Natural Products. Nature, a synthetic master, creates more than 300,000 natural products (NPs) which are the major constituents of FDA proved drugs owing to the vast chemical space of NPs. To date, there are fewer than 30,000 validated NPs compounds involved in about 33,000 known enzyme catalytic reactions, and even fewer biosynthetic pathways are known with complete cascade connected enzyme catalysis. Therefore, it is valuable to make computer aided bio retrosynthesis predictions. Here, we develop BioNavi NP, a navigable and user friendly toolkit, which is capable of predicting the biosynthetic pathways for NPs and NP like compounds through a novel (AND OR Tree) based planning algorithm, an enhanced molecular Transformer neural network, and a training set that combines general organic transformations and biosynthetic steps. Extensive evaluations reveal that BioNavi NP generalizes well to identifying the reported biosynthetic pathways for 90 of test compounds and recovering the verified building blocks for 73 , significantly outperforming conventional rule based approaches. Moreover, BioNavi NP also shows an outstanding capacity of biologically plausible pathways enumeration. In this sense, BioNavi NP is a leading edge toolkit to redesign complex biosynthetic pathways of natural products with applications to total or semi synthesis and pathway elucidation or reconstruction.


V Edge Virtual Edge Computing as an Enabler for Novel Microservices and Cooperative Computing. As we move from 5G to 6G, edge computing is one of the concepts that needs revisiting. Its core idea is still intriguing instead of sending all data and tasks from an end user's device to the cloud, possibly covering thousands of kilometers and introducing delays that are just owed to limited propagation speed, edge servers deployed in close proximity to the user, e.g., at some 5G gNB, serve as proxy for the cloud. Yet this promising idea is hampered by the limited availability of such edge servers. In this paper, we discuss a way forward, namely the virtual edge computing (V Edge) concept. V Edge bridges the gap between cloud, edge, and fog by virtualizing all available resources including the end users' devices and making these resources widely available using well defined interfaces. V Edge also acts as an enabler for novel microservices as well as cooperative computing solutions. We introduce the general V Edge architecture and we characterize some of the key research challenges to overcome, in order to enable wide spread and even more powerful edge services.


SUIHTER A new mathematical model for COVID 19. Application to the analysis of the second epidemic outbreak in Italy. The COVID 19 epidemic is the last of a long list of pandemics that have affected humankind in the last century. In this paper, we propose a novel mathematical epidemiological model named SUIHTER from the names of the seven compartments that it comprises susceptible uninfected individuals (S), undetected (both asymptomatic and symptomatic) infected (U), isolated (I), hospitalized (H), threatened (T), extinct (E), and recovered (R). A suitable parameter calibration that is based on the combined use of least squares method and Markov Chain Monte Carlo (MCMC) method is proposed with the aim of reproducing the past history of the epidemic in Italy, surfaced in late February and still ongoing to date, and of validating SUIHTER in terms of its predicting capabilities. A distinctive feature of the new model is that it allows a one to one calibration strategy between the model compartments and the data that are daily made available from the Italian Civil Protection. The new model is then applied to the analysis of the Italian epidemic with emphasis on the second outbreak emerged in Fall 2020. In particular, we show that the epidemiological model SUIHTER can be suitably used in a predictive manner to perform scenario analysis at national level.


Convergence to infinite dimensional compound Poisson distributions on convex polyhedra. The aim of the present work is to provide a supplement to the authors' paper (2018). It is shown that our results on the approximation of distributions of sums of independent summands by the accompanying compound Poisson laws and the estimates of the proximity of sequential convolutions of multidimensional distributions on convex polyhedra may be almost automatically transferred to the infinite dimensional case.


Performance Health Index for Complex Cyber Infrastructures. Most IT systems depend on a set of configuration variables (CVs), expressed as a name value pair that collectively define the resource allocation for the system. While the ill effects of misconfiguration or improper resource allocation are well known, there is no effective a priori metric to quantify the impact of the configuration on the desired system attributes such as performance, availability, etc. In this paper, we propose a textit Configuration Health Index (CHI) framework specifically attuned to the performance attribute to capture the influence of CVs on the performance aspects of the system. We show how CHI, which is defined as a configuration scoring system, can take advantage of the domain knowledge and the available (but rather limited) performance data to produce important insights into the configuration settings. We compare the CHI with both well advertised segmented non linear models and state of the art data driven models, and show that the CHI not only consistently provides better results but also avoids the dangers of pure data drive approach which may predict incorrect behavior or eliminate some essential configuration variables from consideration.


Quasirandomness in additive groups and hypergraphs. Quasirandomness is a general mathematical concept meant to encapsulate several characteristics usually satisfied by random combinatorial objects, and which we regard as describing when a given object 'looks random'. In this survey we explore this general concept as it applies to graphs, hypergraphs and additive groups, making clear their many connections to each other and showing how they can be used in order to better study these objects.


New simple solutions of the Yang Baxter equation and solutions associated to simple left braces. Involutive non degenerate set theoretic solutions of the Yang Baxter equation are considered, with a focus on finite solutions. A rich class of indecomposable and irretractable solutions is determined and necessary and sufficient conditions are found in order that these solutions are simple. Then a link between simple solutions and simple left braces is established, that allows us to construct more examples of simple solutions. In particular, the results answer some problems stated in the recent paper 13 .


Precision measurement of quasi bound resonances in H 2 and the H H scattering length. Quasi bound resonances of H 2 are produced via two photon photolysis of H 2 S molecules as reactive intermediates or transition states, and detected before decay of the parent molecule into three separate atoms. As was previously reported K.F. Lai et al., Phys. Rev. Lett. 127, 183001 (2021) four centrifugally bound quantum resonances with lifetimes of multiple mu s, lying energetically above the dissociation limit of the electronic ground state X 1 Sigma g of H 2 , were observed as X( v,J ) (7,21) , (8,19) , (9,17) , and (10,15) , while also the short lived ( sim 1.5 ns) quasi bound resonance X(11,13) was probed. The present paper gives a detailed account on the identification of the quasi bound or shape resonances, based on laser detection via F X two photon transitions, and their strongly enhanced Franck Condon factors due to the shifting of the wave function density to large internuclear separation. In addition, the assignment of the rotational quantum number is verified by subsequent multi step laser excitation into autoionization continuum resonances. Existing frameworks of full fledged ab initio computations for the bound region in H 2 , including Born Oppenheimer, adiabatic, non adiabatic, relativistic and quantum electrodynamic contributions, are extended into the energetic range above the dissociation energy. These comprehensive calculations are compared to the accurate measurements of energies of quasi bound resonances, finding excellent agreement. Etc.


Stirring Speeds Up Chemical Reaction. We consider absorbing chemical reactions in a fluid current modeled by the coupled advection reaction diffusion equations. In these systems, the interplay between chemical diffusion and fluid transportation causes the enhanced dissipation phenomenon. We show that the enhanced dissipation time scale, together with the reaction coupling strength, determines the characteristic time scale of the reaction.


The Equivariant Spectral Flow and Bifurcation of Periodic Solutions of Hamiltonian Systems. We define a spectral flow for paths of selfadjoint Fredholm operators that are equivariant under the orthogonal action of a compact Lie group as an element of the representation ring of the latter. This G equivariant spectral flow shares all common properties of the integer valued classical spectral flow, and it can be non trivial even if the classical spectral flow vanishes. Our main theorem uses the G equivariant spectral flow to study bifurcation of periodic solutions for autonomous Hamiltonian systems with symmetries.


Near Neighbor Search via Efficient Average Distortion Embeddings. A recent series of papers by Andoni, Naor, Nikolov, Razenshteyn, and Waingarten (STOC 2018, FOCS 2018) has given approximate near neighbour search (NNS) data structures for a wide class of distance metrics, including all norms. In particular, these data structures achieve approximation on the order of p for ell p d norms with space complexity nearly linear in the dataset size n and polynomial in the dimension d , and query time sub linear in n and polynomial in d . The main shortcoming is the exponential in d pre processing time required for their construction. In this paper, we describe a more direct framework for constructing NNS data structures for general norms. More specifically, we show via an algorithmic reduction that an efficient NNS data structure for a given metric is implied by an efficient average distortion embedding of it into ell 1 or into Euclidean space. In particular, the resulting data structures require only polynomial pre processing time, as long as the embedding can be computed in polynomial time. As a concrete instantiation of this framework, we give an NNS data structure for ell p with efficient pre processing that matches the approximation factor, space and query complexity of the aforementioned data structure of Andoni et al. On the way, we resolve a question of Naor (Analysis and Geometry in Metric Spaces, 2014) and provide an explicit, efficiently computable embedding of ell p , for p ge 2 , into ell 2 with (quadratic) average distortion on the order of p . We expect our approach to pave the way for constructing efficient NNS data structures for all norms.


CONQRR Conversational Query Rewriting for Retrieval with Reinforcement Learning. Compared to standard retrieval tasks, passage retrieval for conversational question answering (CQA) poses new challenges in understanding the current user question, as each question needs to be interpreted within the dialogue context. Moreover, it can be expensive to re train well established retrievers such as search engines that are originally developed for non conversational queries. To facilitate their use, we develop a query rewriting model CONQRR that rewrites a conversational question in the context into a standalone question. It is trained with a novel reward function to directly optimize towards retrieval using reinforcement learning and can be adapted to any off the shelf retriever. We show that CONQRR achieves state of the art results on a recent open domain CQA dataset containing conversations from three different sources, and is effective for two different off the shelf retrievers. Our extensive analysis also shows the robustness of CONQRR to out of domain dialogues as well as to zero query rewriting supervision.


A Pluggable Learned Index Method via Sampling and Gap Insertion. Database indexes facilitate data retrieval and benefit broad applications in real world systems. Recently, a new family of index, named learned index, is proposed to learn hidden yet useful data distribution and incorporate such information into the learning of indexes, which leads to promising performance improvements. However, the "learning" process of learned indexes is still under explored. In this paper, we propose a formal machine learning based framework to quantify the index learning objective, and study two general and pluggable techniques to enhance the learning efficiency and learning effectiveness for learned indexes. With the guidance of the formal learning objective, we can efficiently learn index by incorporating the proposed sampling technique, and learn precise index with enhanced generalization ability brought by the proposed result driven gap insertion technique. We conduct extensive experiments on real world datasets and compare several indexing methods from the perspective of the index learning objective. The results show the ability of the proposed framework to help to design suitable indexes for different scenarios. Further, we demonstrate the effectiveness of the proposed sampling technique, which achieves up to 78x construction speedup while maintaining non degraded indexing performance. Finally, we show the gap insertion technique can enhance both the static and dynamic indexing performances of existing learned index methods with up to 1.59x query speedup. We will release our codes and processed data for further study, which can enable more exploration of learned indexes from both the perspectives of machine learning and database.


Short interval sector problems for CM elliptic curves. Let E mathbb Q be an elliptic curve of conductor N that has complex multiplication by an imaginary quadratic field K . For a prime p nmid N , define theta p in 0, pi to be the angle for which p 1 E( mathbb F p) 2 sqrt p cos theta p , and let I subseteq 0, pi be a subinterval. Let x 0 be large. We prove that if delta 0 and delta' 0 are fixed numbers such that delta delta' frac 5 24 , qquad I geq x delta' , qquad h geq x 1 delta , then sum substack x p le x h theta p in I log p sim Big( frac 1 2 mathbf 1 frac pi 2 in I frac I 2 pi Big)h, where mathbf 1 frac pi 2 in I equals 1 if pi 2 in I and 0 otherwise. We also discuss an extension of this result to the distribution of the Fourier coefficients of holomorphic cuspidal newforms with complex multiplication.


Unsupervised Feature Ranking via Attribute Networks. The need for learning from unlabeled data is increasing in contemporary machine learning. Methods for unsupervised feature ranking, which identify the most important features in such data are thus gaining attention, and so are their applications in studying high throughput biological experiments or user bases for recommender systems. We propose FRANe (Feature Ranking via Attribute Networks), an unsupervised algorithm capable of finding key features in given unlabeled data set. FRANe is based on ideas from network reconstruction and network analysis. FRANe performs better than state of the art competitors, as we empirically demonstrate on a large collection of benchmarks. Moreover, we provide the time complexity analysis of FRANe further demonstrating its scalability. Finally, FRANe offers as the result the interpretable relational structures used to derive the feature importances.


Earables for Detection of Bruxism a Feasibility Study. Bruxism is a disorder characterised by teeth grinding and clenching, and many bruxism sufferers are not aware of this disorder until their dental health professional notices permanent teeth wear. Stress and anxiety are often listed among contributing factors impacting bruxism exacerbation, which may explain why the COVID 19 pandemic gave rise to a bruxism epidemic. It is essential to develop tools allowing for the early diagnosis of bruxism in an unobtrusive manner. This work explores the feasibility of detecting bruxism related events using earables in a mimicked in the wild setting. Using inertial measurement unit for data collection, we utilise traditional machine learning for teeth grinding and clenching detection. We observe superior performance of models based on gyroscope data, achieving an 88 and 66 accuracy on grinding and clenching activities, respectively, in a controlled environment, and 76 and 73 on grinding and clenching, respectively, in an in the wild environment.


Metrics and Mechanisms Measuring the Unmeasurable in the Science of Science. What science does, what science could do, and how to make science work? If we want to know the answers to these questions, we need to be able to uncover the mechanisms of science, going beyond metrics that are easily collectible and quantifiable. In this perspective piece, we link metrics to mechanisms by demonstrating how emerging metrics of science not only offer complementaries to existing ones, but also shed light on the hidden structure and mechanisms of science. Based on fundamental properties of science, we classify existing theories and findings into hot and cold science referring to attention shift between scientific fields, fast and slow science reflecting productivity of scientists and teams, soft and hard science revealing reproducibility of scientific research. We suggest that interest about mechanisms of science since Derek J. de Solla Price, Robert K. Merton, Eugene Garfield, and many others complement the zeitgeist in pursuing new, complex metrics without understanding the underlying processes. We propose that understanding and modeling the mechanisms of science condition effective development and application of metrics.


VisioRed A Visualisation Tool for Interpretable Predictive Maintenance. The use of machine learning rapidly increases in high risk scenarios where decisions are required, for example in healthcare or industrial monitoring equipment. In crucial situations, a model that can offer meaningful explanations of its decision making is essential. In industrial facilities, the equipment's well timed maintenance is vital to ensure continuous operation to prevent money loss. Using machine learning, predictive and prescriptive maintenance attempt to anticipate and prevent eventual system failures. This paper introduces a visualisation tool incorporating interpretations to display information derived from predictive maintenance models, trained on time series data.


Lipschitz regularization for fracture the Lip field approach. The Lip field approach is a new regularization method for softening material material models. It was presented first in a previous paper providing one dimensional simulations for damage and plasticity. The present paper focuses on a two dimensional implementation for elasto damage models (quasi brittle fracture). The incremental potential used in the Lip field approach is the non regularized one. The regularization comes from the addition of a Lipschitz constraint on the damage field. In other words, the free energy does not depend on the damage gradient. The search of the displacement and damage fields from one time step to the next is based on an iterative staggered scheme. The displacement field is sought for a given damage field. Then, a Lipschitz continuous damage field is sought for a given displacement field. Both problems are convex. The solution to the latter benefits from bounds proven in a previous paper and used here. The paper details the implementation of the Lipschitz regularity on a finite element mesh and details the overall solution scheme. Four numerical examples demonstrate the capability of the new approach.


Laser Compression via fast extending plasma gratings. It is proposed a new method of compressing laser pulse by fast extending plasma gratings(FEPG), which is created by ionizing the hypersound wave generated by stimulated Brillouin scattering(SBS) in the background gas. Ionized by a short laser pulse, the phonon forms a light velocity FEPG to fully reflect a resonant pump laser. As the reflecting surface moves with a light velocity, the reflected pulse is temporally overlapped and compressed. This regime is supported by the simulation results of a fully kinetic particle in cell(PIC) code Opic with a laser wavelength of 1um, displaying a pump pulse is compressed from 13ps to a few cycles(7.2fs), with an efficiency close to 80 . It is a promising method to produce critical laser powers due to several features high efficiency without a linear stage, robustness to plasma instabilities, no seed and a wide range of pump intensity.


Quantum loop groups and shuffle algebras via Lyndon words. We study PBW bases of the untwisted quantum loop group U q(L mathfrak g ) (in the Drinfeld new presentation) using the combinatorics of loop words, by generalizing the treatment of 26,27,40 in the finite type case. As an application, we prove that Enriquez' homomorphism 10 from the positive half of the quantum loop group to the trigonometric degeneration of Feigin Odesskii's elliptic algebra 13 associated to mathfrak g is an isomorphism.


The Laplace Mechanism has optimal utility for differential privacy over continuous queries. Differential Privacy protects individuals' data when statistical queries are published from aggregated databases applying "obfuscating" mechanisms to the query results makes the released information less specific but, unavoidably, also decreases its utility. Yet it has been shown that for discrete data (e.g. counting queries), a mandated degree of privacy and a reasonable interpretation of loss of utility, the Geometric obfuscating mechanism is optimal it loses as little utility as possible. For continuous query results however (e.g. real numbers) the optimality result does not hold. Our contribution here is to show that optimality is regained by using the Laplace mechanism for the obfuscation. The technical apparatus involved includes the earlier discrete result by Ghosh et al., recent work on abstract channels and their geometric representation as hyper distributions, and the dual interpretations of distance between distributions provided by the Kantorovich Rubinstein Theorem.


Shot Contrastive Self Supervised Learning for Scene Boundary Detection. Scenes play a crucial role in breaking the storyline of movies and TV episodes into semantically cohesive parts. However, given their complex temporal structure, finding scene boundaries can be a challenging task requiring large amounts of labeled training data. To address this challenge, we present a self supervised shot contrastive learning approach (ShotCoL) to learn a shot representation that maximizes the similarity between nearby shots compared to randomly selected shots. We show how to apply our learned shot representation for the task of scene boundary detection to offer state of the art performance on the MovieNet dataset while requiring only 25 of the training labels, using 9x fewer model parameters and offering 7x faster runtime. To assess the effectiveness of ShotCoL on novel applications of scene boundary detection, we take on the problem of finding timestamps in movies and TV episodes where video ads can be inserted while offering a minimally disruptive viewing experience. To this end, we collected a new dataset called AdCuepoints with 3,975 movies and TV episodes, 2.2 million shots and 19,119 minimally disruptive ad cue point labels. We present a thorough empirical analysis on this dataset demonstrating the effectiveness of ShotCoL for ad cue points detection.


A note on Singular integral. In this paper, we prove that for frac n 2 frac 1 4 alpha leq frac n 1 2 , the convolution operator S alpha f(x) int y geq 1 f(x y) left( y 2 1 right) alpha d y is bounded from L p to L q for certain values of p and q .


On evolutionary problems with a priori bounded gradients. We study a nonlinear evolutionary partial differential equation that can be viewed as a generalization of the heat equation where the temperature gradient is a priori bounded but the heat flux provides merely mbox L 1 coercivity . Applying higher differentiability techniques in space and time, choosing a special weighted norm (equivalent to the Euclidean norm in mathbb R d ), incorporating finer properties of integrable functions and using the concept of renormalized solution, we prove long time and large data existence and uniqueness of weak solution, with an L 1 integrable flux, to an initial spatially periodic problem for all values of a positive model parameter. If this parameter is smaller than 2 (d 1) , where d denotes the spatial dimension, we obtain higher integrability of the flux. As the developed approach is not restricted to a scalar equation, we also present an analogous result for nonlinear parabolic systems in which the nonlinearity, being the gradient of a strictly convex function, gives an a priori L infty bound on the gradient of the unknown solution.


Convergent Boosted Smoothing for Modeling Graph Data with Tabular Node Features. For supervised learning with tabular data, decision tree ensembles produced via boosting techniques generally dominate real world applications involving iid training test sets. However for graph data where the iid assumption is violated due to structured relations between samples, it remains unclear how to best incorporate this structure within existing boosting pipelines. To this end, we propose a generalized framework for iterating boosting with graph propagation steps that share node sample information across edges connecting related samples. Unlike previous efforts to integrate graph based models with boosting, our approach is anchored in a principled meta loss function such that provable convergence can be guaranteed under relatively mild assumptions. Across a variety of non iid graph datasets with tabular node features, our method achieves comparable or superior performance than both tabular and graph neural network models, as well as existing hybrid strategies that combine the two. Beyond producing better predictive performance than recently proposed graph models, our proposed techniques are easy to implement, computationally more efficient, and enjoy stronger theoretical guarantees (which make our results more reproducible).


Formalizing the Four layer Metamodeling Stack Potential and Benefits. Enterprise modeling deals with the increasing complexity of processes and systems by operationalizing model content and by linking complementary models and languages, thus amplifying the model value beyond mere comprehensible pictures. To enable this amplification and turn models into computer processable structures a comprehensive formalization is needed. This paper presents a generic formalism based on typed first order logic and provides a perspective on the potential and benefits arising for a variety of research issues in conceptual modeling. We define modeling languages as formal languages with a signature Sigma comprising object types, relation types, and attributes through types and function symbols and a set of constraints. Three cases studies are included to show the effectiveness of the approach. Applying the formalism to the next level in the hierarchy of models we create M2FOL, a formal modeling language for metamodels. We show that M2FOL is self describing and therefore complete the formalization of the full four layer metamodeling stack. On the basis of our generic formalism applicable to arbitrary modeling languages we examine three current research topics language interleaving consistency, operations on models, and automatic translation of formalizations to platform specific code and how to approach them with the proposed formalism. This shows that the rich knowledge stack on formal languages in logic offers new tools for old problems.


Jacobi's Bound. Jacobi's results translated in K "O nig's, Egerv 'a ry's and Ritt's mathematical languages. Jacobi's results on the computation of the order and of the normal forms of a differential system are translated in the formalism of differential algebra. In the quasi regular case, we give complete proofs according to Jacobi's arguments. The main result is it Jacobi's bound , still conjectural in the general case the order of a differential system P 1 , ldots, P n is not greater than the maximum cal O of the sums sum i 1 n a i, sigma(i) , for all permutations sigma of the indices, where a i,j rm ord x j P i , emph viz. the emph tropical determinant of the matrix (a i,j ) . The order is precisely equal to cal O iff Jacobi's emph truncated determinant does not vanish. Jacobi also gave a polynomial time algorithm to compute cal O , similar to Kuhn's "Hungarian method" and some variants of shortest path algorithms, related to the computation of integers ell i such that a normal form may be obtained, in the generic case, by differentiating ell i times equation P i . Fundamental results about changes of orderings and the various normal forms a system may have, including differential resolvents, are also provided.


Silica Raman scattering probe for absolute calibration of Thomson scattering spectrometers. We have developed a solid state probe for an absolute irradiance calibration of the Thomson scattering system on the Large Plasma Device (LAPD), based on Raman scattering off silica. Measurements performed with a triple grating spectrometer have investigated the intensities of a pulsed laser beam Raman scattered off crystalline and amorphous silica over a range of temperatures of relevance to the LAPD (299 498 K). The data were compared with Rayleigh and Raman scattering intensities in gaseous nitrogen. The measurements show that Raman scattering off quartz allows rapid and accurate alignment and calibration of Thomson scattering systems in plasma physics experiments that cannot be calibrated using conventional methods.


A remark on Chapple Euler Theorem in non Euclidean geometry. In non Euclidean geometry, there are several known correspondings to Chapple Euler Theorem. This remark shows that those results yield expressions corredponding to the well known formula d sqrt R(R 2r) .


Introduction of a novel word embedding approach based on technology labels extracted from patent data. Diversity in patent language is growing and makes finding synonyms for conducting patent searches more and more challenging. In addition to that, most approaches for dealing with diverse patent language are based on manual search and human intuition. In this paper, a word embedding approach using statistical analysis of human labeled data to produce accurate and language independent word vectors for technical terms is introduced. This paper focuses on the explanation of the idea behind the statistical analysis and shows first qualitative results. The resulting algorithm is a development of the former EQMania UG (eqmania.com) and can be tested under eqalice.com until April 2021.


A Conflict Based Search Framework for Multi Objective Multi Agent Path Finding. Conventional multi agent path planners typically compute an ensemble of paths while optimizing a single objective, such as path length. However, many applications may require multiple objectives, say fuel consumption and completion time, to be simultaneously optimized during planning and these criteria may not be readily compared and sometimes lie in competition with each other. Naively applying existing multi objective search algorithms, such as multi objective A (MOA ), to multi agent path finding may prove to be inefficient as the size of the space of possible solutions, i.e., the Pareto optimal set, can grow exponentially with the number of agents (the dimension of the search space). This article presents an approach named Multi Objective Conflict Based Search (MO CBS) that bypasses this so called curse of dimensionality by leveraging prior Conflict Based Search (CBS), a well known algorithm for single objective multi agent path finding, and principles of dominance from multi objective optimization literature. We also develop several variants of MO CBS to further improve its performance. We prove that MO CBS and its variants are able to compute the entire Pareto optimal set. Numerical results show that MO CBS outperforms both MOA as well as MOM , a recently developed state of the art multi objective multi agent planner.


Securities Based Decision Markets. Decision markets are mechanisms for selecting one among a set of actions based on forecasts about their consequences. Decision markets that are based on scoring rules have been proven to offer incentive compatibility analogous to properly incentivised prediction markets. However, in contrast to prediction markets, it is unclear how to implement decision markets such that forecasting is done through the trading of securities. We here propose such a securities based implementation, and show that it offers the same expected payoff as the corresponding scoring rules based decision market. The distribution of realised payoffs, however, might differ. Our analysis expands the knowledge on forecasting based decision making and provides novel insights for intuitive and easy to use decision market implementations.


An Introduction to Algorithmic Fairness. In recent years, there has been an increasing awareness of both the public and scientific community that algorithmic systems can reproduce, amplify, or even introduce unfairness in our societies. These lecture notes provide an introduction to some of the core concepts in algorithmic fairness research. We list different types of fairness related harms, explain two main notions of algorithmic fairness, and map the biases that underlie these harms upon the machine learning development process.


CYBORG Blending Human Saliency Into the Loss Improves Deep Learning. Can deep learning models achieve greater generalization if their training is guided by reference to human perceptual abilities? And how can we implement this in a practical manner? This paper proposes a first ever training strategy to ConveY Brain Oversight to Raise Generalization (CYBORG). This new training approach incorporates human annotated saliency maps into a CYBORG loss function that guides the model towards learning features from image regions that humans find salient when solving a given visual task. The Class Activation Mapping (CAM) mechanism is used to probe the model's current saliency in each training batch, juxtapose model saliency with human saliency, and penalize the model for large differences. Results on the task of synthetic face detection show that the CYBORG loss leads to significant improvement in performance on unseen samples consisting of face images generated from six Generative Adversarial Networks (GANs) across multiple classification network architectures. We also show that scaling to even seven times as much training data with standard loss cannot beat the accuracy of CYBORG loss. As a side effect, we observed that the addition of explicit region annotation to the task of synthetic face detection increased human classification performance. This work opens a new area of research on how to incorporate human visual saliency into loss functions. All data, code and pre trained models used in this work are offered with this paper.


On the Origins and Relevance of the Equal Transit Time Fallacy to Explain Lift. Recently, aerodynamics syllabi have changed in high schools, pilot ground training, and even undergraduate physics. In contrast, there has been no change in the basic theory taught to aeronautical or aerospace engineers. What has changed is technology, both experimentally and computationally. The internet and social media have also empowered citizen science such that the deficiencies in the legacy physics education around flight and lift are well known. The long standing equal transit time (ETT) theory to explain lift has been proven false. If incorrect, why was it ever taught? Through a historical analysis of relevant fluid and aerodynamics literature, this study attempts to explain why ETT theory is part of our collectively lower level cognitive understanding of lift and flight. It was found that in 1744 D'Alembert himself assumed this to be a feature of moving fluids, and while this initial intuition (ETT 1.0) was incorrect, the property of ETT (ETT 2.0) was derived in 1752 when applying Newton's laws of motion to fluids. This incorrect result was independently confirmed in 1757 by Euler! The conclusion is that an over simplified treatment of fluids predicts ETT, along with no lift and drag. This then leads to the open question, can ETT be taught at an appropriately low level as an explanation for lift?


Seizure pathways and seizure durations can vary independently within individual patients with focal epilepsy. A seizure's electrographic dynamics are characterised by its spatiotemporal evolution, also termed dynamical "pathway" and the time it takes to complete that pathway, which results in the seizure's duration. Both seizure pathways and durations can vary within the same patient, producing seizures with different dynamics, severity, and clinical implications. However, it is unclear whether seizures following the same pathway will have the same duration or if these features can vary independently. We compared within subject variability in these seizure features using 1) epilepsy monitoring unit intracranial EEG (iEEG) recordings of 31 patients (mean 6.7 days, 16.5 seizures subject), 2) NeuroVista chronic iEEG recordings of 10 patients (mean 521.2 days, 252.6 seizures subject), and 3) chronic iEEG recordings of 3 dogs with focal onset seizures (mean 324.4 days, 62.3 seizures subject). While the strength of the relationship between seizure pathways and durations was highly subject specific, in most subjects, changes in seizure pathways were only weakly to moderately associated with differences in seizure durations. The relationship between seizure pathways and durations was weakened by seizures that 1) had a common pathway, but different durations ("elastic pathways"), or 2) had similar durations, but followed different pathways ("duplicate durations"). Even in subjects with distinct populations of short and long seizures, seizure durations were not a reliable indicator of different seizure pathways. These findings suggest that seizure pathways and durations are modulated by different processes. Uncovering such modulators may reveal novel therapeutic targets for reducing seizure duration and severity.


DMV strong uniqueness principle for the compressible Navier Stokes system with potential temperature transport. We establish a DMV strong uniqueness result for the compressible Navier Stokes system with potential temperature transport. The concept of generalized, the so called dissipative measure valued (DMV), solutions was proposed in 7 , where their global in time existence was proved. Here we show that strong solutions are stable in the class of DMV solutions. More precisely, a DMV solution coincides with a strong solution emanating from the same initial data as long as the strong solution exists.


Microstructure Resolved Degradation Simulation of Lithium Ion Batteries in Space Applications. In orbit satellite REIMEI, developed by the Japan Aerospace Exploration Agency, has been relying on off the shelf Li ion batteries since its launch in 2005. The performance and durability of Li ion batteries is impacted by various degradation mechanisms, one of which is the growth of the solid electrolyte interphase (SEI). In this article, we analyse the REIMEI battery and parameterize a full cell model with electrochemical cycling data, computer tomography images, and capacity fading experiments using image processing and surrogate optimization. We integrate a recent model for SEI growth into a full cell model and simulate the degradation of batteries during cycling. To validate our model, we use experimental and in flight data of the satellite batteries. Our combination of SEI growth model and microstructure resolved 3D simulation shows, for the first time, experimentally observed inhomogeneities in the SEI thickness throughout the negative electrode for the degraded cells.


CLAP A New Algorithm for Promise CSPs. We propose a new algorithm for Promise Constraint Satisfaction Problems (PCSPs). It is a combination of the Constraint Basic LP relaxation and the Affine IP relaxation (CLAP). We give a characterisation of the power of CLAP in terms of a minion homomorphism. Using this characterisation, we identify a certain weak notion of symmetry which, if satisfied by infinitely many polymorphisms of PCSPs, guarantees tractability. We demonstrate that there are PCSPs solved by CLAP that are not solved by any of the existing algorithms for PCSPs in particular, not by the BLP AIP algorithm of Brakensiek and Guruswami SODA'20 and not by a reduction to tractable finite domain CSPs.


A controller for reaching and unveiling a partially occluded object of interest with an eye in hand robot. In this work, a control scheme for approaching and unveiling a partially occluded object of interest is proposed.The control scheme is based only on the classified point cloud obtained by the in hand camera attached to the robot's end effector. It is shown that the proposed controller reaches in the vicinity of the object progressively unveiling the neighborhood of each visible point of the object of interest. It can therefore potentially achieve the complete unveiling of the object. The proposed control scheme is evaluated through simulations and experiments with a UR5e robot with an in hand RealSense camera on a mock up vine setup for unveiling the stem of a grape.


Understanding Data Visualization Design Practice. Professional roles for data visualization designers are growing in popularity, and interest in relationships between the academic research and professional practice communities is gaining traction. However, despite the potential for knowledge sharing between these communities, we have little understanding of the ways in which practitioners design in real world, professional settings. Inquiry in numerous design disciplines indicates that practitioners approach complex situations in ways that are fundamentally different from those of researchers. In this work, I take a practice led approach to understanding visualization design practice on its own terms. Twenty data visualization practitioners were interviewed and asked about their design process, including the steps they take, how they make decisions, and the methods they use. Findings suggest that practitioners do not follow highly systematic processes, but instead rely on situated forms of knowing and acting in which they draw from precedent and use methods and principles that are determined appropriate in the moment. These findings have implications for how visualization researchers understand and engage with practitioners, and how educators approach the training of future data visualization designers.


Could you become more credible by being White? Assessing Impact of Race on Credibility with Deepfakes. Computer mediated conversations (e.g., videoconferencing) is now the new mainstream media. How would credibility be impacted if one could change their race on the fly in these environments? We propose an approach using Deepfakes and a supporting GAN architecture to isolate visual features and alter racial perception. We then crowd sourced over 800 survey responses to measure how credibility was influenced by changing the perceived race. We evaluate the effect of showing a still image of a Black person versus a still image of a White person using the same audio clip for each survey. We also test the effect of showing either an original video or an altered video where the appearance of the person in the original video is modified to appear more White. We measure credibility as the percent of participant responses who believed the speaker was telling the truth. We found that changing the race of a person in a static image has negligible impact on credibility. However, the same manipulation of race on a video increases credibility significantly (61 to 73 with p 0.05). Furthermore, a VADER sentiment analysis over the free response survey questions reveals that more positive sentiment is used to justify the credibility of a White individual in a video.


On Lottery Tickets and Minimal Task Representations in Deep Reinforcement Learning. The lottery ticket hypothesis questions the role of overparameterization in supervised deep learning. But how is the performance of winning lottery tickets affected by the distributional shift inherent to reinforcement learning problems? In this work, we address this question by comparing sparse agents who have to address the non stationarity of the exploration exploitation problem with supervised agents trained to imitate an expert. We show that feed forward networks trained with behavioural cloning compared to reinforcement learning can be pruned to higher levels of sparsity without performance degradation. This suggests that in order to solve the RL specific distributional shift agents require more degrees of freedom. Using a set of carefully designed baseline conditions, we find that the majority of the lottery ticket effect in both learning paradigms can be attributed to the identified mask rather than the weight initialization. The input layer mask selectively prunes entire input dimensions that turn out to be irrelevant for the task at hand. At a moderate level of sparsity the mask identified by iterative magnitude pruning yields minimal task relevant representations, i.e., an interpretable inductive bias. Finally, we propose a simple initialization rescaling which promotes the robust identification of sparse task representations in low dimensional control tasks.


A fast spectral method for electrostatics in doubly periodic slit channels. We develop a fast method for computing the electrostatic energy and forces for a collection of charges in doubly periodic slabs with jumps in the dielectric permittivity at the slab boundaries. Our method achieves spectral accuracy by using Ewald splitting to replace the original Poisson equation for nearly singular sources with a smooth far field Poisson equation, combined with a localized near field correction. Unlike existing spectral Ewald methods, which make use of the Fourier transform in the aperiodic direction, we recast the problem as a two point boundary value problem in the aperiodic direction for each transverse Fourier mode, for which exact analytic boundary conditions are available. We solve each of these boundary value problems using a fast, well conditioned Chebyshev method. In the presence of dielectric jumps, combining Ewald splitting with the classical method of images results in smoothed charge distributions which overlap the dielectric boundaries themselves. We show how to preserve spectral accuracy in this case through the use of a harmonic correction which involves solving a simple Laplace equation with smooth boundary data. We implement our method on Graphical Processing Units, and combine our doubly periodic Poisson solver with Brownian Dynamics to study the equilibrium structure of double layers in binary electrolytes confined by dielectric boundaries. Consistent with prior studies, we find strong charge depletion near the interfaces due to repulsive interactions with image charges, which points to the need for incorporating polarization effects in understanding confined electrolytes, both theoretically and computationally.


S2TA Exploiting Structured Sparsity for Energy Efficient Mobile CNN Acceleration. Exploiting sparsity is a key technique in accelerating quantized convolutional neural network (CNN) inference on mobile devices. Prior sparse CNN accelerators largely exploit un structured sparsity and achieve significant speedups. Due to the unbounded, largely unpredictable sparsity patterns, however, exploiting unstructured sparsity requires complicated hardware design with significant energy and area overhead, which is particularly detrimental to mobile IoT inference scenarios where energy and area efficiency are crucial. We propose to exploit structured sparsity, more specifically, Density Bound Block (DBB) sparsity for both weights and activations. DBB block tensors bound the maximum number of non zeros per block. DBB thus exposes statically predictable sparsity patterns that enable lean sparsity exploiting hardware. We propose new hardware primitives to implement DBB sparsity for (static) weights and (dynamic) activations, respectively, with very low overheads. Building on top of the primitives, we describe S2TA, a systolic array based CNN accelerator that exploits joint weight and activation DBB sparsity and new dimensions of data reuse unavailable on the traditional systolic array. S2TA in 16nm achieves more than 2x speedup and energy reduction compared to a strong baseline of a systolic array with zero value clock gating, over five popular CNN benchmarks. Compared to two recent non systolic sparse accelerators, Eyeriss v2 (65nm) and SparTen (45nm), S2TA in 65nm uses about 2.2x and 3.1x less energy per inference, respectively.


GAN Based Interactive Reinforcement Learning from Demonstration and Human Evaluative Feedback. Deep reinforcement learning (DRL) has achieved great successes in many simulated tasks. The sample inefficiency problem makes applying traditional DRL methods to real world robots a great challenge. Generative Adversarial Imitation Learning (GAIL) a general model free imitation learning method, allows robots to directly learn policies from expert trajectories in large environments. However, GAIL shares the limitation of other imitation learning methods that they can seldom surpass the performance of demonstrations. In this paper, to address the limit of GAIL, we propose GAN Based Interactive Reinforcement Learning (GAIRL) from demonstration and human evaluative feedback by combining the advantages of GAIL and interactive reinforcement learning. We tested our proposed method in six physics based control tasks, ranging from simple low dimensional control tasks Cart Pole and Mountain Car, to difficult high dimensional tasks Inverted Double Pendulum, Lunar Lander, Hopper and HalfCheetah. Our results suggest that with both optimal and suboptimal demonstrations, a GAIRL agent can always learn a more stable policy with optimal or close to optimal performance, while the performance of the GAIL agent is upper bounded by the performance of demonstrations or even worse than it. In addition, our results indicate the reason that GAIRL is superior over GAIL is the complementary effect of demonstrations and human evaluative feedback.


Smooth rough paths, their geometry and algebraic renormalization. We introduce the class of "smooth rough paths" and study their main properties. Working in a smooth setting allows us to discard sewing arguments and focus on algebraic and geometric aspects. Specifically, a Maurer Cartan perspective is the key to a purely algebraic form of Lyons extension theorem, the renormalization of rough paths in the spirit of Bruned, Chevyrev, Friz, Prei ss , A rough path perspective on renormalization, J. Funct. Anal. 277(11), 2019 as well as a related notion of "sum of rough paths". We first develop our ideas in a geometric rough path setting, as this best resonates with recent works on signature varieties, as well the renormalization of geometric rough paths. We then explore extensions to the quasi geometric and the more general Hopf algebraic setting.


Uniting Parametric Uncertainty and Tipping Diagrams. Various subsystems of the Earth system may undergo critical transitions by passing a so called tipping point, under sustained changes to forcing. For example, the Atlantic Meridional Overturning Circulation (AMOC) is of particular importance for North Atlantic heat transport and is thought to be potentially at risk of tipping. Given a model of such a subsystem that accurately includes the relevant physical processes, whether tipping occurs or not, will depend on model parameters that typically are uncertain. Reducing this parametric uncertainty is important to understand the likelihood of tipping behavior being present in the system and possible tipping locations. In this letter, we develop improved estimates for the parametric uncertainty by inferring probability distributions for the model parameters based on physical constraints and by using a Bayesian inversion technique. To visualize the impact of parametric uncertainty, we extend classical tipping diagrams by visualizing probabilistic bifurcation curves according to the inferred distribution of the model parameter. Furthermore, we highlight the uncertain locations of tipping points along the probabilistic bifurcation curves. We showcase our probabilistic visualizations of the tipping behavior using a simple box model of the AMOC, the Stommel Cessi model 5 .


NLP From Scratch Without Large Scale Pretraining A Simple and Efficient Framework. Pretrained language models have become the standard approach for many NLP tasks due to strong performance, but they are very expensive to train. We propose a simple and efficient learning framework, TLM, that does not rely on large scale pretraining. Given some labeled task data and a large general corpus, TLM uses task data as queries to retrieve a tiny subset of the general corpus and jointly optimizes the task objective and the language modeling objective from scratch. On eight classification datasets in four domains, TLM achieves results better than or similar to pretrained language models (e.g., RoBERTa Large) while reducing the training FLOPs by two orders of magnitude. With high accuracy and efficiency, we hope TLM will contribute to democratizing NLP and expediting its development.


Nets of Conics and associated Artinian algebras of length 7. We classify the orbits of nets of conics under the action of the projective linear group and we determine the specializations of these orbits, using geometric and algebraic methods. We study related geometric questions, as the parametrization of planar cubics. We show that Artinian algebras of Hilbert function H (1,3,3,0) determined by nets, can be smoothed deformed to a direct sum of fields and that algebras of Hilbert function H (1,r,2,0), determined by pencils of quadrics, can also be smoothed. In a Historical Appendix A we describe related work prior to 1977. In an Update Appendix B we survey some developments since 1977 concerning nets of conics, related geometry, and deformations of Artinian algebras of small length.


Improved Beckner's inequality for axially symmetric functions on mathbb S n . In this article we present various uniqueness and existence results for Q curvature type equations with a Paneitz operator on s n in axially symmetric function spaces. In particular, we show uniqueness results for n 6, 8 and improve the best constant of Beckner's inequality in these dimensions for axially symmetric functions under the constraint that their centers of mass are at the origin. As a consequence, the associated first Szeg "o limit theorem is also proven for axially symmetric functions.


Numerical study of effects of electrode parameters and image charge on the electric field configuration of RPCs. The working of a resistive plate chamber depends on the electric field applied inside the gas gap. The strength of this electric field inside the gas gap depends on parameters like electrode thickness, permittivity, gas gap, among others. The applied electric field can get significantly modified by space charge effect. This can be a major concern while working in high rate particle physics experiments. Accumulation of space charge generated due to consecutive avalanches can distort the applied field. During this investigation, we have observed that the strength of this perturbation in electric field is a function of the amount of charge, electrode thickness, permittivity, and gas gap. In this paper, we have studied the dependence of the applied field on parameters linked to RPC fabrication, mentioned above. In addition, we have used the method of image to calculate the additional polarisation field due to space charge for a basic five layers of the geometry of an RPC. The variation of the perturbation in electric field with the same three parameters electrode thickness, permittivity, gas gap has also been discussed.