Algebraic properties of face algebras. Prompted an inquiry of Manin on whether a coacting Hopf type structure H and an algebra A that is coacted upon share algebraic properties, we study the particular case of A being a path algebra Bbbk Q of a finite quiver Q and H being Hayashi's face algebra mathfrak H (Q) attached to Q . This is motivated by the work of Huang, Wicks, Won, and the second author, where it was established that the weak bialgebra coacting universally on Bbbk Q (either from the left, right, or both sides compatibly) is mathfrak H (Q) . For our study, we define the Kronecker square widehat Q of Q , and show that mathfrak H (Q) cong Bbbk widehat Q as unital algebras. Then we obtain ring theoretic and homological properties of mathfrak H (Q) in terms of graph theoretic properties of Q by way of widehat Q .


Fashion Guided Adversarial Attack on Person Segmentation. This paper presents the first adversarial example based method for attacking human instance segmentation networks, namely person segmentation networks in short, which are harder to fool than classification networks. We propose a novel Fashion Guided Adversarial Attack (FashionAdv) framework to automatically identify attackable regions in the target image to minimize the effect on image quality. It generates adversarial textures learned from fashion style images and then overlays them on the clothing regions in the original image to make all persons in the image invisible to person segmentation networks. The synthesized adversarial textures are inconspicuous and appear natural to the human eye. The effectiveness of the proposed method is enhanced by robustness training and by jointly attacking multiple components of the target network. Extensive experiments demonstrated the effectiveness of FashionAdv in terms of robustness to image manipulations and storage in cyberspace as well as appearing natural to the human eye. The code and data are publicly released on our project page https github.com nii yamagishilab fashion adv


Equidistribution de sous vari 'et 'es sp 'eciales et o minimalit 'e Andr 'e Oort g 'eom 'etrique. A characterization of subvarieties of Shimura varieties which contain a Zariski dense subset of weakly special subvarieties has been proved by the second author, by combining o minimality results and functional transcendence results. In this paper, we obtain a new proof of this statement by dynamics techniques on homogeneous spaces in the spirit of the earlier work of Clozel and the second author. The proof combines ergodic theory a la Ratner, with a statement on the dimension of a Hausdorff limit of a sequence of definable subsets (in an o minimal theory) extracted from a definable family. One obtains in passing general homogeneous dynamics statements valid on arbitrary arithmetic quotients which are of independent interest, that can be applied in the study of variations of Hodge structures and their associated period domains.


The backpropagation based recollection hypothesis Backpropagated action potentials mediate recall, imagination, language understanding and naming. Ever since the advent of the neuron doctrine more than a century ago, information processing in the brain is widely believed to mainly follow the forward pre to post synaptic neurons direction. Challenging this prevalent view, in this paper, we emit the backpropagation based recollection hypothesis as follows weak and fast fading Action Potentials following the (highest weight) post to pre synaptic backward pathways, mediate explicit cue based memory recall. This includes also the tasks of imagination, future episodic thinking, language understanding and associating names to various stimuli. These signals originate in highly invariant neurons, which uniquely respond to some specific stimuli (e.g. image of a cat). They then travel backwards to reactivate the same populations of neurons that uniquely respond to this specific stimuli during perception, thus recreating "offline" an experience that is similar. After stating our hypothesis in details, we challenge its assumptions through a thorough literature review. We find abundant evidence that supports most of its assumptions, including the existence of backpropagating signals that have interesting properties. We then leverage simulations based on existing spiking neural network models with STDP learning to show the computational feasibility of using such a mechanism to map the image of an object to its name with the same high accuracy as a state of the art machine learning classifier. Although not yet a theory, we believe this hypothesis presents a paradigm shift that is worth further investigating it opens the way, among others, to new interpretations of language acquisition and understanding, the interplay between memories encoding and retrieval, as well as reconciling the apparently opposed views between sparse coding and distributed representations.


Turbulence modulations and drag reduction by inertialess spheroids in turbulent channel flow. Previous studies on nonspherical particle fluid interaction were mostly confined to elongated fiber like particles, which were observed to induce turbulence drag reduction. However, with the presence of tiny disk like particles how wall turbulence is modulated and whether drag reduction occurs are still unknown. Motivated by those open questions, we performed two way coupled direct numerical simulations of inertialess spheroids in turbulent channel flow by an Eulerian Lagrangian approach. The additional stress accounts for the feedback from inertialess spheroids on the fluid phase. The results demonstrate that both rigid elongated fibers (prolate spheroids) and thin disks (oblate spheroids) can lead to significant turbulence modulations and drag reduction. However, the disk induced drag reduction is less pronounced than that of rigid fibers with the same volume fraction. Typical features of drag reduced flows by additives are observed in both flow statistics and turbulence coherent structures. Moreover, in contrast to one way simulations, the two way coupled results of spheroidal particles exhibit stronger preferential alignments and lower rotation rates. At the end we propose a drag reduction mechanism by inertialess spheroids and explain the different performance for drag reduction by fibers and disks. We find that the spheroidal particles weaken the quasistreamwise vortices through negative work and, therefore, the Reynolds shear stress is reduced. However, the mean shear stress generated by particles, which is shape dependent, partly compensates for the reduction of Reynolds shear stress and thus affects the efficiency of drag reduction. The present study implies that tiny disk like particles can be an alternative drag reduction agent in wall turbulence.


BiHPF Bilateral High Pass Filters for Robust Deepfake Detection. The advancement in numerous generative models has a two fold effect a simple and easy generation of realistic synthesized images, but also an increased risk of malicious abuse of those images. Thus, it is important to develop a generalized detector for synthesized images of any GAN model or object category, including those unseen during the training phase. However, the conventional methods heavily depend on the training settings, which cause a dramatic decline in performance when tested with unknown domains. To resolve the issue and obtain a generalized detection ability, we propose Bilateral High Pass Filters (BiHPF), which amplify the effect of the frequency level artifacts that are known to be found in the synthesized images of generative models. Numerous experimental results validate that our method outperforms other state of the art methods, even when tested with unseen domains.


Sequential motion planning assisted by group actions. We study higher analogues of effective and effectual topological complexity of spaces equipped with a group action. These are G homotopy invariant and are motivated by the (higher) motion planning problem of G spaces for which their group action is thought of as an external system assisting the motion planning. Related to this interpretation we define what we call orbital topological complexity, which is also a G homotopy invariant that provides an upper bound for the topological complexity of the quotient space by the group action. We apply these concepts to actions of the group of order two on orientable surfaces and spheres.


Recommendation System Simulations A Discussion of Two Key Challenges. As recommendation systems become increasingly standard for online platforms, simulations provide an avenue for understanding the impacts of these systems on individuals and society. When constructing a recommendation system simulation, there are two key challenges first, defining a model for users selecting or engaging with recommended items and second, defining a mechanism for users encountering items that are not recommended to the user directly by the platform, such as by a friend sharing specific content. This paper will delve into both of these challenges, reviewing simulation assumptions from existing research and proposing alternative assumptions. We also include a broader discussion of the limitations of simulations and outline of open questions in this area.


A Spatial Agent Based Model for Preemptive Evacuation Decisions During Typhoon. Natural disasters continue to cause tremendous damage to human lives and properties. The Philippines, due to its geographic location, is considered a natural disaster prone country experiencing an average of 20 tropical cyclones annually. Understanding what factors significantly affect decision making during crucial evacuation stages could help in making decisions on how to prepare for disasters, how to act appropriately and strategically respond during and after a calamity. In this work, an agent based model for preemptive evacuation decisions during typhoon is presented. In the model, civilians are represented by households and their evacuation decisions were based from calculated perceived risk. Also, rescuer and shelter manager agents were included as facilitators during the preemptive evacuation process. National and municipal census data were employed in the model, particularly for the demographics of household agents. Further, geospatial data of a village in a typhoon susceptible municipality was used to represent the environment. The decision to evacuate or not to evacuate depends on the agent's perceived risk which also depends on three decision factors characteristics of the decision maker (CDM) capacity related factors (CRF) and hazard related factors (HRF). Finally, the number of households who decided to evacuate or opted to stay as influenced by the model s decision factors were determined during simulations. Sensitivity analysis using linear regression shows that all parameters used in the model are significant in the evacuation decision of household agents.


Extractive and Abstractive Sentence Labelling of Sentiment bearing Topics. This paper tackles the problem of automatically labelling sentiment bearing topics with descriptive sentence labels. We propose two approaches to the problem, one extractive and the other abstractive. Both approaches rely on a novel mechanism to automatically learn the relevance of each sentence in a corpus to sentiment bearing topics extracted from that corpus. The extractive approach uses a sentence ranking algorithm for label selection which for the first time jointly optimises topic sentence relevance as well as aspect sentiment co coverage. The abstractive approach instead addresses aspect sentiment co coverage by using sentence fusion to generate a sentential label that includes relevant content from multiple sentences. To our knowledge, we are the first to study the problem of labelling sentiment bearing topics. Our experimental results on three real world datasets show that both the extractive and abstractive approaches outperform four strong baselines in terms of facilitating topic understanding and interpretation. In addition, when comparing extractive and abstractive labels, our evaluation shows that our best performing abstractive method is able to provide more topic information coverage in fewer words, at the cost of generating less grammatical labels than the extractive method. We conclude that abstractive methods can effectively synthesise the rich information contained in sentiment bearing topics.


