On the implementation of flux limiters in algebraic frameworks. The use of flux limiters is widespread within the scientific computing community to capture shock discontinuities and are of paramount importance for the temporal integration of high speed aerodynamics, multiphase flows, and hyperbolic equations in general. Meanwhile, the breakthrough of new computing architectures and the hybridization of supercomputer systems pose a huge portability challenge, particularly for legacy codes, since the computing subroutines that form the algorithms, the so called kernels, must be adapted to various complex parallel programming paradigms. From this perspective, the development of innovative implementations relying on a minimalist set of kernels simplifies the deployment of scientific computing software on state of the art supercomputers, while it requires the reformulation of algorithms, such as the aforementioned flux limiters. Equipped with basic algebraic topology and graph theory underlying the classical mesh concept, a new flux limiter formulation is presented based on the adoption of algebraic data structures and kernels. As a result, traditional flux limiters are cast into a stream of only two types of computing kernels sparse matrix vector multiplication and generalized pointwise binary operators. The newly proposed formulation eases the deployment of such a numerical technique in massively parallel, potentially hybrid, computing systems and is demonstrated for a canonical advection problem.


Computation of the index of some meromorphic functions of degree 3 on tori. The index of a meromorphic function g on a compact Riemann surface is an invariant of g , which is defined as the number of negative eigenvalues of the differential operator L Delta dG 2 , where Delta is the Laplacian with respect to a conformal metric ds 2 on the Riemann surface, G colon M to S 2 is the holomorphic map corresponding to g . We consider the meromorphic function w on the Riemann surface M a (z,w) in widehat mathbb C 2 mid w 2 z(z a)(z frac 1 a ) (a geqslant 1 ) homeomorphic to a torus, and we determine the index of tw for all a in the range 1 leqslant a leqslant a 0 (where a 0 can be numerically evaluated) and all t 0 .


Virtual Landmark Based Control of Docking Support for Assistive Mobility Devices. This work proposes an autonomous docking control for nonholonomic constrained mobile robots and applies it to an intelligent mobility device or wheelchair for assisting the user in approaching resting furniture such as a chair or a bed. We defined a virtual landmark inferred from the target docking destination. Then, we solve the problem of keeping the targeted volume inside the field of view (FOV) of a tracking camera and docking to the virtual landmark through a novel definition that enables to control for the desired end pose. In this article, we proposed a nonlinear feedback controller to perform the docking with the depth camera's FOV as a constraint. Then, a numerical method is proposed to find the feasible space of initial states where convergence could be guaranteed. Finally, the entire system was embedded for real time operation on a standing wheelchair with the virtual landmark estimation by 3D object tracking with an RGB D camera and we validated the effectiveness in simulation and experimental evaluations. The results show the guaranteed convergence for the feasible space depending on the virtual landmark location. In the implementation, the robot converges to the virtual landmark while respecting the FOV constraints.


Shadows are Bicategorical Traces. The theory of shadows is an axiomatic, bicategorical framework that generalizes topological Hochschild homology (THH) and satisfies analogous important properties, such as Morita invariance. Using Berman's extension of THH to bicategories, we prove that there is an equivalence between functors out of THH of a bicategory and shadows on that bicategory. As an application we provide a new, conceptual proof that shadows are Morita invariant.


Towards Krohn Rhodes complexity. When decomposing a finite semigroup into a wreath product of groups and aperiodic semigroups, complexity measures the minimal number of groups that are needed. Determining an algorithm to compute complexity has been an open problem for almost 60 years. In this paper we build the ground work to tackle the problem of computing complexity.


Willis coupling induced acoustic radiation force and torque reversal. Acoustic meta atoms serve as the building blocks of metamaterials, with linear properties designed to achieve functions such as beam steering, cloaking and focusing. They have also been used to shape the characteristics of incident acoustic fields, which led to the manipulation of acoustic radiation force and torque for development of acoustic tweezers with improved spatial resolution. However, acoustic radiation force and torque also depend on the shape of the object, which strongly affects its scattering properties. We show that by designing linear properties of an object using metamaterial concepts, the nonlinear acoustic effects of radiation force and torque can be controlled. Trapped objects are typically small compared to the wavelength, and are described as particles, inducing monopole and dipole scattering. We extend such models to a polarizability tensor including Willis coupling terms, as a measure of asymmetry, capturing the significance of geometrical features. We apply our model to a three dimensional, sub wavelength meta atom with maximal Willis coupling, demonstrating that the force and the torque can be reversed relative to an equivalent symmetrical particle. By considering shape asymmetry in the acoustic radiation force and torque, Gorkov's fundamental theory of acoustophoresis is thereby extended. Asymmetrical shapes influence the acoustic fields by shifting the stable trapping location, highlighting a potential for tunable, shape dependent particle sorting.


Learning Augmented Dynamic Power Management with Multiple States via New Ski Rental Bounds. We study the online problem of minimizing power consumption in systems with multiple power saving states. During idle periods of unknown lengths, an algorithm has to choose between power saving states of different energy consumption and wake up costs. We develop a learning augmented online algorithm that makes decisions based on (potentially inaccurate) predicted lengths of the idle periods. The algorithm's performance is near optimal when predictions are accurate and degrades gracefully with increasing prediction error, with a worst case guarantee almost identical to the optimal classical online algorithm for the problem. A key ingredient in our approach is a new algorithm for the online ski rental problem in the learning augmented setting with tight dependence on the prediction error. We support our theoretical findings with experiments.


Strategies for the Iterated Prisoner's Dilemma. We explore some strategies which tend to perform well in the IPD. We start off by showing the significance of Tit For Tat strategies in evolutionary game theory. This is followed by a theoretical derivation of zero determinant strategies, where we highlight an error on bounds for scale parameters from the original paper on ZD strategies 6 . We then present examples of such strategies and create a custom player drawing inspiration from Markov Decision Processes. At the end we pit them all against each other and see how they perform in an IPD tournament.


A Novel p Harmonic Descent Approach Applied to Fluid Dynamic Shape Optimization. We introduce a novel method for the implementation of shape optimziation in fluid dynamics applications, where we propose to use the shape derivative to determine deformation fields with the help of the p Laplacian for p 2 . This approach is closely related to the computation of steepest descent directions of the shape functional in the W 1, infty topology. Our approach is demonstrated for shape optimization related to drag minimal free floating bodies. The method is validated against existing approaches with respect to convergence of the optimization algorithm, the obtained shape, and regarding the quality of the computational grid after large deformations. Our numerical results strongly indicate that shape optimization related to the W 1, infty topology though numerically more demanding seems to be superior over the classical approaches invoking Hilbert space methods, concerning the convergence, the obtained shapes and the mesh quality after large deformations, in particular when the optimal shape features sharp corners.


