Origin Aware Next Destination Recommendation with Personalized Preference Attention. Next destination recommendation is an important task in the transportation domain of taxi and ride hailing services, where users are recommended with personalized destinations given their current origin location. However, recent recommendation works do not satisfy this origin awareness property, and only consider learning from historical destination locations, without origin information. Thus, the resulting approaches are unable to learn and predict origin aware recommendations based on the user's current location, leading to sub optimal performance and poor real world practicality. Hence, in this work, we study the origin aware next destination recommendation task. We propose the Spatial Temporal Origin Destination Personalized Preference Attention (STOD PPA) encoder decoder model to learn origin origin (OO), destination destination (DD), and origin destination (OD) relationships by first encoding both origin and destination sequences with spatial and temporal factors in local and global views, then decoding them through personalized preference attention to predict the next destination. Experimental results on seven real world user trajectory taxi datasets show that our model significantly outperforms baseline and state of the art methods.


A domino tableau based view on type B Schur positivity. Over the past years, major attention has been drawn to the question of identifying Schur positive sets, i.e. sets of permutations whose associated quasisymmetric function is symmetric and can be written as a non negative sum of Schur symmetric functions. The set of arc permutations, i.e. the set of permutations pi in S n such that for any 1 leq j leq n , pi(1), pi(2), dots, pi(j) is an interval in mathbb Z n is one of the most noticeable examples. This paper introduces a new type B extension of Schur positivity to signed permutations based on Chow's quasisymmetric functions and generating functions for domino tableaux. As an important characteristic, our development is compatible with the works of Solomon regarding the descent algebra of Coxeter groups. In particular, we design descent preserving bijections between signed arc permutations and sets of domino tableaux to show that they are indeed type B Schur positive.


Stochastic approximation of CVaR based variational inequalities. In this paper we study variational inequalities (VI) defined by the conditional value at risk (CVaR) of uncertain functions. We introduce stochastic approximation schemes that employ an empirical estimate of the CVaR at each iteration to solve these VIs. We investigate convergence of these algorithms under various assumptions on the monotonicity of the VI and accuracy of the CVaR estimate. Our first algorithm is shown to converge to the exact solution of the VI when the estimation error of the CVaR becomes progressively smaller along any execution of the algorithm. When the estimation error is nonvanishing, we provide two algorithms that provably converge to a neighborhood of the solution of the VI. For these schemes, under strong monotonicity, we provide an explicit relationship between sample size, estimation error, and the size of the neighborhood to which convergence is achieved. A simulation example illustrates our theoretical findings.


Central Sequences in Subhomogeneous Unital C algebras. Suppose A is a unital subhomogeneous C algebra. We show that every central sequence in A is hypercentral if and only if every pointwise limit of a sequence of irreducible representations is multiplicity free. We also show that every central sequence in A is trivial if and only if every pointwise limit of irreducible representations is irreducible. We also give a nice repesentation of the latter algebras.


On discontinuity of derivations, inducing non unique complete metric topologies. We give a simple method for constructing commutative Frechet algebras which admit two inequivalent Frechet algebra topologies. The result is applied to show that the action of any non algebraic analytic function may fail to be uniquely defined among other useful applications. We give an affirmative answer to a question of Loy from 1974. We also obtain the uniqueness of the Frechet algebra topology of certain Frechet algebras with finite dimensional radicals.


Friendship Paradox Biases Perceptions in Directed Networks. How popular a topic or an opinion appears to be in a network can be very different from its actual popularity. For example, in an online network of a social media platform, the number of people who mention a topic in their posts i.e., its global popularity can be dramatically different from how people see it in their social feeds i.e., its perceived popularity where the feeds aggregate their friends' posts. We trace the origin of this discrepancy to the friendship paradox in directed networks, which states that people are less popular than their friends (or followers) are, on average. We identify conditions on network structure that give rise to this perception bias, and validate the findings empirically using data from Twitter. Within messages posted by Twitter users in our sample, we identify topics that appear more frequently within the users' social feeds, than they do globally, i.e., among all posts. In addition, we present a polling algorithm that leverages the friendship paradox to obtain a statistically efficient estimate of a topic's global prevalence from biased perceptions of individuals. We characterize the bias of the polling estimate, provide an upper bound for its variance, and validate the algorithm's efficiency through synthetic polling experiments on our Twitter data. Our paper elucidates the non intuitive ways in which the structure of directed networks can distort social perceptions and resulting behaviors.


Temporal Landscapes A Graphical Temporal Logic for Reasoning. We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first order logic what differs is the notion of truth value. Instead of reasoning about whether formulas are true or false, our logic reasons about temporal landscapes. A temporal landscape may be thought of as representing the set of durations over which a statement is true. To help understand the practical implications of this approach, we give a wide variety of examples where this logic is used to reason about autonomous systems.


SPLINE Net Sparse Photometric Stereo through Lighting Interpolation and Normal Estimation Networks. This paper solves the Sparse Photometric stereo through Lighting Interpolation and Normal Estimation using a generative Network (SPLINE Net). SPLINE Net contains a lighting interpolation network to generate dense lighting observations given a sparse set of lights as inputs followed by a normal estimation network to estimate surface normals. Both networks are jointly constrained by the proposed symmetric and asymmetric loss functions to enforce isotropic constrain and perform outlier rejection of global illumination effects. SPLINE Net is verified to outperform existing methods for photometric stereo of general BRDFs by using only ten images of different lights instead of using nearly one hundred images.


A general framework for a joint calibration of VIX and VXX options. We analyze the VIX futures market with a focus on the exchange traded notes written on such contracts, in particular we investigate the VXX notes tracking the short end part of the futures term structure. Inspired by recent developments in commodity smile modelling, we present a multi factor stochastic local volatility model that is able to jointly calibrate plain vanilla options both on VIX futures and VXX notes, thus going beyond the failure of purely stochastic or simply local volatility models. We discuss numerical results on real market data by highlighting the impact of model parameters on implied volatilities.


Space Hardness of Solving Structured Linear Systems. We show that if the probabilistic logarithmic space solver or the deterministic nearly logarithmic space solver for undirected Laplacian matrices can be extended to solve slightly larger subclasses of linear systems, then they can be use to solve all linear systems with similar space complexity. Previously Kyng and Zhang proved similar results in the time complexity setting using reductions between approximate solvers. We prove that their reductions can be implemented using constant depth, polynomial size threshold circuits.


Analysis of multi registry kidney exchange program with individual rationality constraints. Kidney exchange programs have been developed to overcome the compatibility challenges for the patient with incompatible donors in kidney transplantation. A registry of such incompatible donor recipient pairs is created, and compatibility is achieved through the exchange of donors. Single center kidney exchange registries do not have a significant pool size for achieving the full benefits of the kidney exchange program. Thus multi registry exchange transplants seem to be a natural way forward. There are various challenges in multi registry exchange programs, such as different constraints for each registry, varying bound on cycle lengths, and data sharing among registries. Researchers have proposed different merging mechanisms with a sequential merger, full merger with fair allocations, and full merger without any restrictions. To form a stable multi registry sharing mechanism, registries should be individually rational both in the long run as well as in the short run. In this paper, an Integer Programming model for a multi registry exchange program has been proposed with individual rationality constraints for each registry. A simulation study is conducted to compare the benefits of multi registry programs with individual registry allocations on Indian data, and multiple analyses have been done. It was concluded that registries with lower arrival rates could benefit 7 9 in terms of the number of transplants and 4 6 in terms of quality of matches in a typical kidney exchange registry. Registry with more hard to match patients will benefit significantly larger than registries with more easy to match patients.


Scattered representations of SL(n, mathbb C ) . Let G be SL(n, mathbb C ) . This paper aims to describe the Zhelobenko parameters and the spin lowest K types of the scattered representations of G , which lie at the heart of hat G d the set of all the equivalence classes of irreducible unitary representations of G with non vanishing Dirac cohomology. As a consequence, we will verify a couple of conjectures of the first named author for G .


Scaling Autoregressive Video Models. Due to the statistical complexity of video, the high degree of inherent stochasticity, and the sheer amount of data, generating natural video remains a challenging task. State of the art video generation models often attempt to address these issues by combining sometimes complex, usually video specific neural network architectures, latent variable models, adversarial training and a range of other methods. Despite their often high complexity, these approaches still fall short of generating high quality video continuations outside of narrow domains and often struggle with fidelity. In contrast, we show that conceptually simple autoregressive video generation models based on a three dimensional self attention mechanism achieve competitive results across multiple metrics on popular benchmark datasets, for which they produce continuations of high fidelity and realism. We also present results from training our models on Kinetics, a large scale action recognition dataset comprised of YouTube videos exhibiting phenomena such as camera movement, complex object interactions and diverse human movement. While modeling these phenomena consistently remains elusive, we hope that our results, which include occasional realistic continuations encourage further research on comparatively complex, large scale datasets such as Kinetics.


Splitting theorems on complete Riemannian manifolds with nonnegative Ricci curvature. In this paper we provide some local and global splitting results on complete Riemannian manifolds with nonnegative Ricci curvature. We achieve the splitting through the analysis of some pointwise inequalities of Modica type which hold true for every bounded solution to a semilinear Poisson equation. More precisely, we prove that the existence of a nonconstant bounded solution u for which one of the previous inequalities becomes an equality at some point leads to the splitting results as well as to a classification of such a solution u .