Low threshold InP quantum dot and InGaP quantum well visible lasers on silicon (001). Monolithically combining silicon nitride (SiNx) photonics technology with III V active devices could open a broad range of on chip applications spanning a wide wavelength range of 400 4000 nm. With the development of nitride, arsenide, and antimonide lasers based on quantum well (QW) and quantum dot (QD) active regions, the wavelength palette of integrated III V lasers on Si currently spans from 400 nm to 11 mu m with a crucial gap in the red wavelength regime of 630 750 nm. Here, we demonstrate the first red InGaP QW and far red InP QD lasers monolithically grown on CMOS compatible Si (001) substrates with continuous wave operation at room temperature. A low threshold current density of 550 A cm2 and 690 A cm2 with emission at 680 730 nm was achieved for QW and QD lasers on Si, respectively. This work takes the first vital step towards integration of visible red lasers on Si allowing the utilization of integrated photonics for applications including biophotonic sensing, quantum computing, and near eye displays.


Why Talking about ethics is not enough a proposal for Fintech's AI ethics. As the potential applications of Artificial Intelligence (AI) in the financial sector increases, ethical issues become gradually latent. The distrust of individuals, social groups, and governments about the risks arising from Fintech's activities is growing. Due to this scenario, the preparation of recommendations and Ethics Guidelines is increasing and the risks of being chosen the principles and ethical values most appropriate to companies are high. Thus, this exploratory research aims to analyze the benefits of the application of the stakeholder theory and the idea of Social License to build an environment of trust and for the realization of ethical principles by Fintech. The formation of a Fintech association for the creation of a Social License will allow early stage Fintech to participate from the beginning of its activities in the elaboration of a dynamic ethical code and with the participation of stakeholders.


Key Point Analysis via Contrastive Learning and Extractive Argument Summarization. Key point analysis is the task of extracting a set of concise and high level statements from a given collection of arguments, representing the gist of these arguments. This paper presents our proposed approach to the Key Point Analysis shared task, collocated with the 8th Workshop on Argument Mining. The approach integrates two complementary components. One component employs contrastive learning via a siamese neural network for matching arguments to key points the other is a graph based extractive summarization model for generating key points. In both automatic and manual evaluation, our approach was ranked best among all submissions to the shared task.


p Basilica groups. We consider a generalisation of the Basilica group to all odd primes the p Basilica groups acting on the p adic tree. We show that the p Basilica groups have the p congruence subgroup property but not the congruence subgroup property nor the weak congruence subgroup property. This provides the first examples of weakly branch groups with such properties. In addition, the p Basilica groups give the first examples of weakly branch, but not branch, groups which are super strongly fractal. We compute the orders of the congruence quotients of these groups, which enable us to determine the Hausdorff dimensions of the p Basilica groups. Lastly, we show that the p Basilica groups do not possess maximal subgroups of infinite index and that they have infinitely many non normal maximal subgroups.


Persistent Software Combining. We study the performance power of software combining in designing persistent algorithms and data structures. We present Bcomb, a new blocking highly efficient combining protocol, and built upon it to get PBcomb, a persistent version of it that performs a small number of persistence instructions and exhibits low synchronization cost. We built fundamental recoverable data structures, such as stacks and queues based on PBcomb, as well as on PWFcomb, a wait free universal construction we present. Our experiments show that PBcomb and PWFcomb outperform by far state of the art recoverable universal constructions and transactional memory systems, many of which ensure weaker consistency properties than our algorithms. We built recoverable queues and stacks, based on PBcomb and PWFcomb, and present experiments to show that they have much better performance than previous recoverable implementations of stacks and queues. We build the first recoverable implementation of a concurrent heap and present experiments to show that it has good performance when the size of the heap is not very large.


Some simplifications in the proof of the Sims conjecture. We prove an elementary lemma concerning primitive amalgams and use it to greatly simplify the proof of the Sims conjecture in the case of almost simple groups.


NoiER An Approach for Training more Reliable Fine TunedDownstream Task Models. The recent development in pretrained language models trained in a self supervised fashion, such as BERT, is driving rapid progress in the field of NLP. However, their brilliant performance is based on leveraging syntactic artifacts of the training data rather than fully understanding the intrinsic meaning of language. The excessive exploitation of spurious artifacts causes a problematic issue The distribution collapse problem, which is the phenomenon that the model fine tuned on downstream tasks is unable to distinguish out of distribution (OOD) sentences while producing a high confidence score. In this paper, we argue that distribution collapse is a prevalent issue in pretrained language models and propose noise entropy regularisation (NoiER) as an efficient learning paradigm that solves the problem without auxiliary models and additional data. The proposed approach improved traditional OOD detection evaluation metrics by 55 on average compared to the original fine tuned models.


Pedal coordinates and free double linkage. Using the technique of pedal coordinates we investigate the orbits of a free double linkage. We provide a geometrical construction for them and also show a surprising connection between this mechanical system and orbits around a Black Hole and solutions of Dark Kepler problem.


How Can Robots Trust Each Other For Better Cooperation? A Relative Needs Entropy Based Robot Robot Trust Assessment Model. Cooperation in multi agent and multi robot systems can help agents build various formations, shapes, and patterns presenting corresponding functions and purposes adapting to different situations. Relationships between agents such as their spatial proximity and functional similarities could play a crucial role in cooperation between agents. Trust level between agents is an essential factor in evaluating their relationships' reliability and stability, much as people do. This paper proposes a new model called Relative Needs Entropy (RNE) to assess trust between robotic agents. RNE measures the distance of needs distribution between individual agents or groups of agents. To exemplify its utility, we implement and demonstrate our trust model through experiments simulating a heterogeneous multi robot grouping task in a persistent urban search and rescue mission consisting of tasks at two levels of difficulty. The results suggest that RNE trust Based grouping of robots can achieve better performance and adaptability for diverse task execution compared to the state of the art energy based or distance based grouping models.


On inhomogeneous extension of Thue Roth's type inequality with moving targets. Let Gamma subset overline mathbb Q times be a finitely generated multiplicative group of algebraic numbers. Let delta, beta in overline mathbb Q times be algebraic numbers with beta irrational. In this paper, we prove that there exist only finitely many triples (u, q, p) in Gamma times mathbb Z 2 with d mathbb Q (u) mathbb Q such that 0 delta qu beta p frac 1 H varepsilon(u)q d varepsilon , where H(u) denotes the absolute Weil height. As an application of this result, we also prove a transcendence result, which states as follows Let alpha 1 be a real number. Let beta be an algebraic irrational and lambda be a non zero real algebraic number. For a given real number varepsilon 0 , if there are infinitely many natural numbers n for which lambda alpha n beta 2 varepsilon n holds true, then alpha is transcendental, where x denotes the distance from its nearest integer. When alpha and beta both are algebraic satisfying same conditions, then a particular result of Kulkarni, Mavraki and Nguyen, proved in 3 asserts that alpha d is a Pisot number. When beta is algebraic irrational, our result implies that no algebraic number alpha satisfies the inequality for infinitely many natural numbers n . Also, our result strengthens a result of Wagner and Ziegler 6 . The proof of our results uses the Subspace Theorem based on the idea of Corvaja and Zannier 2 together with various modification play a crucial role in the proof.


Total variation convergence of the Euler Maruyama scheme in small time with unbounded drift. We give bounds for the total variation distance between the solution of a stochastic differential equation in mathbb R d and its one step Euler Maruyama scheme in small time. We show that for small t , the total variation distance is of order t 1 3 , and more generally of order t r (2r 1) if the noise coefficient sigma of the SDE is elliptic and mathcal C 2r b , r in mathbb N , using multi step Richardson Romberg extrapolation. We also extend our results to the case where the drift is not bounded. Then we prove with a counterexample that we cannot achieve better bounds in general.


physics.chem-ph cs.LG cs.NA math.NA math.OC physics.comp-ph

Data driven discovery of multiscale chemical reactions governed by the law of mass action. In this paper, we propose a data driven method to discover multiscale chemical reactions governed by the law of mass action. First, we use a single matrix to represent the stoichiometric coefficients for both the reactants and products in a system without catalysis reactions. The negative entries in the matrix denote the stoichiometric coefficients for the reactants and the positive ones for the products. Second, we find that the conventional optimization methods usually get stuck in the local minima and could not find the true solution in learning the multiscale chemical reactions. To overcome this difficulty, we propose a partial parameters freezing (PPF) technique to progressively determine the network parameters by using the fact that the stoichiometric coefficients are integers. With such a technique, the dimension of the searching space is gradually reduced in the training process and the global mimina can be eventually obtained. Several numerical experiments including the classical Michaelis Menten kinetics, the hydrogen oxidation reactions, and the simplified GRI 3.0 mechanism verify the good performance of our algorithm in learning the multiscale chemical reactions. The code is available at url https github.com JuntaoHuang multiscale chemical reaction .


Exploring Lexical Irregularities in Hypothesis Only Models of Natural Language Inference. Natural Language Inference (NLI) or Recognizing Textual Entailment (RTE) is the task of predicting the entailment relation between a pair of sentences (premise and hypothesis). This task has been described as a valuable testing ground for the development of semantic representations, and is a key component in natural language understanding evaluation benchmarks. Models that understand entailment should encode both, the premise and the hypothesis. However, experiments by Poliak et al. revealed a strong preference of these models towards patterns observed only in the hypothesis, based on a 10 dataset comparison. Their results indicated the existence of statistical irregularities present in the hypothesis that bias the model into performing competitively with the state of the art. While recast datasets provide large scale generation of NLI instances due to minimal human intervention, the papers that generate them do not provide fine grained analysis of the potential statistical patterns that can bias NLI models. In this work, we analyze hypothesis only models trained on one of the recast datasets provided in Poliak et al. for word level patterns. Our results indicate the existence of potential lexical biases that could contribute to inflating the model performance.