Heat transfer increase by convection in liquid infused surfaces for laminar and turbulent flows. Liquid infused surfaces (LIS) can reduce friction drag in both laminar and turbulent flows. However, the heat transfer properties of such multi phase surfaces have still not been investigated to a large extent. We use numerical simulations to study conjugate heat transfer of liquid filled grooves. It is shown that heat transfer can increase for both laminar and turbulent liquid flows due to recirculation in the surface texture. For the increase to be substantial, the thermal conductivity of the solid must be similar to the thermal conductivity of the fluids, and the recirculation in the grooves must be sufficiently strong (P 'eclet number larger than 1). The ratio of the surface cavity to the system height is an upper limit of the direct contribution from the recirculation. While this ratio can be significant for laminar flows in microchannels, it is limited for turbulent flows, where the system scale (e.g. channel height) usually is much larger than the texture height. However, heat transfer enhancement on the order of 10 is observed (with a net drag reduction) in a turbulent channel flow at a friction Reynolds number Re tau approx 180 . It is shown that the turbulent convection in the bulk can be enhanced indirectly from the recirculation in the grooves.


Computable analysis on the space of marked groups. We investigate decision problems for groups described by word problem algorithms. We show that this corresponds to the study of computable analysis on the space of marked groups, and point out several results of computable analysis that can be directly applied to obtain group theoretical results. However, we prove that the space of marked groups is a Polish space that is not effectively Polish, because of this, many of the most important results of computable analysis cannot be applied to the space of marked groups. This includes the Kreisel Lacombe Schoenfield Ceitin Theorem and different theorems of Moschovakis. The space of marked groups will thus be an interesting object of study from the point of view of computable analysis alone, providing a natural space on which to test results that could apply to spaces that are not effectively Polish.


Collection of Propagating Electromagnetic Fields by Uncoated Probe. Understanding light matter interaction at the nanoscale by observation of fine details of electromagnetic fields is achieved by bringing nanoscale probes into the nearfield of light sources, capturing information that is lost in the far field. Although metal coated probes are often used for nearfield microscopy, they strongly perturb the electromagnetic fields under study. Here, through experiment and simulation, we detail light collection by uncoated fiber probes, which minimize such perturbation. Second harmonic light from intensely irradiated sub wavelength sub surface features was imaged to avoid otherwise dominating fundamental light background, yielding clear nearfield details through a 50 nm aperture uncoated probe with 23 nm optical resolution. Simulations shows how a metallic coating distorts optical nearfields and limits optical coupling into the probe in comparison to an uncoated probe.


Hierarchically constrained blackbox optimization. In blackbox optimization, evaluation of the objective and constraint functions is time consuming. In some situations, constraint values may be evaluated independently or sequentially. The present work proposes and compares two strategies to define a hierarchical ordering of the constraints and to interrupt the evaluation process at a trial point when it is detected that it will not improve the current best solution. Numerical experiments are performed on a closed form test problem.


Eigenspace Decomposition of Mixed Hodge Structures on Alexander Modules. In previous work jointly with Geske, Maxim and Wang, we constructed a mixed Hodge structure (MHS) on the torsion part of Alexander modules, which generalizes the MHS on the cohomology of the Milnor fiber for weighted homogeneous polynomials. The cohomology of a Milnor fiber carries a monodromy action, whose semisimple part is an isomorphism of MHS. The natural question of whether this result still holds for Alexander modules was then posed. In this paper, we give a positive answer to that question, which implies that the direct sum decomposition of the torsion part of Alexander modules into generalized eigenspaces is in fact a decomposition of MHS. We also show that the MHS on the generalized eigenspace of eigenvalue 1 can be constructed without passing to a suitable finite cover (as is the case for the MHS on the torsion part of the Alexander modules), and compute it under some purity assumptions on the base space.


Label, Verify, Correct A Simple Few Shot Object Detection Method. The objective of this paper is few shot object detection (FSOD) the task of expanding an object detector for a new category given only a few instances for training. We introduce a simple pseudo labelling method to source high quality pseudo annotations from the training set, for each new category, vastly increasing the number of training instances and reducing class imbalance our method finds previously unlabelled instances. Na "ively training with model predictions yields sub optimal performance we present two novel methods to improve the precision of the pseudo labelling process first, we introduce a verification technique to remove candidate detections with incorrect class labels second, we train a specialised model to correct poor quality bounding boxes. After these two novel steps, we obtain a large set of high quality pseudo annotations that allow our final detector to be trained end to end. Additionally, we demonstrate our method maintains base class performance, and the utility of simple augmentations in FSOD. While benchmarking on PASCAL VOC and MS COCO, our method achieves state of the art or second best performance compared to existing approaches across all number of shots.


Nielsen Borsuk Ulam number for maps between tori. We compute the Nielsen Borsuk Ulam number for any selfmap of n torus, mathbb T n , as well as any free involution tau in mathbb T n , with n leqslant 3 . Finally, we conclude that the tori, mathbb T 1 , mathbb T 2 and mathbb T 3 , are Wecken spaces in Nielsen Borsuk Ulam theory. Such a number is a lower bound for the minimal number of pair of points such that f(x) f( tau(x)) in a given homotopy class of maps.


Shortening the runtime using larger time steps for the simulation of marine ecosystem models. The reduction of computational costs for marine ecosystem models is important for the investigation and detection of the relevant biogeochemical processes because such models are computationally expensive. In order to lower these computational costs by means of larger time steps we investigated the accuracy of steady annual cycles (i.e., an annual periodic solution) calculated with different time steps. We compared the accuracy for a hierarchy of biogeochemical models showing an increasing complexity and computed the steady annual cycles with offline simulations that are based on the transport matrix approach. For each of these biogeochemical models, we obtained practically the same solution even though larger time steps. This indicates that larger time steps shortened the runtime with an acceptable loss of accuracy.


Structure aware generation of drug like molecules. Structure based drug design involves finding ligand molecules that exhibit structural and chemical complementarity to protein pockets. Deep generative methods have shown promise in proposing novel molecules from scratch (de novo design), avoiding exhaustive virtual screening of chemical space. Most generative de novo models fail to incorporate detailed ligand protein interactions and 3D pocket structures. We propose a novel supervised model that generates molecular graphs jointly with 3D pose in a discretised molecular space. Molecules are built atom by atom inside pockets, guided by structural information from crystallographic data. We evaluate our model using a docking benchmark and find that guided generation improves predicted binding affinities by 8 and drug likeness scores by 10 over the baseline. Furthermore, our model proposes molecules with binding scores exceeding some known ligands, which could be useful in future wet lab studies.


Predicting student performance using data from an auto grading system. As online auto grading systems appear, information obtained from those systems can potentially enable researchers to create predictive models to predict student behaviour and performances. In the University of Waterloo, the ECE 150 (Fundamentals of Programming) Instructional Team wants to get an insight into how to allocate the limited teaching resources better to achieve improved educational outcomes. Currently, the Instructional Team allocates tutoring time in a reactive basis. They help students "as requested". This approach serves those students with the wherewithal to request help however, many of the students who are struggling do not reach out for assistance. Therefore, we, as the Research Team, want to explore if we can determine students which need help by looking into the data from our auto grading system, Marmoset. In this paper, we conducted experiments building decision tree and linear regression models with various features extracted from the Marmoset auto grading system, including passing rate, testcase outcomes, number of submissions and submission time intervals (the time interval between the student's first reasonable submission and the deadline). For each feature, we interpreted the result at the confusion matrix level. Specifically for poor performance students, we show that the linear regression model using submission time intervals performs the best among all models in terms of Precision and F Measure. We also show that for students who are misclassified into poor performance students, they have the lowest actual grades in the linear regression model among all models. In addition, we show that for the midterm, the submission time interval of the last assignment before the midterm predicts the midterm performance the most. However, for the final exam, the midterm performance contributes the most on the final exam performance.


Plasma Waves Accessibility Diagrams A Tutorial to Include the Fluid and Kinetic Thermal Effects. Although the accurate description of the wave propagation and absorption in plasmas requires complicated full wave solutions or kinetic simulations, the local dispersion analysis can still be helpful to capture the main physics of wave properties. Plasma wave accessibility informs that whether a wave can propagate to a region, which usually depends on the wave frequency, wave vector, and the local plasma density and magnetic field. In this tutorial paper, we describe the wave accessibility beyond usual textbooks and especially highlight the warm plasma effects. Useful numerical models and methods are provided, which can be used to obtain a quick view of the wave accessibility parameters space. The thermal effects are modeled by both multi fluid model with isotropic pressure term and kinetic model with Maxwellian velocity distribution function. All cold plasma waves from high frequency electron cyclotron waves, intermediate frequency low hybrid waves to low frequency ion cyclotron waves, as well as kinetic ion and electron Bernstein waves, are presented. The questions that how many plasma wave modes exist and how to find the solutions are also discussed. It is interesting to find that the warm multi fluid model, though incapable of reproducing the Bernstein modes, can provide a quick way to determine whether the thermal effects are important. To show the kinetic thermal effects, the ray tracing calculations of the mode conversion from cold plasma waves to kinetic waves are also provided, i.e., from the slow X electron cyclotron wave to electron Bernstein wave and from the ion cyclotron fast wave to ion Bernstein wave.


Long range additive and nonadditive potentials in a hybrid system Ground state atom, excited state atom, and ion. We report a theoretical study on the long range additive and nonadditive potentials for a three body hybrid atom atom ion system composed of one ground S state Li atom, one excited P state Li atom and one ground S state Li ion, Li( 2 , 2 S ) Li( 2 , 2 P ) Li (1 , 1 S ). The interaction coefficients are evaluated with highly accurate wave functions calculated variationally in Hylleraas coordinates. For this hybrid system the three body nonadditive collective interactions (appearing in second order) induced by the energy degeneracy and enhanced by the induction effect of the Li ion through the internal electric field can be strong and even stronger than the two body additive interactions at the same order. We find that for particular geometries the two body additive interactions of the system sum to zero leaving only three body nonadditive collective interactions making the present system potentially a platform to explore quantum three body collective effects. We also extract first principles leading coefficients of the long range electrostatic, induction, and dispersion energies of Li 2 electronic states correlating to Li( 2 , 2 P ) Li (1 , 1 S ), which until now were not available in the literature. The results should be especially valuable for the exploration of schemes to create trimers with ultracold atoms and ions in optical lattices.


EditGAN High Precision Semantic Image Editing. Generative adversarial networks (GANs) have recently found applications in image editing. However, most GAN based image editing methods often require large scale datasets with semantic segmentation annotations for training, only provide high level control, or merely interpolate between different images. Here, we propose EditGAN, a novel method for high quality, high precision semantic image editing, allowing users to edit images by modifying their highly detailed part segmentation masks, e.g., drawing a new mask for the headlight of a car. EditGAN builds on a GAN framework that jointly models images and their semantic segmentations, requiring only a handful of labeled examples, making it a scalable tool for editing. Specifically, we embed an image into the GAN latent space and perform conditional latent code optimization according to the segmentation edit, which effectively also modifies the image. To amortize optimization, we find editing vectors in latent space that realize the edits. The framework allows us to learn an arbitrary number of editing vectors, which can then be directly applied on other images at interactive rates. We experimentally show that EditGAN can manipulate images with an unprecedented level of detail and freedom, while preserving full image quality.We can also easily combine multiple edits and perform plausible edits beyond EditGAN training data. We demonstrate EditGAN on a wide variety of image types and quantitatively outperform several previous editing methods on standard editing benchmark tasks.


Existence and nonexistence of traveling waves for the Gross Pitaevskii equation in tori. In this paper we consider traveling waves for the Gross Pitaevskii equation which are T periodic in each variable. We prove that if T is large enough, there exists a solution as a global minimizer of the corresponding action functional. In the subsonic case, we can use variational methods to prove the existence of a mountain pass solution. Moreover, we show that for small T the problem admits only constant solutions.


Formal Verification of a Distributed Dynamic Reconfiguration Protocol. We present a formal, machine checked TLA safety proof of MongoRaftReconfig, a distributed dynamic reconfiguration protocol. MongoRaftReconfig was designed for and implemented in MongoDB, a distributed database whose replication protocol is derived from the Raft consensus algorithm. We present an inductive invariant for MongoRaftReconfig that is formalized in TLA and formally proved using the TLA proof system (TLAPS). We also present a formal TLAPS proof of two key safety properties of MongoRaftReconfig, LeaderCompleteness and StateMachineSafety. To our knowledge, these are the first machine checked inductive invariant and safety proof of a dynamic reconfiguration protocol for a Raft based replication system.


NeRD Neural 3D Reflection Symmetry Detector. Recent advances have shown that symmetry, a structural prior that most objects exhibit, can support a variety of single view 3D understanding tasks. However, detecting 3D symmetry from an image remains a challenging task. Previous works either assume that the symmetry is given or detect the symmetry with a heuristic based method. In this paper, we present NeRD, a Neural 3D Reflection Symmetry Detector, which combines the strength of learning based recognition and geometry based reconstruction to accurately recover the normal direction of objects' mirror planes. Specifically, we first enumerate the symmetry planes with a coarse to fine strategy and then find the best ones by building 3D cost volumes to examine the intra image pixel correspondence from the symmetry. Our experiments show that the symmetry planes detected with our method are significantly more accurate than the planes from direct CNN regression on both synthetic and real world datasets. We also demonstrate that the detected symmetry can be used to improve the performance of downstream tasks such as pose estimation and depth map regression. The code of this paper has been made public at https github.com zhou13 nerd.


Data Efficient GAN Training Beyond (Just) Augmentations A Lottery Ticket Perspective. Training generative adversarial networks (GANs) with limited real image data generally results in deteriorated performance and collapsed models. To conquer this challenge, we are inspired by the latest observation, that one can discover independently trainable and highly sparse subnetworks (a.k.a., lottery tickets) from GANs. Treating this as an inductive prior, we suggest a brand new angle towards data efficient GAN training by first identifying the lottery ticket from the original GAN using the small training set of real images and then focusing on training that sparse subnetwork by re using the same set. We find our coordinated framework to offer orthogonal gains to existing real image data augmentation methods, and we additionally present a new feature level augmentation that can be applied together with them. Comprehensive experiments endorse the effectiveness of our proposed framework, across various GAN architectures (SNGAN, BigGAN, and StyleGAN V2) and diverse datasets (CIFAR 10, CIFAR 100, Tiny ImageNet, ImageNet, and multiple few shot generation datasets). Codes are available at https github.com VITA Group Ultra Data Efficient GAN Training.


Max Utility Based Arm Selection Strategy For Sequential Query Recommendations. We consider the query recommendation problem in closed loop interactive learning settings like online information gathering and exploratory analytics. The problem can be naturally modelled using the Multi Armed Bandits (MAB) framework with countably many arms. The standard MAB algorithms for countably many arms begin with selecting a random set of candidate arms and then applying standard MAB algorithms, e.g., UCB, on this candidate set downstream. We show that such a selection strategy often results in higher cumulative regret and to this end, we propose a selection strategy based on the maximum utility of the arms. We show that in tasks like online information gathering, where sequential query recommendations are employed, the sequences of queries are correlated and the number of potentially optimal queries can be reduced to a manageable size by selecting queries with maximum utility with respect to the currently executing query. Our experimental results using a recent real online literature discovery service log file demonstrate that the proposed arm selection strategy improves the cumulative regret substantially with respect to the state of the art baseline algorithms. and commonly used random selection strategy for a variety of contextual multi armed bandit algorithms. Our data model and source code are available at url https anonymous.4open.science r 0e5ad6b7 ac02 4577 9212 c9d505d3dbdb .


Analog FM free space optical communication based on a mid infrared quantum cascade laser frequency comb. Quantum cascade laser frequency combs are nowadays well appreciated sources for infrared spectroscopy. Here their applicability for free space optical communication is demonstrated. The spontaneously generated intermodal beat note of the frequency comb is used as carrier for transferring the analog signal via frequency modulation. Exploiting the atmospheric transparency window at 4 mu m, an optical communication with a signal to noise ratio up to 65 dB is realized, with a modulation bandwidth of 300 kHz. The system tolerates a maximum optical attenuation exceeding 35 dB. The possibility of parallel transmission of an independent digital signal via amplitude modulation at 5 MS s is also demonstrated.


Estimating Koopman operators for nonlinear dynamical systems a nonparametric approach. The Koopman operator is a mathematical tool that allows for a linear description of non linear systems, but working in infinite dimensional spaces. Dynamic Mode Decomposition and Extended Dynamic Mode Decomposition are amongst the most popular finite dimensional approximation. In this paper we capture their core essence as a dual version of the same framework, incorporating them into the Kernel framework. To do so, we leverage the RKHS as a suitable space for learning the Koopman dynamics, thanks to its intrinsic finite dimensional nature, shaped by data. We finally establish a strong link between kernel methods and Koopman operators, leading to the estimation of the latter through Kernel functions. We provide also simulations for comparison with standard procedures.


Long time dynamics of stochastic differential equations. These lecture notes have been prepared for a series of lectures given at the Summer School "From kinetic equations to statistical mechanics", (see https www.lebesgue.fr content sem2021 equat cynet ) organised by the Henri Lebesgue Center in Saint Jean de Monts, from June 28th to July 2nd 2021.


VerSaChI Finding Statistically Significant Subgraph Matches using Chebyshev's Inequality. Approximate subgraph matching, which is an important primitive for many applications like question answering, community detection, and motif discovery, often involves large labeled graphs such as knowledge graphs, social networks, and protein sequences. Effective methods for extracting matching subgraphs, in terms of label and structural similarities to a query, should depict accuracy, computational efficiency, and robustness to noise. In this paper, we propose VerSaChI for finding the top k most similar subgraphs based on 2 hop label and structural overlap similarity with the query. The similarity is characterized using Chebyshev's inequality to compute the chi square statistical significance for measuring the degree of matching of the subgraphs. Experiments on real life graph datasets showcase significant improvements in terms of accuracy compared to state of the art methods, as well as robustness to noise.


Long time asymptotic behavior of the nonlocal nonlinear Schr "odinger equation with initial potential in weighted sobolev space. In this paper, we are going to investigate Cauchy problem for nonlocal nonlinear Schr "odinger equation with the initial potential q 0(x) in weighted sobolev space H 1,1 ( mathbb R ) , begin align iq t(x,t) q xx (x,t) 2 sigma q 2(x,t) bar q( x,t) 0, quad sigma pm1, q(x,0) q 0(x). end align We show that the solution can be represented by the solution of a Riemann Hilbert problem (RH problem), and assuming no discrete spectrum, we majorly apply bar partial steepest cescent descent method on analyzing the long time asymptotic behavior of it.


DG Labeler and DGL MOTS Dataset Boost the Autonomous Driving Perception. Multi object tracking and segmentation (MOTS) is a critical task for autonomous driving applications. The existing MOTS studies face two critical challenges 1) the published datasets inadequately capture the real world complexity for network training to address various driving settings 2) the working pipeline annotation tool is under studied in the literature to improve the quality of MOTS learning examples. In this work, we introduce the DG Labeler and DGL MOTS dataset to facilitate the training data annotation for the MOTS task and accordingly improve network training accuracy and efficiency. DG Labeler uses the novel Depth Granularity Module to depict the instance spatial relations and produce fine grained instance masks. Annotated by DG Labeler, our DGL MOTS dataset exceeds the prior effort (i.e., KITTI MOTS and BDD100K) in data diversity, annotation quality, and temporal representations. Results on extensive cross dataset evaluations indicate significant performance improvements for several state of the art methods trained on our DGL MOTS dataset. We believe our DGL MOTS Dataset and DG Labeler hold the valuable potential to boost the visual perception of future transportation.