TPM FAIL TPM meets Timing and Lattice Attacks. Trusted Platform Module (TPM) serves as a hardware based root of trust that protects cryptographic keys from privileged system and physical adversaries. In this work, we perform a black box timing analysis of TPM 2.0 devices deployed on commodity computers. Our analysis reveals that some of these devices feature secret dependent execution times during signature generation based on elliptic curves. In particular, we discovered timing leakage on an Intel firmware based TPM as well as a hardware TPM. We show how this information allows an attacker to apply lattice techniques to recover 256 bit private keys for ECDSA and ECSchnorr signatures. On Intel fTPM, our key recovery succeeds after about 1,300 observations and in less than two minutes. Similarly, we extract the private ECDSA key from a hardware TPM manufactured by STMicroelectronics, which is certified at Common Criteria (CC) EAL 4 , after fewer than 40,000 observations. We further highlight the impact of these vulnerabilities by demonstrating a remote attack against a StrongSwan IPsec VPN that uses a TPM to generate the digital signatures for authentication. In this attack, the remote client recovers the server's private authentication key by timing only 45,000 authentication handshakes via a network connection. The vulnerabilities we have uncovered emphasize the difficulty of correctly implementing known constant time techniques, and show the importance of evolutionary testing and transparent evaluation of cryptographic implementations. Even certified devices that claim resistance against attacks require additional scrutiny by the community and industry, as we learn more about these attacks.


Trust and Medical AI The challenges we face and the expertise needed to overcome them. Artificial intelligence (AI) is increasingly of tremendous interest in the medical field. However, failures of medical AI could have serious consequences for both clinical outcomes and the patient experience. These consequences could erode public trust in AI, which could in turn undermine trust in our healthcare institutions. This article makes two contributions. First, it describes the major conceptual, technical, and humanistic challenges in medical AI. Second, it proposes a solution that hinges on the education and accreditation of new expert groups who specialize in the development, verification, and operation of medical AI technologies. These groups will be required to maintain trust in our healthcare institutions.


Fast and Low cost Search for Efficient Cloud Configurations for HPC Workloads. The use of cloud computational resources has become increasingly important for companies and researchers to access on demand and at any moment high performance resources. However, given the wide variety of virtual machine types, network configurations, number of instances, among others, finding the best configuration that reduces costs and resource waste while achieving acceptable performance is a hard task even for specialists. Thus, many approaches to find these good or optimal configurations for a given program have been proposed. Observing the performance of an application in some configuration takes time and money. Therefore, most of the approaches aim not only to find good solutions but also to reduce the search cost. One approach is the use of Bayesian Optimization to observe the least amount possible of configurations, reducing the search cost while still finding good solutions. Another approach is the use of a technique named Paramount Iteration to make performance assumptions of HPC workloads without entirely executing them (early stopping), reducing the cost of making one observation, and making it feasible to grid search solutions. In this work, we show that both techniques can be used together to do fewer and low cost observations. We show that such an approach can recommend Pareto optimal solutions that are on average 1.68x better than Random Searching and with a 6 time cheaper search.


On the Maximum Entropy of a Sum of Independent Discrete Random Variables. Let X 1, ldots, X n be independent random variables taking values in the alphabet 0, 1, ldots, r , and S n sum i 1 n X i . The Shepp Olkin theorem states that, in the binary case ( r 1 ), the Shannon entropy of S n is maximized when all the X i 's are uniformly distributed, i.e., Bernoulli(1 2). In an attempt to generalize this theorem to arbitrary finite alphabets, we obtain a lower bound on the maximum entropy of S n and prove that it is tight in several special cases. In addition to these special cases, an argument is presented supporting the conjecture that the bound represents the optimal value for all n, r , i.e., that H(S n) is maximized when X 1, ldots, X n 1 are uniformly distributed over 0, r , while the probability mass function of X n is a mixture (with explicitly defined non zero weights) of the uniform distributions over 0, r and 1, ldots, r 1 .


Ear2Face Deep Biometric Modality Mapping. In this paper, we explore the correlation between different visual biometric modalities. For this purpose, we present an end to end deep neural network model that learns a mapping between the biometric modalities. Namely, our goal is to generate a frontal face image of a subject given his her ear image as the input. We formulated the problem as a paired image to image translation task and collected datasets of ear and face image pairs from the Multi PIE and FERET datasets to train our GAN based models. We employed feature reconstruction and style reconstruction losses in addition to adversarial and pixel losses. We evaluated the proposed method both in terms of reconstruction quality and in terms of person identification accuracy. To assess the generalization capability of the learned mapping models, we also run cross dataset experiments. That is, we trained the model on the FERET dataset and tested it on the Multi PIE dataset and vice versa. We have achieved very promising results, especially on the FERET dataset, generating visually appealing face images from ear image inputs. Moreover, we attained a very high cross modality person identification performance, for example, reaching 90.9 Rank 10 identification accuracy on the FERET dataset.


A Monolingual Approach to Contextualized Word Embeddings for Mid Resource Languages. We use the multilingual OSCAR corpus, extracted from Common Crawl via language classification, filtering and cleaning, to train monolingual contextualized word embeddings (ELMo) for five mid resource languages. We then compare the performance of OSCAR based and Wikipedia based ELMo embeddings for these languages on the part of speech tagging and parsing tasks. We show that, despite the noise in the Common Crawl based OSCAR data, embeddings trained on OSCAR perform much better than monolingual embeddings trained on Wikipedia. They actually equal or improve the current state of the art in tagging and parsing for all five languages. In particular, they also improve over multilingual Wikipedia based contextual embeddings (multilingual BERT), which almost always constitutes the previous state of the art, thereby showing that the benefit of a larger, more diverse corpus surpasses the cross lingual benefit of multilingual embedding architectures.


FoodTracker A Real time Food Detection Mobile Application by Deep Convolutional Neural Networks. We present a mobile application made to recognize food items of multi object meal from a single image in real time, and then return the nutrition facts with components and approximate amounts. Our work is organized in two parts. First, we build a deep convolutional neural network merging with YOLO, a state of the art detection strategy, to achieve simultaneous multi object recognition and localization with nearly 80 mean average precision. Second, we adapt our model into a mobile application with extending function for nutrition analysis. After inferring and decoding the model output in the app side, we present detection results that include bounding box position and class label in either real time or local mode. Our model is well suited for mobile devices with negligible inference time and small memory requirements with a deep learning algorithm.


PRVNet Variational Autoencoders for Massive MIMO CSI Feedback. In a frequency division duplexing multiple input multiple output (FDD MIMO) system, the user equipment (UE) send the downlink channel state information (CSI) to the base station for performance improvement. However, with the growing complexity of MIMO systems, this feedback becomes expensive and has a negative impact on the bandwidth. Although this problem has been largely studied in the literature, the noisy nature of the feedback channel is less considered. In this paper, we introduce PRVNet, a neural architecture based on variational autoencoders (VAE). VAE gained large attention in many fields (e.g., image processing, language models, or recommendation system). However, it received less attention in the communication domain generally and in CSI feedback problem specifically. We also introduce a different regularization parameter for the learning objective, which proved to be crucial for achieving competitive performance. In addition, we provide an efficient way to tune this parameter using KL annealing. Empirically, we show that the proposed model significantly outperforms state of the art, including two neural network approaches. The proposed model is also proved to be more robust against different levels of noise.


Quantifying the Total Effect of Edge Interventions in Discrete Multistate Networks. Developing efficient computational methods to assess the impact of external interventions on the dynamics of a network model is an important problem in systems biology. This paper focuses on quantifying the global changes that result from the application of an intervention to produce a desired effect, which we define as the total effect of the intervention. The type of mathematical models that we will consider are discrete dynamical systems which include the widely used Boolean networks and their generalizations. The potential interventions can be represented by a set of nodes and edges that can be manipulated to produce a desired effect on the system. We use a class of regulatory rules called nested canalizing functions that frequently appear in published models and were inspired by the concept of canalization in evolutionary biology. In this paper, we provide a polynomial normal form based on the canalizing properties of regulatory functions. Using this polynomial normal form, we give a set of formulas for counting the maximum number of transitions that will change in the state space upon an edge deletion in the wiring diagram. These formulas rely on the canalizing structure of the target function since the number of changed transitions depends on the canalizing layer that includes the input to be deleted. We also present computations on random networks to compare the exact number of changes with the upper bounds provided by our formulas. Finally, we provide statistics on the sharpness of these upper bounds in random networks.


Symbiotic Graph Neural Networks for 3D Skeleton based Human Action Recognition and Motion Prediction. 3D skeleton based action recognition and motion prediction are two essential problems of human activity understanding. In many previous works 1) they studied two tasks separately, neglecting internal correlations 2) they did not capture sufficient relations inside the body. To address these issues, we propose a symbiotic model to handle two tasks jointly and we propose two scales of graphs to explicitly capture relations among body joints and body parts. Together, we propose symbiotic graph neural networks, which contain a backbone, an action recognition head, and a motion prediction head. Two heads are trained jointly and enhance each other. For the backbone, we propose multi branch multi scale graph convolution networks to extract spatial and temporal features. The multi scale graph convolution networks are based on joint scale and part scale graphs. The joint scale graphs contain actional graphs, capturing action based relations, and structural graphs, capturing physical constraints. The part scale graphs integrate body joints to form specific parts, representing high level relations. Moreover, dual bone based graphs and networks are proposed to learn complementary features. We conduct extensive experiments for skeleton based action recognition and motion prediction with four datasets, NTU RGB D, Kinetics, Human3.6M, and CMU Mocap. Experiments show that our symbiotic graph neural networks achieve better performances on both tasks compared to the state of the art methods.