Exploring Explainability A Definition, a Model, and a Knowledge Catalogue. The growing complexity of software systems and the influence of software supported decisions in our society awoke the need for software that is transparent, accountable, and trustworthy. Explainability has been identified as a means to achieve these qualities. It is recognized as an emerging non functional requirement (NFR) that has a significant impact on system quality. However, in order to incorporate this NFR into systems, we need to understand what explainability means from a software engineering perspective and how it impacts other quality aspects in a system. This allows for an early analysis of the benefits and possible design issues that arise from interrelationships between different quality aspects. Nevertheless, explainability is currently under researched in the domain of requirements engineering and there is a lack of conceptual models and knowledge catalogues that support the requirements engineering process and system design. In this work, we bridge this gap by proposing a definition, a model, and a catalogue for explainability. They illustrate how explainability interacts with other quality aspects and how it may impact various quality dimensions of a system. To this end, we conducted an interdisciplinary Systematic Literature Review and validated our findings with experts in workshops.


Three dimensional Gaussian fluctuations of spectra of overlapping stochastic Wishart matrices. In arXiv 1410.7268v3, the authors consider eigenvalues of overlapping Wishart matrices and prove that its fluctuations asymptotically convergence to the Gaussian free field. In this brief note, their result is extended to show that when the matrix entries undergo stochastic evolution, the fluctuations asymptotically converge to a three dimensional Gaussian field, which has an explicit contour integral formula. This is analogous to the result of arXiv 1011.3544 for stochastic Wigner matrices.


Riesz transform for a flow Laplacian on homogeneous trees. We obtain weak type (1,1) and L p boundedness, for p in (1, infty) , of the first order Riesz transform and its adjoint operator on a homogeneous tree endowed with the canonical flow measure. This is a model case of measure metric space which is nondoubling, of exponential growth, does not satisfy the Cheeger isoperimetric inequality, and where the Laplacian does not have spectral gap. This complements a previous work by W. Hebisch and T. Steger.


Metapopulation dynamics of a respiratory disease with infection during travel. We formulate a compartmental model for the propagation of a respiratory disease in a patchy environment. The patches are connected through the mobility of individuals, and we assume that disease transmission and recovery are possible during travel. Moreover, the migration terms are assumed to depend on the distance between patches and the perceived severity of the disease. The positivity and boundedness of the model solutions are discussed. We analytically show the existence and global asymptotic stability of the disease free equilibrium. We study three different network topologies numerically and find that underlying network structure is crucial for disease transmission. Further numerical simulations reveal that infection during travel has the potential to change the stability of disease free equilibrium from stable to unstable. The coupling strength and transmission coefficients are also very crucial in disease propagation. Different exit screening scenarios indicate that the patch with the highest prevalence may have adverse effects but other patches will be benefited from exit screening. Furthermore, while studying the multi strain dynamics, it is observed that two co circulating strains will not persist simultaneously in the community but only one of the strains may persist in the long run. Transmission coefficients corresponding to the second strain are very crucial and show threshold like behavior with respect to the equilibrium density of the second strain.


DecentLaM Decentralized Momentum SGD for Large batch Deep Training. The scale of deep learning nowadays calls for efficient distributed training algorithms. Decentralized momentum SGD (DmSGD), in which each node averages only with its neighbors, is more communication efficient than vanilla Parallel momentum SGD that incurs global average across all computing nodes. On the other hand, the large batch training has been demonstrated critical to achieve runtime speedup. This motivates us to investigate how DmSGD performs in the large batch scenario. In this work, we find the momentum term can amplify the inconsistency bias in DmSGD. Such bias becomes more evident as batch size grows large and hence results in severe performance degradation. We next propose DecentLaM, a novel decentralized large batch momentum SGD to remove the momentum incurred bias. The convergence rate for both non convex and strongly convex scenarios is established. Our theoretical results justify the superiority of DecentLaM to DmSGD especially in the large batch scenario. Experimental results on a variety of computer vision tasks and models demonstrate that DecentLaM promises both efficient and high quality training.


A Physics Informed Machine Learning Model for Porosity Analysis in Laser Powder Bed Fusion Additive Manufacturing. To control part quality, it is critical to analyze pore generation mechanisms, laying theoretical foundation for future porosity control. Current porosity analysis models use machine setting parameters, such as laser angle and part pose. However, these setting based models are machine dependent, hence they often do not transfer to analysis of porosity for a different machine. To address the first problem, a physics informed, data driven model (PIM), which instead of directly using machine setting parameters to predict porosity levels of printed parts, it first interprets machine settings into physical effects, such as laser energy density and laser radiation pressure. Then, these physical, machine independent effects are used to predict porosity levels according to pass, flag, fail categories instead of focusing on quantitative pore size prediction. With six learning methods evaluation, PIM proved to achieve good performances with prediction error of 10 sim 26 . Finally, pore encouraging influence and pore suppressing influence were analyzed for quality analysis.


Anomaly Detection of Defect using Energy of Point Pattern Features within Random Finite Set Framework. In this paper, we propose an efficient approach for industrial defect detection that is modeled based on anomaly detection using point pattern data. Most recent works use textit global features for feature extraction to summarize image content. However, global features are not robust against lighting and viewpoint changes and do not describe the image's geometrical information to be fully utilized in the manufacturing industry. To the best of our knowledge, we are the first to propose using transfer learning of local point pattern features to overcome these limitations and capture geometrical information of the image regions. We model these local point pattern features as a random finite set (RFS). In addition we propose RFS energy, in contrast to RFS likelihood as anomaly score. The similarity distribution of point pattern features of the normal sample has been modeled as a multivariate Gaussian. Parameters learning of the proposed RFS energy does not require any heavy computation. We evaluate the proposed approach on the MVTec AD dataset, a multi object defect detection dataset. Experimental results show the outstanding performance of our proposed approach compared to the state of the art methods, and the proposed RFS energy outperforms the state of the art in the few shot learning settings.


Gromov Witten theory and Noether Lefschetz theory for holomorphic symplectic varieties. We use Noether Lefschetz theory to study the reduced Gromov Witten invariants of a holomorphic symplectic variety of K3 n type. This yields strong evidence for a new conjectural formula that expresses Gromov Witten invariants of this geometry for arbitrary classes in terms of primitive classes. The formula generalizes an earlier conjecture by Pandharipande and the author for K3 surfaces. Using Gromov Witten techniques we also determine the generating series of Noether Lefschetz numbers of a general pencil of Debarre Voisin varieties. This reproves and extends a result of Debarre, Han, O'Grady and Voisin on HLS divisors on the moduli space of Debarre Voisin fourfolds.


A Hybrid Semi Lagrangian Cut Cell Method for Advection Diffusion Problems with Robin Boundary Conditions in Moving Domains. We present a new discretization for advection diffusion problems with Robin boundary conditions on complex time dependent domains. The method is based on second order cut cell finite volume methods introduced by Bochkov et al. to discretize the Laplace operator and Robin boundary condition. To overcome the small cell problem, we use a splitting scheme that uses a semi Lagrangian method to treat advection. We demonstrate second order accuracy in the L 1 , L 2 , and L infty norms for both analytic test problems and numerical convergence studies. We also demonstrate the ability of the scheme to handle conversion of one concentration field to another across a moving boundary.


The Benefits of Spin Polarization for Fusion Propulsion. Spin polarized fusion has the potential to lower the radiation shielding and ignition requirements for fusion rockets while simultaneously increasing the fusion fuel burnup and provide better momentum coupling to a spacecraft. This potential is estimated using simple, analytic techniques. Both DT and D textsuperscript 3 He fusion fuels are analyzed, although emphasis is placed on DT. An example of the benefits of spin polarized fusion is shown with a re imagining of the famous DT fusion powered VISTA rocket.


Interpolator symmetries and new Kalton Peck spaces. Diagrams generated by three interpolators in an abstract Kalton Montgomery complex like interpolation scheme. We will consider in detail the case of the first three Schechter interpolators associated to the usual Calder 'on complex interpolation method in two especially interesting cases weighted ell 2 spaces, i.e., interpolation pairs ( ell 2(w 1 ), ell 2(w)) theta , and ell p spaces, i.e., the interpolation pair ( ell infty, ell 1) theta , both at theta 1 2 .


Deterministic and game separability for regular languages of infinite trees. We show that it is decidable whether two regular languages of infinite trees are separable by a deterministic language, resp., a game language. We consider two variants of separability, depending on whether the set of priorities of the separator is fixed, or not. In each case, we show that separability can be decided in EXPTIME, and that separating automata of exponential size suffice. We obtain our results by reducing to infinite duration games with omega regular winning conditions and applying the finite memory determinacy theorem of B "uchi and Landweber.


Personal Data Gentrification. We live in an era in which the most valued services are not paid for in money, but in personal data. Every day, service providers collect the personal information of billions of individuals, information that sustain their infrastructure by marketing profiles labeled with this information to personal data consumers, such as advertisers. Not all uses of this personal data are for marketing data consumers can also include, for instance, public health authorities tracking pandemics. In either case, individuals have undergone a process of Personal Data Gentrification, as data ownership has shifted from individuals to service providers and data consumers, as if the data is worth nothing to the individuals these new owners then harness the data to obtain large profits. Current privacy enhancing technologies are beginning to allow individuals to control and share less information. However, not sharing individuals' personal information at all could lead to Personal Data Blight, in which the potential of personal data in applications that benefit all of society remains forever latent. In this paper, we propose Personal Data Enfranchisement as a middle ground, empowering individuals to control the sharing of their personal information to shift the business flows of personal information. Based on these insights, we propose a model to gradually and incrementally make a shift from our current situation towards one of Personal Data Enfranchisement. Finally, we present a roadmap and some challenges towards achieving this bold vision.


