Nilpotency in left semi braces. We introduce left and right series of left semi braces. This allows to define left and right nilpotent left semi braces. We study the structure of such semi braces and generalize some results, known for skew left braces, to left semi braces. We study the structure of left semi braces B such that the set of additive idempotents E is an ideal of B . Finally we introduce the concept of a nilpotent left semi brace and we show that the multiplicative group of such semi braces is nilpotent.


Koszul duality for topological E n operads. We show that the Koszul dual of an E n operad in spectra is O(n) equivariantly equivalent to its n fold desuspension. To this purpose we introduce a new O(n) operad of Euclidean spaces R n, the barycentric operad, that is fibred over simplexes and has homeomorphisms as structure maps we also introduce its sub operad of restricted little n discs D n, that is an E n operad. The duality is realized by an unstable explicit S duality pairing (F n) smash BD n to S n, where B is the bar cooperad construction, F n is the Fulton MacPherson E n operad, and the dualizing object S n is an operad of spheres that are one point compactifications of star shaped neighbourhoods in R n. We also identify the Koszul dual of the operad inclusion map E n to E n m as the (n m) fold desuspension of an unstable operad map E n m to Sigma m E n defined by May.


Active Interaction Force Control for Contact Based Inspection with a Fully Actuated Aerial Vehicle. This paper presents and validates active interaction force control and planning for fully actuated and omnidirectional aerial manipulation platforms, with the goal of aerial contact inspection in unstructured environments. We present a variable axis selective impedance control which integrates direct force control for intentional interaction, using feedback from an on board force sensor. The control approach aims to reject disturbances in free flight, while handling unintentional interaction, and actively controlling desired interaction forces. A fully actuated and omnidirectional tilt rotor aerial system is used to show capabilities of the control and planning methods. Experiments demonstrate disturbance rejection, push and slide interaction, and force controlled interaction in different flight orientations. The system is validated as a tool for non destructive testing of concrete infrastructure, and statistical results of


A general model for vegetation patterns including rhizome growth. Vegetation patterns, a natural phenomenon observed worldwide, are typically driven by spatially distributed feedback. However, the spatial colonization mechanisms of clonal plants, driven by the growth of a rhizome, are usually not considered in prototypical models. Here we propose a general equation for the vegetation density that includes all main clonal growth features as well as the essential ingredients leading to spatial self organization. This generic model reproduces the phase diagram of a fully detailed model of clonal growth. The relation of each term of the model with the mechanisms of clonal growth is discussed.


Refraction corrected ray based inversion for three dimensional ultrasound tomography of the breast. Ultrasound Tomography has seen a revival of interest in the past decade, especially for breast imaging, due to improvements in both ultrasound and computing hardware. In particular, three dimensional ultrasound tomography, a fully tomographic method in which the medium to be imaged is surrounded by ultrasound transducers, has become feasible. In this paper, a comprehensive derivation and study of a robust framework for large scale bent ray ultrasound tomography in 3D for a hemispherical detector array is presented. Two ray tracing approaches are derived and compared. More significantly, the problem of linking the rays between emitters and receivers, which is challenging in 3D due to the high number of degrees of freedom for the trajectory of rays, is analysed both as a minimisation and as a root finding problem. The ray linking problem is parameterised for a convex detection surface and three robust, accurate, and efficient ray linking algorithms are formulated and demonstrated. To stabilise these methods, novel adaptive smoothing approaches are proposed that control the conditioning of the update matrices to ensure accurate linking. The nonlinear UST problem of estimating the sound speed was recast as a series of linearised subproblems, each solved using the above algorithms and within a steepest descent scheme. The whole imaging algorithm was demonstrated to be robust and accurate on realistic data simulated using a full wave acoustic model and an anatomical breast phantom, and incorporating the errors due to time of flight picking that would be present with measured data. This method can used to provide a low artefact, quantitatively accurate, 3D sound speed maps. In addition to being useful in their own right, such 3D sound speed maps can be used to initialise full wave inversion methods, or as an input to photoacoustic tomography reconstructions.


Neural Abstractive Summarization with Structural Attention. Attentional, RNN based encoder decoder architectures have achieved impressive performance on abstractive summarization of news articles. However, these methods fail to account for long term dependencies within the sentences of a document. This problem is exacerbated in multi document summarization tasks such as summarizing the popular opinion in threads present in community question answering (CQA) websites such as Yahoo! Answers and Quora. These threads contain answers which often overlap or contradict each other. In this work, we present a hierarchical encoder based on structural attention to model such inter sentence and inter document dependencies. We set the popular pointer generator architecture and some of the architectures derived from it as our baselines and show that they fail to generate good summaries in a multi document setting. We further illustrate that our proposed model achieves significant improvement over the baselines in both single and multi document summarization settings in the former setting, it beats the best baseline by 1.31 and 7.8 ROUGE 1 points on CNN and CQA datasets, respectively in the latter setting, the performance is further improved by 1.6 ROUGE 1 points on the CQA dataset.


Similarity of quadratic and symmetric bilinear forms in characteristic 2. We say that a field extension L F has the descent property for isometry (resp. similarity) of quadratic or symmetric bilinear forms if any two forms defined over F that become isometric (resp. similar) over L are already isometric (resp. similar) over F . The famous Artin Springer theorem states that anisotropic quadratic or symmetric bilinear forms over a field stay anisotropic over an odd degree field extension. As a consequence, odd degree extensions have the descent property for isometry of quadratic as well as symmetric bilinear forms. While this is well known for nonsingular quadratic forms, it is perhaps less well known for arbitrary quadratic or symmetric bilinear forms in characteristic 2 . We provide a proof in this situation. More generally, we show that odd degree extensions also have the descent property for similarity. Moreover, for symmetric bilinear forms in characteristic 2 , one even has the descent property for isometry and for similarity for arbitrary separable algebraic extensions. We also show Scharlau's norm principle for arbitrary quadratic or bilinear forms in characteristic 2 .


Parabolic SL(r) opers. We define SL(r) opers in the set up of vector bundles on curves with a parabolic structure over a divisor. Basic properties of these objects are investigated.


Multi view stereo with semantic priors. Patch based stereo is nowadays a commonly used image based technique for dense 3D reconstruction in large scale multi view applications. The typical steps of such a pipeline can be summarized in stereo pair selection, depth map computation, depth map refinement and, finally, fusion in order to generate a complete and accurate representation of the scene in 3D. In this study, we aim to support the standard dense 3D reconstruction of scenes as implemented in the open source library OpenMVS by using semantic priors. To this end, during the depth map fusion step, along with the depth consistency check between depth maps of neighbouring views referring to the same part of the 3D scene, we impose extra semantic constraints in order to remove possible errors and selectively obtain segmented point clouds per label, boosting automation towards this direction. I n order to reassure semantic coherence between neighbouring views, additional semantic criterions can be considered, aiming to elim inate mismatches of pixels belonging in different classes.


On the Generalized Cluster Algebras of Geometric Type. We develop and prove the analogs of some results shown in Berenstein A., Fomin S., Zelevinsky A., Duke Math. J. 126 (2005), 1 52 concerning lower and upper bounds of cluster algebras to the generalized cluster algebras of geometric type. We show that lower bounds coincide with upper bounds under the conditions of acyclicity and coprimality. Consequently, we obtain the standard monomial bases of these generalized cluster algebras. Moreover, in the appendix, we prove that an acyclic generalized cluster algebra is equal to the corresponding generalized upper cluster algebra without the assumption of the existence of coprimality.


Decentralized and Communication Free Multi Robot Navigation through Distributed Games. Effective multi robot teams require the ability to move to goals in complex environments in order to address real world applications such as search and rescue. Multi robot teams should be able to operate in a completely decentralized manner, with individual robot team members being capable of acting without explicit communication between neighbors. In this paper, we propose a novel game theoretic model that enables decentralized and communication free navigation to a goal position. Robots each play their own distributed game by estimating the behavior of their local teammates in order to identify behaviors that move them in the direction of the goal, while also avoiding obstacles and maintaining team cohesion without collisions. We prove theoretically that generated actions approach a Nash equilibrium, which also corresponds to an optimal strategy identified for each robot. We show through extensive simulations that our approach enables decentralized and communication free navigation by a multi robot system to a goal position, and is able to avoid obstacles and collisions, maintain connectivity, and respond robustly to sensor noise.


Leveraging Crowdsourced GPS Data for Road Extraction from Aerial Imagery. Deep learning is revolutionizing the mapping industry. Under lightweight human curation, computer has generated almost half of the roads in Thailand on OpenStreetMap (OSM) using high resolution aerial imagery. Bing maps are displaying 125 million computer generated building polygons in the U.S. While tremendously more efficient than manual mapping, one cannot map out everything from the air. Especially for roads, a small prediction gap by image occlusion renders the entire road useless for routing. Misconnections can be more dangerous. Therefore computer based mapping often requires local verifications, which is still labor intensive. In this paper, we propose to leverage crowdsourced GPS data to improve and support road extraction from aerial imagery. Through novel data augmentation, GPS rendering, and 1D transpose convolution techniques, we show almost 5 improvements over previous competition winning models, and much better robustness when predicting new areas without any new training data or domain adaptation.


