On an Old Question of Erd H o s and R ' e nyi Arising in the Delay Analysis of Broadcast Channels. Consider a broadcast channel with n users, where different users receive different messages, and suppose that each user has to receive m packets. A quantity of interest here, introduced by Sharif and Hassibi (2006 7) cite Sh , cite S H , is the ( emph packet ) emph delay D m,n , namely the number of channel uses required to guarantee that all users will receive m packets. For the case of a emph homogeneous network, where in each channel use the transmitter chooses a user at random, i.e. with probability 1 n , and sends him her a packet, the same quantity D m,n had already appeared in the emph coupon collector context, in the works of Newman and Shepp (1960) cite N S and of Erd H o s and R ' e nyi (1961) cite E R . A problem of particular interest in wireless communications, related to the delay D m,n , is to determine its behavior as n and m grow large. Regarding this problem, Sharif and Hassibi cite Sh , cite S H managed to calculated the asymptotics of the mean value mathbb E D m,n , as n to infty , for the cases (a) m ln n and (b) m ( ln n) rho , rho 1 . It is remarkable that Erd H o s and R ' e nyi cite E R had, also, raised the question of the determination of the asymptotic profile of D m,n for large m and n (in 1961). And in the 1970's the limiting distribution of D m,n for large m and n was determined (in great generality) by Ivchenko cite I1 and cite I2 . In this article we determine the asymptotics of the moments of D m,n for large m and n . We also derive its limiting distribution in the "supercritical case" where m grows faster than ln n and in the "critical case" m sim beta ln n , by an approach which is different from the one used by Ivchenko.


Unit cyclotomic multiple zeta values for mu 2, mu 3 and mu 4 . In this paper, we show that unit cyclotomic multiple zeta values for mu N can be written as mathbb Q linear combinations of mathrm Li n 1(e 2 pi i N ), mathrm Li n 1(e 2 pi i N ) and lower depth terms in each weight n in case of N 2,3 and 4 . Furthermore, we give an algorithm to compute the coefficients of mathrm Li n 1(e 2 pi i N ), mathrm Li n 1(e 2 pi i N ) in the above expressions of unit cyclotomic multiple zeta values.


Spoken Language Identification using ConvNets. Language Identification (LI) is an important first step in several speech processing systems. With a growing number of voice based assistants, speech LI has emerged as a widely researched field. To approach the problem of identifying languages, we can either adopt an implicit approach where only the speech for a language is present or an explicit one where text is available with its corresponding transcript. This paper focuses on an implicit approach due to the absence of transcriptive data. This paper benchmarks existing models and proposes a new attention based model for language identification which uses log Mel spectrogram images as input. We also present the effectiveness of raw waveforms as features to neural network models for LI tasks. For training and evaluation of models, we classified six languages (English, French, German, Spanish, Russian and Italian) with an accuracy of 95.4 and four languages (English, French, German, Spanish) with an accuracy of 96.3 obtained from the VoxForge dataset. This approach can further be scaled to incorporate more languages.


Customer Data Sharing Platform A Blockchain Based Shopping Cart. We propose a new free eCommerce platform with blockchains that allows customers to connect to the seller directly, share personal data without losing control and ownership of it and apply it to the domain of shopping cart. Our new platform provides a solution to four important problems private payment, ensuring privacy and user control, and incentives for sharing. It allows the trade to be open, transparent with immutable transactions that can be used for settling any disputes. The paper presents a case study of applying the framework for a shopping cart as one of the enterprise nodes of MultiChain which provides trading in ethers controlled by smart contracts and also collects user profile data and allows them to receive rewards for sharing their data with other business enterprises. It tracks who shared what, with whom, when, by what means and for what purposes in a verifiable fashion. The user data from the repository is converted into an open data format and shared via stream in the blockchain so that other nodes can efficiently process and use the data. The smart contract verifies and executes the agreed terms of use of the data and transfers digital tokens as a reward to the customer. The smart contract imposes double deposit collateral to ensure that all participants act honestly.


Gaussians on Riemannian Manifolds Applications for Robot Learning and Adaptive Control. This article presents an overview of robot learning and adaptive control applications that can benefit from a joint use of Riemannian geometry and probabilistic representations. The roles of Riemannian manifolds, geodesics and parallel transport in robotics are first discussed. Several forms of manifolds already employed in robotics are then presented, by also listing manifolds that have been underexploited but that have potentials in future robot learning applications. A varied range of techniques employing Gaussian distributions on Riemannian manifolds is then introduced, including clustering, regression, information fusion, planning and control problems. Two examples of applications are presented, involving the control of a prosthetic hand from surface electromyography (sEMG) data, and the teleoperation of a bimanual underwater robot. Further perspectives are finally discussed, with suggestions of promising research directions.


On PM monoids and braid PM monoids. In this paper, we shall introduce two monoids. One is called a PM monoid which contains the symmetric group, the other is called a braid PM monoid which contains the braid group. We shall develop the theory of PM monoids and that of braid PM monoids. The PM monoids is obtained in the context of the compactification of projective linear group defined by Mutsumi Saito. The structure of PM monoids is described in terms of matched pairs. We can define braid PM monoid using a presentation for the PM monoid. As main results, we show that braid PM monoids are described by geometric braids and we find a solution to the word problem for the braid PM monoids.


Iterative Delexicalization for Improved Spoken Language Understanding. Recurrent neural network (RNN) based joint intent classification and slot tagging models have achieved tremendous success in recent years for building spoken language understanding and dialog systems. However, these models suffer from poor performance for slots which often encounter large semantic variability in slot values after deployment (e.g. message texts, partial movie artist names). While greedy delexicalization of slots in the input utterance via substring matching can partly improve performance, it often produces incorrect input. Moreover, such techniques cannot delexicalize slots with out of vocabulary slot values not seen at training. In this paper, we propose a novel iterative delexicalization algorithm, which can accurately delexicalize the input, even with out of vocabulary slot values. Based on model confidence of the current delexicalized input, our algorithm improves delexicalization in every iteration to converge to the best input having the highest confidence. We show on benchmark and in house datasets that our algorithm can greatly improve parsing performance for RNN based models, especially for out of distribution slot values.


Identifiable paths and cycles in linear compartmental models. We introduce a class of linear compartmental models called identifiable path cycle models which have the property that all of the monomial functions of parameters associated to the directed cycles and paths from input compartments to output compartments are identifiable and give sufficient conditions to obtain one. Removing leaks, we then show how one can obtain a locally identifiable model from an identifiable path cycle model. These identifiable path cycle models yield the only identifiable models with certain conditions on their graph structure and thus we provide necessary and sufficient conditions for identifiable models with certain graph properties. A sufficient condition based on the graph structure of the model is also provided so that one can test if a model is an identifiable path cycle model by examining the graph itself. We also provide some necessary conditions for identifiability based on graph structure. Our proofs use algebraic and combinatorial techniques.


Wall crossing for K moduli spaces of plane curves. We construct proper good moduli spaces parametrizing K polystable mathbb Q Gorenstein smoothable log Fano pairs (X, cD) , where X is a Fano variety and D is a rational multiple of the anti canonical divisor. We then establish a wall crossing framework of these K moduli spaces as c varies. The main application in this paper is the case of plane curves of degree d geq 4 as boundary divisors of mathbb P 2 . In this case, we show that when the coefficient c is small, the K moduli space of these pairs is isomorphic to the GIT moduli space. We then show that the first wall crossing of these K moduli spaces are weighted blow ups of Kirwan type. We also describe all wall crossings for degree 4,5,6, and relate the final K moduli spaces to Hacking's compactification and the moduli of K3 surfaces.


On certain Tannakian categories of integrable connections over Kaehler manifolds. Given a compact Kaehler manifold X, it is shown that pairs of the form (E, D), where E is a trivial holomorphic vector bundle on X, and D is an integrable holomorphic connection on E , produce a neutral Tannakian category. The corresponding pro algebraic affine group scheme is studied. In particular, it is shown that this pro algebraic affine group scheme for a compact Riemann surface determines uniquely the isomorphism class of the Riemann surface.


A uniqueness theorem of complex q difference operator. In this paper, we study the uniqueness of zero order entire functions and their difference. We have proved Let f(z) be a nonconstant entire function of zero order, let q neq0, eta be two finite complex numbers, and let a and b be two distinct complex numbers. If f(z) and Delta q, eta f(z) share a , b IM, then f equiv Delta q, eta f .


Searching for a response the intriguing mystery of Feynman's theoretical reference amplifier. We analyze Feynman's work on the response of an amplifier performed at Los Alamos and described in a technical report of 1946, as well as lectured on at the Cornell University in 1946 47 during his course on Mathematical Methods. The motivation for such a work was Feynman's involvement in the Manhattan Project, for which the necessity emerged of feeding the output pulses of counters into amplifiers or several other circuits, with the risk of introducing distortion at each step. In order to deal with such a problem, Feynman designed a theoretical "reference amplifier", thus enabling a characterization of the distortion by means of a benchmark relationship between phase and amplification for each frequency, and providing a standard tool for comparing the operation of real devices. A general theory was elaborated, from which he was able to deduce the basic features of an amplifier just from its response to a pulse or to a sine wave of definite frequency. Moreover, in order to apply such a theory to practical problems, a couple of remarkable examples were worked out, both for high frequency cutoff amplifiers and for low frequency ones. A special consideration deserves a mysteriously exceptional amplifier with best stability behavior introduced by Feynman, for which different physical interpretations are here envisaged. Feynman's earlier work then later flowed in the Hughes lectures on Mathematical Methods in Physics and Engineering of 1970 71, where he also remarked on causality properties of an amplifier, that is on certain relations between frequency and phase shift that a real amplifier has to satisfy in order not to allow output signals to appear before input ones. Quite interestingly, dispersion relations to be satisfied by the response function were introduced.