Unsupervised Translation of German Lower Sorbian Exploring Training and Novel Transfer Methods on a Low Resource Language. This paper describes the methods behind the systems submitted by the University of Groningen for the WMT 2021 Unsupervised Machine Translation task for German Lower Sorbian (DE DSB) a high resource language to a low resource one. Our system uses a transformer encoder decoder architecture in which we make three changes to the standard training procedure. First, our training focuses on two languages at a time, contrasting with a wealth of research on multilingual systems. Second, we introduce a novel method for initializing the vocabulary of an unseen language, achieving improvements of 3.2 BLEU for DE rightarrow DSB and 4.0 BLEU for DSB rightarrow DE. Lastly, we experiment with the order in which offline and online back translation are used to train an unsupervised system, finding that using online back translation first works better for DE rightarrow DSB by 2.76 BLEU. Our submissions ranked first (tied with another team) for DSB rightarrow DE and third for DE rightarrow DSB.


The footprint of a metrics based research evaluation system on Spanish philosophical scholarship an analysis of researchers perceptions. The use of bibliometric indicators in research evaluation has a series of complex impacts on academic inquiry. These systems have gradually spread into a wide range of locations and disciplines, including the humanities. The aim of the present study is to examine their effects as perceived by philosophy researchers in Spain, a country where bibliometric indicators have long been used to evaluate research. The study combines data from a self administered questionnaire completed by 201 researchers and from 14 in depth interviews with researchers selected according to their affiliation, professional category, gender and area of knowledge. Results show that the evaluation system is widely perceived to affect research behaviour in significant ways, particularly related to publication practices (document type and publication language), the transformation of research agendas and the neglect of teaching work, as well as increasing research misconduct and negatively affecting mental health. Although to a lesser extent, other consequences included increased research productivity and enhanced transparency and impartiality in academic selection processes.