Finiteness theorems for universal sums of squares of almost primes. In this paper we study quadratic forms which are universal when restricted to almost prime inputs, establishing finiteness theorems akin to the Conway Schneeberger 15 theorem.


Identifying Reaction Pathways in Phase Space via Asymptotic Trajectories. In this paper, we revisit the concepts of the reactivity map and the reactivity bands as an alternative to the use of perturbation theory for the determination of the phase space geometry of chemical reactions. We introduce a reformulated metric, called the asymptotic trajectory indicator, and an efficient algorithm to obtain reactivity boundaries. We demonstrate that this method has sufficient accuracy to reproduce phase space structures such as turnstiles for a 1D model of the isomerization of ketene in an external field. The asymptotic trajectory indicator can be applied to higher dimensional systems coupled to Langevin baths as we demonstrate for a 3D model of the isomerization of ketene.


Switching off the phenotypic transition to the uninduced state of the lactose uptake pathway. The lactose uptake pathway of E. coli is a paradigmatic example of multistability in gene regulatory circuits. In the induced state of the lac pathway, the genes comprising the lac operon are transcribed, leading to the production of proteins which import and metabolize lactose. In the uninduced state, a stable repressor DNA loop frequently blocks the transcription of the lac genes. Transitions from one phenotypic state to the other are driven by fluctuations, which arise from the random timing of the binding of ligands and proteins. This stochasticity affects transcription and translation, and ultimately molecular copy numbers. Our aim is to understand the transition from the induced to the uninduced state of the lac operon. We use a detailed computational model to show that repressor operator binding unbinding, fluctuations in the total number of repressors, and inducer repressor binding unbinding all play a role in this transition. Based on the timescales on which these processes operate, we construct a minimal model of the transition to the uninduced state and compare the results with simulations and experimental observations. The induced state turns out to be very stable, with a transition rate to the uninduced state lower than 2 times 10 9 per minute. In contrast to the transition to the induced state, the transition to the uninduced state is well described in terms of a 2D diffusive system crossing a barrier, with the diffusion rates emerging from a model of repressor unbinding.


Improved uniform error bounds on time splitting methods for long time dynamics of the nonlinear Klein Gordon equation with weak nonlinearity. We establish improved uniform error bounds on time splitting methods for the long time dynamics of the nonlinear Klein Gordon equation (NKGE) with weak cubic nonlinearity, whose strength is characterized by varepsilon 2 with 0 varepsilon leq 1 a dimensionless parameter. Actually, when 0 varepsilon ll 1 , the NKGE with O( varepsilon 2) nonlinearity and O(1) initial data is equivalent to that with O(1) nonlinearity and small initial data of which the amplitude is at O( varepsilon) . We begin with a semi discretization of the NKGE by the second order time splitting method, and followed by a full discretization via the Fourier spectral method in space. Employing the regularity compensation oscillation (RCO) technique which controls the high frequency modes by the regularity of the exact solution and analyzes the low frequency modes by phase cancellation and energy method, we carry out the improved uniform error bounds at O( varepsilon 2 tau 2) and O(h m varepsilon 2 tau 2) for the second order semi discretization and full discretization up to the long time T varepsilon T varepsilon 2 with T fixed, respectively. Extensions to higher order time splitting methods and the case of an oscillatory complex NKGE are also discussed. Finally, numerical results are provided to confirm the improved error bounds and to demonstrate that they are sharp.


Decentralized Reinforcement Learning for Multi Target Search and Detection by a Team of Drones. Targets search and detection encompasses a variety of decision problems such as coverage, surveillance, search, observing and pursuit evasion along with others. In this paper we develop a multi agent deep reinforcement learning (MADRL) method to coordinate a group of aerial vehicles (drones) for the purpose of locating a set of static targets in an unknown area. To that end, we have designed a realistic drone simulator that replicates the dynamics and perturbations of a real experiment, including statistical inferences taken from experimental data for its modeling. Our reinforcement learning method, which utilized this simulator for training, was able to find near optimal policies for the drones. In contrast to other state of the art MADRL methods, our method is fully decentralized during both learning and execution, can handle high dimensional and continuous observation spaces, and does not require tuning of additional hyperparameters.


The critical points of the elastic energy among curves pinned at endpoints. In this paper we find curves minimizing the elastic energy among curves whose length is fixed and whose ends are pinned. Applying the shooting method, we can identify all critical points explicitly and determine which curve is the global minimizer. As a result we show that the critical points consist of wavelike elasticae and the minimizers do not have any loops or interior inflection points.


On syntactically similar logic programs and sequential decompositions. Rule based reasoning is an essential part of human intelligence prominently formalized in artificial intelligence research via logic programs. Describing complex objects as the composition of elementary ones is a common strategy in computer science and science in general. The author has recently introduced the sequential composition of logic programs in the context of logic based analogical reasoning and learning in logic programming. Motivated by these applications, in this paper we construct a qualitative and algebraic notion of syntactic logic program similarity from sequential decompositions of programs. We then show how similarity can be used to answer queries across different domains via a one step reduction. In a broader sense, this paper is a further step towards an algebra of logic programs first envisioned by Richard O. Keefe in 1985 with applications to analogical reasoning.


Agent based Framework for Self Organization of Collective and Autonomous Shuttle Fleets. The mobility of people is at the center of transportation planning and decision making of the cities of the future. In order to accelerate the transition to zero emissions and to maximize air quality benefits, smart cities are prioritizing walking, cycling, shared mobility services and public transport over the use of private cars. Extensive progress has been made in autonomous and electric cars. Autonomous Vehicles (AV) are increasingly capable of moving without full control of humans, automating some aspects of driving, such as steering or braking. For these reasons, cities are investing in the infrastructure and technology needed to support connected, multi modal transit networks that include shared electric Autonomous Vehicles (AV). The relationship between traditional public transport and new mobility services is in the spotlight and need to be rethought. This paper proposes an agent based simulation framework that allows for the creation and simulation of mobility scenarios to investigate the impact of new mobility modes on a city daily life. It lets traffic planners explore the cooperative integration of AV using a decentralized control approach. A prototype has been implemented and validated with data of the city of Trento.