Two octave wide (3 12 mu m) mid infrared frequency comb produced as an optical subharmonic in a nondispersive cavity. Coherent laser beams in the 3 to 20 mu m region of the spectrum are most applicable for chemical sensing by addressing the strongest vibrational absorption resonances of the media. Broadband frequency combs in this spectral range are of special interest since they can be used as a powerful tool for molecular spectroscopy offering dramatic gains in speed, sensitivity, precision, and massive parallelism of data collection. Here we show that a frequency comb realized through subharmonic generation in an optical parametric oscillator (OPO) based on orientation patterned gallium phosphide (OP GaP) pumped by a Kerr lens mode locked 2.35 mu m laser can reach a continuous wavelength span of 3 12 mu m, thus covering most of the molecular 'signature' region. The key to achieving such a broad spectrum is to use a low dispersion cavity entailing all gold coated mirrors, minimally dispersive and optically thin intracavity elements, and a specially designed pump injector. The system features a smooth ultra broadband spectral output that is phase coherent to the pump laser comb, 245 mW output power with high ( 20 ) optical conversion efficiency, and a possibility to reach close to unity conversion from a mode locked drive, thanks to the non dissipative downconversion processes and photon recycling.


Surfacing Visualization Mirages. Dirty data and deceptive design practices can undermine, invert, or invalidate the purported messages of charts and graphs. These failures can arise silently a conclusion derived from a particular visualization may look plausible unless the analyst looks closer and discovers an issue with the backing data, visual specification, or their own assumptions. We term such silent but significant failures "visualization mirages". We describe a conceptual model of mirages and show how they can be generated at every stage of the visual analytics process. We adapt a methodology from software testing, "metamorphic testing", as a way of automatically surfacing potential mirages at the visual encoding stage of analysis through modifications to the underlying data and chart specification. We show that metamorphic testing can reliably identify mirages across a variety of chart types with relatively little prior knowledge of the data or the domain.


Mobility and dynamics of Giant landslides. The rarity of large landslides reduces the number of observations and hinders the understanding of these phenomena. Runout distance was used here to determine whether the large landslide deposit formed several thousand years ago in northern Tahiti was caused by a single or multiple events. Using modelling to quantify the dynamics of this event suggested that a single event or a small number of events (n 10) were responsible, and that the maximum slide velocity was high ( 125 m s) under partially submarine conditions. Such submarine propagation favoured a slower dynamic but a longer runout. The effective basal friction under submarine conditions ranged from 0.2 mu 0.3.


Future Frame Prediction Using Convolutional VRNN for Anomaly Detection. Anomaly detection in videos aims at reporting anything that does not conform the normal behaviour or distribution. However, due to the sparsity of abnormal video clips in real life, collecting annotated data for supervised learning is exceptionally cumbersome. Inspired by the practicability of generative models for semi supervised learning, we propose a novel sequential generative model based on variational autoencoder (VAE) for future frame prediction with convolutional LSTM (ConvLSTM). To the best of our knowledge, this is the first work that considers temporal information in future frame prediction based anomaly detection framework from the model perspective. Our experiments demonstrate that our approach is superior to the state of the art methods on three benchmark datasets.


Exponentially Faster Shortest Paths in the Congested Clique. We present improved deterministic algorithms for approximating shortest paths in the Congested Clique model of distributed computing. We obtain poly( log log n) round algorithms for the following problems in unweighted undirected n vertex graphs (1 epsilon) approximation of multi source shortest paths (MSSP) from O( sqrt n ) sources. (2 epsilon) approximation of all pairs shortest paths (APSP). (1 epsilon, beta) approximation of APSP where beta O( frac log log n epsilon ) log log n . These bounds improve exponentially over the state of the art poly logarithmic bounds due to Censor Hillel et al., PODC19 . It also provides the first nearly additive bounds for the APSP problem in sub polynomial time. Our approach is based on distinguishing between short and long distances based on some distance threshold t O( frac beta epsilon ) where beta O( frac log log n epsilon ) log log n . Handling the long distances is done by devising a new algorithm for computing sparse (1 epsilon, beta) emulator with O(n log log n) edges. For the short distances, we provide distance sensitive variants for the distance tool kit of Censor Hillel et al., PODC19 . By exploiting the fact that this tool kit should be applied only on local balls of radius t , their round complexities get improved from poly( log n) to poly( log t) . Finally, our deterministic solutions for these problems are based on a derandomization scheme of a novel variant of the hitting set problem, which might be of independent interest.


Generalized Mertens sums. Extending a classical estimate of Mertens for the sum of the reciprocals of the first primes, we provide an explicit remainder formula for products of an arbitrary, but fixed, number of primes.


Is Supervised Syntactic Parsing Beneficial for Language Understanding? An Empirical Investigation. Traditional NLP has long held (supervised) syntactic parsing necessary for successful higher level semantic language understanding (LU). The recent advent of end to end neural models, self supervised via language modeling (LM), and their success on a wide range of LU tasks, however, questions this belief. In this work, we empirically investigate the usefulness of supervised parsing for semantic LU in the context of LM pretrained transformer networks. Relying on the established fine tuning paradigm, we first couple a pretrained transformer with a biaffine parsing head, aiming to infuse explicit syntactic knowledge from Universal Dependencies treebanks into the transformer. We then fine tune the model for LU tasks and measure the effect of the intermediate parsing training (IPT) on downstream LU task performance. Results from both monolingual English and zero shot language transfer experiments (with intermediate target language parsing) show that explicit formalized syntax, injected into transformers through IPT, has very limited and inconsistent effect on downstream LU performance. Our results, coupled with our analysis of transformers' representation spaces before and after intermediate parsing, make a significant step towards providing answers to an essential question how (un)availing is supervised parsing for high level semantic natural language understanding in the era of large neural models?


The Atiyah Patodi Singer rho invariant and signatures of links. Relations between the Atiyah Patodi Singer rho invariant and signatures of links have been known for a long time, but they were only partially investigated. In order to explore them further, we develop a versatile cut and paste formula for the rho invariant, which allows us to manipulate manifolds in a convenient way. With the help of this tool, we give a description of the multivariable signature of a link L as the rho invariant of some closed 3 manifold Y L intrinsically associated to L . We study then the rho invariant of the manifolds obtained by Dehn surgery on a L along integer and rational framings. Inspired by related results of Casson and Gordon and Cimasoni and Florens, we give formulas expressing this value as a sum of the multivariable signature of L and some easy to compute extra terms.


1st Place Solution to VisDA 2020 Bias Elimination for Domain Adaptive Pedestrian Re identification. This paper presents our proposed methods for domain adaptive pedestrian re identification (Re ID) task in Visual Domain Adaptation Challenge (VisDA 2020). Considering the large gap between the source domain and target domain, we focused on solving two biases that influenced the performance on domain adaptive pedestrian Re ID and proposed a two stage training procedure. At the first stage, a baseline model is trained with images transferred from source domain to target domain and from single camera to multiple camera styles. Then we introduced a domain adaptation framework to train the model on source data and target data simultaneously. Different pseudo label generation strategies are adopted to continuously improve the discriminative ability of the model. Finally, with multiple models ensembled and additional post processing approaches adopted, our methods achieve 76.56 mAP and 84.25 rank 1 on the test set. Codes are available at https github.com vimar gu Bias Eliminate DA ReID


UVGI Scientific Calculator. The physical basis and algorithm of the ultraviolet germicidal irradiation (UVGI) scientific calculator are presented herein. The algorithm was implemented in the web application UVGI Scientific Calculator (found at https covid 19 clean.org calculator journal report ) that has been used to facilitate the engineering and design of air purifying equipment being developed for use in hospitals, commercial and residential applications. Presented examples of the calculations illustrate how different factors of the construction of a UVGI air purifier may influence the degree of virus inactivation.


Singular Welschinger invariants. We suggest an invariant way to enumerate nodal and nodal cuspidal real deformations of real plane curve singularities. The key idea is to assign Welschinger signs to the counted deformations. Our invariants can be viewed as a local version of Welschinger invariants enumerating real plane rational curves.


MLSNet A Policy Complying Multilevel Security Framework for Software Defined Networking. Ensuring that information flowing through a network is secure from manipulation and eavesdropping by unauthorized parties is an important task for network administrators. Many cyber attacks rely on a lack of network level information flow controls to successfully compromise a victim network. Once an adversary exploits an initial entry point, they can eavesdrop and move laterally within the network (e.g., scan and penetrate internal nodes) to further their malicious goals. In this paper, we propose a novel multilevel security (MLS) framework to enforce a secure inter node information flow policy within the network and therein vastly reduce the attack surface available to an adversary who has penetrated it. In contrast to prior work on multilevel security in computer networks which relied on enforcing the policy at network endpoints, we leverage the centralization of software defined networks (SDNs) by moving the task to the controller and providing this service transparently to all nodes in the network. Our framework, MLSNet, formalizes the generation of a policy compliant network configuration (i.e., set of flow rules on the SDN switches) as network optimization problems, with the objectives of (1) maximizing the number of flows satisfying all security constraints and (2) minimizing the security cost of routing any remaining flows to guarantee availability. We demonstrate that MLSNet can securely route flows that satisfy the security constraints (e.g., 80 of flows in a performed benchmark) and route the remaining flows with a minimal security cost.