Biometric Verification Secure Against Malicious Adversaries. Biometric verification has been widely deployed in current authentication solutions as it proves the physical presence of individuals. To protect the sensitive biometric data in such systems, several solutions have been developed that provide security against honest but curious (semi honest) attackers. However, in practice attackers typically do not act honestly and multiple studies have shown drastic biometric information leakage in such honest but curious solutions when considering dishonest, malicious attackers. In this paper, we propose a provably secure biometric verification protocol to withstand malicious attackers and prevent biometric data from any sort of leakage. The proposed protocol is based on a homomorphically encrypted log likelihood ratio based (HELR) classifier that supports any biometric modality (e.g. face, fingerprint, dynamic signature, etc.) encoded as a fixed length real valued feature vector and performs an accurate and fast biometric recognition. Our protocol, that is secure against malicious adversaries, is designed from a protocol secure against semi honest adversaries enhanced by zero knowledge proofs. We evaluate both protocols for various security levels and record a sub second speed (between 0.37 s and 0.88 s) for the protocol against semi honest adversaries and between 0.95 s and 2.50 s for the protocol secure against malicious adversaries.


Secure Short Packet Communications at the Physical Layer for 5G and Beyond. Short packet communication is a key technology to support two emerging application scenarios in 5G and beyond 5G, massive machine type communication (mMTC) and ultra reliable low latency communication (uRLLC), which are introduced to satisfy the broader communication requirements of potential applications such as the internet of vehicles and industrial internet of things (IoT). The sharp increase in privacy data in various IoT applications has made security issues more prominent. The typical upper layer encryption mechanism could not fully address the security challenge considering the resource restriction of IoT terminals. In this article, we investigate secure short packet communication from the perspective of physical layer security (PLS), which can be regarded as a promising security solution in 6G. Specifically, the state of the art development of fundamental information theory of secure short packet communications and corresponding performance evaluation criterion in fading channels are summarized. Then we review recent works, which investigate short packet communication systems (CSs) in different communication scenarios or with different security strategies from the perspective of PLS. Finally, we give future research directions and challenges.


On outbreak of 3rd wave of Covid 19 pandemic in India and Russia. A novel and slightly shocking results of semi analytic modelling for the outbreak of 3rd wave of Covid 19 pandemic in a key affected countries with low level of vaccination (India and Russia) are presented in the current analytical research. A proper extrapolation is made by means of previously suggested approach, such the extrapolated estimation for outbreak of 3rd wave of Covid 19 pandemic stems from updating the curve of modified sigmoid type with up inclination for the upper limit of saturation (at the end of 2nd wave of pandemic) with respect to the real data of the confirmed cases of coronavirus contamination in key countries with low level of vaccination such as India and Russia, up to date. Positive news are that key countries suffered from pandemic such as USA, France, Great Britain, Turkey, and Argentina should be excluded from our analysis as successful cases of countries with sufficient level of vaccination provided by their governments for citiziens of that countries nonetheless, Brazil should be excluded insofar by obvious reason that most of the statistic data for Brazil is questionable. We expect that 3rd wave of pandemic will come to its end at the beginning of December 2021 for all the aforementioned countries.


A simple equilibration procedure leading to polynomial degree robust a posteriori error estimators for the curl curl problem. We introduce two a posteriori error estimators for N 'ed 'elec finite element discretizations of the curl curl problem. These estimators pertain to a new Prager Synge identity and an associated equilibration procedure. They are reliable and efficient, and the error estimates are polynomial degree robust. In addition, when the domain is convex, the reliability constants are fully computable. The proposed error estimators are also cheap and easy to implement, as they are computed by solving divergence constrained minimization problems over edge patches. Numerical examples highlight our key findings, and show that both estimators are suited to drive adaptive refinement algorithms. Besides, these examples seem to indicate that guaranteed upper bounds can be achieved even in non convex domains.


The p elastic flow for planar closed curves with constant parametrization. In this paper, we consider the L 2 gradient flow for the modified p elastic energy defined on planar closed curves. We formulate a notion of weak solution for the flow and prove the existence of global in time weak solutions with p ge 2 for initial curves in the energy space via minimizing movements. Moreover, we prove the existence of unique global in time solutions to the flow with p 2 and obtain their subconvergence to an elastica as t to infty .


Inference Time Unlabeled Personalized Federated Learning. In Federated learning (FL), multiple clients collaborate to learn a shared model through a central server while they keep data decentralized. Personalized federated learning (PFL) further extends FL by learning personalized models per client. In both FL and PFL, all clients participate in the training process and their labeled data is used for training. However, in reality, novel clients may wish to join a prediction service after it has been deployed, obtaining predictions for their own unlabeled data. Here, we introduce a new learning setup, Inference Time Unlabeled PFL (ITU PFL), where a system trained on a set of clients, needs to be later applied to novel unlabeled clients at inference time. We propose a novel approach to this problem, ITUFL HN, which uses a hypernetwork to produce a new model for the late to the party client. Specifically, we train an encoder network that learns a representation for a client given its unlabeled data. That client representation is fed to a hypernetwork that generates a personalized model for that client. Evaluated on five benchmark datasets, we find that ITUFL HN generalizes better than current FL and PFL methods, especially when the novel client has a large domain shift from training clients. We also analyzed the generalization error for novel clients, and showed analytically and experimentally how they can apply differential privacy to their data.


On the Kodaira dimension of Hurwitz spaces. We show that the canonical bundle of the Hurwitz stack classifying covers of genus g 1 and degree k 2 of the projective line is big. We show that all coarse moduli spaces of trigonal curves of genus g 1 are of general type.


Projection Free Algorithm for Stochastic Bi level Optimization. This work presents the first projection free algorithm to solve stochastic bi level optimization problems, where the objective function depends on the solution of another stochastic optimization problem. The proposed textbf S tochastic textbf Bi level textbf F rank textbf W olfe ( textbf SBFW ) algorithm can be applied to streaming settings and does not make use of large batches or checkpoints. The sample complexity of SBFW is shown to be mathcal O ( epsilon 3 ) for convex objectives and mathcal O ( epsilon 4 ) for non convex objectives. Improved rates are derived for the stochastic compositional problem, which is a special case of the bi level problem, and entails minimizing the composition of two expected value functions. The proposed textbf S tochastic textbf C ompositional textbf F rank textbf W olfe ( textbf SCFW ) is shown to achieve a sample complexity of mathcal O ( epsilon 2 ) for convex objectives and mathcal O ( epsilon 3 ) for non convex objectives, at par with the state of the art sample complexities for projection free algorithms solving single level problems. We demonstrate the advantage of the proposed methods by solving the problem of matrix completion with denoising and the problem of policy value evaluation in reinforcement learning.


Cavities with Non Spherical Mirrors for Enhanced Quantum Emitter Cavity Photon Interaction. We propose a procedure for the significant enhancement of the strong coupling rate between photons in an optical cavity and a single quantum emitter, such as an atom, quantum dot or trapped ion. We show that specially designed, non spherical mirrors can lead to cavity eigenmodes that exhibit a large field enhancement at the center of the cavity while inducing significantly less beam divergence, and therefore smaller round trip losses and higher cooperativity, than can be achieved by operating a spherical mirror cavity in the near concentric regime. We verify our designs using mode matching theory and discuss their robustness relative to different kinds of manufacturing deviations.


Greenformer Factorization Toolkit for Efficient Deep Neural Networks. While the recent advances in deep neural networks (DNN) bring remarkable success, the computational cost also increases considerably. In this paper, we introduce Greenformer, a toolkit to accelerate the computation of neural networks through matrix factorization while maintaining performance. Greenformer can be easily applied with a single line of code to any DNN model. Our experimental results show that Greenformer is effective for a wide range of scenarios. We provide the showcase of Greenformer at https samuelcahyawijaya.github.io greenformer demo .


Derived categories of nodal del Pezzo threefolds. We give a complete answer for the existence of Kawamata type semiorthogonal decompositions of derived categories of nodal del Pezzo threefolds. More precisely, we show that nodal non smooth V d with 1 leq d leq 4 have no Kawamata type decomposition and that all nodal V 5 admit a Kawamata decomposition. For the proof we go through the classification of singular del Pezzo threefolds, compute divisor class groups of nodal del Pezzo threefolds of small degree and use projection from a line to construct Kawamata semiorthogonal decompositions for d 5 . In the V 6 case such a decomposition has been previously constructed by Kawamata.


Normal subgroups and relative centers of linearly reductive quantum groups. We prove a number of structural and representation theoretic results on linearly reductive quantum groups, i.e. objects dual to that of cosemisimple Hopf algebras (a) a closed normal quantum subgroup is automatically linearly reductive if its squared antipode leaves invariant each simple subcoalgebra of the underlying Hopf algebra (b) for a normal embedding mathbb H trianglelefteq mathbb G there is a Clifford style correspondence between two equivalence relations on irreducible mathbb G and, respectively, mathbb H representations and (c) given an embedding mathbb H le mathbb G of linearly reductive quantum groups the Pontryagin dual of the relative center Z( mathbb G ) cap mathbb H can be described by generators and relations, with one generator g V for each irreducible mathbb G representation V and one relation g U g Vg W whenever U and V otimes W are not disjoint over mathbb H . This latter center reconstruction result generalizes and recovers M "uger's compact group analogue and the author's quantum group version of that earlier result by setting mathbb H mathbb G .


Optimality of increasing stability for an inverse boundary value problem. In this work we study the optimality of increasing stability of the inverse boundary value problem (IBVP) for Schr " o dinger equation. The rigorous justification of increasing stability for the IBVP for Schr " o dinger equation were established by Isakov cite Isa11 and by Isakov, Nagayasu, Uhlmann, Wang of the paper cite INUW14 . In cite Isa11 , cite INUW14 , the authors showed that the stability of this IBVP increases as the frequency increases in the sense that the stability estimate changes from a logarithmic type to a H " o lder type. In this work, we prove that the instability changes from an exponential type to a H "older type when the frequency increases. This result verifies that results in cite Isa11 , cite INUW14 are optimal.