Boosting Adversarial Attacks on Neural Networks with Better Optimizer. Convolutional neural networks have outperformed humans in image recognition tasks, but they remain vulnerable to attacks from adversarial examples. Since these data are crafted by adding imperceptible noise to normal images, their existence poses potential security threats to deep learning systems. Sophisticated adversarial examples with strong attack performance can also be used as a tool to evaluate the robustness of a model. However, the success rate of adversarial attacks can be further improved in black box environments. Therefore, this study combines a modified Adam gradient descent algorithm with the iterative gradient based attack method. The proposed Adam Iterative Fast Gradient Method is then used to improve the transferability of adversarial examples. Extensive experiments on ImageNet showed that the proposed method offers a higher attack success rate than existing iterative methods. By extending our method, we achieved a state of the art attack success rate of 95.0 on defense models.


Korn's inequality and Jones eigenpairs. In this paper we show that Korn's inequality cite ref korn1906 holds for vector fields with a zero normal or tangential trace on a subset (of positive measure) of the boundary of Lipschitz domains. We further show that the validity of this inequality depends on the geometry of this subset of the boundary. We then consider the it Jones eigenvalue problem which consists of the usual traction eigenvalue problem for the Lam 'e operator for linear elasticity coupled with a zero normal trace of the displacement on a non empty part of the boundary. Here we extend previous works in the literature to show the Jones eigenpairs exist on a broad variety of domains even when the normal trace of the displacement is constrained only on a subset of the boundary. We further show that one can have eigenpairs of a modified eigenproblem in which the constraint on the normal trace on a subset of the boundary is replaced by one on the tangential trace.


Industrial Control via Application Containers Migrating from Bare Metal to IAAS. We explore the challenges and opportunities of shifting industrial control software from dedicated hardware to bare metal servers or cloud computing platforms using off the shelf technologies. In particular, we demonstrate that executing time critical applications on cloud platforms is viable based on a series of dedicated latency tests targeting relevant real time configurations.


The vortex like behavior of the Riemann zeta function to the right of the critical strip. Based on an equivalence relation that was established recently on exponential sums, in this paper we study the class of functions that are equivalent to the Riemann zeta function in the half strip s in mathbb C operatorname Re s 1 . In connection with this class of functions, we first determine the value of the maximum abscissa from which the images of any function in it cannot take a prefixed argument. The main result shows that each of these functions experiments a vortex like behavior in the sense that the main argument of its images varies indefinitely near the vertical line operatorname Re s 1 . In particular, regarding the Riemann zeta function zeta(s) , for every sigma 0 1 we can assure the existence of a relatively dense set of real numbers t m m geq 1 such that the parametrized curve traced by the points ( operatorname Re ( zeta( sigma it m)), operatorname Im ( zeta( sigma it m))) , with sigma in(1, sigma 0) , makes a prefixed finite number of turns around the origin.


Rota Baxter operators of nonzero weight on the matrix algebra of order three. We classify all Rota Baxter operators of nonzero weight on the matrix algebra of order three over an algebraically closed field of characteristic zero which are not arisen from the decompositions of the entire algebra into a direct vector space sum of two subalgebras.


Pick Object Attack Type Specific Adversarial Attack for Object Detection. Many recent studies have shown that deep neural models are vulnerable to adversarial samples images with imperceptible perturbations, for example, can fool image classifiers. In this paper, we present the first type specific approach to generating adversarial examples for object detection, which entails detecting bounding boxes around multiple objects present in the image and classifying them at the same time, making it a harder task than against image classification. We specifically aim to attack the widely used Faster R CNN by changing the predicted label for a particular object in an image where prior work has targeted one specific object (a stop sign), we generalise to arbitrary objects, with the key challenge being the need to change the labels of all bounding boxes for all instances of that object type. To do so, we propose a novel method, named Pick Object Attack. Pick Object Attack successfully adds perturbations only to bounding boxes for the targeted object, preserving the labels of other detected objects in the image. In terms of perceptibility, the perturbations induced by the method are very small. Furthermore, for the first time, we examine the effect of adversarial attacks on object detection in terms of a downstream task, image captioning we show that where a method that can modify all object types leads to very obvious changes in captions, the changes from our constrained attack are much less apparent.


Extensively Matching for Few shot Learning Event Detection. Current event detection models under super vised learning settings fail to transfer to newevent types. Few shot learning has not beenexplored in event detection even though it al lows a model to perform well with high gener alization on new event types. In this work, weformulate event detection as a few shot learn ing problem to enable to extend event detec tion to new event types. We propose two novelloss factors that matching examples in the sup port set to provide more training signals to themodel. Moreover, these training signals can beapplied in many metric based few shot learn ing models. Our extensive experiments on theACE 2005 dataset (under a few shot learningsetting) show that the proposed method can im prove the performance of few shot learning


Coulomb collisions in strongly anisotropic plasmas II. Cyclotron cooling in laboratory pair plasmas. The behaviour of a strongly magnetized collisional electron positron plasma which is optically thin to cyclotron radiation is considered, and the distribution functions accessible to it on the various timescales in the system are calculated. Particular attention is paid to the limit in which the collision time exceeds the radiation emission time, making the electron distribution function strongly anisotropic. Indeed, these are the exact conditions likely to be attained in the first laboratory electron positron plasma experiments currently being developed, which will typically have very low densities and be confined in very strong magnetic fields. The constraint of strong magnetization adds an additional complication in that long range Coulomb collisions, which are usually negligible, must now be considered. A rigorous collision operator for these long range collisions has never been written down. Nevertheless, we show that the collisional scattering can be accounted for without knowing the explicit form of this collision operator. The rate of radiation emission is calculated and it is found that the loss of energy from the plasma is proportional to the parallel collision frequency multiplied by a factor that only depends logarithmically on plasma parameters. That is, this is a self accelerating process, meaning that the bulk of the energy will be lost in a few collision times. We show that in a simple case, that of straight field line geometry, there are no unstable drift waves in such plasmas, despite being far from Maxwellian.


On lax transformations, adjunctions, and monads in ( infty,2) categories. We use the basic expected properties of the Gray tensor product of ( infty,2) categories to study (co)lax natural transformations. Using results of Riehl Verity and Zaganidis we identify lax transformations between adjunctions and monads with commutative squares of (monadic) right adjoints. We also identify the colax transformations whose components are equivalences (generalizing the "icons" of Lack) with the 2 morphisms that arise from viewing ( infty,2) categories as simplicial infty categories. Using this characterization we identify the infty category of monads on a fixed object and colax morphisms between them with the infty category of associative algebras in endomorphisms.


Accelerating Number Theoretic Transformations for Bootstrappable Homomorphic Encryption on GPUs. Homomorphic encryption (HE) draws huge attention as it provides a way of privacy preserving computations on encrypted messages. Number Theoretic Transform (NTT), a specialized form of Discrete Fourier Transform (DFT) in the finite field of integers, is the key algorithm that enables fast computation on encrypted ciphertexts in HE. Prior works have accelerated NTT and its inverse transformation on a popular parallel processing platform, GPU, by leveraging DFT optimization techniques. However, these GPU based studies lack a comprehensive analysis of the primary differences between NTT and DFT or only consider small HE parameters that have tight constraints in the number of arithmetic operations that can be performed without decryption. In this paper, we analyze the algorithmic characteristics of NTT and DFT and assess the performance of NTT when we apply the optimizations that are commonly applicable to both DFT and NTT on modern GPUs. From the analysis, we identify that NTT suffers from severe main memory bandwidth bottleneck on large HE parameter sets. To tackle the main memory bandwidth issue, we propose a novel NTT specific on the fly root generation scheme dubbed on the fly twiddling (OT). Compared to the baseline radix 2 NTT implementation, after applying all the optimizations, including OT, we achieve 4.2x speedup on a modern GPU.


BuSCOPE Fusing Individual Aggregated Mobility Behavior for "Live" Smart City Services. While analysis of urban commuting data has a long and demonstrated history of providing useful insights into human mobility behavior, such analysis has been performed largely in offline fashion and to aid medium to long term urban planning. In this work, we demonstrate the power of applying predictive analytics on real time mobility data, specifically the smart card generated trip data of millions of public bus commuters in Singapore, to create two novel and "live" smart city services. The key analytical novelty in our work lies in combining two aspects of urban mobility (a) conformity which reflects the predictability in the aggregated flow of commuters along bus routes, and (b) regularity which captures the repeated trip patterns of each individual commuter. We demonstrate that the fusion of these two measures of behavior can be performed at city scale using our BuScope platform, and can be used to create two innovative smart city applications. The Last Mile Demand Generator provides O(mins) lookahead into the number of disembarking passengers at neighborhood bus stops it achieves over 85 accuracy in predicting such disembarkations by an ingenious combination of individual level regularity with aggregate level conformity. By moving driverless vehicles proactively to match this predicted demand, we can reduce wait times for disembarking passengers by over 75 . Independently, the Neighborhood Event Detector uses outlier measures of currently operating buses to detect and spatiotemporally localize dynamic urban events, as much as 1.5 hours in advance, with a localization error of 450 meters.


Simple BERT Models for Relation Extraction and Semantic Role Labeling. We present simple BERT based models for relation extraction and semantic role labeling. In recent years, state of the art performance has been achieved using neural models by incorporating lexical and syntactic features such as part of speech tags and dependency trees. In this paper, extensive experiments on datasets for these two tasks show that without using any external features, a simple BERT based model can achieve state of the art performance. To our knowledge, we are the first to successfully apply BERT in this manner. Our models provide strong baselines for future research.