Visually Grounded Neural Syntax Acquisition. We present the Visually Grounded Neural Syntax Learner (VG NSL), an approach for learning syntactic representations and structures without any explicit supervision. The model learns by looking at natural images and reading paired captions. VG NSL generates constituency parse trees of texts, recursively composes representations for constituents, and matches them with images. We define concreteness of constituents by their matching scores with images, and use it to guide the parsing of text. Experiments on the MSCOCO data set show that VG NSL outperforms various unsupervised parsing approaches that do not use visual grounding, in terms of F1 scores against gold parse trees. We find that VGNSL is much more stable with respect to the choice of random initialization and the amount of training data. We also find that the concreteness acquired by VG NSL correlates well with a similar measure defined by linguists. Finally, we also apply VG NSL to multiple languages in the Multi30K data set, showing that our model consistently outperforms prior unsupervised approaches.


Learning to Represent Image and Text with Denotation Graph. Learning to fuse vision and language information and representing them is an important research problem with many applications. Recent progresses have leveraged the ideas of pre training (from language modeling) and attention layers in Transformers to learn representation from datasets containing images aligned with linguistic expressions that describe the images. In this paper, we propose learning representations from a set of implied, visually grounded expressions between image and text, automatically mined from those datasets. In particular, we use denotation graphs to represent how specific concepts (such as sentences describing images) can be linked to abstract and generic concepts (such as short phrases) that are also visually grounded. This type of generic to specific relations can be discovered using linguistic analysis tools. We propose methods to incorporate such relations into learning representation. We show that state of the art multimodal learning models can be further improved by leveraging automatically harvested structural relations. The representations lead to stronger empirical results on downstream tasks of cross modal image retrieval, referring expression, and compositional attribute object recognition. Both our codes and the extracted denotation graphs on the Flickr30K and the COCO datasets are publically available on https sha lab.github.io DG.


Arithmetic of weighted Catalan numbers. In this paper, we study arithmetic properties of weighted Catalan numbers. Previously, Postnikov and Sagan found conditions under which the 2 adic valuations of the weighted Catalan numbers are equal to the 2 adic valutations of the Catalan numbers. We obtain the same result under weaker conditions by considering a map from a class of functions to 2 adic integers. These methods are also extended to q weighted Catalan numbers, strengthening a previous result by Konvalinka. Finally, we prove some results on the periodicity of weighted Catalan numbers modulo an integer and apply them to the specific case of the number of combinatorial types of Morse links. Many open questions are mentioned.


Almost simple affine difference algebraic groups. Affine difference algebraic groups are a generalization of affine algebraic groups obtained by replacing algebraic equations with algebraic difference equations. We show that the isomorphism theorems from abstract group theory have meaningful analogs for these groups and we establish a Jordan H " o lder type theorem that allows us to decompose any affine difference algebraic group into almost simple affine difference algebraic groups. We also characterize almost simple affine difference algebraic groups via almost simple affine algebraic groups.


Instability for Axisymmetric Blow up Solutions to Incompressible Euler Equations. It is still not known whether a solution to the incompressible Euler equation, endowed with a smooth initial value, can blow up in finite time. In em Comm. Math. Phys. , 378 557 568, 2020 it has been shown that, if it exists, such a solution becomes linearly unstable close to the blow up time. In this paper, we show that the same phenomenon holds even in the more rigid axisymmetric case. To obtain this result, we first prove a blow up criterion involving only the toroidal component of the vorticity. The instability of blow up profiles is also investigated.


Ill posedness for the full Euler system driven by multiplicative white noise. We consider the Euler system describing the motion of a compressible fluid driven by a multiplicative white noise. We identify a large class of initial data for which the problem is ill posed there exist infinitely many global in time weak solutions. The solutions are adapted to the noise and satisfy the entropy admissibility criterion.


On an open question in recovering Sturm Liouville type operators with delay. In recent years, there appeared a considerable interest in the inverse spectral theory for functional differential operators with constant delay. In particular, it is well known that specification of the spectra of two operators ell j, j 0,1, generated by one and the same functional differential expression y''(x) q(x)y(x a) under the boundary conditions y(0) y (j) ( pi) 0 uniquely determines the complex valued square integrable potential q(x) vanishing on (0,a) as soon as a in pi 2, pi). For many years, it has been a challenging it open question whether this uniqueness result would remain true also when a in(0, pi 2). Recently, a positive answer was obtained for the case a in 2 pi 5, pi 2). In this paper, we give, however, a it negative answer to this question for a in pi 3,2 pi 5) by constructing an infinite family of iso bispectral potentials. Some discussion on a possibility of constructing a similar counterexample for other types of boundary conditions is provided, and new open questions are outlined.


Associating Multi Scale Receptive Fields for Fine grained Recognition. Extracting and fusing part features have become the key of fined grained image recognition. Recently, Non local (NL) module has shown excellent improvement in image recognition. However, it lacks the mechanism to model the interactions between multi scale part features, which is vital for fine grained recognition. In this paper, we propose a novel cross layer non local (CNL) module to associate multi scale receptive fields by two operations. First, CNL computes correlations between features of a query layer and all response layers. Second, all response features are weighted according to the correlations and are added to the query features. Due to the interactions of cross layer features, our model builds spatial dependencies among multi level layers and learns more discriminative features. In addition, we can reduce the aggregation cost if we set low dimensional deep layer as query layer. Experiments are conducted to show our model achieves or surpasses state of the art results on three benchmark datasets of fine grained classification. Our codes can be found at github.com FouriYe CNL ICIP2020.


Manipulating Districts to Win Elections Fine Grained Complexity. Gerrymandering is a practice of manipulating district boundaries and locations in order to achieve a political advantage for a particular party. Lewenberg, Lev, and Rosenschein AAMAS 2017 initiated the algorithmic study of a geographically based manipulation problem, where voters must vote at the ballot box closest to them. In this variant of gerrymandering, for a given set of possible locations of ballot boxes and known political preferences of n voters, the task is to identify locations for k boxes out of m possible locations to guarantee victory of a certain party in at least l districts. Here integers k and l are some selected parameter. It is known that the problem is NP complete already for 4 political parties and prior to our work only heuristic algorithms for this problem were developed. We initiate the rigorous study of the gerrymandering problem from the perspectives of parameterized and fine grained complexity and provide asymptotically matching lower and upper bounds on its computational complexity. We prove that the problem is W 1 hard parameterized by k n and that it does not admit an f(n,k) cdot m o( sqrt k ) algorithm for any function f of k and n only, unless Exponential Time Hypothesis (ETH) fails. Our lower bounds hold already for 2 parties. On the other hand, we give an algorithm that solves the problem for a constant number of parties in time (m n) O( sqrt k ) .


Energy loss reduction of a charge moving through an anisotropic plasma like medium. We analyze radiation of a charge moving in a vacuum channel in an anisotropic non gyrotropic medium with plasma like components of the permittivity tensor. The expressions for field components are obtained and analyzed. It is shown that the field contains both the radiation field and the plasma oscillations. Most attention is focused on the energy loss of the charge per the unit path length. The dependencies of the loss on the charge velocity and the plasma frequencies are studied. The relative roles of radiation loss and polarization one are considered. The most interesting result is that the energy loss is negligible when one of the permittivity tensor components is equal to 1, and the charge velocity tends to the speed of light in vacuum. This effect can be promising for applying in collimators of ultrarelativistic bunches.


Multiplier ideals of analytically irreducible plane curves. Let S be a Puiseux series of the germ of an analytically irreducible plane curve Z . We provide a new perspective to construct a set of polynomials F F 1, ldots, F g 1 associated to S , which is a special choice of maximal contact elements constructed in AMB17 and approximate roots defined in Dur18 , AM73a , AM73b . Using these polynomials as building blocks, we describe a set of generators of multiplier ideals of the form mathfrak I ( alpha Z) with 0 alpha 1 a rational number, which recovers the results about irreducible plane curves in AMB17 , Dur18 .


Phase synchronization properties of laminar cylinder wake for periodic external forcings. We investigate the synchronization properties of the two dimensional periodic flow over a circular cylinder using the principles of phase reduction theory. The influence of harmonic external forcings on the wake dynamics, and the possible synchronization of the vortex shedding behind the cylinder to these forcings, is determined by evaluating the phase response of the system to weak impulse perturbations. These horizontal and vertical perturbations are added at different phase values over a period, in order to develop a linear one dimensional model with respect to the limit cycle that describes the high dimensional and nonlinear dynamics of the fluid flow via only a single scalar phase variable. This model is then utilized to acquire the theoretical conditions for the synchronization between the cylinder wake and the harmonic forcings added in the global near wake region. Valuable insights are gained by comparing the findings of the present research against those rendered by the dynamic mode decomposition and adjoint analysis of the wake dynamics in earlier works. The present analysis reveals regions in the flow which enable phase synchronization or desynchronization to periodic excitations for applications such as active flow control and fluid structure interactions.