Multimodal Conditionality for Natural Language Generation. Large scale pretrained language models have demonstrated state of the art performance in language understanding tasks. Their application has recently expanded into multimodality learning, leading to improved representations combining vision and language. However, progress in adapting language models towards conditional Natural Language Generation (NLG) has been limited to a single modality, generally text. We propose MAnTiS, Multimodal Adaptation for Text Synthesis, a general approach for multimodal conditionality in transformer based NLG models. In this method, we pass inputs from each modality through modality specific encoders, project to textual token space, and finally join to form a conditionality prefix. We fine tune the pretrained language model and encoders with the conditionality prefix guiding the generation. We apply MAnTiS to the task of product description generation, conditioning a network on both product images and titles to generate descriptive text. We demonstrate that MAnTiS outperforms strong baseline approaches on standard NLG scoring metrics. Furthermore, qualitative assessments demonstrate that MAnTiS can generate human quality descriptions consistent with given multimodal inputs.


Multi modal 3D Human Pose Estimation with 2D Weak Supervision in Autonomous Driving. 3D human pose estimation (HPE) in autonomous vehicles (AV) differs from other use cases in many factors, including the 3D resolution and range of data, absence of dense depth maps, failure modes for LiDAR, relative location between the camera and LiDAR, and a high bar for estimation accuracy. Data collected for other use cases (such as virtual reality, gaming, and animation) may therefore not be usable for AV applications. This necessitates the collection and annotation of a large amount of 3D data for HPE in AV, which is time consuming and expensive. In this paper, we propose one of the first approaches to alleviate this problem in the AV setting. Specifically, we propose a multi modal approach which uses 2D labels on RGB images as weak supervision to perform 3D HPE. The proposed multi modal architecture incorporates LiDAR and camera inputs with an auxiliary segmentation branch. On the Waymo Open Dataset, our approach achieves a 22 relative improvement over camera only 2D HPE baseline, and 6 improvement over LiDAR only model. Finally, careful ablation studies and parts based analysis illustrate the advantages of each of our contributions.


Partial Information Decomposition via Deficiency for Multivariate Gaussians. Partial information decompositions (PIDs) extend the concept of mutual information to three (or more) random variables they decompose the mutual information between a "message" and two other random variables into information components that are unique to each variable, redundantly present in both, and synergistic. This paper focuses on the PID of three jointly Gaussian random vectors. Barrett (2015) previously characterized the Gaussian PID for a scalar message in closed form we examine the case where the message is a vector. Specifically, we provide a necessary and sufficient condition for the existence of unique information in the fully multivariate Gaussian PID. We do this by drawing a connection between the notion of Blackwell sufficiency from statistics and the idea of stochastic degradedness of broadcast channels from communication theory. Our first result shows that Barrett's closed form expression extends to the case of vector messages only very rarely. To compute the Gaussian PID in all other cases, we provide a convex optimization approach for approximating the PID, analyze its properties, and evaluate it empirically on randomly generated Gaussian systems.


Sparse Euclidean Spanners with Tiny Diameter A Tight Lower Bound. In STOC'95 ADMSS'95 Arya et al. showed that any set of n points in mathbb R d admits a (1 epsilon) spanner with hop diameter at most 2 (respectively, 3) and O(n log n) edges (resp., O(n log log n) edges). They also gave a general upper bound tradeoff of hop diameter at most k and O(n alpha k(n)) edges, for any k ge 2 . The function alpha k is the inverse of a certain Ackermann style function at the lfloor k 2 rfloor th level of the primitive recursive hierarchy, where alpha 0(n) lceil n 2 rceil , alpha 1(n) left lceil sqrt n right rceil , alpha 2(n) lceil log n rceil , alpha 3(n) lceil log log n rceil , alpha 4(n) log n , alpha 5(n) lfloor frac 1 2 log n rfloor , ldots. Roughly speaking, for k ge 2 the function alpha k is close to lfloor frac k 2 2 rfloor iterated log star function, i.e., log with lfloor frac k 2 2 rfloor stars. Also, alpha 2 alpha(n) 4 (n) le 4 , where alpha(n) is the one parameter inverse Ackermann function, which is an extremely slowly growing function. Whether or not this tradeoff is tight has remained open, even for the cases k 2 and k 3 . Two lower bounds are known The first applies only to spanners with stretch 1 and the second is sub optimal and applies only to sufficiently large (constant) values of k . In this paper we prove a tight lower bound for any constant k For any fixed epsilon 0 , any (1 epsilon) spanner for the uniform line metric with hop diameter at most k must have at least Omega(n alpha k(n)) edges.


ESimCSE Enhanced Sample Building Method for Contrastive Learning of Unsupervised Sentence Embedding. Contrastive learning has been attracting much attention for learning unsupervised sentence embeddings. The current state of the art unsupervised method is the unsupervised SimCSE (unsup SimCSE). Unsup SimCSE takes dropout as a minimal data augmentation method, and passes the same input sentence to a pre trained Transformer encoder (with dropout turned on) twice to obtain the two corresponding embeddings to build a positive pair. As the length information of a sentence will generally be encoded into the sentence embeddings due to the usage of position embedding in Transformer, each positive pair in unsup SimCSE actually contains the same length information. And thus unsup SimCSE trained with these positive pairs is probably biased, which would tend to consider that sentences of the same or similar length are more similar in semantics. Through statistical observations, we find that unsup SimCSE does have such a problem. To alleviate it, we apply a simple repetition operation to modify the input sentence, and then pass the input sentence and its modified counterpart to the pre trained Transformer encoder, respectively, to get the positive pair. Additionally, we draw inspiration from the community of computer vision and introduce a momentum contrast, enlarging the number of negative pairs without additional calculations. The proposed two modifications are applied on positive and negative pairs separately, and build a new sentence embedding method, termed Enhanced Unsup SimCSE (ESimCSE). We evaluate the proposed ESimCSE on several benchmark datasets w.r.t the semantic text similarity (STS) task. Experimental results show that ESimCSE outperforms the state of the art unsup SimCSE by an average Spearman correlation of 2.02 on BERT base.


MTVR Multilingual Moment Retrieval in Videos. We introduce mTVR, a large scale multilingual video moment retrieval dataset, containing 218K English and Chinese queries from 21.8K TV show video clips. The dataset is collected by extending the popular TVR dataset (in English) with paired Chinese queries and subtitles. Compared to existing moment retrieval datasets, mTVR is multilingual, larger, and comes with diverse annotations. We further propose mXML, a multilingual moment retrieval model that learns and operates on data from both languages, via encoder parameter sharing and language neighborhood constraints. We demonstrate the effectiveness of mXML on the newly collected MTVR dataset, where mXML outperforms strong monolingual baselines while using fewer parameters. In addition, we also provide detailed dataset analyses and model ablations. Data and code are publicly available at https github.com jayleicn mTVRetrieval


Performance Characteristics of the BlueField 2 SmartNIC. High performance computing (HPC) researchers have long envisioned scenarios where application workflows could be improved through the use of programmable processing elements embedded in the network fabric. Recently, vendors have introduced programmable Smart Network Interface Cards (SmartNICs) that enable computations to be offloaded to the edge of the network. There is great interest in both the HPC and high performance data analytics communities in understanding the roles these devices may play in the data paths of upcoming systems. This paper focuses on characterizing both the networking and computing aspects of NVIDIA's new BlueField 2 SmartNIC when used in an Ethernet environment. For the networking evaluation we conducted multiple transfer experiments between processors located at the host, the SmartNIC, and a remote host. These tests illuminate how much processing headroom is available on the SmartNIC during transfers. For the computing evaluation we used the stress ng benchmark to compare the BlueField 2 to other servers and place realistic bounds on the types of offload operations that are appropriate for the hardware. Our findings from this work indicate that while the BlueField 2 provides a flexible means of processing data at the network's edge, great care must be taken to not overwhelm the hardware. While the host can easily saturate the network link, the SmartNIC's embedded processors may not have enough computing resources to sustain more than half the expected bandwidth when using kernel space packet processing. From a computational perspective, encryption operations, memory operations under contention, and on card IPC operations on the SmartNIC perform significantly better than the general purpose servers used for comparisons in our experiments. Therefore, applications that mainly focus on these operations may be good candidates for offloading to the SmartNIC.


Alignments of Triad Phases in 1D Burgers and 3D Navier Stokes Flows. The goal of this study is to analyze the fine structure of nonlinear modal interactions in different 1D Burgers and 3D Navier Stokes flows. This analysis is focused on preferential alignments characterizing the phases of Fourier modes participating in triadic interactions, which are key to determining the nature of energy fluxes between different scales. We develop novel diagnostic tools designed to probe the level of coherence among triadic interactions realizing different flow scenarios. We consider extreme 1D viscous Burgers flows and 3D Navier Stokes flows which are complemented by singularity forming inviscid Burgers flows as well as viscous Burgers flows and Navier Stokes flows corresponding to generic turbulent and simple unimodal initial data, such as the Taylor Green vortex. The main finding is that while the extreme viscous Burgers and Navier Stokes flows reveal the same relative level of enstrophy amplification by nonlinear effects, this behaviour is realized via modal interactions with vastly different levels of coherence. In the viscous Burgers flows the flux carrying triads have phase values which saturate the nonlinearity thereby maximizing the energy flux towards small scales. On the other hand, in 3D Navier Stokes flows with the extreme initial data the energy flux to small scales is realized by a very small subset of helical triads. The second main finding concerns the role of initial coherence. Comparison of the flows resulting from the extreme and generic initial conditions shows striking similarities between these two types of flows, for the 1D viscous Burgers equation as well as the 3D Navier Stokes equation.