Beyond Notations Hygienic Macro Expansion for Theorem Proving Languages. In interactive theorem provers (ITPs), extensible syntax is not only crucial to lower the cognitive burden of manipulating complex mathematical objects, but plays a critical role in developing reusable abstractions in libraries. Most ITPs support such extensions in the form of restrictive "syntax sugar" substitutions and other ad hoc mechanisms, which are too rudimentary to support many desirable abstractions. As a result, libraries are littered with unnecessary redundancy. Tactic languages in these systems are plagued by a seemingly unrelated issue accidental name capture, which often produces unexpected and counterintuitive behavior. We take ideas from the Scheme family of programming languages and solve these two problems simultaneously by proposing a novel hygienic macro system custom built for ITPs. We further describe how our approach can be extended to cover type directed macro expansion resulting in a single, uniform system offering multiple abstraction levels that range from supporting simplest syntax sugars to elaboration of formerly baked in syntax. We have implemented our new macro system and integrated it into the new version of the Lean theorem prover, Lean 4. Despite its expressivity, the macro system is simple enough that it can easily be integrated into other systems.


Image to image Neural Network for Addition and Subtraction of a Pair of Not Very Large Numbers. Looking back at the history of calculators, one can see that they become less functional and more computationally expensive over time. A modern calculator runs on a personal computer and is drawn at 60 fps only to help us click a few digits with a mouse pointer. A search engine is often used as a calculator, which means that nowadays we need the Internet just to add two numbers. In this paper, we propose to go further and train a convolutional neural network that takes an image of a simple mathematical expression and generates an image of an answer. This neural calculator works only with pairs of double digit numbers and supports only addition and subtraction. Also, sometimes it makes mistakes. We promise that the proposed calculator is a small step for man, but one giant leap for mankind.


Extensions of classical hypergeometric identities of Bailey and Whipple. We obtain extensions of classical hypergeometric identities of Bailey and Whipple that transform nearly poised and very well poised series to Saalsch "utzian series, Saalsch "utzian series to Saalsch "utzian series, and very well poised and nearly poised series to very well poised series. We employ a method in which summations and transformations of lower order series are used to obtain transformations of higher order series. By taking limits, we also obtain extensions of two classical quadratic transformations of Whipple and Bailey. Furthermore, we show how a number of other well known results regarding hypergeometric series follow as special cases of our results.


Cartesian bicategories with choice. Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well known categorical algebra of relations that has proved especially useful in recent applications. The passage between a category and its bicategory of relations is an important question that has been widely studied for decades. We study an alternative construction that yields a cartesian bicategory of relations. Its behaviour is closely related to the axiom of choice, which itself can be expressed in the language of cartesian bicategories.


Distributed Bounded Model Checking. Program verification is a resource hungry task. This paper looks at the problem of parallelizing SMT based automated program verification, specifically bounded model checking, so that it can be distributed and executed on a cluster of machines. We present an algorithm that dynamically unfolds the call graph of the program and frequently splits it to create sub tasks that can be solved in parallel. The algorithm is adaptive, controlling the splitting rate according to available resources, and also leverages information from the SMT solver to split where most complexity lies in the search. We implemented our algorithm by modifying CORRAL, the verifier used by Microsoft's Static Driver Verifier (SDV), and evaluate it on a series of hard SDV benchmarks.


A necessary and sufficient condition for radial property of positive entire solutions of Delta 2 u u q 0 in mathbf R 3 . In this article, we are concerned with the following geometric equation begin equation label MainEq Delta 2 u u q qquad text in mathbf R 3 end equation for q 0 . Recently in cite GWZ18 , Guo, Wei and Zhou have established the relationship between the radial symmetry and the exact growth rate at infinity of a positive entire solution of that equation as 1 q 3 . The aim of this paper is to obtain the similar result in the case q 3 thanks to the method of moving plane.


Tight Bounds for Online Edge Coloring. Vizing's celebrated theorem asserts that any graph of maximum degree Delta admits an edge coloring using at most Delta 1 colors. In contrast, Bar Noy, Naor and Motwani showed over a quarter century that the trivial greedy algorithm, which uses 2 Delta 1 colors, is optimal among online algorithms. Their lower bound has a caveat, however it only applies to low degree graphs, with Delta O( log n) , and they conjectured the existence of online algorithms using Delta(1 o(1)) colors for Delta omega( log n) . Progress towards resolving this conjecture was only made under stochastic arrivals (Aggarwal et al., FOCS'03 and Bahmani et al., SODA'10). We resolve the above conjecture for emph adversarial vertex arrivals in bipartite graphs, for which we present a (1 o(1)) Delta edge coloring algorithm for Delta omega( log n) known a priori. Surprisingly, if Delta is not known ahead of time, we show that no big( frac e e 1 Omega(1) big) Delta edge coloring algorithm exists. We then provide an optimal, big( frac e e 1 o(1) big) Delta edge coloring algorithm for unknown Delta omega( log n) . Key to our results, and of possible independent interest, is a novel fractional relaxation for edge coloring, for which we present optimal fractional online algorithms and a near lossless online rounding scheme, yielding our optimal randomized algorithms.


On Delaunay Triangulations of Gromov Sets. Let Y be a subset of a metric space X. We say that Y is eta Gromov provided Y is eta separated and not properly contained in any other eta separated subset of X. In this paper, we review a result of Chew which says that any eta Gromov subset of mathbb R 2 admits a triangulation mathcal T whose smallest angle is at least pi 6 and whose edges have length between eta and 2 eta . We then show that given any k 1,2,3 ldots , there is a subdivision mathcal T k of mathcal T whose edges have length in left frac eta 10 k , frac 2 eta 10 k right and whose minimum angle is also pi 6 . These results are used in the proof of the following theorem in 10 For any k in R,v 0, and D 0, the class of closed Riemannian 4 manifolds with sectional curvature geq k, volume geq v, and diameter leq D contains at most finitely many diffeomorphism types. Additionally, these results imply that for any varepsilon 0 , if eta 0 is sufficiently small, any eta Gromov subset of a compact Riemannian 2 manifold admits a geodesic triangulation mathcal T for which all side lengths are in left eta left( 1 varepsilon right) ,2 eta left( 1 varepsilon right) right and all angles are geq frac pi 6 varepsilon .


Quasipositive braids and connected sums. We prove that the connected sum of two links is quasipositive if and onlyif each summand is quasipositive. The prove is based on the filling disk technique


ADDENDUM Details of the Derivation of the Probability of Coverage for the Relaying Scheme (Section IV in the paper "A Poisson Line Process based Framework for Determining the Needed RSU Density and Relaying Hops in Vehicular Networks''). This paper develops a framework to study multi hop relaying in a vehicular network consisting of vehicles and Road Side Units (RSUs), and the effect of this relaying on the network coverage and the communication delay. We use a stochastic geometry model that consists of a combination of Poisson Line Process (PLP) and 1D Poisson Point Process (PPP) to reliably characterize the vehicular network layout and the locations of the vehicles and the RSUs. Using this model, we analyze the effect of the different network parameters on the coverage provided by the RSUs to the vehicles. Then, we investigate how the uncovered vehicles can receive their intended packets by relaying them through multiple hops that form connected paths to the RSUs. We also analyze the delay introduced to packet delivery due to multi hop relaying. Namely, we present results that illustrate the coverage gains achieved through multi hop relaying and the delays induced. Such results could be used by network planners and operators to decide on the different configurations and operational parameters of the vehicular network to suit particular scenarios and objectives.


Joint task Self supervised Learning for Temporal Correspondence. This paper proposes to learn reliable dense correspondence from videos in a self supervised manner. Our learning process integrates two highly related tasks tracking large image regions emph and establishing fine grained pixel level associations between consecutive video frames. We exploit the synergy between both tasks through a shared inter frame affinity matrix, which simultaneously models transitions between video frames at both the region and pixel levels. While region level localization helps reduce ambiguities in fine grained matching by narrowing down search regions fine grained matching provides bottom up features to facilitate region level localization. Our method outperforms the state of the art self supervised methods on a variety of visual correspondence tasks, including video object and part segmentation propagation, keypoint tracking, and object tracking. Our self supervised method even surpasses the fully supervised affinity feature representation obtained from a ResNet 18 pre trained on the ImageNet.


Modeling an Augmented Reality Game Environment to Enhance Behavior of ADHD Patients. The paper generically models an augmented reality game based environment to project the gamification of an online cognitive behavioral therapist that performs instant measurements for patients with a predefined Attention Deficit Hyperactivity Disorder (ADHD). ADHD is one of the most common neurodevelopmental disorders in which patients have difficulties related to inattention, hyperactivity, and impulsivity. Those patients are in need for a psychological therapy the use of cognitive behavioral therapy as a firmly established treatment is to help in enhancing the way they think and behave. A major limitation in traditional cognitive behavioral therapies is that therapists may face difficulty to optimize patients' neuropsychological stimulus following a specified treatment plan, i.e., therapists struggle to draw clear images when stimulating patients' mindset to a point where they should be. Other limitations recognized here include availability, accessibility and level of experience of the therapists. Therefore, the paper present a gamification model, we term as "AR Therapist," in order to take advantages of augmented reality developments to engage patients in both real and virtual game based environments. The model provides an on time measurements of patients' progress throughout the treatment sessions which, in result, overcomes limitations observed in traditional cognitive behavioral therapies.


Sign variation and descents. For any n 0 and 0 leq m n , let P n,m be the poset of projective equivalence classes of ,0, vectors of length n with sign variation bounded by m , ordered by reverse inclusion of the positions of zeros. Let Delta n,m be the order complex of P n,m . A previous result from the third author shows that Delta n,m is Cohen Macaulay over mathbb Q whenever m is even or m n 1 . Hence, it follows that the h vector of Delta n,m consists of nonnegative entries. Our main result states that Delta n,m is partitionable and we give an interpretation of the h vector when m is even or m n 1 . When m n 1 the entries of the h vector turn out to be the new Eulerian numbers of type D studied by Borowiec and M l otkowski in em Electron. J. Combin. , 23(1) Paper 1.38, 13, 2016 . We then combine our main result with Klee's generalized Dehn Sommerville relations to give a geometric proof of some facts about these Eulerian numbers of type D .


ROME Robustifying Memory Efficient NAS via Topology Disentanglement and Gradients Accumulation. Single path based differentiable neural architecture search has great strengths for its low computational cost and memory friendly nature. However, we surprisingly discover that it suffers from severe searching instability which has been primarily ignored, posing a potential weakness for a wider application. In this paper, we delve into its performance collapse issue and propose a new algorithm called RObustifying Memory Efficient NAS (ROME). Specifically, 1) for consistent topology in the search and evaluation stage, we involve separate parameters to disentangle the topology from the operations of the architecture. In such a way, we can independently sample connections and operations without interference 2) to discount sampling unfairness and variance, we enforce fair sampling for weight update and apply a gradient accumulation mechanism for architecture parameters. Extensive experiments demonstrate that our proposed method has strong performance and robustness, where it mostly achieves state of the art results on a large number of standard benchmarks.