Joint Representation of Temporal Image Sequences and Object Motion for Video Object Detection. In this paper, we propose a new video object detector (VoD) method referred to as temporal feature aggregation and motion aware VoD (TM VoD), which produces a joint representation of temporal image sequences and object motion. The proposed TM VoD aggregates visual feature maps extracted by convolutional neural networks applying the temporal attention gating and spatial feature alignment. This temporal feature aggregation is performed in two stages in a hierarchical fashion. In the first stage, the visual feature maps are fused at a pixel level via gated attention model. In the second stage, the proposed method aggregates the features after aligning the object features using temporal box offset calibration and weights them according to the cosine similarity measure. The proposed TM VoD also finds the representation of the motion of objects in two successive steps. The pixel level motion features are first computed based on the incremental changes between the adjacent visual feature maps. Then, box level motion features are obtained from both the region of interest (RoI) aligned pixel level motion features and the sequential changes of the box coordinates. Finally, all these features are concatenated to produce a joint representation of the objects for VoD. The experiments conducted on the ImageNet VID dataset demonstrate that the proposed method outperforms existing VoD methods and achieves a performance comparable to that of state of the art VoDs.


Construction of Modern Robust Nodal Discontinuous Galerkin Spectral Element Methods for the Compressible Navier Stokes Equations. Discontinuous Galerkin (DG) methods have a long history in computational physics and engineering to approximate solutions of partial differential equations due to their high order accuracy and geometric flexibility. However, DG is not perfect and there remain some issues. Concerning robustness, DG has undergone an extensive transformation over the past seven years into its modern form that provides statements on solution boundedness for linear and nonlinear problems. This chapter takes a constructive approach to introduce a modern incarnation of the DG spectral element method for the compressible Navier Stokes equations in a three dimensional curvilinear context. The groundwork of the numerical scheme comes from classic principles of spectral methods including polynomial approximations and Gauss type quadratures. We identify aliasing as one underlying cause of the robustness issues for classical DG spectral methods. Removing said aliasing errors requires a particular differentiation matrix and careful discretization of the advective flux terms in the governing equations.


Hyperfine structure in the HD molecule. We investigate interactions between the proton spin, the deuteron spin, and the orbital angular momentum in the electronic ground state of the HD molecule. These interactions lead to hyperfine splittings of molecular energy levels. Our numerical results for the first rotational level agree well with the currently most accurate measurement performed by Ramsey em et al. in the 1950s. Knowledge of the hyperfine structure of other levels is necessary for the accurate determination of rovibrational transition energies in spectroscopic measurements. We present theoretical predictions and share the numerical code used to perform numerical calculations. This work sets the ground for high precision spectroscopic tests of hyperfine interactions in molecular systems. In particular we determine the value of the deuteron quadrupole moment Q 0.2856(2) fm 2 and give outlook for improving its accuracy by three orders of magnitude.


Dyakonov like waveguide modes in an interfacial strip waveguide. We study Dyakonov surface waveguide modes in a waveguide represented by an interface of two anisotropic media confined between two air half spaces. We analyze such modes in terms of perturbation theory in the approximation of weak anisotropy. We show that in contrast to conventional Dyakonov surface waves that decay monotonically with distance from the interface, Dyakonov waveguide modes can have local maxima of the field intensity away from the interface. We confirm our analytical results by comparing them with full wave electromagnetic simulations. We believe that this work can bring new ideas in the research of Dyakonov surface waves.


Isotope specific reactions of acetonitrile (CH3CN) with trapped, translationally cold CCl . The gas phase reaction of CCl with acetonitrile (CH3CN) is studied using a linear Paul ion trap coupled to a time of flight mass spectrometer. This work builds on a previous study of the reaction of CCl with acetylene and further explores the reactivity of CCl with organic neutral molecules. Both of the reactant species are relevant in observations and models of chemistry in the interstellar medium (ISM). Nitriles, in particular, are noted for their relevance in prebiotic chemistry, such as is found in the atmosphere of Titan, one of Saturn's moons. This work represents one of the first studied reactions of a halogenated carbocation with a nitrile, and the first exploration of CCl with a nitrile. Reactant isotopologues are used to unambiguously assign ionic primary products from this reaction HNCCl and C2H3 . Branching ratios are measured and both primary products are determined to be equally probable. Quantum chemical and statistical reaction rate theory calculations illuminate pertinent information for interpreting the reaction data, including reaction thermodynamics, a potential energy surface for the reaction, as well as rate constants and branching ratios for the observed products. In particular, the reaction products and potential energy surface stimulate questions regarding the strength and role of the nitrile functional group, which can be further explored with more reactions of this class.


Coupled Domain Boundary Variational Formulations For Hodge Helmholtz Operators. We couple the mixed variational problem for the generalized Hodge Helmholtz or Hodge Laplace equation posed on a bounded three dimensional Lipschitz domain with the first kind boundary integral equation arising from the latter when constant coefficients are assumed in the unbounded complement. Recently developed Calderon projectors for the relevant boundary integral operators are used to perform a symmetric coupling. We prove stability of the coupled problem away from resonant frequencies by establishing a generalized Garding inequality (T coercivity). The resulting system of equations describes the scattering of monochromatic electromagnetic waves at a bounded inhomogeneous isotropic body possibly having a "rough" surface. The low frequency robustness of the potential formulation of Maxwell's equations makes this model a promising starting point for Galerkin discretization.


Terminal Ranking Games. We analyze a mean field tournament a mean field game in which the agents receive rewards according to the ranking of the terminal value of their projects and are subject to cost of effort. Using Schr " o dinger bridges we are able to explicitly calculate the equilibrium. This allows us to identify the reward functions which would yield a desired equilibrium and solve several related mechanism design problems. We are also able to identify the effect of reward inequality on the players' welfare as well as calculate the price of anarchy.


Computing a Minimum Cost k hop Steiner Tree in Tree Like Metrics. We consider the problem of computing a Steiner tree of minimum cost under a k hop constraint which requires the depth of the tree to be at most k . Our main result is an exact algorithm for metrics induced by graphs of bounded treewidth that runs in time n O(k) . For the special case of a path, we give a simple algorithm that solves the problem in polynomial time, even if k is part of the input. The main result can be used to obtain, in quasi polynomial time, a near optimal solution that violates the k hop constraint by at most one hop for more general metrics induced by graphs of bounded highway dimension.


Quantifying the Impact of Cognitive Biases in Question Answering Systems. Crowdsourcing can identify high quality solutions to problems however, individual decisions are constrained by cognitive biases. We investigate some of these biases in an experimental model of a question answering system. In both natural and controlled experiments, we observe a strong position bias in favor of answers appearing earlier in a list of choices. This effect is enhanced by three cognitive factors the attention an answer receives, its perceived popularity, and cognitive load, measured by the number of choices a user has to process. While separately weak, these effects synergistically amplify position bias and decouple user choices of best answers from their intrinsic quality. We end our paper by discussing the novel ways we can apply these findings to substantially improve how high quality answers are found in question answering systems.


EntropyDB A Probabilistic Approach to Approximate Query Processing. We present EntropyDB, an interactive data exploration system that uses a probabilistic approach to generate a small, query able summary of a dataset. Departing from traditional summarization techniques, we use the Principle of Maximum Entropy to generate a probabilistic representation of the data that can be used to give approximate query answers. We develop the theoretical framework and formulation of our probabilistic representation and show how to use it to answer queries. We then present solving techniques, give two critical optimizations to improve preprocessing time and query execution time, and explore methods to reduce query error. Lastly, we experimentally evaluate our work using a 5 GB dataset of flights within the United States and a 210 GB dataset from an astronomy particle simulation. While our current work only supports linear queries, we show that our technique can successfully answer queries faster than sampling while introducing, on average, no more error than sampling and can better distinguish between rare and nonexistent values. We also discuss extensions that can allow for data updates and linear queries over joins.


Learning Visual Representations with Caption Annotations. Pretraining general purpose visual features has become a crucial part of tackling many computer vision tasks. While one can learn such features on the extensively annotated ImageNet dataset, recent approaches have looked at ways to allow for noisy, fewer, or even no annotations to perform such pretraining. Starting from the observation that captioned images are easily crawlable, we argue that this overlooked source of information can be exploited to supervise the training of visual representations. To do so, motivated by the recent progresses in language models, we introduce em image conditioned masked language modeling (ICMLM) a proxy task to learn visual representations over image caption pairs. ICMLM consists in predicting masked words in captions by relying on visual cues. To tackle this task, we propose hybrid models, with dedicated visual and textual encoders, and we show that the visual representations learned as a by product of solving this task transfer well to a variety of target tasks. Our experiments confirm that image captions can be leveraged to inject global and localized semantic information into visual representations. Project website https europe.naverlabs.com icmlm.


Modeling and Analysis of Boundary Objects and Methodological Islands in Large Scale Systems Development. Large scale companies commonly face the challenge of managing relevant knowledge between different organizational groups, particularly in increasingly agile contexts. In previous studies, we found the importance of analyzing methodological islands (i.e., groups using different development methods than the surrounding organization) and boundary objects between them. In this paper, we propose a metamodel to better capture and analyze coordination and knowledge management in practice. Such a metamodel can allow practitioners to describe current practices, analyze issues, and design better suited coordination mechanisms. We evaluated the conceptual model together with four large scale companies developing complex systems. In particular, we derived an initial list of bad smells that can be leveraged to detect issues and devise suitable improvement strategies for inter team coordination in large scale development. We present the model, smells, and our evaluation results.