Cyclic orthogonal convolutions for long range integration of features. In Convolutional Neural Networks (CNNs) information flows across a small neighbourhood of each pixel of an image, preventing long range integration of features before reaching deep layers in the network. We propose a novel architecture that allows flexible information flow between features z and locations (x,y) across the entire image with a small number of layers. This architecture uses a cycle of three orthogonal convolutions, not only in (x,y) coordinates, but also in (x,z) and (y,z) coordinates. We stack a sequence of such cycles to obtain our deep network, named CycleNet. As this only requires a permutation of the axes of a standard convolution, its performance can be directly compared to a CNN. Our model obtains competitive results at image classification on CIFAR 10 and ImageNet datasets, when compared to CNNs of similar size. We hypothesise that long range integration favours recognition of objects by shape rather than texture, and we show that CycleNet transfers better than CNNs to stylised images. On the Pathfinder challenge, where integration of distant features is crucial, CycleNet outperforms CNNs by a large margin. We also show that even when employing a small convolutional kernel, the size of receptive fields of CycleNet reaches its maximum after one cycle, while conventional CNNs require a large number of layers.


Algorithms for Causal Reasoning in Probability Trees. Probability trees are one of the simplest models of causal generative processes. They possess clean semantics and unlike causal Bayesian networks they can represent context specific causal dependencies, which are necessary for e.g. causal induction. Yet, they have received little attention from the AI and ML community. Here we present concrete algorithms for causal reasoning in discrete probability trees that cover the entire causal hierarchy (association, intervention, and counterfactuals), and operate on arbitrary propositional and causal events. Our work expands the domain of causal reasoning to a very general class of discrete stochastic processes.


Characterization of an architecture for front end pixel binning in an integrating pixel array detector. Optimization of an area detector involves compromises between various parameters like frame rate, read noise, dynamic range and pixel size. We have implemented and tested a novel front end binning design in a photon integrating hybrid pixel array detector using the MM PAD 2.0 pixel architecture. In this architecture, the pixels can be optionally binned in a 2 times 2 pixel configuration using a network of switches to selectively direct the output of 4 sensor pixels to a single amplifier input. Doing this allows a trade off between frame rate and spatial resolution. Tests show that the binned pixels perform well, but with some degradation on performance as compared to an un binned pixel. The increased parasitic input capacitance does reduce the signal collected per x ray as well as increases the noise of the pixel. The increase in noise is, however, less than the factor of 2 increase one would observe for binning in post processing. Spatial scans across the binned pixels show that no measured signal intensity is lost at the inner binning unit boundaries. In the high flux regime, at a 2 times 2 pixel wide beam spot (FWHM) size, binned mode responds linearly up to a photon flux of 10 7 x rays s, and performs comparably with un binned mode up to a photon flux of 10 8 x rays s. While this study demonstrates a proof of concept for front end binning in integrating detectors, we also identify changes to this early stage prototype which can further improve the performance of binning pixel structures.


Counting Plane Cubic Curves over Finite Fields with a Prescribed Number of Rational Intersection Points. For each integer k in 0,9 , we count the number of plane cubic curves defined over a finite field mathbb F q that do not share a common component and intersect in exactly k mathbb F q rational points. We set this up as a problem about a weight enumerator of a certain projective Reed Muller code. The main inputs to the proof include counting pairs of cubic curves that do share a common component, counting configurations of points that fail to impose independent conditions on cubics, and a variation of the MacWilliams theorem from coding theory.


The integral Hodge conjecture for two dimensional Calabi Yau categories. We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two dimensional Calabi Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two dimensional Calabi Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of intermediate Jacobians, such as a criterion in terms of derived categories for when they split as a sum of Jacobians of curves.


Robust Decoding from Binary Measurements with Cardinality Constraint Least Squares. The main goal of 1 bit compressive sampling is to decode n dimensional signals with sparsity level s from m binary measurements. This is a challenging task due to the presence of nonlinearity, noises and sign flips. In this paper, the cardinality constraint least square is proposed as a desired decoder. We prove that, up to a constant c , with high probability, the proposed decoder achieves a minimax estimation error as long as m geq mathcal O ( s log n) . Computationally, we utilize a generalized Newton algorithm (GNA) to solve the cardinality constraint minimization problem with the cost of solving a least squares problem with small size at each iteration. We prove that, with high probability, the ell infty norm of the estimation error between the output of GNA and the underlying target decays to mathcal O ( sqrt frac log n m ) after at most mathcal O ( log s) iterations. Moreover, the underlying support can be recovered with high probability in mathcal O ( log s) steps provided that the target signal is detectable. Extensive numerical simulations and comparisons with state of the art methods are presented to illustrate the robustness of our proposed decoder and the efficiency of the GNA algorithm.


Multiple Purposes, Multiple Problems A User Study of Consent Dialogs after GDPR. The European Union's General Data Protection Regulation (GDPR) requires websites to ask for consent to the use of cookies for emph specific purposes . This enlarges the relevant design space for consent dialogs. Websites could try to maximize click through rates and positive consent decision, even at the risk of users agreeing to more purposes than intended. We evaluate a practice observed on popular websites by conducting an experiment with one control and two treatment groups ( N 150 university students in two countries). We hypothesize that users' consent decision is influenced by (1) the number of options, connecting to the theory of choice proliferation, and (2) the presence of a highlighted default button ( select all''), connecting to theories of social norms and deception in consumer research. The results show that participants who see a default button accept cookies for more purposes than the control group, while being less able to correctly recall their choice. After being reminded of their choice, they regret it more often and perceive the consent dialog as more deceptive than the control group. Whether users are presented one or three purposes has no significant effect on their decisions and perceptions. We discuss the results and outline policy implications.


Vision based Multi MAV Localization with Anonymous Relative Measurements Using Coupled Probabilistic Data Association Filter. We address the localization of robots in a multi MAV system where external infrastructure like GPS or motion capture systems may not be available. Our approach lends itself to implementation on platforms with several constraints on size, weight, and power (SWaP). Particularly, our framework fuses the onboard VIO with the anonymous, visual based robot to robot detection to estimate all robot poses in one common frame, addressing three main challenges 1) the initial configuration of the robot team is unknown, 2) the data association between each vision based detection and robot targets is unknown, and 3) the vision based detection yields false negatives, false positives, inaccurate, and provides noisy bearing, distance measurements of other robots. Our approach extends the Coupled Probabilistic Data Association Filter (CPDAF) 1 to cope with nonlinear measurements. We demonstrate the superior performance of our approach over a simple VIO based method in a simulation with the measurement models statistically modeled using the real experimental data. We also show how onboard sensing, estimation, and control can be used for formation flight.


Global hypoellipticity and global solvability for vector fields on compact Lie groups. We present necessary and sufficient conditions to have global hypoellipticity and global solvability for a class of vector fields defined on a product of compact Lie groups. In view of Greenfield's and Wallach's conjecture, about the non existence of globally hypoelliptic vector fields on compact manifolds different from tori, we also investigate different notions of regularity weaker than global hypoellipticity and describe completely the global hypoellipticity and global solvability of zero order perturbations of our vector fields. We also present a class of vector fields with variable coefficients whose operators can be reduced to a normal form, and we prove that the study of the global properties of such operators is equivalent to the study of the respective properties for their normal forms.


Necessary and Sufficient Explanations in Abstract Argumentation. In this paper, we discuss necessary and sufficient explanations for formal argumentation the question whether and why a certain argument can be accepted (or not) under various extension based semantics. Given a framework with which explanations for argumentation based conclusions can be derived, we study necessity and sufficiency what (sets of) arguments are necessary or sufficient for the (non )acceptance of an argument?


A Decentralized Multi Objective Optimization Algorithm. During the past two decades, multi agent optimization problems have drawn increased attention from the research community. When multiple objective functions are present among agents, many works optimize the sum of these objective functions. However, this formulation implies a decision regarding the relative importance of each objective function. In fact, optimizing the sum is a special case of a multi objective problem in which all objectives are prioritized equally. In this paper, a distributed optimization algorithm that explores Pareto optimal solutions for non homogeneously weighted sums of objective functions is proposed. This exploration is performed through a new rule based on agents' priorities that generates edge weights in agents' communication graph. These weights determine how agents update their decision variables with information received from other agents in the network. Agents initially disagree on the priorities of the objective functions though they are driven to agree upon them as they optimize. As a result, agents still reach a common solution. The network level weight matrix is (non doubly) stochastic, which contrasts with many works on the subject in which it is doubly stochastic. New theoretical analyses are therefore developed to ensure convergence of the proposed algorithm. This paper provides a gradient based optimization algorithm, proof of convergence to solutions, and convergence rates of the proposed algorithm. It is shown that agents' initial priorities influence the convergence rate of the proposed algorithm and that these initial choices affect its long run behavior. Numerical results performed with different numbers of agents illustrate the performance and efficiency of the proposed algorithm.