Intersection of a partitional and a general infinite matroid. Let E be a possibly infinite set and let M and N be matroids defined on E . We say that the pair M,N has the Intersection property if M and N share an independent set I admitting a bipartition I M sqcup I N such that mathsf span M(I M) cup mathsf span N(I N) E . The Matroid Intersection Conjecture of Nash Williams says that every matroid pair has the Intersection property. The conjecture is known and easy to prove in the case when one of the matroids is uniform and it was shown by Bowler and Carmesin that the conjecture is implied by its special case where one of the matroids is a direct sum of uniform matroids, i.e., is a partitional matroid. We show that if M is an arbitrary matroid and N is the direct sum of finitely many uniform matroids, then M, N has the Intersection property.


A Supervised Machine Learning Approach for Accelerating the Design of Particulate Composites Application to Thermal Conductivity. A supervised machine learning (ML) based computational methodology for the design of particulate multifunctional composite materials with desired thermal conductivity (TC) is presented. The design variables are physical descriptors of the material microstructure that directly link microstructure to the material's properties. A sufficiently large and uniformly sampled database was generated based on the Sobol sequence. Microstructures were realized using an efficient dense packing algorithm, and the TCs were obtained using our previously developed Fast Fourier Transform (FFT) homogenization method. Our optimized ML method is trained over the generated database and establishes the complex relationship between the structure and properties. Finally, the application of the trained ML model in the inverse design of a new class of composite materials, liquid metal (LM) elastomer, with desired TC is discussed. The results show that the surrogate model is accurate in predicting the microstructure behavior with respect to high fidelity FFT simulations, and inverse design is robust in finding microstructure parameters according to case studies.


A Survey on Explainability in Machine Reading Comprehension. This paper presents a systematic review of benchmarks and approaches for explainability in Machine Reading Comprehension (MRC). We present how the representation and inference challenges evolved and the steps which were taken to tackle these challenges. We also present the evaluation methodologies to assess the performance of explainable systems. In addition, we identify persisting open research questions and highlight critical directions for future work.


Treewidth versus clique number. I. Graph classes with a forbidden structure. Treewidth is an important graph invariant, relevant for both structural and algorithmic reasons. A necessary condition for a graph class to have bounded treewidth is the absence of large cliques. We study graph classes closed under taking induced subgraphs in which this condition is also sufficient, which we call (tw, omega) bounded. Such graph classes are known to have useful algorithmic applications related to variants of the clique and k coloring problems. We consider six well known graph containment relations the minor, topological minor, subgraph, induced minor, induced topological minor, and induced subgraph relations. For each of them, we give a complete characterization of the graphs H for which the class of graphs excluding H is (tw, omega) bounded. Our results yield an infinite family of chi bounded induced minor closed graph classes and imply that the class of 1 perfectly orientable graphs is (tw, omega) bounded, leading to linear time algorithms for k coloring 1 perfectly orientable graphs for every fixed k . This answers a question of Bre v sar, Hartinger, Kos, and Milani v c from 2018 and one of Beisegel, Chudnovsky, Gurvich, Milani v c , and Servatius from 2019, respectively. We also reveal some further algorithmic implications of (tw, omega) boundedness related to list k coloring and clique problems. In addition, we propose a question about the complexity of the maximum weight independent set problem in (tw, omega) bounded graph classes and prove that the problem is polynomial time solvable in every class of graphs excluding a fixed star as an induced minor.


Mitigating Gender Bias in Natural Language Processing Literature Review. As Natural Language Processing (NLP) and Machine Learning (ML) tools rise in popularity, it becomes increasingly vital to recognize the role they play in shaping societal biases and stereotypes. Although NLP models have shown success in modeling various applications, they propagate and may even amplify gender bias found in text corpora. While the study of bias in artificial intelligence is not new, methods to mitigate gender bias in NLP are relatively nascent. In this paper, we review contemporary studies on recognizing and mitigating gender bias in NLP. We discuss gender bias based on four forms of representation bias and analyze methods recognizing gender bias. Furthermore, we discuss the advantages and drawbacks of existing gender debiasing methods. Finally, we discuss future studies for recognizing and mitigating gender bias in NLP.


Order of Control and Perceived Control over Personal Information. Focusing on personal information disclosure, we apply control theory and the notion of the Order of Control to study people's understanding of the implications of information disclosure and their tendency to consent to disclosure. We analyzed the relevant literature and conducted a preliminary online study (N 220) to explore the relationship between the Order of Control and perceived control over personal information. Our analysis of existing research suggests that the notion of the Order of Control can help us understand people's decisions regarding the control over their personal information. We discuss limitations and future directions for research regarding the application of the idea of the Order of Control to online privacy.


Cycle lengths in sparse random graphs. We study the set cal L (G) of lengths of all cycles that appear in a random d regular G on n vertices for a fixed d geq 3 , as well as in Erd H o s R 'enyi random graphs on n vertices with a fixed average degree c 1 . Fundamental results on the distribution of cycle counts in these models were established in the 1980's and early 1990's, with a focus on the extreme lengths cycles of fixed length, and cycles of length linear in n . Here we derive, for a random d regular graph, the limiting probability that cal L (G) simultaneously contains the entire range ell, ldots,n for ell geq 3 , as an explicit expression theta ell theta ell(d) in(0,1) which goes to 1 as ell to infty . For the random graph cal G (n,p) with p c n , where c geq C 0 for some absolute constant C 0 , we show the analogous result for the range ell, ldots,(1 o(1))L max (G) , where L max is the length of a longest cycle in G . The limiting probability for cal G (n,p) coincides with theta ell from the d regular case when c is the integer d 1 . In addition, for the directed random graph cal D (n,p) we show results analogous to those on cal G (n,p) , and for both models we find an interval of c epsilon 2 n consecutive cycle lengths in the slightly supercritical regime p frac 1 epsilon n .


Classification of the blow up behavior for a semilinear wave equation with nonconstant degenerate coefficients. We consider a nonlinear wave equation with nonconstant coefficients. In particular, the coefficient in front of the second order space derivative is degenerate. We give the blow up behavior and the regularity of the blow up set. Partial results are given at the origin, where the degeneracy occurs. Some nontrivial obstacles, due to the nonconstant speed of propagation, have to be surmounted.


Generalized Shortest Path based Superpixels for Accurate Segmentation of Spherical Images. Most of existing superpixel methods are designed to segment standard planar images as pre processing for computer vision pipelines. Nevertheless, the increasing number of applications based on wide angle capture devices, mainly generating 360 deg spherical images, have enforced the need for dedicated superpixel approaches. In this paper, we introduce a new superpixel method for spherical images called SphSPS (for Spherical Shortest Path based Superpixels). Our approach respects the spherical geometry and generalizes the notion of shortest path between a pixel and a superpixel center on the 3D spherical acquisition space. We show that the feature information on such path can be efficiently integrated into our clustering framework and jointly improves the respect of object contours and the shape regularity. To relevantly evaluate this last aspect in the spherical space, we also generalize a planar global regularity metric. Finally, the proposed SphSPS method obtains significantly better performance than both planar and recent spherical superpixel approaches on the reference 360 deg spherical panorama segmentation dataset.


Target Privacy Preserving for Social Networks. In this paper, we incorporate the realistic scenario of key protection into link privacy preserving and propose the target link privacy preserving (TPP) model target links referred to as targets are the most important and sensitive objectives that would be intentionally attacked by adversaries, in order that need privacy protections, while other links of less privacy concerns are properly released to maintain the graph utility. The goal of TPP is to limit the target disclosure by deleting a budget limited set of alternative non target links referred to as protectors to defend the adversarial link predictions for all targets. Traditional link privacy preserving treated all links as targets and concentrated on structural level protections in which serious link disclosure and high graph utility loss is still the bottleneck of graph releasing today, while TPP focuses on the target level protections in which key protection is implemented on a tiny fraction of critical targets to achieve better privacy protection and lower graph utility loss. Currently there is a lack of clear TPP problem definition, provable optimal or near optimal protector selection algorithms and scalable implementations on large scale social graphs. Firstly, we introduce the TPP model and propose a dissimilarity function used for measuring the defense ability against privacy analyzing for the targets. We consider two different problems by budget assignment settings 1) we protect all targets and to optimize the dissimilarity of all targets with a single budget 2) besides the protections of all targets, we also care about the protection of each target by assigning a local budget to every target, considering two local protector selections. We also implement scalable implementations and experiments to demonstrate the effectiveness and efficiency of the proposed algorithms.