Optimal Resource Allocation for Multi user OFDMA URLLC MEC Systems. In this paper, we study resource allocation algorithm design for multi user orthogonal frequency division multiple access (OFDMA) ultra reliable low latency communication (URLLC) in mobile edge computing (MEC) systems. To meet the stringent end to end delay and reliability requirements of URLLC MEC systems, we propose joint uplink downlink resource allocation and finite blocklength transmission. Furthermore, we employ a partial time overlap between the uplink and downlink frames to minimize the end to end delay, which introduces a new time causality constraint. The proposed resource allocation algorithm is formulated as an optimization problem for minimization of the total weighted power consumption of the network under a constraint on the number of URLLC user bits computed within the maximum allowable computation time, i.e., the end to end delay of a computation task. Despite the non convexity of the formulated optimization problem, we develop a globally optimal solution using a branch and bound approach based on discrete monotonic optimization theory. The branch and bound algorithm minimizes an upper bound on the total power consumption until convergence to the globally optimal value. Furthermore, to strike a balance between computational complexity and performance, we propose two efficient suboptimal algorithms based on successive convex approximation and second order cone techniques. Our simulation results reveal that the proposed resource allocation algorithm design facilitates URLLC in MEC systems, and yields significant power savings compared to three baseline schemes. Moreover, our simulation results show that the proposed suboptimal algorithms offer different trade offs between performance and complexity and attain a close to optimal performance at comparatively low complexity.


On Algebraic Geometry Approach to Ribaucour Transformations. We develop the idea of using an algebraic geometry approach to classical differential geometry problems. Consider an orthogonal net constructed according to algebraic geometric data we obtain a set of smooth orthogonal nets that are Ribaucour transformations of the initial orthogonal net.


Triangulated categories of logarithmic motives over a field. In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log schemes, and the basic idea of parameterizing homotopies by overline square , i.e. the projective line with respect to its compactifying logarithmic structure at infinity. We show that Hodge cohomology of log schemes is a overline square invariant theory that is representable in the category of logarithmic motives. Our category is closely related to Voevodsky's category of motives and mathbb A 1 invariant theories assuming resolution of singularities, we identify the latter with the full subcategory comprised of mathbb A 1 local objects in the category of logarithmic motives. Fundamental properties such as overline square homotopy invariance, Mayer Vietoris for coverings, the analogs of the Gysin sequence and the Thom space isomorphism as well as a blow up formula and a projective bundle formula witness the robustness of the setup.


How learning environment predicts male and female students' physics motivational beliefs in introductory physics courses. In this study, we adapt prior identity framework to investigate the effect of learning environment (including perceived recognition, peer interaction and sense of belonging) on students' physics self efficacy, interest and identity by controlling for their self efficacy and interest at the beginning of a calculus based introductory physics course. We surveyed 1203 students, 35 of whom were women. We found that female students' physics self efficacy and interest were lower than male students' at the beginning of the course, and the gender gaps in these motivational constructs became even larger by the end of the course. Analysis revealed that the decrease in students' physics self efficacy and interest were mediated by the learning environment and ultimately affected students' physics identity. Our model shows that perceived recognition played a major role in explaining students' physics identity, and students' sense of belonging in physics played an important role in explaining the change in students' physics self efficacy.


Accurate TLS Fingerprinting using Destination Context and Knowledge Bases. Network fingerprinting is used to identify applications, provide insight into network traffic, and detect malicious activity. With the broad adoption of TLS, traditional fingerprinting techniques that rely on clear text data are no longer viable. TLS specific techniques have been introduced that create a fingerprint string from carefully selected data features in the client hello to facilitate process identification before data is exchanged. Unfortunately, this approach fails in practice because hundreds of processes can map to the same fingerprint string. We solve this problem by presenting a TLS fingerprinting system that makes use of the destination address, port, and server name in addition to a carefully constructed fingerprint string. The destination context is used to disambiguate the set of processes that match a fingerprint string by applying a weighted naive Bayes classifier, resulting in far greater performance.


An Empirical Study of Bots in Software Development Characteristics and Challenges from a Practitioner's Perspective. Software engineering bots automated tools that handle tedious tasks are increasingly used by industrial and open source projects to improve developer productivity. Current research in this area is held back by a lack of consensus of what software engineering bots (DevBots) actually are, what characteristics distinguish them from other tools, and what benefits and challenges are associated with DevBot usage. In this paper we report on a mixed method empirical study of DevBot usage in industrial practice. We report on findings from interviewing 21 and surveying a total of 111 developers. We identify three different personas among DevBot users (focusing on autonomy, chat interfaces, and "smartness"), each with different definitions of what a DevBot is, why developers use them, and what they struggle with. We conclude that future DevBot research should situate their work within our framework, to clearly identify what type of bot the work targets, and what advantages practitioners can expect. Further, we find that there currently is a lack of general purpose "smart" bots that go beyond simple automation tools or chat interfaces. This is problematic, as we have seen that such bots, if available, can have a transformative effect on the projects that use them.


A problem of Stanislaw Saks. A solution of Problem 184 from the Scottish Book is presented.


Geodesic tomography problems on Riemannian manifolds. This PhD dissertation is concerned with integral geometric inverse problems. The geodesic ray transform is an operator that encodes the line integrals of a function along geodesics. The dissertation establishes many conditions when such information determines a function uniquely and stably. A new numerical model for computed tomography imaging is created as a part of the dissertation. The introductory part of the dissertation contains an introduction to inverse problems and mathematical models associated to computed tomography. The main focus is in definitions of integral geometry problems, survey of the related literature, and introducing the main results of the dissertation. A list of important open problems in integral geometry is given. The four articles of the dissertation (arXiv 1705.10126, arXiv 1901.03525, arXiv 1906.05046, arXiv 1909.00495) are now published in various journals and the content of the document has not been updated since November 11, 2019. These four articles are omitted from this document which contains only the introductory part. Extended abstracts are given in the document in English and Finnish.


Jointly Modeling Intra and Inter transaction Dependencies with Hierarchical Attentive Transaction Embeddings for Next item Recommendation. A transaction based recommender system (TBRS) aims to predict the next item by modeling dependencies in transactional data. Generally, two kinds of dependencies considered are intra transaction dependency and inter transaction dependency. Most existing TBRSs recommend next item by only modeling the intra transaction dependency within the current transaction while ignoring inter transaction dependency with recent transactions that may also affect the next item. However, as not all recent transactions are relevant to the current and next items, the relevant ones should be identified and prioritized. In this paper, we propose a novel hierarchical attentive transaction embedding (HATE) model to tackle these issues. Specifically, a two level attention mechanism integrates both item embedding and transaction embedding to build an attentive context representation that incorporates both intraand inter transaction dependencies. With the learned context representation, HATE then recommends the next item. Experimental evaluations on two real world transaction datasets show that HATE significantly outperforms the state ofthe art methods in terms of recommendation accuracy.


Free minimal actions of solvable Lie groups which are not affable. We construct an uncountable family of transversely Cantor laminations of compact spaces defined by free minimal actions of solvable groups, which are not affable and whose orbits are not quasi isometric to Cayley graphs.


3D Augmented Reality Tangible User Interface using Commodity Hardware. During the last years, the emerging field of Augmented and Virtual Reality (AR VR) has seen tremendous growth. An interface that has also become very popular for the AR systems is the tangible interface or passive haptic interface. Specifically, an interface where users can manipulate digital information with input devices that are physical objects. This work presents a low cost Augmented Reality system with a tangible interface that offers interaction between the real and the virtual world. The system estimates in real time the 3D position of a small colored ball (input device), it maps it to the 3D virtual world and then uses it to control the AR application that runs in a mobile device. Using the 3D position of our "input" device, it allows us to implement more complicated interactivity compared to a 2D input device. Finally, we present a simple, fast and robust algorithm that can estimate the corners of a convex quadrangle. The proposed algorithm is suitable for the fast registration of markers and significantly improves performance compared to the state of the art.


Stochastic Lagrangian path for Leray solutions of 3D Navier Stokes equations. In this paper we show the existence of stochastic Lagrangian particle trajectory for Leray's solution of 3D Navier Stokes equations. More precisely, for any Leray's solution mathbf u of 3D NSE and each (s,x) in mathbb R times mathbb R 3 , we show the existence of weak solutions to the following SDE, which has a density rho s,x (t,y) belonging to mathbb H 1,p q provided p,q in 1,2) with frac 3 p frac 2 q 4 mathrm d X s,t mathbf u (s,X s,t ) mathrm d t sqrt 2 nu mathrm d W t, X s,s x, t geq s, where W is a three dimensional standard Brownian motion, nu 0 is the viscosity constant. Moreover, we also show that for Lebesgue almost all (s,x) , the solution X n s, cdot (x) of the above SDE associated with the mollifying velocity field mathbf u n weakly converges to X s, cdot (x) so that X is a Markov process in almost sure sense.


SiamMan Siamese Motion aware Network for Visual Tracking. In this paper, we present a novel siamese motion aware network (SiamMan) for visual tracking, which consists of the siamese feature extraction subnetwork, followed by the classification, regression, and localization branches in parallel. The classification branch is used to distinguish the foreground from background, and the regression branch is adopt to regress the bounding box of target. To reduce the impact of manually designed anchor boxes to adapt to different target motion patterns, we design the localization branch, which aims to coarsely localize the target to help the regression branch to generate accurate results. Meanwhile, we introduce the global context module into the localization branch to capture long range dependency for more robustness in large displacement of target. In addition, we design a multi scale learnable attention module to guide these three branches to exploit discriminative features for better performance. The whole network is trained offline in an end to end fashion with large scale image pairs using the standard SGD algorithm with back propagation. Extensive experiments on five challenging benchmarks, i.e., VOT2016, VOT2018, OTB100, UAV123 and LTB35, demonstrate that SiamMan achieves leading accuracy with high efficiency. Code can be found at https isrc.iscas.ac.cn gitlab research siamman.