Generalizing the Linearized Doubling approach, I General theory and new minimal surfaces and self shrinkers. In Part I of this article we generalize the Linearized Doubling (LD) approach, introduced in earlier work by NK, by proving a general theorem stating that if Sigma is a closed minimal surface embedded in a Riemannian three manifold (N,g) and its Jacobi operator mathcal L Sigma has trivial kernel, then given a suitable family of LD solutions on Sigma , a minimal surface resembling two copies of Sigma joined by many small catenoidal bridges can be constructed by PDE gluing methods. (An LD solution varphi on Sigma is a singular solution of the linear equation mathcal L Sigma varphi 0 with logarithmic singularities in the construction the singularities are replaced by catenoidal bridges.) As an example demonstrating the applicability of the theorem we construct new doublings of the Clifford torus. In Part II we construct families of LD solutions for general (O(2) times Z 2) symmetric backgrounds ( Sigma, N,g) . Combining with the theorem in Part I this implies the construction of new minimal doublings for such backgrounds. (Constructions for general backgrounds remain open.) This generalizes our earlier work for Sigma Sph 2 subset N Sph 3 providing new constructions even for that background. In Part III, applying the earlier result appropriately modified for the catenoid and the critical catenoid we construct new self shrinkers of the mean curvature flow via doubling the spherical self shrinker or the Angenent torus, new complete embedded minimal surfaces of finite total curvature in the Euclidean three space via doubling the catenoid, and new free boundary minimal surfaces in the unit ball via doubling the critical catenoid.


Private Hierarchical Clustering and Efficient Approximation. In collaborative learning, multiple parties contribute their datasets to jointly deduce global machine learning models for numerous predictive tasks. Despite its efficacy, this learning paradigm fails to encompass critical application domains that involve highly sensitive data, such as healthcare and security analytics, where privacy risks limit entities to individually train models using only their own datasets. In this work, we target privacy preserving collaborative hierarchical clustering. We introduce a formal security definition that aims to achieve the balance between utility and privacy and present a two party protocol that provably satisfies it. We then extend our protocol with (i) an optimized version for the single linkage clustering, and (ii) scalable approximation variants. We implement all our schemes and experimentally evaluate their performance and accuracy on synthetic and real datasets, obtaining very encouraging results. For example, end to end execution of our secure approximate protocol for over 1M 10 dimensional data samples requires 35sec of computation and achieves 97.09 accuracy.


High resolution spectroscopy of arbitrary light sources using frequency combs. Multiheterodyne techniques using frequency combs light sources whose lines are perfectly evenly spaced have revolutionized optical science. By beating an unknown signal with the many lines of a comb, its spectrum is recovered. However, these techniques have been restricted to measuring coherent sources, such as lasers. In this work, we demonstrate a new multiheterodyne technique that allows for nearly any complex broadband spectrum to be retrieved using a comb. Two versions are introduced a delayed comb technique that uses a tunable delay element, and a dual comb technique that uses a second comb. In each case, the spectrum of the source is recovered by Fourier transforming the correlation between two spectrograms. This approach is statistical in nature and is general to nearly any source (coherent or incoherent), allowing for the entire spectrum to be rapidly measured with high resolution.


Preintegrated Velocity Bias Estimation to Overcome Contact Nonlinearities in Legged Robot Odometry. In this paper, we present a novel factor graph formulation to estimate the pose and velocity of a quadruped robot on slippery and deformable terrain. The factor graph introduces a preintegrated velocity factor that incorporates velocity inputs from leg odometry and also estimates related biases. From our experimentation we have seen that it is difficult to model uncertainties at the contact point such as slip or deforming terrain, as well as leg flexibility. To accommodate for these effects and to minimize leg odometry drift, we extend the robot's state vector with a bias term for this preintegrated velocity factor. The bias term can be accurately estimated thanks to the tight fusion of the preintegrated velocity factor with stereo vision and IMU factors, without which it would be unobservable. The system has been validated on several scenarios that involve dynamic motions of the ANYmal robot on loose rocks, slopes and muddy ground. We demonstrate a 26 improvement of relative pose error compared to our previous work and 52 compared to a state of the art proprioceptive state estimator.


Spatial Population Genetics It's About Time. Many questions that we have about the history and dynamics of organisms have a geographical component How many are there, and where do they live? How do they move and interbreed across the landscape? How were they moving a thousand years ago, and where were the ancestors of a particular individual alive today? Answers to these questions can have profound consequences for our understanding of history, ecology, and the evolutionary process. In this review, we discuss how geographic aspects of the distribution, movement, and reproduction of organisms are reflected in their pedigree across space and time. Because the structure of the pedigree is what determines patterns of relatedness in modern genetic variation, our aim is to thus provide intuition for how these processes leave an imprint in genetic data. We also highlight some current methods and gaps in the statistical toolbox of spatial population genetics.


Pruning Redundant Mappings in Transformer Models via Spectral Normalized Identity Prior. Traditional (unstructured) pruning methods for a Transformer model focus on regularizing the individual weights by penalizing them toward zero. In this work, we explore spectral normalized identity priors (SNIP), a structured pruning approach that penalizes an entire residual module in a Transformer model toward an identity mapping. Our method identifies and discards unimportant non linear mappings in the residual connections by applying a thresholding operator on the function norm. It is applicable to any structured module, including a single attention head, an entire attention block, or a feed forward subnetwork. Furthermore, we introduce spectral normalization to stabilize the distribution of the post activation values of the Transformer layers, further improving the pruning effectiveness of the proposed methodology. We conduct experiments with BERT on 5 GLUE benchmark tasks to demonstrate that SNIP achieves effective pruning results while maintaining comparable performance. Specifically, we improve the performance over the state of the art by 0.5 to 1.0 on average at 50 compression ratio.


Balancing simulation and gameplay applying game user research to LeukemiaSIM. A bioinformatics researcher and a game design researcher walk into a lab... This paper shares two case studies of a collaboration between a bioinformatics researcher who is developing a set of educational VR simulations for youth and a consultative game design researcher with a background in games User Research (GUR) techniques who assesses and iteratively improves the player experience in the simulations. By introducing games based player engagement strategies, the two researchers improve the (re)playability of these VR simulations to encourage greater player engagement and retention.


Dual Geometric Graph Network (DG2N) Iterative network for deformable shape alignment. We provide a novel new approach for aligning geometric models using a dual graph structure where local features are mapping probabilities. Alignment of non rigid structures is one of the most challenging computer vision tasks due to the high number of unknowns needed to model the correspondence. We have seen a leap forward using DNN models in template alignment and functional maps, but those methods fail for inter class alignment where nonisometric deformations exist. Here we propose to rethink this task and use unrolling concepts on a dual graph structure one for a forward map and one for a backward map, where the features are pulled back matching probabilities from the target into the source. We report state of the art results on stretchable domains alignment in a rapid and stable solution for meshes and cloud of points.


An Exponential Lower Bound for Zadeh's pivot rule. The question whether the Simplex Algorithm admits an efficient pivot rule remains one of the most important open questions in discrete optimization. While many natural, deterministic pivot rules are known to yield exponential running times, the random facet rule was shown to have a subexponential running time. For a long time, Zadeh's rule remained the most prominent candidate for the first deterministic pivot rule with subexponential running time. We present a lower bound construction that shows that Zadeh's rule is in fact exponential in the worst case. Our construction is based on a close relation to the Strategy Improvement Algorithm for Parity Games and the Policy Iteration Algorithm for Markov Decision Processes, and we also obtain exponential lower bounds for Zadeh's rule in these contexts.


Spatial distributions of plasma potential and density in electron cyclotron resonance ion source. The Numerical Advanced Model of Electron Cyclotron Resonance Ion Source (NAM ECRIS) is applied for studies of the physical processes in the source. Solutions of separately operating electron and ion modules of NAM ECRIS are matched in iterative way such as to obtain the spatial distributions of the plasma density and of the plasma potential. Results reveal the complicated profiles with the maximized plasma density close to the ECR surface and on the source axis. The ion trapping potential dips are calculated to be on the level of (0.01 0.05) V being located at the plasma density maxima. The highly charged ions are also localized close to the ECR surface. The biased electrode effect is due to an electron string along the source axis formed by reflection of electrons from the biased electrode and the extraction aperture. The string makes profiles of the highly charged ions more peaked on the source axis, thus increasing the extracted ion currents.


Weights of uniform spanning forests on nonunimodular transitive graphs. Considering the wired uniform spanning forest on a nonunimodular transitive graph, we show that almost surely each tree of the wired uniform spanning forest is light. More generally we study the tilted volumes for the trees in the wired uniform spanning forest. Regarding the free uniform spanning forest, we consider several families of nonunimodular transitive graphs. We show that the free uniform spanning forest is the same as the wired one on Diestel Leader graphs. For grandparent graphs, we show that the free uniform spanning forest is connected and has branching number bigger than one. We also show that each tree of the free uniform spanning forest is heavy and has branching number bigger than one on a free product of a nonunimodular transitive graph with one edge when the free uniform spanning forest is not the same as the wired.


The Magnetic Toroidal Sector as A broad band Electron Positron Pair Spectrometer I. Lepton Trajectories. We report an analysis of electron optical properties of a toroidal magnetic sector spectrometer and examine parameters for its implementation in a relativistic heavy ion storage ring like HESR. For studies of free free pair production in heavy ion atom collisions this spectrometer exhibits very high efficiencies for coincident e e pair spectroscopy over a wide range of momenta of emitted lepton pairs. The high coincidence efficiency of the spectrometer is the key for stringent tests of theoretical predictions for the coincident positron and electron emission characteristics and for the phase space correlation of lepton vector momenta in free free pair production.