Learning Dense Visual Correspondences in Simulation to Smooth and Fold Real Fabrics. Robotic fabric manipulation is challenging due to the infinite dimensional configuration space, self occlusion, and complex dynamics of fabrics. There has been significant prior work on learning policies for specific deformable manipulation tasks, but comparatively less focus on algorithms which can efficiently learn many different tasks. In this paper, we learn visual correspondences for deformable fabrics across different configurations in simulation and show that this representation can be used to design policies for a variety of tasks. Given a single demonstration of a new task from an initial fabric configuration, the learned correspondences can be used to compute geometrically equivalent actions in a new fabric configuration. This makes it possible to robustly imitate a broad set of multi step fabric smoothing and folding tasks on multiple physical robotic systems. The resulting policies achieve 80.3 average task success rate across 10 fabric manipulation tasks on two different robotic systems, the da Vinci surgical robot and the ABB YuMi. Results also suggest robustness to fabrics of various colors, sizes, and shapes. See https tinyurl.com fabric descriptors for supplementary material and videos.


Optimal Control of a Malaria Model with Long Lasting Insecticide Treated Nets. A deterministic multi stage malaria model with a non therapeutic control measure, the use of mosquito bednet is formulated and analyzed. The model basic reproduction number is derived, and analytical results show that the models equilibria are locally and globally asymptotically stable when certain threshold conditions are satisfied. Pontryagin's Maximum Principle with respect to a time dependent constant is used to derive the necessary conditions for the optimal usage of the Long Lasting Insecticide treated bednets(LLINs) to mitigate the malaria transmission dynamics. This is accomplished by introducing biologically admissible control and e approximate sub optimal control. The results from this study could help public health planners and policy decision makers to design reachable and more practical malaria prevention programs "close" to the optimal strategy.


Paraphrasing with Large Language Models. Recently, large language models such as GPT 2 have shown themselves to be extremely adept at text generation and have also been able to achieve high quality results in many downstream NLP tasks such as text classification, sentiment analysis and question answering with the aid of fine tuning. We present a useful technique for using a large language model to perform the task of paraphrasing on a variety of texts and subjects. Our approach is demonstrated to be capable of generating paraphrases not only at a sentence level but also for longer spans of text such as paragraphs without needing to break the text into smaller chunks.


Towards Combating Pandemic related Misinformation in Social Media. Conventional preventive measures during pandemic include social distancing and lockdown. Such measures in the time of social media brought about a new set of challenges vulnerability to the toxic impact of online misinformation is high. A case in point is the prevailing COVID 19 as the virus propagates, so does the associated misinformation and fake news about it leading to infodemic. Since the outbreak, there has been a surge of studies investigating various aspects of the pandemic. Of interest to this chapter include studies centring on datasets from online social media platforms where the bulk of the public discourse happen. Consequently, the main goal is to support the fight against negative infodemic by (1) contributing a diverse set of curated relevant datasets (2) recommending relevant areas to study using the datasets (3) discussion on how relevant datasets, strategies and state of the art IT tools can be leveraged in managing the pandemic.


Kashiwara Vergne and dihedral bigraded Lie algebras in mould theory. We introduce the Kashiwara Vergne bigraded Lie algebra associated with a finite abelian group and give its mould theoretic reformulation. By using the mould theory, we show that it includes Goncharov's dihedral Lie algebra, which generalizes the result of Raphael and Schneps.


Distribution of the Sum of Fisher Snedecor mathcal F Random Variables and Its Applications. The statistical characterization of the sum of random variables (RVs) are useful for investigating the performance of wireless communication systems. We derive exact closed form expressions for the probability density function (PDF) and cumulative distribution function (CDF) of a sum of independent but not identically distributed (i.n.i.d.) Fisher Snedecor mathcal F RVs. Both PDF and CDF are given in terms of the multivariate Fox's H function. Besides, a simple and accurate approximation to the sum of i.n.i.d. Fisher Snedecor mathcal F variates is presented using the moment matching method. The obtained PDF and CDF are used to evaluate the performance of wireless communication applications including the outage probability, the effective capacity and the channel capacities under four different adaptive transmission strategies. Moreover, the corresponding approximate expressions are obtained to provide useful insights for the design and deployment of wireless communication systems. In addition, we derive simple asymptotic expressions for the proposed mathematical analysis in the high signal to noise ratio regime. Finally, the numerical results demonstrate the accuracy of the derived expressions.


Prediction in ungauged regions with sparse flow duration curves and input selection ensemble modeling. While long short term memory (LSTM) models have demonstrated stellar performance with streamflow predictions, there are major risks in applying these models in contiguous regions with no gauges, or predictions in ungauged regions (PUR) problems. However, softer data such as the flow duration curve (FDC) may be already available from nearby stations, or may become available. Here we demonstrate that sparse FDC data can be migrated and assimilated by an LSTM based network, via an encoder. A stringent region based holdout test showed a median Kling Gupta efficiency (KGE) of 0.62 for a US dataset, substantially higher than previous state of the art global scale ungauged basin tests. The baseline model without FDC was already competitive (median KGE 0.56), but integrating FDCs had substantial value. Because of the inaccurate representation of inputs, the baseline models might sometimes produce catastrophic results. However, model generalizability was further meaningfully improved by compiling an ensemble based on models with different input selections.


Relationship Embedded Representation Learning for Grounding Referring Expressions. Grounding referring expressions in images aims to locate the object instance in an image described by a referring expression. It involves a joint understanding of natural language and image content, and is essential for a range of visual tasks related to human computer interaction. As a language to vision matching task, the core of this problem is to not only extract all the necessary information (i.e., objects and the relationships among them) in both the image and referring expression, but also make full use of context information to align cross modal semantic concepts in the extracted information. Unfortunately, existing work on grounding referring expressions fails to accurately extract multi order relationships from the referring expression and associate them with the objects and their related contexts in the image. In this paper, we propose a Cross Modal Relationship Extractor (CMRE) to adaptively highlight objects and relationships (spatial and semantic relations) related to the given expression with a cross modal attention mechanism, and represent the extracted information as a language guided visual relation graph. In addition, we propose a Gated Graph Convolutional Network (GGCN) to compute multimodal semantic contexts by fusing information from different modes and propagating multimodal information in the structured relation graph. Experimental results on three common benchmark datasets show that our Cross Modal Relationship Inference Network, which consists of CMRE and GGCN, significantly surpasses all existing state of the art methods. Code is available at https github.com sibeiyang sgmn tree master lib cmrin models


Phase modulation in storage ring RF systems. This paper presents a conceptual approach to phase modulation of the cavity field in storage ring RF systems. An implementation of the concept on Dimtel low level RF controllers is also presented. The method is illustrated with the test results from a cavity simulator, as well as an electron storage ring KARA.


Exact and heuristic methods for the discrete parallel machine scheduling location problem. The discrete parallel machine makespan scheduling location (ScheLoc) problem is an integrated combinatorial optimization problem that combines facility location and job scheduling. The problem consists in choosing the locations of p machines among a finite set of candidates and scheduling a set of jobs on these machines, aiming to minimize the makespan. Depending on the machine location, the jobs may have different release dates, and thus the location decisions have a direct impact on the scheduling decisions. To solve the problem, it is proposed a new arc flow formulation, a column generation and three heuristic procedures that are evaluated through extensive computational experiments. By embedding the proposed procedures into a framework algorithm, we are able to find proven optimal solutions for all benchmark instances from the related literature and to obtain small percentage gaps for a new set of challenging instances.


Self organization of multi layer spiking neural networks. Living neural networks in our brains autonomously self organize into large, complex architectures during early development to result in an organized and functional organic computational device. A key mechanism that enables the formation of complex architecture in the developing brain is the emergence of traveling spatio temporal waves of neuronal activity across the growing brain. Inspired by this strategy, we attempt to efficiently self organize large neural networks with an arbitrary number of layers into a wide variety of architectures. To achieve this, we propose a modular tool kit in the form of a dynamical system that can be seamlessly stacked to assemble multi layer neural networks. The dynamical system encapsulates the dynamics of spiking units, their inter intra layer interactions as well as the plasticity rules that control the flow of information between layers. The key features of our tool kit are (1) autonomous spatio temporal waves across multiple layers triggered by activity in the preceding layer and (2) Spike timing dependent plasticity (STDP) learning rules that update the inter layer connectivity based on wave activity in the connecting layers. Our framework leads to the self organization of a wide variety of architectures, ranging from multi layer perceptrons to autoencoders. We also demonstrate that emergent waves can self organize spiking network architecture to perform unsupervised learning, and networks can be coupled with a linear classifier to perform classification on classic image datasets like MNIST. Broadly, our work shows that a dynamical systems framework for learning can be used to self organize large computational devices.