Counterexamples on the monotonicity of delay optimal strategies for energy harvesting transmitters. We consider cross layer design of delay optimal transmission strategies for energy harvesting transmitters where the data and energy arrival processes are stochastic. Using Markov decision theory, we show that the value function is weakly increasing in the queue state and weakly decreasing in the battery state. It is natural to expect that the delay optimal policy should be weakly increasing in the queue and battery states. We show via counterexamples that this is not the case. In fact, we show that for some sample scenarios the delay optimal policy may perform 5 13 better than the best monotone policy.


Isomorphisms Between Bestsvina Brady Groups and Right angled Artin Groups. We give a combinatorial criterion for determining which Bestvina Brady group is isomorphic to a right angled Artin group.


Understanding Cloud Workloads Performance in a Production like Environment. Understanding inter VM interference is of paramount importance to provide a sound knowledge and understand where performance degradation comes from in the current public cloud. With this aim, this paper devises a workload taxonomy that classifies applications according to how the major system resources affect their performance (e.g., tail latency) as a function of the level of load (e.g., QPS). After that, we present three main studies addressing three major concerns to improve the cloud performance impact of the level of load on performance, impact of hyper threading on performance, and impact of limiting the major system resources (e.g., last level cache) on performance. In all these studies we identified important findings that we hope help cloud providers improve their system utilization.


Scheduling of Real Time Tasks with Multiple Critical Sections in Multiprocessor Systems. The performance of multiprocessor synchronization and locking protocols is a key factor to utilize the computation power of multiprocessor systems under real time constraints. While multiple protocols have been developed in the past decades, their performance highly depends on the task partition and prioritization. The recently proposed Dependency Graph Approach showed its advantages and attracted a lot of interest. It is, however, restricted to task sets where each task has at most one critical section. In this paper, we remove this restriction and demonstrate how to utilize algorithms for the classical job shop scheduling problem to construct a dependency graph for tasks with multiple critical sections. To show the applicability, we discuss the implementation in Litmus RT and report the overheads. Moreover, we provide extensive numerical evaluations under different configurations, which in many situations show significant improvement compared to the state of the art.


SESS Self Ensembling Semi Supervised 3D Object Detection. The performance of existing point cloud based 3D object detection methods heavily relies on large scale high quality 3D annotations. However, such annotations are often tedious and expensive to collect. Semi supervised learning is a good alternative to mitigate the data annotation issue, but has remained largely unexplored in 3D object detection. Inspired by the recent success of self ensembling technique in semi supervised image classification task, we propose SESS, a self ensembling semi supervised 3D object detection framework. Specifically, we design a thorough perturbation scheme to enhance generalization of the network on unlabeled and new unseen data. Furthermore, we propose three consistency losses to enforce the consistency between two sets of predicted 3D object proposals, to facilitate the learning of structure and semantic invariances of objects. Extensive experiments conducted on SUN RGB D and ScanNet datasets demonstrate the effectiveness of SESS in both inductive and transductive semi supervised 3D object detection. Our SESS achieves competitive performance compared to the state of the art fully supervised method by using only 50 labeled data. Our code is available at https github.com Na Z sess.


A Double Exponential Lower Bound for the Distinct Vectors Problem. In the (binary) Distinct Vectors problem we are given a binary matrix A with pairwise different rows and want to select at most k columns such that, restricting the matrix to these columns, all rows are still pairwise different. A result by Froese et al. JCSS implies a 2 2 (O(k)) poly( A ) time brute force algorithm for Distinct Vectors. We show that this running time bound is essentially optimal by showing that there is a constant c such that the existence of an algorithm solving Distinct Vectors with running time 2 (O(2 (ck))) poly( A ) would contradict the Exponential Time Hypothesis.


Arithmetic Quotients of the Automorphism Group of a Right Angled Artin Group. It was previously shown by Grunewald and Lubotzky that the automorphism group of a free group, text Aut (F n) , has a large collection of virtual arithmetic quotients. Analogous results were proved for the mapping class group by Looijenga and by Grunewald, Larsen, Lubotzky, and Malestein. In this paper, we prove analogous results for the automorphism group of a right angled Artin group for a large collection of defining graphs. As a corollary of our methods we produce new virtual arithmetic quotients of text Aut (F n) for n geq 4 where k th powers of all transvections act trivially for some fixed k . Thus, for some values of k , we deduce that the quotient of text Aut (F n) by the subgroup generated by k th powers of transvections contains nonabelian free groups. This expands on results of Malestein and Putman and of Bridson and Vogtmann.


On the Intrinsic Differential Privacy of Bagging. Differentially private machine learning trains models while protecting privacy of the sensitive training data. The key to obtain differentially private models is to introduce noise randomness to the training process. In particular, existing differentially private machine learning methods add noise to the training data, the gradients, the loss function, and or the model itself. Bagging, a popular ensemble learning framework, randomly creates some subsamples of the training data, trains a base model for each subsample using a base learner, and takes majority vote among the base models when making predictions. Bagging has intrinsic randomness in the training process as it randomly creates subsamples. Our major theoretical results show that such intrinsic randomness already makes Bagging differentially private without the needs of additional noise. In particular, we prove that, for any base learner, Bagging with and without replacement respectively achieves left(N cdot k cdot ln frac n 1 n ,1 ( frac n 1 n ) N cdot k right) differential privacy and left( ln frac n 1 n 1 N cdot k , frac N cdot k n right) differential privacy, where n is the training data size, k is the subsample size, and N is the number of base models. Moreover, we prove that if no assumptions about the base learner are made, our derived privacy guarantees are tight. We empirically evaluate Bagging on MNIST and CIFAR10. Our experimental results demonstrate that Bagging achieves significantly higher accuracies than state of the art differentially private machine learning methods with the same privacy budgets.


Planar graphs have bounded nonrepetitive chromatic number. A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive colourings with a bounded number of colours, thus proving a conjecture of Alon, Grytczuk, Haluszczak and Riordan (2002). We also generalise this result for graphs of bounded Euler genus, graphs excluding a fixed minor, and graphs excluding a fixed topological minor.


Double centralisers and annihilator ideals of Young permutation modules. We study the double centraliser property and the annihilators ideals of certain permutation modules for symmetric groups and their quantum analogues. In version 2 some remarks have been added on cell ideals and annihilators.


An ergodic correspondence principle, invariant means and applications. A theorem due to Hindman states that if E is a subset of mathbb N with d (E) 0 , where d denotes the upper Banach density, then for any varepsilon 0 there exists N in mathbb N such that d left( bigcup i 1 N(E i) right) 1 varepsilon . Curiously, this result does not hold if one replaces the upper Banach density d with the upper density bar d . Originally proved combinatorially, Hindman's theorem allows for a quick and easy proof using an ergodic version of Furstenberg's correspondence principle. In this paper, we establish a variant of the ergodic Furstenberg's correspondence principle for general amenable (semi) groups and obtain some new applications, which include a refinement and a generalization of Hindman's theorem and a characterization of countable amenable minimally almost periodic groups.


Neuron Glial Interactions. Although lagging behind classical computational neuroscience, theoretical and computational approaches are beginning to emerge to characterize different aspects of neuron glial interactions. This chapter aims to provide essential knowledge on neuron glial interactions in the mammalian brain, leveraging on computational studies that focus on structure (anatomy) and function (physiology) of such interactions in the healthy brain. Although our understanding of the need of neuron glial interactions in the brain is still at its infancy, being mostly based on predictions that await for experimental validation, simple general modeling arguments borrowed from control theory are introduced to support the importance of including such interactions in traditional neuron based modeling paradigms.


Data Driven Path Selection for Real Time Video Streaming at the Network Edge. In this paper, we present a framework for the dynamic selection of the wireless channels used to deliver information rich data streams to edge servers. The approach we propose is data driven, where a predictor, whose output informs the decision making of the channel selector, is built from available data on the transformation imposed by the network on previously transmitted packets. The proposed technique is contextualized to real time video streaming for immediate processing. The core of our framework is the notion of probes, that is, short bursts of packets transmitted over unused channels to acquire information while generating a controlled impact on other active links. Results indicate a high accuracy of the prediction output and a significant improvement in terms of received video quality when the prediction output is used to dynamically select the used channel for transmission.


SOP 1 , SOP 2 , and antichain tree property. In this paper we study some tree properties and their related indiscernibilities. Firstly we prove that SOP 2 can be witnessed by a formula with a tree of tuples holding arbitrary homogeneous inconsistency' (e.g. weak k TP 1 conditions or other possible inconsistency cofigurations). Secondly we introduce a notion of tree indiscernibility which preserves witnesses of SOP 1 and by using this, we investigate the problem of (in)equality of SOP 1 and SOP 2 . As is well known SOP 2 implies SOP 1 but it is not known whether the converse holds. We introduce the notions of antichain tree property (ATP) and 1 strictly strong order property (SSOP 1 ). We show that the two notions are in fact equivalent, and implying SOP 1 , but the converse does not hold. And we show that they must appear in any theory (if exists) having SOP 1 but not SOP 2 (NSOP 2 ). Lastly, we construct a structure (a prototype example having ATP) witnessing SOP 1 NSOP 2 at the level of formulas, i.e., there is a formula having SOP 1 , while any finite conjunction of it does not witness SOP 2 (but a variation of the formula still has SOP 2 ).