Extending Merge Resolution to a Family of Proof Systems. Merge Resolution (MRes Beyersdorff et al. J. Autom. Reason.'2021 ) is a recently introduced proof system for false QBFs. It stores the countermodels as merge maps. Merge maps are deterministic branching programs in which isomorphism checking is efficient making MRes a polynomial time verifiable proof system. In this paper, we introduce a family of proof systems MRes R in which, the countermodels are stored in any pre fixed complete representation R, instead of merge maps. Hence corresponding to each such R, we have a sound and refutationally complete QBF proof system in MRes R. To handle arbitrary representations for the strategies, we introduce consistency checking rules in MRes R instead of isomorphism checking. As a result these proof systems are not polynomial time verifiable. Consequently, the paper shows that using merge maps is too restrictive and can be replaced with arbitrary representations leading to several interesting proof systems. Exploring proof theoretic properties of MRes R, we show that eFrege forall red simulates all valid refutations from proof systems in MRes R. In order to simulate arbitrary representations in MRes R, we first represent the steps used by the proof systems as a new complete structure. Consequently, the corresponding proof system belonging to MRes R is able to simulate all proof systems in MRes R. Finally, we simulate this proof system via eFrege forall red using the ideas from Chew et al. ECCC.'2021 . On the lower bound side, we show that the completion principle formulas from Jonata et al. Theor. Comput. Sci.'2015 which are shown to be hard for regular MRes in Beyersdorff et al. FSTTCS.'2020 , are also hard for any regular proof system in MRes R. Thereby, the paper lifts the lower bound of regular MRes to an entire class of proof systems, which use some complete representation, including those undiscovered, instead of merge maps.


Visual Arrangements of Bar Charts Influence Comparisons in Viewer Takeaways. Well designed data visualizations can lead to more powerful and intuitive processing by a viewer. To help a viewer intuitively compare values to quickly generate key takeaways, visualization designers can manipulate how data values are arranged in a chart to afford particular comparisons. Using simple bar charts as a case study, we empirically tested the comparison affordances of four common arrangements vertically juxtaposed, horizontally juxtaposed, overlaid, and stacked. We asked participants to type out what patterns they perceived in a chart, and coded their takeaways into types of comparisons. In a second study, we asked data visualization design experts to predict which arrangement they would use to afford each type of comparison and found both alignments and mismatches with our findings. These results provide concrete guidelines for how both human designers and automatic chart recommendation systems can make visualizations that help viewers extract the 'right' takeaway.


DevOps Team Structures Characterization and Implications. Context DevOps can be defined as a cultural movement to improve and accelerate the delivery of business value by making the collaboration between development and operations effective. Objective This paper aims to help practitioners and researchers to better understand the organizational structure and characteristics of teams adopting DevOps. Method We conducted an exploratory study by leveraging in depth, semi structured interviews to relevant stakeholders of 31 multinational software intensive companies, together with industrial workshops and observations at organizations' facilities that supported triangulation. We used Grounded Theory as qualitative research method to explore the structure and characteristics of teams, and statistical analysis to discover their implications in software delivery performance. Results We describe a taxonomy of team structure patterns that shows emerging, stable and consolidated product teams that are classified according to six variables, such as collaboration frequency, product ownership sharing, autonomy, among others, as well as their implications on software delivery performance. These teams are often supported by horizontal teams (DevOps platform teams, Centers of Excellence, and chapters) that provide them with platform technical capability, mentoring and evangelization, and even temporarily facilitate human resources. Conclusion This study aims to strengthen evidence and support practitioners in making better informed about organizational team structures by analyzing their main characteristics and implications in software delivery performance.


A time and space optimal stable population protocol solving exact majority. We study population protocols, a model of distributed computing appropriate for modeling well mixed chemical reaction networks and other physical systems where agents exchange information in pairwise interactions, but have no control over their schedule of interaction partners. The well studied majority problem is that of determining in an initial population of n agents, each with one of two opinions A or B , whether there are more A , more B , or a tie. A stable protocol solves this problem with probability 1 by eventually entering a configuration in which all agents agree on a correct consensus decision of mathsf A , mathsf B , or mathsf T , from which the consensus cannot change. We describe a protocol that solves this problem using O( log n) states ( log log n O(1) bits of memory) and optimal expected time O( log n) . The number of states O( log n) is known to be optimal for the class of polylogarithmic time stable protocols that are "output dominant" and "monotone". These are two natural constraints satisfied by our protocol, making it simultaneously time and state optimal for that class. We introduce a key technique called a "fixed resolution clock" to achieve partial synchronization. Our protocol is nonuniform the transition function has the value left lceil log n right rceil encoded in it. We show that the protocol can be modified to be uniform, while increasing the state complexity to Theta( log n log log n) .


An Energy based, always Index le1 and Structurally Amenable Electrical Circuit Model. Combining three themes port Hamiltonian energy based modelling, structural analysis as used in the circuit world, and structural analysis of general differential algebraic equations, we form a new model for electrical circuits, the compact port Hamiltonian equations. They have remarkable simplicity and symmetry, and always have index at most 1 and other good numerical properties. The method has been implemented in Matlab. We give proofs and numerical results.


Lossless Compression of Efficient Private Local Randomizers. Locally Differentially Private (LDP) Reports are commonly used for collection of statistics and machine learning in the federated setting. In many cases the best known LDP algorithms require sending prohibitively large messages from the client device to the server (such as when constructing histograms over large domain or learning a high dimensional model). This has led to significant efforts on reducing the communication cost of LDP algorithms. At the same time LDP reports are known to have relatively little information about the user's data due to randomization. Several schemes are known that exploit this fact to design low communication versions of LDP algorithm but all of them do so at the expense of a significant loss in utility. Here we demonstrate a general approach that, under standard cryptographic assumptions, compresses every efficient LDP algorithm with negligible loss in privacy and utility guarantees. The practical implication of our result is that in typical applications the message can be compressed to the size of the server's pseudo random generator seed. More generally, we relate the properties of an LDP randomizer to the power of a pseudo random generator that suffices for compressing the LDP randomizer. From this general approach we derive low communication algorithms for the problems of frequency estimation and high dimensional mean estimation. Our algorithms are simpler and more accurate than existing low communication LDP algorithms for these well studied problems.


On a range of exponents for absence of Lavrentiev phenomenon for double phase functionals. For a class of functionals having the (p,q) growth, we establish an improved range of exponents p , q for which the Lavrentiev phenomenon does not occur. The proof is based on a standard mollification argument and Young convolution inequality. Our contribution is two fold. First, we observe that it is sufficient to regularise only bounded functions. Second, we exploit the L infty bound on the function rather than the L p estimate on the gradient. Our proof does not rely on the properties of minimizers to variational problems but it is rather a consequence of the underlying Musielak Orlicz function spaces. Moreover, our method works for unbounded boundary data, the variable exponent functionals and vectorial problems. In addition, the result seems to be optimal for p le d .


Approximation classes for adaptive time stepping finite element methods. We study approximation classes for adaptive time stepping finite element methods for time dependent Partial Differential Equations (PDE). We measure the approximation error in L 2( 0,T) times Omega) and consider the approximation with discontinuous finite elements in time and continuous finite elements in space, of any degree. As a byproduct we define Besov spaces for vector valued functions on an interval and derive some embeddings, as well as Jackson and Whitney type estimates.


Asymmetrical Bi RNN for pedestrian trajectory encoding. Pedestrian motion behavior involves a combination of individual goals and social interactions with other agents. In this article, we present an asymmetrical bidirectional recurrent neural network architecture called U RNN to encode pedestrian trajectories and evaluate its relevance to replace LSTMs for various forecasting models. Experimental results on the Trajnet benchmark show that the U LSTM variant yields better results regarding every available metrics (ADE, FDE, Collision rate) than common trajectory encoders for a variety of approaches and interaction modules, suggesting that the proposed approach is a viable alternative to the de facto sequence encoding RNNs. Our implementation of the asymmetrical Bi RNNs for the Trajnet benchmark is available at github.com JosephGesnouin Asymmetrical Bi RNNs to encode pedestrian trajectories


Global weak solutions to fully cross diffusive systems with nonlinear diffusion and saturated taxis sensitivity. Systems of the type begin cases u t nabla cdot (D 1(u) nabla u S 1(u) nabla v) f 1(u, v), v t nabla cdot (D 2(v) nabla v S 2(v) nabla u) f 2(u, v) end cases qquad ( star) can be used to model pursuit evasion relationships between predators and prey. Apart from local kinetics given by f 1 and f 2 , the key components in this system are the taxis terms nabla cdot (S 1(u) nabla v) and nabla cdot (S 2(v) nabla u) that is, the species are not only assumed to move around randomly in space but are also able to partially direct their movement depending on the nearby presence of the other species. In the present article, we construct global weak solutions of ( star ) for certain prototypical nonlinear functions D i , S i and f i , i in 1, 2 . To that end, we first make use of a fourth order regularization to obtain global solutions to approximate systems and then rely on an entropy like identity associated with ( star ) for obtaining various a priori estimates.


A Survey of Commodity WiFi Sensing in 10 Years Current Status, Challenges, and Opportunities. The prevalence of WiFi devices and ubiquitous coverage of WiFi networks provide us the opportunity to extend WiFi capabilities beyond communication, particularly in sensing the physical environment. In this paper, we survey the evolution of WiFi sensing systems utilizing commodity devices over the past decade. It groups WiFi sensing systems into three main categories activity recognition (large scale and small scale), object sensing, and localization. We highlight the milestone work in each category and the underline techniques they adopted. Next, this work presents the challenges faced by existing WiFi sensing systems. Lastly, we comprehensively discuss the future trending of commodity WiFi sensing.


CENTRIS A Precise and Scalable Approach for Identifying Modified Open Source Software Reuse. Open source software (OSS) is widely reused as it provides convenience and efficiency in software development. Despite evident benefits, unmanaged OSS components can introduce threats, such as vulnerability propagation and license violation. Unfortunately, however, identifying reused OSS components is a challenge as the reused OSS is predominantly modified and nested. In this paper, we propose CENTRIS, a precise and scalable approach for identifying modified OSS reuse. By segmenting an OSS code base and detecting the reuse of a unique part of the OSS only, CENTRIS is capable of precisely identifying modified OSS reuse in the presence of nested OSS components. For scalability, CENTRIS eliminates redundant code comparisons and accelerates the search using hash functions. When we applied CENTRIS on 10,241 widely employed GitHub projects, comprising 229,326 versions and 80 billion lines of code, we observed that modified OSS reuse is a norm in software development, occurring 20 times more frequently than exact reuse. Nonetheless, CENTRIS identified reused OSS components with 91 precision and 94 recall in less than a minute per application on average, whereas a recent clone detection technique, which does not take into account modified and nested OSS reuse, hardly reached 10 precision and 40 recall.


Impact of Distributed Rate Limiting on Load Distribution in a Latency sensitive Messaging Service. The cloud's flexibility and promise of seamless auto scaling notwithstanding, its ability to meet service level objectives (SLOs) typically calls for some form of control in resource usage. This seemingly traditional problem gives rise to new challenges in a cloud setting, and in particular a subtle yet significant trade off involving load distribution decisions (the distribution of workload across available cloud resources to optimize performance), and rate limiting (the capping of individual workloads to prevent global over commitment). This paper investigates that trade off through the design and implementation of a real time messaging system motivated by Internet of Things (IoT) applications, and demonstrates a solution capable of realizing an effective compromise. The paper's contributions are in both explicating the source of this trade off, and in demonstrating a possible solution.


Frame independent vector cloud neural network for nonlocal constitutive modeling on arbitrary grids. Constitutive models are widely used for modeling complex systems in science and engineering, where first principle based, well resolved simulations are often prohibitively expensive. For example, in fluid dynamics, constitutive models are required to describe nonlocal, unresolved physics such as turbulence and laminar turbulent transition. However, traditional constitutive models based on partial differential equations (PDEs) often lack robustness and are too rigid to accommodate diverse calibration datasets. We propose a frame independent, nonlocal constitutive model based on a vector cloud neural network that can be learned with data. The model predicts the closure variable at a point based on the flow information in its neighborhood. Such nonlocal information is represented by a group of points, each having a feature vector attached to it, and thus the input is referred to as vector cloud. The cloud is mapped to the closure variable through a frame independent neural network, invariant both to coordinate translation and rotation and to the ordering of points in the cloud. As such, the network can deal with any number of arbitrarily arranged grid points and thus is suitable for unstructured meshes in fluid simulations. The merits of the proposed network are demonstrated for scalar transport PDEs on a family of parameterized periodic hill geometries. The vector cloud neural network is a promising tool not only as nonlocal constitutive models and but also as general surrogate models for PDEs on irregular domains.