Distance matrices of a tree two more invariants, and in a unified framework. Graham Pollak showed that for D D T the distance matrix of a tree T , det (D) depends only on its number of edges. Several other variants of D , including directed multiplicative q versions were studied, and always, det (D) depends only on the edge data. We introduce a general framework for bi directed weighted trees, with threefold significance. First, we improve on state of the art for all known variants, even in the classical Graham Pollak case we delete arbitrary pendant nodes (and more general subsets) from the rows columns of D , and show these minors do not depend on the tree structure. Second, our setting unifies all known variants (with entries in a commutative ring). We further compute in closed form the inverse of D , extending a result of Graham Lovasz Adv. Math. 1978 and answering a question of Bapat Lal Pati Lin. Alg. Appl. 2006 . Third, we compute a second function of the matrix D the sum of all its cofactors, cof (D) . This was worked out in the simplest setting by Graham Hoffman Hosoya (1978), but is relatively unexplored for other variants. We prove a stronger result, in our general setting, by computing cof (.) for minors as above, and showing these too depend only on the edge data. Finally, we show our setting is the 'most general possible', in that with more freedom in the edgeweights, det (D) and cof (D) depend on the tree structure. In a sense, this completes the study of the invariant det (D T) (and cof (D T) ) for trees T with edge data in a commutative ring. Moreover for a bi directed graph G we prove multiplicative Graham Hoffman Hosoya type formulas for det (D G) , cof (D G) , D G 1 . We then show how this subsumes their 1978 result. The final section introduces and computes a third, novel invariant for trees and a Graham Hoffman Hosoya type result for our "most general" distance matrix D T .


Analytical Design for Full space Spatial Power Dividers Using Metagratings. We present a rigorous theoretical framework for designing full space spatial power dividers using metagratings. In our study, the current restrictions of spatial power dividing platforms such as reflection only performance, operating at normal incidence, and small reflection refraction angles have been totally relaxed. A modal expansion analysis based on Floquet Bloch (FB) theorem is established so that a discrete set of spatial harmonics is considered in both reflection and transmission sides of a compound metallic grating in which the unknown coefficients are calculated by applying proper boundary conditions. By eliminating the unwanted scattering harmonics, the proposed metagrating has the ability to realize different functionalities from perfect anomalous refraction to reflection transmission spatial power dividing, without resorting to full wave numerical optimizations. The numerical simulations confirm well the theoretical predictions. Our findings not only offer possibilities to realize arbitrary spatial power dividers but also reveal a simple alternative for beamforming array antennas.


Scalable Hierarchical Agglomerative Clustering. The applicability of agglomerative clustering, for inferring both hierarchical and flat clustering, is limited by its scalability. Existing scalable hierarchical clustering methods sacrifice quality for speed and often lead to over merging of clusters. In this paper, we present a scalable, agglomerative method for hierarchical clustering that does not sacrifice quality and scales to billions of data points. We perform a detailed theoretical analysis, showing that under mild separability conditions our algorithm can not only recover the optimal flat partition, but also provide a two approximation to non parametric DP Means objective. This introduces a novel application of hierarchical clustering as an approximation algorithm for the non parametric clustering objective. We additionally relate our algorithm to the classic hierarchical agglomerative clustering method. We perform extensive empirical experiments in both hierarchical and flat clustering settings and show that our proposed approach achieves state of the art results on publicly available clustering benchmarks. Finally, we demonstrate our method's scalability by applying it to a dataset of 30 billion queries. Human evaluation of the discovered clusters show that our method finds better quality of clusters than the current state of the art.


Spatial Privacy Pricing The Interplay between Privacy, Utility and Price in Geo Marketplaces. A geo marketplace allows users to be paid for their location data. Users concerned about privacy may want to charge more for data that pinpoints their location accurately, but may charge less for data that is more vague. A buyer would prefer to minimize data costs, but may have to spend more to get the necessary level of accuracy. We call this interplay between privacy, utility, and price emph spatial privacy pricing . We formalize the issues mathematically with an example problem of a buyer deciding whether or not to open a restaurant by purchasing location data to determine if the potential number of customers is sufficient to open. The problem is expressed as a sequential decision making problem, where the buyer first makes a series of decisions about which data to buy and concludes with a decision about opening the restaurant or not. We present two algorithms to solve this problem, including experiments that show they perform better than baselines.


Defense of Word level Adversarial Attacks via Random Substitution Encoding. The adversarial attacks against deep neural networks on computer vision tasks have spawned many new technologies that help protect models from avoiding false predictions. Recently, word level adversarial attacks on deep models of Natural Language Processing (NLP) tasks have also demonstrated strong power, e.g., fooling a sentiment classification neural network to make wrong decisions. Unfortunately, few previous literatures have discussed the defense of such word level synonym substitution based attacks since they are hard to be perceived and detected. In this paper, we shed light on this problem and propose a novel defense framework called Random Substitution Encoding (RSE), which introduces a random substitution encoder into the training process of original neural networks. Extensive experiments on text classification tasks demonstrate the effectiveness of our framework on defense of word level adversarial attacks, under various base and attack models.


Trigonometric splines and some of their properties. A class of trigonometric interpolation splines depending on parameter vectors, selected convergence factors and interpolation factors is considered. The concept of crosslink grids and interpolation grids is introduced these grids can match or y not match. Parseval equality is given and some properties of splines are discussed. The material is illustrated by a numerical example.


The Era of TLS 1.3 Measuring Deployment and Use with Active and Passive Methods. TLS 1.3 marks a significant departure from previous versions of the Transport Layer Security protocol (TLS). The new version offers a simplified protocol flow, more secure cryptographic primitives, and new features to improve performance, among other things. In this paper, we conduct the first study of TLS 1.3 deployment and use since its standardization by the IETF. We use active scans to measure deployment across more than 275M domains, including nearly 90M country code top level domains. We establish and investigate the critical contribution that hosting services and CDNs make to the fast, initial uptake of the protocol. We use passive monitoring at two positions on the globe to determine the degree to which users profit from the new protocol and establish the usage of its new features. Finally, we exploit data from a widely deployed measurement app in the Android ecosystem to analyze the use of TLS 1.3 in mobile networks and in mobile browsers. Our study shows that TLS 1.3 enjoys enormous support even in its early days, unprecedented for any TLS version. However, this is strongly related to very few global players pushing it into the market and sustaining its growth.


RIDE Rewarding Impact Driven Exploration for Procedurally Generated Environments. Exploration in sparse reward environments remains one of the key challenges of model free reinforcement learning. Instead of solely relying on extrinsic rewards provided by the environment, many state of the art methods use intrinsic rewards to encourage exploration. However, we show that existing methods fall short in procedurally generated environments where an agent is unlikely to visit a state more than once. We propose a novel type of intrinsic reward which encourages the agent to take actions that lead to significant changes in its learned state representation. We evaluate our method on multiple challenging procedurally generated tasks in MiniGrid, as well as on tasks with high dimensional observations used in prior work. Our experiments demonstrate that this approach is more sample efficient than existing exploration methods, particularly for procedurally generated MiniGrid environments. Furthermore, we analyze the learned behavior as well as the intrinsic reward received by our agent. In contrast to previous approaches, our intrinsic reward does not diminish during the course of training and it rewards the agent substantially more for interacting with objects that it can control.


Nernst Planck Navier Stokes systems near equilibrium. The Nernst Planck Navier Stokes system models electrodiffusion of ions in a fluid. We prove global existence of solutions in bounded domains in three dimensions with either blocking (no flux) or uniform selective (special Dirichlet) boundary conditions for ion concentrations. The global existence of strong solutions is established for initial conditions that are sufficiently small perturbations of steady state solutions. The solutions remain close to equilibrium in strong norms. The main two steps of the proof are (1) the decay of the sum of relative entropies (Kullback Leibler divergences) and (2) the control of L 2 norms of deviations by the sum of relative entropies.


Some remarks on free products of rigid C 2 categories. In this informal expository note, we present a universal, formulaic construction of the free product of rigid C 2 categories. This construction allows for a straightforward, purely categorical formulation of the free composition of subfactors and planar algebras considered by Bisch and Jones. As an application, we explain the results of Tarrago and Wahl on free wreath products of compact quantum groups in this categorical language.


Baidu UTS Submission to the EPIC Kitchens Action Recognition Challenge 2019. In this report, we present the Baidu UTS submission to the EPIC Kitchens Action Recognition Challenge in CVPR 2019. This is the winning solution to this challenge. In this task, the goal is to predict verbs, nouns, and actions from the vocabulary for each video segment. The EPIC Kitchens dataset contains various small objects, intense motion blur, and occlusions. It is challenging to locate and recognize the object that an actor interacts with. To address these problems, we utilize object detection features to guide the training of 3D Convolutional Neural Networks (CNN), which can significantly improve the accuracy of noun prediction. Specifically, we introduce a Gated Feature Aggregator module to learn from the clip feature and the object feature. This module can strengthen the interaction between the two kinds of activations and avoid gradient exploding. Experimental results demonstrate our approach outperforms other methods on both seen and unseen test set.


Averaging of Hamilton Jacobi equations over Hamiltonian flows. We study the asymptotic behavior of solutions to the Dirichlet problem for Hamilton Jacobi equations with large drift terms, where the drift terms are given by the Hamiltonian vector fields of Hamiltonian H . This is an attempt to understand the averaging effect for fully nonlinear degenerate elliptic equations. In this work, we restrict ourselves to the case of Hamilton Jacobi equations. The second author has already established averaging results for Hamilton Jacobi equations with convex Hamiltonians ( G below) under the classical formulation of the Dirichlet condition. Here we treat the Dirichlet condition in the viscosity sense, and establish an averaging result for Hamilton Jacobi equations with relatively general Hamiltonian G .