Additional close links between balancing and Lucas balancing polynomials. Using generating functions, we derive many identities involving balancing and Lucas balancing polynomials. By relating these polynomials to Chebyshev polynomials of the first and second kind, and Fibonacci and Lucas numbers, we offer some presumably new combinatorial identities involving these famous sequences.


Don't Pick the Cherry An Evaluation Methodology for Android Malware Detection Methods. In evaluating detection methods, the malware research community relies on scan results obtained from online platforms such as VirusTotal. Nevertheless, given the lack of standards on how to interpret the obtained data to label apps, researchers hinge on their intuitions and adopt different labeling schemes. The dynamicity of VirusTotal's results along with adoption of different labeling schemes significantly affect the accuracies achieved by any given detection method even on the same dataset, which gives subjective views on the method's performance and hinders the comparison of different malware detection techniques. In this paper, we demonstrate the effect of varying (1) time, (2) labeling schemes, and (3) attack scenarios on the performance of an ensemble of Android repackaged malware detection methods, called dejavu, using over 30,000 real world Android apps. Our results vividly show the impact of varying the aforementioned 3 dimensions on dejavu's performance. With such results, we encourage the adoption of a standard methodology that takes into account those 3 dimensions in evaluating newly devised methods to detect Android (repackaged) malware.


Algorithms for subelliptic multipliers in mathbb C 2 . We give examples of pseudoconvex domains of finite type in mathbb C 2 where the Kohn algorithm for subelliptic estimates fails to yield an effective lower bound for the order of subellipticity in terms of the type. We show how to modify the algorithm to obtain an effective procedure to prove subellipticity on domains of finite type in mathbb C 2 with real analytic boundary satisfying a condition slightly stronger than pseudoconvexity. We close with a generalization to higher dimensions.


Tight Polynomial Bounds for Loop Programs in Polynomial Space. We consider the following problem given a program, find tight asymptotic bounds on the values of some variables at the end of the computation (or at any given program point) in terms of its input values. We focus on the case of polynomially bounded variables, and on a weak programming language for which we have recently shown that tight bounds for polynomially bounded variables are computable. These bounds are sets of multivariate polynomials. While their computability has been settled, the complexity of this program analysis problem remained open. In this paper, we show the problem to be PSPACE complete. The main contribution is a new, space efficient analysis algorithm. This algorithm is obtained in a few steps. First, we develop an algorithm for univariate bounds, a sub problem which is already PSPACE hard. Then, a decision procedure for multivariate bounds is achieved by reducing this problem to the univariate case this reduction is orthogonal to the solution of the univariate problem and uses observations on the geometry of a set of vectors that represent multivariate bounds. Finally, we transform the univariate bound algorithm to produce multivariate bounds.


Disentangling Pose from Appearance in Monochrome Hand Images. Hand pose estimation from the monocular 2D image is challenging due to the variation in lighting, appearance, and background. While some success has been achieved using deep neural networks, they typically require collecting a large dataset that adequately samples all the axes of variation of hand images. It would, therefore, be useful to find a representation of hand pose which is independent of the image appearance (like hand texture, lighting, background), so that we can synthesize unseen images by mixing pose appearance combinations. In this paper, we present a novel technique that disentangles the representation of pose from a complementary appearance factor in 2D monochrome images. We supervise this disentanglement process using a network that learns to generate images of hand using specified pose appearance features. Unlike previous work, we do not require image pairs with a matching pose instead, we use the pose annotations already available and introduce a novel use of cycle consistency to ensure orthogonality between the factors. Experimental results show that our self disentanglement scheme successfully decomposes the hand image into the pose and its complementary appearance features of comparable quality as the method using paired data. Additionally, training the model with extra synthesized images with unseen hand appearance combinations by re mixing pose and appearance factors from different images can improve the 2D pose estimation performance.


Exploiting Extended Krylov Subspace for the Reduction of Regular and Singular Circuit Models. During the past decade, Model Order Reduction (MOR) has become key enabler for the efficient simulation of large circuit models. MOR techniques based on moment matching are well established due to their simplicity and computational performance in the reduction process. However, moment matching methods based on the ordinary Krylov subspace are usually inadequate to accurately approximate the original circuit behavior. In this paper, we present a moment matching method which is based on the extended Krylov subspace and exploits the superposition property in order to deal with many terminals. The proposed method can handle large scale regular and singular circuits and generate accurate and efficient reduced order models for circuit simulation. Experimental results on industrial IBM power grids demonstrate that our method achieves an error reduction up to 83.69 over a standard Krylov subspace method.


A methodology to evaluate the evolution of networks using topological data analysis. Networks are important representations in computer science to communicate structural aspects of a given system of interacting components. The evolution of a network has several topological properties that can provide us information on the network itself. In this paper, we present a methodology to compare the the topological characteristics of the evolution of a network, encoded into a (persistence) diagram that tracks the lifetimes of those features. This will enable us to classify the evolution of networks based on the distance between the diagrams that represent such network evolution. In that, we also consider complex vectors that bring a complementary perspective to the distance based classification that is closer to the computational methods, aims to enhance the computational efficiency of those comparisons, and that is by itself a source of open research questions.


Synthetic Wavelength Holography An Extension of Gabor's Holographic Principle to Imaging with Scattered Wavefronts. The presence of a scattering medium in the imaging path between an object and an observer is known to severely limit the visual acuity of the imaging system. We present an approach to circumvent the deleterious effects of scattering, by exploiting spectral correlations in scattered wavefronts. Our method draws inspiration from Gabor's attempts to improve the resolving power of electron microscopes by recording aberrated wavefronts at electron wavelengths, followed by aberration correction and playback at optical wavelengths. We extend the notion to scattered wavefronts, by interpreting the scattering of light as a source of randomized aberration. We compensate for these aberrations by mixing speckle fields recorded at two closely spaced optical wavelengths, and replaying the computationally assembled wavefront at a 'Synthetic Wavelength'. An attractive feature of our method is that it accommodates a wide variety of scattering mechanisms and operates at the physical limits of imaging in the presence of scatter. Moreover, our findings are applicable to other wave phenomena, opening up new avenues for imaging with scattered wavefronts.


Fact aware Sentence Split and Rephrase with Permutation Invariant Training. Sentence Split and Rephrase aims to break down a complex sentence into several simple sentences with its meaning preserved. Previous studies tend to address the issue by seq2seq learning from parallel sentence pairs, which takes a complex sentence as input and sequentially generates a series of simple sentences. However, the conventional seq2seq learning has two limitations for this task (1) it does not take into account the facts stated in the long sentence As a result, the generated simple sentences may miss or inaccurately state the facts in the original sentence. (2) The order variance of the simple sentences to be generated may confuse the seq2seq model during training because the simple sentences derived from the long source sentence could be in any order. To overcome the challenges, we first propose the Fact aware Sentence Encoding, which enables the model to learn facts from the long sentence and thus improves the precision of sentence split then we introduce Permutation Invariant Training to alleviate the effects of order variance in seq2seq learning for this task. Experiments on the WebSplit v1.0 benchmark dataset show that our approaches can largely improve the performance over the previous seq2seq learning approaches. Moreover, an extrinsic evaluation on oie benchmark verifies the effectiveness of our approaches by an observation that splitting long sentences with our state of the art model as preprocessing is helpful for improving OpenIE performance.


Style Transfer With Adaptation to the Central Objects of the Scene. Style transfer is a problem of rendering image with some content in the style of another image, for example a family photo in the style of a painting of some famous artist. The drawback of classical style transfer algorithm is that it imposes style uniformly on all parts of the content image, which perturbs central objects on the content image, such as faces or text, and makes them unrecognizable. This work proposes a novel style transfer algorithm which automatically detects central objects on the content image, generates spatial importance mask and imposes style non uniformly central objects are stylized less to preserve their recognizability and other parts of the image are stylized as usual to preserve the style. Three methods of automatic central object detection are proposed and evaluated qualitatively and via a user evaluation study. Both comparisons demonstrate higher quality of stylization compared to the classical style transfer method.


Studying evolution of the primary body axis in vivo and in vitro. The metazoan body plan is established during early embryogenesis via collective cell rearrangements and evolutionarily conserved gene networks, as part of a process commonly referred to as gastrulation. While substantial progress has been achieved in terms of characterizing the embryonic development of several model organisms, underlying principles of many early patterning processes nevertheless remain enigmatic. Despite the diversity of (pre )gastrulating embryo and adult body shapes across the animal kingdom, the body axes, which are arguably the most fundamental features, generally remain identical between phyla. Recently there has been a renewed appreciation of ex vivo and in vitro embryo like systems to model early embryonic patterning events. Here, we briefly review key examples and propose that similarities in morphogenesis as well as associated gene expression dynamics may reveal an evolutionarily conserved developmental mode as well as provide further insights into the role of external or extraembryonic cues in shaping the early embryo. In summary, we argue that embryo like systems can be employed to inform previously uncharted aspects of animal body plan evolution as well as associated patterning rules.


Patch based 3D Human Pose Refinement. State of the art 3D human pose estimation approaches typically estimate pose from the entire RGB image in a single forward run. In this paper, we develop a post processing step to refine 3D human pose estimation from body part patches. Using local patches as input has two advantages. First, the fine details around body parts are zoomed in to high resolution for preciser 3D pose prediction. Second, it enables the part appearance to be shared between poses to benefit rare poses. In order to acquire informative representation of patches, we explore different input modalities and validate the superiority of fusing predicted segmentation with RGB. We show that our method consistently boosts the accuracy of state of the art 3D human pose methods.