Testing DBMS Performance with Mutations. Because database systems are the critical component of modern data intensive applications, it is important to ensure that they operate correctly. To this end, developers extensively test these systems to eliminate bugs that negatively affect functionality. In addition to functional bugs, however, there is another important class of bugs performance bugs. These bugs negatively affect the response time of a database system and can therefore affect the overall performance of the system. Despite their impact on end user experience, performance bugs have received considerably less attention than functional bugs. In this paper, we present AMOEBA, a system for automatically detecting performance bugs in database systems. The core idea behind AMOEBA is to construct query pairs that are semantically equivalent to each other and then compare their response time on the same database system. If the queries exhibit a significant difference in their runtime performance, then the root cause is likely a performance bug in the system. We propose a novel set of structure and predicate mutation rules for constructing query pairs that are likely to uncover performance bugs. We introduce feedback mechanisms for improving the efficacy and computational efficiency of the tool. We evaluate AMOEBA on two widely used DBMSs, namely PostgreSQL and CockroachDB. AMOEBA has discovered 20 previously unknown performance bugs, among which developers have already confirmed 14 and fixed 4.


On the functional CLT for slowly mixing triangular arrays. In cite MPU a functional CLT was obtained for triangular arrays satisfying the Lindeberg condition, that the sum of the individual variances is at most the same order as the variance of the underlying sum, and under the optimal mixing rats sum n rho(2 n) infty , where rho( cdot) are the rho mixing coefficients of the array. In this paper we will present alternative conditions which do not involve the assumption on the sum of variances, and instead we will assume certain maximal moment assumptions (which we can verify for phi mixing arrays) and mixing rates of the form sum n rho(e G(n) ) infty where G(n) grows sub linearly fast in n (e.g. G(n) n ln( ln n) ). We will also discuss alternative conditions to the ones in the functional CLT for alpha mixing triangular arrays which was obtained in cite MP .


Smaller Keys for Code Based Cryptography McEliece Cryptosystems with Convolutional Encoders. In this paper we present a novel class of convolutional codes and investigate its use in a variant of the McEliece cryptosystem that possesses several interesting properties, including a reduction of the public key for a given security level. In contrast to the classical McEliece cryptosystems, where block codes are used, we propose the use of a convolutional encoder to be part of the public key. The secret key is constituted by a Generalized Reed Solomon encoder and two Laurent polynomial matrices that contain large parts that are generated completely at random. Instead of multiplying on the right the GRS encoder by a permutation matrix, it is multiplied by a polynomial matrix with columns having weight zero or at least two. In this setting the message is a sequence of messages instead of a single block message and the errors are added randomly throughout the sequence. We conclude the paper studying its security and presenting several examples.


DYLE Dynamic Latent Extraction for Abstractive Long Input Summarization. Transformer based models have achieved state of the art performance on short input summarization. However, they still struggle with summarizing longer text. In this paper, we present DYLE, a novel dynamic latent extraction approach for abstractive long input summarization. DYLE jointly trains an extractor and a generator and treats the extracted text snippets as the latent variable, allowing dynamic snippet level attention weights during decoding. To provide adequate supervision, we propose simple yet effective heuristics for oracle extraction as well as a consistency loss term, which encourages the extractor to approximate the averaged dynamic weights predicted by the generator. We evaluate our method on different long document and long dialogue summarization tasks GovReport, QMSum, and arXiv. Experiment results show that DYLE outperforms all existing methods on GovReport and QMSum, with gains up to 6.1 ROUGE, while yielding strong results on arXiv. Further analysis shows that the proposed dynamic weights provide interpretability of our generation process.


New results and open problems on subgraph centrality. Subgraph centrality, introduced by Estrada and Rodr 'iguez Vel 'azquez in 12 , has become a widely used centrality measure in the analysis of networks, with applications in biology, neuroscience, economics and many other fields. It is also worthy of study from a strictly mathematical point of view, in view of its connections to topics in spectral graph theory, number theory, analytic matrix functions, and combinatorics. In this paper we present some new results and a list of open questions about subgraph centrality and other node centrality measures based on graph walks.


Optimal Priority Assignment for Real Time Systems A Coevolution Based Approach. In real time systems, priorities assigned to real time tasks determine the order of task executions, by relying on an underlying task scheduling policy. Assigning optimal priority values to tasks is critical to allow the tasks to complete their executions while maximizing safety margins from their specified deadlines. This enables real time systems to tolerate unexpected overheads in task executions and still meet their deadlines. In practice, priority assignments result from an interactive process between the development and testing teams. In this article, we propose an automated method that aims to identify the best possible priority assignments in real time systems, accounting for multiple objectives regarding safety margins and engineering constraints. Our approach is based on a multi objective, competitive coevolutionary algorithm mimicking the interactive priority assignment process between the development and testing teams. We evaluate our approach by applying it to six industrial systems from different domains and several synthetic systems. The results indicate that our approach significantly outperforms both our baselines, i.e., random search and sequential search, and solutions defined by practitioners.Our approach scales to complex industrial systems as an offline analysis method that attempts to find near optimal solutions within acceptable time, i.e., less than 16 hours.


Explicit Superlinear Convergence Rates of Broyden's Methods in Nonlinear Equations. In this paper, we study the explicit superlinear convergence rates of quasi Newton methods. We particularly focus on the classical Broyden's method for solving nonlinear equations. We establish its explicit (local) superlinear convergence rate when the initial point is close enough to a solution and the initial Jacobian approximation is close enough to the exact Jacobian related to the solution. Our results present the explicit superlinear convergence rates of Broyden's "good" and "bad" update schemes. These explicit convergence rates in turn provide some important insights on the performance difference between the "good" and "bad" schemes, which is also validated empirically.


TaskAllocator A Recommendation Approach for Role based Tasks Allocation in Agile Software Development. In this paper, we propose a recommendation approach TaskAllocator in order to predict the assignment of incoming tasks to potential befitting roles. The proposed approach, identifying team roles rather than individual persons, allows project managers to perform better tasks allocation in case the individual developers are over utilized or moved on to different roles projects. We evaluated our approach on ten agile case study projects obtained from the Taiga.io repository. In order to determine the TaskAllocator's performance, we have conducted a benchmark study by comparing it with contemporary machine learning models. The applicability of the TaskAllocator was assessed through a plugin that can be integrated with JIRA and provides recommendations about suitable roles whenever a new task is added to the project. Lastly, the source code of the plugin and the dataset employed have been made public.


Doubly Stochastic Yule Cascades (Part I) The explosion problem in the time reversible case. Motivated by the probabilistic methods for nonlinear differential equations introduced by McKean (1975) for the Kolmogorov Petrovski Piskunov (KPP) equation, and by Le Jan and Sznitman (1997) for the incompressible Navier Stokes equations, we identify a new class of stochastic cascade models, referred to as it doubly stochastic Yule cascades . We establish non explosion criteria under the assumption that the randomization of Yule intensities from generation to generation is by an ergodic time reversible Markov chain. In addition to the cascade models that arise in the analysis of certain deterministic nonlinear differential equations, this model includes the multiplicative branching random walks, the branching Markov processes, and the stochastic generalizations of the percolation and or cell aging models introduced by Aldous and Shields (1988) and independently by Athreya (1985).


Light Field Image Super Resolution with Transformers. Light field (LF) image super resolution (SR) aims at reconstructing high resolution LF images from their low resolution counterparts. Although CNN based methods have achieved remarkable performance in LF image SR, these methods cannot fully model the non local properties of the 4D LF data. In this paper, we propose a simple but effective Transformer based method for LF image SR. In our method, an angular Transformer is designed to incorporate complementary information among different views, and a spatial Transformer is developed to capture both local and long range dependencies within each sub aperture image. With the proposed angular and spatial Transformers, the beneficial information in an LF can be fully exploited and the SR performance is boosted. We validate the effectiveness of our angular and spatial Transformers through extensive ablation studies, and compare our method to recent state of the art methods on five public LF datasets. Our method achieves superior SR performance with a small model size and low computational cost. Code is available at https github.com ZhengyuLiang24 LFT.


Numerical dispersion effects on the energy cascade in large eddy simulation. Implicitly filtered large eddy simulation (LES) is by nature numerically under resolved. With the sole exception of Fourier spectral methods, discrete numerical derivative operators cannot accurately represent the dynamics of all of the represented scales. Since the resolution scale in an LES usually lies in the inertial range, these poorly represented scales are dynamically significant and errors in their dynamics can affect all resolved scales. This Letter is focused on characterizing the effects of numerical dispersion error by studying the energy cascade in LES of convecting homogeneous isotropic turbulence. Numerical energy and transfer spectra reveal that energy is not transferred at the appropriate rate to wavemodes where significant dispersion error is present. This leads to a deficiency of energy in highly dispersive modes and an accompanying pile up of energy in the well resolved modes, since dissipation by the subgrid model is diminished. An asymptotic analysis indicates that dispersion error causes a phase decoherence between triad interacting wavemodes, leading to a reduction in the mean energy transfer rate for these scales. These findings are relevant to a wide range of LES, since turbulence commonly convects through the grid in practical simulations. Further, these results indicate that the resolved scales should be defined to not include the dispersive modes.