Phase Aberration Correction in Shear wave Elastography Imaging Using Local Speed of Sound Adaptive Beamforming. Shear wave Elastography Imaging (SWEI) is a noninvasive imaging modality that provides tissue elasticity information by measuring the travelling speed of an induced shear wave. It is commercially available on clinical ultrasound scanners and popularly used in the diagnosis and staging of liver disease and breast cancer. In conventional SWEI methods, a sequence of acoustic radiation force (ARF) pushes are used for inducing a shear wave, which is tracked using high frame rate multi angle plane wave imaging (MA PWI) to estimate the shear wave speed (SWS). Conventionally, these plane waves are beamformed using a constant speed of sound (SoS), assuming an a priori known and homogeneous tissue medium. However, soft tissues are inhomogeneous, with intrinsic SoS variations. In this work, study the SoS effects and inhomogeneities on SWS estimation, using simulation and phantoms experiments with porcine muscle as an abbarator, and show how these aberrations can be corrected using local speed of sound adaptive beamforming. For shear wave tracking, we compare standard beamform with spatially constant SoS values to software beamforming with locally varying SoS maps. We show that, given SoS aberrations, traditional beamforming using a constant SoS, regardless of the utilized SoS value, introduces a substantial bias in resulting SWS estimations. Average SWS estimation disparity for the same material was observed over 4.3 times worse when a constant SoS value is used compared to that when a known SoS map is used for beamforming. Such biases are shown to be corrected by using a local SoS map in beamforming, indicating the importance of and a need for local SoS reconstruction techniques.


AWSOM LP An Effective Log Parsing Technique Using Pattern Recognition and Frequency Analysis. Logs provide users with useful insights to help with a variety of development and operations tasks. The problem is that logs are often unstructured, making their analysis a complex task. This is mainly due to the lack of guidelines and best practices for logging, combined with a large number of logging libraries at the disposal of software developers. There exist studies that aim to parse automatically large logs. The main objective is to extract templates from samples of log data that are used to recognize future logs. In this paper, we propose AWSOM LP, a powerful log parsing and abstraction tool, which is highly accurate, stable, and efficient. AWSOM LP is built on the idea of applying pattern recognition and frequency analysis. First, log events are organized into patterns using a simple text processing method. Frequency analysis is then applied locally to instances of the same group to identify static and dynamic content of log events. When applied to 16 log datasets of the the LogPai project, AWSOM LP achieves an average grouping accuracy of 93.5 , which outperforms the accuracy of five leading log parsing tools namely, Logram, Lenma, Drain, IPLoM and AEL. Additionally, AWSOM LP can generate more than 80 of the final log templates from 10 to 50 of the entire log dataset and can parse up to a million log events in an average time of 5 minutes. AWSOM LP is available online as an open source. It can be used by practitioners and researchers to parse effectively and efficiently large log files so as to support log analysis tasks.


Quantum characteristic classes, moment correspondences and the Hamiltonian groups of coadjoint orbits. For any coadjoint orbit G L , we determine all useful terms of the associated Savelyev Seidel morphism defined on H ( Omega G) . Immediate consequences are (1) the dimension of the kernel of the natural map pi (G) otimes mathbb Q rightarrow pi (Ham(G L)) otimes mathbb Q is at most the semi simple rank of L , and (2) the Bott Samelson cycles in Omega G which correspond to Peterson elements are solutions to the min max problem for Hofer's max length functional on Omega Ham(G L) . The proof is based on Bae Chow Leung's recent computation of Ma'u Wehrheim Woodward morphism for the moment correspondence associated to G T where T is a maximal torus, the computation of Abbondandolo Schwarz isomorphism for G , and two theoretical results including the coincidence of the above Savelyev Seidel and Ma'u Wehrheim Woodward morphisms, and a Leray type spectral sequence relating Savelyev Seidel morphisms for G L and G T . These ingredients also allow us to obtain an alternative proof of Peterson Woodward's comparison formula which relates the quantum cohomology of G T to that of G L .


ECRM Efficient Fault Tolerance for Recommendation Model Training via Erasure Coding. Deep learning based recommendation models (DLRMs) are widely deployed to serve personalized content to users. DLRMs are large in size due to their use of large embedding tables, and are trained by distributing the model across the memory of tens or hundreds of servers. Server failures are common in such large distributed systems and must be mitigated to enable training to progress. Checkpointing is the primary approach used for fault tolerance in these systems, but incurs significant training time overhead both during normal operation and when recovering from failures. As these overheads increase with DLRM size, checkpointing is slated to become an even larger overhead for future DLRMs, which are expected to grow in size. This calls for rethinking fault tolerance in DLRM training. We present ECRM, a DLRM training system that achieves efficient fault tolerance using erasure coding. ECRM chooses which DLRM parameters to encode, correctly and efficiently updates parities, and enables training to proceed without any pauses, while maintaining consistency of the recovered parameters. We implement ECRM atop XDL, an open source, industrial scale DLRM training system. Compared to checkpointing, ECRM reduces training time overhead for large DLRMs by up to 88 , recovers from failures up to 10.3 times faster, and allows training to proceed during recovery. These results show the promise of erasure coding in imparting efficient fault tolerance to training current and future DLRMs.


Dynamical Isometry The Missing Ingredient for Neural Network Pruning. Several recent works 40, 24 observed an interesting phenomenon in neural network pruning A larger finetuning learning rate can improve the final performance significantly. Unfortunately, the reason behind it remains elusive up to date. This paper is meant to explain it through the lens of dynamical isometry 42 . Specifically, we examine neural network pruning from an unusual perspective pruning as initialization for finetuning, and ask whether the inherited weights serve as a good initialization for the finetuning? The insights from dynamical isometry suggest a negative answer. Despite its critical role, this issue has not been well recognized by the community so far. In this paper, we will show the understanding of this problem is very important on top of explaining the aforementioned mystery about the larger finetuning rate, it also unveils the mystery about the value of pruning 5, 30 . Besides a clearer theoretical understanding of pruning, resolving the problem can also bring us considerable performance benefits in practice.


Duality in Toric Topology. We characterise integral Poincar 'e duality moment angle complexes mathcal Z mathcal K in combinatorial terms of the Fan Wang duality of the simplicial complex mathcal K , and consequently in algebraic terms of the Gorenstein duality of the Stanley Reisner ring mathbb Z mathcal K . We extend Poincar 'e duality results to certain polyhedral products using polyhedral join products of simplicial complexes.


Equi Joins Over Encrypted Data for Series of Queries. Encryption provides a method to protect data outsourced to a DBMS provider, e.g., in the cloud. However, performing database operations over encrypted data requires specialized encryption schemes that carefully balance security and performance. In this paper, we present a new encryption scheme that can efficiently perform equi joins over encrypted data with better security than the state of the art. In particular, our encryption scheme reduces the leakage to equality of rows that match a selection criterion and only reveals the transitive closure of the sum of the leakages of each query in a series of queries. Our encryption scheme is provable secure. We implemented our encryption scheme and evaluated it over a dataset from the TPC H benchmark.


Unpacking the Interdependent Systems of Discrimination Ableist Bias in NLP Systems through an Intersectional Lens. Much of the world's population experiences some form of disability during their lifetime. Caution must be exercised while designing natural language processing (NLP) systems to prevent systems from inadvertently perpetuating ableist bias against people with disabilities, i.e., prejudice that favors those with typical abilities. We report on various analyses based on word predictions of a large scale BERT language model. Statistically significant results demonstrate that people with disabilities can be disadvantaged. Findings also explore overlapping forms of discrimination related to interconnected gender and race identities.


Deep Down the Rabbit Hole On References in Networks of Decoy Elements. Deception technology has proven to be a sound approach against threats to information systems. Aside from well established honeypots, decoy elements, also known as honeytokens, are an excellent method to address various types of threats. Decoy elements are causing distraction and uncertainty to an attacker and help detecting malicious activity. Deception is meant to be complementing firewalls and intrusion detection systems. Particularly insider threats may be mitigated with deception methods. While current approaches consider the use of multiple decoy elements as well as context sensitivity, they do not sufficiently describe a relationship between individual elements. In this work, inter referencing decoy elements are introduced as a plausible extension to existing deception frameworks, leading attackers along a path of decoy elements. A theoretical foundation is introduced, as well as a stochastic model and a reference implementation. It was found that the proposed system is suitable to enhance current decoy frameworks by adding a further dimension of inter connectivity and therefore improve intrusion detection and prevention.


Exploring the Regulatory Function of the N terminal Domain of SARS CoV 2 Spike Protein Through Molecular Dynamics Simulation. SARS CoV 2 is what has caused the COVID 19 pandemic. Early viral infection is mediated by the SARS CoV 2 homo trimeric Spike (S) protein with its receptor binding domains (RBDs) in the receptor accessible state. We performed molecular dynamics simulation on the S protein with a focus on the function of its N terminal domains (NTDs). Our study reveals that the NTD acts as a "wedge" and plays a crucial regulatory role in the conformational changes of the S protein. The complete RBD structural transition is allowed only when the neighboring NTD that typically prohibits the RBD's movements as a wedge detaches and swings away. Based on this NTD "wedge" model, we propose that the NTD RBD interface should be a potential drug target.