Evolutionary learning of interpretable decision trees. Reinforcement learning techniques achieved human level performance in several tasks in the last decade. However, in recent years, the need for interpretability emerged we want to be able to understand how a system works and the reasons behind its decisions. Not only we need interpretability to assess the safety of the produced systems, we also need it to extract knowledge about unknown problems. While some techniques that optimize decision trees for reinforcement learning do exist, they usually employ greedy algorithms or they do not exploit the rewards given by the environment. This means that these techniques may easily get stuck in local optima. In this work, we propose a novel approach to interpretable reinforcement learning that uses decision trees. We present a two level optimization scheme that combines the advantages of evolutionary algorithms with the advantages of Q learning. This way we decompose the problem into two sub problems the problem of finding a meaningful and useful decomposition of the state space, and the problem of associating an action to each state. We test the proposed method on three well known reinforcement learning benchmarks, on which it results competitive with respect to the state of the art in both performance and interpretability. Finally, we perform an ablation study that confirms that using the two level optimization scheme gives a boost in performance in non trivial environments with respect to a one layer optimization technique.


You Shall Know a User by the Company It Keeps Dynamic Representations for Social Media Users in NLP. Information about individuals can help to better understand what they say, particularly in social media where texts are short. Current approaches to modelling social media users pay attention to their social connections, but exploit this information in a static way, treating all connections uniformly. This ignores the fact, well known in sociolinguistics, that an individual may be part of several communities which are not equally relevant in all communicative situations. We present a model based on Graph Attention Networks that captures this observation. It dynamically explores the social graph of a user, computes a user representation given the most relevant connections for a target task, and combines it with linguistic information to make a prediction. We apply our model to three different tasks, evaluate it against alternative models, and analyse the results extensively, showing that it significantly outperforms other current methods.


Interpretable Time Budget Constrained Contextualization for Re Ranking. Search engines operate under a strict time constraint as a fast response is paramount to user satisfaction. Thus, neural re ranking models have a limited time budget to re rank documents. Given the same amount of time, a faster re ranking model can incorporate more documents than a less efficient one, leading to a higher effectiveness. To utilize this property, we propose TK (Transformer Kernel) a neural re ranking model for ad hoc search using an efficient contextualization mechanism. TK employs a very small number of Transformer layers (up to three) to contextualize query and document word embeddings. To score individual term interactions, we use a document length enhanced kernel pooling, which enables users to gain insight into the model. TK offers an optimal ratio between effectiveness and efficiency under realistic time constraints (max. 200 ms per query) TK achieves the highest effectiveness in comparison to BERT and other re ranking models. We demonstrate this on three large scale ranking collections MSMARCO Passage, MSMARCO Document, and TREC CAR. In addition, to gain insight into TK, we perform a clustered query analysis of TK's results, highlighting its strengths and weaknesses on queries with different types of information need and we show how to interpret the cause of ranking differences of two documents by comparing their internal scores.


EQL an extremely easy to learn knowledge graph query language, achieving highspeed and precise search. EQL, also named as Extremely Simple Query Language, can be widely used in the field of knowledge graph, precise search, strong artificial intelligence, database, smart speaker ,patent search and other fields. EQL adopt the principle of minimalism in design and pursues simplicity and easy to learn so that everyone can master it quickly. EQL language and lambda calculus are interconvertible, that reveals the mathematical nature of EQL language, and lays a solid foundation for rigor and logical integrity of EQL language. The EQL language and a comprehensive knowledge graph system with the world's commonsense can together form the foundation of strong AI in the future, and make up for the current lack of understanding of world's commonsense by current AI system. EQL language can be used not only by humans, but also as a basic language for data query and data exchange between robots.


Infinitesimal symmetries of weakly pseudoconvex manifolds. We classify the Lie algebras of infinitesimal CR automorphisms of weakly pseudoconvex hypersurfaces of finite multitype in mathbb C N . In particular, we prove that such manifolds admit neither nonlinear rigid automorphisms, nor real or nilpotent rotations. As a consequence, this leads to a proof of a sharp 2 jet determination result for local automorphisms. Moreover, for hypersurfaces which are not balanced, CR automorphisms are uniquely determined by their 1 jets. The same classification is derived also for special models, given by sums of squares of polynomials. In particular, in the case of homogeneous polynomials the Lie algebra of infinitesimal CR automorphisms is always three graded. The results provide an important necessary step for solving the local equivalence problem on weakly pseudoconvex manifolds.


Learning to Price Vehicle Service with Unknown Demand. It can be profitable for vehicle service providers to set service prices based on users' travel demand on different origin destination pairs. The prior studies on the spatial pricing of vehicle service rely on the assumption that providers know users' demand. In this paper, we study a monopolistic provider who initially does not know users' demand and needs to learn it over time by observing the users' responses to the service prices. We design a pricing and vehicle supply policy, considering the tradeoff between exploration (i.e., learning the demand) and exploitation (i.e., maximizing the provider's short term payoff). Considering that the provider needs to ensure the vehicle flow balance at each location, its pricing and supply decisions for different origin destination pairs are tightly coupled. This makes it challenging to theoretically analyze the performance of our policy. We analyze the gap between the provider's expected time average payoffs under our policy and a clairvoyant policy, which makes decisions based on complete information of the demand. We prove that after running our policy for D days, the loss in the expected time average payoff can be at most O((ln D) 0.5 D ( 0.25)), which decays to zero as D approaches infinity.


Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable. For a finite collection of graphs cal F , the cal F TM Deletion problem has as input an n vertex graph G and an integer k and asks whether there exists a set S subseteq V(G) with S leq k such that G setminus S does not contain any of the graphs in cal F as a topological minor. We prove that for every such cal F , cal F TM Deletion is fixed parameter tractable on planar graphs. In particular, we provide an f(h,k) cdot n 2 algorithm where h is an upper bound to the vertices of the graphs in cal F .


Second order necessary conditions for optimal control problems with endpoints constraints and convex control constraints. In this manuscript, we consider a control system governed by a general ordinary differential equation on a Riemannian manifold, with its endpoints satisfying some inequalities and equalities, and its control constrained to a closed convex set. We concern on an optimal control problem of this system, and obtain the second order necessary condition in the sense of convex variation (Theorem 2.2). To this end, we first obtain a second order necessary condition of an optimization problem (Theorem 4.2) via separation theorem of convex sets. Then, we derive our necessary condition by transforming the optimal control problem into an optimization problem. It is worth to point out that, our necessary condtition evolves the curvature tensor, which is trivial in Euclidean case. Moreover, even M is a Euclidean space, our result is still of interest. Actually, we give an example (Example 2.1) which shows that, when an optimal control stays at the boundary of the control set, the existing results are invalid while Theorem 2.2 works.


Navigating the Landscape of Multiplayer Games. Multiplayer games have long been used as testbeds in artificial intelligence research, aptly referred to as the Drosophila of artificial intelligence. Traditionally, researchers have focused on using well known games to build strong agents. This progress, however, can be better informed by characterizing games and their topological landscape. Tackling this latter question can facilitate understanding of agents and help determine what game an agent should target next as part of its training. Here, we show how network measures applied to response graphs of large scale games enable the creation of a landscape of games, quantifying relationships between games of varying sizes and characteristics. We illustrate our findings in domains ranging from canonical games to complex empirical games capturing the performance of trained agents pitted against one another. Our results culminate in a demonstration leveraging this information to generate new and interesting games, including mixtures of empirical games synthesized from real world games.


Lehto Virtanen type and big Picard type theorems for Berkovich analytic spaces. In non archimedean setting, we establish a Lehto Virtanen type theorem for a morphism from the punctured Berkovich closed unit disk overline mathsf D setminus 0 in the Berkovich affine line to the Berkovich projective line mathsf P 1 having an isolated essential singularity at the origin, and then establish a big Picard type theorem for such an open subset Omega in the Berkovich projective space mathsf P N of any dimension N that the family of all morphisms from overline mathsf D setminus 0 to Omega is normal in a non archimedean Montel's sense. As an application of the latter theorem, we see a big Brody type hyperbolicity of the Berkovich harmonic Fatou set of an endomorphism of mathsf P N of degree 1 .


FacTweet Profiling Fake News Twitter Accounts. We present an approach to detect fake news in Twitter at the account level using a neural recurrent model and a variety of different semantic and stylistic features. Our method extracts a set of features from the timelines of news Twitter accounts by reading their posts as chunks, rather than dealing with each tweet independently. We show the experimental benefits of modeling latent stylistic signatures of mixed fake and real news with a sequential model over a wide range of strong baselines.


Causality and Epistemic Reasoning in Byzantine Multi Agent Systems. Causality is an important concept both for proving impossibility results and for synthesizing efficient protocols in distributed computing. For asynchronous agents communicating over unreliable channels, causality is well studied and understood. This understanding, however, relies heavily on the assumption that agents themselves are correct and reliable. We provide the first epistemic analysis of causality in the presence of byzantine agents, i.e., agents that can deviate from their protocol and, thus, cannot be relied upon. Using our new framework for epistemic reasoning in fault tolerant multi agent systems, we determine the byzantine analog of the causal cone and describe a communication structure, which we call a multipede, necessary for verifying preconditions for actions in this setting.


How Dualists Should (Not) Respond to the Objection from Energy Conservation. The principle of energy conservation is widely taken to be a serious difficulty for interactionist dualism (whether property or substance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe's varying constants proposal, showing how they all miss their goal due to lack of engagement with the physico mathematical roots of energy conservation physics the first Noether theorem (that symmetries imply conservation laws), its converse (that conservation laws imply symmetries), and the locality of continuum field physics. Thus the "conditionality response", which sees conservation as (bi)conditional upon symmetries and simply accepts energy non conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteriori, based on empirically studying the brain.


Neither Global Nor Local A Hierarchical Robust Subspace Clustering For Image Data. In this paper, we consider the problem of subspace clustering in presence of contiguous noise, occlusion and disguise. We argue that self expressive representation of data in current state of the art approaches is severely sensitive to occlusions and complex real world noises. To alleviate this problem, we propose a hierarchical framework that brings robustness of local patches based representations and discriminant property of global representations together. This approach consists of 1) a top down stage, in which the input data is subject to repeated division to smaller patches and 2) a bottom up stage, in which the low rank embedding of local patches in field of view of a corresponding patch in upper level are merged on a Grassmann manifold. This summarized information provides two key information for the corresponding patch on the upper level cannot links and recommended links. This information is employed for computing a self expressive representation of each patch at upper levels using a weighted sparse group lasso optimization problem. Numerical results on several real data sets confirm the efficiency of our approach.