Consecutive Patterns in Inversion Sequences. An inversion sequence of length n is an integer sequence e e 1 e 2 dots e n such that 0 leq e i i for each i . Corteel Martinez Savage Weselcouch and Mansour Shattuck began the study of patterns in inversion sequences, focusing on the enumeration of those that avoid classical patterns of length 3. We initiate an analogous systematic study of consecutive patterns in inversion sequences, namely patterns whose entries are required to occur in adjacent positions. We enumerate inversion sequences that avoid consecutive patterns of length 3, and generalize some results to patterns of arbitrary length. Additionally, we study the notion of Wilf equivalence of consecutive patterns in inversion sequences, as well as generalizations of this notion analogous to those studied for permutation patterns. We classify patterns of length up to 4 according to the corresponding Wilf equivalence relations.


Treeplication An Erasure Code for Distributed Full Recovery under the Random Multiset Channel. This paper presents a new erasure code called Treeplication designed for distributed recovery of the full information word, while most prior work in coding for distributed storage only supports distributed repair of individual symbols. A Treeplication code for k information symbols is defined on a binary tree with 2k 1 vertices, along with a distribution for selecting code symbols from the tree layers. We analyze and optimize the code under a random multiset model, which captures the system property that the nodes available for recovery are drawn randomly from the nodes storing the code symbols. Treeplication codes are shown to have full recovery communication cost comparable to replication, while offering much better recoverability.


Reducing the number of equations defining a subset of the n space over a finite field. Let f 1 , ldots, f k be polynomials defining an algebraic set in affine n space over a finite field. Suppose k n . We prove that there exists a system of polynomials g 1 , ldots, g n , each being a linear combination with scalar coefficients of f 1 , ldots, f k , defining the same algebraic set. In particular, one reduces the number of equations without increasing the total degree. We also have the corresponding result for systems of homogeneous polynomials defining algebraic sets in projective spaces.


Geometric analysis of Oscillations in the Frzilator model. A biochemical oscillator model, describing developmental stage of myxobacteria, is analyzed mathematically. Observations from numerical simulations show that in a certain range of parameters, the corresponding system of ordinary differential equations displays stable and robust oscillations. In this work, we use geometric singular perturbation theory and blow up method to prove the existence of a strongly attracting limit cycle. This cycle corresponds to a relaxation oscillation of an auxiliary system, whose singular perturbation nature originates from the small Michaelis Menten constants of the biochemical model. In addition, we give a detailed description of the structure of the limit cycle, and the timescales along it.


Reservoir Characterizations by Deep Learning Model Detection of True Sand Thickness. It is an extremely challenging task to precisely identify the reservoir characteristics directly from seismic data due to its inherit nature. Here, we successfully design a deep learning model integrated with synthetic wedge models to overcome the geophysical limitation while performing the interpretation of thickness of sand bodies from a low resolution of seismic data. Through understanding and learning the geophysical relationship between seismic responses and corresponding indicators for sand thickness, the deep learning model could automatically detect the locations of top and base of sand bodies identified from seismic traces by precisely revealing the lithology distribution. Quantitative analysis and extensive validations from wedge models and field data prove the robustness of the proposed methodologies. The true sand thickness, identified from the deep learning model, provides an extremely useful guidance in enhancing the interpretation of lithological and stratigraphic information from seismic data. In addition, the proposed deep learning approach eliminates the risks of over and under estimation of net to gross with a significant improvement with respect to the accuracy.


Electron Positron Collider Design simulations from long proton driven beam to 125GeV witness electron and positron bunches. In this paper, the feasibility of the electron positron collider based on plasma accelerator is proved by simulation experiments. Starting from the 17.612cm proton beam provided by SPS (super proton synchrotron), the simulation shows that the long proton beam can form several high quality proton bunches through seeded self modulation in the first half of the long proton beam in a uniform plasma. Then we use these high quality bunches to excite the wakefield in a uniform plasma and accelerate witness positrons and witness electrons. The simulation results show that the average energy of witness bunches after about 90 meters acceleration is about 125 GeV, and the average acceleration gradient is about 1.3 GeV m. The center of mass (CoM) energy of positron electron collision is about 125 GeV. The energy spread, witness particle survival rate, emittances and luminorsity of the output witness bunches are also discussed.


RL QN A Reinforcement Learning Framework for Optimal Control of Queueing Systems. With the rapid advance of information technology, network systems have become increasingly complex and hence the underlying system dynamics are often unknown or difficult to characterize. Finding a good network control policy is of significant importance to achieve desirable network performance (e.g., high throughput or low delay). In this work, we consider using model based reinforcement learning (RL) to learn the optimal control policy for queueing networks so that the average job delay (or equivalently the average queue backlog) is minimized. Traditional approaches in RL, however, cannot handle the unbounded state spaces of the network control problem. To overcome this difficulty, we propose a new algorithm, called Reinforcement Learning for Queueing Networks (RL QN), which applies model based RL methods over a finite subset of the state space, while applying a known stabilizing policy for the rest of the states. We establish that the average queue backlog under RL QN with an appropriately constructed subset can be arbitrarily close to the optimal result. We evaluate RL QN in dynamic server allocation, routing and switching problems. Simulation results show that RL QN minimizes the average queue backlog effectively.


Spectral properties of generalized Paley graphs and their associated irreducible cyclic codes. For q p m with p prime and k mid q 1 , we consider the generalized Paley graph Gamma(k,q) Cay( mathbb F q, R k) , with R k x k x in mathbb F q , and the irreducible p ary cyclic code mathcal C (k,q) ( textrm Tr q p ( gamma omega ik ) i 0 n 1 ) gamma in mathbb F q , with omega a primitive element of mathbb F q and n tfrac q 1 k . We first express the spectra of Gamma(k,q) in terms of Gaussian periods. Then, we show that the spectra of Gamma(k,q) and mathcal C (k,q) are mutually determined by each other if further k mid tfrac q 1 p 1 . We give Spec( Gamma(k,q)) explicitly for those graphs associated with irreducible 2 weight cyclic codes in the semiprimitive and exceptional cases. We also compute Spec( Gamma(3,q)) and Spec( Gamma(4,q)) .


Sets with arithmetic progressions are abundant. Furstenberg, Glasscock, Bergelson, Beiglboeck have been studied abundance in arithmatic progression on various large sets like piecewise syndetic, central, thick, etc. but also there are so many sets in which abundance in progression is still unsettled like J sets, C sets, D sets etc. But all of these sets have a common property that they contains arbitrary length of arithmatic progressions. These type of sets are called sets of A.P. rich, we have given an elementary proof of abundance of those sets.


On the globalization of Riemannian Newton method. In the present paper, in order to fnd a singularity of a vector field defined on Riemannian manifolds, we present a new globalization strategy of Newton method and establish its global convergence with superlinear rate. In particular, this globalization generalizes for a general retraction the existing damped Newton's method. The presented global convergence analysis does not require any hypotesesis on singularity of the vector field. We applied the proposed method to solve the truncated singular value problem on the product of two Stiefel manifolds, the dextrous hand grasping problem on the cone of symmetric positive definite matrices and the Rayleigh quotient on the sphere. Moreover, some academic problems are solved. Numerical experiments are presented showing that the proposed algorithm has better robustness compared with the aforementioned method.


Identifiability of Linear Compartmental Models The Effect of Moving Inputs, Outputs, and Leaks. A mathematical model is identifiable if its parameters can be recovered from data. Here we investigate, for linear compartmental models, whether (local, generic) identifiability is preserved when parts of the model specifically, inputs, outputs, leaks, and edges are moved, added, or deleted. Our results are as follows. First, for certain catenary, cycle, and mammillary models, moving or deleting the leak preserves identifiability. Next, for cycle models with up to one leak, moving inputs or outputs preserves identifiability. Thus, every cycle model with up to one leak (and at least one input and at least one output) is identifiable. Next, we give conditions under which adding leaks renders a cycle model unidentifiable. Finally, for certain cycle models with no leaks, adding specific edges again preserves identifiability. Our proofs, which are algebraic and combinatorial in nature, rely on results on elementary symmetric polynomials and the theory of input output equations for linear compartmental models.


Beyond the maximum drag reduction asymptote the pseudo laminar state. Recent experiments indicated that polymers can reduce the turbulent drag beyond the asymptotic limit known as the MDR, leading to a laminar flow. In this Letter, we show through direct numerical simulations that, when the MDR is exceeded, the flow can remain in a laminar like regime for a very long period without being truly laminar. During this period called pseudo laminar state, a transient behavior is observed as a consequence of a small rate of polymer energy injected into the flow. Later on, flow instabilities develop across the channel, finally triggering elastoinertial turbulence.


Parallel Implementations for Computing the Minimum Distance of a Random Linear Code on Multicomputers. The minimum distance of a linear code is a key concept in information theory. Therefore, the time required by its computation is very important to many problems in this area. In this paper, we introduce a family of implementations of the Brouwer Zimmermann algorithm for distributed memory architectures for computing the minimum distance of a random linear code over F2. Both current commercial and public domain software only work on either unicore architectures or shared memory architectures, which are limited in the number of cores processors employed in the computation. Our implementations focus on distributed memory architectures, thus being able to employ hundreds or even thousands of cores in the computation of the minimum distance. Our experimental results show that our implementations are much faster, even up to several orders of magnitude, than current implementations widely used nowadays.