Finite presentation of the tame fundamental group. Let p be a prime number, and let k be an algebraically closed field of characteristic p . We show that the tame fundamental group of a smooth affine curve over k is a projective profinite group. We prove that the fundamental group of a smooth projective variety over k is finitely presented. More generally we prove that the tame fundamental group of a smooth quasi projective variety over k which admits a good compactification is finitely presented. v2 references added. Thank you to all for the friendly and fruitful comments.


Random Walks, Spectral Gaps, and Khintchine's Theorem on Fractals. This work addresses problems on simultaneous Diophantine approximation on fractals, motivated by a long standing problem of Mahler regarding Cantor's middle 1 3 set. We obtain the first instances where a complete analogue of Khintchine's Theorem holds for fractal measures. Our results apply to fractals which are self similar by a system of rational similarities of mathbb R d (for any d geq 1 ) and have sufficiently small Hausdorff co dimension. A concrete example of such measures in the context of Mahler's problem is the Hausdorff measure on the "middle 1 5 Cantor set" i.e. the set of numbers whose base 5 expansions miss a single digit. The key new ingredient is an effective equidistribution theorem for certain fractal measures on the homogeneous space mathcal L d 1 of unimodular lattices a result of independent interest. The latter is established via a new technique involving the construction of S arithmetic operators possessing a spectral gap and encoding the arithmetic structure of the maps generating the fractal. As a consequence of our methods, we show that spherical averages of certain random walks naturally associated to the fractal measures effectively equidistribute on mathcal L d 1 .


DCUR Data Curriculum for Teaching via Samples with Reinforcement Learning. Deep reinforcement learning (RL) has shown great empirical successes, but suffers from brittleness and sample inefficiency. A potential remedy is to use a previously trained policy as a source of supervision. In this work, we refer to these policies as teachers and study how to transfer their expertise to new student policies by focusing on data usage. We propose a framework, Data CUrriculum for Reinforcement learning (DCUR), which first trains teachers using online deep RL, and stores the logged environment interaction history. Then, students learn by running either offline RL or by using teacher data in combination with a small amount of self generated data. DCUR's central idea involves defining a class of data curricula which, as a function of training time, limits the student to sampling from a fixed subset of the full teacher data. We test teachers and students using state of the art deep RL algorithms across a variety of data curricula. Results suggest that the choice of data curricula significantly impacts student learning, and that it is beneficial to limit the data during early training stages while gradually letting the data availability grow over time. We identify when the student can learn offline and match teacher performance without relying on specialized offline RL algorithms. Furthermore, we show that collecting a small fraction of online data provides complementary benefits with the data curriculum. Supplementary material is available at https tinyurl.com teach dcur.


A Combinatorial Approach to Interleaving Distance between Merge Trees. In this work we approach the study of the interleaving distance between merge trees from a combinatorial point of view. We use a particular type of matching between trees to obtain an upper bound for such distance. We also tackle the problem of approximating optimal matchings between trees by solving linear integer optimization problems in a recursive and dynamical fashion. This is intended as a first step into a combinatorial understanding of the interleaving distance, which could lead to useful parametrizations of maps between merge trees and to a feasible approach to the exact computation of such distances.


OFEI A Semi black box Android Adversarial Sample Attack Framework Against DLaaS. With the growing popularity of Android devices, Android malware is seriously threatening the safety of users. Although such threats can be detected by deep learning as a service (DLaaS), deep neural networks as the weakest part of DLaaS are often deceived by the adversarial samples elaborated by attackers. In this paper, we propose a new semi black box attack framework called one feature each iteration (OFEI) to craft Android adversarial samples. This framework modifies as few features as possible and requires less classifier information to fool the classifier. We conduct a controlled experiment to evaluate our OFEI framework by comparing it with the benchmark methods JSMF, GenAttack and pointwise attack. The experimental results show that our OFEI has a higher misclassification rate of 98.25 . Furthermore, OFEI can extend the traditional white box attack methods in the image field, such as fast gradient sign method (FGSM) and DeepFool, to craft adversarial samples for Android. Finally, to enhance the security of DLaaS, we use two uncertainties of the Bayesian neural network to construct the combined uncertainty, which is used to detect adversarial samples and achieves a high detection rate of 99.28 .


Investigating the effects of exploration dynamics on stiffness perception. The utility of Human in the loop telerobotic systems (HiLTS) is driven in part by the quality of feedback it can provide to the operator. While the dynamic interaction between robot and environment can often be sensed or modeled, the dynamic coupling of the human robot interface is often overlooked. Enabling dexterous manipulation through HiLTS however, will require careful consideration of human haptic perception as it relates to the human's changing limb impedance at the human robot interface. In this manuscript, we present results from a stiffness perception task run on a simple 1 DoF rotational kinesthetic device at three different angular velocities, based on participant's natural exploration strategy. We evaluated performance effects of exploration velocity as a proxy measurement for limb impedance and the results indicate the need to further investigate how the human body incorporates its knowledge of the body dynamics in kinesthetic perception under active exploration.


Two Approaches to Building Collaborative, Task Oriented Dialog Agents through Self Play. Task oriented dialog systems are often trained on human human dialogs, such as collected from Wizard of Oz interfaces. However, human human corpora are frequently too small for supervised training to be effective. This paper investigates two approaches to training agent bots and user bots through self play, in which they autonomously explore an API environment, discovering communication strategies that enable them to solve the task. We give empirical results for both reinforcement learning and game theoretic equilibrium finding.


CELLS Cost Effective Evolution in Latent Space for Goal Directed Molecular Generation. Efficiently discovering molecules that meet various property requirements can significantly benefit the drug discovery industry. Since it is infeasible to search over the entire chemical space, recent works adopt generative models for goal directed molecular generation. They tend to utilize the iterative processes, optimizing the parameters of the molecular generative models at each iteration to produce promising molecules for further validation. Assessments are exploited to evaluate the generated molecules at each iteration, providing direction for model optimization. However, most previous works require a massive number of expensive and time consuming assessments, e.g., wet experiments and molecular dynamic simulations, leading to the lack of practicability. To reduce the assessments in the iterative process, we propose a cost effective evolution strategy in latent space, which optimizes the molecular latent representation vectors instead. We adopt a pre trained molecular generative model to map the latent and observation spaces, taking advantage of the large scale unlabeled molecules to learn chemical knowledge. To further reduce the number of expensive assessments, we introduce a pre screener as the proxy to the assessments. We conduct extensive experiments on multiple optimization tasks comparing the proposed framework to several advanced techniques, showing that the proposed framework achieves better performance with fewer assessments.


Competitive Information Design for Pandora's Box. We study a natural competitive information design variant for the Pandora's Box problem (Weitzman, 1979), where each box is associated with a strategic information sender who can design what information about the box's prize value to be revealed to the agent when she inspects the box. This variant with strategic boxes is motivated by a wide range of real world economic applications for Pandora's box. For example, to encourage buyers to purchase, sellers for goods such as TVs or houses may strategically conceal some information about their products in order to influence buyer's valuations of the products. The main contributions of this article are two fold (1) we study informational properties of Pandora's Box by analyzing how a box's partial information revelation affects the agent's optimal decisions and (2) we fully characterize the pure symmetric equilibrium for the boxes' competitive information revelation, and reveals various insights regarding information competition and the resultant agent utility at equilibrium.


Explicit non normal modal logic. Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations. To overcome this issue, we introduce novel justification logics as hyperintensional analogues to non normal modal logics. We establish soundness and completeness with respect to various models and we study the problem of realization.


Proactive Composition of Mobile IoT Energy Services. We propose a novel proactive composition framework of wireless energy services in a crowdsourced IoT environment. We define a new model for energy services and requests that includes providers' and consumers' mobility patterns and energy usage behavior. The proposed composition approach leverages the mobility and energy usage behavior to generate energy services and requests proactively. Preliminary experimental results demonstrate the effectiveness of generating proactive energy requests and composing proactive services.


Reddit Entity Linking Dataset. We introduce and make publicly available an entity linking dataset from Reddit that contains 17,316 linked entities, each annotated by three human annotators and then grouped into Gold, Silver, and Bronze to indicate inter annotator agreement. We analyze the different errors and disagreements made by annotators and suggest three types of corrections to the raw data. Finally, we tested existing entity linking models that are trained and tuned on text from non social media datasets. We find that, although these existing entity linking models perform very well on their original datasets, they perform poorly on this social media dataset. We also show that the majority of these errors can be attributed to poor performance on the mention detection subtask. These results indicate the need for better entity linking models that can be applied to the enormous amount of social media text.


Spectral asymptotics for a family of LCM matrices. We consider the family of arithmetical matrices given explicitly by E( sigma, tau) left frac n sigma m sigma n,m tau right n,m 1 infty, where n,m is the least common multiple of n and m and the real parameters sigma and tau satisfy rho tau 2 sigma 0 , tau sigma frac12 and tau 0 . We prove that E( sigma, tau) is a compact self adjoint positive definite operator on ell 2( mathbb N ) , and the ordered sequence of eigenvalues of E( sigma, tau) obeys the asymptotic relation lambda n(E( sigma, tau)) frac varkappa( sigma, tau) n rho o(n rho ), quad n to infty, with some varkappa( sigma, tau) 0 . We give an application of this fact to the asymptotics of singular values of truncated multiplicative Toeplitz matrices with the symbol given by the Riemann zeta function on the vertical line with abscissa sigma 1 2 . We also point out a connection of the spectral analysis of E( sigma, tau) to the theory of generalised prime systems.