Branched projective structures, branched SO(3,C) opers and logarithmic connections on jet bundle. We study the branched holomorphic projective structures on a compact Riemann surface X with a fixed branching divisor S , , sum i 1 d x i , where x i , in , X are distinct points. After defining branched rm SO (3, mathbb C ) opers, we show that the branched holomorphic projective structures on X are in a natural bijection with the branched rm SO (3, mathbb C ) opers singular at S . It is deduced that the branched holomorphic projective structures on X are also identified with a subset of the space of all logarithmic connections on J 2((TX) otimes mathcal O X(S)) singular over S , satisfying certain natural geometric conditions.


Appliance Level Monitoring with Micro Moment Smart Plugs. Human population are striving against energy related issues that not only affects society and the development of the world, but also causes global warming. A variety of broad approaches have been developed by both industry and the research community. However, there is an ever increasing need for comprehensive, end to end solutions aimed at transforming human behavior rather than device metrics and benchmarks. In this paper, a micro moment based smart plug system is proposed as part of a larger multi appliance energy efficiency program. The smart plug, which includes two sub units the power consumption unit and environmental monitoring unit collect energy consumption of appliances along with contextual information, such as temperature, humidity, luminosity and room occupancy respectively. The plug also allows home automation capability. With the accompanying mobile application, end users can visualize energy consumption data along with ambient environmental information. Current implementation results show that the proposed system delivers cost effective deployment while maintaining adequate computation and wireless performance.


Primes in arithmetic progressions to large moduli I Fixed residue classes. We prove new mean value theorems for primes in arithmetic progressions to moduli larger than x 1 2 . Our main result shows that the primes are equidistributed for a fixed residue class over all moduli of size x 1 2 delta with a 'convenient sized' factor. As a consequence, the expected asymptotic holds for all but O( delta Q) moduli q sim Q x 1 2 delta and we get results for moduli as large as x 11 21 . Our proof extends previous techniques of Bombieri, Fouvry, Friedlander and Iwaniec by incorporating new ideas inspired by amplification methods. We combine these with techniques of Zhang and Polymath tailored to our application. In particular, we ultimately rely on exponential sum bounds coming from the spectral theory of automorphic forms (the Kuznetsov trace formula) or from algebraic geometry (Weil and Deligne style estimates).


Re Assessing the "Classify and Count" Quantification Method. Learning to quantify (a.k.a. quantification) is a task concerned with training unbiased estimators of class prevalence via supervised learning. This task originated with the observation that "Classify and Count" (CC), the trivial method of obtaining class prevalence estimates, is often a biased estimator, and thus delivers suboptimal quantification accuracy following this observation, several methods for learning to quantify have been proposed that have been shown to outperform CC. In this work we contend that previous works have failed to use properly optimised versions of CC. We thus reassess the real merits of CC (and its variants), and argue that, while still inferior to some cutting edge methods, they deliver near state of the art accuracy once (a) hyperparameter optimisation is performed, and (b) this optimisation is performed by using a true quantification loss instead of a standard classification based loss. Experiments on three publicly available binary sentiment classification datasets support these conclusions.


Distant Supervision Relation Extraction with Intra Bag and Inter Bag Attentions. This paper presents a neural relation extraction method to deal with the noisy training data generated by distant supervision. Previous studies mainly focus on sentence level de noising by designing neural networks with intra bag attentions. In this paper, both intra bag and inter bag attentions are considered in order to deal with the noise at sentence level and bag level respectively. First, relation aware bag representations are calculated by weighting sentence embeddings using intra bag attentions. Here, each possible relation is utilized as the query for attention calculation instead of only using the target relation in conventional methods. Furthermore, the representation of a group of bags in the training set which share the same relation label is calculated by weighting bag representations using a similarity based inter bag attention module. Finally, a bag group is utilized as a training sample when building our relation extractor. Experimental results on the New York Times dataset demonstrate the effectiveness of our proposed intra bag and inter bag attention modules. Our method also achieves better relation extraction accuracy than state of the art methods on this dataset.


Algorithmic Aspects of Secure Connected Domination in Graphs. Let G (V,E) be a simple, undirected and connected graph. A connected dominating set S subseteq V is a secure connected dominating set of G , if for each u in V setminus S , there exists v in S such that (u,v) in E and the set (S setminus v ) cup u is a connected dominating set of G . The minimum size of a secure connected dominating set of G denoted by gamma sc (G) , is called the secure connected domination number of G . Given a graph G and a positive integer k, the Secure Connected Domination (SCDM) problem is to check whether G has a secure connected dominating set of size at most k. In this paper, we prove that the SCDM problem is NP complete for doubly chordal graphs, a subclass of chordal graphs. We investigate the complexity of this problem for some subclasses of bipartite graphs namely, star convex bipartite, comb convex bipartite, chordal bipartite and chain graphs. The Minimum Secure Connected Dominating Set (MSCDS) problem is to find a secure connected dominating set of minimum size in the input graph. We propose a ( Delta(G) 1) approximation algorithm for MSCDS, where Delta(G) is the maximum degree of the input graph G and prove that MSCDS cannot be approximated within (1 epsilon) ln( V ) for any epsilon 0 unless NP subseteq DTIME( V O(log log V ) ) even for bipartite graphs. Finally, we show that the MSCDS is APX complete for graphs with Delta(G) 4 .


Fermi softness a local perspective on surface reactivity. Understanding how electronic structure determines the reactivity of solid surface, is a central topic of modern surface science. This is mostly commonly done through some intermediate quantity termed descriptor. However, such descriptors are very scarce for solid surface compared to for molecule, likely due to their significantly more complex electronic structure (cf. molecules). Here we elaborate on the theory of a concept dubbed "Fermi softness", which distinguishes itself by enabling prediction of surface reactivity with spatial as well as atomic resolution. Other pertinent concepts and descriptors are also mentioned so as to make the treatment comprehensive.


The revelation principle fails when the format of each agent's strategy is an action. In mechanism design theory, a designer would like to implement a social choice function which specifies her favorite outcome for each possible profile of agents' private types. The revelation principle asserts that if a social choice function can be implemented by a mechanism in equilibrium, then there exists a direct mechanism that can truthfully implement it. This paper aims to propose a failure of the revelation principle. We point out that in any game the format of each agent's strategy is either an informational message or a realistic action, and the action format is very common in many practical cases. The main result is that For any given social choice function, if the mechanism which implements it has action format strategies, then " emph honest and obedient " will no longer be the Bayesian Nash equilibrium of the direct mechanism, actually the social choice function can only be implemented " emph dishonestly and disobediently " in Bayesian Nash equilibrium by the direct mechanism. Consequently, the revelation principle fails when the format of each agent's strategy is an action.


Nonnegative Canonical Tensor Decomposition with Linear Constraints nnCANDELINC. There is an emerging interest in tensor factorization applications in big data analytics and machine learning. To speed up the factorization of extra large datasets, organized in multidimensional arrays (aka tensors), easy to compute compression based tensor representations, such as Tucker and Tensor Train formats, are used to approximate the initial large tensor. Further, tensor factorization is used to extract latent features that can facilitate discoveries of new mechanisms and signatures hidden in the data, where the explainability of the latent features is of principal importance. Nonnegative tensor factorization extracts latent features that are naturally sparse and parts of the data, which makes them easily interpretable. However, to take into account available domain knowledge and subject matter expertise, additional constraints often need to be imposed, which lead us to Canonical decomposition with linear constraints (CANDELINC), a Canonical Polyadic Decomposition with rank deficient factors. In CANDELINC, Tucker compression is used as a pre processing step, which leads to a larger residual error but to more explainable latent features. Here, we propose a nonnegative CANDELINC (nnCANDELINC) accomplished via a specific nonnegative Tucker decomposition we refer to as minimal or canonical nonnegative Tucker. We derive several results required to understand the specificity of nnCANDELINC, focusing on the difficulties of preserving the nonnegative rank to its Tucker core and comparing the real valued to the nonnegative case. Finally, we demonstrate nnCANDELINC performance on synthetic and real world examples.


High order ADER schemes and GLM curl cleaning for a first order hyperbolic formulation of compressible flow with surface tension. In this work, we introduce two novel reformulations of a recent weakly hyperbolic model for two phase flow with surface tension. In the model, the tracking of phase boundaries is achieved by using a vector interface field, rather than a scalar tracer, so that the surface force stress tensor can be expressed as an algebraic function of the state variables, without requiring the computation of gradients of the tracer. An interesting and important feature of the model is that this interface field obeys a curl involution constraint, that is, the vector field is required to be curl free at all times. The proposed modifications are intended to restore the strong hyperbolicity of the model, and are closely related to divergence preserving numerical approaches developed in the field of numerical magnetohydrodynamics (MHD). The first strategy is based on the theory of Symmetric Hyperbolic and Thermodynamically Compatible (SHTC) systems forwarded by Godunov in the 60s and 70s and yields a modified system of governing equations which includes some symmetrisation terms, in analogy to the approach adopted later by Powell et al for the ideal MHD equations. The second technique is an extension of the hyperbolic Generalized Lagrangian Multiplier (GLM) divergence cleaning approach, forwarded by Munz et al in applications to the Maxwell and MHD equations. We solve the resulting nonconservative hyperbolic PDE systems with high order ADER Discontinuous Galerkin (DG) methods with a posteriori Finite Volume subcell limiting and carry out a set of numerical tests concerning flows dominated by surface tension as well as shock driven flows. We also provide a new exact solution to the equations, show convergence of the schemes for orders of accuracy up to ten in space and time, and investigate the role of hyperbolicity and of curl constraints in the long term stability of the computations.