AuthSC Mind the Gap between Web and Smart Contracts. Although almost all information about Smart Contract addresses is shared via websites, emails, or other forms of digital communication, Blockchains and distributed ledger technology are unable to establish secure bindings between websites and corresponding Smart Contracts. For a user, it is impossible to differentiate whether a website links to a legitimate Smart Contract set up by owners of a business or to an illicit contract aiming to steal users' funds. Surprisingly, current attempts to solve this issue mostly comprise of information redundancy, e.g., displaying contract addresses multiple times in varying forms of images and texts. These processes are burdensome, as the user is responsible for verifying the correctness of an address. More importantly, they do not address the core issue, as the contract itself does not contain information about its authenticity. To solve current issues for these applications and increase security, we propose a solution that facilitates publicly issued SSL TLS certificates of Fully Qualified Domain Names (FQDN) to ensure the authenticity of Smart Contracts and their owners. Our approach combines on chain identity assertion utilizing signatures from the respective certificate and off chain authentication of the Smart Contract stored on the Blockchain. This approach allows to tackle the aforementioned issue and further enables applications such as the identification of consortia members in permissioned networks. The system is open and transparent, as the only requirement for usage is ownership of an SSL TLS certificate. To enable privacy preserving authenticated Smart Contracts, we allow one way and two way binding between website and contract. Further, low creation and maintenance costs, a widely accepted public key infrastructure and user empowerment will drive potential adaption of Ethereum Authenticated Smart Contracts (AuthSC).


ARAE Adversarially Robust Training of Autoencoders Improves Novelty Detection. Autoencoders (AE) have recently been widely employed to approach the novelty detection problem. Trained only on the normal data, the AE is expected to reconstruct the normal data effectively while fail to regenerate the anomalous data, which could be utilized for novelty detection. However, in this paper, it is demonstrated that this does not always hold. AE often generalizes so perfectly that it can also reconstruct the anomalous data well. To address this problem, we propose a novel AE that can learn more semantically meaningful features. Specifically, we exploit the fact that adversarial robustness promotes learning of meaningful features. Therefore, we force the AE to learn such features by penalizing networks with a bottleneck layer that is unstable against adversarial perturbations. We show that despite using a much simpler architecture in comparison to the prior methods, the proposed AE outperforms or is competitive to state of the art on three benchmark datasets.


Photofield electron emission from an optical fiber nanotip. We demonstrate a nanotip electron source based on a graded index multimode silica optical fiber, tapered at one end to a radius of curvature r 50 nm and coated with a thin film of gold. We report observation of laser induced electron photoemission at tip bias potentials below the onset of dark field emission (FE). Single photon photofield emission (PFE) is identified as the emission mechanism, which exhibits fast switching times with an upper limit on the order of 1 mu s. The explored fiber optic nanotips are flexible back illuminated emitters, which can be operated in continuous wave (CW) and pulsed modes using lasers with photon energies in the visible range or higher. The mechanical flexibility of the source can facilitate externally controlled positioning. Multiple, individually addressable, nanotips may be assembled into a bundle for applications such as computational electron ghost imaging.


A Machine Learning guided Rewriting Approach for ASP Logic Programs. Answer Set Programming (ASP) is a declarative logic formalism that allows to encode computational problems via logic programs. Despite the declarative nature of the formalism, some advanced expertise is required, in general, for designing an ASP encoding that can be efficiently evaluated by an actual ASP system. A common way for trying to reduce the burden of manually tweaking an ASP program consists in automatically rewriting the input encoding according to suitable techniques, for producing alternative, yet semantically equivalent, ASP programs. However, rewriting does not always grant benefits in terms of performance hence, proper means are needed for predicting their effects with this respect. In this paper we describe an approach based on Machine Learning (ML) to automatically decide whether to rewrite. In particular, given an ASP program and a set of input facts, our approach chooses whether and how to rewrite input rules based on a set of features measuring their structural properties and domain information. To this end, a Multilayer Perceptrons model has then been trained to guide the ASP grounder I DLV on rewriting input rules. We report and discuss the results of an experimental evaluation over a prototypical implementation.


A Hybrid Approach for Improved Low Resource Neural Machine Translation using Monolingual Data. Many language pairs are low resource, meaning the amount and or quality of available parallel data is not sufficient to train a neural machine translation (NMT) model which can reach an acceptable standard of accuracy. Many works have explored using the readily available monolingual data in either or both of the languages to improve the standard of translation models in low, and even high, resource languages. One of the most successful of such works is the back translation that utilizes the translations of the target language monolingual data to increase the amount of the training data. The quality of the backward model which is trained on the available parallel data has been shown to determine the performance of the back translation approach. Despite this, only the forward model is improved on the monolingual target data in standard back translation. A previous study proposed an iterative back translation approach for improving both models over several iterations. But unlike in the traditional back translation, it relied on both the target and source monolingual data. This work, therefore, proposes a novel approach that enables both the backward and forward models to benefit from the monolingual target data through a hybrid of self learning and back translation respectively. Experimental results have shown the superiority of the proposed approach over the traditional back translation method on English German low resource neural machine translation. We also proposed an iterative self learning approach that outperforms the iterative back translation while also relying only on the monolingual target data and require the training of less models.


The recovery of ridge functions on the hypercube suffers from the curse of dimensionality. A multivariate ridge function is a function of the form f(x) g(a scriptscriptstyle T x) , where g is univariate and a in mathbb R d . We show that the recovery of an unknown ridge function defined on the hypercube 1,1 d with Lipschitz regular profile g suffers from the curse of dimensionality when the recovery error is measured in the L infty norm, even if we allow randomized algorithms. If a limited number of components of a is substantially larger than the others, then the curse of dimensionality is not present and the problem is weakly tractable provided the profile g is sufficiently regular.


Order Preserving Key Compression for In Memory Search Trees. We present the High speed Order Preserving Encoder (HOPE) for in memory search trees. HOPE is a fast dictionary based compressor that encodes arbitrary keys while preserving their order. HOPE's approach is to identify common key patterns at a fine granularity and exploit the entropy to achieve high compression rates with a small dictionary. We first develop a theoretical model to reason about order preserving dictionary designs. We then select six representative compression schemes using this model and implement them in HOPE. These schemes make different trade offs between compression rate and encoding speed. We evaluate HOPE on five data structures used in databases SuRF, ART, HOT, B tree, and Prefix B tree. Our experiments show that using HOPE allows the search trees to achieve lower query latency (up to 40 lower) and better memory efficiency (up to 30 smaller) simultaneously for most string key workloads.


Reactive Atomistic Simulations of Diels Alder Reactions the Importance of Molecular Rotations. The Diels Alder reaction between 2,3 dibromo 1,3 butadiene and maleic anhydride has been studied by means of multisurface adiabatic reactive molecular dynamics and the PhysNet neural network architecture. This system is used as a prototype to explore the concertedness, synchronicity and possible ways of promotion of Diels Alder reactions. Analysis of the minimum dynamic path indicates that rotational energy is crucial ( sim 65 ) to drive the system towards the transition state in addition to collision energy ( sim 20 ). Comparison with the reaction of butadiene and maleic anhydride shows that the presence of bromine substituents in the diene accentuates the importance of rotational excitation to promote the reaction. At the high total energies at which reactive events are recorded, the reaction is found to be direct and mostly synchronous.


Polynomial stabilization of non smooth direct indirect elastic viscoelastic damping problem involving Bresse system. We consider an elastic viscoelastic transmission problem for the Bresse system with fully Dirichlet or Dirichlet Neumann Neumann boundary conditions. The physical model consists of three wave equations coupled in certain pattern. The system is damped directly or indirectly by global or local Kelvin Voigt damping. Actually, the number of the dampings, their nature of distribution (locally or globally) and the smoothness of the damping coefficient at the interface play a crucial role in the type of the stabilization of the corresponding semigroup. Indeed, using frequency domain approach combined with multiplier techniques and the construction of a new multiplier function, we establish different types of energy decay rate (see the table of stability results below). Our results generalize and improve many earlier ones in the literature and in particular some studies done on the Timoshenko system with Kelvin Voigt damping.


Radiotherapy Target Contouring with Convolutional Gated Graph Neural Network. Tomography medical imaging is essential in the clinical workflow of modern cancer radiotherapy. Radiation oncologists identify cancerous tissues, applying delineation on treatment regions throughout all image slices. This kind of task is often formulated as a volumetric segmentation task by means of 3D convolutional networks with considerable computational cost. Instead, inspired by the treating methodology of considering meaningful information across slices, we used Gated Graph Neural Network to frame this problem more efficiently. More specifically, we propose convolutional recurrent Gated Graph Propagator (GGP) to propagate high level information through image slices, with learnable adjacency weighted matrix. Furthermore, as physicians often investigate a few specific slices to refine their decision, we model this slice wise interaction procedure to further improve our segmentation result. This can be set by editing any slice effortlessly as updating predictions of other slices using GGP. To evaluate our method, we collect an Esophageal Cancer Radiotherapy Target Treatment Contouring dataset of 81 patients which includes tomography images with radiotherapy target. On this dataset, our convolutional graph network produces state of the art results and outperforms the baselines. With the addition of interactive setting, performance is improved even further. Our method has the potential to be easily applied to diverse kinds of medical tasks with volumetric images. Incorporating both the ability to make a feasible prediction and to consider the human interactive input, the proposed method is suitable for clinical scenarios.