History of Prime Movers and Future Implications. Motive and electrical energy has played a crucial role in human civilization. Since Ancient times, motive energy played a primary role in agricultural and industrial production as well as transportation. At that time, motive energy was provided by work of humans and draft animals. Later, work of water and wind power was harnessed. During the 19 text th century, steam power became the main source of motive energy in USA and Britain. Modern transportation and industry depend on the work of heat engines that use fossil fuel. A brief history of different sources of energy is presented in this work. The energy consumptions in pre industrial and industrial societies are calculated. The lost opportunities for the Second Industrial Revolution (such as fast breeder reactors and thermonuclear power stations) are discussed. The case that the Solar Power will become the main source of energy by the second half of this century is presented. It is calculated that the Solar Power has the potential to bring about the new Industrial Revolution. Based on material and energy resources available in the Solar System, it is demonstrated that the Solar System Civilization supporting a population of 10 Quadrillion with a high standard of living is possible.


Experiences with Integrating Custos SecurityServices. Science gateways are user facing cyberinfrastruc ture that provide researchers and educators with Web basedaccess to scientific software, computing, and data resources.Managing user identities, accounts, and permissions are essentialtasks for science gateways, and gateways likewise must man age secure connections between their middleware and remoteresources. The Custos project is an effort to build open sourcesoftware that can be operated as a multi tenanted service thatprovides reliable implementations of common science gatewaycybersecurity needs, including federated authentication, iden tity management, group and authorization management, andresource credential management. Custos aims further to provideintegrated solutions through these capabilities, delivering end to end support for several science gateway usage scenarios. Thispaper examines four deployment scenarios using Custos andassociated extensions beyond previously described work. Thefirst capability illustrated by these scenarios is the need forCustos to provide hierarchical tenant management that allowsmultiple gateway deployments to be federated together andalso to support consolidated, hosted science gateway platformservices. The second capability illustrated by these scenarios is theneed to support service accounts that can support non browserapplications and agent applications that can act on behalf ofusers on edge resources. We illustrate how the latter can be builtusing Web security standards combined with Custos permissionmanagement mechanisms.


European option pricing under generalized fractional Brownian motion. The Generalized fractional Brownian motion (gfBm) is a stochastic process that acts as a generalization for both fractional, sub fractional, and standard Brownian motion. Here we study its application into the option pricing problem by means of the valuation of a European Call option. By the derivation of the generalized fractional Ito's lemma and the related Fokker Planck equation, a closed form pricing formula for both Black Scholes and CEV models driven by gfBm is obtained.


On Achilles Heel of Some Optical Network Designs and Performance Comparisons. This non conventional paper represents the first attempt to uncover a possible vulnerability in some proposals for optical network designs and performance comparisons. While optical network designs and planning lie at the heart of achieving fiber capacity efficiency and or operational efficiency, its combinatorial nature makes it computationally hard to reach optimal solutions for realistic scenarios. Therefore, the well established way that have been taken for granted by not so small number of research papers is that an optimization model based on mixed integer linear programming (MILP) is first proposed and then due to the intractability of such combinatorial model, an heuristic algorithm is offered as an approximation. The solution quality comparison between the MILP and heuristic is then carried out on small scale instances including topologies and traffic tests to verify the efficacy of the proposed heuristic and the next step is to use such allegedly verified heuristic for optical network designs of realistic scenarios. This approach may nevertheless leave a critical vulnerability as there is no guarantee that one performs well in small tests will generalize adequately for large scale cases, a common pitfall widely referred as the peril of extrapolation and or overfitting. Besides, it is not uncommon that in some research works, for benchmarking purpose, the comparison between a new design proposal whose performance is obtained from on one heuristic and a reference design based on another heuristic is carried out. As the result of missing solution quality check, such performance comparison relied merely on heuristic solutions may be equally vulnerable as its results can be distorted and thus, be far from the possibly achieved zones. In this work, we pinpoint those issues and provide a realistic case study to highlight and demonstrate the impact of such vulnerabilities.


Augmented finite element formulation for the Navier Stokes equations with vorticity and variable viscosity. We propose and analyse an augmented mixed finite element method for the Navier Stokes equations written in terms of velocity, vorticity, and pressure with non constant viscosity and no slip boundary conditions. The weak formulation includes least squares terms arising from the constitutive equation and from the incompressibility condition, and we use a fixed point strategies to show the existence and uniqueness of continuous and discrete solutions under the assumption of sufficiently small data. The method is constructed using any compatible finite element pair (conforming or non conforming) for velocity and pressure as dictated by Stokes inf sup stability, while for vorticity any generic discrete space (of arbitrary order) can be used. We establish optimal a priori error estimates. Finally, we provide a set of numerical tests in 2D and 3D illustrating the behaviour of the scheme as well as verifying the theoretical convergence rates.


Adjoint Method for Macroscopic Phase Resetting Curves of Generic Spiking Neural Networks. Brain rhythms emerge as a result of synchronization among interconnected spiking neurons. Key properties of such rhythms can be gleaned from the phase resetting curve (PRC). Inferring the macroscopic PRC and developing a systematic phase reduction theory for emerging rhythms remains an outstanding theoretical challenge. Here we present a practical theoretical framework to compute the PRC of generic spiking networks with emergent collective oscillations. To do so, we adopt a refractory density approach where neurons are described by the time since their last action potential. In the thermodynamic limit, the network dynamics are captured by a continuity equation known as the refractory density equation. We develop an appropriate adjoint method for this equation which in turn gives a semi analytical expression of the infinitesimal PRC. We confirm the validity of our framework for specific examples of neural networks. Our theoretical findings highlight the relationship between key biological properties at the individual neuron scale and the macroscopic oscillatory properties assessed by the PRC.


MuSiQue Multihop Questions via Single hop Question Composition. Multihop reasoning remains an elusive goal as existing multihop benchmarks are known to be largely solvable via shortcuts. Can we create a question answering (QA) dataset that, by construction, emph requires proper multihop reasoning? To this end, we introduce a bottom up approach that systematically selects composable pairs of single hop questions that are connected, i.e., where one reasoning step critically relies on information from another. This bottom up methodology lets us explore a vast space of questions and add stringent filters as well as other mechanisms targeting connected reasoning. It provides fine grained control over the construction process and the properties of the resulting k hop questions. We use this methodology to create MuSiQue Ans, a new multihop QA dataset with 25K 2 4 hop questions. Relative to existing datasets, MuSiQue Ans is more difficult overall (3x increase in human machine gap), and harder to cheat via disconnected reasoning (e.g., a single hop model has a 30 point drop in F1). We further add unanswerable contrast questions to produce a more stringent dataset, MuSiQue Full. We hope our datasets will help the NLP community develop models that perform genuine multihop reasoning.


Saddle point method for transient processes in waveguides. A modification of the saddle point method is proposed for computation of non stationary wave processes (pulses) in waveguides. The dispersion diagram of the waveguide is continued analytically. A set of possible saddle points on the dispersion diagram is introduced. A method of checking whether the particular saddle points contribute terms to the field decomposition is proposed. A classification of the waveguides based on the topology of the set of possible saddle points is outlined.


Translating Images into Maps. We approach instantaneous mapping, converting images to a top down view of the world, as a translation problem. We show how a novel form of transformer network can be used to map from images and video directly to an overhead map or bird's eye view (BEV) of the world, in a single end to end network. We assume a 1 1 correspondence between a vertical scanline in the image, and rays passing through the camera location in an overhead map. This lets us formulate map generation from an image as a set of sequence to sequence translations. Posing the problem as translation allows the network to use the context of the image when interpreting the role of each pixel. This constrained formulation, based upon a strong physical grounding of the problem, leads to a restricted transformer network that is convolutional in the horizontal direction only. The structure allows us to make efficient use of data when training, and obtains state of the art results for instantaneous mapping of three large scale datasets, including a 15 and 30 relative gain against existing best performing methods on the nuScenes and Argoverse datasets, respectively. We make our code available on https github.com avishkarsaha translating images into maps.


Medipix3 for dosimetry and real time beam monitoring first tests at a 60 MeV proton therapy facility. Charged particle therapy (CPT) is an advanced modality of radiation therapy which has grown rapidly worldwide, driven by recent developments in technology and methods of delivery. To ensure safe and high quality treatments, various instruments are used for a range of different measurements such as for quality assurance, monitoring and dosimetry purposes. With the emergence of new and enhanced delivery techniques, systems with improved capabilities are needed to exceed existing performance limitations of conventional tools. The Medipix3 is a hybrid pixel detector able to count individual protons with millisecond time resolution at clinical flux with near instant readout and count rate linearity. The system has previously demonstrated use in medical and other applications, showing wide versatility and potential for particle therapy. In this work we present measurements of the Medipix3 detector in the 60 MeV ocular proton therapy beamline at the Clatterbridge Cancer Centre, UK. The beam current and lateral beam profiles were evaluated at multiple positions in the treatment line and compared with EBT3 Gafchromic film. The recorded count rate linearity and temporal analysis of the beam structure was measured with Medipix3 across the full range of available beam intensities, up to 3.12 times 10 10 protons s. We explore the capacity of Medipix3 to provide non reference measurements and its applicability as a tool for dosimetry and beam monitoring for CPT. This is the first known time the performance of the Medipix3 detector technology has been tested within a clinical, high proton flux environment.


Moufang Patterns and Geometry of Information. Technology of data collection and information transmission is based on various mathematical models of encoding. The words "Geometry of information" refer to such models, whereas the words "Moufang patterns" refer to various sophisticated symmetries appearing naturally in such models. In this paper we show that the symmetries of spaces of probability distributions, endowed with their canonical Riemannian metric of information geometry, have the structure of a commutative Moufang loop. We also show that the F manifold structure on the space of probability distribution can be described in terms of differential 3 webs and Malcev algebras. We then present a new construction of (noncommutative) Moufang loops associated to almost symplectic structures over finite fields, and use then to construct a new class of code loops with associated quantum error correcting codes and networks of perfect tensors.