Doubly Stochastic Subspace Clustering. Many state of the art subspace clustering methods follow a two step process by first constructing an affinity matrix between data points and then applying spectral clustering to this affinity. Most of the research into these methods focuses on the first step of generating the affinity, which often exploits the self expressive property of linear subspaces, with little consideration typically given to the spectral clustering step that produces the final clustering. Moreover, existing methods often obtain the final affinity that is used in the spectral clustering step by applying ad hoc or arbitrarily chosen postprocessing steps to the affinity generated by a self expressive clustering formulation, which can have a significant impact on the overall clustering performance. In this work, we unify these two steps by learning both a self expressive representation of the data and an affinity matrix that is well normalized for spectral clustering. In our proposed models, we constrain the affinity matrix to be doubly stochastic, which results in a principled method for affinity matrix normalization while also exploiting known benefits of doubly stochastic normalization in spectral clustering. We develop a general framework and derive two models one that jointly learns the self expressive representation along with the doubly stochastic affinity, and one that sequentially solves for one then the other. Furthermore, we leverage sparsity in the problem to develop a fast active set method for the sequential solver that enables efficient computation on large datasets. Experiments show that our method achieves state of the art subspace clustering performance on many common datasets in computer vision.


5 4 approximation for Symmetric TSP. Travelling Salesman Problem (TSP) is one of the unsolved problems in computer science. TSP is NP Hard. Till now the best approximation ratio found for symmetric TSP is three by two by Christofides Algorithm more than forty years ago. There are different approaches to solve this problem. These range from methods based on neural networks, genetic algorithm, swarm optimization, ant colony optimization etc. The bound is further reduced from three by two but for graphic TSP. A factor of thirteen by nine was found for Graphic TSP. A newly proposed heuristic called 2 RNN is considered here. It seems from experimental results that five by four is the approximation ratio. Upper bound analysis for approximation ratio is done for this heuristic and it confirms experimental bound of five by four.


Impact of queue feedback on the stability and dynamics of a Rate Control Protocol (RCP) with two delays. Rate Control Protocol (RCP) uses feedback from routers to assign flows their fair rate. RCP estimates the fair rate using two forms of feedback rate mismatch and queue size. An outstanding design question for RCP is whether the queue size feedback is useful or not. To address this, we analyze stability and the bifurcation properties of RCP in both the cases i.e., with and without queue size feedback. The model considers flows with two different round trip times, operating over a single bottleneck link. By using an exogenous bifurcation parameter, we show that the system loses stability via a Hopf bifurcation and hence we can expect a limit cycle branching from the fixed point. We highlight that the presence of queue feedback can readily destabilize the system. Using Poincar e normal forms and the center manifold theorem, we show that the Hopf bifurcation is super critical in the case of RCP without queue feedback. Whereas, in the presence of queue feedback, we show that the system can undergoes a sub critical Hopf bifurcation for some parameter values. A sub critical Hopf bifurcation can result in either large amplitude limit cycles or unstable limit cycles, and hence should be avoided in engineering applications. Thus, the presence of queue feedback would create adverse effects on the stability of the emerging limit cycles. In essence, the analytical results of RCP with two delays favor the design choice that uses feedback based only on rate mismatch. The theoretical analysis is validated with numerical computations and some packet level simulations as well.


A Partial Break of the Honeypots Defense to Catch Adversarial Attacks. A recent defense proposes to inject "honeypots" into neural networks in order to detect adversarial attacks. We break the baseline version of this defense by reducing the detection true positive rate to 0 and the detection AUC to 0.02, maintaining the original distortion bounds. The authors of the original paper have amended the defense in their CCS'20 paper to mitigate this attacks. To aid further research, we release the complete 2.5 hour keystroke by keystroke screen recording of our attack process at https nicholas.carlini.com code ccs honeypot break.


Long term dynamics driven by resonant wave particle interactions from Hamiltonian resonance theory to phase space mapping. In this study we consider the Hamiltonian approach for the construction of a map for a system with nonlinear resonant interaction, including phase trapping and phase bunching effects. We derive basic equations for a single resonant trajectory analysis and then generalize them into the map in the energy pitch angle space. The main advances of this approach are the possibility to consider effects of many resonances and to simulate the evolution of the resonant particle ensemble on long time ranges. For illustrative purposes we consider the system with resonant relativistic electrons and field aligned whistler mode waves. The simulation results show that the electron phase space density within the resonant region is flattened with reduction of gradients. This evolution is much faster than the predictions of quasi linear theory. We discuss further applications of the proposed approach and possible ways for its generalization.


Gradient estimates for the Allen Cahn equation on Riemannian manifolds. In this paper, we consider bounded positive solutions to the Allen Cahn equation on complete noncompact Riemannian manifolds without boundary. We derive gradient estimates for those solutions. As an application, we get a Liouville type theorem on manifolds with nonnegative Ricci curvature.


Compact groups in which all elements have countable right Engel sinks. A right Engel sink of an element g of a group G is a set mathscr R (g) such that for every x in G all sufficiently long commutators ... g,x ,x , dots ,x belong to mathscr R (g) . (Thus, g is a right Engel element precisely when we can choose mathscr R (g) 1 .) It is proved that if every element of a compact (Hausdorff) group G has a countable (or finite) right Engel sink, then G has a finite normal subgroup N such that G N is locally nilpotent.


Cowen Douglas operators and the third of Halmos' ten problems. Let T be a bounded linear operator on a complex separable infinite dimensional Hilbert space mathcal H . T is called intransitive if it leaves invariant spaces other than 0 or the whole space mathcal H otherwise it is transitive. In 1970, P. R. Halmos raised ten open problems on operator theory. In the past more than 50 years, nine of Halmos' ten problems were answered, but only the third one has made little progress. The third problem of Halmos is the following if an intransitive operator has an inverse, is its inverse also intransitive? In this paper, we establish a set of theoretical systems with the help of Cowen Douglas operators and spectral analysis. We give an affirmative answer to this problem under certain spectral conditions, which make essential progress in the research of Halmos' third problem. As the first application, we show that for an invertible hyponormal operator T , if T 1 is intransitive and int sigma(T 1 ) land is not connected, then T is also intransitive. As the second application, we show that if T 1 has a proper strictly cyclic invariant subspace and there exists a bounded open set Omega which is a connected component of rho(T 1 ) such that Omega cap mathcal U 0 emptyset , where mathcal U 0 is the connected component of int( sigma(T 1 ) land) containing zero point, then T is intransitive.


Numerical semigroups, polyhedra, and posets II locating certain families of semigroups. Several recent papers have examined a rational polyhedron P m whose integer points are in bijection with the numerical semigroups (cofinite, additively closed subsets of the non negative integers) containing m . A combinatorial description of the faces of P m was recently introduced, one that can be obtained from the divisibility posets of the numerical semigroups a given face contains. In this paper, we study the faces of P m containing arithmetical numerical semigroups and those containing certain glued numerical semigroups, as an initial step towards better understanding the full face structure of P m . In most cases, such faces only contain semigroups from these families, yielding a tight connection to the geometry of P m .


Primitive multiple schemes. A primitive multiple scheme is a complex Cohen Macaulay scheme Y such that the associated reduced scheme X Y red is smooth, irreducible, and that Y can be locally embedded in a smooth variety of dimension dim(X) 1 . If n is the multiplicity of Y , there is a canonical filtration X X 1 subset X 2 subset cdots subset X n Y , such that X i is a primitive multiple scheme of multiplicity i . The simplest example is the trivial primitive multiple scheme of multiplicity n associated to a line bundle L on X it is the n th infinitesimal neighborhood of X , embedded if the line bundle L by the zero section. Let bf Z n spec (C t (t n)) . The primitive multiple schemes of multiplicity n are obtained by taking an open cover (U i) of a smooth variety X and by gluing the schemes U i times bf Z n using automorphisms of U ij times bf Z n that leave U ij invariant. This leads to the study of the sheaf of nonabelian groups G n of automorphisms of X times bf Z n that leave the X invariant, and to the study of its first cohomology set. If n geq 2 there is an obstruction to the extension of X n to a primitive multiple scheme of multiplicity n 1 , which lies in the second cohomology group H 2(X,E) of a suitable vector bundle E on X . In this paper we study these obstructions and the parametrization of primitive multiple schemes. As an example we show that if X P m with m 3 all the primitive multiple schemes are trivial. If X P 2 , there are only two non trivial primitive multiple schemes, of multiplicities 2 and 4 , which are not quasi projective. On the other hand, if X is a projective bundle over a curve, we show that there are infinite sequences X X 1 subset X 2 subset cdots subset X n subset X n 1 subset cdots of non trivial primitive multiple schemes.


Limiting Eigenfunctions of Sturm Liouville operators Subject to a Spectral Flow. We examine the spectrum of a family of Sturm Liouville operators with regularly spaced delta function potentials parametrized by increasing strength. The limiting behavior of the eigenvalues under this spectral flow was described in a previor result of the last two authors with Berkolaiko, where it was used to study the nodal deficiency of Laplacian eigenfunctions. Here we consider the eigenfunctions of these operators. In particular, we give explicit formulas for the limiting eigenfunctions, and also characterize the eigenfunctions and eigenvalues for all values for the spectral flow parameter (not just in the limit). We also develop spectrally accurate numerical tools for comparison and visualization.