Non acyclic rm SL 2 representations of twist knots, 3 Dehn surgeries, and L functions. We study irreducible rm SL 2 representations of twist knots. We first determine all non acyclic rm SL 2( mathbb C ) representations, which turn out to lie on a line denoted as x y in mathbb R 2 . Our main tools are character variety, Reidemeister torsion, and Chebyshev polynomials. We also verify a certain common tangent property, which yields a result on the L functions of universal deformations, that is, the orders of the associated knot modules. Secondly, we prove that a representation is on the line x y if and only if it factors through the ( 3) Dehn surgery, and is non acyclic if and only if the image of a certain element is of order 3. Finally, we study absolutely irreducible non acyclic representations overline rho over a finite field with characteristic p 2 to concretely determine all non trivial L functions L rho of the universal deformations over a CDVR. We show among other things that L rho dot k n(x) 2 holds for a certain series k n(x) of polynomials.


Benjamini Schramm convergence and spectrum of random hyperbolic surfaces of high genus. We study geometric and spectral properties of typical hyperbolic surfaces of high genus, excluding a set of small measure for the Weil Petersson probability measure. We first prove Benjamini Schramm convergence to the hyperbolic plane H as the genus g goes to infinity. An estimate for the number of eigenvalues in an interval a,b in terms of a, b and g is then proven using the Selberg trace formula. It implies the convergence of spectral measures to the spectral measure of H as g rightarrow infty , and a uniform Weyl law as b rightarrow infty . We deduce a bound on the number of small eigenvalues, and the multiplicity of any eigenvalue.


Subshifts of Finite Type with a Hole. This paper examines the relationship between the escape rate and the minimal period of the hole. We consider a subshift of finite type on q symbols with a union of t cylinders based at words of identical length p as the hole. The escape rate into the hole relates to the asymptotic behavior of the number of words of fixed length that do not contain the fixed set of (forbidden) words at which the cylinders are based. We explore the relationship between the escape rate and r(z) , a rational function of the correlations between the forbidden words. In particular, we prove that there exists a constant D(t,p) such that if q D(t,p) , then the escape rate is faster for the hole with larger value of r(z) evaluated at D(t,p) . Further, we consider two holes each of which is a union of cylinders based at words of equal length, having zero cross correlation, and prove that the larger is the minimal period of the collection, the faster is the escape rate. However, when the cross correlations are non zero, we give examples to prove that this result fails to hold. Our results are more general than the existing ones known for maps conjugate to a full shift with a single cylinder as the hole. The existing results arise as a special case of our results.


A monodromy criterion for existence of Neron models of abelian schemes in characteristic zero. We consider the problem of existence of Neron models for a family of abelian varieties over a base of dimension greater than 1. We show that when S is of equicharacteristic zero, the condition of toric additivity introduced in Ore18 is sufficient for the existence of a Neron model, and also necessary under some extra assumptions. Furthermore, we give an equivalent formulation of toric additivity in terms of monodromy action on the l adic Tate module.


Complex vectorial optics through gradient index lens cascades. Graded index (GRIN) lenses are commonly used for compact imaging systems. It is not widely appreciated that the ion exchange process that creates the rotationally symmetric GRIN lens index profile also causes a symmetric birefringence variation. This property is usually considered a nuisance, such that manufacturing processes are optimized to keep it to a minimum. Here, rather than avoiding this birefringence, we understand and harness it by using GRIN lenses in cascade with other optical components to enable extra functionality in commonplace GRIN lens systems. We show how birefringence in the GRIN cascades can generate vector vortex beams and foci, and how it can be used advantageously to improve axial resolution. Through using the birefringence for analysis, we show that the GRIN cascades form the basis of a new single shot Mueller matrix polarimeter with potential for endoscopic label free cancer diagnostics. The versatility of these cascades opens up new technological directions.


Zero Resource Cross Domain Named Entity Recognition. Existing models for cross domain named entity recognition (NER) rely on numerous unlabeled corpus or labeled NER training data in target domains. However, collecting data for low resource target domains is not only expensive but also time consuming. Hence, we propose a cross domain NER model that does not use any external resources. We first introduce a Multi Task Learning (MTL) by adding a new objective function to detect whether tokens are named entities or not. We then introduce a framework called Mixture of Entity Experts (MoEE) to improve the robustness for zero resource domain adaptation. Finally, experimental results show that our model outperforms strong unsupervised cross domain sequence labeling models, and the performance of our model is close to that of the state of the art model which leverages extensive resources.


The Lernaean Hydra of Data Series Similarity Search An Experimental Evaluation of the State of the Art. Increasingly large data series collections are becoming commonplace across many different domains and applications. A key operation in the analysis of data series collections is similarity search, which has attracted lots of attention and effort over the past two decades. Even though several relevant approaches have been proposed in the literature, none of the existing studies provides a detailed evaluation against the available alternatives. The lack of comparative results is further exacerbated by the non standard use of terminology, which has led to confusion and misconceptions. In this paper, we provide definitions for the different flavors of similarity search that have been studied in the past, and present the first systematic experimental evaluation of the efficiency of data series similarity search techniques. Based on the experimental results, we describe the strengths and weaknesses of each approach and give recommendations for the best approach to use under typical use cases. Finally, by identifying the shortcomings of each method, our findings lay the ground for solid further developments in the field.


Inferring Political Preferences from Twitter. Sentiment analysis is the task of automatic analysis of opinions and emotions of users towards an entity or some aspect of that entity. Political Sentiment Analysis of social media helps the political strategists to scrutinize the performance of a party or candidate and improvise their weaknesses far before the actual elections. During the time of elections, the social networks get flooded with blogs, chats, debates and discussions about the prospects of political parties and politicians. The amount of data generated is much large to study, analyze and draw inferences using the latest techniques. Twitter is one of the most popular social media platforms enables us to perform domain specific data preparation. In this work, we chose to identify the inclination of political opinions present in Tweets by modelling it as a text classification problem using classical machine learning. The tweets related to the Delhi Elections in 2020 are extracted and employed for the task. Among the several algorithms, we observe that Support Vector Machines portrays the best performance.


Fast Cross domain Data Augmentation through Neural Sentence Editing. Data augmentation promises to alleviate data scarcity. This is most important in cases where the initial data is in short supply. This is, for existing methods, also where augmenting is the most difficult, as learning the full data distribution is impossible. For natural language, sentence editing offers a solution relying on small but meaningful changes to the original ones. Learning which changes are meaningful also requires large amounts of training data. We thus aim to learn this in a source domain where data is abundant and apply it in a different, target domain, where data is scarce cross domain augmentation. We create the Edit transformer, a Transformer based sentence editor that is significantly faster than the state of the art and also works cross domain. We argue that, due to its structure, the Edit transformer is better suited for cross domain environments than its edit based predecessors. We show this performance gap on the Yelp Wikipedia domain pairs. Finally, we show that due to this cross domain performance advantage, the Edit transformer leads to meaningful performance gains in several downstream tasks.


Online Bin Covering with Advice. The bin covering problem asks for covering a maximum number of bins with an online sequence of n items of different sizes in the range (0,1 a bin is said to be covered if it receives items of total size at least 1. We study this problem in the advice setting and provide tight bounds for the size of advice required to achieve optimal solutions. Moreover, we show that any algorithm with advice of size o( log log n) has a competitive ratio of at most 0.5. In other words, advice of size o( log log n) is useless for improving the competitive ratio of 0.5, attainable by an online algorithm without advice. This result highlights a difference between the bin covering and the bin packing problems in the advice model for the bin packing problem, there are several algorithms with advice of constant size that outperform online algorithms without advice. Furthermore, we show that advice of size O( log log n) is sufficient to achieve a competitive ratio that is arbitrarily close to 0.53 bar 3 and hence strictly better than the best ratio 0.5 attainable by purely online algorithms. The technicalities involved in introducing and analyzing this algorithm are quite different from the existing results for the bin packing problem and confirm the different nature of these two problems. Finally, we show that a linear number of bits of advice is necessary to achieve any competitive ratio better than 15 16 for the online bin covering problem.


D "orfler marking with minimal cardinality is a linear complexity problem. Most adaptive finite element strategies employ the D "orfler marking strategy to single out certain elements mathcal M subseteq mathcal T of a triangulation mathcal T for refinement. In the literature, different algorithms have been proposed to construct mathcal M , where usually two goals compete On the one hand, mathcal M should contain a minimal number of elements. On the other hand, one aims for linear costs with respect to the cardinality of mathcal T . Unlike expected in the literature, we formulate and analyze an algorithm, which constructs a minimal set mathcal M at linear costs. Throughout, pseudocodes are given.


Secant varieties of toric varieties arising from simplicial complexes. Motivated by the study of the secant variety of the Segre Veronese variety we propose a general framework to analyze properties of the secant varieties of toric embeddings of affine spaces defined by simplicial complexes. We prove that every such secant is toric, which gives a way to use combinatorial tools to study singularities. We focus on the Segre Veronese variety for which we completely classify their secants that give Gorenstein or mathbb Q Gorenstein varieties. We conclude providing the explicit description of the singular locus.


Design and Implementation of a Blockchain based Consent Management System. A blockchain is a distributed ledger forming a distributed consensus on a history of transactions. It is the underlying technology for the Bitcoin cryptocurrency, but there are many applications beyond the financial sector. With built in security and removal of the need for third party trust, blockchain has started to see some use within contract applications among other things. In this paper, we present the design and implementation of a permissioned based blockchain third party consent management system, whose policy can be decided by a government agency. We have constructed a proof of concept implementation using Hyperledger Fabric to provide a service that allows end users to control and consent to who manages their private information. We believe our solution meets the guiding principles of EU General Data Protection Regulation or GDPR. While our performance and usability evaluation are limited, our solution design and its implementation meet the 7 foundational principles of privacy by design.