Interpolation for analytic families of multilinear operators on metric measure spaces. Let (X j , d j , mu j), j 0, 1,. .. , m be metric measure spaces. Given 0 p kappa le infty for kappa 1,. .. , m and an analytic family of multilinear operators T z L p 1 (X 1) x bullet bullet bullet L p m (X m) rightarrow L 1 loc (X 0), for z in the complex unit strip, we prove a theorem in the spirit of Stein's complex interpolation for analytic families. Analyticity and our admissibility condition are defined in the weak (integral) sense and relax the pointwise definitions given in 9 . Continuous functions with compact support are natural dense subspaces of Lebesgue spaces over metric measure spaces and we assume the operators T z are initially defined on them. Our main lemma concerns the approximation of continuous functions with compact support by similar functions that depend analytically in an auxiliary parameter z. An application of the main theorem concerning bilinear estimates for Schr "o dinger operators on L p is included.


Adaptive Data Debiasing through Bounded Exploration and Fairness. Biases in existing datasets used to train algorithmic decision rules can raise ethical, societal, and economic concerns due to the resulting disparate treatment of different groups. We propose an algorithm for sequentially debiasing such datasets through adaptive and bounded exploration. Exploration in this context means that at times, and to a judiciously chosen extent, the decision maker deviates from its (current) loss minimizing rule, and instead accepts some individuals that would otherwise be rejected, so as to reduce statistical data biases. Our proposed algorithm includes parameters that can be used to balance between the ultimate goal of removing data biases which will in turn lead to more accurate and fair decisions, and the exploration risks incurred to achieve this goal. We show, both analytically and numerically, how such exploration can help debias data in certain distributions. We further investigate how fairness measures can work in conjunction with such data debiasing efforts.


Dense packings via lifts of codes to division rings. We obtain algorithmically effective versions of the dense lattice sphere packings constructed from orders in mathbb Q division rings by the first author. The lattices in question are lifts of suitable codes from prime characteristic to orders mathcal O in mathbb Q division rings and we prove a Minkowski Hlawka type result for such lifts. Exploiting the additional symmetries under finite subgroups of units in mathcal O , we show this leads to effective constructions of lattices approaching the best known lower bounds on the packing density Delta n in a variety of new dimensions n . This unifies and extends a number of previous constructions.


SMProbLog Stable Model Semantics in ProbLog and its Applications in Argumentation. We introduce SMProbLog, a generalization of the probabilistic logic programming language ProbLog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belongs to a randomly sampled program, and these probabilities are mutually independent. The semantics of ProbLog is given by the success probability of a query, which corresponds to the probability that the query succeeds in a randomly sampled program. It is well defined when each random sample uniquely determines the truth values of all logical atoms. Argumentation problems, however, represent an interesting practical application where this is not always the case. SMProbLog generalizes the semantics of ProbLog to the setting where multiple truth assignments are possible for a randomly sampled program, and implements the corresponding algorithms for both inference and learning tasks. We then show how this novel framework can be used to reason about probabilistic argumentation problems. Therefore, the key contribution of this paper are a more general semantics for ProbLog programs, its implementation into a probabilistic programming framework for both inference and parameter learning, and a novel approach to probabilistic argumentation problems based on such framework.


Homotopy and Homology at Infinity and at the Boundary. In this paper we study the relationship between the homology and homotopy of a space at infinity and at its boundary. Firstly, we prove that if a locally connected, connected, delta hyperbolic space that is acted upon geometrically by a group has trivial homotopy at infinity then the first v C ech homotopy group is trivial. Secondly, we prove that if a hyperbolic group on a finite field has trivial i th homology at infinity then the boundary of the group has trivial i th Steenrod homology. This result turns out to be important in addressing an open problem related to Cannon's conjecture.


Asymptotic Behavior of Differential Powers. In this paper, we study the differential power operation on ideals. We begin with a focus on monomial ideals in characteristic 0 and find a class of ideals whose differential powers are eventually principal. We also study the containment problem between ordinary and differential powers of ideals, in analogy to earlier work comparing ordinary and symbolic powers of ideals. We further define a possible closure operation on ideals, called the differential closure, in analogy with integral closure and tight closure. We show that this closure operation agrees with taking the radical of an ideal if and only if the ambient ring is a simple D module.


Probabilistic modeling of rational communication with conditionals. While a large body of work has scrutinized the meaning of conditional sentences, considerably less attention has been paid to formal models of their pragmatic use and interpretation. Here, we take a probabilistic approach to pragmatic reasoning about indicative conditionals which flexibly integrates gradient beliefs about richly structured world states. We model listeners' update of their prior beliefs about the causal structure of the world and the joint probabilities of the consequent and antecedent based on assumptions about the speaker's utterance production protocol. We show that, when supplied with natural contextual assumptions, our model uniformly explains a number of inferences attested in the literature, including epistemic inferences, Conditional Perfection and the dependency between antecedent and consequent of a conditional. We argue that this approach also helps explain three puzzles introduced by Douven (2012) about updating with conditionals depending on the utterance context, the listener's belief in the antecedent may increase, decrease or remain unchanged.


Automatic Analysis of Linguistic Features in Journal Articles of Different Academic Impacts with Feature Engineering Techniques. English research articles (RAs) are an essential genre in academia, so the attempts to employ NLP to assist the development of academic writing ability have received considerable attention in the last two decades. However, there has been no study employing feature engineering techniques to investigate the linguistic features of RAs of different academic impacts (i.e., the papers of high moderate citation times published in the journals of high moderate impact factors). This study attempts to extract micro level linguistic features in high and moderate impact journal RAs, using feature engineering methods. We extracted 25 highly relevant features from the Corpus of English Journal Articles through feature selection methods. All papers in the corpus deal with COVID 19 medical empirical studies. The selected features were then validated of the classification performance in terms of consistency and accuracy through supervised machine learning methods. Results showed that 24 linguistic features such as the overlapping of content words between adjacent sentences, the use of third person pronouns, auxiliary verbs, tense, emotional words provide consistent and accurate predictions for journal articles with different academic impacts. Lastly, the random forest model is shown to be the best model to fit the relationship between these 24 features and journal articles with high and moderate impacts. These findings can be used to inform academic writing courses and lay the foundation for developing automatic evaluation systems for L2 graduate students.


Are oxygen isotope fractionation factors between calcite and water derived from speleothems systematically biased due to prior calcite precipitation (PCP)?. The equilibrium oxygen isotope fractionation factor between calcite and water (18 alpha calcite H2O) is an important quantity in stable isotope geochemistry and allows in principle to infer temperature variations from carbonate delta 18O if carbonate formation occurred in thermodynamic equilibrium. For this reason, many studies intended to determine the value of the oxygen isotope fractionation factor between calcite and water (18 alpha calcite H2O) for a wide range of temperatures using modern cave calcite and the corresponding cave drip water or ancient speleothem carbonate and fluid inclusion samples. However, the picture that emerges from all of these studies indicates that speleothem calcite is not formed in thermodynamic equilibrium but under kinetic conditions, provoking a large variability of determined 18 alpha calcite H2O values. Here we present a conceptual framework that can explain the variability of 18 alpha calcite H2O values obtained by cave studies. Prior calcite precipitation (PCP) is calcite precipitation before cave drip water is dripping from the cave ceiling and impinges on the surface of a stalagmite or watch glass. Prior to the karst water dripping from the cave ceiling, PCP can occur in the karst above the cave as well as on the cave ceiling, the cave walls and on the surface of stalactites. We argue that PCP leads to increasing the delta 18O value of the dissolved HCO3 ( delta 18OHCO3 ), resulting in an oxygen isotope disequilibrium of the delta 18OHCO3 values with respect to the delta 18O value of water ( delta 18OH2O). The oxygen isotope disequilibrium between HCO3 and H2O is re equilibrated by oxygen isotope exchange between H2O and HCO3. Depending on the temperature, the re equilibration time varies from hours to days and is usually much longer than the residence time of the drip water on stalactites, but much shorter than the time ...


How mass surveillance can crowd out installations of COVID 19 contact tracing apps. During the COVID 19 pandemic, many countries have developed and deployed contact tracing technologies to curb the spread of the disease by locating and isolating people who have been in contact with coronavirus carriers. Subsequently, understanding why people install and use contact tracing apps is becoming central to their effectiveness and impact. This paper analyzes situations where centralized mass surveillance technologies are deployed simultaneously with a voluntary contact tracing mobile app. We use this parallel deployment as a natural experiment that tests how attitudes toward mass deployments affect people's installation of the contact tracing app. Based on a representative survey of Israelis (n 519), our findings show that positive attitudes toward mass surveillance were related to a reduced likelihood of installing contact tracing apps and an increased likelihood of uninstalling them. These results also hold when controlling for privacy concerns about the contact tracing app, attitudes toward the app, trust in authorities, and demographic properties. Similar reasoning may also be relevant for crowding out voluntary participation in data collection systems.


Virtual braid groups, virtual twin groups and crystallographic groups. Let n ge 2 . Let VB n (resp. VP n ) be the virtual braid group (resp. the pure virtual braid group), and let VT n (resp. PVT n ) be the virtual twin group (resp. the pure virtual twin group). Let Pi be one of the following quotients VB n Gamma 2(VP n) or VT n Gamma 2(PVT n) where Gamma 2(H) is the commutator subgroup of H . In this paper, we show that Pi is a crystallographic group and we characterize the elements of finite order and the conjugacy classes of elements in Pi . Furthermore, we realize explicitly some Bieberbach groups and infinite virtually cyclic groups in Pi . Finally, we also study other braid like groups (welded, unrestricted, flat virtual, flat welded and Gauss virtual braid group) module the respective commutator subgroup in each case.