Domain Adaptation by Topology Regularization. Deep learning has become the leading approach to assisted target recognition. While these methods typically require large amounts of labeled training data, domain adaptation (DA) or transfer learning (TL) enables these algorithms to transfer knowledge from a labelled (source) data set to an unlabelled but related (target) data set of interest. DA enables networks to overcome the distribution mismatch between the source and target that leads to poor generalization in the target domain. DA techniques align these distributions by minimizing a divergence measurement between source and target, making the transfer of knowledge from source to target possible. While these algorithms have advanced significantly in recent years, most do not explicitly leverage global data manifold structure in aligning the source and target. We propose to leverage global data structure by applying a topological data analysis (TDA) technique called persistent homology to TL. In this paper, we examine the use of persistent homology in a domain adversarial (DAd) convolutional neural network (CNN) architecture. The experiments show that aligning persistence alone is insufficient for transfer, but must be considered along with the lifetimes of the topological singularities. In addition, we found that longer lifetimes indicate robust discriminative features and more favorable structure in data. We found that existing divergence minimization based approaches to DA improve the topological structure, as indicated over a baseline without these regularization techniques. We hope these experiments highlight how topological structure can be leveraged to boost performance in TL tasks.


The conjugacy stability problem for parabolic subgroups in Artin groups. Given an Artin group A and a parabolic subgroup P , we study if every two elements of P that are conjugate in A , are also conjugate in P . We provide an algorithm to solve this decision problem if A satisfies three properties that are conjectured to be true for every Artin group. We partially solve the problem if A has FC type, and we totally solve it if A is isomorphic to a free product of spherical Artin groups. In particular, we show that in this latter case, every element of A is contained in a unique minimal (by inclusion) parabolic subgroup.


FedCon A Contrastive Framework for Federated Semi Supervised Learning. Federated Semi Supervised Learning (FedSSL) has gained rising attention from both academic and industrial researchers, due to its unique characteristics of co training machine learning models with isolated yet unlabeled data. Most existing FedSSL methods focus on the classical scenario, i.e, the labeled and unlabeled data are stored at the client side. However, in real world applications, client users may not provide labels without any incentive. Thus, the scenario of labels at the server side is more practical. Since unlabeled data and labeled data are decoupled, most existing FedSSL approaches may fail to deal with such a scenario. To overcome this problem, in this paper, we propose FedCon, which introduces a new learning paradigm, i.e., contractive learning, to FedSSL. Experimental results on three datasets show that FedCon achieves the best performance with the contractive framework compared with state of the art baselines under both IID and Non IID settings. Besides, ablation studies demonstrate the characteristics of the proposed FedCon framework.


Resolving resonance effects in the theory of single particle photothermal imaging. Photothermal spectroscopy and microscopy provides a route to measure the spectral and spatial properties of individual nanoscopic absorbers, independent from scattering, extinction, and emission. The approach relies upon use of two light sources, one that resonantly excites and heats the target and its surrounding environment and a second off resonant probe that scatters from the resulting volume of thermally modified refractive index. Over the past twenty years, considerable effort has been extended to apply photothermal methods to detect, spatially resolve, and perform absorption spectroscopy on single non emissive molecules and other absorbers like plasmonic nanoparticles at room temperature conditions. Companion theoretical models have been developed to interpret these experimental advances, yet it is not clear how they are related to each other nor how the effects of lock in detection modify the theory. For larger target systems that host their own intrinsic scattering resonances as well as for background media that do not instantaneously thermalize with the absorbing target, additional dependencies arise that are yet to be explored theoretically. The aim of this Perspective is to overview the theory of photothermal spectroscopy and microscopy and present a unifying theoretical approach that recovers past models in certain limits while explicitly including the effects of target scattering resonances, thermal and optical retardation, and lock in detection. Focus is made on plasmonic particles to interpret the photothermal signal, yet all results are applicable equally to individual molecules or nanoparticle absorbers. Consequently, we expect this review to provide a useful foundation for the understanding of photothermal measurements independent of target identity.


Computations with rational maps between multi projective varieties. We shortly describe the algorithms behind some of the functions provided by the Macaulay2 package MultiprojectiveVarieties, a package for multi projective varieties and rational maps between them.


Improving Location Recommendation with Urban Knowledge Graph. Location recommendation is defined as to recommend locations (POIs) to users in location based services. The existing data driving approaches of location recommendation suffer from the limitation of the implicit modeling of the geographical factor, which may lead to sub optimal recommendation results. In this work, we address this problem by introducing knowledge driven solutions. Specifically, we first construct the Urban Knowledge Graph (UrbanKG) with geographical information and functional information of POIs. On the other side, there exist a fact that the geographical factor not only characterizes POIs but also affects user POI interactions. To address it, we propose a novel method named UKGC. We first conduct information propagation on two sub graphs to learn the representations of POIs and users. We then fuse two parts of representations by counterfactual learning for the final prediction. Extensive experiments on two real world datasets verify that our method can outperform the state of the art methods.


Microresonator frequency reference for terahertz precision sensing and metrology. Highly sensitive terahertz (THz) sensors for a myriad of applications are rapidly evolving. A widespread sensor concept is based on the detection of minute resonance frequency shifts due to a targeted specimen in the sensors environment. Therefore, cutting edge high resolution continuous wave (CW) THz spectrometers provide very powerful tools to investigate the sensors' performances. However, unpredictable yet non negligible frequency drifts common to state of the art CW THz spectrometers limit the sensors' accuracy for ultra high precision sensing and metrology. Here, we overcome this deficiency by introducing an ultra high quality (Q) THz microresonator frequency reference. Measuring the sensor's frequency shift relative to a well defined frequency reference eliminates the unwanted frequency drift, and fully exploits the capabilities of modern CW THz spectrometers as well as THz sensors. In a proof of concept experiment, we demonstrate the accurate and repeated detection of minute resonance frequency shifts of less than 5MHz at 0.6THz of a THz microresonator sensor.


Demazure operators via shifted q 0 affine algebras. In this article, we construct two families of idempotent operators projection functors acting on the K theory derived category of coherent sheaves on n step partial flag varieties. Those operators can be viewed as a generalization of the Demazure operators for the full flag variety, and the two families of idempotent operators generate respectively two algebras that are similar to the q 0 Hecke algebra. The main idea comes from the interpretation of the Demazure operators in terms of elements in the shifted q 0 affine algebra. As a main result, we show that a categorical action of the shifted q 0 affine algebra naturally induces actions of two variants of the q 0 Hecke algebra on each weight category. Finally, we calculate the action of those operators on the basis given by the Kapranov exceptional collection.


DeFiRanger Detecting Price Manipulation Attacks on DeFi Applications. The rapid growth of Decentralized Finance (DeFi) boosts the Ethereum ecosystem. At the same time, attacks towards DeFi applications (apps) are increasing. However, to the best of our knowledge, existing smart contract vulnerability detection tools cannot be directly used to detect DeFi attacks. That's because they lack the capability to recover and understand high level DeFi semantics, e.g., a user trades a token pair X and Y in a Decentralized EXchange (DEX). In this work, we focus on the detection of two types of new attacks on DeFi apps, including direct and indirect price manipulation attacks. The former one means that an attacker directly manipulates the token price in DEX by performing an unwanted trade in the same DEX by attacking the vulnerable DeFi app. The latter one means that an attacker indirectly manipulates the token price of the vulnerable DeFi app (e.g., a lending app). To this end, we propose a platform independent way to recover high level DeFi semantics by first constructing the cash flow tree from raw Ethereum transactions and then lifting the low level semantics to high level ones, including token trade, liquidity mining, and liquidity cancel. Finally, we detect price manipulation attacks using the patterns expressed with the recovered DeFi semantics. We have implemented a prototype named tool and applied it to more than 350 million transactions. It successfully detected 432 real world attacks in the wild. We confirm that they belong to four known security incidents and five zero day ones. We reported our findings. Two CVEs have been assigned. We further performed an attack analysis to reveal the root cause of the vulnerability, the attack footprint, and the impact of the attack. Our work urges the need to secure the DeFi ecosystem.


Attention based Sequence to Sequence Learning for Machine Translation of Low Resourced Indic Languages A case of Sanskrit to Hindi. Deep Learning techniques are powerful in mimicking humans in a particular set of problems. They have achieved a remarkable performance in complex learning tasks. Deep learning inspired Neural Machine Translation (NMT) is a proficient technique that outperforms traditional machine translation. Performing machine aided translation on Indic languages has always been a challenging task considering their rich and diverse grammar. The neural machine translation has shown quality results compared to the traditional machine translation approaches. The fully automatic machine translation becomes problematic when it comes to low resourced languages, especially with Sanskrit. This paper presents attention mechanism based neural machine translation by selectively focusing on a particular part of language sentences during translation. The work shows the construction of Sanskrit to Hindi bilingual parallel corpus with nearly 10K samples and having 178,000 tokens. The neural translation model equipped with an attention mechanism has been trained on Sanskrit to Hindi parallel corpus. The approach has shown the significance of attention mechanisms to overcome long term dependencies, primarily associated with low resources Indic languages. The paper shows the attention plots on testing data to demonstrate the alignment between source and translated words. For the evaluation of the translated sentences, manual score based human evaluation and automatic evaluation metric based techniques have been adopted. The attention mechanism based neural translation has achieved 88 accuracy in human evaluation and a BLEU score of 0.92 on Sanskrit to Hindi translation.