Modeling the Distribution of Normal Data in Pre Trained Deep Features for Anomaly Detection. Anomaly Detection (AD) in images is a fundamental computer vision problem and refers to identifying images and image substructures that deviate significantly from the norm. Popular AD algorithms commonly try to learn a model of normality from scratch using task specific datasets, but are limited to semi supervised approaches employing mostly normal data due to the inaccessibility of anomalies on a large scale combined with the ambiguous nature of anomaly appearance. We follow an alternative approach and demonstrate that deep feature representations learned by discriminative models on large natural image datasets are well suited to describe normality and detect even subtle anomalies in a transfer learning setting. Our model of normality is established by fitting a multivariate Gaussian (MVG) to deep feature representations of classification networks trained on ImageNet using normal data only. By subsequently applying the Mahalanobis distance as the anomaly score we outperform the current state of the art on the public MVTec AD dataset, achieving an AUROC value of 95.8 pm 1.2 (mean pm SEM) over all 15 classes. We further investigate why the learned representations are discriminative to the AD task using Principal Component Analysis. We find that the principal components containing little variance in normal data are the ones crucial for discriminating between normal and anomalous instances. This gives a possible explanation to the often sub par performance of AD approaches trained from scratch using normal data only. By selectively fitting a MVG to these most relevant components only, we are able to further reduce model complexity while retaining AD performance. We also investigate setting the working point by selecting acceptable False Positive Rate thresholds based on the MVG assumption. Code available at https github.com ORippler gaussian ad mvtec


Sim to Real Transfer in Deep Reinforcement Learning for Robotics a Survey. Deep reinforcement learning has recently seen huge success across multiple areas in the robotics domain. Owing to the limitations of gathering real world data, i.e., sample inefficiency and the cost of collecting it, simulation environments are utilized for training the different agents. This not only aids in providing a potentially infinite data source, but also alleviates safety concerns with real robots. Nonetheless, the gap between the simulated and real worlds degrades the performance of the policies once the models are transferred into real robots. Multiple research efforts are therefore now being directed towards closing this sim to real gap and accomplish more efficient policy transfer. Recent years have seen the emergence of multiple methods applicable to different domains, but there is a lack, to the best of our knowledge, of a comprehensive review summarizing and putting into context the different methods. In this survey paper, we cover the fundamental background behind sim to real transfer in deep reinforcement learning and overview the main methods being utilized at the moment domain randomization, domain adaptation, imitation learning, meta learning and knowledge distillation. We categorize some of the most relevant recent works, and outline the main application scenarios. Finally, we discuss the main opportunities and challenges of the different approaches and point to the most promising directions.


A Motion Planning Algorithm in a lollipop graph. This paper is concerned with problems relevant to motion planning in robotics. Configuration spaces are of practical relevance in designing safe control schemes for robots moving on a track. The topological complexity of a configuration space is an integer which can be thought of as the minimum number of continuous instructions required to describe how to move robots between any initial configuration to any final one without collisions. We calculate this number for various examples of robots moving in different tracks represented by graphs. We present and implement an explicit algorithm for two robots to move autonomously and without collisions on a lollipop track.


Radiation of twisted photons from charged particles moving in cholesterics. The radiation of twisted photons by charged particles traversing a cholesteric plate is studied in the framework of quantum electrodynamics in an anisotropic inhomogeneous dispersive medium. The complete set of solutions to the Maxwell equations in the cholesteric plate is constructed in the paraxial and small anisotropy approximations. The explicit expressions for the average numbers of plane wave and twisted photons created by a charged point particle crossing the cholesteric plate are derived. The selection rules for the twisted photons radiated at the harmonic n in mathbb Z are established. In the paraxial regime, the projection of the orbital angular momentum of a radiated twisted photon obeys the selection rule l pm(2n 1) . In the approximation of a small anisotropy of the permittivity tensor, the selection rule becomes m pm 2n , where m is the projection of the total angular momentum of a radiated twisted photon. The sign " pm " in these selection rules is related to the choice of the forward or reflected waves in the cholesteric and is realized at the different energies of radiated photons. As the examples, the radiation of optical twisted photons by electrons with the Lorentz factors gamma 235 and gamma 500 and by uranium nuclei with gamma 2 are considered. It is shown that charged particles traversing normally a cholesteric plate can be used as a pure source of twisted photons.


Cyber bonds and their pricing models. Motivated by the developments in cyber risk treatment in the finance industry, we propose a general framework of cyber bond, whose main purpose is to insure (compensate) losses of a cyber attack. Based on a database of publicly available cyber events, we determine cyber loss distribution parameters and use them to numerically simulate cyber bond price, yield, and other characteristics. We also consider two possible approaches to cyber bond coupon calculation.


On the theory of higher rank Euler, Kolyvagin and Stark systems, IV the multiplicative group. We describe a refinement of the general theory of higher rank Euler, Kolyvagin and Stark systems in the setting of the multiplicative group over arbitrary number fields. We use the refined theory to prove new results concerning the Galois structure of ideal class groups and the validity of both the equivariant Tamagawa number conjecture and of the refined class number formula' that has been conjectured by Mazur and Rubin and by Sano. In contrast to previous work in this direction, these results require no hypotheses on the decomposition behaviour of places that are intended to rule out the existence of trivial zeroes'.


Quasi periodic traveling waves on an infinitely deep fluid under gravity. We consider the gravity water waves system with a periodic one dimensional interface in infinite depth and we establish the existence and the linear stability of small amplitude, quasi periodic in time, traveling waves. This provides the first existence result of quasi periodic water waves solutions bifurcating from a emph completely resonant elliptic fixed point. The proof is based on a Nash Moser scheme, Birkhoff normal form methods and pseudo differential calculus techniques. We deal with the combined problems of emph small divisors and the emph fully nonlinear nature of the equations. The lack of parameters, like the capillarity or the depth of the ocean, demands a refined emph nonlinear bifurcation analysis involving several non trivial resonant wave interactions, as the well known "Benjamin Feir resonances". We develop a novel normal form approach to deal with that. Moreover, by making full use of the Hamiltonian structure, we are able to provide the existence of a wide class of solutions which are free from restrictions of parity in the time and space variables.


Robustness and efficiency of leaderless probabilistic consensus protocols within Byzantine infrastructures. This paper investigates leaderless binary majority consensus protocols with low computational complexity in noisy Byzantine infrastructures. Using computer simulations, we show that explicit randomization of the consensus protocol can significantly increase the robustness towards faulty and malicious nodes. We identify the optimal amount of randomness for various Byzantine attack strategies on different kinds of network topologies.


Automorphism groups of finite p groups of class 2. For each finite p group of class 2 presented as a central extension of an abelian p group by another one, we present a practical methed for computing its automorphism group.


Sparse Regular Expression Matching. We present the first algorithm for regular expression matching that can take advantage of sparsity in the input instance. Our main result is a new algorithm that solves regular expression matching in O left( Delta log log frac nm Delta n m right) time, where m is the number of positions in the regular expression, n is the length of the string, and Delta is the emph density of the instance, defined as the total number of states in a simulation of the position automaton. This measure is a lower bound on the total number of states in simulations of all classic polynomial sized finite automata. Our bound improves the best known bounds for regular expression matching by almost a linear factor in the density of the problem. The key component in the result is a novel linear space representation of the position automaton that supports state set transition computation in near linear time in the size of the input and output state sets.


Existence, energy identity and higher time regularity of solutions to a dynamic visco elastic cohesive interface model. We study the dynamics of visco elastic materials coupled by a common cohesive interface (or, equivalently, two single domains separated by a prescribed cohesive crack) in the anti plane setting. We consider a general class of traction separation laws featuring an activation threshold on the normal stress, softening and elastic unloading. In strong form, the evolution is described by a system of PDEs coupling momentum balance (in the bulk) with transmission and Karush Kuhn Tucker conditions (on the interface). We provide a detailed analysis of the system. We first prove existence of a weak solution, employing a time discrete approach and a regularization of the initial data. Then, we prove our main results the energy identity and the existence of solutions with acceleration in L infty (0,T L 2) .